Sciweavers

5054 search results - page 188 / 1011
» simulation 2008
Sort
View
ENTCS
2008
118views more  ENTCS 2008»
15 years 4 months ago
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
CPHYSICS
2007
85views more  CPHYSICS 2007»
15 years 4 months ago
The essential role of visualization for modeling nanotubes and nanodiamond
Visualization techniques to help understand the structure of carbon and its allotropes have been developed and applied to atomistic simulation projects which model different carb...
Joan Adler, J. Fox, R. Kalish, T. Mutat, A. Sorkin...
JNW
2008
108views more  JNW 2008»
15 years 4 months ago
Energy Efficient MANET Routing Using a Combination of Span and BECA/AFECA
This paper presents some novel approaches for energy efficient routing in mobile ad-hoc networks. Two known energy preserving techniques, Span and BECA/AFECA, are combined with a w...
Mads Darø Kristensen, Niels Olof Bouvin
ISCAS
2008
IEEE
119views Hardware» more  ISCAS 2008»
15 years 10 months ago
Adjusting the neurons models in neuromimetic ICs using the voltage-clamp technique
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...
Sylvain Saïghi, Laure Buhry, Yannick Bornat, ...
CORR
2008
Springer
92views Education» more  CORR 2008»
15 years 4 months ago
Universal Quantum Circuits
Abstract. We define and construct efficient depth-universal and almostsize-universal quantum circuits. Such circuits can be viewed as generalpurpose simulators for central classes ...
Debajyoti Bera, Stephen A. Fenner, Frederic Green,...