Sciweavers

4513 search results - page 307 / 903
» Modeling with a Sense of Purpose
Sort
View
ISBI
2007
IEEE
16 years 1 months ago
A Variational Model for Level-set Based Cell Tracking in Time-lapse Fluorescence Microscopy Images
Quantifying the motion and deformation of large numbers of cells through image sequences obtained with fluorescence microscopy is a recurrent task in many biological studies. Aut...
Oleh Dzyubachyk, Wiro J. Niessen, Erik H. W. Meije...
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
16 years 24 days ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
ICRA
2006
IEEE
92views Robotics» more  ICRA 2006»
16 years 22 days ago
Modeling of the Supporting Legs for Designing Biomimetic Water Strider Robots
— Recent studies on the insect water strider showed that the insect heavily relies on surface tension force to stay afloat. Inspired by this insect, water strider robots have be...
Yun Seong Song, Steve H. Suhr, Metin Sitti
199
Voted
CIBCB
2005
IEEE
16 years 9 days ago
Feedback Memetic Algorithms for Modeling Gene Regulatory Networks
— In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of memetic algori...
Christian Spieth, Felix Streichert, Jochen Supper,...
GECCO
2004
Springer
132views Optimization» more  GECCO 2004»
16 years 2 days ago
Optimizing Topology and Parameters of Gene Regulatory Network Models from Time-Series Experiments
Abstract. In this paper we address the problem of finding gene regulatory networks from experimental DNA microarray data. Different approaches to infer the dependencies of gene r...
Christian Spieth, Felix Streichert, Nora Speer, An...