1 - 25 of 136
Number of results to display per page
CreatorTitleDescriptionSubjectDate
1 Morse, Michael DavidThe 3d?Ni(?F)3d10Cu???*? manifold of excited electronic states of NiCuDiatomic 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 DavidThe 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 DavidThe ?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 algorithmThe 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 algorithm1992
5 Evans, John; Kessler, Robert R.A communication-ordered task graph allocation algorithmThe 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 model1992
6 Brunvand, Erik L.; Smith, Kent F.A comparison of self-timed design using FPGA, CMOS, and GaAs technologiesAsynchronous 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 optimizationIn 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 validation1992
8 Gopalakrishnan, GaneshA correctness criterion for asynchronous circuit validation and optimizationWe 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; Optimization1992
9 A distributed garbage collection algorithmConcurrent 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 algorithm1992
10 Sobh, Tarek M.A dynamic framework for intelligent inspectionCAD (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; DEDS1992
11 Sobh, Tarek M.; Henderson, Thomas C.A dynamic framwork for intelligent inspectionCAD 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 inspection1992
12 Sobh, Tarek M.; Henderson, Thomas C.A dynamic recursive structure for intelligent explorationWe 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; DRFSM1992
13 Sobh, Tarek M.; Henderson, Thomas C.A dynamic recursive structure for intelligent inspectionWe 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 structure1992
14 Warner, Homer R.A Mathematical Approach to Medical Diagnosis: Application to Congenital Heart DiseaseBiomedical Informatics1992
15 Cohen, ElaineAdaptive isocurves based rendering for freeform surfacesFreeform 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; Isocurves1992
16 Cohen, ElaineAdaptive isocurves based rendering for freeform surfacesFreeform 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; Isocurves1992
17 McDaniel, SusanAlice in demographyland: how it looks from the other side of the looking glassThe 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 life1992
18 Mathews, V. JohnAn efficient algorithm for joint estimation of differential time delays and frequency offsetsABSTRACT 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 systemsX-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; Intensity1992
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 die1992
21 Gopalakrishnan, GaneshAsynchronous circuit verification using trace theory and CCSWe 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; CCS1992
22 Stevens, KennethAutomatic synthesis of fast, compact self-timed controlAn 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 ObservationWe 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 process1992
24 Sobh, Tarek M.Autonomous observationWe 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 observation1992
25 Johnston, Susan S.Beginning augmentative communication systemsTo 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; Symbols1992
1 - 25 of 136