Sciweavers

936 search results - page 141 / 188
» Mathematical Models of Endocrine Systems
Sort
View
113
Voted
HICSS
2007
IEEE
151views Biometrics» more  HICSS 2007»
15 years 6 months ago
The Impact of Information Technology on the Temporal Optimization of Supply Chain Performance
The objective of this paper is to suggest a systematic means by which the timing and focus of information technology policies can be used to optimize supply chain performance and ...
Ken Dozier, David Chang
ATMOS
2008
124views Optimization» more  ATMOS 2008»
15 years 2 months ago
Simultaneous Network Line Planning and Traffic Assignment
One of the basic problems in strategic planning of public and rail transport is the line planning problem to find a system of lines and its associated frequencies. The objectives o...
Karl Nachtigall, Karl Jerosch
FTRTFT
1998
Springer
15 years 4 months ago
On the Need for Practical Formal Methods
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
Constance L. Heitmeyer
COMPUTER
1999
69views more  COMPUTER 1999»
15 years 6 days ago
Scientific Components Are Coming
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
Paul F. Dubois
RTAS
2003
IEEE
15 years 5 months ago
Modular Code Generation from Hybrid Automata based on Data Dependency
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
Jesung Kim, Insup Lee