From science according to Popper and Toulmin to theater according to Morteo and Brecht, a path is built between the two disciplines ...
WeiterlesenIn August 2005, a small but important conference took place at Chuo University in Tokyo, Japan. This international conference, ...
WeiterlesenThis is Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine ...
WeiterlesenThis is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
WeiterlesenTo 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 ...
WeiterlesenLe tableau de bord de la performance totale vise le développement maximum de tous les collaborateurs de l'entreprise et ...
WeiterlesenToday’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 ...
WeiterlesenThe authors investigate traffic-grooming problems in optical WDM mesh networks from various aspects. They cover static and ...
WeiterlesenThis inaugural volume is devoted to computer systems research with an emphasis on core computational science issues faced ...
WeiterlesenThis inaugural issue contains five papers dealing with a wide range of topics related to multimedia security. The first paper ...
WeiterlesenThe first two papers deal with the security of steganographic systems; the third paper presents a novel image steganographic ...
WeiterlesenTransactions on HiPEAC is a new journal which aims at the timely dissemination of research contributions in computer architecture ...
WeiterlesenThis volume collects essays that broadly encompass the digital arts, Transdisciplinary Digital Art gives a clear overview ...
WeiterlesenThis book constitutes the thoroughly refereed postproceedings of the International Workshop on Trends in Enterprise Application ...
WeiterlesenTopics of interest include model driven architecture, enterprise development environments, service oriented architecture, ...
WeiterlesenWhat 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 ...
WeiterlesenOver the past three decades turbomachines experienced a steep increase in efficiency and performance. Based on fundamental ...
Weiterlesen