Myocardium wall thickness transducer and measuring method

A miniature transducer for measuring changes of thickness of the myocardium is described. The device is easily implantable without traumatizing the subject, without affecting the normal muscle behavior, and is removable and implantable at a different muscle location. Operating features of the device are described

Catheter tip force transducer for cardiovascular research

A force transducer for measuring dynamic force activity within the heart of a subject essentially consists of a U-shaped beam of low elastic compliance material. Two lines extend from the beams's legs and a long coil spring is attached to the beam. A strain gauge is coupled to one of the beam's legs to sense deflections thereof. The beam with the tines and most of the spring are surrounded by a flexible tube, defining a catheter, which is insertable into a subject's heart through an appropriate artery. The tines are extractable from the catheter for implantation into the myocardium by pushing on the end of the spring which extends beyond the external end of the catheter

The Starburst in the Central Kiloparsec of Markarian 231

We present VLBA observations at 0.33 and 0.61 GHz, and VLA observations between 5 and 22 GHz, of subkiloparsec scale radio emission from Mrk 231. In addition to jet components clearly associated with the AGN, we also find a smooth extended component of size 100 - 1000 pc most probably related to the purported massive star forming disk in Mrk 231. The diffuse radio emission from the disk is found to have a steep spectrum at high frequencies, characteristic of optically thin synchrotron emission. The required relativistic particle density in the disk can be produced by a star formation rate of 220 Msolar/yr in the central kiloparsec. At low frequencies the disk is absorbed, most likely by ionized gas with an emission measure of 8 x 10^5 pc cm-6. We have also identified 4 candidate radio supernovae that, if confirmed, represent direct evidence for ongoing star formation in the central kiloparsec.Comment: in press at ApJ for v. 519 July 1999, 14 page LaTeX document includes 6 postscript figure

Lower Cretaceous Pre-Batholithic Rocks of Northern Baja California, Mexico

Cretaceous fossils have been found at scattered localities in the pre-batholithic metamorphic rocks of northern Baja California by investigators during the past half-century. The resulting information has been inadequate, however, for the explanation of regional stratigraphic and structural relations, particularly those correlations between the less metamorphosed coastal sections and the more deformed rocks of the mountainous interior

An inquiry-based learning approach to teaching information retrieval

The study of information retrieval (IR) has increased in interest and importance with the explosive growth of online information in recent years. Learning about IR within formal courses of study enables users of search engines to use them more knowledgeably and effectively, while providing the starting point for the explorations of new researchers into novel search technologies. Although IR can be taught in a traditional manner of formal classroom instruction with students being led through the details of the subject and expected to reproduce this in assessment, the nature of IR as a topic makes it an ideal subject for inquiry-based learning approaches to teaching. In an inquiry-based learning approach students are introduced to the principles of a subject and then encouraged to develop their understanding by solving structured or open problems. Working through solutions in subsequent class discussions enables students to appreciate the availability of alternative solutions as proposed by their classmates. Following this approach students not only learn the details of IR techniques, but significantly, naturally learn to apply them in solution of problems. In doing this they not only gain an appreciation of alternative solutions to a problem, but also how to assess their relative strengths and weaknesses. Developing confidence and skills in problem solving enables student assessment to be structured around solution of problems. Thus students can be assessed on the basis of their understanding and ability to apply techniques, rather simply their skill at reciting facts. This has the additional benefit of encouraging general problem solving skills which can be of benefit in other subjects. This approach to teaching IR was successfully implemented in an undergraduate module where students were assessed in a written examination exploring their knowledge and understanding of the principles of IR and their ability to apply them to solving problems, and a written assignment based on developing an individual research proposal

Chebyshev approach to quantum systems coupled to a bath

We propose a new concept for the dynamics of a quantum bath, the Chebyshev space, and a new method based on this concept, the Chebyshev space method. The Chebyshev space is an abstract vector space that exactly represents the fermionic or bosonic bath degrees of freedom, without a discretization of the bath density of states. Relying on Chebyshev expansions the Chebyshev space representation of a bath has very favorable properties with respect to extremely precise and efficient calculations of groundstate properties, static and dynamical correlations, and time-evolution for a great variety of quantum systems. The aim of the present work is to introduce the Chebyshev space in detail and to demonstrate the capabilities of the Chebyshev space method. Although the central idea is derived in full generality the focus is on model systems coupled to fermionic baths. In particular we address quantum impurity problems, such as an impurity in a host or a bosonic impurity with a static barrier, and the motion of a wave packet on a chain coupled to leads. For the bosonic impurity, the phase transition from a delocalized electron to a localized polaron in arbitrary dimension is detected. For the wave packet on a chain, we show how the Chebyshev space method implements different boundary conditions, including transparent boundary conditions replacing infinite leads. Furthermore the self-consistent solution of the Holstein model in infinite dimension is calculated. With the examples we demonstrate how highly accurate results for system energies, correlation and spectral functions, and time-dependence of observables are obtained with modest computational effort.Comment: 18 pages, 13 figures, to appear in Phys. Rev.

Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks

