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.

An individual-level perspective on intrapreneurship: a review and ways forward

Abstract: Intrapreneurship as a sub-field of entrepreneurship has increased in importance. Due to the crucial role of entrepreneurial employees with regard to innovation and competitive advantage, research has increased and various concepts have emerged. Despite the growing interest in the field, intrapreneurship is still lacking a clear classification of the related concepts as research has thus far been based on diverse theoretical approaches. Indeed, contributions in the field are fragmented, using various definitions. There is no systematic review providing an overview of the field. By distinguishing between corporate entrepreneurship, entrepreneurial orientation and intrapreneurship, this paper clearly positions intrapreneurship as individual-level concept. Most prior research has been done at the organizational level, focusing on concepts such as corporate entrepreneurship, but research concentrating on individual intrapreneurial employees is rare. Therefore, this paper closes the gap by performing a systematic literature review and using a narrow focus to present the current state of research with regard to the individual-level perspective on intrapreneurship. The results of the review make it possible to identify five different research streams based on the analytical levels applied. The research streams examined used various lenses and cover business, technological and academic contexts. In a final step, the findings and possible research agendas are integrated in a model that serves as the basis for future research initiatives. Hence the paper offers the possibility of a clearer justification for future research and is a first step towards a holistic research model related to intrapreneurship.

Highly monodisperse bismuth nanoparticles and their three-dimensional superlattices.

Abstract: A simple and reproducible synthesis of highly monodisperse and ligand-protected bismuth nanoparticles (Bi NPs) is reported. The size of the single-crystalline and spherically shaped NPs is controlled between 11 and 22 nm mainly by the reaction temperature. The high uniformity of the NPs allows their self-assembly into long-range-ordered two- and three-dimensional superstructures.

ModelPlex: verified runtime validation of verified cyber-physical system models

Abstract: Formal verification and validation play a crucial role in making cyber-physical systems (CPS) safe. Formal methods make strong guarantees about the system behavior if accurate models of the system can be obtained, including models of the controller and of the physical dynamics. In CPS, models are essential; but any model we could possibly build necessarily deviates from the real world. If the real system fits to the model, its behavior is guaranteed to satisfy the correctness properties verified with respect to the model. Otherwise, all bets are off. This article introduces ModelPlex, a method ensuring that verification results about models apply to CPS implementations. ModelPlex provides correctness guarantees for CPS executions at runtime: it combines offline verification of CPS models with runtime validation of system executions for compliance with the model. ModelPlex ensures in a provably correct way that the verification results obtained for the model apply to the actual system runs by monitoring the behavior of the world for compliance with the model. If, at some point, the observed behavior no longer complies with the model so that offline verification results no longer apply, ModelPlex initiates provably safe fallback actions, assuming the system dynamics deviation is bounded. This article, furthermore, develops a systematic technique to synthesize provably correct monitors automatically from CPS proofs in differential dynamic logic by a correct-by-construction approach, leading to verifiably correct runtime model validation. Overall, ModelPlex generates provably correct monitor conditions that, if checked to hold at runtime, are provably guaranteed to imply that the offline safety verification results about the CPS model apply to the present run of the actual CPS implementation.

Multigrid methods for a parameter dependent problem in primal variables

Abstract: In this paper we consider multigrid methods for the parameter dependent problem of nearly incompressible materials. We construct and analyze multilevel-projection algorithms, which can be applied to the mixed as well as to the equivalent, non-conforming finite element scheme in primal variables. For proper norms, we prove that the smoothing property and the approximation property hold with constants that are independent of the small parameter. Thus we obtain robust and optimal convergence rates for the W-cycle and the variable V-cycle multigrid methods. The numerical results pretty well conform the robustness and optimality of the multigrid methods proposed.