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.     

On error-correcting fingerprinting codes for use with watermarking

Digital fingerprinting has been suggested for copyright protection. Using a watermarking scheme, a fingerprint identifying the buyer is embedded in every copy sold. If an illegal copy appears, it can be traced back to the guilty user. By using collusion-secure codes, the fingerprinting system is made secure against cut-and-paste attacks. In this paper we study the interface between the collusion-secure fingerprinting codes and the underlying watermarking scheme, and we construct several codes which are both error-correcting and collusion-secure. Error-correction makes the system robust against successful attacks on the watermarking layer.     

Automatic image annotation using visual content and folksonomies

Automatic image annotation is an important and challenging task, and becomes increasingly necessary when managing large image collections. This paper describes techniques for automatic image annotation that take advantage of collaboratively annotated image databases, so called visual folksonomies. Our approach applies two techniques based on image analysis: First, classification annotates images with a controlled vocabulary and second tag propagation along visually similar images. The latter propagates user generated, folksonomic annotations and is therefore capable of dealing with an unlimited vocabulary. Experiments with a pool of Flickr images demonstrate the high accuracy and efficiency of the proposed methods in the task of automatic image annotation. Both techniques were applied in the prototypical tag recommender “tagr”.     

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.     

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.     

Verification and falsification of programs with loops using predicate abstraction

Predicate abstraction is a major abstraction technique for the verification of software. Data is abstracted by means of Boolean variables, which keep track of predicates over the data. In many cases, predicate abstraction suffers from the need for at least one predicate for each iteration of a loop construct in the program. We propose to extract looping counterexamples from the abstract model, and to parametrise the simulation instance in the number of loop iterations. We present a novel technique that speeds up the detection of long counterexamples as well as the verification of programs with loops.