Sciweavers

460 search results - page 4 / 92
» Abstract and Discrete Modeling of Spatio-Temporal Data Types
Sort
View
JACM
2007
85views more  JACM 2007»
13 years 7 months ago
The rational numbers as an abstract data type
onal Numbers as an Abstract Data Type1 J A Bergstra2 University of Amsterdam, Informatics Institute, Kruislaan 403, 1098 SJ Amsterdam, The Netherlands J V Tucker3 Department of Com...
Jan A. Bergstra, J. V. Tucker
CDC
2008
IEEE
114views Control Systems» more  CDC 2008»
14 years 1 months ago
A repetitive process approach to the control of self-servowriting in disk drives
Abstract— This paper considers the control problem for selfservowriting in disk drives where information propagation occurs in two independent directions, i.e. time and track num...
Krzysztof Galkowski, Wojciech Paszke, Eric Rogers
JCB
2006
91views more  JCB 2006»
13 years 7 months ago
Reverse Engineering Discrete Dynamical Systems from Data Sets with Random Input Vectors
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...
Winfried Just
TOMACS
2008
91views more  TOMACS 2008»
13 years 7 months ago
On constructing optimistic simulation algorithms for the discrete event system specification
abstractly; it is intended to provide a basis for implementing efficient and scalable parallel algorithms that correctly simulate DEVS models. Categories and Subject Descriptors: I...
James J. Nutaro
MOC
1998
81views more  MOC 1998»
13 years 7 months ago
Discrete gauge invariant approximations of a time dependent Ginzburg-Landau model of superconductivity
Abstract. We present here a mathematical analysis of a nonstandard difference method for the numerical solution of the time dependent GinzburgLandau models of superconductivity. Th...
Qiang Du