1,691 research outputs found
A representation theorem for integral rigs and its applications to residuated lattices
We prove that every integral rig in Sets is (functorially) the rig of global
sections of a sheaf of really local integral rigs. We also show that this
representation result may be lifted to residuated integral rigs and then
restricted to varieties of these. In particular, as a corollary, we obtain a
representation theorem for pre-linear residuated join-semilattices in terms of
totally ordered fibers. The restriction of this result to the level of
MV-algebras coincides with the Dubuc-Poveda representation theorem.Comment: Manuscript submitted for publicatio
Tatiana M. Botero, DDS, MS, Clinical Associate Professor, Department of Cariology, Restorative Sciences & Endodontics, School of Dentistry, University of Michigan, Ann Arbor, Michigan, USA
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/109588/1/etp12071_3.pd
Geometric Phase and Modulo Relations for Probability Amplitudes as Functions on Complex Parameter Spaces
We investigate general differential relations connecting the respective
behavior s of the phase and modulo of probability amplitudes of the form
\amp{\psi_f}{\psi}, where is a fixed state in Hilbert space
and is a section of a holomorphic line bundle over some complex
parameter space. Amplitude functions on such bundles, while not strictly
holomorphic, nevertheless satisfy generalized Cauchy-Riemann conditions
involving the U(1) Berry-Simon connection on the parameter space. These
conditions entail invertible relations between the gradients of the phase and
modulo, therefore allowing for the reconstruction of the phase from the modulo
(or vice-versa) and other conditions on the behavior of either polar component
of the amplitude. As a special case, we consider amplitude functions valued on
the space of pure states, the ray space , where
transition probabilities have a geometric interpretation in terms of geodesic
distances as measured with the Fubini-Study metric. In conjunction with the
generalized Cauchy-Riemann conditions, this geodesic interpretation leads to
additional relations, in particular a novel connection between the modulus of
the amplitude and the phase gradient, somewhat reminiscent of the WKB formula.
Finally, a connection with geometric phases is established.Comment: 11 pages, 1 figure, revtex
Data Mining of the Coffee Rust Genome
The genomes of nine isolates of _Hemileia vastatrix_, the causal agent of coffee leaf rust were sequenced by Illumina and 454. Quality control, cleaning and _de novo_ assemblies of data were performed. Since isolates were obtained from the field and it is not possible to produce axenic cultures of _H. vastatrix_, MEGAN software was used to evaluate contamination levels and to select contigs with fungal similarities. Mitochondrial contigs were identified and annotated by comparing this assembly against the _Puccinia_ genome. Furthermore, two transcriptomes from isolates of _H. vastatrix_ were assembled to complement the genomic data
Methodological Considerations for Comparison of Cross-species Use of Tactile Contact
Cross-species comparisons are benefited by compatible datasets; conclusions related to phylogenetic comparisons, questions on convergent and divergent evolution, or homologs versus analogs can only be made when the behaviors being measured are comparable. A direct comparison of the social function of physical contact across two disparate taxa is possible only if data collection and analyses methodologies are analogous. We identify and discuss the parameters, assumptions and measurement schemes applicable to multiple taxa and species that facilitate cross-species comparisons. To illustrate our proposed guidelines for evaluating the role played by tactile contact in social behavior across disparate taxa, this paper presents data on mother-offspring relationships in the two species studied by the authors: chimpanzees (Pan troglodytes schweinfurthii) and dolphins (bottlenose and spotted, Tursiops truncatus and Stenella frontalis, respectively). Cross-species comparative studies allow for a more comprehensive assessment of the similarities and differences with respect to how animals traverse the relationships that form their social groups and societies
Social Construction of Health Risk: Rhetorical Elements in Colombian and U.S. News Coverage of Coca Eradication
This paper examines rhetorical elements related to the social construction of health risk. More specifically, we analyze how prominent Colombian and U.S. newspapers construct the health risks associated with the use of glyphosate in the âwar on drugsâ in Colombia. Glyphosate, an herbicide that works as a plant growth regulator, is used heavily via aerial spraying to eradicate Colombian coca cultivation: use mandated by Plan Colombia. These practices have generated wide ranging cultural and sociopolitical disputes among environmental, health, communal, and political organizations. While our focus is on the controversy related to health issues, our analyses necessarily touch on various environmental, community, and political issues
Effect of surface oxidation on the electronic transport properties of phosphorene gas sensors: a computational study
The potential for phosphorene-based devices has been compromised by the material's fast degradation under ambient conditions. Its tendency to fully oxidize under Oâ-rich and humid environments, leads to the loss of its appealing semiconducting properties. However, partially-oxidized phosphorene (po-phosphorene), has been demonstrated to remain stable over significantly longer periods of time, thereby enabling its use in sensing applications. Here, we present a computational study of po-phosphorene-based gas sensors, using the Density-Functional-based Tight Binding (DFTB) method. We show that DFTB accurately predicts the bandgap for the pristine material and po-phosphorene, the electronic transport properties of po-phosphorene at different surface oxygen concentrations, and the appropriate trends in Density-of-States (DOS) contributions caused by adsorbed gas molecules, to demonstrate its potential application in the development of gas sensors. Results are compared against the more traditional and expensive Density Functional Theory (DFT) method using generalized gradient approximation (GGA) exchangeâcorrelation functionals, which significantly underestimates the material's bandgap
Prostaglandin E 2 production and viability of cells cultured in contact with freshly mixed endodontic materials
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73861/1/j.1365-2591.2006.01070.x.pd
Improving a decree law about coastal zone management in a small island developing state: The case of Cuba
Cuba is one of the few countries from the Small Island Developing States in the Caribbean region having solid coastal legislation: Decree Law 212 (DL-212) entitled âCoastal Zone Managementâ. However, that legal framework presents some deficiencies that need to be improved, wherefore an analysis of the major features of DL-212 and the identification of its main issues were conducted in the present study; some ways of implementing the DL-212 in the country were assessed as well. Regarding the Land-Sea Interaction, this work proposes a set of four variables linking geomorphological and human criteria with the aim of improving coastal zone characterization and boundary delimitation. The set of four variables falls into six types of Coastal Geomorphic-typological Units, which are also sub-classified according to the physical aspects and level of territorial urbanization of the Units. Standard nomenclature about boundaries, territorial planning in relation to land-sea interaction is provided in the present research, as well as nine guidelines and eleven recommendations for institutions responsible for physical use planning to implement, in order to obtain a better understanding and implementation of DL-212. The study makes a great contribution to decision-making processes regarding Land-Use Planning, Integrated Coastal Zone Management, and Marine Spatial Planning for future implementation in other Small Island Developing States
- âŠ