This contribution presents the formalism of Elementary Object Systems (Eos). Object nets are Petri nets which have Petri nets as tokens – an approach known as the nets-within-nets paradigm. Since object nets in general are immediately Turing complete, we introduce the restricted class of elementary object nets which restrict the nesting of nets to the depth of two. One central aim of this contr...

Elementary Object Systems (EOS) is a class of Object Petri Nets that follows the “nets-within-nets” paradigm. It combines several practical as well as theoretical properties for the needs of multi-agent-systems. However, it comes with some constraints that limit their expressiveness for automatic verification purposes due to the highly expressive nature of the underlying class of Petri nets. In...

change detection is process of identifying differences in the state of an object or phenomenon by observing it at different times when it can play an important role in regional planning. this study is an integration of remote sensing data and geographic information system in order to detect changes of land use/land cover around the bakhtegan lake in fars province from 1956 to 2007. after geomet...

background: localized alveolar ridge defect may create physiological and pathological problems. developments in surgical techniques have made it simpler to change the confi guration of a ridge to create a more aesthetic and more easily cleansable shape. the purpose of this study was to compare the effi cacy of alveolar ridge augmentation using a subepithelial connective tissue graft in pouch an...

OBJECTIVE To statistically analyze the long-term results of alar base reduction after rhinoplasty. METHODS Among a consecutive series of 100 rhinoplasty cases, 19 patients required alar base reduction. The mean (SD) follow-up time was 11 (9) months (range, 2 months to 3 years). Using preoperative and postoperative photographs, comparisons were made of the change in the base width (width of ba...

INTRODUCTION Maxillary premolars are often extracted to resolve incisor proclination in presurgical orthodontic treatment for severe skeletal Class III patients. The aim of this article was to compare arch-width changes and orthodontic tooth movements between maxillary premolar extraction and nonextraction modalities, and to provide an additional indication for presurgical maxillary premolar ex...

OBJECTIVE This paper introduces a robust, real-time system for detecting driver lane changes. BACKGROUND As intelligent transportation systems evolve to assist drivers in their intended behaviors, the systems have demonstrated a need for methods of inferring driver intentions and detecting intended maneuvers. METHOD Using a "model tracing" methodology, our system simulates a set of possible...

Abstract Climate change is a pervasive threat to biodiversity. While range shifts are known consequence of climate warming contributing regional community change, less about how species’ positions shift within their climatic niches. Furthermore, whether the relative importance different variables prompting such varies with changing remains unclear. Here we analysed four decades data for 1,478 s...