Query answering under probabilistic uncertainty in Datalog+ / − ontologies

The recently introduced Datalog+?/?? family of ontology languages is especially useful for representing and reasoning over lightweight ontologies, and is set to play a central role in the context of query answering and information extraction for the Semantic Web. Recently, it has become apparent that it is necessary to develop a principled way to handle uncertainty in this domain. In addition to uncertainty as an inherent aspect of the Web, one must also deal with forms of uncertainty due to inconsistency and incompleteness, uncertainty resulting from automatically processing Web data, as well as uncertainty stemming from the integration of multiple heterogeneous data sources. In this paper, we take an important step in this direction by developing a probabilistic extension of Datalog+?/??. This extension uses Markov logic networks as the underlying probabilistic semantics. Here, we focus especially on scalable algorithms for answering threshold queries, which correspond to the question “what is the set of all ground atoms that are inferred from a given probabilistic ontology with a probability of at least p?”. These queries are especially relevant to Web information extraction, since uncertain rules lead to uncertain facts, and only information with a certain minimum confidence is desired. We present several algorithms, namely a basic approach, an anytime one, and one based on heuristics, which is guaranteed to return sound results. Furthermore, we also study inconsistency in probabilistic Datalog+?/?? ontologies. We propose two approaches for computing preferred repairs based on two different notions of distance between repairs, namely symmetric and score-based distance. We also study the complexity of the decision problems corresponding to computing such repairs, which turn out to be polynomial and NP-complete in the data complexity, respectively.     

OXPath: A language for scalable data extraction, automation, and crawling on the deep web

The evolution of the web has outpaced itself: A growing wealth of information and increasingly sophisticated interfaces necessitate automated processing, yet existing automation and data extraction technologies have been overwhelmed by this very growth. To address this trend, we identify four key requirements for web data extraction, automation, and (focused) web crawling: (1) interact with sophisticated web application interfaces, (2) precisely capture the relevant data to be extracted, (3) scale with the number of visited pages, and (4) readily embed into existing web technologies. We introduce OXPath as an extension of XPath for interacting with web applications and extracting data thus revealed—matching all the above requirements. OXPath’s page-at-a-time evaluation guarantees memory use independent of the number of visited pages, yet remains polynomial in time. We experimentally validate the theoretical complexity and demonstrate that OXPath’s resource consumption is dominated by page rendering in the underlying browser. With an extensive study of sublanguages and properties of OXPath, we pinpoint the effect of specific features on evaluation performance. Our experiments show that OXPath outperforms existing commercial and academic data extraction tools by a wide margin.     

A comprehensive survey of industry practice in real-time systems

Real-Time Systems - This paper presents results and observations from a survey of 120 industry practitioners in the field of real-time embedded systems. The survey provides insights into the...     

Writing with Fluid: Structuring Hydrogels with Micrometer Precision by AFM in Combination with Nanofluidics

Hydrogels have many applications in biomedical surface modification and tissue engineering. However, the structuring of hydrogels after their formation represents still a major challenge, in particular due to their softness. Here, a novel approach is presented that is based on the combination of atomic force microscopy (AFM) and nanofluidics, also referred to as FluidFM technology. Its applicability is demonstrated for supramolecular hydrogel films that are prepared from low‐molecular weight hydrogelators, such as derivates of 1,3,5‐benzene tricarboxamides (BTAs). BTA films can be dissolved selectively by ejecting alkaline solution through the aperture of a hollow AFM‐cantilever connected to a nanofluidic controller. The AFM‐based force control is essential in preventing mechanical destruction of the hydrogels. The resulting “chemical writing” process is studied in detail and the influence of various parameters, such as applied pressure and time, is validated. It is demonstrated that the achievable structuring precision is primarily limited by diffusion and the aperture dimensions. Recently, various additive techniques have been presented to pattern hydrogels. The here‐presented subtractive approach can not only be applied to structure hydrogels from the large class of reversibly formed gels with superior resolution but would also allow for the selective loading of the hydrogels with active substances or nanoparticles.     

Paper‐Derived Ferroelectric Ceramics: A Feasibility Study

Preceramic paper may serve as a preform to manufacture single sheet as well as multilayer porous ferroelectric ceramic products. In this article, the authors discuss the formation, microstructure, and properties of preceramic papers highly loaded with BaTiO₃ filler ranging from 70 to 80 vol% and their conversion into ceramic materials. In order to increase the density of the single sheets, post calendering is applied. These sheets are used for the fabrication of multilayer ceramics using warm lamination technique. After binder burnout and sintering up to 1300 °C for 2 h in air, porous paper‐derived multilayer BaTiO₃ is obtained. The effect of ceramic filler content and calendering on the residual porosity in sintered samples is studied. Furthermore, the influence of porosity on the microstructure, mechanical, dielectric, and piezoelectric properties of the sintered BaTiO₃ ceramics is investigated.

     

