Beta-Conversion, Efficiently

Type-checking in dependent type theories relies on conversion, i.e. testing given lambda-terms for equality up to beta-evaluation and alpha-renaming. Computer tools based on the lambda-calculus currently implement conversion by means of algorithms whose complexity has not been identified, and in some cases even subject to an exponential time overhead with respect to the natural cost models (number of evaluation steps and size of input lambda-terms). This dissertation shows that in the pure lambda-calculus it is possible to obtain conversion algorithms with bilinear time complexity when evaluation is carried following evaluation strategies that generalize Call-by-Value to the stronger case required by conversion

An Introduction to Rule-based Modeling of Immune Receptor Signaling

Cells process external and internal signals through chemical interactions. Cells that constitute the immune system (e.g., antigen presenting cell, T-cell, B-cell, mast cell) can have different functions (e.g., adaptive memory, inflammatory response) depending on the type and number of receptor molecules on the cell surface and the specific intracellular signaling pathways activated by those receptors. Explicitly modeling and simulating kinetic interactions between molecules allows us to pose questions about the dynamics of a signaling network under various conditions. However, the application of chemical kinetics to biochemical signaling systems has been limited by the complexity of the systems under consideration. Rule-based modeling (BioNetGen, Kappa, Simmune, PySB) is an approach to address this complexity. In this chapter, by application to the Fc$\varepsilon$RI receptor system, we will explore the origins of complexity in macromolecular interactions, show how rule-based modeling can be used to address complexity, and demonstrate how to build a model in the BioNetGen framework. Open source BioNetGen software and documentation are available at http://bionetgen.org.Comment: 5 figure

Digital recording of performing arts: formats and conversion

B

Accelerator system for the PRISM based muon to electron conversion experiment

The next generation of lepton flavor violation experiments need high intensity and high quality muon beams. Production of such beams requires sending a short, high intensity proton pulse to the pion production target, capturing pions and collecting the resulting muons in the large acceptance transport system. The substantial increase of beam quality can be obtained by applying the RF phase rotation on the muon beam in the dedicated FFAG ring, which was proposed for the PRISM project.This allows to reduce the momentum spread of the beam and to purify from the unwanted components like pions or secondary protons. A PRISM Task Force is addressing the accelerator and detector issues that need to be solved in order to realize the PRISM experiment. The parameters of the required proton beam, the principles of the PRISM experiment and the baseline FFAG design are introduced. The spectrum of alternative designs for the PRISM FFAG ring are shown. Progress on ring main systems like injection and RF are presented. The current status of the study and its future directions are discussed.Comment: Studies performed within the PRISM Task Force initiativ

Advanced simulation code for alpha spectrometry

A Monte Carlo code, known as AASI, is developed for simulating energy spectra in alpha spectrometry. The code documented here is a comprehensive package where all the major processes affecting the spectrum are included. A unique feature of the code is its ability to take into account coincidences between the particles emitted from the source. Simulations and measurements highlight the importance of coincidences in high-resolution alpha spectrometry. To show the validity of the simulated results, comparisons with measurements and other simulation codes are presented.Comment: 21 pages, 4 figures, to be published in Nucl. Instr. and Meth.

Hormonal regulation of female reproduction

Reproduction is an event that requires the coordination of peripheral organs with the nervous system to ensure that the internal and external environments are optimal for successful procreation of the species. This is accomplished by the hypothalamic-pituitary-gonadal axis that coordinates reproductive behavior with ovulation. The primary signal from the central nervous system is gonadotropin-releasing hormone (GnRH), which modulates the activity of anterior pituitary gonadotropes regulating follicle stimulating hormone (FSH) and luteinizing hormone (LH) release. As ovarian follicles develop they release estradiol, which negatively regulates further release of GnRH and FSH. As estradiol concentrations peak they trigger the surge release of GnRH, which leads to LH release inducing ovulation. Release of GnRH within the central nervous system helps modulate reproductive behaviors providing a node at which control of reproduction is regulated. To address these issues, this review focuses on several critical questions. How is the HPG axis regulated in species with different reproductive strategies? What internal and external conditions modulate the synthesis and release of GnRH? How does GnRH modulate reproductive behavior within the hypothalamus? How does disease shift the activity of the HPG axis.Fil: Christensen, A.. University of California at Los Angeles; Estados UnidosFil: Bentley, G. E.. University of California at Berkeley; Estados UnidosFil: Cabrera Kreiker, Ricardo Jorge. Universidad de Mendoza; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Mendoza. Instituto de Medicina y Biología Experimental de Cuyo; ArgentinaFil: Ortega, Hugo Hector. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad Nacional de Litoral; ArgentinaFil: Perfito, N.. University of California at Berkeley; Estados UnidosFil: Wu, T. J.. Uniformed Services University Of The Health Sciences; Estados UnidosFil: Micevych, P.. University of California at Los Angeles; Estados Unido