938 search results - page 11 / 188 » Mathematical Modelling the Ethnic System |
140
click to vote
APAL
2005
15 years 5 months ago
2005
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...
140
click to vote
SYNASC
2007
IEEE
16 years 2 days ago
2007
IEEE
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...
219
click to vote
MONET
2011
15 years 23 days ago
2011
— We investigate the throughput improvement that ZIGZAG decoding (Gollakota and Katabi (2008)) can achieve in multi-user random access systems. ZIGZAG is a recently proposed 802....
168
click to vote
UML
1997
Springer
15 years 10 months ago
1997
Springer
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...
147
click to vote
CCE
2010
15 years 3 months ago
2010
Sustainability has recently emerged as a key issue in process systems engineering (PSE). Mathematical programming techniques offer a general modeling framework for including enviro...