Holger Kleine's Books

The Drama of Space

Spatial Sequences and Compositions in Architecture

By: Holger Kleine

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Drama of Space

Spatial Sequences and Compositions in Architecture

By: Holger Kleine

The experience of architectural spaces is formed by the way they are staged. The Drama of Space examines the composition and articulation of architectural spaces in terms of spatial dramaturgy, as a repertoire of means and strategies for shaping spatial experience. This fundamental approach to architectural design is presented in four parts: Archetypal principles of spatial composition are traced from the study of three assembly buildings of the early modern period in Venice. Theatre, film, music, and theory provide background knowledge on dramaturgy. Detailed analyses of 18 international case studies offer new perspectives on contemporary architecture. The book ends with a systematic presentation of the dramaturgy of space, its parameters and tools, in architectural design.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

296

Publisher

Birkhäuser

Published Date

ISBN 10

3035604355

ISBN 13

9783035604351

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

By: Holger H. Hoos

Write a review Read reviews Take a Quiz Solve Book Puzzle

Theory and Applications of Satisfiability Testing

7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers

By: Holger H. Hoos

This book constitutes the refereed proceedings of the 7th International Conference on Theory and Applications of Satisfiability Testing, SAT 2004, held in Vancouver, BC, Canada in May 2004. The 24 revised full papers presented together with 2 invited papers were carefully selected from 72 submissions. In addition there are 2 reports on the 2004 SAT Solver Competition and the 2004 QBF Solver Evaluation. The whole spectrum of research in propositional and quantified Boolean formula satisfiability testing is covered; bringing together the fields of theoretical and experimental computer science as well as the many relevant application areas.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

405

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354027829X

ISBN 13

9783540278290

Platonic Patterns

By: Holger Thesleff

Write a review Read reviews Take a Quiz Solve Book Puzzle

Platonic Patterns

By: Holger Thesleff

Platonic Patterns is a reprint collection of many of Holger Thesleff's studies in Plato-spanning from 1967 to 2003. It includes three books, four articles and a new introduction by the author, which sets the general outline of his interpretation of Plato. Whereas much of the scholarship on Plato has tended to operate within the frame of one language and/or a single school of thought, Thesleff constructively combines several discoveries and theories (philosophical, philological and historical) of various scholars with his own research, focusing on how Plato can be understood in his own context.The work represents small but significant breakthroughs in research on Plato from an internationally inclusive standpoint. Having previously been published mainly in Finland by scholarly societies, availability outside the Nordic countries has, up until now, been minimal.Thesleff employs his singular expertise of Greek language and literature to make innovative contributions to the study and interpretation of Plato. He thematically stresses the significance of the less overt elements found in Plato's dialogues, such as Plato's use of humor and his linguistic expression, while taking into account the chronology and/or the intended audience.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

537

Publisher

Parmenides Publishing

Published Date

ISBN 10

1930972598

ISBN 13

9781930972599

Geschichten aus dem Leben

(Kurzgeschichten)

By: Holger Ucher

Write a review Read reviews Take a Quiz Solve Book Puzzle

Geschichten aus dem Leben

(Kurzgeschichten)

By: Holger Ucher

„Na toll! Jetzt stehen wir halb nackt auf der Autobahn mit offenem Airbag und leerem Tank. Und nun?“ Das Leben schreibt oft skurrile, manchmal auch witzige, aber fast immer spannende Geschichten. Tag für Tag passieren sie - jeder kennt sie. Passiert sind sie jedoch immer nur Arbeitskollegen, den Nachbarn oder Bekannten von Freunden. Keiner möchte zugeben, selbst Teil einer solchen Geschichte gewesen zu sein. Und das macht den Reiz an diesen Geschichten aus. Amüsant, spannend, peinlich, ernst – wie das richtige Leben!

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

abbv.de

Published Date

ISBN 10

3938697016

ISBN 13

9783938697016

A Global Radical Waterfront

The International Propaganda Committee of Transport Workers and the International of Seamen and Harbour Workers, 1921–1937

By: Holger Weiss

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Global Radical Waterfront

The International Propaganda Committee of Transport Workers and the International of Seamen and Harbour Workers, 1921–1937

By: Holger Weiss

