5510 search results - page 223 / 1102 » Mathematics |
133
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Like programs, programming languages are not only mathematical objects but also software engineering artifacts. Describing the semantics of real-world languages can help bring lan...
334
click to vote
AML
2011
15 years 21 days ago
2011
In this paper we prove three theorems about the theory of Borel sets in models of ZF without any form of the axiom of choice. We prove that if B ⊆ 2ω is a Gδσ-set then either...
260
click to vote
MCS
2011
Springer
15 years 18 days ago
2011
Springer
A simple mathematical model of laser drilling is proposed. Assuming axi-symmetry of the process around the axis of the laser beam, a one-dimensional formulation is obtained after ...
121
click to vote
IJBC
2010
15 years 15 days ago
2010
In this paper, a discrete version of a reaction-diffusion equation, also known as coupled map lattice (CML), which corresponds to the Turing model of morphogenesis is studied. It i...
164
click to vote
SIAMREV
2010
15 years 12 days ago
2010
This work surveys essential properties of the so-called copositive matrices, the study of which is spread over more than fifty-five years. Special emphasis is given to variational ...