Adaptive query-based sampling of distributed collections

As part of a Distributed Information Retrieval system a de-scription of each remote information resource, archive or repository is usually stored centrally in order to facilitate resource selection. The ac-quisition ofprecise resourcedescriptionsistherefore animportantphase in Distributed Information Retrieval, as the quality of such represen-tations will impact on selection accuracy, and ultimately retrieval per-formance. While Query-Based Sampling is currently used for content discovery of uncooperative resources, the application of this technique is dependent upon heuristic guidelines to determine when a sufficiently accurate representation of each remote resource has been obtained. In this paper we address this shortcoming by using the Predictive Likelihood to provide both an indication of thequality of an acquired resource description estimate, and when a sufficiently good representation of a resource hasbeen obtained during Query-Based Sampling

Homotopy Theoretic Models of Type Theory

We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it. On the other hand, those conditions are easy to check and provide a wide class of models some of which are listed in the paper.Comment: Corrected version of the published articl

Dualities for modal algebras from the point of view of triples

In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on the other. Furthermore, we investigate the monoidal structure induced by Cartesian product on the relational side and show that in some cases the corresponding operation on the algebraic side represents bimorphisms

On the formation process of silicon carbide nanophases via hydrogenated thermally induced templated synthesis

A thermally induced templated synthesis for SiC nanotubes and nanofibers using ammonia or nitrogen as a carrier gas, single wall carbon nanotubes (SWCNT) as templates as well as gaseous Si is presented. The bundles of SWCNT act as both the carbon source and as a nanoframe from which SiC structuctures form. Depending on the duration of the thermally induced templated reaction, for a fixed temperature, carrier gas, and gas pressure, various SiC nanostructures are obtained. These structures include SiC nanorods coated in C, SiC nanorods, SiC nanotubes, and SiC nanocrytals. From our analysis using transmission electron microscopy (TEM) and scanning electron microscopy (SEM), electron energy-loss spectroscopy (EELS), electron diffraction (EDX), optical absorption spectroscopy and Raman spectroscopy as probes we prove that H has a key role on the morphology and stochiometry of the different SiC nanostructures.Comment: 9 pages, 2 Figure

Thermal photons as a measure for the rapidity dependence of the temperature

The rapidity distribution of thermal photons produced in Pb+Pb collisions at CERN-SPS energies is calculated within scaling and three-fluid hydrodynamics. It is shown that these scenarios lead to very different rapidity spectra. A measurement of the rapidity dependence of photon radiation can give cleaner insight into the reaction dynamics than pion spectra, especially into the rapidity dependence of the temperature.Comment: 3 Figure

Dark Matter signals from Draco and Willman 1: Prospects for MAGIC II and CTA

