Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Design Thinking Research
  • Language: en
  • Pages: 372

Design Thinking Research

  • Type: Book
  • -
  • Published: 2017-10-26
  • -
  • Publisher: Springer

This book summarizes the results of Design Thinking Research Program at Stanford University in Palo Alto, California, USA and the Hasso Plattner Institute in Potsdam, Germany. Offering readers a closer look at design thinking, its innovation processes and methods, it covers topics ranging from how to design ideas, methods and technologies, to creativity experiments and creative collaboration in the real world, and the interplay between designers and engineers. But the topics go beyond this in their detailed exploration of design thinking and its use in IT systems engineering fields, and even from a management perspective. The authors show how these methods and strategies actually work in com...

Design Thinking Research
  • Language: en
  • Pages: 361

Design Thinking Research

Extensive research conducted by the Hasso Plattner Design Thinking Research Program at Stanford University in Palo Alto, California, USA, and the Hasso Plattner Institute in Potsdam, Germany, has yielded valuable insights on why and how design thinking works. The participating researchers have identified metrics, developed models, and conducted studies, which are featured in this book, and in the previous volumes of this series. This volume provides readers with tools to bridge the gap between research and practice in design thinking with varied real world examples. Several different approaches to design thinking are presented in this volume. Acquired frameworks are leveraged to understand d...

Operating systems II - student projects
  • Language: en
  • Pages: 130

Operating systems II - student projects

EN This technical report presents the results of student projects which were prepared during the lecture “Operating Systems II” offered by the “Operating Systems and Middleware” group at HPI in the Summer term of 2020. The lecture covered ad- vanced aspects of operating system implementation and architecture on topics such as Virtualization, File Systems and Input/Output Systems. In addition to attending the lecture, the participating students were encouraged to gather practical experience by completing a project on a closely related topic over the course of the semester. The results of 10 selected exceptional projects are covered in this report. The students have completed hands-on ...

Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction
  • Language: en
  • Pages: 44

Invariant Analysis for Multi-Agent Graph Transformation Systems using k-Induction

The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result in intractably large or even infinite state spaces and may be equipped with multiple or even infinitely many start graphs. To mitigate these problems, static analysis techniques based on finite symbolic representations of sets of states or paths thereof have been devised. We focus on the technique of k-induction for establishing invariants specified using graph conditions. To this end, k-induction generates symbolic paths backwards from a symbolic state representing a violation of a candidate invariant to gather information on how that...

Deep learning for computer vision in the art domain
  • Language: en
  • Pages: 94

Deep learning for computer vision in the art domain

In recent years, computer vision algorithms based on machine learning have seen rapid development. In the past, research mostly focused on solving computer vision problems such as image classification or object detection on images displaying natural scenes. Nowadays other fields such as the field of cultural heritage, where an abundance of data is available, also get into the focus of research. In the line of current research endeavours, we collaborated with the Getty Research Institute which provided us with a challenging dataset, containing images of paintings and drawings. In this technical report, we present the results of the seminar "Deep Learning for Computer Vision". In this seminar,...

Probabilistic metric temporal graph logic
  • Language: en
  • Pages: 44

Probabilistic metric temporal graph logic

Cyber-physical systems often encompass complex concurrent behavior with timing constraints and probabilistic failures on demand. The analysis whether such systems with probabilistic timed behavior adhere to a given specification is essential. When the states of the system can be represented by graphs, the rule-based formalism of Probabilistic Timed Graph Transformation Systems (PTGTSs) can be used to suitably capture structure dynamics as well as probabilistic and timed behavior of the system. The model checking support for PTGTSs w.r.t. properties specified using Probabilistic Timed Computation Tree Logic (PTCTL) has been already presented. Moreover, for timed graph-based runtime monitoring...

Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation
  • Language: en
  • Pages: 54

Modeling and Formal Analysis of Meta-Ecosystems with Dynamic Structure using Graph Transformation

The dynamics of ecosystems is of crucial importance. Various model-based approaches exist to understand and analyze their internal effects. In this paper, we model the space structure dynamics and ecological dynamics of meta-ecosystems using the formal technique of Graph Transformation (short GT). We build GT models to describe how a meta-ecosystem (modeled as a graph) can evolve over time (modeled by GT rules) and to analyze these GT models with respect to qualitative properties such as the existence of structural stabilities. As a case study, we build three GT models describing the space structure dynamics and ecological dynamics of three different savanna meta-ecosystems. The first GT mod...

Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat
  • Language: en
  • Pages: 160

Proceedings of the HPI Research School on Service-oriented Systems Engineering 2020 Fall Retreat

Design and Implementation of service-oriented architectures imposes a huge number of research questions from the fields of software engineering, system analysis and modeling, adaptability, and application integration. Component orientation and web services are two approaches for design and realization of complex web-based system. Both approaches allow for dynamic application adaptation as well as integration of enterprise application. Service-Oriented Systems Engineering represents a symbiosis of best practices in object-orientation, component-based development, distributed computing, and business process management. It provides integration of business and IT concerns. The annual Ph.D. Retre...

Modeling and Verifying Dynamic Evolving Service-Oriented Architectures
  • Language: en
  • Pages: 106
The Pythonic Way
  • Language: en
  • Pages: 518

The Pythonic Way

Learn to build and manage better software with clean, intuitive, scalable, maintainable, and high-performance Python code. KEY FEATURES ● Comparative analysis of regular and Pythonic coding constructs. ● Illustrates application design paradigms for Python projects. ● Detailed pointers on optimal data processing and application design. ● Highlights accepted conventions for testing and managing production code. DESCRIPTION ‘The Pythonic Way' acquaints you with Python's capabilities beyond basic syntax. This book will help you understand widely accepted Pythonic constructs and procedures, thus enabling you to write reliable, optimized, and modular applications. You'll learn about Pyth...