Buscas alternativas:
the formal » the normal (Expandir a busca), the informal (Expandir a busca)
the form » the firm (Expandir a busca), the food (Expandir a busca), the four (Expandir a busca)
the formal » the normal (Expandir a busca), the informal (Expandir a busca)
the form » the firm (Expandir a busca), the food (Expandir a busca), the four (Expandir a busca)
1
Assuntos:
“...PLC. IEC 61131-3. Método B. Métodos formais. Sistemas críticos...”
Formal verification of PLC programs using the B Method
Dissertação
2
Assuntos:
“...Formal methods...”
GGasCT: bringing formal methods to the computational thinking
Dissertação
3
Assuntos:
“...Formalismo Hamiltoniano...”
Canonical quantization of general relativity with application to the Schwarzschild black hole
Dissertação
4
“...This thesis discusses the rela ons between form and norm in the materializa on of the ci es and the...”
Da norma á forma: urbanismo contemporâneo e a materialização da cidade / From norm to form: contemporary urbanism and the materialization of the city
Tese
5
Assuntos:
“...Tropes and conception from the Western tradition...”
The experience of nature and the growth of the poet's mind in the autobiographical poem The Prelude, by William Wordsworth
Tese
6
“... context of an on-demand transportation service. We compared feedback (in the form of rating and tip...”
Please rate after riding : the impact of formal evaluation on consumers’ feedback
Dissertação
7
“... of identity and individuality currently lack a systematic formal characterization, hindering their application...”
A formal analysis of Identity and Sortality in the Unified Foundational Ontology (UFO)
Tese
8
“...RiskOnto são termos do domínio de trabalho de profissinais de reservatório, de forma a facilitar sua adoção...”
[en] RES-RISK-ONTO: AN APPLICATION ONTOLOGY FOR RISKS IN THE PETROLEUM RESERVOIR DOMAIN
Tese
9
“... for the gluing of schemes related to affine algebraic varieties. In the context of the formal schemes...”
Some properties of the gluing of schemes
Tese
10
Assuntos:
“...Formal-informal sectors...”
Essays on job polarization in the brazilian labor market
Tese
11
“...A leishmaniose visceral (LV), causada pelos parasitos Leishmania infantum e L. donovani, é a forma...”
Identification of New Antigens for the Diagnosis of Visceral Leishmaniasis - Application in Immunochromatography
Tese
12
“... foram realizados de forma a identificar os níveis de tensões elétricas geradas pela vibração oriunda da passagem...”
[en] ANALYSIS OF THE APPLICATION OF PVDF IN PIPES FOR MEASURING WATER FLOW RATE
Tese
13
“...This work represents an effort to model the internal dynamics of a manufacturing cluster’s supply...”
Application of computer simulation for the study of supply chain managerial actions of medium-ized enterprises in the apparel cluster of Pernambuco
Dissertação
14
Assuntos:
“...Trajectory formation, Role of the teacher, Non-formal education...”
O DESAFIO DO PEDAGOGO NOS ESPAÇOS DE EDUCAÇÃO NÃO FORMAL
Dissertação
15
“...-presented material and the information the reader brings to the reading task in the form of previous...”
The semiotics of written discourse and the dual representation of information in memory: an application of nonverbal elements to FL reading methodology
Dissertação
16
“... quantization. The implications of conformal invariance on the functional form of correlation functions are...”
Applications of the Extremal Functional Bootstrap
Dissertação
17
“...Os sistemas Hamiltonianos formam uma das classes mais importantes de equações diferenciais. Além...”
On the symplectic integration of Hamiltonian systems
Dissertação
18
“...Brazil is the largest sugarcane producer in the world and its production is destined for the sugar...”
kretzschmaria zonata: from the genome to the application of the enzyme extract for sugarcane bagasse saccharification
Tese
19
“.... De acordo com o modelo, projetamos uma linguagem computável para a representação de extensões de forma...”
[en] A SEMIOTIC MODEL OF THE COMMUNICATION PROCESSES RELATED TO THE ACTIVITY OF APPLICATION EXTENSION BY END-USERS
Tese
20
Assuntos:
“...Formalismo termodinamico...”
The Dirac operator for the Ruelle-Koopman pair: an interplay between Connes distance and symbolic dynamics
Tese