Sciweavers

770 search results - page 101 / 154
» Abstract Yourself With Modules
Sort
View
PSB
2001
15 years 4 months ago
PIES, A Protein Interaction Extraction System
We consider the problem of extracting, manipulating, and managing biological pathways, especially protein-protein interaction pathways. We discuss here the Protein Interaction Ext...
Limsoon Wong
TROB
2010
96views more  TROB 2010»
15 years 1 months ago
Stochastic Modular Robotic Systems: A Study of Fluidic Assembly Strategies
Abstract—Modular robotic systems typically assemble using deterministic processes where modules are directly placed into their target position. By contrast, stochastic modular ro...
Michael Thomas Tolley, Michael Kalontarov, Jonas N...
ICFP
2005
ACM
16 years 2 months ago
Toward a general theory of names: binding and scope
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
James Cheney
CORR
2002
Springer
131views Education» more  CORR 2002»
15 years 2 months ago
Ownership Confinement Ensures Representation Independence for Object-Oriented Programs
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
Anindya Banerjee, David A. Naumann
NECO
2007
110views more  NECO 2007»
15 years 2 months ago
Exact Simulation of Integrate-and-Fire Models with Exponential Currents
ll Text][Abstract] , October 1, 2007; 19 (10): 2604-2609.Neural Comput. R. Brette Exact Simulation of Integrate-and-Fire Models with Exponential Currents ll Text][Abstract] , Novem...
Romain Brette