This volume investigates the ambition of the Red International of Labour Unions to radicalize the global waterfront during the interwar period. The main vehicle was the International Propaganda Committee of Transport Workers, replaced in 1930 by the International of Seamen and Harbour Workers as well as their agitation and propaganda centres, the International Harbour Bureaus and the International Seamen’s Clubs. The book scrutinizes their solidarity campaigns in support of local and national strikes as well as on their agitation against discrimination, segregation and racism within the unions, their demands to organize non-white maritime transport workers, and their calls for engagement in anti-fascist, anti-war and anti-imperialist actions.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

523

Publisher

BRILL

Published Date

ISBN 10

9004463283

ISBN 13

9789004463288

Chemical Micro Process Engineering

Fundamentals, Modelling and Reactions

By: Volker Hessel,Steffen Hardt,Holger Löwe

Write a review Read reviews Take a Quiz Solve Book Puzzle

Chemical Micro Process Engineering

Fundamentals, Modelling and Reactions

By: Volker Hessel,Steffen Hardt,Holger Löwe

Micro process engineering is approaching both academia and industry. With the provision of micro devices and systems by commercial suppliers, one main barrier for using these units has been eliminated. More and more they become familiar, thereby being one facet of the upheaval in chemical industry. This book focuses on processes rather than on devices: what is 'before' and 'behind' micro device fabrication. A comprehensive and detailed overview is given on: - A multi-faceted, hierarchic analysis of chemical micro process technology - Modelling and simulation of micro reactors - Liquid- and liquid/liquid-phase reactions - Gas/liquid reactions - Gas-phase reactions (heterogeneous catalysis)

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

712

Publisher

John Wiley & Sons

Published Date

ISBN 10

3527605371

ISBN 13

9783527605378

The Sonic Persona

An Anthropology of Sound

By: Holger Schulze

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Sonic Persona

An Anthropology of Sound

By: Holger Schulze

In The Sonic Persona, Holger Schulze undertakes a critical study of some of the most influential studies in sound since the 19th century in the natural sciences, the engineering sciences, and in media theory, confronting them with contemporary artistic practices, with experimental critique, and with disturbing sonic experiences. From Hermann von Helmholtz to Miley Cyrus, from FLUXUS to the Arab Spring, from Wavefield Synthesis to otoacoustic emissions, from premillennial clubculture to postdemocratic authoritarianism, from signal processing to human echolocation: This book presents a fundamental critique concerning recent sound theories and their anthropological concepts – and proposes an alternate, a more plastic, a visceral framework for research in the field of a cultural anthropology of sounding and listening. This anthropology of sound takes its readers and listeners on a research expedition to the multitude of alien humanoids and their surprising sonic personae: in dynamic and generative tension between predetermined auditory dispositives, miniscule and not seldomly ignored sound practices, and idiosyncratic sensory corpuses: a critique of the senses. I'm going to prove the impossible really exists.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

273

Publisher

Bloomsbury Publishing USA

Published Date

ISBN 10

1501305484

ISBN 13

9781501305481

Das Bastler-Handbuch für den THEC64 Mini

By: Holger Weßling

Write a review Read reviews Take a Quiz Solve Book Puzzle

Das Bastler-Handbuch für den THEC64 Mini

By: Holger Weßling

Wer einen C64 besaß und an ihm herumbastelte, dem wird dieses Buch gefallen. Ich habe Dir hier eine große Sammlung an Tipps und Tricks, Hardwarebasteleien, nützliche Software und viele sehr interessante Internetlinks für den Mini zusammengetragen. Retro Games hat mir zu jeder Frage und jedem Thema, Rede und Antwort gestanden. So sind sehr viele ganz offizielle Antworten in das Buch geflossen. Die Softwarelösungen, die ich vorstelle, machen das Bedienen und Erweitern des Minis um neue Spiele einfacher als es bisher nur mit dem Original Menü gelingt. So gibt es ein paar Tools und Tricks die das Laden von neuen Spielen über einem USB-Stick deutlich vereinfachen und ich zeige Möglichkeiten auf, wie Du alle Deine Spiele aus nahezu allen Commodore Dateiformaten auf dem Mini verwenden kannst. Ich habe engagierte User gefunden und befragt, die den Mini so gut es ging auseinandergenommen und analysiert haben, woraus die ersten Hardwarebasteleien entstanden sind, von denen Du jetzt profitieren kannst. So erfährst Du z.B. etwas über die Joystick- bzw. USB-Kompatibilitäten, warum es zu Verzögerungen kommen kann zwischen einer Joystickaktion und der Bildschirmdarstellung und was Du dagegen unternehmen kannst. Etwas tiefer greifende Veränderungen des Systems sind auch möglich, so dass Du z. B. auch um die Menümusik zu ändern, was zunächst einmal banal erscheint, technisch aber doch etwas schwieriger umzusetzen ist als man meinen mag. Ich denke und hoffe, das Du in diesem Buch viel Anregungen findest, die Dir die Liebe zum C64 wiederaufleben oder vertiefen lässt und Du viel Spaß beim Spielen und experimentieren haben wirst.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

