A molecular orbital theoretical study on the acid-base property and reactivity of the charge relay system in alpha chymotrypsin

The disintegration of the nuclear envelope has been examined in nuclei and nuclear envelopes isolated from amphibian oocytes from amphibian oocytes and rat liver tissue, using different electron microscope techniques (ultrathin sections and negatively or positively stained spread preparations). Various treatments were studied, including disruption by surface tension forces, very low salt concentrations, and nonionic detergents such as Triton C-100 and Nonidet P-40. The highest local stability of the cylinders of nonmembranous pore complex material is emphasized. As progressive disintegration occurred in the membrane regions, a network of fibrils became apparent which interconnects the pore complexes and is distinguished from the pore complex-associated about 15-20 nm thick, located at the level of the inner nuclear membrane, which is recognized in thin sections to bridge the interpore distances. With all disintegraiton treatments a somewhat higher susceptibility of the outer nuclear membrane is notable, but a selective removal does not take place. Final stages of disintegration are generally characterized by the absence of identifiable, membrane-like structures. Analysis of detergent-treated nuclei and nuclear membrane fractions shows almost complete absence of lipid components but retention bo significant amount of glycoproteins with a typical endomembrane-type carbohydrate pattern. Various alternative interpretations of these observations are discussed. From the present observations and those of Aaronson and Blobel (1,2), we favor the notion that threadlike intrinsic membrane components are stabilized by their attachment to the pore complexes, and perhaps also to peripheral nuclear structures,and constitute a detergent-resistant, interpore skeleton meshwork.     

Prostaglandin-F-levels in human plasma during late pregnancy and labour (author's transl)

The concentrations of prostaglandin F-equivalents were measured in peripheral plasma during labour at a cervical dilatation of 5 cm and at complete dilatation. After purification, extraction and chromatography the PGF-equivalents were measured radioimmunologically. The intraassay variation was 1.5%, the interassay variation 3.5%. The specificity for PGF was 96-98%. Logit/log transformation of the standardcurve yielded a sensitivity of the assay of 120 pg. At cervical dilatation of 5 cm PGF-equivalents varied between 1300 and 3200 pg/ml plasma. At complete dilatation values changed between 1200 and 5400 pg/ml. These fluctuations correlate timedepending to the uterine contractions recorded and may be interpreted as a result of uterine PGF-release.     

Fast,iterative image reconstruction for MRI in the presence of field inhomogeneities

In magnetic resonance imaging, magnetic field inhomogeneities cause distortions in images that are reconstructed by conventional fast Fourier trasform (FFT) methods. Several noniterative image reconstruction methods are used currently to compensate for field inhomogeneities, but these methods assume that the field map that characterizes the off-resonance frequencies is spatially smooth. Recently, iterative methods have been proposed that can circumvent this assumption and provide improved compensation for off-resonance effects. However, straightforward implementations of such iterative methods suffer from inconveniently long computation times. This paper describes a tool for accelerating iterative reconstruction of field-corrected MR images: a novel time-segmented approximation to the MR signal equation. We use a min-max formulation to derive the temporal interpolator. Speedups of around 60 were achieved by combining this temporal interpolator with a nonuniform fast Fourier transform with normalized root mean squared approximation errors of 0.07%. The proposed method provides fast, accurate, field-corrected image reconstruction even when the field map is not smooth.     

A verification tool for ERLANG

This paper presents an overview of the main results of the project Verification of ERLANG Programs , which is funded by the Swedish Business Development Agency (NUTEK) and by Ericsson within the ASTEC (Advanced Software TEChnology) initiative. Its main outcome is the ERLANG Verification Tool (EVT), a theorem prover which assists in obtaining proofs that ERLANG applications satisfy their correctness requirements formulated as behavioural properties in a modal logic with recursion. We give a summary of the verification framework as supported by EVT, discuss reasoning principles essential for successful proofs such as inductive and compositional reasoning, and an efficient treatment of side-effect-free code. The experiences of applying the tool in an industrial case study are summarised, and an approach for supporting verification in the presence of program libraries is outlined.EVT is essentially a classical proof assistant, or theorem-proving tool, requiring users to intervene in the proof process at crucial steps such as stating program invariants. However, the tool offers considerable support for automatic proof discovery through higher-level tactics tailored to the particular task of the verification of ERLANG programs. In addition, a graphical interface permits easy navigation through proof tableaux, proof reuse, and meaningful feedback about the current proof state, to assist users in taking informed proof decisions.     

Design of a flight control architecture using a non-convex bundle method

We design a feedback control architecture for longitudinal flight of an aircraft. The multi-level architecture includes the flight control loop to govern the short-term dynamics of the aircraft, and the autopilot to control the long-term modes. Using $H_\infty $ performance and robustness criteria, the problem is cast as a non-convex and non-smooth optimization program. We present a non-convex bundle method, prove its convergence, and show that it is apt to solve the longitudinal flight control problem.     

The XTS-AES Disk Encryption Algorithm and the Security of Ciphertext Stealing

Abstract

This paper describes the importance of the XTS-AES encryption mode of operation and concludes with a new proof for the security of ciphertext stealing as used by XTS-AES. The XTS-AES mode is designed for encrypting data stored on hard disks where there is not additional space for an integrity field. Given this lack of space for an integrity field, XTS-AES builds on the security of AES by protecting the storage device from many dictionary and copy/paste attacks. The operation of the XTS mode of AES is defined in the IEEE 1619-2007 standard [3 IEEE Std 1619–2007 . April 18, 2008 . The XTS-AES Tweakable Block Cipher. Institute of Electrical and Electronics Engineers, Inc.  [Google Scholar]], and has been adopted by the U.S. National Institute of Standards and Technology (NIST) as an approved mode of operation under FIPS 140-2 [2 Dworkin , M. December 2009 . NIST SP 800-38E, “Recommendation for Block Cipher Modes of Operation: The XTS-AES Mode for Confidentiality on Storage Devices”.  [Google Scholar]]. XTS-AES builds on the XEX (Xor-Encrypt-Xor) mode originally proposed by Rogaway [8 Rogaway , P. 2004 . Efficient Instantiations of Tweakable Block ciphers and Refinements to Modes OCB and PMAC. Advances in Cryptology–Asiacrypt 2004, Lecture Notes in Computer Science, vol. 3329, Springer-Verlag, pp. 16–31. Available at http://www.cs.ucdavis.edu/rogaway/papers/offsets.pdf (Accessed 6 January 2012) . [Google Scholar]].     

An EM algorithm for dynamic SPECT

In this paper we present two variants of the EM algorithm for dynamic SPECT imaging. A version based on compartmental modeling which fits a sum of exponentials and a more general approach allowing for arbitrary decaying activities. The underlying probabilistic models are discussed and the incomplete and complete data spaces are shown to be physically meaningful. We indicate that the second method, leading to a convex program in the M step, is easier to treat numerically and we present a possible numerical approach. Some preliminary numerical tests indicating the feasibility of the method are included.