Decidability and expressiveness for first-order logics of probability
- Martin Abadi
- Joseph Y. Halpern
- 1994
- Information and Computation
Paper
Publications
25372 results for Science
Enhancement of free-to-bound transitions due to resonant electron capture in Be-doped AlGaAs/GaAs quantum wells
- K. Muraki
- Y. Takahashi
- et al.
- 1994
- Solid State Electronics
PaperToward Customer-Useable All-Optical Networks
- Paul E. Green
- 1994
- IEEE Communications Magazine
PaperA novel method for the preparation of magnetic nanoparticles in a polypyrrole powder
- My T. Nguyen
- Arthur F. Diaz
- 1994
- Advanced Materials
PaperAssessment of polymeric materials for second-harmonic generation and electro-optic applications
- D.M. Burland
- R.D. Miller
- et al.
- 1994
- Molecular Crystals and Liquid Crystals Science and Technology Section B: Nonlinear Optics
PaperIntegrated AIGaAs Waveguide Components for Optical Phase Difference Measurement and Correction
- Suzanne D. Lau
- Joseph P. Donnelly
- et al.
- 1994
- IEEE Journal of Quantum Electronics
PaperAmorphous carbon antireflective coatings in the 10 to 50 fxm region of the far-IR
- Serhat Mefin
- James H. Kaufman
- et al.
- 1994
- Journal of Materials Research
PaperAb initio molecular orbital study of the rearrangement of fluoroallene to singlet fluorovinylmethylene
- Nobumitsu Honjou
- Jacob Pacansky
- et al.
- 1994
- Journal of Molecular Structure: THEOCHEM
PaperCrystallization of nickel-bearing stoichiometric cordierite glasses
- C. Boberski
- E.A. Giess
- 1994
- Journal of Materials Science
PaperComplexity of projected images of convex subdivisions
- Tomio Hirata
- Jiří Matoušek
- et al.
- 1994
- Computational Geometry: Theory and Applications
Paper