Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Geodesic
Parcourir par
Revues
Séminaires
Livres
Congrès
Sources
Modelirovanie i analiz informacionnyh sistem
Tome 19 (2012)
no. 5
Précédent
Suivant
Volume 19 (2012) no. 5
Sommaire
Current Open Problems in Discrete and Computational Geometry
H. Edelsbrunner
;
A. Ivanov
;
R. Karasev
p. 5-17
Stationary States of a Delay Differentional Equation of Insect Population's Dynamics
S. A. Kaschenko
p. 18-34
Dynamics of a Complex Spatially Distributed Hutchinson Equation
D. S. Glyzin
;
S. A. Kaschenko
p. 35-39
Formation of a Warped Nanomodular Surface Under Ion Bombardment. A~Nanoscale Model of Surface Erosion
D. A. Kulikov
;
A. S. Rudy
p. 40-49
Polynomial Method for Constructing Equilibrium Configurations of Point Vortices in the Plane
M. V. Demina
;
N. A. Kudryashov
p. 50-55
Oscillations in Arrays of Nonlinear Elements in the Scott Experiment
A. S. Bobok
;
S. D. Glyzin
p. 56-68
The Modeling of Counter Machines by Two-Head Finite Automata
E. V. Kuzmin
;
V. A. Sokolov
p. 69-73
About Not Countable Ideals in a Semi-Lattice of~the~Enumeration Degrees
B. I. Solon
;
V. V. Tikhov
p. 74-80
Formal Verification of Programs in Functional Dataflow Parallel Language
M. S. Kropacheva
;
A. I. Legalov
p. 81-99
About Algebraic Program Models with Procedures
R. I. Podlovchenko
;
A. E. Molchanov
p. 100-114
CPN Tools-Assisted Simulation and Verification of Nested Petri Nets
L. W. Dworzánski
;
I. A. Lomazova
p. 115-130
Concurrency Control in the Problem of Automatic Substitution of the Dataflow Network Agent on Smart-M3 Platform and in the Internet of Things
S. I. Balandin
;
A. M. Vasilev
;
N. I. Kozhemyakin
;
D. A. Laure
;
I. V. Paramonov
p. 131-141
TCP TIPS: Transport Protocol for Unreliable Networks with Latency-Sensitive Data
A. A. Sivov
p. 142-151
Workshop “Nonlinear Dynamics and Computational Geometry”
p. 152-167