Deep neural networks have emerged as a widely used and effective means for tackling complex, real-world problems. However, a major obstacle in applying them to safety-critical systems is the great difficulty in providing formal guarantees about their behavior. We present a novel, scalable, and efficient technique for verifying properties of deep neural networks (or providing counter-examples). The technique is based on the simplex method, extended to handle the non-convex Rectified Linear Unit (ReLU) activation function, which is a crucial ingredient in many modern neural networks. The verification procedure tackles neural networks as a whole, without making any simplifying assumptions. We evaluated our technique on a prototype deep neural network implementation of the next-generation airborne collision avoidance system for unmanned aircraft (ACAS Xu). Results show that our technique can successfully prove properties of networks that are an order of magnitude larger than the largest networks verified using existing methods.Comment: This is the extended version of a paper with the same title that appeared at CAV 201

Calculation of Densities of States and Spectral Functions by Chebyshev Recursion and Maximum Entropy

We present an efficient algorithm for calculating spectral properties of large sparse Hamiltonian matrices such as densities of states and spectral functions. The combination of Chebyshev recursion and maximum entropy achieves high energy resolution without significant roundoff error, machine precision or numerical instability limitations. If controlled statistical or systematic errors are acceptable, cpu and memory requirements scale linearly in the number of states. The inference of spectral properties from moments is much better conditioned for Chebyshev moments than for power moments. We adapt concepts from the kernel polynomial approximation, a linear Chebyshev approximation with optimized Gibbs damping, to control the accuracy of Fourier integrals of positive non-analytic functions. We compare the performance of kernel polynomial and maximum entropy algorithms for an electronic structure example.Comment: 8 pages RevTex, 3 postscript figure

Growth Endocrine Axis and Bovine Chromosome 5: Association of SNP Genotypes and Reproductive Phenotypes in an Angus, Brahman and Romosinuano Diallele

The growth endocrine axis influences reproduction. A QTL associated with enhanced ovulation exists on chromosome 5 in cattle and there are 6 genes underlying this region involved in the mechanisms of GH action. Resequencing exons, 5’ and 3’ untranslated regions and conserved non-coding regions of these genes in a multibreed resource population revealed 75 SNP usable for genotype to phenotype association studies. In the current study, phenotypes included age at first calving, calving interval, days to calving, and pregnancy rate. Data were collected from developing heifers (n = 650) of a diallele composed of Angus, Brahman, and Romosinuano breeds. A SNP in the promoter of the signal transducer and activator of transcription (STAT)2 gene, which is a second messenger of GH, had minor allele frequency \u3e 10% across the three breeds. This SNP did not deviate from Hardy- Weinberg equilibrium (X2 = 1.00, P \u3e 0.31), so deemed useful for genotype to phenotype association analyses. Since the remaining SNP appeared to predict breed, they were used to correct for population stratification using STRUCTURE, which revealed three distinctive ancestral clusters. No significant association was detected between the STAT2 genotype and reproductive traits in mixed effects analyses using genotype as a fixed term, sire as a random term, and coefficient of ancestry as a covariate; however, the interaction of SNP genotype and ancestral cluster was associated with the traits days to calving (P \u3c 0.05) and calving interval (P \u3c 0.10). Interaction plots revealed a higher estimated effect of heterozygous genotype in cluster 1 (inferred primarily from Brahman) and lower estimates in clusters 2 and 3 (inferred primarily from Bos taurus). The heterozygous genotype extended these trait levels ~100 d. A SNP in the promoter of the STAT2 gene was associated with fertility trait levels in admixed cows of the breeds Angus, Brahman, and Romosinuano. The effect appeared to be a non-additive genetic relationship as heterozygous genotype extended levels of traits indicative of postpartum rebreeding