due to its critical impact and significant destructive nature during and after seismic events, soil liquefaction and liquefactioninduced lateral ground spreading have been increasingly important topics in the geotechnical earthquake engineering field during the past four decades. the aim of this research is to develop an empirical model for the assessment of liquefaction-induced lateral ground ...

variation of the branches of the external carotid artery (eca) is well known, but it is extremely rare for the occipital artery (oa) to arise from the internal carotid artery (ica). a 87-year-old man was found to have this anatomical variation on the right side by threedimensional computed tomography angiography for vascular mapping of the carotid arteries before superselective intra-arterial c...

One goal of many introductory software engineering courses is to simulate realistic software engineering. Unfortunately, many of the practical constraints of typical courses are antithetical to that goal: instead of working in large teams on large projects, dealing with changing requirements and maintaining programs over many years, courses generally involve students working alone or in small t...

This work describes a semantic extension for a user-smart object interaction model based on the ECA paradigm (Event-Condition-Action). In this approach, smart objects publish their sensing (event) and action capabilities in the cloud and mobile devices are prepared to retrieve them and act as mediators to configure personalized behaviours for the objects. In this paper, the information handled ...

XML is a now a dominant standard for storing and exchanging information With its increasing use in areas such as data warehousing and e commerce there is a rapidly growing need for rule based technology to support reactive functionality on XML repositories Event condition action ECA rules automatically perform actions in response to events and are a natural facility to support such functionalit...

Ubiquitous computing network comprises a variety of distributed service devices. Today Web services technology enables the heterogeneous devices to provide their own services and interact with each other via well-defined Internet protocol. Nevertheless, service devices in ubiquitous environments require more eventdriven, autonomous interaction beyond rather passive serviceoriented architecture ...

OBJECTIVES/HYPOTHESIS To evaluate the transoral anatomy of the tonsillar fossa and lateral pharyngeal wall and to correlate these findings with radiographic measurements and transoral robotic surgery (TORS) of patients with early tonsillar tumor. STUDY DESIGN Preclinical cadaveric study and patient cohort. METHODS Six complete cadaveric dissections were performed to identify key anatomic la...

Event clock automata (ECA) are a model for timed languages that has been introduced by Alur, Fix and Henzinger as an alternative to timed automata, with better theoretical properties (for instance, ECA are determinizable while timed automata are not). In this paper, we revisit and extend the theory of ECA. We first prove that no finite time abstract language equivalence exists for ECA, thereby ...