2,528 research outputs found
A recursive paradigm to solve Boolean relations
A Boolean relation can specify some types of flexibility of a combinational circuit that cannot be expressed with don't cares. Several problems in logic synthesis, such as Boolean decomposition or multilevel minimization, can be modeled with Boolean relations. However, solving Boolean relations is a computationally expensive task. This paper presents a novel recursive algorithm for solving Boolean relations. The algorithm has several features: efficiency, wide exploration of solutions, and customizable cost function. The experimental results show the applicability of the method in logic minimization problems and tangible improvements with regard to previous heuristic approaches
epsilon: A tool to find a canonical basis of master integrals
In 2013, Henn proposed a special basis for a certain class of master
integrals, which are expressible in terms of iterated integrals. In this basis,
the master integrals obey a differential equation, where the right hand side is
proportional to in space-time dimensions. An
algorithmic approach to find such a basis was found by Lee. We present the tool
epsilon, an efficient implementation of Lee's algorithm based on the Fermat
computer algebra system as computational backend.Comment: 34 pages; changed reference to fuchsi
Human performance control monitoring systems Interim report no. 2
Computer program to simulate second order servo system dynamics under automatic and manual contro
Recommended from our members
Surpassing Rayleigh limit: Fisher information analysis of partially coherent source(s)
Tsang et al. have shown that the Fisher information of the two incoherent point source separation, below the Rayleigh limit, is finite and achievable using optical modes measurements.(1) However, recent claims regarding partial coherence of sources, no matter how small, leads to necessarily zero Fisher information as the source separation decreases below the Rayleigh limit approaching zero have proved to be controversial.(2,3) Thus, the impact of partial coherence on the photon counting optical modal measurements merits further exploration. In this work, we derive the mutual coherence function (image plane) of two partially coherent point sources and find the classical Fisher information of the source separation using both direct image plane and photon counting modal measurements. A classical Fisher information analysis of partially coherent source(s) leads to some rather surprising results for two-point source resolution as the source separation approaches zero. We find that the magnitude of the Fisher information strongly depends on the degree of (positive/negative) partial coherence, which can be understood using an intuitive semi-classical analysis of direct image plane and photon counting modal measurements. We also provide an error analysis of the maximum likelihood estimators for both measurements.This item from the UA Faculty Publications collection is made available by the University of Arizona with support from the University of Arizona Libraries. If you have questions, please contact us at [email protected]
Multi-scale characterization of ceramic inert-substrate-supported and co-sintered solid oxide fuel cells
Understanding cell performance is essential for selecting cell components and the processing parameters for solid oxide fuel cells. The scale of relevant microstructural features in electrodes, electrolyte and supporting substrate covers several orders of magnitude. This contribution will demonstrate how advanced correlative multi-scale tomography can be used to identify those parameters: ranging from millimeter to nanometer scale. We employ optical microscopy, X-ray computed tomography (μ-CT), focused ion beam-scanning electron microscopy tomography and energy-dispersive X-ray spectroscopy– scanning transmission electron microscopy. Additional investigations by selected area electron diffraction allow a determination of the underlying crystal structures. An SOFC design based on the co-sintering of an inert substrate with various functional layers on top is used as a blueprint, allowing further methodological development. The effect of interdiffusion between phases and development of secondary phases on microstructure and chemical composition will be shown. Furthermore, porosity and tortuosity extracted individually from all porous layers will allow modeling of gas diffusion loss contributions within the co-fired cell structure. This exemplifies how correlative tomography helps to understand specific contributions to overall cell performance
Depression, neuroticism and 2D:4D ratio: evidence from a large, representative sample
A body of literature reports higher rates of depression and neuroticism in female samples compared to male samples. Numerous studies have investigated the role of prenatal sex hormone exposure in this sex difference, using the ratio between the second and fourth digit of the hand ("2D:4D") as a putative marker. However, the sample sizes of those studies were mostly small and results remained inconclusive. The aim of the present study is to test the suggested associations between depression, neuroticism and the 2D:4D ratio in a large, representative sample of over 3,000 German individuals. It was hypothesized that a higher 2D:4D (supposedly representing a more "feminine" prenatal hormone exposure) would positively predict (1) one's history of depression as well as (2) neuroticism rates and (3) acute depressive symptom scores. Controlling for biological sex, we only found suggestive evidence for linear associations with neuroticism in the case of left hand 2D:4D ratios and the mean 2D:4D of both hands. However, additional analyses indicated that these results may have been spurious due to confounding. Our findings suggest that the 2D:4D ratio is not a relevant predictor of depression, while there was mixed evidence in the case of neuroticism
Aerospace medicine and biology: A continuing bibliography with indexes (supplement 359)
This bibliography lists 164 reports, articles and other documents introduced into the NASA Scientific and Technical Information System during Jan. 1992. Subject coverage includes: aerospace medicine and physiology, life support systems and man/system technology, protective clothing, exobiology and extraterrestrial life, planetary biology, and flight crew behavior and performance
Towards a wave--extraction method for numerical relativity: III. Analytical examples for the Beetle--Burko radiation scalar
Beetle and Burko recently introduced a background--independent scalar
curvature invariant for general relativity that carries information only about
the gravitational radiation in generic spacetimes, in cases where such
radiation is incontrovertibly defined. In this paper we adopt a formalism that
only uses spatial data as they are used in numerical relativity and compute the
Beetle--Burko radiation scalar for a number of analytical examples,
specifically linearized Einstein--Rosen cylindrical waves, linearized
quadrupole waves, the Kerr spacetime, Bowen--York initial data, and the Kasner
spacetime. These examples illustrate how the Beetle--Burko radiation scalar can
be used to examine the gravitational wave content of numerically generated
spacetimes, and how it may provide a useful diagnostic for initial data sets.Comment: 23 pages, 4 figures; We changed the convention used, corrected typos,
and expanded the discussio
Gravitational Radiation from Strongly Magnetized White Dwarfs
The magnetic fields of white dwarfs distort their shape generating an
anisotropic moment of inertia. A magnetized white dwarf which rotates obliquely
relative to the symmetry axis has a mass quadrupole moment which varies in
time, so it will emit gravitational radiation. LISA may be able to detect the
gravitational waves from two nearby, quickly rotating white dwarfs.Comment: 9 pages, 2 figures, to appear in MNRAS, corrected a ubiquitous typo
and added two reference
- …