160

Publisher

Andrews UK Limited

Published Date

ISBN 10

1789820235

ISBN 13

9781789820232

Germany's Vision of Empire in Venezuela, 1871-1914

By: Holger H. Herwig

Write a review Read reviews Take a Quiz Solve Book Puzzle

Germany's Vision of Empire in Venezuela, 1871-1914

By: Holger H. Herwig

The book details which Germans pushed for overseas expansion, how they tried to implement their ambitions, and why they ultimately failed. Discussions of political leaders and diplomats, the navy, German nationals overseas, and the German Evangelical Church and its missions abroad contribute to the history of Wilhelmian Germany. Originally published in 1986. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

300

Publisher

Princeton University Press

Published Date

ISBN 10

1400858275

ISBN 13

9781400858279

Regulating the Closed Corporation

By: Gregor Bachmann,Horst Eidenmüller,Andreas Engert,Holger Fleischer,Wolfgang Schön

Write a review Read reviews Take a Quiz Solve Book Puzzle

Regulating the Closed Corporation

By: Gregor Bachmann,Horst Eidenmüller,Andreas Engert,Holger Fleischer,Wolfgang Schön

The renowned authors of this ECFR special volume systematically develop legal standards and regulatory frameworks for closed corporations in Europe (including of course the Societas Privata Europaea), putting a strong focus on the economic practice and efficiency. The profound, in-depth analysis of the objectives and strategies comes to groundbreaking insights and also offers specific solutions for a multitude of practical aspects.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

276

Publisher

Walter de Gruyter

Published Date

ISBN 10

311029527X

ISBN 13

9783110295276

European Citizenship and Social Integration in the European Union

By: Jürgen Gerhards,Holger Lengfeld

Write a review Read reviews Take a Quiz Solve Book Puzzle

European Citizenship and Social Integration in the European Union

By: Jürgen Gerhards,Holger Lengfeld

Since 2008, the European Union has been affected by one of the most severe crises in the history of Europe. This book builds on the work of Jürgen Habermas to answer the key question: is Europe strong enough to overcome the recent crisis? Arguing that recovery can only take place if the citizens of Europe regard themselves as members of a socially integrated European society, this volume sets out three conditions for successful European social integration: European citizens mutually respect each other as equals, accepting that all EU citizens should have equal economic, political and social rights. Those citizens objecting to the idea of European equality should not constitute a minority with potential for mobilisation that could impede the ongoing process of European social integration. Europeans act upon their equality beliefs in everyday practice – without differentiating between nationals and EU migrants. Based on a survey carried out in Germany, Spain, Poland and Turkey, the authors argue that the requirements for a socially integrated Europe are largely in place already. Their findings allow for optimism regarding the future of the EU, as the cultural foundations for a democratisation of Europe are laid. This volume develops a theoretical framework of a socially integrated European community, and will be useful for students and scholars of sociology, citizenship studies, social policy, political science and European studies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

251

Publisher

Routledge

Published Date

ISBN 10

1317563778

ISBN 13

9781317563778

candy for extremists / honig für extremisten

fear fun and fury

By: holger sasum

Write a review Read reviews Take a Quiz Solve Book Puzzle

candy for extremists / honig für extremisten

fear fun and fury

By: holger sasum

so und so ein mann macht sich auf um in richtung süden zu wandern oder eine frau kommt um mitternacht in eine bar das ist ein grosser unterschied der anfang ist entscheidend und richtungsweisend oder eine frau kommt in eine bar um mitternacht und trifft einen mann der bis vor kurzem noch im süden war das geht auch so and so a man sets out for a walk south or a woman comes into a bar at midnight thats a big difference the beginning is crucial and pointing the way ahead or a woman comes into a bar at midnight meeting a man who as of shortly still was in the south that's possible too

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

273

Publisher

epubli

Published Date

ISBN 10

