Sciweavers

936 search results - page 11 / 188
» Mathematical Models of Endocrine Systems
Sort
View
WSC
2007
14 years 4 days ago
Mathematical programming-based perturbation analysis for GI/G/1 queues
This paper addresses several issues of using the mathematical programming representations of discrete-event dynamic systems in perturbation analysis. In particular, linear program...
He Zhang, Wai Kin Chan
MKM
2009
Springer
14 years 2 months ago
Spreadsheet Interaction with Frames: Exploring a Mathematical Practice
Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing, in which an object of interest is viewed in terms of ...
Andrea Kohlhase, Michael Kohlhase
APAL
2005
90views more  APAL 2005»
13 years 9 months ago
Explicit mathematics: power types and overloading
Systems of explicit mathematics provide an axiomatic framework to represent programs and to prove properties of them. We introduce such a system with a new form of power types usi...
Thomas Studer
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
14 years 4 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
Adrian Craciun, Madalina Hodorog
UML
1997
Springer
14 years 1 months ago
Systems, Views and Models of UML
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe...