Sciweavers

2446 search results - page 51 / 490
» Principles of dataspace systems
Sort
View
CAINE
2007
13 years 11 months ago
Systems Modeling of Alveolar Morphogenesis In Vitro
We present a pulmonary alveolar epithelial cell model and its simulation results aimed to provide mechanistic insight into biological principles that underlie alveolar morphogenes...
Sean H. J. Kim, Sunwoo Park, Wei Yu, Keith E. Most...
ENTCS
2007
91views more  ENTCS 2007»
13 years 10 months ago
A Logic for Reasoning about Generic Judgments
This paper presents an extension of a proof system for encoding generic judgments, the logic FOλ∆ of Miller and Tiu, with an induction principle. The logic FOλ∆ is itself an...
Alwen Tiu
PC
2006
153views Management» more  PC 2006»
13 years 10 months ago
Algorithmic skeletons meeting grids
In this work, we discuss an extension of the set of principles that should guide the future design and development of skeletal programming systems, as defined by Cole in his ``pra...
Marco Danelutto, Marco Aldinucci
CORR
2008
Springer
60views Education» more  CORR 2008»
13 years 10 months ago
Model Based Sensor System for Temperature Measurement in R744 Air Conditioning Systems
- The goal is the development of a novel principle for the temperature acquisition of refrigerants in CO2 air conditioning systems. The new approach is based on measuring the tempe...
Sven Reitz, Andreas Schroth, Peter Schneider
TASE
2010
IEEE
13 years 5 months ago
Intelligent Component-Based Automation of Baggage Handling Systems With IEC 61499
Airport Baggage Handling is a field of automation systems that is currently dependent on centralised control systems and conventional automation programming techniques. In this and...
Geoff Black, Valeriy Vyatkin