Sciweavers

8196 search results - page 1278 / 1640
» Computational Modeling and Complexity Science
Sort
View
AR
2007
138views more  AR 2007»
15 years 6 months ago
Integrating robotics and neuroscience: brains for robots, bodies for brains
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
Michele Rucci, Daniel Bullock, Fabrizio Santini
CCE
2008
15 years 6 months ago
Prediction of secondary structures of proteins using a two-stage method
Protein structure determination and prediction has been a focal research subject in life sciences due to the importance of protein structure in understanding the biological and ch...
Fadime Üney Yüksektepe, Özlem Yilma...
CONCURRENCY
2008
95views more  CONCURRENCY 2008»
15 years 6 months ago
The File Mover: high-performance data transfer for the grid
The exploration in many scientific disciplines (e.g., High-Energy Physics, Climate Modeling, and Life Sciences) involves the production and the analysis of massive data collection...
Cosimo Anglano, Massimo Canonico
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 6 months ago
Deriving Specifications of Dependable Systems: toward a Method
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
Manuel Mazzara
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 6 months ago
A Pseudo-Boolean Solution to the Maximum Quartet Consistency Problem
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
António Morgado, João P. Marques Sil...
« Prev « First page 1278 / 1640 Last » Next »