Search Results - "Lourenço, Cláudio"

Microstructure and antibacterial efficacy of graphene oxide nanocomposite fibres by Matharu, Rupy Kaur, Tabish, Tanveer A., Trakoolwilaiwan, Thithawat, Mansfield, Jessica, Moger, Julian, Wu, Tongfei, Lourenço, Cláudio, Chen, Biqiong, Ciric, Lena, Parkin, Ivan P., Edirisinghe, Mohan

“…[Display omitted] Antibacterial polymer nanocomposite fibre meshes containing graphene oxide (GO) nanosheets were successfully prepared by pressurised…”
Get full text

A framework for quality assessment of ROS repositories by Santos, Andre, Cunha, Alcino, Macedo, Nuno, Lourenco, Claudio

“…Robots are being increasingly used in safety-critical contexts, such as transportation and health. The need for flexible behavior in these contexts, due to…”
Get full text

Effects of bovine serum albumin on light activated antimicrobial surfaces by Lourenço, Cláudio, Macdonald, Thomas J, Gavriilidis, Asterios, Allan, Elaine, MacRobert, Alexander J, Parkin, Ivan P

“…Bovine serum albumin (BSA) is currently recommended as an interfering substance to emulate organic soiling, in evaluating the efficacy of disinfectants. The…”
Get full text

“Defendendo a paz social”: Entre a naturalização e o racismo em decisões de decretação de prisão preventiva by Marques, Luiz Henrique Gamboa, Lourenço, Luiz Cláudio

“…Resumo Este trabalho foi realizado com o objetivo de analisar os argumentos mobilizados por juízes para justificar a decretação de prisão preventiva, além de…”
Get full text

Explaining Counterexamples with Giant-Step Assertion Checking by Becker, Benedikt, Lourenço, Cláudio Belo, Marché, Claude

“…EPTCS 338, 2021, pp. 82-88 Identifying the cause of a proof failure during deductive verification of programs is hard: it may be due to an incorrectness in the…”
Get full text

Explaining Counterexamples with Giant-Step Assertion Checking by Becker, Benedikt, Belo Lourenço, Cláudio, Marché, Claude

Get full text

Automated formal analysis of temporal properties of Ladder programs by Belo Lourenço, Cláudio, Cousineau, Denis, Faissole, Florian, Marché, Claude, Mentré, David, Inoue, Hiroaki

“…Programmable Logic Controllers are industrial digital computers used as automation controllers in manufacturing processes. The Ladder language is a programming…”
Get full text

Effects of bovine serum albumin on light activated antimicrobial surfacesElectronic supplementary information (ESI) available. See DOI: 10.1039/c8ra04361b by Lourenço, Cláudio, Macdonald, Thomas J, Gavriilidis, Asterios, Allan, Elaine, MacRobert, Alexander J, Parkin, Ivan P

“…Bovine serum albumin (BSA) is currently recommended as an interfering substance to emulate organic soiling, in evaluating the efficacy of disinfectants. The…”
Get full text

Single-Assignment Program Verification by Lourenço, Cláudio Filipe Belo da Silva

“…Many program verification tools rely on the translation of code annotated with properties into an intermediate single-assignment form (in a more or less…”
Get full text

A “experiência precoce da punição”: justiça juvenil, adolescentes em conflito com a lei e instituições de internamento by Marcos César Alvarez, Luiz Cláudio Lourenço, Juliana Tonche

Get full text

"Quem mantém a ordem, quem cria desordem": gangues prisionais na Bahia by Lourenço, Luiz Claudio, Almeida, Odilza Lines de

“…Em diversas democracias ocidentais onde diretrizes políticas de encarceramento foram adotadas, é possível observar a existência cada vez mais forte e…”
Get full text

A Bounded Model Checker for Spark Programs by Lourenço, Cláudio Filipe Belo da Silva

“…Formal verification of software has been an active topic in the area of computer science. Several techniques to verify software are now available, and many…”
Get full text

A Single-Assignment Translation for Annotated Programs by Lourenço, Cláudio Belo, Frade, Maria João, Pinto, Jorge Sousa

“…We present a translation of While programs annotated with loop invariants into a dynamic single-assignment language with a dedicated iterating construct. We…”
Get full text

Dinâmicas de crime e prisão: a atuação de grupos criminosos em diferentes contextos by Nunes Dias, Camila, Fábio Paiva, Luiz, Claudio Lourenço, Luiz

“…O texto apresenta as ideias e o conjunto das contribuições que constituem o dossiê Dinâmicas do Crime e da Prisão…”
Get full text

Jovens internados em São Paulo (1934-1950) by Marcos César Alvarez, Luiz Claudio Lourenço, Mariana Chies Santiago Santos

“…A partir de uma perspectiva sociológica e histórica, busca-se recuperar aspectos da dinâmica de controle social, de internação e de punição de jovens (na época…”
Get full text

Jovens internados em São Paulo (1934-1950) by Marcos César Alvarez, Luiz Claudio Lourenço, Mariana Chies Santiago Santos

“…A partir de uma perspectiva sociológica e histórica, busca-se recuperar aspectos da dinâmica de controle social, de internação e de punição de jovens (na época…”
Get full text

Prisão provisória, racismo e seletividade penal by Luiz Claudio Lourenço, Gabrielle Simões Lima Vitena, Marina de Macedo Silva

“…Este artigo tem como objetivo discutir como se dão as práticas de aprisionamento provisório. Em especial, analisando os mecanismos punitivos que podem atuar de…”
Get full text

A Generalized Program Verification Workflow Based on Loop Elimination and SA Form by Belo Lourenco, Claudio, Frade, Maria Joao, Sousa Pinto, Jorge

“…This paper presents a minimal model of the functioning of program verification and property checking tools based on (i) the encoding of loops as non-iterating…”
Get full text

O carcereiro da grade de ferro by Luiz Claudio Lourenço

“…Resenha (review) de ‘Carcereiros’, de Drauzio Varella…”
Get full text

A “experiência precoce da punição”: justiça juvenil, adolescentes em conflito com a lei e instituições de internamento by Alvarez, Marcos César, Lourenço, Luiz Cláudio, Tonche, Juliana

“…Apresentação…”
Get full text