3737524300

ISBN 13

9783737524308

Through Tears and Laughter

Precious Memories and Critters I've Known

By: Holger H. Goerlitz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Through Tears and Laughter

Precious Memories and Critters I've Known

By: Holger H. Goerlitz

Having decided to approach this work as based on our family history via the critters (horses, dogs, cats, etc.) that came and sometimes tragically passed through our lives. I intended this work as a prequel to what I considered my main work, which will follow this book.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

392

Publisher

Christian Faith Publishing, Inc.

Published Date

ISBN 10

1685178979

ISBN 13

9781685178970

Coconut Colonialism

Workers and the Globalization of Samoa

By: Holger Droessler

Write a review Read reviews Take a Quiz Solve Book Puzzle

Coconut Colonialism

Workers and the Globalization of Samoa

By: Holger Droessler

A new history of globalization and empire at the crossroads of the Pacific. Located halfway between HawaiÔi and Australia, the islands of Samoa have long been a center of Oceanian cultural and economic exchange. Accustomed to exercising agency in trade and diplomacy, Samoans found themselves enmeshed in a new form of globalization after missionaries and traders arrived in the middle of the nineteenth century. As the great powers of Europe and America competed to bring Samoa into their orbits, Germany and the United States eventually agreed to divide the islands for their burgeoning colonial holdings. In Coconut Colonialism, Holger Droessler examines the Samoan response through the lives of its workers. Ordinary SamoansÑsome on large plantations, others on their own small holdingsÑpicked and processed coconuts and cocoa, tapped rubber trees, and built roads and ports that brought cash crops to Europe and North America. At the same time, Samoans redefined their own way of being in the worldÑwhat Droessler terms ÒOceanian globalityÓÑto challenge German and American visions of a global economy that in fact served only the needs of Western capitalism. Through cooperative farming, Samoans contested the exploitative wage-labor system introduced by colonial powers. The islanders also participated in ethnographic shows around the world, turning them into diplomatic missions and making friends with fellow colonized peoples. Samoans thereby found ways to press their own agendas and regain a degree of independence. Based on research in multiple languages and countries, Coconut Colonialism offers new insights into the global history of labor and empire at the dawn of the twentieth century.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

305

Publisher

Harvard University Press

Published Date

ISBN 10

0674263332

ISBN 13

9780674263338

Histamine H4 receptor

a Novel Drug Target For Immunoregulation and Inflammation

By: Holger Stark

Write a review Read reviews Take a Quiz Solve Book Puzzle

Histamine H4 receptor

a Novel Drug Target For Immunoregulation and Inflammation

By: Holger Stark

H4 R is the newest member of the histamine receptor family, which was discovered about twelve years ago. It is considered a very promising drug target. The effort to improve the pharmacokinetic properties of the currently available H4 R ligands is reflected in a steadily growing number of scientific publications and patent applications. Preclinical data strongly confirms the need for novel potent H4 R ligands to explore their therapeutic value in allergy, inflammation, autoimmune disorders, and possibly, cancer. Readers will be provided with extensive knowledge on histamine metabolism, as well as cellular histamine transport, storage and release, effects of histamine and histamine receptor ligands, with particular attention to the H4 R, on inflammatory cells including mast cells, basophils, eosinophils, neutrophils, macrophages, dendritic cells, and T cells. The present knowledge on the regulatory role of histamine and the therapeutic exploitation of histamine receptor ligands in atopic diseases, with emphasis on human and animal models of asthma, allergic dermatitis and pruritus are discussed.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

368

Publisher

Walter de Gruyter

Published Date

ISBN 10

8376560565

ISBN 13

9788376560564

Early Stage Investments in New Technology Based Firms

Analyzing the Changing German Landscape of Venture Capital Finance in the Light of Capital Market Theory and New Institutional Economics

By: Holger Ludewig

Write a review Read reviews Take a Quiz Solve Book Puzzle

Early Stage Investments in New Technology Based Firms

Analyzing the Changing German Landscape of Venture Capital Finance in the Light of Capital Market Theory and New Institutional Economics

By: Holger Ludewig

