Publications

26909 results for Science

From business process model to consistent implementation: A case for formal verification methods
- - Jana Koehler
  - Giuliano Tirenni
  - et al.
- 2002
- EDOC 2002
Conference paper
Conversation support for business process integration
- - James E. Hanson
  - Prabir Nandi
  - et al.
- 2002
- EDOC 2002
Conference paper
Spin-dependent hot electron transport in Ni₈₁Fe₁₉ and Co₈₄Fe₁₆ films on GaAs(001)
- - Sebastiaan Van Dijken
  - Xin Jiang
  - et al.
- 2002
- Physical Review B - CMMP
Paper
Optimization of diblock copolymer thin film self assembly
- - K.W. Guarini
  - C.T. Black
  - et al.
- 2002
- Advanced Materials
Paper
Rotational hysteresis of exchange-spring magnets
- - J.S. Jiang
  - S.D. Bader
  - et al.
- 2002
- Journal of Physics D: Applied Physics
Paper
Magnetic recording: Advancing into the future
- - Andreas Moser
  - Kentaro Takano
  - et al.
- 2002
- Journal of Physics D: Applied Physics
Review
On calculating interpolation polynomials for error values in Reed-Solomon decoding algorithm
- - Yasunao Katayama
  - Toshiyuki Yamane
- 2002
- ISIT 2002
Conference paper
Efficient encoding and minimum distance bounds of Reed-Solomon-type array codes
- - Thomas Mittelholzer
- 2002
- ISIT 2002
Conference paper
Low-density parity-check codes for multilevel modulation
- - E. Eleftheriou
  - S. Ölçer
- 2002
- ISIT 2002
Conference paper
An almost sure convergence proof of the sliding-window Lempel-Ziv algorithm
- - Luis A. Lastras
- 2002
- ISIT 2002
Conference paper