61,760 research outputs found
Teaching university students to cook, to improve their diet: a pilot study at Nottingham Trent University
MaRMI-III: a methodology for component-based development
This study, supported by the Korea Ministry of Information and Communication, contributed to advancing the paradigm of software component-based development by developing a detailed process, techniques, and guidelines for making the most of component technologies. The outcome was a new CBD methodology named Magic and Robust Methodology Integrated III (MaRMI-III). MaRMI-III is now considered as a standard development methodology for using component technologies in Korea.
To date, more than 100 Korean software development companies have adopted the methodology developed in this study
Singular Cucker-Smale Dynamics
The existing state of the art for singular models of flocking is overviewed,
starting from microscopic model of Cucker and Smale with singular communication
weight, through its mesoscopic mean-filed limit, up to the corresponding
macroscopic regime. For the microscopic Cucker-Smale (CS) model, the
collision-avoidance phenomenon is discussed, also in the presence of bonding
forces and the decentralized control. For the kinetic mean-field model, the
existence of global-in-time measure-valued solutions, with a special emphasis
on a weak atomic uniqueness of solutions is sketched. Ultimately, for the
macroscopic singular model, the summary of the existence results for the
Euler-type alignment system is provided, including existence of strong
solutions on one-dimensional torus, and the extension of this result to higher
dimensions upon restriction on the smallness of initial data. Additionally, the
pressureless Navier-Stokes-type system corresponding to particular choice of
alignment kernel is presented, and compared - analytically and numerically - to
the porous medium equation
Performance of a prototype active veto system using liquid scintillator for a dark matter search experiment
We report the performance of an active veto system using a liquid
scintillator with NaI(Tl) crystals for use in a dark matter search experiment.
When a NaI(Tl) crystal is immersed in the prototype detector, the detector tags
48% of the internal K-40 background in the 0-10 keV energy region. We also
determined the tagging efficiency for events at 6-20 keV as 26.5 +/- 1.7% of
the total events, which corresponds to 0.76 +/- 0.04 events/keV/kg/day.
According to a simulation, approximately 60% of the background events from U,
Th, and K radioisotopes in photomultiplier tubes are tagged at energies of 0-10
keV. Full shielding with a 40-cm-thick liquid scintillator can increase the
tagging efficiency for both the internal K-40 and external background to
approximately 80%.Comment: Submitted to Nuclear Instruments and Methods in Physics Research
Section
Development of a 3-D energy-momentum analyzer for meV-scale energy electrons.
In this article, we report on the development of a time-of-flight based electron energy analyzer capable of measuring the 3-D momentum and energy distributions of very low energy (millielectronvolt-scale) photoemitted electrons. This analyzer is capable for measuring energy and 3-D momentum distributions of electrons with energies down to 1 meV with a sub-millielectronvolt energy resolution. This analyzer is an ideal tool for studying photoemission processes very close to the photoemission threshold and also for studying the physics of photoemission based electron sources
Event Stream Processing with Multiple Threads
Current runtime verification tools seldom make use of multi-threading to
speed up the evaluation of a property on a large event trace. In this paper, we
present an extension to the BeepBeep 3 event stream engine that allows the use
of multiple threads during the evaluation of a query. Various parallelization
strategies are presented and described on simple examples. The implementation
of these strategies is then evaluated empirically on a sample of problems.
Compared to the previous, single-threaded version of the BeepBeep engine, the
allocation of just a few threads to specific portions of a query provides
dramatic improvement in terms of running time
A well-posedness theory in measures for some kinetic models of collective motion
We present existence, uniqueness and continuous dependence results for some
kinetic equations motivated by models for the collective behavior of large
groups of individuals. Models of this kind have been recently proposed to study
the behavior of large groups of animals, such as flocks of birds, swarms, or
schools of fish. Our aim is to give a well-posedness theory for general models
which possibly include a variety of effects: an interaction through a
potential, such as a short-range repulsion and long-range attraction; a
velocity-averaging effect where individuals try to adapt their own velocity to
that of other individuals in their surroundings; and self-propulsion effects,
which take into account effects on one individual that are independent of the
others. We develop our theory in a space of measures, using mass transportation
distances. As consequences of our theory we show also the convergence of
particle systems to their corresponding kinetic equations, and the
local-in-time convergence to the hydrodynamic limit for one of the models
The human myometrium differentially expresses mTOR signalling components before and during pregnancy: Evidence for regulation by progesterone
Emerging studies implicate the signalling of the mammalian target of rapamycin (mTOR) in a number of reproductive functions. To this date, there are no data regarding the expression of mTOR signalling components in the human myometrium during pregnancy. We hypothesized that mTOR-related genes might be differentially expressed in term or preterm labour as well as in labour or non-labour myometria during pregnancy. Using quantitative RT-PCR we demonstrate for first time that there is a significant downregulation of mTOR, DEPTOR, and Raptor in preterm labouring myometria when compared to non-pregnant tissues taken from the same area (lower segment). We used an immortalized myometrial cell line (ULTR) as an in vitro model to dissect further mTOR signalling. In ULTR cells DEPTOR and Rictor had a cytoplasmic distribution, whereas mTOR and Raptor were detected in the cytoplasm and the nucleus, indicative of mTORC1 shuttling. Treatment with inflammatory cytokines caused only minor changes in gene expression of these components, whereas progesterone caused significant down-regulation. We performed a non-biased gene expression analysis of ULTR cells using Nimblegen human gene expression microarray (n = 3), and selected genes were validated by quantitative RT-PCR in progesterone treated myometrial cells. Progesterone significantly down-regulated key components of the mTOR pathway. We conclude that the human myometrium differentially expresses mTOR signalling components and they can be regulated by progesterone. This article is part of a Special Issue entitled 'Pregnancy and Steroids'.This research was funded by National Institutes of Health Grant ESO12961
- …