Sciweavers

7404 search results - page 607 / 1481
» New Tools in Education
Sort
View
151
Voted
CORR
2004
Springer
106views Education» more  CORR 2004»
15 years 7 months ago
Presynaptic modulation as fast synaptic switching: state-dependent modulation of task performance
Neuromodulatory receptors in presynaptic position have the ability to suppress synaptic transmission for seconds to minutes when fully engaged. This effectively alters the synaptic...
Gabriele Scheler, Johann Schumann
CORR
2004
Springer
129views Education» more  CORR 2004»
15 years 7 months ago
Runtime Reconfiguration of J2EE Applications
: Runtime reconfiguration considered as "applying required changes to a running system" plays an important role for providing high availability not only of safety- and mi...
Jasminka Matevska-Meyer, Sascha Olliges, Wilhelm H...
229
Voted
CORR
2004
Springer
166views Education» more  CORR 2004»
15 years 7 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand
CORR
2000
Springer
91views Education» more  CORR 2000»
15 years 7 months ago
Multi-Agent Only Knowing
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Joseph Y. Halpern, Gerhard Lakemeyer
CORR
2002
Springer
123views Education» more  CORR 2002»
15 years 7 months ago
Survey propagation: an algorithm for satisfiability
: We study the satisfiability of randomly generated formulas formed by M clauses of exactly K literals over N Boolean variables. For a given value of N the problem is known to be m...
Alfredo Braunstein, Marc Mézard, Riccardo Z...