Buscar
Mostrando ítems 31-40 de 2422
Development of a Predictive Model for Induction Success of Labour
Induction of the labour process is an extraordinarily common procedure used in some pregnancies. Obstetricians face the need to end a pregnancy, for medical reasons usually (maternal or fetal requirements) or less frequently, ...
A hybrid case adaptation approach for case-based reasoning
(SPRINGER, 2008)
Case-Based Reasoning is a methodology for problem solving based on past experiences. This methodology tries to solve a new problem by retrieving and adapting previously known solutions of similar problems. However, retrieved ...
Comportamento dos geradores de indução duplamente alimentados em turbinas eólicas de 1,5MW
(Universidade Tecnológica Federal do ParanáCuritibaDepartamento Acadêmico de Eletrotécnica, 2013-09-11)
Among the different ways to generate wind energy, one is the use of an induction machine with a wound rotor, where it is doubly-fed by the electrical system, being fed directly in the stator and in the rotor through ...
A formal specification of the MIDP 2.0 security model
(UR. FI – INCO., 2006)
This paper overviews a formal specification, using the Calculus of Inductive Constructions, of the application security model defined by the Mobile Information Device Profile 2.0 for Java 2 Micro Edition. We present an ...
Os argumentos transcendentais: Kant e o problema de Hume
(Universidade Federal do Rio Grande do NorteBRUFRNPrograma de Pós-Graduação em FilosofiaMetafísica, 2010-05-11)
This work whose title is "The transcendental arguments: Kant Andy Hume's problem" has as its main objective to interpret Kant's answer to Hume's problem in the light of the conjunction of the causality and induction themes ...
MODELO DEL MOTOR DE INDUCCIÓN INCLUYENDO EL EFECTO DE EXCENTRICIDAD
(2011-05-27)
The induction machine in the motor operation is one of the most used electrical machines in
the petroleum, mining and steel industries. For this reason, the necessity of maintaining a
continuous operation is indispensable ...
Inferência para a melhor explicação: aspectos filosóficos e empíricos
(Universidade Federal de Minas GeraisUFMG, 2009-08-21)
This dissertation analyzes the role played by explanatory considerations in inductive reasoning. We focus on what has been called inference to the best explanation. According to this pattern of inference, explanatory ...
Tableaux e indução na lógica do plausível
(Universidade Estadual Paulista (UNESP), 2014)
Combining interactive and automatic reasoning in first order theories of functional programs
(SPRINGER, 2012-01-01)
We propose a new approach to the computer-assisted verification of functional programs. We work in first order theories of functional programs which are obtained by extending Aczel's first order theory of combinatory formal ...