The next generation of ground-based Imaging Air Cherenkov Telescopes (IACTs) will play an important role in indirect dark matter searches. In this article, we consider two particularly promising candidate sources for dark matter annihilation signals, the nearby dwarf galaxies Draco and Willman 1, and study the prospects of detecting such a signal for the soon-operating MAGIC II telescope system as well as for the planned installation of CTA, taking special care of describing the experimental features that affect the detectional prospects. For the first time in such a study, we fully take into account the effect of internal bremsstrahlung, which has recently been shown to considerably enhance, in some cases, the gamma-ray flux at the high energies where Atmospheric Cherenkov Telescopes operate, thus leading to significantly harder annihilation spectra than traditionally considered. While the detection of the spectral features introduced by internal bremsstrahlung would constitute a smoking gun signature for dark matter annihilation, we find that for most models the overall flux still remains at a level that will be challenging to detect unless one adopts rather (though by no means overly) optimistic astrophysical assumptions about the distribution of dark matter in the dwarfs.Comment: 10 pages, 4 figures, minor changes, matches the published version (JCAP

Precambrian non-marine stromatolites in alluvial fan deposits, the Copper Harbor Conglomerate, upper Michigan

Laminated cryptalgal carbonates occur in the Precambrian Copper Harbor Conglomerate of northern Michigan, which was deposited in the Keweenawan Trough, an aborted proto-oceanic rift. This unit is composed of three major facies deposited by braided streams on a large alluvial-fan complex. Coarse clastics were deposited in braided channels, predominantly as longitudinal bars, whereas cross-bedded sandstones were deposited by migrating dunes or linguoid bars. Fine-grained overbank deposits accumulated in abandoned channels. Gypsum moulds and carbonate-filled cracks suggest an arid climate during deposition. Stromatolites interstratified with these clastic facies occur as laterally linked drapes over cobbles, as laterally linked contorted beds in mudstone, as oncolites, and as poorly developed mats in coarse sandstones. Stromatolites also are interbedded with oolitic beds and intraclastic conglomerates. Stromatolitic microstructure consists of alternating detrital and carbonate laminae, and open-space structures. Radial-fibrous calcite fans are superimposed on the laminae. The laminae are interpreted as algal in origin, whereas the origin of the radial fibrous calcite is problematic. The stromatolites are inferred to have grown in lakes which occupied abandoned channels on the fan surface. Standing water on a permeable alluvial fan in an arid climate requires a high water table maintained by high precipitation, or local elevation of the water table, possibly due to the close proximity of a lake. Occurrence of stromatolites in the upper part of the Copper Harbor Conglomerate near the base of the lacustrine Nonesuch Shale suggests that these depositional sites may have been near the Nonesuch Lake.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/72022/1/j.1365-3091.1983.tb00713.x.pd

Gravitational Radiation from Compact Binary Pulsars

An outstanding question in modern Physics is whether general relativity (GR) is a complete description of gravity among bodies at macroscopic scales. Currently, the best experiments supporting this hypothesis are based on high-precision timing of radio pulsars. This chapter reviews recent advances in the field with a focus on compact binary millisecond pulsars with white-dwarf (WD) companions. These systems - if modeled properly - provide an unparalleled test ground for physically motivated alternatives to GR that deviate significantly in the strong-field regime. Recent improvements in observational techniques and advances in our understanding of WD interiors have enabled a series of precise mass measurements in such systems. These masses, combined with high-precision radio timing of the pulsars, result to stringent constraints on the radiative properties of gravity, qualitatively very different from what was available in the past.Comment: Short review chapter to appear in "Gravitational Wave Astrophysics" by Springer-Verlag, edited by Carlos F. Sopuerta; v3: a few major corrections and updated references. Comments are welcome

EPIdemiology of Surgery-Associated Acute Kidney Injury (EPIS-AKI) : Study protocol for a multicentre, observational trial

More than 300 million surgical procedures are performed each year. Acute kidney injury (AKI) is a common complication after major surgery and is associated with adverse short-term and long-term outcomes. However, there is a large variation in the incidence of reported AKI rates. The establishment of an accurate epidemiology of surgery-associated AKI is important for healthcare policy, quality initiatives, clinical trials, as well as for improving guidelines. The objective of the Epidemiology of Surgery-associated Acute Kidney Injury (EPIS-AKI) trial is to prospectively evaluate the epidemiology of AKI after major surgery using the latest Kidney Disease: Improving Global Outcomes (KDIGO) consensus definition of AKI. EPIS-AKI is an international prospective, observational, multicentre cohort study including 10 000 patients undergoing major surgery who are subsequently admitted to the ICU or a similar high dependency unit. The primary endpoint is the incidence of AKI within 72 hours after surgery according to the KDIGO criteria. Secondary endpoints include use of renal replacement therapy (RRT), mortality during ICU and hospital stay, length of ICU and hospital stay and major adverse kidney events (combined endpoint consisting of persistent renal dysfunction, RRT and mortality) at day 90. Further, we will evaluate preoperative and intraoperative risk factors affecting the incidence of postoperative AKI. In an add-on analysis, we will assess urinary biomarkers for early detection of AKI. EPIS-AKI has been approved by the leading Ethics Committee of the Medical Council North Rhine-Westphalia, of the Westphalian Wilhelms-University Münster and the corresponding Ethics Committee at each participating site. Results will be disseminated widely and published in peer-reviewed journals, presented at conferences and used to design further AKI-related trials. Trial registration number NCT04165369