1263 search results - page 146 / 253 » Packaging Mathematical Structures |
IFIPTCS
2000
15 years 2 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
113
click to vote
MPC
2010
Springer
15 years 12 days ago
2010
Springer
ion of Object Graphs in Program Verification Yifeng Chen1 and J.W. Sanders2 1 HCST Key Lab at School of EECS, Peking University, China. 2 UNU-IIST, Macao. A set-theoretic formalism...
ORDER
2008
14 years 10 months ago
2008
Orthogonal surfaces are nice mathematical objects which have interesting connections to various fields, e.g., integer programming, monomial ideals and order dimension. While orthog...
MICCAI
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. In this paper, we propose a set of new generic automated processing tools to characterise the local asymmetries of anatomical structures (represented by surfaces) at an i...
MICCAI
2002
Springer
15 years 11 months ago
2002
Springer
Abstract. Angiogenesis, the growth of vascular structures, is an extremely complex biological process which has long puzzled scientists. Better physiological understanding of this ...