Søgning på underkategorier- og emner:
The Tamarin prover is an open-source analysis tool for cryptographic protocols. Given a specification of a protocol, possible adversaries, and the desired security properties, Tamarin either verifies the protocol or provides counter examples witnessing attacks.
This book introduces the reader to the art of modeling as a means of linking lung structure to... Læs mere
The quantum/classical mixed approach presented in this book allows researchers including graduate students of chemistry and physics to extract microscopic information of structure and dynamics from their vibrational spectroscopic experimental data with no help from theoreticians.
In this context haptic textures are fundamental for a realistic haptic perception of virtual objects.This book... Læs mere
The book provides a comprehensive application of narrative theory to video games, and presents the player-response paradigm of game criticism. Video... Læs mere
This book presents a comprehensive set of guidelines and applications of DIgSILENT PowerFactory, an advanced power system simulation software package, for different types of power systems studies.
?This monograph poses a series of key problems of evidential reasoning and argumentation. It provides a hands-on survey explaining to the reader how to use current... Læs mere
This book presents a collection of results from the interdisciplinary research project “ELLI” published by researchers at RWTH Aachen University, the TU Dortmund and Ruhr-Universität Bochum between 2011 and 2016.
This book describes issues in modeling unconventional conflict and suggests a new way to do the modeling.
This book, which is the first to be published in the emerging field of farm-level microsimulation, highlights the different methodological components of microsimulation modelling: hypothetical, static, dynamic, behavioural, spatial and macro–micro.
Proceedings of the FISITA 2012 World Automotive Congress are selected from nearly 2,000 papers submitted... Læs mere
This book treats state-of-the-art computational methods for power flow studies and contingency analysis. Furthermore, traditional methods to solve such problems are compared to modern solvers, developed using the knowledge of the first part of the book.