2147 search results - page 79 / 430 » Natural Phenomena Simulation |
111
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
For several semirings S, two weighted finite automata with multiplicities in S are equivalent if and only if they can be connected by a chain of simulations. Such a semiring S is c...
126
click to vote
ENTCS
2007
15 years 4 months ago
2007
MoR-Trust is a purely decentralized peer-to-peer trust management system, targeted towards networks and applications supporting transactions or collaborations of a quantitative na...
134
click to vote
FDL
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper introduces a novel numerical carbon nanotube transistor (CNT) modelling approach which brings in a flexible and efficient cubic spline non-linear approximation of t...
154
click to vote
RTA
2010
Springer
15 years 8 months ago
2010
Springer
This paper shows the equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in the deterministic call-by-nee...
145
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
In deduction modulo, a theory is not represented by a set of axioms but by a congruence on propositions modulo which the inference rules of standard deductive systems--such as for ...