Hagenberg research

This book is a synopsis of the basic and applied research carried out at the various research institutions of Softwarepark Hagenberg in Austria. Started in 1987, following a decision of the government of Upper Austria to create a scientific, technological, and economic impulse for the region and for the international community, Softwarepark Hagenberg has grown in size to over 1000 R&D employees and 1300 students in six research institutions, 40 companies and 20 academic study programs at the bachelor’s, master’s and PhD levels. The overall goal of Softwarepark Hagenberg is economic stimulation through innovative software technologies. The contributions in this book provide an overview of current research in the field of software science and related areas pursued at the six research institutions of Softwarepark Hagenberg. The subjects addressed range from computational logic and mathematics to software science and applied technologies. The message of this book is that economic and scientific innovation can only be achieved by emphasizing basic and applied research. 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. Front Matter....Pages i-viii Hagenberg Research: Introduction....Pages 1-4 Algorithms in Symbolic Computation....Pages 5-62 Automated Reasoning....Pages 63-101 Metaheuristic Optimization....Pages 103-155 Software Engineering – Processes and Tools....Pages 157-235 Data-Driven and Knowledge-Based Modeling....Pages 237-279 Information and Semantics in Databases and on the Web....Pages 281-331 Parallel, Distributed, and Grid Computing....Pages 333-378 Pervasive Computing....Pages 379-431 Interactive Displays and Next-Generation Interfaces....Pages 433-472 Back Matter....Pages 473-488 Presents a synopsis of the basic and applied research carried out at the various research institutions of Softwarepark Hagenberg in Austria. This book addresses subjects ranging from computational logic and mathematics to software science and applied technologies cover-large.JPG 1 front-matter.pdf 2 fulltext.pdf 9 fulltext_001.pdf 13 fulltext_002.pdf 71 fulltext_003.pdf 110 fulltext_004.pdf 163 fulltext_005.pdf 242 fulltext_006.pdf 285 fulltext_007.pdf 336 fulltext_008.pdf 382 fulltext_009.pdf 435 back-matter.pdf 475