Holger Blume's Books

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

By: Holger Blume

Write a review Read reviews Take a Quiz Solve Book Puzzle

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

By: Holger Blume

The European research project DESERVE (DEvelopment platform for Safe and Efficient dRiVE, 2012-2015) had the aim of designing and developing a platform tool to cope with the continuously increasing complexity and the simultaneous need to reduce cost for future embedded Advanced Driver Assistance Systems (ADAS). For this purpose, the DESERVE platform profits from cross-domain software reuse, standardization of automotive software component interfaces, and easy but safety-compliant integration of heterogeneous modules. This enables the development of a new generation of ADAS applications, which challengingly combine different functions, sensors, actuators, hardware platforms, and Human Machine Interfaces (HMI). This book presents the different results of the DESERVE project concerning the ADAS development platform, test case functions, and validation and evaluation of different approaches. The reader is invited to substantiate the content of this book with the deliverables published during the DESERVE project. Technical topics discussed in this book include: Modern ADAS development platforms; Design space exploration;DRIVER MODELLING;Video-based and Radar-based ADAS functions;HMI for ADAS;Vehicle-hardware-in-the-loop validation systems

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

312

Publisher

River Publishers

Published Date

ISBN 10

8793519141

ISBN 13

9788793519145

Small Cell Networks

Deployment, Management, and Optimization

By: Holger Claussen,David Lopez-Perez,Lester Ho,Rouzbeh Razavi,Stepan Kucera

Write a review Read reviews Take a Quiz Solve Book Puzzle

Small Cell Networks

Deployment, Management, and Optimization

By: Holger Claussen,David Lopez-Perez,Lester Ho,Rouzbeh Razavi,Stepan Kucera

The first and only up-to-date guide offering complete coverage of HetNets—written by top researchers and engineers in the field Small Cell Networks: Deployment, Management, and Optimization addresses key problems of the cellular network evolution towards HetNets. It focuses on the latest developments in heterogeneous and small cell networks, as well as their deployment, operation, and maintenance. It also covers the full spectrum of the topic, from academic, research, and business to the practice of HetNets in a coherent manner. Additionally, it provides complete and practical guidelines to vendors and operators interested in deploying small cells. The first comprehensive book written by well-known researchers and engineers from Nokia Bell Labs, Small Cell Networks begins with an introduction to the subject—offering chapters on capacity scaling and key requirements of future networks. It then moves on to sections on coverage and capacity optimization, and interference management. From there, the book covers mobility management, energy efficiency, and small cell deployment, ending with a section devoted to future trends and applications. The book also contains: The latest review of research outcomes on HetNets based on both theoretical analyses and network simulations Over 200 sources from 3GPP, the Small Cell Forum, journals and conference proceedings, and all prominent topics in HetNet An overview of indoor coverage techniques such as metrocells, picocells and femtocells, and their deployment and optimization Real case studies as well as innovative research results based on both simulation and measurements Detailed information on simulating heterogeneous networks as used in the examples throughout the book Given the importance of HetNets for future wireless communications, Small Cell Networks: Deployment, Management, and Optimization is sure to help decision makers as they consider the migration of services to HetNets. It will also appeal to anyone involved in information and communication technology.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

618

Publisher

John Wiley & Sons

Published Date

ISBN 10

1119307589

ISBN 13

9781119307587

Urban Economics and Fiscal Policy

By: Holger Sieg

Write a review Read reviews Take a Quiz Solve Book Puzzle

Urban Economics and Fiscal Policy

By: Holger Sieg

An innovative advanced-undergraduate and graduate-level textbook in urban economics With more than half of today’s global GDP being produced by approximately four hundred metropolitan centers, learning about the economics of cities is vital to understanding economic prosperity. This textbook introduces graduate and upper-division undergraduate students to the field of urban economics and fiscal policy, relying on a modern approach that integrates theoretical and empirical analysis. Based on material that Holger Sieg has taught at the University of Pennsylvania, Urban Economics and Fiscal Policy brings the most recent insights from the field into the classroom. Divided into short chapters, the book explores fiscal policies that directly shape economic issues in cities, such as city taxes, the provision of quality education, access to affordable housing, and protection from crime and natural hazards. For each issue, Sieg offers questions, facts, and background; illuminates how economic theory helps students engage with topics; and presents empirical data that shows how economic ideas play out in daily life. Throughout, the book pushes readers to think critically and immediately put what they are learning to use by applying cutting-edge theory to data. A much-needed resource for students and policymakers, Urban Economics and Fiscal Policy offers a unique approach to a vital and fast-growing area of economic study. Introduces advanced-undergraduate and graduate students to urban economics Presents the latest theoretical and empirical research Applies economic tools to real-world issues, including housing, labor, education, crime, and the environment Explains and uses simple economic models and quantitative analysis

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

