936 search results - page 60 / 188 » Mathematical Models of Endocrine Systems |
ESM
1998
13 years 11 months ago
1998
The aim of this project was the development of a user-friendly software package for physicians that can be used as an advisor in vessel surgery and as a training tool for medical ...
HYBRID
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
IC
2007
13 years 11 months ago
2007
—With the advent of the Internet, we have entered the age of ubiquitous systems that will need to be able to communicate, establish criteria for measurement and then perform thes...
JSS
1998
13 years 9 months ago
1998
The graphical formalism of Petri Nets (PNs) is established on a strong mathematical foundation that can be applied in systems speci®cation, analysis and veri®cation. However, cl...
ISSAC
2005
Springer
14 years 3 months ago
2005
Springer
This paper describes a method to use compiled, strongly typed Aldor domains in the interpreted, expression-oriented Maple environment. This represents a non-traditional approach t...