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