5,481 research outputs found
An ultrahigh pressure mineral assemblage from the Luobusa Ophiolite, Tibet
Abstract in http://www.lpi.usra.edu/meetings/gold2001/pdf/3138.pd
TWAM: A Certifying Abstract Machine for Logic Programs
Type-preserving (or typed) compilation uses typing derivations to certify
correctness properties of compilation. We have designed and implemented a
type-preserving compiler for a simply-typed dialect of Prolog we call T-Prolog.
The crux of our approach is a new certifying abstract machine which we call the
Typed Warren Abstract Machine (TWAM). The TWAM has a dependent type system
strong enough to specify the semantics of a logic program in the logical
framework LF. We present a soundness metatheorem which constitutes a partial
correctness guarantee: well-typed programs implement the logic program
specified by their type. This metatheorem justifies our design and
implementation of a certifying compiler from T-Prolog to TWAM.Comment: 41 pages, under submission to ACM Transactions on Computational Logi
SHRIMP zircon geochronology of the Emeishan Large Igneous Province (SW China): implications for double mass extinctions in Late Permian
Abstract in http://www.lpi.usra.edu/meetings/gold2001/pdf/3519.pd
Can people guess what happened to others from their reactions?
Are we able to infer what happened to a person from a brief sample of his/her behaviour? It has been proposed that mentalising skills can be used to retrodict as well as predict behaviour, that is, to determine what mental states of a target have already occurred. The current study aimed to develop a paradigm to explore these processes, which takes into account the intricacies of real-life situations in which reasoning about mental states, as embodied in behaviour, may be utilised. A novel task was devised which involved observing subtle and naturalistic reactions of others in order to determine the event that had previously taken place. Thirty-five participants viewed videos of real individuals reacting to the researcher behaving in one of four possible ways, and were asked to judge which of the four ‘scenarios’ they thought the individual was responding to. Their eye movements were recorded to establish the visual strategies used. Participants were able to deduce successfully from a small sample of behaviour which scenario had previously occurred. Surprisingly, looking at the eye region was associated with poorer identification of the scenarios, and eye movement strategy varied depending on the event experienced by the person in the video. This suggests people flexibly deploy their attention using a retrodictive mindreading process to infer events
Practical Evaluation of Lempel-Ziv-78 and Lempel-Ziv-Welch Tries
We present the first thorough practical study of the Lempel-Ziv-78 and the
Lempel-Ziv-Welch computation based on trie data structures. With a careful
selection of trie representations we can beat well-tuned popular trie data
structures like Judy, m-Bonsai or Cedar
Functional reconstruction of a eukaryotic-like E1/E2/(RING) E3 ubiquitylation cascade from an uncultured archaeon.
The covalent modification of protein substrates by ubiquitin regulates a diverse range of critical biological functions. Although it has been established that ubiquitin-like modifiers evolved from prokaryotic sulphur transfer proteins it is less clear how complex eukaryotic ubiquitylation system arose and diversified from these prokaryotic antecedents. The discovery of ubiquitin, E1-like, E2-like and small-RING finger (srfp) protein components in the Aigarchaeota and the Asgard archaea superphyla has provided a substantive step toward addressing this evolutionary question. Encoded in operons, these components are likely representative of the progenitor apparatus that founded the modern eukaryotic ubiquitin modification systems. Here we report that these proteins from the archaeon Candidatus 'Caldiarchaeum subterraneum' operate together as a bona fide ubiquitin modification system, mediating a sequential ubiquitylation cascade reminiscent of the eukaryotic process. Our observations support the hypothesis that complex eukaryotic ubiquitylation signalling pathways have developed from compact systems originally inherited from an archaeal ancestor
The dynamics of apparent horizons in Robinson-Trautman spacetimes
We present an alternative scheme of finding apparent horizons based on
spectral methods applied to Robinson-Trautman spacetimes. We have considered
distinct initial data such as representing the spheroids of matter and the
head-on collision of two non-rotating black holes. The evolution of the
apparent horizon is presented. We have obtained in some cases a mass gap
between the final Bondi and apparent horizon masses, whose implications were
briefly commented in the light of the thermodynamics of black holes.Comment: 9 pages, 7 figure
Black Stork Down: Military Discourses in Bird Conservation in Malta
Tensions between Maltese hunters and bird conservation NGOs have intensified over the past decade. Conservation NGOs have become frustrated with the Maltese State for conceding to the hunter lobby and negotiating derogations from the European Union’s Bird Directive. Some NGOs have recently started to organize complex field-operations where volunteers are trained to patrol the landscape, operate drones and other surveillance technologies, detect illegalities, and lead police teams to arrest poachers. We describe the sophisticated military metaphors which conservation NGOs have developed to describe, guide and legitimize their efforts to the Maltese public and their fee-paying members. We also discuss why such groups might be inclined to adopt these metaphors. Finally, we suggest that anthropological studies of discourse could help understand delicate contexts such as this where conservation NGOs, hunting associations and the State have ended in political deadlock
GIVE: portable genome browsers for personal websites.
Growing popularity and diversity of genomic data demand portable and versatile genome browsers. Here, we present an open source programming library called GIVE that facilitates the creation of personalized genome browsers without requiring a system administrator. By inserting HTML tags, one can add to a personal webpage interactive visualization of multiple types of genomics data, including genome annotation, "linear" quantitative data, and genome interaction data. GIVE includes a graphical interface called HUG (HTML Universal Generator) that automatically generates HTML code for displaying user chosen data, which can be copy-pasted into user's personal website or saved and shared with collaborators. GIVE is available at: https://www.givengine.org/
- …