Sciweavers

1526 search results - page 199 / 306
» Computer algebra in systems biology
Sort
View
DNA
2009
Springer
145views Bioinformatics» more  DNA 2009»
16 years 1 months ago
Distributed Agreement in Tile Self-assembly
Abstract. Laboratory investigations have shown that a formal theory of fault-tolerance will be essential to harness nanoscale self-assembly as a medium of computation. Several rese...
Aaron Sterling
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 11 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
BMCBI
2005
161views more  BMCBI 2005»
15 years 7 months ago
Non-linear mapping for exploratory data analysis in functional genomics
Background: Several supervised and unsupervised learning tools are available to classify functional genomics data. However, relatively less attention has been given to exploratory...
Francisco Azuaje, Haiying Wang, Alban Chesneau
AIED
2005
Springer
16 years 23 days ago
Teaching the evolution of behavior with SuperDuperWalker
SuperDuperWalker is a software-based framework for experiments on the evolution of locomotion. It simulates the behavior of evolving agents in a 3D physical simulation environment ...
Lee Spector, Jon Klein, Kyle Harrington, Raymond C...
ICPR
2006
IEEE
16 years 8 months ago
Pay Attention When Selecting Features
In this paper, we propose a new, hierarchical approach to landmark selection for simultaneous robot localization and mapping based on visual sensors: a biologically motivated atte...
Simone Frintrop, Patric Jensfelt, Henrik I. Christ...