Optical absorption spectroscopy has been used to explore the phase diagram of the double layer electron system at v = 1.
In this letter we present the first investigation by direct differential absorption of the continuous transition of a single InGaAs quantum well from modulation doped (N~8x10 sup 11 cm sup -2) to u
Novel pulsed and cw quantum cascade distributed feedback (QC-DFB) lasers operating near lambda = 8 mum were used for detection and quantification of trace gases in ambient air by means of sensitive
My thesis research involves implementing a text-oriented windowing system designed using the object-oriented run on a personal computer.
In this paper we address the question of designing complete assume-guarantee methods.
This paper introduces abstract program evaluation (APE) that, for certain kinds of evolutionary induction problems, abstractly captures the maximal set of a problem's fitness tests.
A conceptually simple and practically very useful form of data abstraction in model checking is variable hiding, which amounts to suppressing all information about a given set of variables.
The Software Defined Network (SDN) model depends on abstractions to separate the control plane from the packet forwarding plane.
Effective methods of program abstraction are necessary for the successful application of model checking in practice.
This paper provides a brief description, including a bibliography, of the SPIN2002 tutorial on abstraction in model checking of software.
