A fully integrated 1‐in. AMOLED display using current feedback based on a five‐mask LTPS CMOS process

Abstract— In the past, a five‐mask LTPS CMOS process requiring only one single ion‐doping step was used. Based on that process, all necessary components for the realization of a fully integrated AMOLED display using a 3T1C current‐feedback pixel circuit has recently been developed. The integrated data driver is based on a newly developed LTPS operational amplifier, which does not require any compensation for Vth or mobility variations. Only one operational amplifier per column is used to perform digital‐to‐analog conversion as well as current control. In order to achieve high‐precision analog behavior, the operational amplifier is embedded in a switched capacitor network. In addition to circuit verification by simulation and analytic analysis, a 1‐in. fully integrated AMOLED demonstrator was successfully built. To the best of the authors' knowledge, this is the first implementation of a fully integrated AMOLED display with current feedback.     

Service Engineering: Linking Business and IT

With its strong emphasis on modularization, service-oriented computing radically alters the way business processes are modeled, realized, and maintained. Domain-specific services virtualize complex functions of the underlying business applications so that they can be loosely coupled to form transorganizational processes. This level of abstraction fosters agility and lessens traditional provider dependence. Service-oriented design has long driven the development of the telecommunications infrastructure and applications, especially intelligent network services. Applying the same principles of domain specificity, visualization, loose coupling, and seamless vertical integration to business processes has the potential to lead to a new generation of personalized, secure, and highly available Web services     

The Semantic Web: Collective Intelligence on the Web

The World Wide Web has turned hypertext into a success story by enabling world-wide sharing of unstructured information and informal knowledge. The Semantic Web targets the sharing of structured information and formal knowledge pursuing objectives of achieving collective intelligence on the Web. Germane to the structure of the Semantic Web is a layering and standardization of concerns. These concerns are reflected by an architecture of the Semantic Web that we present through a common use case. Semantic Web data for the use case is now found on the Web and is part of a quickly growing set of Semantic Web resources available for formal processing.     

Comparing notions of randomness

It is an open problem in the area of effective (algorithmic) randomness whether Kolmogorov-Loveland randomness coincides with Martin-Löf randomness. Joe Miller and André Nies suggested some variations of Kolmogorov-Loveland randomness to approach this problem and to provide a partial solution. We show that their proposed notion of injective randomness is still weaker than Martin-Löf randomness. Since in this proof some of the ideas we use are clearer, we also show the weaker theorem that permutation randomness is weaker than Martin-Löf randomness.     

“From microtiter plates to droplets” tools for micro-fluidic droplet processing

Droplet-based microfluidic allows high throughput experimentation in with low volume droplets. Essential fluidic process steps are on the one hand the proper control of the droplet composition and on the other hand the droplet processing, manipulation and storage. Beside integrated fluidic chips, standard PTFE-tubings and fluid connectors can be used in combination with appropriate pumps to realize almost all necessary fluidic processes. The segmented flow technique usually operates with droplets of about 100–500 nL volume. These droplets are embedded in an immiscible fluid and confined by channel walls. For the integration of segmented flow applications in established research workflows—which are usually base on microtiter plates—robotic interface tools for parallel/serial and serial/parallel transfer operations are necessary. Especially dose–response experiments are well suited for the segmented flow technique. We developed different transfer tools including an automated “gradient take-up tool” for the generation of segment sequences with gradually changing composition of the individual droplets. The general working principles are introduced and the fluidic characterizations are given. As exemplary application for a dose–response experiment the inhibitory effect of antibiotic tetracycline on Escherichia coli bacteria cultivated inside nanoliter droplets was investigated.     

Ein Planungsansatz zum Umgang mit Störungen bei der Produktion: Die flexible Produktionsfeinplanung mithilfe von Planungsschritten

Disruptions like the breakdown of machines or delays in the delivery of materials cause generated production plans to be useless, at least in some parts. A new planning approach for coping with this uncertainty caused by disruptions is presented. Planning steps that are described by properties, preconditions and consequences are used for material requirements planning and scheduling. If their preconditions are satisfied in a certain state of environment, planning steps will be applicable. The consequences of planning steps change the state of environment. Each customer order establishes a goal of a new planning problem to be achieved by applying planning steps. Plan execution concerns all planning steps applicable in a certain state of environment. In choosing among applicable planning steps and among available resources the flexibility of plan execution is preserved.     

