Parallel and Symbolic Model Checking for Fixpoint Logic with Chop

We consider the model checking problem for FLC, a modal fixpoint logic capable of defining non-regular properties. This paper presents a refinement of a symbolic model checker and discusses how to parallelise this algorithm. It reports on a prototype implementation of the algorithm in Glasgow Parallel Haskell (GpH) and its performance on a cluster of workstations.     

Comparing Parallel Functional Languages: Programming and Performance

This paper presents a practical evaluation and comparison of three state-of-the-art parallel functional languages. The evaluation is based on implementations of three typical symbolic computation programs, with performance measured on a Beowulf-class parallel architecture.We assess three mature parallel functional languages: PMLS, a system for implicitly parallel execution of ML programs; GPH, a mainly implicit parallel extension of Haskell; and Eden, a more explicit parallel extension of Haskell designed for both distributed and parallel execution. While all three languages employ a completely implicit approach to communication, each language takes a different approach to specifying and controlling parallelism, ranging from explicit identification of processes as language constructs (Eden) through annotation of potential parallelism (GPH) to automatic detection of parallel skeletons in sequential code (PMLS).We present detailed performance measurements of all three systems on a widely available parallel architecture: a Beowulf cluster of low-cost commodity workstations. We use three representative symbolic applications: a matrix multiplication algorithm, an exact linear system solver, and a simple ray-tracer. Our results show how moderate speedups can be achieved with little or no changes to the sequential code, and that parallel performance can be significantly improved even within our high-level model of parallel functional programming by controlling key aspects of the program such as load distribution and thread granularity.     

Spatial Non-Cyclic Geometric Phase in Neutron Interferometry

We present a split-beam neutron interferometric experiment to test the non-cyclic geometric phase tied to the spatial evolution of the system: the subjacent two-dimensional Hilbert space is spanned by the two possible paths in the interferometer and the evolution of the state is controlled by phase shifters and absorbers. A related experiment was reported previously by some of the authors to verify the cyclic spatial geometric phase. The interpretation of this experiment, namely to ascribe a geometric phase to this particular state evolution, has met severe criticism. The extension to non-cyclic evolution manifests the correctness of the interpretation of the previous experiment by means of an explicit calculation of the non-cyclic geometric phase in terms of paths on the Bloch-sphere. The theoretical treatment comprises the cyclic geometric phase as a special case, which is confirmed by experiment.     

Microscopic State of Low Doped Manganites La1 − xSrxMnO3 Probed by ESR

The electron spin resonance (ESR) measurements were performed in single crystals of La_{1 ? x} Sr _x MnO₃ (0.05 ≤ x ≤ 0.125) in order to study the interplay of crystal field, Dzyaloshinsky–Moriya interaction, Jahn–Teller (JT) effect, and orbital order. The angular dependence of the ESR linewidth of an untwinned La_0.95Sr_0.05MnO₃ single crystal has been analyzed in the high-temperature approximation, which takes into account the microscopic geometry of the four nonequivalent Mn positions in the orthorhombic unit cell. A strong mixing of the |3z ² ? r ²> and |x ² ? y ²> states for the real orbital configuration was found. Magnetic inhomogeneities observed in the ESR spectra across the composition range 0.075 ≤ x ≤ 0.125 can be attributed to the presence of ferromagnetic clusters (magnetic spin polarons) in the paramagnetic state. New polaronic models are proposed.     

Solid‐Supported Biomolecules on Modified Silica Surfaces—A Tool for Fast Physicochemical Characterization and High‐Throughput Screening

Biofunctionalization for a wide variety of applications can be achieved by coating silica surfaces with biomolecules such as lipids or proteins. However, specific surface optimization of the inorganic SiO₂ is necessary to achieve biocompatible surfaces. Surface shielded porous silica beads can be non‐covalently coated with a single lipid bilayer. The lipids retain their fluidity in this handy solid‐supported system, perfectly mimicking the soft‐surface properties of cellular membranes. A supramolecular architecture can also be used for functional immobilization of membrane proteins: An artificial cytosolic compartment can be created with the aid of polymers; coating by lipid membranes and integration of membrane proteins results in a solid‐supported biofunctional cellular surface. Another surface modification enables a direct immobilization of human serum albumin (HSA) molecules onto silica surfaces. The HSA on this otherwise passivated surface provides a convenient material for the investigation of unspecific protein binding of pharmaceuticals on a high‐throughput scale.     

Feasibility study of absolute activity measurement with metallic magnetic microcalorimeters

We report on a feasibility study on precise determination of mass-specific activity of low-energy emitting radioisotopes. Conventional methods of activity measurement suffer from source self-absorption and a strong decrease in detection efficiency for low-energy electrons and photons. We propose a new method based on metallic magnetic microcalorimeters with the source embedded in the detector target in a 4π geometry. First results with a ⁵⁵Fe source show that electrons and photons are detected with a detection efficiency close to unity and with little loss of energy for electrons. The aim of this study is to provide standards of activity with very low uncertainties in the framework of radiation metrology.     

A Novel Type of Absorber Presenting a Constant Detection Efficiency for up to 25 keV X-Ray Photons

A novel type of absorber, dedicated to cryogenic detectors, was conceived to reach a high and constant intrinsic detection efficiency (>98%) for up to 25?keV X-ray photons. The absorber consists of two layers having a different atomic number?Z. The role of the first layer (large?Z) is to make negligible the transmission through the absorber; while the second layer (medium?Z) has to reabsorb the escape photons from the first layer. A?metallic magnetic calorimeter was realized with an Au-Ag absorber. The required thicknesses of both layers were determined using Monte Carlo simulation of the efficiency. To show the advantages of such a detector, its efficiency and its energy resolution are compared to the efficiency and energy resolution of a gold absorber using a ²⁴¹Am source.     

Dielectric spectroscopy in SrTiO3

The purpose of this report is to present two cases of natal and neonatal teeth including discussion on the various features concerning these conditions as well as the possible management strategies. The first case is a natal tooth in a newborn Saudi girl while the second case is two neonatal teeth in a Saudi boy.