1
2
Assuntos:
“...Proof of location...”
Proof of location as a security mechanism for vehicular Ad Hoc networks
Dissertação
3
4
Assuntos:
“...Proof theory...”
Justapor demonstrações e seu efeito na escrita de demonstrações : Juxtapose proofs and its effect on proof writing
Tese
5
“... capabilities and integrated with biosensors as wearable accessories to collect health data regularly. This type...”
Security and privacy-preserving of data in mobile health systems: an approach based on non-interactive zero-knowledge proof and blockchain
Tese
6
Assuntos:
“...Proof-nets...”
A combinatorial study of soundness and normalization in n-graphs
Dissertação
7
Assuntos:
“...Standard of Proof...”
Proof beyond a reasonable doubt : um standard de prova para a condenação no processo penal brasileiro
Dissertação
8
9
“..., Colony-Forming Units (CFU) count, and enamel demineralization after treatment with different...”
Paving the way for the use acid-resistant proteins to control dental caries through acquired pellicle and dental biofilm microbiome engineering: proof-of-concept in vitro and in vivo studies
Tese
10
“... of the form =f(x)+g(x)u with state and input constraints, and subjected to model uncertainties. Classical...”
Intelligent controllers for dynamic systems with state and input constraints and subjected to model uncertainties.
Tese
11
Assuntos:
“...Burden of proof...”
Distribuição dinâmica do ônus da prova no direito processual do trabalho
Dissertação
12
13
“... a variety of proof assistants, how ever, with different purposes. A better understanding of strengths and...”
Porting the software product line refinement theory to the coq proof assistant : a case study
Dissertação
14
Assuntos:
“...Proof and demonstration in analytic geometry...”
Prova e demonstração na geometria analítica: uma análise das organizações didática e matemática em materiais didáticos
Dissertação
15
Assuntos:
“...Burden of proof...”
Análise crítica da distribuição dinâmica do ônus da prova
Dissertação
16
Assuntos:
“...[en] PROOF COMPRESSION...”
[en] ARGUING NP = PSPACE: ON THE COVERAGE AND SOUNDNESS OF THE HORIZONTAL COMPRESSION ALGORITHM
Tese
17
18
Assuntos:
“...Burden of proof...”
Teoria da distribuição dinâmica do ônus da prova no processo do trabalho
Tese
19
“... model with a decaying field, and the long-range Ising model with a random field. We study the semi...”
Phase transitions in Ising models: the semi-infinite with decaying field and the random field long-range
Tese