In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency.

The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

Originally published in 1987. This study evaluates micro- and macroeconomic determinants for the export performance of European suppliers to the markets of the Association of Southeast Asian Nations (ASEAN). By comparing marketing strategies and the respective economic environment of suppliers from ElH"ope , Japan , and the U S - the major exporter

In a model-based development of software systems different views on a system are elaborated using appropriate modeling languages and techniques. Because of the unavoidable heterogeneity of the viewpoint models, a semantic integration is required, to establish the correspondences of the models and allow checking of their relative consistency.

The integration approach introduced in this book is based on a common semantic domain of abstract systems, their composition and development. Its applicability is shown through semantic interpretations and compositional comparisons of different specification approaches. These range from formal specification techniques like process calculi, Petri nets and rule-based formalisms to semiformal software modeling languages like those in the UML family.

This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering." On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur ] ingenieurwissenschaftliche Anwendungen," short Soft- Spez, oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on "Integration of Sp- i?cation Techniques for Applications in Engineering." INT 2004 was launched as a satellite event of ETAPS in Barcelona, the "European Joint Conferences on Theory and Practice of Software." The Priority Program SoftSpez was initiated by W. Brauer, M. Broy, H. Ehrig, H. J. Kreowski, H. Reichel, and H. Weber concerning di?erent aspects from computer science, and by E. Schnieder and E. Westk] amper concerning two main application areas in engineering, namely "Tra?c Control Systems" and "Production Automation." After acceptance of SoftSpez by the German Research Council for the period of 1998-2004 a call for speci?c projects within this priority program was launched, where 11 projects from about 75 project proposals were accepted for a period of two years. Since 1998 each year the main research proposals and results of the projects have been presented at an annual colloquium of the priority program, and every two years the projects have been evaluated by an independent group of referees appointed by the G- man Research Council. At this point we would like to thank A."

Die Studie befasst sich mit Sexualitat in der Heimerziehung. Hierbei wird ein Zugang gewahlt, der Sexualitat als sozialpadagogischen Gegenstand konturiert und vor diesem Hintergrund danach fragt, wie Padagog*innen diesen in vermittelnder Weise den Adressat*innen (re-)prasentieren. Auf der Grundlage von Interaktionsprotokollen nimmt die Studie das Vermittlungshandeln sowohl auf der Ebene der Gegenstandskonstituierung sowie der Ebene der Interaktionsgestaltung in den Blick. Daruber werden Einblicke in padagogisches Handeln geliefert, wie das kriseninduzierte Thema der Sexualitat im Kontext der Heimerziehung hergestellt und bearbeitet wird.

In dem Band werden "Koerper" und "Leib" als Analyse- und Erkenntniskonzepte sowohl auf das Handlungsfeld als auch das Theorie- und Forschungsfeld Soziale Arbeit bezogen. Zentraler Ausgangspunkt ist dabei, dass das Erfahren und das Widerfahren sozialpadagogischer Verfahren(-sweisen) an koerperleibliches Wahrnehmen und koerperleibliche Interaktionen aller beteiligten Akteur*innen ruckgebunden sind. Es werden Zugange prasentiert, die in unterschiedlicher Weise Aspekte von Koerper und Leib in der Sozialen Arbeit als Praxis und Wissenschaft thematisieren und somit einen hybriden Diskussionsraum eroeffnen.

In funf sorgfaltig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Pradikatenlogik, die fur das Verstandnis des formalisierten Problemlosens entscheidend und damit fur Informatiker unerlasslich sind. Eine Einfuhrung in die intuitive Mengentheorie vermittelt zunachst notwendige mathematische Grundlagen. Motiviert durch das Konzept von Datenstrukturen und abstrakten Datentypen werden dann algebraische Strukturen in der Informatik behandelt. Danach werden Aussagen- und Pradikatenlogik aus der Sicht der Mathematik und Informatik dargestellt. Schliesslich fuhrt die Kategorientheorie fur Informatiker in die Welt der abstrakten Behandlung mathematischer Strukturen ein.
Die Neuauflage wurde erweitert um Darstellungen zur Modellalgebra und zur Implementierung. Ubungsaufgaben wurden erganzt."

Monographs Of The Institute For The Study Of Analgesic And Sedative Drugs, No. 2.

Monographs Of The Institute For The Study Of Analgesics And Sedative Drugs, No. 1.

Monographs Of The Institute For The Study Of Analgesics And Sedative Drugs, No. 1.

Master's Thesis from the year 2006 in the subject Medicine - Biomedical Engineering, grade: 1.0, Technical University of Munich (LS Statik), course: Master of Science of Computational Mechanics, 94 entries in the bibliography, language: English, abstract: The process of adaptive bone remodeling can be described mathematically and simulated in a computer model, integrated with the finite element method. The main focus of this thesis is the implementation of a bone remodeling algorithm in MATLAB and ANSYS on the basis of FEM. The strain energy density is used as mechanical stimulus. The cortical and trabecular bone are described as continuous materials with variable density. This thesis can be divided into four main parts. The first part is due to the material properties of cortical and trabecular bone. The second part is about the remodeling theory and gives an historical review of the developed numerical approaches up to now. The implementation of the remodeling algorithm in ANSYS and MATLAB as well as its validation is topic of part three. In last main part, the algorithm is applied to a 2D FE-model of a human proximal femur.

Das vorliegende Buch prasentiert das gesamte klinische und wissenschaftliche Spektrum der neurologischen Beatmungsmedizin. Es wendet sich an alle AErzte, die beatmete neurologische Patienten betreuen, wie Neurologen, Anasthesisten, Internisten, Pneumologen, Intensivmediziner, Schlafmediziner und Palliativmediziner. Das Werk vermittelt sowohl die fur die neurointensivmedizinische und neurorehabilitative Behandlung als auch die fur die optimale Versorgung ausserklinisch beatmeter Patienten erforderlichen Kenntnisse. Zahlreiche Handlungsempfehlungen fur das Vorgehen bei den oft schwierigen Beatmungs- und Atemwegssituationen machen das Werk besonders praxistauglich.