1982 search results - page 123 / 397 » Parametricity and dependent types |
193
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...
140
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
178
click to vote
TOOLS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provid...
177
click to vote
CIBCB
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
176
click to vote
ICAS
2005
IEEE
16 years 8 days ago
2005
IEEE
Research in overlay and P2P networking has been tightly focused on fundamentals in the last few years, leading to developments on a range of important issues. The time has come to...