Inorganic-Based Printed Thermoelectric Materials and Devices

One of the simplest ways to generate electric power from waste heat is thermoelectric (TE) energy conversion. So far, most of the research on thermoelectrics has focused on inorganic bulk TE materials and their device applications. However, high production costs per power output and limited shape conformity hinder applications of state-of-the-art thermoelectric devices (TEDs). In recent years, printed thermoelectrics has emerged as an exciting pathway for their potential in the production of low-cost shape-conformable TEDs. Although several inorganic bulk TE materials with high performance are successfully developed, achieving high performance in inorganic-based printed TE materials is still a challenge. Nevertheless, significant progress has been made in printed thermoelectrics in recent years. In this review article, it is started with an introduction signifying the importance of printed thermoelectrics followed by a discussion of theoretical concepts of thermoelectricity, from fundamental transport phenomena to device efficiency. Afterward, the general process of inorganic TE ink formulation is summarized, and the current development of the inorganic and hybrid inks with the mention of their TE properties and their influencing factors is elaborated. In the end, TEDs with different architecture and geometries are highlighted by documenting their performance and fabrication techniques.     

Balanitis/balanoposthitis chronica circumscripta benigna plasmacellularis--entity or fiction?

During the years 1985 up to 1995 53 patients between 18 and 80 years of age (mean age 54.7 years) with histologically and clinically proven Zoon's balanitis were treated by circumcision. The majority of patients had symptoms for more than 12 months. In five cases they had lasted for 8, 10, 16, 17 and 47 (!) years. 30 patients were investigated by means of physical examination and questionnaire in this retrospective study. Lesions involved glans in all patients, while in 17 of 30 patients both glans and prepuce were involved. None of the patients showed lesions of the prepuce only. In most cases Zoon's balanitis was successfully treated by circumcision in a period of two to four weeks. In four cases, psoriatic lesions, and in one case lichen ruber was diagnosed. In the remaining patient, whose circumcision was inadequate, a small area of balanitis persisted in the sulcus coronarius still covered by the foreskin. The curative effect of adequate circumcision in 100% of patients suggests that Zoon's balanitis is a relatively non-specific reactive balanitis caused by a disturbed "preputial-ecology". It is remarkable that other distinct inflammatory diseases of glans and prepuce can show features which are identical to those Zoon's balanitis.     

Hot Photo–Carriers, Excitons, Desorption, and Surface Diffusion in Rare Gas Solids

The dynamics of valence excitations of rare gas solids were studied with time–and spectrally resolved luminescence experiments. From the decay curves of the free–exciton luminescence in solid X _e , information concerning exciton transport and electron–hole recombination was deduced. The peculiar role of excitons stimulating the luminescence of surface centers and of desorption phenomena was analysed in a simple model system (Kr doped solid Ar). From a time–resolved analysis of the luminescence of surface centers, thermally activated lateral diffusion of Kr* metastables on the surface of the Ar host was established.     

Infrastructure Federation Through Virtualized Delegation of Resources and Services

Infrastructure federation is becoming an increasingly important issue for modern Distributed Computing Infrastructures (DCIs): Dynamic elasticity of quasi-static Grid environments, incorporation of special-purpose resources into commoditized Cloud infrastructures, cross-community collaboration for increasingly diverging areas of modern e-Science, and Cloud Bursting pose major challenges on the technical level for many resource and middleware providers. Especially with respect to increasing costs of operating data centers, the intelligent yet automated and secure sharing of resources is a key factor for success. With the D-Grid Scheduler Interoperability (DGSI) project within the German D-Grid Initiative, we provide a strategic technology for the automatically negotiated, SLA-secured, dynamically provisioned federation of resources and services for Grid-and Cloud-type infrastructures. This goal is achieved by complementing current DCI schedulers with the ability to federate infrastructure for the temporary leasing of resources and rechanneling of workloads. In this work, we describe the overall architecture and SLA-secured negotiation protocols within DGSI and depict an advanced mechanism for resource delegation through means of dynamically provisioned, virtualized middleware. Through this methodology, we provide the technological foundation for intelligent capacity planning and workload management in a cross-infrastructure fashion.     

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

Maintaining integrity and consistency, and effecting conformance in architectures of large-scale systems require specification and enforcement of many different forms of structural constraints. While type systems have proved effective for enforcing structural constraints in programs and data structures, most architectural modeling frameworks include only weak notions of typing or rely on first order logic constraint languages that have steep learning curves associated with them and that become unwieldy when scaling to large systems.We present the Cadena Architecture Language with Meta-modeling (CALM) — that uses multi-level type systems to specify and enforce a variety of architectural constraints relevant to the development of large-scale component-based systems. Cadena is a robust and extensible tool that has been used to specify a number of industrial strength component models and applied in multiple industrial research projects on model-driven development and software product lines.