Hilbert-Post completeness for the state and the exception effects

In this paper, we present a novel framework for studying the syntactic completeness of computational effects and we apply it to the exception effect. When applied to the states effect, our framework can be seen as a generalization of Pretnar's work on this subject. We first introduce a relative notion of Hilbert-Post completeness, well-suited to the composition of effects. Then we prove that the exception effect is relatively Hilbert-Post complete, as well as the "core" language which may be used for implementing it; these proofs have been formalized and checked with the proof assistant Coq.Comment: Siegfried Rump (Hamburg University of Technology), Chee Yap (Courant Institute, NYU). Sixth International Conference on Mathematical Aspects of Computer and Information Sciences , Nov 2015, Berlin, Germany. 2015, LNC

Infrared light emission from atomic point contacts

Gold atomic point contacts are prototype systems to evidence ballistic electron transport. The typical dimension of the nanojunction being smaller than the electron-phonon interaction length, even at room temperature, electrons transfer their excess energy to the lattice only far from the contact. At the contact however, favored by huge current densities, electron-electron interactions result in a nano hot electron gas acting as a source of photons. Using a home built Mechanically Controlled Break Junction, it is reported here, for the first time, that this hot electron gas also radiates in the infrared range (0.2eV to 1.2eV). Moreover, in agreement with the pioneering work of Tomchuk, we show that this radiation is compatible with a blackbody like spectrum emitted from an electron gas at temperatures of several thousands of Kelvin given by $(kB.Te)^2 = \alpha. I.V$ where $\alpha$, $I$ and $V$ are respectively a fitting parameter, the current flowing and the applied bias.Comment: 13 pages, 5 figure

The Role of Thd2 in Deposition-Related Deactylation and Chromatin Maturation

During S phase of the cell cycle, newly synthesized histones are acetylated in the cytoplasm in patterns specific to DNA replication. Once incorporated into nucleosomes, these histones are rapidly deacetylated by enzymes known as histone deacetylases. Though common in all organisms, the significance of this molecular mechanism is not fully understood. Homologous to HDAC6 in humans and HDA1 in budding yeast, Tetrahymena histone deacetylase 2 (Thd2) has been identified as the only known histone deacetylase that performs this task in the unicellular eukaryote Tetrahymena thermophila. Localizing to the transcriptionally inactive germline nucleus, the micronucleus, Thd2 has been found to deacetylate histones H3 and H4 at K9 and/or K14. In order to gain further insight into the role of deposition-related deacetylation in chromatin maturation, the micronuclear morphology and modification status of H3K27, a known marker for heterochromatin in several eukaryotes, were examined in both vegetative and synchronized complete Δthd2 mutant cells. Immunofluorescence microscopy, DAPI staining and a western blot analysis revealed abnormal phenotypes and the conservation of H3K27 methylation in the absence of Thd2. These findings further indicate a role for Thd2 in the maintenance of chromatin structure and suggest the possibility of another mechanism required for deacetylation at H2K27. Essentially, this demonstrates the importance of deposition-related histone deacetylation in chromatin maturation after DNA replication and further maintenance of chromatin domains

The Local Radio-IR Relation in M51

We observed M51 at three frequencies, 1.4 GHz (20 cm), 4.9 GHz (6 cm), and 8.4 GHz (3.6 cm), with the Very Large Array and the Effelsberg 100 m telescope to obtain the highest quality radio continuum images of a nearby spiral galaxy. These radio data were combined with deconvolved Spitzer IRAC 8 μm and MIPS 24 μm images to search for and investigate local changes in the radio-IR correlation. Utilizing wavelet decomposition, we compare the distribution of the radio and IR emission on spatial scales between 200 pc and 30 kpc. We show that the radio-IR correlation is not uniform across the galactic disk. It presents a complex behavior with local extrema corresponding to various galactic structures, such as complexes of H II regions, spiral arms, and interarm filaments, indicating that the contribution of the thermal and non-thermal radio emission is a strong function of environment. In particular, the relation of the 24 μm and 20 cm emission presents a linear relation within the spiral arms and globally over the galaxy, while it deviates from linearity in the interarm and outer regions as well in the inner region, with two different behaviors: it is sublinear in the interarm and outer region and overlinear in the central 3.5 kpc. Our analysis suggests that the changes in the radio/IR correlation reflect variations of interstellar medium properties between spiral arms and interarm region. The good correlation in the spiral arms implies that 24 μm and 20 cm are tracing recent star formation, while a change in the dust opacity, "Cirrus" contribution to the IR emission and/or the relation between the magnetic field strength and the gas density can explain the different relations found in the interarm, outer, and inner regions

Estimation and Analysis of Expenses of In-Lieu-Fee Projects that Mitigate Damage to Streams from Land Disturbance in North Carolina

