This work introduces a novel method of automating the process of patient-specific finite element (FE) model development using a mapped mesh technique. The objective is to map a predefined mesh (template) of high quality directly onto a new bony surface (target) definition, thereby yielding a similar mesh with minimal user interaction. To bring the template mesh into correspondence with the targ...

We study mapped mass-lumped edge elements for approximating a three-dimensional scattering problem. The elements are mapped Mur-Nrdrlec second kind elements and the scheme is designed to handle anisotropic, inhomogeneous scatterers with moderately complicated geometry. A novel aspect of the scheme is the use of an unusual choice of the magnetic field finite element that results in a very effici...

The Prokof’ev Svistunov worm algorithm was originally developed for models with nearest neighbor interactions that in a high temperature expansion are mapped to systems of closed loops. In this work we present the surface worm algorithm (SWA) which is a generalization of the worm algorithm concept to abelian Gauge-Higgs models on a lattice which can be mapped to systems of surfaces and loops (d...

The article presents a method of constructing and applying a cascade consisting of a leftand a right-sequential finite-state transducer, and , for part-of-speech disambiguation. In the process of POS tagging, every word is first assigned a unique ambiguity class that represents the set of alternative tags that this word can occur with. The sequence of the ambiguity classes of all words of one s...

Requirements about the quality of medical guidelines can be represented using schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-oriented aspects expressed in a guideline. Previously we have shown that these requirements can be verified using interactive theorem proving techniques [HLB04]. In this paper, we investigate how this approach can be mappe...