Inhaltsangabe:Abstract: In recent years the issue of early stage investment in new technology based firms has drawn considerable attention. Its relevance emerges from the rise of high technology industries in the global economy. As competition in established, mature industries all over the world is ever increasing, the importance of keeping up and increasing the speed of innovation to ensure competitiveness of companies and national wealth is widely recognized. Innovation may concern products or processes. It refers to the development of new proprietary knowledge, i. e. technology, which is embodied in marketable products or services. In as far as the added private knowledge increases the utility of a product to the customers, it adds value. Unless the new features of a product are matched by competitors, a company may earn innovation rents. Thus proprietary knowledge attained through innovation is an important source of strategic advantage. In a competitive, dynamic market, however innovation rents are not sustainable. Competitors will attempt to match and exceed the innovation advantage. This may be achieved by imitation or by adding other or more innovative features. Whereas following the product life cycle model initial growth may be steep and rents may be high for the first mover, imitators competing on price and other rivals competing on innovations, may inflate the monopolistic power of the proprietary knowledge. Striving to maintain and increase market shares and profitability, companies thus have a strong incentive to keep innovating. For new technology-based firms the importance of proprietary knowledge is particularly pronounced. These start-ups operate in a hostile competitive environment, characterized by high uncertainty, offering the potential for rapid growth and high profits on the upside, but also the substantial threat of incurring deep losses on the downside. Whereas large companies generally possess a diversified product portfolio and a host of strategic assets, small companies will need to compete on a single new product or service and the determination of its management team. Politicians, worried by high unemployment and budget deficits, lately fell in love with the high-technology start-ups for their ability to create jobs and ensure future tax revenues. New technology-based firms are drivers of structural change in the economy in that they are among the first to enter new high growth potential industries. For [...]

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

192

Publisher

diplom.de

Published Date

ISBN 10

383241214X

ISBN 13

9783832412142

Military Occupation under the Eyes of the Lord

Studies in Erfurt during the Thirty Years War

By: Holger Berg

Write a review Read reviews Take a Quiz Solve Book Puzzle

Military Occupation under the Eyes of the Lord

Studies in Erfurt during the Thirty Years War

By: Holger Berg

Diente der Krieg als Katalysator religiösen Wandels? Dieser Frage geht Holger Berg am Beispiel Erfurts in der Zeit des Dreißigjährigen Krieges nach. Zuwiderlaufende Thesen über die Stärkung bzw. den Abbruch bestehender Lehren infolge des Krieges werden anhand des reichhaltigen Quellenmaterials erstmals empirisch überprüft. Während u.a. Predigten und Erbauungsbücher die Lehren vierer Pfarrer dokumentieren, geben historiographische Handschriften Auskunft über die Überzeugungen der Laien. Der breit angelegte Blickwinkel auf Pfarrer und Gemeindeglieder bietet nuancierte Ergebnisse sowohl für die Kirchengeschichte als auch für die historisch-anthropologische Forschung. Wer sich für den Zusammenhang von Leid, gelebtem Glauben und Kriegserfahrungen interessiert, gewinnt hier ungewöhnliche Einblicke.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

397

Publisher

Vandenhoeck & Ruprecht

Published Date

ISBN 10

3647564559

ISBN 13

9783647564555

Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars

By: Giese, Holger ,Hildebrandt, Stephan,Neumann, Stefan,Wätzold, Sebastian

Write a review Read reviews Take a Quiz Solve Book Puzzle

Industrial Case Study on the Integration of SysML and AUTOSAR with Triple Graph Grammars

By: Giese, Holger ,Hildebrandt, Stephan,Neumann, Stefan,Wätzold, Sebastian

During the overall development of complex engineering systems different modeling notations are employed. For example, in the domain of automotive systems system engineering models are employed quite early to capture the requirements and basic structuring of the entire system, while software engineering models are used later on to describe the concrete software architecture. Each model helps in addressing the specific design issue with appropriate notations and at a suitable level of abstraction. However, when we step forward from system design to the software design, the engineers have to ensure that all decisions captured in the system design model are correctly transferred to the software engineering model. Even worse, when changes occur later on in either model, today the consistency has to be reestablished in a cumbersome manual step. In this report, we present in an extended version of [Holger Giese, Stefan Neumann, and Stephan Hildebrandt. Model Synchronization at Work: Keeping SysML and AUTOSAR Models Consistent. In Gregor Engels, Claus Lewerentz, Wilhelm Schäfer, Andy Schürr, and B. Westfechtel, editors, Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday, volume 5765 of Lecture Notes in Computer Science, pages 555-579. Springer Berlin / Heidelberg, 2010.] how model synchronization and consistency rules can be applied to automate this task and ensure that the different models are kept consistent. We also introduce a general approach for model synchronization. Besides synchronization, the approach consists of tool adapters as well as consistency rules covering the overlap between the synchronized parts of a model and the rest. We present the model synchronization algorithm based on triple graph grammars in detail and further exemplify the general approach by means of a model synchronization solution between system engineering models in SysML and software engineering models in AUTOSAR which has been developed for an industrial partner. In the appendix as extension to [19] the meta-models and all TGG rules for the SysML to AUTOSAR model synchronization are documented.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