552

Publisher

Princeton University Press

Published Date

ISBN 10

0691190844

ISBN 13

9780691190846

A Mathematical Introduction to Compressive Sensing

By: Simon Foucart,Holger Rauhut

Write a review Read reviews Take a Quiz Solve Book Puzzle

A Mathematical Introduction to Compressive Sensing

By: Simon Foucart,Holger Rauhut

At the intersection of mathematics, engineering, and computer science sits the thriving field of compressive sensing. Based on the premise that data acquisition and compression can be performed simultaneously, compressive sensing finds applications in imaging, signal processing, and many other domains. In the areas of applied mathematics, electrical engineering, and theoretical computer science, an explosion of research activity has already followed the theoretical results that highlighted the efficiency of the basic principles. The elegant ideas behind these principles are also of independent interest to pure mathematicians. A Mathematical Introduction to Compressive Sensing gives a detailed account of the core theory upon which the field is build. With only moderate prerequisites, it is an excellent textbook for graduate courses in mathematics, engineering, and computer science. It also serves as a reliable resource for practitioners and researchers in these disciplines who want to acquire a careful understanding of the subject. A Mathematical Introduction to Compressive Sensing uses a mathematical perspective to present the core of the theory underlying compressive sensing.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

634

Publisher

Springer Science & Business Media

Published Date

ISBN 10

0817649484

ISBN 13

9780817649487

Automatic verification of behavior preservation at the transformation level for relational model transformation

By: Dyck, Johannes,Giese, Holger,Lambers, Leen

Write a review Read reviews Take a Quiz Solve Book Puzzle

Automatic verification of behavior preservation at the transformation level for relational model transformation

By: Dyck, Johannes,Giese, Holger,Lambers, Leen

The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the most important correctness property avoiding the introduction of semantic errors during the model-driven engineering process. Behavior preservation verification techniques either show that specific properties are preserved, or more generally and complex, they show some kind of behavioral equivalence or refinement between source and target model of the transformation. Both kinds of behavior preservation verification goals have been presented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach available at the transformation level, i.e. for all source and target models specified by the model transformation. In this report, we extend our results presented in [27] and outline a new sophisticated approach for the automatic verification of behavior preservation captured by bisimulation resp. simulation for model transformations specified by triple graph grammars and semantic definitions given by graph transformation rules. In particular, we show that the behavior preservation problem can be reduced to invariant checking for graph transformation and that the resulting checking problem can be addressed by our own invariant checker even for a complex example where a sequence chart is transformed into communicating automata. We further discuss today's limitations of invariant checking for graph transformation and motivate further lines of future work in this direction.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

126

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

3869563915

ISBN 13

9783869563916

Inductive invariant checking with partial negative application conditions

By: Dyck, Johannes,Giese, Holger

Write a review Read reviews Take a Quiz Solve Book Puzzle

Inductive invariant checking with partial negative application conditions

By: Dyck, Johannes,Giese, Holger

Graph transformation systems are a powerful formal model to capture model transformations or systems with infinite state space, among others. However, this expressive power comes at the cost of rather limited automated analysis capabilities. The general case of unbounded many initial graphs or infinite state spaces is only supported by approaches with rather limited scalability or expressiveness. In this report we improve an existing approach for the automated verification of inductive invariants for graph transformation systems. By employing partial negative application conditions to represent and check many alternative conditions in a more compact manner, we can check examples with rules and constraints of substantially higher complexity. We also substantially extend the expressive power by supporting more complex negative application conditions and provide higher accuracy by employing advanced implication checks. The improvements are evaluated and compared with another applicable tool by considering three case studies.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Universitätsverlag Potsdam

Published Date

ISBN 10

3869563338

ISBN 13

9783869563336

The Economics of Staging the Olympics

A Comparison of the Games, 1972-2008

By: Holger Preuss

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Economics of Staging the Olympics

A Comparison of the Games, 1972-2008

By: Holger Preuss

This book arises from the need to analyse, in detail, the various economic aspects that the Olympic Games mean for host cities. Since 1984 increasingly more cities in the world have announced their interest in staging the Olympic Games, making it a festival with significant economic dimensions. What followed have been economic triumphs and tragedies, glories and fiascos - all are included in the 36 years of Olympic history reviewed in this book." - foreword.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

360

Publisher

Edward Elgar Publishing

