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.

Magnetosensitive e-skins with directional perception for augmented reality.

Abstract: Electronic skins equipped with artificial receptors are able to extend our perception beyond the modalities that have naturally evolved. These synthetic receptors offer complimentary information on our surroundings and endow us with novel means of manipulating physical or even virtual objects. We realize highly compliant magnetosensitive skins with directional perception that enable magnetic cognition, body position tracking, and touchless object manipulation. Transfer printing of eight high-performance spin valve sensors arranged into two Wheatstone bridges onto 1.7-μm-thick polyimide foils ensures mechanical imperceptibility. This resembles a new class of interactive devices extracting information from the surroundings through magnetic tags. We demonstrate this concept in augmented reality systems with virtual knob-turning functions and the operation of virtual dialing pads, based on the interaction with magnetic fields. This technology will enable a cornucopia of applications from navigation, motion tracking in robotics, regenerative medicine, and sports and gaming to interaction in supplemented reality.

The effects of CdSe incorporation into bulk heterojunction solar cells

Abstract: Hybrid solar cells based on CdSe nanoparticles and a PPV-type polymer containing fluorene and thiophene units (PFT) were investigated. The CdSe/PFT devices showed very low photocurrent and fill factor values, which was attributed to the poor charge transport in the TOPO-capped CdSe nanoparticle phase. Thus, ternary systems based on mixtures of PFT/CdSe and the fullerene derivative PCBM were investigated. The CdSe:PCBM ratio was varied, and nanoparticles with different sizes were also used. It was observed that for the optimized composition of 20 wt% PFT + 40 wt% CdSe + 40 wt% PCBM the devices presented higher photocurrents and efficiencies. The photophysical and electrochemical properties and microscopy images (AFM and HRTEM) of the ternary systems were systematically investigated to elucidate the mechanism of action of the inorganic nanoparticles in these ternary hybrid devices.

SAT-Based Synthesis Methods for Safety Specs

Abstract: Automatic synthesis of hardware components from declarative specifications is an ambitious endeavor in computer aided design. Existing synthesis algorithms are often implemented with Binary Decision Diagrams BDDs, inheriting their scalability limitations. Instead of BDDs, we propose several new methods to synthesize finite-state systems from safety specifications using decision procedures for the satisfiability of quantified and unquantified Boolean formulas SAT-, QBF- and EPR-solvers. The presented approaches are based on computational learning, templates, or reduction to first-order logic. We also present an efficient parallelization, and optimizations to utilize reachability information and incremental solving. Finally, we compare all methods in an extensive case study. Our new methods outperform BDDs and other existing work on some classes of benchmarks, and our parallelization achieves a super-linear speedup.

The Wage Expectations of European Business and Economics Students.

Abstract: Expected earnings and expected returns to education are seen by labor economists as a major determinant of educational attainment. In spite of this, the empirical knowledge about expectations and their formation is scarce. In this paper we report the results of the first systematic study of the wage expectations of European university students. Our data are based on a uniform questionnaire answered by about 3,000 business and economics university students across Europe. We study the determinants of wage expectations and expected employment probabilities, the variability of these expectations and their variation across countries and universities. We also examine the tradeoff between expected starting wages and expected wage growth.

Network harness: Metropolis public transport

Abstract: We analyze the public transport networks (PTNs) of 14 major cities of the world. While the primary network topology is defined by a set of routes each servicing an ordered series of given stations, a number of different neighborhood relations may be defined both for the routes and the stations. The networks defined in this way display distinguishing properties, the most striking being that often several routes proceed in parallel for a sequence of stations. Other networks with real-world links like cables or neurons embedded in two or three dimensions often show the same feature—we use the car engineering term harness for such networks. Geographical data for the routes reveal surprising self-avoiding walk (SAW) properties. We propose and simulate an evolutionary model of PTNs based on effectively interacting SAWs that reproduces the key features.