Sciweavers

4346 search results - page 750 / 870
» Models of Complex Physical Systems Using Cell-DEVS
Sort
View
ISBI
2008
IEEE
16 years 7 months ago
Towards digital representation of Drosophila embryogenesis
Animal development can be described as a complex, threedimensional cellular system that changes dramatically across time as a consequence of cell proliferation, differentiation an...
Stephan Preibisch, Radoslaw Ejsmont, Torsten Rohlf...
CCECE
2006
IEEE
16 years 14 days ago
A Formal CSP Framework for Message-Passing HPC Programming
To help programmers of high-performance computing (HPC) systems avoid communication-related errors, we employ a formal process algebra, Communicating Sequential Processes (CSP), w...
John D. Carter, William B. Gardner
ICRA
2005
IEEE
263views Robotics» more  ICRA 2005»
16 years 4 hour ago
An Integrated Path Planning and Control Framework for Nonholonomic Unicycles
— In this paper, navigation and control of autonomous mobile unicycle robots in a complex and partially known obstacleridden environment is considered. The unicycle dynamic model...
Kaustubh Pathak, Sunil Kumar Agrawal
HICSS
2002
IEEE
89views Biometrics» more  HICSS 2002»
15 years 11 months ago
Nash Strategies for Load Serving Entities in Dynamic Energy Multi-markets
In this paper the problem of developing bidding strategies for the participants of dynamic energy-multi markets is studied. Attention is given to strategic bidding of load serving...
Jose B. Cruz Jr., Ashkan Kian
ECMDAFA
2010
Springer
132views Hardware» more  ECMDAFA 2010»
15 years 6 months ago
An Integrated Facet-Based Library for Arbitrary Software Components
Reuse is an important means of reducing costs and effort during the development of complex software systems. A major challenge is to find suitable components in a large library wit...
Matthias Schmidt, Jan Polowinski, Jendrik Johannes...