From science according to Popper and Toulmin to theater according to Morteo and Brecht, a path is built between the two disciplines ...
Weiterlesen
In August 2005, a small but important conference took place at Chuo University in Tokyo, Japan. This international conference, ...
Weiterlesen
This is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
Weiterlesen
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Weiterlesen
To support application developers in the various tasks involved in this process, several different tools need to be at his ...
Weiterlesen
"Take away my knee pain and give me better motion". This is what the arthritic patient expects from a Total Knee Arthroplasty ...
Weiterlesen
Le tableau de bord de la performance totale vise le développement maximum de tous les collaborateurs de l'entreprise et ...
Weiterlesen
Today’s mobile robot perception is insufficient for acting goal-directedly in unconstrained, dynamic everyday environments ...
WeiterlesenThe selection of case studies presents LCM as a business management approach that can be used by all types of businesses ...
Weiterlesen
The authors investigate traffic-grooming problems in optical WDM mesh networks from various aspects. They cover static and ...
Weiterlesen
This inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
Weiterlesen
This inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
Weiterlesen
The first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...
Weiterlesen
Transactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
Weiterlesen
This volume collects essays that broadly encompass the digital arts, Transdisciplinary Digital Art gives a clear overview ...
Weiterlesen
This book constitutes the thoroughly refereed postproceedings of the International Workshop on Trends in Enterprise Application ...
Weiterlesen
Topics of interest include model driven architecture, enterprise development environments, service oriented architecture, ...
Weiterlesen
What do you do when your database application isn't running fast enough? You troubleshoot, of course. Finding the slow part ...
WeiterlesenA major focus of Turbo-like Codes is on high speed turbo decoding, which targets applications with data rates of several ...
Weiterlesen
Over the past three decades turbomachines experienced a steep increase in efficiency and performance. Based on fundamental ...
Weiterlesen