7971 search results - page 210 / 1595 » On unbounded operators and applications |
205
click to vote
WSC
1998
15 years 7 months ago
1998
The Detailed Policy Assessment Tool (DPAT) is a widely used simulation of air traffic control that incorporates advanced technology for user-friendly operation. DPAT computes cong...
173
click to vote
Publication
This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been...
142
click to vote
IJBC
2008
15 years 6 months ago
2008
The paper deals with time-scaling transformations of dynamical systems. Such scaling functions operate a change of coordinates on the time axis of the system trajectories preservi...
155
click to vote
ENTCS
2002
15 years 6 months ago
2002
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
149
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Mobile devices, like sensor networks and MEMS actuators use mobile power supplies to ensure energy for their operation. These are mostly batteries. The lifetime of the devices dep...