Logic TK: algebric notions from Tarski's consequence operator

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A neighbourhood semantic for the Logic TK

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Confrontando propriedades lógicas em um contexto de lógica universal

This paper presents a definition of universal logic in a strictly settheoretic environment and compares logical and topological properties in this abstract environment. From these properties, we verify the etymology of the more common names given for evolved properties, and so we establish the precedence or equivalence among them.

Avaliação dos níveis de vibração no operador de um trator agrícola ensaiado em pista normatizada em diferentes velocidades de deslocamento

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Avaliação de características ergonômicas no posto do operador em colhedoras combinadas

Com o propósito de fornecer dados para a avaliação de características ergonômicas no posto do operador de quatro colhedoras combinadas presentes na agricultura brasileira, foram realizadas, na região de Uberaba - MG, determinações das distâncias, a partir do ponto de referência do assento até os órgãos de comandos das colhedoras. Dentre as máquinas analisadas, a colhedora NH TC 57 foi a que apresentou melhores características ergonômicas do projeto interno da cabine.

Transformação cística como consequência de terceiro molar inferior incluso

The permanence of impacted third molar in the jaws can cause many pathological alterations, amongst them the appearance of odontogenic cysts. The paradental cyst appearance and evolution next to a mandibular included third molar was diagnosised in radiograph routine follow-up, and its evolution and treatment are described. Are discussed the aspects related with the preventive removal to the impacted third molars and the necessity to institution a plan of treatment based in clinical history and radiograph in order to establish a preventive protocol the alterations caused by these impactions. The indication of extraction of impacted third enclosed can be a way to preventing the appearance of these and otherspathologies associates to these lesions.

Avaliação ergonômica dos controles e mostradores do posto de trabalho do operador de tratores

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Dinâmica e estabilidade de satélites regulares como consequência da migração planetária

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Operador quaterniônico de Klein-Gordon-Dirac

Pós-graduação em Matemática - IBILCE

Ergonomia aplicada em posto de trabalho do operador de tratores: sistema para aquisição de coordenadas tridimensionais

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Avaliação dos níveis de ruído em tratores agrícolas e seus efeitos sobre o operador

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Desenvolvimento de um aplicativo para processamento de dados e criação de um simulador computacional de uma transmissão para veículos

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

O operador espalhamento para férmions num campo externo em Thermofield Dynamics

Pós-graduação em Física - IFT

Atenção primária e atenção psicossocial: dispositivo intercessor como operador da produção de conhecimento na saúde coletiva

Pós-graduação em Psicologia - FCLAS

Concepção morfológica de fórceps, para intervenção no paciente em posição supina e o operador sentado

Ergonomics, the science of working rationalization, seeks the best relationship between man and his working tools. In Dentistry, ergonomics is present as for the professional working correctly seated, in functional comfort, intervening of supine position patient, by means of suitable equipment and instrument. Nowadays, dental equipment is justly rationalized; however, some instruments should take shape, in order to adapt those requirements. The hand tool design should permit a comfortable, non-slip and safe handling. Thus, anatomical details, the correct position of the operator for its use and specific characteristics of application should be taken into account. The instrument under analysis - forceps - was conceived according to these requirements along with a new alveolar tooth extraction technique, based on electromyographic and biomechanical studies. The morphology of the instrument, which makes possible a simple and natural kinetics of the operator, was obtained by changing the paradigm of the conventional cross-action instruments (whose grip is always on the arms of the tool), divesting the handle from the tool arm. This induced on anatomical conceiving of perpendicular handles to the extremity of the tool arm, resulting an efficient and effective instrument, according to indicated on its experimental phase