8828 search results - page 1542 / 1766 » Formal methods in practice |
168
click to vote
IJACT
2008
15 years 4 months ago
2008
: In Crypto 1997, Goldreich, Goldwasser and Halevi (GGH) proposed a lattice analogue of McEliece public key cryptosystem, in which security is related to the hardness of approximat...
155
click to vote
IJAR
2008
15 years 4 months ago
2008
The task of estimating causal effects from non-experimental data is notoriously difficult and unreliable. Nevertheless, precisely such estimates are commonly required in many fiel...
138
click to vote
IJBRA
2008
15 years 4 months ago
2008
Abstract Observing behaviors of protein pathways and genetic networks under various environments in living cells is essential for unraveling disease and developing drugs. For that ...
128
click to vote
GEOINFORMATICA
2006
15 years 4 months ago
2006
In this paper a new method for the combination of 2D GIS vector data and 2.5D DTM represented by triangulated irregular networks (TIN) to derive integrated triangular 2.5D object-b...
119
click to vote
CE
2007
15 years 4 months ago
2007
Adapting training methods to specific teacher traits to best facilitate the training effects for preservice teachers is an important, yet neglected, topic in aptitude-treatment in...