2911 search results - page 43 / 583 » A Theory of Expressiveness in Mechanisms |
163
click to vote
ATVA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of ...
164
click to vote
TARK
2007
Springer
16 years 7 days ago
2007
Springer
In this paper is we apply insights from mechanism design to the design of agent interaction protocols. We show how this allows us a more flexible approach to the design of agent ...
150
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
This paper demonstrates a biologically- and psychologicallyinspired human-like computational memory focusing on the retrieval mechanisms – Spreading Activation and Compound Cue ...
106
click to vote
JCC
2006
15 years 6 months ago
2006
![A theoretical study of thermal [1, 3]-sigmatropic rearrangements of 3-trimethylsilyl-1-pyrazoline: Concerted vs. stepwise mechan](http://sciweavers.com/files/imagecache/thumbnail/imagecache/a_theoretical_study_of_thermal_1_3_sigmatropic_rearrangements_of_3_trimethylsilyl_1_pyrazoline_concerted_vs_stepwise_mechanisms_JCC_2006.jpg "A theoretical study of thermal [1, 3]-sigmatropic rearrangements of 3-trimethylsilyl-1-pyrazoline: Concerted vs. stepwise mechan")
Abstract: Possible reaction mechanisms of 1,3-silyl and 1,3-hydrogen thermal rearrangements of trimethylsilyl-1pyrazoline and its model systems were theoretically explored using B3...
132
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Several software systems have been developed recently for the automated generation of combustion reactions kinetic mechanisms using different representations of species and reacti...