Structure and magnetism of Ta/Co/Ta sandwiches
- H. Lefakis
- M. Benaissa
- et al.
- 1996
- Journal of Magnetism and Magnetic Materials
Paper
Publications
25372 results for Science
A BDD SAT solver for satisfiability testing: An industrial case study
- Ruchir Puri
- Jun Gu
- 1996
- Ann. Math. Artif. Intell.
PaperXPS analysis of fluorinated polyimides
- L.P. Buchwalter
- 1996
- Journal of Adhesion Science and Technology
PaperA case study in parallel scientific computing: The boundary element method on a distributed-memory multicomputer
- R. Natarajan
- D. Krishnaswamy
- 1996
- Engineering Analysis with Boundary Elements
PaperA linear programming instance with many crossover events
- Shinji Mizuno
- Nimrod Megiddo
- et al.
- 1996
- Journal of Complexity
PaperStresses during silicide formation: A review
- F.M. D'Heurle
- O. Thomas
- 1996
- Defect and Diffusion Forum
PaperOn the composition of zero-knowledge proof systems
- Oded Goldreich
- Hugo Krawczyk
- 1996
- SIAM Journal on Computing
PaperHow to run algorithmic information theory on a computer: Studying the limits of mathematical reasoning
- Gregory J. Chaitin
- 1996
- Complexity
PaperA deterministic poly(loglog n)-time n-processor algorithm for linear programming in fixed dimension
- Miklos Ajtai
- Nimrod Megiddo
- 1996
- SIAM Journal on Computing
PaperChemically induced phase separation: A new technique for the synthesis of macroporous epoxy networks
- J. Kiefer
- J.G. Hilborn
- et al.
- 1996
- Polymer
Paper