-
1
-
-
84860039017
-
-
ODE: The open dynamics engine, http://www.ode.org/.
-
-
-
-
2
-
-
24944557956
-
Self-organizing programmable parts
-
IEEE/RSJ Robotics and Automation Society
-
J. Bishop, S. Burden, E. Klavins, R. Kreisberg, W. Malone, N. Napp, and T. Nguyen. Self-organizing programmable parts. In International Conference on Intelligent Robots and Systems. IEEE/RSJ Robotics and Automation Society, 2005.
-
(2005)
International Conference on Intelligent Robots and Systems
-
-
Bishop, J.1
Burden, S.2
Klavins, E.3
Kreisberg, R.4
Malone, W.5
Napp, N.6
Nguyen, T.7
-
3
-
-
0030901567
-
Self-assembly of mesoscale objects into ordered two-dimensional arrays
-
April
-
N. Bowden, A. Terfort, J. Carbeck, and G. M. Whitesides. Self-assembly of mesoscale objects into ordered two-dimensional arrays. Science, 276(11):233-235, April 1997.
-
(1997)
Science
, vol.276
, Issue.11
, pp. 233-235
-
-
Bowden, N.1
Terfort, A.2
Carbeck, J.3
Whitesides, G.M.4
-
5
-
-
2542514671
-
Paradigms for computational nucleic acid design
-
R. M. Dirks, M. Lin, E. Winfree, and N.A. Pierce. Paradigms for computational nucleic acid design. Nucleic Acids Research, 32(4):1392-1403, 2004.
-
(2004)
Nucleic Acids Research
, vol.32
, Issue.4
, pp. 1392-1403
-
-
Dirks, R.M.1
Lin, M.2
Winfree, E.3
Pierce, N.A.4
-
6
-
-
33645429016
-
Exact stochastic simulation of coupled chemical reactions
-
D. T. Gillespie. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry, 81:2340-2361, 1977.
-
(1977)
Journal of Physical Chemistry
, vol.81
, pp. 2340-2361
-
-
Gillespie, D.T.1
-
7
-
-
0000688252
-
Dynamics of self-assembling systems: Analogy with chemical kinetics
-
K. Hosokawa, I. Shimoyama, and H. Miura. Dynamics of self-assembling systems: Analogy with chemical kinetics. Artifical Life, 1(4):413-427, 1994.
-
(1994)
Artifical Life
, vol.1
, Issue.4
, pp. 413-427
-
-
Hosokawa, K.1
Shimoyama, I.2
Miura, H.3
-
9
-
-
35048875856
-
Statistical model checking of blackbox probabilistic systems
-
16th conference on Computer Aided Verification (CAV'04). Springer
-
K. Sen, M. Viswanathan, and G. Agha. Statistical model checking of blackbox probabilistic systems. In 16th conference on Computer Aided Verification (CAV'04), volume 3114 of LNCS, pages 202-215. Springer, 2004.
-
(2004)
LNCS
, vol.3114
, pp. 202-215
-
-
Sen, K.1
Viswanathan, M.2
Agha, G.3
-
11
-
-
84959522924
-
Three dimensional stochastic reconfiguration of modular robots
-
Boston, MA, June
-
P. White, V. Zykov, J. Bongard, and H. Lipson. Three dimensional stochastic reconfiguration of modular robots. In Proceedings of Robotics Science and Systems, Boston, MA, June 2005.
-
(2005)
Proceedings of Robotics Science and Systems
-
-
White, P.1
Zykov, V.2
Bongard, J.3
Lipson, H.4
-
13
-
-
84871943362
-
Algorithmic self-assembly of DNA: Theoretical motivations and 2D assembly experiments
-
May
-
E. Winfree. Algorithmic self-assembly of DNA: Theoretical motivations and 2D assembly experiments. Journal of Biomolecular Structure and Dynamics, 11(2):263-270, May 2000.
-
(2000)
Journal of Biomolecular Structure and Dynamics
, vol.11
, Issue.2
, pp. 263-270
-
-
Winfree, E.1
-
14
-
-
84921391802
-
Probabilistic verification of discrete event systems using acceptance sampling
-
14th conference on Computer Aided Verification (CAV'02). Springer
-
H. L. S. Younes and R. G. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In 14th conference on Computer Aided Verification (CAV'02), volume 2404 of LNCS, pages 223-235. Springer, 2002.
-
(2002)
LNCS
, vol.2404
, pp. 223-235
-
-
Younes, H.L.S.1
Simmons, R.G.2
|