55 research outputs found
Mineralogy and Speleogenesis of the Ice-Cave from Poiana Vârtop (Bihor Mountains, Romania)
The cave of Poiana Vârtop in the NW Bihor Mountains hosts the fourth largest underground perennial glacier in Romania with a volume estimated to 12,000 m 3 . The ice accumulated within the cave as a result of trapping of subzero winter air through its single entrance near the top of the cave. The speleothem mineralogy is dominated by calcite, with minor amounts of included aragonite. Crusts of carbonate-hydroxylapatite (associated with bat guano) and goethite (associated with pyrite in the host limestone) are found at a few locations. Based on structural observations, dye traces, and cave galleries orientations, it is inferred that the cave is part of a much larger hydrologic karst system that also includes the nearby Humpleu-Poienita cave network
The combined approach to query answering beyond the OWL 2 profiles.
Combined approaches have become a successful technique for CQ answering over ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 profiles. Our goal is to make combined approaches applicable to a wider range of ontologies. We focus on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning. We show that CQ answering over RSA ontologies without role composition is feasible in NP. Our reasoning procedure generalises the combined approach for ELHO and DL-LiteR using an encoding of CQ answering into fact entailment w.r.t. a logic program with function symbols and stratified negation. Our results have significant practical implications since many out-of-profile Horn ontologies are RSA
The combined approach to query answering beyond the OWL 2 profiles.
Combined approaches have become a successful technique for CQ answering over ontologies. Existing algorithms, however, are restricted to the logics underpinning the OWL 2 profiles. Our goal is to make combined approaches applicable to a wider range of ontologies. We focus on RSA: a class of Horn ontologies that extends the profiles while ensuring tractability of standard reasoning. We show that CQ answering over RSA ontologies without role composition is feasible in NP. Our reasoning procedure generalises the combined approach for ELHO and DL-LiteR using an encoding of CQ answering into fact entailment w.r.t. a logic program with function symbols and stratified negation. Our results have significant practical implications since many out-of-profile Horn ontologies are RSA
From Rate Measurements to Mechanistic Data for Condensed Matter Reactions: A Case Study Using the Crystallization of [Zn(OH2)6][ZnCl4]
The kinetics of crystallization of the R = 3 hydrate of zinc chloride, [Zn(OH2)6][ZnCl4], is measured by time-resolved synchrotron x-ray diffraction, time-resolved neutron diffraction, and by differential scanning calorimetry. It is shown that analysis of the rate data using the classic Kolmogorov, Johnson, Mehl, Avrami (KJMA) kinetic model affords radically different rate constants for equivalent reaction conditions. Reintroducing the amount of sample measured by each method into the kinetic model, using our recently developed modified-KJMA model (M-KJMA), it is shown that each of these diverse rate measurement techniques can give the intrinsic, material specific rate constant, the velocity of the phase boundary, vpb. These data are then compared to the velocity of the crystallization front directly measured optically. The time-resolved diffraction methods uniquely monitor the loss of the liquid reactant and formation of the crystalline product demonstrating that the crystallization of this hydrate phase proceeds through no intermediate phases. The temperature dependent vpb data are then well fit to transition zone theory to extract activation parameters. These demonstrate that the rate-limiting component to this crystallization reaction is the ordering of the waters (or protons) of hydration into restricted positions of the crystalline lattice resulting in large negative entropy of activation
Zusammenhaenge zwischen dem Kraftstoffverbrauch und Kenngroessen des Verkehrsablaufs in inneroertlichen Strassennetzen mit Lichtsignalanlagen
Available from TIB Hannover: ZA 4681(565) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEDEGerman
- …