Zinc based alloys have recently attracted great attention as promising biodegradable metals. Zinc exhibits moderate degradation rates in biological fluid and the zinc releases during the degradation process is considered safe to human systems. However, these materials exhibit critical limitations in terms of mechanical properties for medical applications. Adding alloying elements as well as gra...

A number of planar deformation mechanisms, such as microtwinning, a[112] dislocation ribbon, and superlattice intrinsic and superlattice extrinsic stacking fault formation, can operate during the intermediate temperature deformation of nickle-based superalloys. The fundamental, rate-limiting processes controlling these deformation mechanisms are not fully understood. It has been recently postul...

The paper introduces a software architecture for the specification and verification of knowledge-based systems combining conceptual and formal techniques. Our focus is component-based specification enabling their reuse. We identify four elements of the specification of a knowledge-based system: a task definition, a problem-solving method, a domain model, and an adapter. We present algebraic spe...

With the growing use of wireless networks and mobile devices, we are moving towards an era where location information will be necessary for access control. The use of location information can be used for enhancing the security of an application, and it can also be exploited to launch attacks. For critical applications, a formal model for location-based access control is needed that increases th...

Regularization methods are commonly used in X-ray CT image reconstruction. Different regularization methods reflect the characterization of different prior knowledge of images. In a recent work, a new regularization method called a low-dimensional manifold model (LDMM) is investigated to characterize the low-dimensional patch manifold structure of natural images, where the manifold dimensionali...

In this paper we present a new way of measuring brain variability based on the registration of sulcal lines sets in the large deformation framework. Lines are modelled geometrically as currents, avoiding then matchings based on point correspondences. At the end we retrieve a globally consistent deformation of the underlying brain space that best matches the lines. Thanks to this framework the m...

We present a novel parallel algorithm to animate the deformation of a soft body in response to collision. Our algorithm incorporates elements of physically-based methods, and at the same time, it allows artistic control of general deformation behavior. Our solver has important benefits for practical use, such as evaluation of animation frames in an arbitrary order, effective approximation of vo...

A cloth simulation system must generate a human body model based on measured data obtained from range data. We propose modeling and deformation methods based on such data. In our system, the human body is modeled by layered metaballs which correspond to the horizontal cross section of the body. For each cross section, metaballs are generated by measured sample points on the boundary of the cros...

Deformation-based Morphometry (DBM) allows detection of signi cant morphological di erences of brain anatomy, such as those related to brain atrophy in Alzheimer's Disease (AD). DBM process is as follows: First, performs the non-linear registration of a subject's structural MRI volume to a reference template. Second, computes scalar measures of the registration's deformation eld. Third, perform...

Based on a paper from Heeren et al. this report presents a method of finding a natural deformation between two shapes with a given correspondence. It is based on minimizing an energy function derived from results of elasticity theory. Different than other algorithms this energy has only parameters with concrete physical meanings. Furthermore proper discretization methods are presented. The resu...