Abstraction and slicing are both techniques for reducing the size of the state space to be inspected during verification. In the paper [1], we present a new model checking procedure for infinite-state concurrent systems that interleaves automatic abstraction refinement, which splits states according to new predicates obtained by Craig interpolation, with slicing, which removes irrelevant states...

A mathematical model of a continuous reheating furnace has been developed to identify the design and operating parameters that significantly affect furnace performance. In this study, the furnace is modeled 3 dimensionally and theMonte Carlomethod is used to find the overall absorption factor. The overall absorption factor is then used to calculate the energy balance for furnace walls, the gas,...

This paper investigates the characteristics of surface waves propagating on a grounded anisotropic dielectric slab. Distinct from the existing analyses that generally assume that the fields of surface wave uniformly distribute along the transverse direction of the infinitely large grounded slab, our method takes into account the field variations along the transverse direction of a finite-width ...

Slab-girder structures composed of steel girder and reinforced concrete slab are widely used in buildings and bridges in the world. Their advantages are largely based on the composite action through the shear connection between slab and girder. In order to assess the integrity of this kind of structures, numerous vibration-based damage identification methods have been proposed. In this study, a...

The morphology of the transition from flat to normal subduction in eastern central Mexico is explored using intraslab earthquakes recorded by temporary and permanent regional seismic arrays. Observations of a sharp transition in slab dip near the abrupt end of the Trans-Mexican Volcanic Belt (TMVB) suggest a possible slab tear located within the subducted South Cocos plate. The eastern lateral ...

In the present work, failure of a snow slab is analyzed by accounting Normal mode criteria. The analysis has been extended to include residual stress into the model (in addition to body forces). Intensity of crack energy release rate, and displacement components have been derived and their values have been estimated. The obtained results have been compared with the existing snow slab failure mo...

In this thesis we deal with two geometric optimization problems: Minimizing Absolute Gaussian Curvatue Locally in Meshes and the Solution path of the Slab Support Vector Machine. In the first part, we show that given a polygon C in R it is in general algebraically hard to find a point in R3\C at which the absolute Gaussian curvature with respect to C is minimized. By algebraically hard we mean ...

Key applications of quantum computing, including error correction, rely critically on the capability to measure (read out) state selected bits, without disturbing other qubits or terminating computation. Such $m\phantom{\rule{0}{0ex}}i\phantom{\rule{0}{0ex}}d\phantom{\rule{0}{0ex}}c\phantom{\rule{0}{0ex}}i\phantom{\rule{0}{0ex}}r\phantom{\rule{0}{0ex}}c\phantom{\rule{0}{0ex}}u\phantom{\rule{0}{...

Introduction: The need to detect small brain lesions and to reduce partial volume effects in fiber tractography has made high resolution isotropic 3D diffusion-weighted imaging (DWI) a research focus in diffusion acquisition methodology [1-4]. To achieve reasonable scan time, most of the proposed 3D DWI methods used steady-state free precession (SSFP) acquisition [1-3] which has a complicated d...