3869561912

ISBN 13

9783869561912

Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata

By: Krause, Christian,Giese, Holger

Write a review Read reviews Take a Quiz Solve Book Puzzle

Quantitative Modeling and Analysis of Service-oriented Real-time Systems Using Interval Probabilistic Timed Automata

By: Krause, Christian,Giese, Holger

One of the key challenges in service-oriented systems engineering is the prediction and assurance of non-functional properties, such as the reliability and the availability of composite interorganizational services. Such systems are often characterized by a variety of inherent uncertainties, which must be addressed in the modeling and the analysis approach. The different relevant types of uncertainties can be categorized into (1) epistemic uncertainties due to incomplete knowledge and (2) randomization as explicitly used in protocols or as a result of physical processes. In this report, we study a probabilistic timed model which allows us to quantitatively reason about nonfunctional properties for a restricted class of service-oriented real-time systems using formal methods. To properly motivate the choice for the used approach, we devise a requirements catalogue for the modeling and the analysis of probabilistic real-time systems with uncertainties and provide evidence that the uncertainties of type (1) and (2) in the targeted systems have a major impact on the used models and require distinguished analysis approaches. The formal model we use in this report are Interval Probabilistic Timed Automata (IPTA). Based on the outlined requirements, we give evidence that this model provides both enough expressiveness for a realistic and modular specifiation of the targeted class of systems, and suitable formal methods for analyzing properties, such as safety and reliability properties in a quantitative manner. As technical means for the quantitative analysis, we build on probabilistic model checking, specifically on probabilistic time-bounded reachability analysis and computation of expected reachability rewards and costs. To carry out the quantitative analysis using probabilistic model checking, we developed an extension of the Prism tool for modeling and analyzing IPTA. Our extension of Prism introduces a means for modeling probabilistic uncertainty in the form of probability intervals, as required for IPTA. For analyzing IPTA, our Prism extension moreover adds support for probabilistic reachability checking and computation of expected rewards and costs. We discuss the performance of our extended version of Prism and compare the interval-based IPTA approach to models with fixed probabilities.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

3869561718

ISBN 13

9783869561714

On a Knife Edge

How Germany Lost the First World War

By: Holger Afflerbach

Write a review Read reviews Take a Quiz Solve Book Puzzle

On a Knife Edge

How Germany Lost the First World War

By: Holger Afflerbach

A fundamental reassessment of German politics and strategy during the First World War and why it was that Germany lost.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

573

Publisher

Cambridge University Press

Published Date

ISBN 10

1108832881

ISBN 13

9781108832885

AM Envelope

The Potential of Additive Manufacturing for Facade Constructions

By: Holger Strauss

Write a review Read reviews Take a Quiz Solve Book Puzzle

AM Envelope

The Potential of Additive Manufacturing for Facade Constructions

By: Holger Strauss

This book shows the potential of Additive Manufacturing (AM) for the development of building envelopes: AM will change the way of designing facades, how we engineer and produce them. To achieve today’s demands from those future envelopes, we have to find new solutions. The term ‘AM Envelope’ (Additive Manufacturing Envelope) describes the transfer of this technology to the building envelope. Additive Fabrication is a building block that aids in developing the building envelope from a mere space enclosure to a dynamic building envelope. AM offers the opportunity to manufacture facades ‘just in time’. It is no longer necessary to store or produce large numbers of parts in advance. Initial investment for tooling can be avoided, as design improvements can be realized within the dataset of the AM part. AM is based on ‘tool-less’ production, all parts can be further developed with every new generation. The basic principle of AM opens a fascinating new world of engineering, no matter what applications can be found: to ‘design for function’ rather to ‘design for production’ turns our way of engineering of the last century upside down. A collection of AM applications therefore offers the outlook to our (built) future in combination with the acquired knowledge.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

279

Publisher

TU Delft

Published Date

ISBN 10

