An extension of Van Gelder's alternating fixpoint to magic programs
- Shinichi Morishita
- 1996
- Journal of Computer and System Sciences
Paper
Publications
24879 results for Exploratory Science
Recovery in the Calypso File System
- Murthy Devarakonda
- Bill Kish
- et al.
- 1996
- ACM Transactions on Computer Systems
PaperSearching images using Ultimedia Manager
- Harold Treat
- Ed Ort
- et al.
- 1996
- Information Services and Use
PaperHigh-temperature polyimide nanofoams for microelectronic applications
- J.L. Hedrick
- K.R. Carter
- et al.
- 1996
- Reactive and Functional Polymers
PaperThin-film media - Current and future technology
- K. Johnson
- C.M. Mate
- et al.
- 1996
- IBM J. Res. Dev
PaperDevelopment of 111 texture in Al films grown on SiO2/Si(001) by ultrahigh-vacuum primary-ion deposition
- Y.W. Kim
- I. Petrov
- et al.
- 1996
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperGrowth and transport properties of thin Bi films on InP(110)
- B.G. Briner
- R.M. Feenstra
- et al.
- 1996
- Semiconductor Science and Technology
PaperDomain nucleation and wall velocity in magneto-optical amorphous thin films
- M. Hirscher
- E.E. Marinero
- et al.
- 1996
- Physica Status Solidi (A) Applied Research
PaperOn the mass sensitivity of acoustic-plate-mode sensors
- Fabien Josse
- Reiner Dahint
- et al.
- 1996
- Sensors and Actuators, A: Physical
PaperInteractive task planning under uncertainty and goal changes
- Sugato Bagchi
- Gautam Biswas
- et al.
- 1996
- Robotics and Autonomous Systems
Paper