Sciweavers

3928 search results - page 178 / 786
» order 2006
Sort
View
JCC
2000
66views more  JCC 2000»
15 years 4 months ago
The molecular modeling toolkit: A new approach to molecular simulations
The Molecular Modeling Toolkit is a library that implements common molecular simulation techniques, with an emphasis on biomolecular simulations. It uses modern software engineeri...
Konrad Hinsen
JSYML
2000
76views more  JSYML 2000»
15 years 4 months ago
Located Sets and Reverse Mathematics
Let X be a compact metric space. A closed set K X is located if the distance function d(x, K) exists as a continuous realvalued function on X; weakly located if the predicate d(x,...
Mariagnese Giusto, Stephen G. Simpson
LOBJET
2000
84views more  LOBJET 2000»
15 years 4 months ago
Typing Concurrent Objects and Actors
ABSTRACT. As informal methods do little to help their use for concurrent and distributed programming, one of the most challenging current tasks is to build tools based on formal me...
Fabien Dagnat, Marc Pantel, Matthias Colin, Patric...
NECO
2000
67views more  NECO 2000»
15 years 4 months ago
Formation of Direction Selectivity in Natural Scene Environments
Most simple and complex cells in the cat striate cortex are both orientation and direction selective. In this paper we use single cell learning rules to develop both orientation a...
Brian S. Blais, Leon N. Cooper, Harel Z. Shouval
NJC
2000
99views more  NJC 2000»
15 years 4 months ago
An Incremental Unique Representation for Regular Trees
In order to deal with infinite regular trees (or other pointed graph structures) efficiently, we give new algorithms to store such structures. The trees are stored in such a way th...
Laurent Mauborgne