Page 2
Page 2
Distributed and Parallel Systems : From Cluster to Grid Computing
This book devoted to general algorithmic aspects of parallel and distributed computing and grid computing. This book includes a good overview of recent advances in various aspects of parallel and distributed computing. This volume also includes various crucial questions tied to the infrastructure and advanced problems and challenges of grid computing.
Distributed and Parallel Systems : Cluster and Grid Computing
DAPSY (Austrian-Hungarian Workshop on Distributed and Parallel Systems) is an international conference series with biannual events dedicated to all aspects of distributed and parallel computing. DAPSY started under a different name in 1992 (Sopron, Hungary) as regional meeting of Austrian and Hungarian researchers focusing on transputer-related parallel computing; a hot research topic of that time. A second workshop followed in 1994 (Budapest, Hungary). As transputers became history, the scope of the workshop widened to include parallel and distributed systems in general and the 1st DAPSYS in 1996 (Miskolc, Hungary) reflected the results of these changes.
Digital Imaging and Communications in Medicine (DICOM) : A Practical Introduction and Survival Guide
This is the first Digital Imaging and Communications in Medicine (DICOM) book to introduce this complex imaging standard from a very practical point of view. It is aimed at a broad audience of radiologists, clinical administrators, information technologists, and digital medicine practitioners.
Conceptual Modeling for New Information Systems Technologies ; ER 2001 Workshops, HUMACS, DASWIS, ECOMO, and DAMA, Yokohama Japan, November 27-30, 2001. Revised Papers
The objective of the workshops associated with ER 2001, the 20th International Con- rence on Conceptual Modeling, was to give participants the opportunity to present and discuss emerging hot topics, thus adding new perspectives to conceptual modeling.
Computer science logic ; Vol. 4207 ; 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Computer Science Logic ; Vol. 3634
This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held as the 14th Annual Conference of the EACSL in Oxford, UK in August 2005. The 33 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from 108 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts. The volume is organized in topical sections on semantics and logics, type theory and lambda calculus, linear logic and ludics, constraints, finite models, decidability and complexity, verification and model checking, constructive reasoning and computational mathematics, and implicit computational complexity and rewriting.
Computer Science Logic ; 22nd International Workshop, CSL 2008 , 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held as the 17th Annual Conference of the EACSL in Bertinoro, Italy, in September 2008.
Computer Science Logic ; 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
This book covers logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.
Learning Classifier Systems ; International Workshops, IWLCS 2003-2005, Revised Selected Papers
The work embodied in this volume was presented across three consecutive e- tions of the International Workshop on Learning Classi?er Systems that took place in Chicago (2003), Seattle (2004), and Washington (2005). The Genetic and Evolutionary Computation Conference, the main ACM SIGEvo conference, hosted these three editions.
Knowledge Enterprise : Intelligent Strategies in Product Design, Manufacturing, and Management ; Proceedings of PROLAMAT 2006, IFIP TC5, International Conference, June 15-17 2006, Shanghai, China
Contains the edited version of the technical presentations of PROLMAT 2006, the IFIP TC5 international conference held on June 15-17, 2006 at the Shanghai University in China. The main theme of this conference is Knowledge Enterprise – Intelligent Strategies in Product Design, Manufacturing and Management. These proceedings focus on the issue of how to translate data and information into knowledge in manufacturing enterprises.
Communicating sequential processes : The first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare’s paper “Communicating Sequential Processes” is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society’s Formal Aspects of Computing Science specialist group). CSP25 was one of a series of such events organized to highlight the use of formal methods, emphasize their relevance to modern computing and promote their wider application.
Application of power electronics converters in smart grids and renewable energy systems
Focuses on the applications of Power Electronics Converters in smart grids and renewable energy systems. The topics covered include methods to CO2 emission control, schemes for electric vehicle charging, reliable renewable energy forecasting methods, and various power electronics converters. The converters include the quasi neutral point clamped inverter, MPPT algorithms, the bidirectional DC-DC converter, and the push–pull converter with a fuzzy logic controller.
Analog Design Essentials
The book starts with elementary stages in building up operational amplifiers. The synthesis of opamps is covered in great detail, such that lowest power consumption is always guaranteed. Many examples are included, operating at low supply voltages. Chapters on noise, distortion, filters, ADC/DACs and oscillators follow. These are all based on the extensive amount of teaching that the author has carried out both at universities and companies world-wide. All chapters have been drawn up specifically for self-study. They aim, however, at different levels of understanding. All start with elementary material. Most chapters also contain advanced material, especially from Chapter 9 onwards.
Advances in Learning Classifier Systems ; 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers
The Fourth International Workshop on Learning Classifier Systems (IWLCS2001) was held July 7-8, 2001, in San Francisco, California, during the Geneticand Evolutionary Computation Conference (GECCO 2001). We have includedin this volume revised and extended versions of eleven of the papers presentedat the workshop.The volume is organized into two main parts. The first is dedicated to importanttheoretical issues of learning classifier systems research including the influenceof exploration strategy, a model of self-adaptive classifier systems, and the useof classifier systems for social simulation. The second part contains papers dis-cussing applications of learning classifier systems such as data mining, stocktrading, and power distribution networks.An appendix contains a paper presenting a formal description of ACS, a rapidlyemerging learning classifier system model.
Advances in cryptology - EUROCRYPT 2005 ; 24th Annual International conference on the theory and applications of cryptographic techniques, Aarhus, Denmark, May 22-26, 2005, Proceedings
Constitutes the proceedings of the 24th Annual IACR Eurocrypt Conference. The conference was sponsored by the International Association for Cryptologic Research (IACR;seewww.iacr.org), this year in cooperation with the Computer Science Department of the University of Aarhus, Denmark. The Eurocrypt 2005 Program Committee (PC) consisted of 30 internationally renowned experts. This book includes Topics : Coding and Information Theory / Cryptology / Computer Communication Networks / Operating Systems / Algorithm Analysis and Problem Complexity / Discrete Mathematics in Computer Science
Advances in computer systems architecture ; Vol. 4186 : 11th Asia-Pacific Conference, ACSAC 2006, Shanghai, China, September 6-8, 2006, Proceedings
This is the 11th in a series of conferences, which started life in Australia, as the computer architecture component of the Australian Computer Science Week. In 1999 it ventured away from its roots for the first time, and the fourth Australasian Computer Architecture Conference was held in the beautiful city of Sails (Auckland, New Zealand). Perhaps it was because of a lack of any other computer architecture conference in Asia or just the attraction of traveling to the Southern Hemisphere but the conference became increasingly international during the subsequent three years and also changed its name to include Computer Systems Architecture, reflecting more the scope of the conference, which embraces both architectural and systems issues. In 2003, .
Advances in computer systems architecture ; Vol. 3740 ; 10th Asia-Pacific conference, ACSAC 2005, Singapore, October 24-26, 2005, Proceedings
The papers are organized in topical sections on energy efficient and power aware techniques, methodologies and architectures for application-specific systems, processor architectures and microarchitectures, high-reliability and fault-tolerant architectures, compiler and OS for emerging architectures, data value predictions, reconfigurable computing systems and polymorphic architectures, interconnect networks and network interfaces, parallel architectures and computation models, hardware-software partitioning, verification, and testing of complex architectures, architectures for secured computing, simulation and performance evaluation, architectures for emerging technologies and applications, and memory systems hierarchy and management
Advances in computer systems architecture ; 12th Asia-Pacific Conference, ACSAC 2007, Seoul, Korea, August 23-25, 2007, Proceedings
Covering hardware and software techniques for state-of-the-art multicore and multithreaded architectures.
Acute coronary syndrome : Multidisciplinary and pathway-based approach
Acute coronary syndrome (ACS) affects millions of patients annually and requires immediate diagnosis and therapy. This practical algorithm-based handbook addresses the diagnosis and treatment of these patients and is designed for the medical personnel involved in the triage and management of ACS patients.
37th Hemophilia Symposium ; Epidemiology : Treatment of Inhibitors in Hemophiliacs ; Hemophilic Arthropathy and Synovitis ; Relevant Hemophilia Treatment 2006 ; Pediatric Hemostasiology; Free Lectures
This book contains the contribution to the 37th Hemophilia Symposium, Hamburg 2006. The main topics are epidemiolgy, treatment of inhibitors in hemophiliacs, hemophilic arthropathy and synovitis, relevant hemophilia treatment 2006, and pediatric hemostasiology.