1481214330

ISBN 13

9781481214339

Cyber-physical Systems with Dynamic Structure

Towards Modeling and Verification of Inductive Invariants

By: Basil Becker,Holger Giese

Write a review Read reviews Take a Quiz Solve Book Puzzle

Cyber-physical Systems with Dynamic Structure

Towards Modeling and Verification of Inductive Invariants

By: Basil Becker,Holger Giese

Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

386956217X

ISBN 13

9783869562179

Nanotechnology

Assessment and Perspectives

By: Harald Brune,Holger Ernst,Armin Grunwald,Werner Grünwald,Heinrich Hofmann,Harald Krug,Peter Janich,Marcel Mayor,Wolfgang Rathgeber,Günter Schmid,Ulrich Simon,Viola Vogel,Daniel Wyrwa

Write a review Read reviews Take a Quiz Solve Book Puzzle

Nanotechnology

Assessment and Perspectives

By: Harald Brune,Holger Ernst,Armin Grunwald,Werner Grünwald,Heinrich Hofmann,Harald Krug,Peter Janich,Marcel Mayor,Wolfgang Rathgeber,Günter Schmid,Ulrich Simon,Viola Vogel,Daniel Wyrwa

The study tackles the subject in a new and unique way: Due to the fact that the borders between classical academic disciplines disappear at the nanoscale, a truly interdisciplinary approach is chosen. A functional definition of nanotechnology is developed by the authors as basis for the further sections of the study. The most important results enable recommendations with respect to scientific progress, industrial relevance, economic potential, educational needs, potential adverse health effects and philosophical aspects of nanotechnology. The book addresses the relevant decision levels, media, and academia.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

494

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540328203

ISBN 13

9783540328209

Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata

By: Stefan Neumann,Holger Giese

Write a review Read reviews Take a Quiz Solve Book Puzzle

Scalable Compatibility for Embedded Real-time Components Via Language Progressive Timed Automata

By: Stefan Neumann,Holger Giese

The proper composition of independently developed components of an embedded real- time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. Nowadays related compatibility problems have to be addressed in a cumbersome integration and configuration phase at the end of the development process, that in the worst case may fail. Therefore, a number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing properties can be excluded and that suitable configurations can be found. However, the proposed solutions require a number of strong assumptions that can be hardly fulfilled or the required analysis does not scale well. In this paper, we present an approach based on timed automata that can provide the required guarantees for the later integration without strong assumptions, which are difficult to match in practice. The approach provides a modular reasoning scheme that permits to establish the required guarantees for the integration employing only local checks, which therefore also scales. It is also possible to determine potential configuration settings by means of timed game synthesis.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

3869562269

ISBN 13

9783869562261

German Environmental Law for Practitioners

By: Horst Schlemminger,Claus-Peter Martens,Holger Wissel,Jane Martens

Write a review Read reviews Take a Quiz Solve Book Puzzle

German Environmental Law for Practitioners

By: Horst Schlemminger,Claus-Peter Martens,Holger Wissel,Jane Martens

Environmental Law for Practitioners is an invaluable, practice-related introduction to environmental law in Germany, written by specialist legal advisers with extensive experience in the practical application of environmental law. This wholly revised second edition takes account of recent developments in rapidly changing environmental legislation and case-law. It is essential reading for foreign investors as well as providing swift, ready access to legal provisions and terms in both German and English. The book comprises an English description of environmental law in Germany and a bilingual compilation of the most important environmental statute texts. After a brief introduction to German environmental law and a short discussion of the legal bases and principles, fundamental aspects of significant interest to foreign investors are examined. The regulation of environmentally relevant activities is explained in a clear, concise way. Responsibility for residual pollution is discussed in detail. The book also provides a clear overview of both environmental private law and environmental criminal law, focussing on new developments relevant to investors and outlining recent trends in environmental litigation. In addition, environmental levies and their practical application as a formative instrument of environmental policy are described. The relationship between environmental law and contract is also explored. Finally, the authors look at environmental management systems and access to environmental information. The bilingual statute texts make vital legislation on the pollution and protection of the environment available to advisers and investors alike.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

866

Publisher

Kluwer Law International B.V.

Published Date

ISBN 10

9041122818

ISBN 13

9789041122810

Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction

By: Holger Scherl

Write a review Read reviews Take a Quiz Solve Book Puzzle