As North Carolina’s economy has grown, the need to mitigate adverse impacts of land disturbance on aquatic ecosystems has also grown. When land disturbance adversely affects streams, a developer or the state’s Department of Transportation can satisfy mitigation requirements through payment of fees to the state’s Ecosystem Enhancement Program (EEP). EEP then manages a stream mitigation project on behalf of the responsible party. EEP has had regulatory authority to require stream mitigation for 10 years. The needs of EEP to reassess its mitigation fee and identify ways to reduce costs of the program have grown over the decade. The first objective of this study was to account for all EEP expenses of design-bid and design-bid-build projects. The second objective was to analyze the determinants of contractual expenses with a cost function. EEP has spent or committed to spend $46.34 million for 45 design-build or designbid-build projects to restore or enhance 191,374 ft. of streams. Expenses per foot have been$242.12. Given its mandate to cover expenses for stream mitigation, EEP must raise mitigation fees, especially those for urban projects, make changes to reduce project expenses, or do both. As the length of a restored or enhanced stream increases, the expenses per foot decrease. The decrease is more pronounced in undeveloped, rural areas. Thus, EEP could produce mitigation for less expense by financing fewer projects with longer reaches or by financing more projects in undeveloped, rural areas. Other states with in-lieu-fee programs for compensatory mitigation might also use these results to reduce contractual expenses.Environmental Economics and Policy,

A review of mathematical functions for the analysis of growth in poultry

Poultry industries face various decisions in the production cycle that affect the profitability of an operation. Predictions of growth when the birds are ready for sale are important factors that contribute to the economy of poultry operations. Mathematical functions called ‘growth functions’ have been used to relate body weight (W) to age or cumulative feed intake. These can also be used as response functions to predict daily energy and protein dietary requirements for maintenance and growth (France et al., 1989). When describing growth versus age in poultry, a fixed point of inflexion can be a limitation with equations such as the Gompertz and logistic. Inflexion points vary depending on age, sex, breed and type of animal, so equations such as the Richards and López are generally recommended. For describing retention rate against daily intake, which generally does not exhibit an inflexion point, the monomolecular would appear the function of choice

Explaining two circumnuclear star forming rings in NGC5248

The distribution of gas in the central kiloparsec of a galaxy has a dynamically rapid evolution. Nonaxisymmetries in the gravitational potential of the galactic disk, such as a large scale stellar bar or spiral, can lead to significant radial motion of gaseous material from larger radii to the central region. The large influx of gas and the subsequent star formation keep the central region constantly changing. However, the ability of gas to reach the nucleus proper to fuel an AGN phase is not guaranteed. Gas inflow can be halted at a circumnuclear star forming ring several hundred parsec away. The nearby galaxy NGC5248 is especially interesting in this sense since it is said to host 2 circumnuclear star forming rings at 100pc and 370pc from its quiescent nucleus. Here we present new subarcsecond PdBI+30m CO(2-1) emission line observations of the central region. For the first time the molecular gas distribution at the smallest stellar ring is resolved into a gas ring, consistent with the presence of a quiescent nucleus. However, the molecular gas shows no ring structure at the larger ring. We combine analyses of the gaseous and stellar content in the central kiloparsec of this galaxy to understand the gas distribution and dynamics of this star forming central region. We discuss the probability of two scenarios leading to the current observations, given our full understanding of this system, and discuss whether there are really two circumnuclear star forming rings in this galaxy.Comment: Accepted for publication in A&A, 14pages + long tabl

Extreme genetic diversity in asexual grass thrips populations.

The continuous generation of genetic variation has been proposed as one of the main factors explaining the maintenance of sexual reproduction in nature. However, populations of asexual individuals may attain high levels of genetic diversity through within-lineage diversification, replicate transitions to asexuality from sexual ancestors and migration. How these mechanisms affect genetic variation in populations of closely related sexual and asexual taxa can therefore provide insights into the role of genetic diversity for the maintenance of sexual reproduction. Here, we evaluate patterns of intra- and interpopulation genetic diversity in sexual and asexual populations of Aptinothrips rufus grass thrips. Asexual A. rufus populations are found throughout the world, whereas sexual populations appear to be confined to few locations in the Mediterranean region. We found that asexual A. rufus populations are characterized by extremely high levels of genetic diversity, both in comparison with their sexual relatives and in comparison with other asexual species. Migration is extensive among asexual populations over large geographic distances, whereas close sexual populations are strongly isolated from each other. The combination of extensive migration with replicate evolution of asexual lineages, and a past demographic expansion in at least one of them, generated high local clone diversities in A. rufus. These high clone diversities in asexual populations may mimic certain benefits conferred by sex via genetic diversity and could help explain the extreme success of asexual A. rufus populations

Quantitative Decoding of Interactions in Tunable Nanomagnet Arrays Using First Order Reversal Curves

To develop a full understanding of interactions in nanomagnet arrays is a persistent challenge, critically impacting their technological acceptance. This paper reports the experimental, numerical and analytical investigation of interactions in arrays of Co nanoellipses using the first-order reversal curve (FORC) technique. A mean-field analysis has revealed the physical mechanisms giving rise to all of the observed features: a shift of the non-interacting FORC-ridge at the low-H$_c$ end off the local coercivity H$_c$ axis; a stretch of the FORC-ridge at the high-H$_c$ end without shifting it off the H$_c$ axis; and a formation of a tilted edge connected to the ridge at the low-H$_c$ end. Changing from flat to Gaussian coercivity distribution produces a negative feature, bends the ridge, and broadens the edge. Finally, nearest neighbor interactions segment the FORC-ridge. These results demonstrate that the FORC approach provides a comprehensive framework to qualitatively and quantitatively decode interactions in nanomagnet arrays.Comment: 19 pages, 4 figures. 9 page supplemental material including 3 figure