29,364 research outputs found
Interstellar helium in interplanetary space
The velocity distribution function of He(+) in the solar wind at 1 AU is calculated with the assumption that the source is photoionization of a cold (T = 100 K), neutral interstellar wind. If the spiral magnetic field is noise free, the velocity distribution is diffuse and would not produce a peak at 4(E over Q) sub H in an E over Q particle spectrum. If the velocity of the interstellar wind with respect to the sun lies in the ecliptic, a large variation of the He(+) number density with respect to ecliptic longitude is expected
Using particle shape to induce tilted and bistable liquid crystal anchoring
We use Monte Carlo simulations of hard Gaussian overlap (HGO) particles symmetrically confined in slab geometry to investigate the role of particle-substrate interactions on liquid crystalline
anchoring. Despite the restriction here to purely steric interactions and smooth substrates, a range of behaviours are captured, including tilted anchoring and homeotropic-planar bistability. These macroscopic behaviours are all achieved through appropriate tuning of the microscopics of the HGO-substrate interaction, based upon non-additive descriptions for the HGO-substrate shape parameter.</p
The swiss army knife of job submission tools: grid-control
Grid-control is a lightweight and highly portable open source submission tool
that supports virtually all workflows in high energy physics (HEP). Since 2007
it has been used by a sizeable number of HEP analyses to process tasks that
sometimes consist of up 100k jobs. grid-control is built around a powerful
plugin and configuration system, that allows users to easily specify all
aspects of the desired workflow. Job submission to a wide range of local or
remote batch systems or grid middleware is supported. Tasks can be conveniently
specified through the parameter space that will be processed, which can consist
of any number of variables and data sources with complex dependencies on each
other. Dataset information is processed through a configurable pipeline of
dataset filters, partition plugins and partition filters. The partition plugins
can take the number of files, size of the work units, metadata or combinations
thereof into account. All changes to the input datasets or variables are
propagated through the processing pipeline and can transparently trigger
adjustments to the parameter space and the job submission. While the core
functionality is completely experiment independent, integration with the CMS
computing environment is provided by a small set of plugins.Comment: 8 pages, 7 figures, Proceedings for the 22nd International Conference
on Computing in High Energy and Nuclear Physic
Prevalence of Exocrine Pancreatic Insufficiency in Women with Obesity Syndrome: Assessment by Pancreatic Fecal Elastase 1
Background. Previous research on the combined association of 25-hydroxyvitamin D [25(OH)D] and exocrine pancreas insufficiency may have been limited by restricted age variability and a lack of representation of both body weight and body mass index. There are still too few conclusive reports about conspicuous vitamin D metabolism according to pancreatic fecal elastase 1 (FE1) in obese patients. Methods. Between May 2004 and July 2008, we investigated in 125 female patients with obesity syndrome at an average age of approximately 52.9 years as well as in age-matched 80 healthy female controls the prevalence of pancreas insufficiency. Serum levels of PTH, total calcium, and D3 vitamins calcitriol and calcifediol, as well as the concentration of fecal elastase 1 (FE1) were determined in patients and controls. Results. In 75 female nondiabetic patients with obesity syndrome (BMI 35 ≤ 40 kg/m2), calcifediol was markedly decreased (25.0 ± 4.9 ng/mL) compared to controls (50.2 ± 14.7 nmol/L; P < 0.01). FE1 level was significantly decreased in obese subjects compared to controls ( P < 0.01). Calcifediol was significantly lower in patients with morbid obesity (for calcifediol, P < 0.05). Conclusion. In obese females, pancreatic FE1 in feces confirms the extent of vitamin D supply, and thus shows a vitamin D3 deficiency, depending on the loss of stool content. There seems to be a connection between the loss of exocrine function and the increasing body mass index. Pancreas insufficiency, as detected by low FE1 concentrations, is frequent in obese patients. However, the BMI is an additional factor for lowered fecal excretion of FE1
Algorithmic Verification of Asynchronous Programs
Asynchronous programming is a ubiquitous systems programming idiom to manage
concurrent interactions with the environment. In this style, instead of waiting
for time-consuming operations to complete, the programmer makes a non-blocking
call to the operation and posts a callback task to a task buffer that is
executed later when the time-consuming operation completes. A co-operative
scheduler mediates the interaction by picking and executing callback tasks from
the task buffer to completion (and these callbacks can post further callbacks
to be executed later). Writing correct asynchronous programs is hard because
the use of callbacks, while efficient, obscures program control flow.
We provide a formal model underlying asynchronous programs and study
verification problems for this model. We show that the safety verification
problem for finite-data asynchronous programs is expspace-complete. We show
that liveness verification for finite-data asynchronous programs is decidable
and polynomial-time equivalent to Petri Net reachability. Decidability is not
obvious, since even if the data is finite-state, asynchronous programs
constitute infinite-state transition systems: both the program stack and the
task buffer of pending asynchronous calls can be potentially unbounded.
Our main technical construction is a polynomial-time semantics-preserving
reduction from asynchronous programs to Petri Nets and conversely. The
reduction allows the use of algorithmic techniques on Petri Nets to the
verification of asynchronous programs.
We also study several extensions to the basic models of asynchronous programs
that are inspired by additional capabilities provided by implementations of
asynchronous libraries, and classify the decidability and undecidability of
verification questions on these extensions.Comment: 46 pages, 9 figure
Other‐Sacrificing Options
I argue that you can be permitted to discount the interests of your adversaries even though doing so would be impartially suboptimal. This means that, in addition to the kinds of moral options that the literature traditionally recognises, there exist what I call other-sacrificing options. I explore the idea that you cannot discount the interests of your adversaries as much as you can favour the interests of your intimates; if this is correct, then there is an asymmetry between negative partiality toward your adversaries and positive partiality toward your intimates
Numerical optimization of integrating cavities for diffraction-limited millimeter-wave bolometer arrays
Far-infrared to millimeter-wave bolometers designed to make astronomical observations are typically encased in integrating cavities at the termination of feedhorns or Winston cones. This photometer combination maximizes absorption of radiation, enables the absorber area to be minimized, and controls the directivity of absorption, thereby reducing susceptibility to stray light. In the next decade, arrays of hundreds of silicon nitride micromesh bolometers with planar architectures will be used in ground-based, suborbital, and orbital platforms for astronomy. The optimization of integrating cavity designs is required for achieving the highest possible sensitivity for these arrays. We report numerical simulations of the electromagnetic fields in integrating cavities with an infinite plane-parallel geometry formed by a solid reflecting backshort and the back surface of a feedhorn array block. Performance of this architecture for the bolometer array camera (Bolocam) for cosmology at a frequency of 214 GHz is investigated. We explore the sensitivity of absorption efficiency to absorber impedance and backshort location and the magnitude of leakage from cavities. The simulations are compared with experimental data from a room-temperature scale model and with the performance of Bolocam at a temperature of 300 mK. The main results of the simulations for Bolocam-type cavities are that (1) monochromatic absorptions as high as 95% are achievable with <1% cross talk between neighboring cavities, (2) the optimum absorber impedances are 400 Ω/sq, but with a broad maximum from ~150 to ~700 Ω/sq, and (3) maximum absorption is achieved with absorber diameters ≥1.5λ. Good general agreement between the simulations and the experiments was found
Developing and validating an implantable suture tension sensor
Introduction: Suture tension has a direct influence on the sutured tissue. For abdominal wall closure, suture tension should be optimal without causing tissue necrosis, which can result in surgical site infection or incisional hernia. The purpose of the present study is to evaluate a device that can measure suture tension in-situ and in real-time. Materials and methods: A cheap, commercially available analog-to-digital converter was used, in conjunction with a force sensing resistor. A sensor probe housing was designed and 3D-printed. In order to test the sensor, a mechanical, computer controlled human abdominal wall model called the AbdoMAN was used. Results: An implantable suture tension sensor was developed, keeping cost-effectiveness in mind. This sensor can translate tension in the suture into a downward force, applied to the force sensing resistor. The sensor's raw readout was characterized using a set of weights, from which a formula correlating the readout to a specific force, was derived. Preliminary validation was successfully performed using the AbdoMANmodel, which showed a progressive rise in suture tension when the intra-abdominal pressure was artificially increased over time. Conclusion: The implantable suture tension sensor appeared to be capable of recording real time changes in suture tension, and the. validation process of this sensor has been initiated. With the information from devices like this, a much better understanding of the issues at play in the development of incisional hernia can be gained.</p
A Look at the Generalized Heron Problem through the Lens of Majorization-Minimization
In a recent issue of this journal, Mordukhovich et al.\ pose and solve an
interesting non-differentiable generalization of the Heron problem in the
framework of modern convex analysis. In the generalized Heron problem one is
given closed convex sets in \Real^d equipped with its Euclidean norm
and asked to find the point in the last set such that the sum of the distances
to the first sets is minimal. In later work the authors generalize the
Heron problem even further, relax its convexity assumptions, study its
theoretical properties, and pursue subgradient algorithms for solving the
convex case. Here, we revisit the original problem solely from the numerical
perspective. By exploiting the majorization-minimization (MM) principle of
computational statistics and rudimentary techniques from differential calculus,
we are able to construct a very fast algorithm for solving the Euclidean
version of the generalized Heron problem.Comment: 21 pages, 3 figure
- …