Hagenberg ResearchBruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger Springer Science & Business Media, 29.05.2009 - 488 Seiten BrunoBuchberger This book is a synopsis of basic and applied research done at the various re search institutions of the Softwarepark Hagenberg in Austria. Starting with 15 coworkers in my Research Institute for Symbolic Computation (RISC), I initiated the Softwarepark Hagenberg in 1987 on request of the Upper Aus trian Government with the objective of creating a scienti?c, technological, and economic impulse for the region and the international community. In the meantime, in a joint e?ort, the Softwarepark Hagenberg has grown to the current (2009) size of over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs on the bachelor, master’s and PhD level. The goal of the Softwarepark Hagenberg is innovation of economy in one of the most important current technologies: software. It is the message of this book that this can only be achieved and guaranteed long term by “watering the root”, namely emphasis on research, both basic and applied. In this book, we summarize what has been achieved in terms of research in the various research institutions in the Softwarepark Hagenberg and what research vision we have for the imminent future. When I founded the Softwarepark Hagenberg, in addition to the “watering the root” principle, I had the vision that such a technology park can only prosper if we realize the “magic triangle”, i.e. the close interaction of research, academic education, and business applications at one site, see Figure 1. |
Inhalt
16 | |
Rational Algebraic Curves Theory and Application | 40 |
Nonlinear Resonance Analysis | 49 |
Automated Reasoning | 63 |
Natural Style Proving in Theorema | 74 |
Program Verification | 91 |
III | 102 |
vi | 132 |
DataDriven and KnowledgeBased Modeling 237 | 236 |
Introduction | 281 |
Parallel Distributed and Grid Computing 333 | 332 |
Pervasive Computing | 379 |
Interactive Displays and NextGeneration Interfaces | 433 |
2 | 438 |
Conclusions | 468 |
List of Editors and Authors | 483 |
Andere Ausgaben - Alle anzeigen
Häufige Begriffe und Wortgruppen
activities adaptation algebraic analysis annotations application approach Austrian automated automatically classification clusters components Computer Science concepts context database defined devices digital artifacts domain domain-specific domain-specific language domain-specific modeling editors environment evaluation example execution Figure framework function fuzzy models fuzzy sets fuzzy systems genetic algorithms genetic programming goal grid Gröbner bases Hagenberg heuristic identified IEEE implementation information extraction input integration interaction Johannes Kepler University kernel knowledge language Linz machine machine learning mathematical metaheuristics metamodel methods nodes ontology operations optimization parameters Pervasive Computing physical problem Proceedings process models processors query relations representation reuse RISC rules SCCH SEE++ semantic sensor software architecture software development software engineering software quality software system software testing solution space SPARQL spatial specific Springer strategy objects structure support vector machines Symbolic Computation task theorem tion user interface visual