55 search results - page 8 / 11 » Coalgebraic Foundations of Linear Systems |
90
Voted
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
107
Voted
SIAMSC
2010
14 years 10 months ago
2010
Magnetohydrodynamics (MHD) is a fluid theory that describes Plasma Physics by treating the plasma as a fluid of charged particles. Hence, the equations that describe the plasma f...
123
click to vote
SIAMSC
2010
14 years 10 months ago
2010
This paper develops a nested iteration algorithm to solve time-dependent nonlinear systems of partial differential equations. For each time step, Newton’s method is used to form...
124
click to vote
LICS
1998
IEEE
15 years 3 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
118
click to vote
CIDR
2003
15 years 1 months ago
2003
We introduce a system to address the challenges involved in managing the multidimensional sensor data streams generated within immersive environments. We call this data type, imme...