Buscas alternativas:
the formal » the normal (Expandir a busca), the informal (Expandir a busca), the form (Expandir a busca)
the formal » the normal (Expandir a busca), the informal (Expandir a busca), the form (Expandir a busca)
1
Assuntos:
“...Formalismo Hamiltoniano...”
Canonical quantization of general relativity with application to the Schwarzschild black hole
Dissertação
2
Assuntos:
“...PLC. IEC 61131-3. B method. Formal methods. Safety critical systems...”
Formal verification of PLC programs using the B Method
Dissertação
3
“... in a formal evaluation system can be explained by forgiveness. Furthermore, that the type of service failure...”
Please rate after riding : the impact of formal evaluation on consumers’ feedback
Dissertação
4
“... 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
5
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
6
Assuntos:
“...Formal methods...”
GGasCT: bringing formal methods to the computational thinking
Dissertação
7
8
“...-se nos princípios da Basic Formal Ontology (BFO), uma ontologia de topo projetada para descrever domínios...”
[en] RES-RISK-ONTO: AN APPLICATION ONTOLOGY FOR RISKS IN THE PETROLEUM RESERVOIR DOMAIN
Tese
9
10
11
Assuntos:
“...Semântica formal...”
Choices that make you chnage your mind : a dynamic epistemic logic approach to the semantics of BDI agent programming languages
Tese
12
Assuntos:
“...[pt] FORMALISMO...”
[en] FAIRNESS AND LEGALITY IN THE PERSPECTIVE OF RIO DE JANEIRO LABOR JUDGES
Tese
13
Assuntos:
“...Formal-informal sectors...”
Essays on job polarization in the brazilian labor market
Tese
14
Assuntos:
“...Formal verification...”
Network testing through grammars : towards the analysis of property violation on computer networks
Tese
15
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
16
“...Gramática de grafos é um formalismo para modelagem de sistemas computacionais. Este formalismo...”
Evolution of negative application conditions on second-order graph rewriting
Dissertação
17
Assuntos:
“...Análise formal...”
Narrativas literárias adaptadas para jogos digitais: análise da obra The ABC Murders
Dissertação
18
“... 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
19
Assuntos:
“...Adaptive formalisms (Application)...”
Um sistema de composição musical automatizada, baseado em gramáticas sensíveis ao contexto, implementado com formalismos adaptativos.
Dissertação