|
|
Creator | Title | Description | Subject | Date |
1 |
|
Morse, Michael David | The 3d?Ni(?F)3d10Cu???*? manifold of excited electronic states of NiCu | Diatomic NiCu has been supersonically cooled in a molecular beam and investigated by resonant two-photon ionization spectroscopy. A total of nine band systems connecting the ground 3d?Ni3??Cu??, X 2?5/2 state to the 3d?Ni(3F)3d??Cu??*?? manifold of states have been found, and bands of eight of these... | | 1992 |
2 |
|
Morse, Michael David | The 846 nm A? ???u ? ??? band system of jet-cooled V? | The 846 nm band system of jet-cooled 5?V2 has been recorded using resonant two-photon ionization spectroscopy, and is assigned as the A ? 3?u- +X ??g- band system. Both the ?'= 1u? ?" = 1g and ?'= Ou+ ??? = 0g+ subbands of the O-O band have been rotationally resolved and analyzed. Although the trans... | | 1992 |
3 |
|
Morse, Michael David | The ?IIou ?X ???g band system of jet-cooled Ti? | A band of jet-cooled ??Ti? has been located in the near infrared by resonant two-photon ionization spectroscopy. Rotational analysis has shown the band to be an ?? =O* ???=1 transition, which is consistent with the 3??g, ground state proposed by Bauschlicher ef al. [J. Chem. Phys. 95, 1057 ( 1991)]... | | 1992 |
4 |
|
Kessler, Robert R. | A communication-ordered task graph allocation algorithm | The inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution. While this computational model holds great promise, several problems must be solved in order to achieve a high degree of program performance. The allocation and ... | Task graph allocation algorithm | 1992 |
5 |
|
Evans, John; Kessler, Robert R. | A communication-ordered task graph allocation algorithm | The inherently asynchronous nature of the data flow computation model allows the exploitation of maximum parallelism in program execution?? While this computational model holds great promise several problems must be solved in order to achieve a high degree of program performance?? The allocation... | Data flow computation model | 1992 |
6 |
|
Brunvand, Erik L.; Smith, Kent F. | A comparison of self-timed design using FPGA, CMOS, and GaAs technologies | Asynchronous or self-timed systems that do not rely on U global clock to keep system components synchronized can offer significant advantages over traditional clocked circuits in a variety of applications. One advantage is that because of the separation of timing, from, functionality in these sys... | | 1992 |
7 |
|
Brunvand, Erik L. | A correctness criterion for asynchronous circuit validation and optimization | In order to reason about the correctness of asynchronous circuit implementations and specifications, Dill has developed a variant of trace theory [1]. Trace theory describes the behavior of an asynchronous circuit by representing its possible executions as strings called "traces" A useful relatio... | Asynchronous circuits; Circuit optimizations; Formal verification of hardware; Trace theory; Asynchronous circuit validation | 1992 |
8 |
|
Gopalakrishnan, Ganesh | A correctness criterion for asynchronous circuit validation and optimization | We propose a new relation C. called strong conformance in the context of Dill's trace theory, and define B Q A to be true exactly when B conforms to A and the success set of B contains the success set of A. When B C. A, module B operated in module A's maximal environment AM (i.e. B || AM) exhibits a... | Validation; Optimization | 1992 |
9 |
|
| A distributed garbage collection algorithm | Concurrent Scheme extends the Scheme programming language, providing parallel program execution on a distributed network. The Concurrent Scheme environment requires a garbage collector to reclaim global objects; objects that exist in a portion of the global heap located on the node that created them... | Concurrent Scheme; Garbage collection algorithm | 1992 |
10 |
|
Sobh, Tarek M. | A dynamic framework for intelligent inspection | CAD (Computer Aided Design) typically involves the design, manufacture and inspection of a mechanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design, and perhaps a manufacturing process, for the part. We pr... | CAD; Discrete event dynamic systems; DEDS | 1992 |
11 |
|
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic framwork for intelligent inspection | CAD Computer Aided Design typically involves the design manufacture and inspection of a me chanical part. The problem of reverse engineering is to take an existing mechanical part as the point of departure and to inspect or produce a design and perhaps a manufacturing process for the part. ... | CAD; Manufacture; Inspection; Intelligent inspection | 1992 |
12 |
|
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic recursive structure for intelligent exploration | We suggest a new approach for inspection and reverse engineering applications. In particular, we investigate the use of discrete event dynamic systems (DEDS) to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering. We introduce dy... | Intelligent exploration; Discrete event dynamic systems; DEDS; Dynamic recursive finite state machines; DRFSM | 1992 |
13 |
|
Sobh, Tarek M.; Henderson, Thomas C. | A dynamic recursive structure for intelligent inspection | We suggest a new approach for inspection and reverse engineering applications. In particular we investigate the use of discrete event dynamic systems DEDS to guide and control the active exploration and sensing of mechanical parts for industrial inspection and reverse engineering?? We introduce... | Intelligent inspection; Discrete event dynamic systems; DEDS; Industrial inspection; Dynamic recursive structure | 1992 |
14 |
|
Warner, Homer R. | A Mathematical Approach to Medical Diagnosis: Application to Congenital Heart Disease | Biomedical Informatics | | 1992 |
15 |
|
Cohen, Elaine | Adaptive isocurves based rendering for freeform surfaces | Freeform surface rendering is traditionally performed by approximating the surface with polygons and then rendering the polygons. This approach is extremely common because of the complexity in accurately rendering the surfaces directly. Recently, several papers presented methods to render surfaces ... | Freeform surface rendering; Isocurves | 1992 |
16 |
|
Cohen, Elaine | Adaptive isocurves based rendering for freeform surfaces | Freeform surface rendering is traditionally performed by approximating the surface with polygons and then rendering the polygons This approach is extremely common because of the complexity in accurately rendering the surfaces directly Recently?? several papers presented methods to render surface... | Freeform surface rendering; Isocurves | 1992 |
17 |
|
McDaniel, Susan | Alice in demographyland: how it looks from the other side of the looking glass | The challenges are many in reflecting on women in demography in Canada in the 1990's. On the one hand, so much is known about women in academia and the hurdles that still need to be overcome " institutionally and intellectually. So much more research exists in the area than it did only a decade ago.... | Women; Universities; Academic life | 1992 |
18 |
|
Mathews, V. John | An efficient algorithm for joint estimation of differential time delays and frequency offsets | ABSTRACT This paper introduces an efficient algorithm that jointly estimates differential time delays and frequency offsets between two signals. The approach is a two-step procedure. First, the differential frequency offsets are estimated from measurement of the autocorrelation functions of the rec... | | 1992 |
19 |
|
Miller, Jan D. | Applications of X-ray computed tomography in particulate systems | X-ray computed tomography (CT) is an ideal technique for investigating the internal structure of multiphase materials in a noninvasive and nondestructive manner. CT technology used in conjunction with specialized algorithms and advanced computer facilities can be used to provide quantitative informa... | Algorithms; Beam; Intensity | 1992 |
20 |
|
Battin, Margaret P. | Assisted suicide: can we learn from Germany? | As the United States' public discussion of euthanasia and assisted suicide grows increasingly volatile, our interest in the Netherlands--the only country that openly permits the practice of euthanasia--has grown enormously. How do they do it? we ask. What drugs do they use? How many cases of euthan... | Assisted suicide; Netherlands; Right to die | 1992 |
21 |
|
Gopalakrishnan, Ganesh | Asynchronous circuit verification using trace theory and CCS | We investigate asynchronous circuit verification using Dill's trace theory as well as Milner's CCS (as mechanized by the Concurrency Workbench). Trace theory is a formalism specifically designed for asynchronous circuit specification and verification. CCS is a general purpose calculus of communicat... | Trace theory; Verification; CCS | 1992 |
22 |
|
Stevens, Kenneth | Automatic synthesis of fast, compact self-timed control | An automated synthesis tool, called the Most Excellent Asynchronous Tool, or MEAT is presented. This tool has been used to specify and synthesize self-timed circuits for a fully self-timed 300,000 transistor communication co-processor. The Specification is done with stylized state diagrams. This is ... | | 1992 |
23 |
|
Sobh, Tarek M. | Autonomous Observation | We address the problem of observing an agent. We advocate a modeling approach for the visual system and its observer, where a discrete event dynamic system (DEDS) framework is developed and "events" are defined as ranges on parameter subsets. The dynamic recursive context for finite state machines (... | Observation; Manipulation process | 1992 |
24 |
|
Sobh, Tarek M. | Autonomous observation | We address the problem of observing an agent?? We advocate a modeling approach for the visual system and its observer where a discrete event dynamic system DEDS framework is developed and events are de ned as ranges on parameter subsets?? The dynamic recursive context for nite state machine... | Autonomous observation | 1992 |
25 |
|
Johnston, Susan S. | Beginning augmentative communication systems | To be unable to produce communicative behavior that can be understood by others represents one of the most frustrating experiences imaginable. Communicating through a communication board or with gestures lessens this frustration but does not eliminate it. Since 1975, remarkable advances have been ma... | Intervention; Challenging behavior; Symbols | 1992 |