Evaluation of State-of-the-Art Hardware Architectures for Fast Cone-Beam CT Reconstruction

By: Holger Scherl

Holger Scherl introduces the reader to the reconstruction problem in computed tomography and its major scientific challenges that range from computational efficiency to the fulfillment of Tuy's sufficiency condition. The assessed hardware architectures include multi- and many-core systems, cell broadband engine architecture, graphics processing units, and field programmable gate arrays.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

145

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3834882593

ISBN 13

9783834882592

Model-driven engineering of adaptation engines for self-adaptive software

executable runtime megamodels

By: Thomas Vogel,Holger Giese

Write a review Read reviews Take a Quiz Solve Book Puzzle

Model-driven engineering of adaptation engines for self-adaptive software

executable runtime megamodels

By: Thomas Vogel,Holger Giese

The development of self-adaptive software requires the engineering of an adaptation engine that controls and adapts the underlying adaptable software by means of feedback loops. The adaptation engine often describes the adaptation by using runtime models representing relevant aspects of the adaptable software and particular activities such as analysis and planning that operate on these runtime models. To systematically address the interplay between runtime models and adaptation activities in adaptation engines, runtime megamodels have been proposed for self-adaptive software. A runtime megamodel is a specific runtime model whose elements are runtime models and adaptation activities. Thus, a megamodel captures the interplay between multiple models and between models and activities as well as the activation of the activities. In this article, we go one step further and present a modeling language for ExecUtable RuntimE MegAmodels (EUREMA) that considerably eases the development of adaptation engines by following a model-driven engineering approach. We provide a domain-specific modeling language and a runtime interpreter for adaptation engines, in particular for feedback loops. Megamodels are kept explicit and alive at runtime and by interpreting them, they are directly executed to run feedback loops. Additionally, they can be dynamically adjusted to adapt feedback loops. Thus, EUREMA supports development by making feedback loops, their runtime models, and adaptation activities explicit at a higher level of abstraction. Moreover, it enables complex solutions where multiple feedback loops interact or even operate on top of each other. Finally, it leverages the co-existence of self-adaptation and off-line adaptation for evolution.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

3869562277

ISBN 13

9783869562278

Understanding Body Shapes of Animals

Shapes as mechanical constructions and Systems moving on minimal energy level

By: Holger Preuschoft

Write a review Read reviews Take a Quiz Solve Book Puzzle

Understanding Body Shapes of Animals

Shapes as mechanical constructions and Systems moving on minimal energy level

By: Holger Preuschoft

This book discusses how and why animals evolved into particular shapes. The book identifies the physical laws which decide over the evolutionary (selective) value of body shape and morphological characters. Comparing the mechanical necessities with morphological details, the author attempts to understand how evolution works, and which sorts of limitations are set by selection. The book explains morphological traits in more biomechanical detail without getting lost in physics, or in methods. Most emphasis is placed on the proximate question, namely the identification of the mechanical stresses which must be sustained by the respective body parts, when they move the body or its parts against resistance. In the first part of the book the focus is on ‘primitive’ animals and later on the emphasis shifts to highly specialized mammals. Readers will learn more about living and fossil animals. A section of the book is dedicated to human evolution but not to produce another evolutionary tree, nor to refine a former one, but to contribute to answering the question: “WHY early humans have developed their particular body shape".

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

587

Publisher

Springer Nature

Published Date

ISBN 10

3030276686

ISBN 13

9783030276683

Manual on Estimation of Selectivity for Gillnet and Longline Gears in Abundance Surveys

By: Holger Hovgêrd,Food and Agriculture Organization,Hans Lassen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Manual on Estimation of Selectivity for Gillnet and Longline Gears in Abundance Surveys

By: Holger Hovgêrd,Food and Agriculture Organization,Hans Lassen

This manual defines methods for estimating selectivity of gillnet and longline gears, with particular reference to the use of these gears in abundance surveys. The manual illustrates how gear design, the basic concepts of size selection and fish morphometric data can be used to model selectivity. Statistical estimation methods are described in detail, and examples given of their application in spreadsheets. The efficient use of these gears in abundance and research surveys is also discussed. Although the manual concentrates on gillnets and longlines, the methods given are general enough to be relevant to any research involving gear selectivity

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Food & Agriculture Org.

Published Date

ISBN 10

9250044615

ISBN 13

9789250044613

Book's by Holger Kleine

Username

Password

Password again

Birthday

Email