Introduction: Peripheral reactive lesions of soft tissue are common oral lesions that dentists face during routine examinations. Diagnosis and development of a treatment plan is difficult if dentists are not aware of the prevalence and clinical symptoms of these lesions. The frequency of these lesions differs across various populations. The aim of this study was to determine the frequency and d...

Reactive force fields provide an affordable model for simulating chemical reactions at a fraction of the cost quantum mechanical approaches. However, classically accounting reactivity often comes expense accuracy and transferability, while computational is still large relative to nonreactive fields. In this Perspective, we summarize recent efforts improving performance reactive in these three a...

Intelligent control and asset management for the petroleum industry is crucial for profitable oil and gas facilities operation and maintenance. A research program was initiated to study the feasibility of an intelligent asset management system for the offshore oil and gas industry in Atlantic Canada. The research program has achieved several milestones. The conceptual model of an automated asse...

We have developed a software framework for the creation of live performance simulations by non-technologists. This is a toolkit for simulating various types of cultural performances using motion capture, 3D animation, virtual reality, and reactive agents. The software allows the developer to define the components of a performance such as actors, audience members, and venue using a standard scor...

In the context of safety-critical systems, which are real-time reactive systems, testing process must be integrated with the software development process as a whole, not just with the end product. Consequently, measuring the efficiency of the testing process emerges as an important issue. To be accurate and meaningful, both the measurement and the components to be measured must be precisely des...

ion and Modular Verification of Infinite-State Reactive Systems ⋆ Zohar Manna, Michael A. Colón, Bernd Finkbeiner, Henny B. Sipma and Tomás E. Uribe Computer Science Department Stanford University Stanford, CA. 94305-9045 [email protected] Abstract. We review a number of temporal verification techniques for reactive systems using modularity and abstraction. Their use allows the verification...

Existing approaches to software security and reliability have proven inadequate in offering a good tradeoff between the assurance, reliability, availability, and performance. We argue that reactive protection mechanisms need to be added to our panoply of defenses. Furthermore, we argue that such mechanisms need to be much more invasive than previously envisioned. We discuss our approach to such...

In this paper, we propose a new paradigm for increasing the reliability of a software system by combining reactive and proactive approaches. The proposed approach employs rollback and restart for masking transient failures, and employs on-line software version change to remove faults from the software. A model for reliability analysis of a system employing the proposed approach is presented. Th...

We construct a reactive lattice-gas cellular automaton (LGCA) for reaction±di€usion systems and provide extensive discussion of its software coding aspects. The software coding aspects provide rationale for some choices in the construction of LGCA which has been inspired by molecular dynamics. Portability of the C language source code, of the data structures, and of the data formats is discusse...