Caracterização laboratorial de agregados para aplicação em camadas de apoio de vias-férreas

Tese de mestrado integrado. Engenharia Civil. Especialização em geotecnia. Faculdade de Engenharia. Universidade do Porto. 201

Justiça emperrada : leis caducas e excesso de formalismo favorecem a impunidade

Identifica as razões que conduzem ao aumento da criminalidade e impunidade no Brasil, destaca, entre elas, a confusão e incoerências da legislação penal. Analisa as tendências do direito penal moderno e da justiça criminal. Reitera a necessidade de um pacto social entre os níveis federais, municipais, estaduais e a comunidade para tratar do problema da violência. Considera ainda a necessidade de interligação do Judiciário das várias federações para o combate à criminalidade.Palestra proferida na reunião do Conselho de Estudos Juridicos (CEJ) da Federação do Comércio do Estado de São Paulo (FCESP

Crime de interceptação de comunicações telefônicas: notas ao Art. 10 da Lei n. 9.296, de 24 de julho de 1996

Examina o Artigo 10 da Lei n. 9.296, que trata dos crimes de interceptação de comunicações telefônicas, de informática ou telemática

Query Answering in Normal Logic Programs under Uncertainty

We present a simple, yet general top-down query answering procedure for normal logic programs over lattices and bilattices, where functions may appear in the rule bodies. Its interest relies on the fact that many approaches to paraconsistency and uncertainty in logic programs with or without non-monotonic negation are based on bilattices or lattices, respectively

Deductive Diagnosis of Digital Circuits

In this paper we present an efficient deductive method for addressing combina- tional circuit diagnosis problems. The method resorts to bottom-up dependen- cies propagation, where truth-values are annotated with sets of faults. We com- pare it with several other logic programming techniques, starting with a naïve generate-and-test algorithm, and proceeding with a simple Prolog backtracking search. An approach using tabling is also studied, based on an abductive approach. For the sake of completeness, we also address the same problem with Answer Set Programming. Our tests recur to the ISCAS85 circuit bench- marks suite, although the technique is generalized to systems modelled by a set of propositional rules. The dependency-directed method outperforms others by orders of magnitude.authorsversionpublishe

Design of an inclusive & interactive educational textile toy

The market for educational toys is scarce in products specifically developed for blind and low sighted children, aiming not only at their motor and cognitive development as well as to the non-stigmatization of these children. Considering the development of educational toys, and based in previous research work [1], we found that textile materials offer an enormous application capability in this regard due not only to their flexibility in use and maintenance of properties, but also because of our familiarity with these materials.The main goal of this project is the study of the emotional response to an interactive educational textile toy by children with visual impairments - blind or partially sighted. In this way the project is based on four main axes: knowing the user, identifying his specific needs; knowing the product-user relationship with a special focus on tactile and emotional perception; study textile structures to best fit the design; and, finally, evaluate the user's response to the developed product by evaluating the product experience.- This work is supported by FEDER funding on the Programa Operacional Factores de Competitividade-COMPETE and by national funds through FCT - Foundation for Science and Technology within the scope of the project POCI-01-0145-FEDER-007136 and UID/CTM/00264.info:eu-repo/semantics/publishedVersio

A multimethodological approach for vertebrate endemicity and potential priority regions for conservation in the state of Espírito Santo, southeastern Brazil

The selection of strategic conservation areas is a complex undertaking that requires the integration of various elements, including planning, indicators, and mapping. An extensive evaluation of vertebrate distribution patterns in Espírito Santo state, southern Brazil, revealed the existence of four consensus areas defined by two endemicity methods that can be designated as priority regions for multitaxa conservation. A brief remark is made regarding the importance of endemic areas and biogeographic units in the definition of priority areas for conservation.&nbsp