Published Date

ISBN 10

1781008698

ISBN 13

9781781008690

Microwave Technology

Field Simulation, Non-linear Circuit Technology, Components and Subsystems, Plasma Technology, Antennas and Propagation

By: Holger Heuermann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Microwave Technology

Field Simulation, Non-linear Circuit Technology, Components and Subsystems, Plasma Technology, Antennas and Propagation

By: Holger Heuermann

The book covers various numerical field simulation methods, nonlinear circuit technology and its MF-S- and X-parameters, as well as state-of-the-art power amplifier techniques. It also describes newly presented oscillators and the emerging field of GHz plasma technology. Furthermore, it addresses aspects such as waveguides, mixers, phase-locked loops, antennas, and propagation effects, in combination with the bachelor's book 'High-Frequency Engineering,' encompassing all aspects related to the current state of GHz technology. Content Waveguides (Fundamentals) Basics of field simulation (Free-space simulation, Numerical field simulation) Fundamentals of nonlinear RF technology (Nonlinear simulation methods) Introduction to Mixed-Frequency S-parameters (X-parameters, Harmonic Radar) Power amplifiers (Classical operating modes A, AB, B, and C, Circuit concepts of power amplifiers, D to S operation, Configurations of power amplifiers) Oscillators (Two-port oscillators, Single-port oscillators) Detectors and mixers (Single-sideband converters and IQ modulators) Phase-locked loops and synthesis generators (-Fractional-N synthesis generator) Technically generated plasmas (GHz Plasma jets, Lamps, Spark plugs, Scalpels, Decoupled plasma) Antennas (Fundamentals, Array antennas) Propagation (Fundamentals) The author Prof. Dr.-Ing. Holger Heuermann teaches and conducts research at IMP at FH Aachen.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

394

Publisher

Springer Nature

Published Date

ISBN 10

3658456868

ISBN 13

9783658456863

Rumelant Von Sachsen

Edition, Übersetzung, Kommentar

By: Rumelant (von Sachsen),Holger Runow

Write a review Read reviews Take a Quiz Solve Book Puzzle

Rumelant Von Sachsen

Edition, Übersetzung, Kommentar

By: Rumelant (von Sachsen),Holger Runow

Rumelant von Sachsen gehört zu den produktivsten Sangspruchdichtern des 13. Jahrhunderts. Als Fahrender war er weiträumig im deutschsprachigen Raum unterwegs, von Aachen bis Braunschweig, von Bayern bis Schwerin, sogar bis nach Dänemark, wo er den unaufgeklärten Königsmord von 1286 anprangert und den jungen Nachfolger lobt. Das Spruchoeuvre umfasst Lob- und Scheltestrophen, Gnomik und Moraldidaxe, geistliche Unterweisung, Erbauung und Gebet. Damit ist das typische Spektrum der Gattung abgedeckt; es finden sich aber auch gedanklich wie sprachlich anspruchsvolle heilsgeschichtliche und kosmologische Entwürfe. Rumelants z.T. hoch artifizieller Stil weist hierbei bereits auf die gelehrte meisterliche Dichtung Frauenlobs oder Heinrichs von Mügeln voraus. Erstmals wird nun eine vollständige und zusammenhängende kritische Edition vorgelegt, die neben den über 100 Sangspruchstrophen auch die drei bislang wenig beachteten Minnelieder Rumelants enthält, daneben auch einige ihm zugeschriebene spätere Meisterlieder und eine lateinische Kontrafaktur. Die mittelhochdeutschen Texte werden ergänzt um neuhochdeutsche Übersetzungen sowie einen umfangreichen Kommentarteil.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

337

Publisher

Walter de Gruyter

Published Date

ISBN 10

3110232839

ISBN 13

9783110232837

Book's by Holger Blume

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

Towards a Common Software/Hardware Methodology for Future Advanced Driver Assistance Systems

Small Cell Networks

Small Cell Networks

Urban Economics and Fiscal Policy

Urban Economics and Fiscal Policy

A Mathematical Introduction to Compressive Sensing

A Mathematical Introduction to Compressive Sensing

Automatic verification of behavior preservation at the transformation level for relational model transformation

Automatic verification of behavior preservation at the transformation level for relational model transformation

Inductive invariant checking with partial negative application conditions

Inductive invariant checking with partial negative application conditions

The Economics of Staging the Olympics

The Economics of Staging the Olympics

Microwave Technology

Microwave Technology

Rumelant Von Sachsen

Rumelant Von Sachsen

Username

Password

Username

Password

Password again

Birthday

Email