Johannes Kepler University of Linz

About: Johannes Kepler University of Linz is a education organization based out in Linz, Oberösterreich, Austria. It is known for research contribution in the topics: Computer science & Thin film. The organization has 6605 authors who have published 19243 publications receiving 385667 citations.

Automatically Detecting and Tracking Inconsistencies in Software Design Models

Abstract: Software models typically contain many inconsistencies and consistency checkers help engineers find them. Even if engineers are willing to tolerate inconsistencies, they are better off knowing about their existence to avoid follow-on errors and unnecessary rework. However, current approaches do not detect or track inconsistencies fast enough. This paper presents an automated approach for detecting and tracking inconsistencies in real time (while the model changes). Engineers only need to define consistency rules-in any language-and our approach automatically identifies how model changes affect these consistency rules. It does this by observing the behavior of consistency rules to understand how they affect the model. The approach is quick, correct, scalable, fully automated, and easy to use as it does not require any special skills from the engineers using it. We evaluated the approach on 34 models with model sizes of up to 162,237 model elements and 24 types of consistency rules. Our empirical evaluation shows that our approach requires only 1.4 ms to reevaluate the consistency of the model after a change (on average); its performance is not noticeably affected by the model size and common consistency rules but only by the number of consistency rules, at the expense of a quite acceptable, linearly increasing memory consumption.

“Green” Electronics: Biodegradable and Biocompatible Materials and Devices for Sustainable Future

Abstract: “Green” electronics represents not only a novel scientific term but also an emerging area of research aimed at identifying compounds of natural origin and establishing economically efficient routes for the production of synthetic materials that have applicability in environmentally safe (biodegradable) and/or biocompatible devices. The ultimate goal of this research is to create paths for the production of human- and environmentally friendly electronics in general and the integration of such electronic circuits with living tissue in particular. Researching into the emerging class of “green” electronics may help fulfill not only the original promise of organic electronics that is to deliver low-cost and energy efficient materials and devices but also achieve unimaginable functionalities for electronics, for example benign integration into life and environment. This Review will highlight recent research advancements in this emerging group of materials and their integration in unconventional organic electronic devices.

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models

Abstract: Our objective is to provide automated support for assisting designers in fixing inconsistencies in UML models. We have previously developed techniques for efficiently detecting inconsistencies in such models and identifying where changes need to occur in order to fix problems detected by these means. This paper extends previous work by describing a technique for automatically generating a set of concrete changes for fixing inconsistencies and providing information about the impact of each change on all consistency rules. The approach is integrated with the design tool IBM Rational Rose . We demonstrate the computational scalability and usability of the approach through the empirical evaluation of 39 UML models of sizes up to 120,000 elements.

Mild Elevation of Pulmonary Arterial Pressure as a Predictor of Mortality

Abstract: Rationale: Normal mean pulmonary arterial pressure (mPAP) is 14.0 ± 3.3 mm Hg (mean ± SD). The prognostic relevance of mildly elevated mPAP not fulfilling the definition of pulmonary hypertension (PH; mPAP ≥ 25 mm Hg) has not been prospectively evaluated in a real-world setting.Objectives: To assess the association of resting mPAP with all-cause mortality in a retrospective and a prospective cohort of patients with unexplained dyspnea and/or at risk of PH.Methods: Prognostic cutoffs were calculated by means of 1) classification and regression tree (CART) analysis without any preset thresholds, and 2) preset thresholds on the basis of literature data defining mPAP as lower-normal (≤mean + 1 SD), upper-normal (between mean + 1 SD and mean + 2 SD), borderline (between mean + 2 SD and 25 mm Hg), and manifest PH (≥25 mm Hg). We performed univariate and multivariate survival analysis adjusted for age and comorbidities.Measurements and Main Results: We enrolled 547 patients, of whom 137, 56, 64, and 290 presente...

Excitonic condensation in a symmetric electron-hole bilayer.

Abstract: Using diffusion Monte Carlo simulations we have investigated the ground state of a symmetric electron-hole bilayer and determined its phase diagram at T = 0. We find clear evidence of an excitonic condensate, whose stability however is affected by an in-layer electronic correlation. This stabilizes the electron-hole plasma at large values of the density or interlayer distance, and the Wigner crystal at low density and large distance. We have also estimated pair correlation functions and low-order density matrices to give a microscopic characterization of correlations as well as to try and estimate the condensate fraction.