On stability of signature-based similarity measures for content-based image retrieval

Retrieving similar images from large image databases is a challenging task for today’s content-based retrieval systems. Aiming at high retrieval performance, these systems frequently capture the user’s notion of similarity through expressive image models and adaptive similarity measures. On the query side, image models can significantly differ in quality compared to those stored on the database side. Thus, similarity measures have to be robust against these individual quality changes in order to maintain high retrieval performance. In this paper, we investigate the robustness of the family of signature-based similarity measures in the context of content-based image retrieval. To this end, we introduce the generic concept of average precision stability, which measures the stability of a similarity measure with respect to changes in quality between the query and database side. In addition to the mathematical definition of average precision stability, we include a performance evaluation of the major signature-based similarity measures focusing on their stability with respect to querying image databases by examples of varying quality. Our performance evaluation on recent benchmark image databases reveals that the highest retrieval performance does not necessarily coincide with the highest stability.     

Comparison of satellite-derived and in-situ observations of ice and snow surface temperatures over Greenland

The most practical way to get spatially broad and continuous measurements of the surface temperature in the data-sparse cryosphere is by satellite remote sensing. The uncertainties in satellite-derived LSTs must be understood to develop internally-consistent decade-scale land surface temperature (LST) records needed for climate studies. In this work we assess satellite-derived “clear-sky” LST products from the Moderate Resolution Imaging Spectroradiometer (MODIS) and the Advanced Spaceborne Thermal Emission and Reflection Radiometer (ASTER), and LSTs derived from the Enhanced Thematic Mapper Plus (ETM+) over snow and ice on Greenland. When possible, we compare satellite-derived LSTs with in-situ air temperature observations from Greenland Climate Network (GC-Net) automatic weather stations (AWS). We find that MODIS, ASTER and ETM+ provide reliable and consistent LSTs under clear-sky conditions and relatively-flat terrain over snow and ice targets over a range of temperatures from ? 40 to 0 °C. The satellite-derived LSTs agree within a relative RMS uncertainty of ~ 0.5 °C. The good agreement among the LSTs derived from the various satellite instruments is especially notable since different spectral channels and different retrieval algorithms are used to calculate LST from the raw satellite data. The AWS record in-situ data at a “point” while the satellite instruments record data over an area varying in size from: 57 × 57 m (ETM+), 90 × 90 m (ASTER), or to 1 × 1 km (MODIS). Surface topography and other factors contribute to variability of LST within a pixel, thus the AWS measurements may not be representative of the LST of the pixel. Without more information on the local spatial patterns of LST, the AWS LST cannot be considered valid ground truth for the satellite measurements, with RMS uncertainty ~ 2 °C. Despite the relatively large AWS-derived uncertainty, we find LST data are characterized by high accuracy but have uncertain absolute precision.     

Tool-supported enhancement of diagnosis in model-driven verification

We show on a case study from an autonomous aerospace context how to apply a game-based model-checking approach as a powerful technique for the verification, diagnosis, and adaptation of system behaviors based on temporal properties. This work is part of our contribution within the SHADOWS project, where we provide a number of enabling technologies for model-driven self-healing. We propose here to use GEAR, a game-based model checker, as a user-friendly tool that can offer automatic proofs of critical properties of such systems. Although it is a model checker for the full modal μ-calculus, it also supports derived, more user-oriented logics. With GEAR, designers and engineers can interactively investigate automatically generated winning strategies for the games, by this way exploring the connection between the property, the system, and the proof. This work has been partially supported by the European Union Specific Targeted Research Project SHADOWS (IST-2006-35157), exploring a Self-Healing Approach to Designing cOmplex softWare Systems. The project’s web page is at . This article is an extended version of Renner et al. [18] presented at ISoLA 2007, Poitiers, December 2007.