الصفحة 4
الصفحة 4
Dependable computing ; 3rd Latin-American Symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007, Proceedings
This book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, experimental dependability evaluation, as well as intrusion tolerance and security.
Dependable computing ; 2nd Latin-American symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005 : proceedings
Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises 16 papers presented together with 3 invited talks. The papers are organized in topical sections on evaluation, certification, modelling, embedded systems, time, and distributed systems algorithms.
Dependable computing - EDCC 2005 ; 5th European dependable computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings
It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year’s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe – who were active in research and education related to dependability created a – joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year’s conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability.
Deontic Logic in Computer Science ; 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON 2008, held in Luxembourg in July 2008.
Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits
Failures of nano-metric technologies owing to defects and shrinking process tolerances give rise to significant challenges for IC testing. As the variation of fundamental parameters such as channel length, threshold voltage, thin oxide thickness and interconnect dimensions goes well beyond acceptable limits, new test methodologies and a deeper insight into the physics of defect-fault mappings are needed. In Defect-Oriented Testing for Nano-Metric CMOS VLSI Circuits state of the art of defect-oriented testing is presented from both a theoretical approach as well as from a practical point of view. Step-by-step handling of defect modeling, defect-oriented testing, yield modeling and its usage in common economics practices enables deeper understanding of concepts.
De Barrett à Zollinger-Ellison Quelques cas historiques en gastroentérologie = From Barrett to Zollinger-Ellison Some historical cases in gastroenterology
Portrays the character traits, the little quirks or the great faults of this illustrious character. In a text combining science, history and humor, we are presented with the essentials of what should not be forgotten.
Data-Driven Fault Detection and Reasoning for Industrial Monitoring
Assesses the potential of data-driven methods in industrial process monitoring engineering. The process modeling, fault detection, classification, isolation, and reasoning are studied in detail. These methods can be used to improve the safety and reliability of industrial processes. Fault diagnosis, including fault detection and reasoning, has attracted engineers and scientists from various fields such as control, machinery, mathematics, and automation engineering. Combining the diagnosis algorithms and application cases, this book establishes a basic framework for this topic and implements various statistical analysis methods for process monitoring.
Cryptographic hardware and embedded systems - CHES 2007 ; 9th International Workshop, Vienna, Austria, September 10-13, 2007, Proceedings
The papers collected in this volume represent cutting-edge world wide research in the rapidly evolving fields of crypto-hardware, fault-based and side-channel cryptanalysis, and embedded cryptography, at the crossing of academic and - dustrial research. The wide diversity of subjects appearing in these proceedings covers virtually all related areas and shows our e?orts to extend the scope of CHES more than usual.
Cryptographic hardware and embedded systems - CHES 2006 ; 8th International Workshop, Yokohama, Japan, October 10-13, 2006, Proceedings
These are the proceedings of the Eighth Workshop on Cryptographic Hardware and Embedded Systems (CHES 2006) held in Yokohama, Japan, October 10-13, 2006. The CHES workshophas been sponsored by the International Association for Cryptographic Research (IACR) since 2004. The ?rst and the second CHES workshops were held in Worcester in 1999 and 2000, respectively, followed by Paris in 2001, San Francisco Bay Area in 2002, Cologne in 2003, Boston in 2004 and Edinburgh in 2005. This is the ?rst CHES workshop held in Asia.
Control Reconfiguration of Dynamical Systems : Linear Approaches and Structural Tests
The book addresses advanced engineering students, developers and researchers that have a specific interest in control reconfiguration. A good understanding of multi-variable dynamic systems is helpful, but the second part is accessible even without this.
Consumer behavior, organizational strategy and financial economics ; Proceedings of the 21st eurasia business and economics society conference
Shows selected articles from the 21st Eurasia business and economics society (EBES) conference, Which was held in Budapest (Hungary) in 2017. The theoretical and empirical papers in this volume cover various areas of business, economics, and finance from a diverse range of regions. In particular, this volume focuses on the latest trends in consumer behavior, New questions in the development of organizational strategy, And the interaction of financial economics with industrial economics and policy.
Conditionals, Information, and Inference
Conditionals are fascinating and versatile objects of knowledge representation. On the one hand, they may express rules in a very general sense, representing, for example, plausible relationships, physical laws, and social norms. On the other hand, as default rules or general implications, they constitute a basic tool for reasoning, even in the presence of uncertainty. In this sense, conditionals are intimately connected both to information and inference. Due to their non-Boolean nature, however, conditionals are not easily dealt with. They are not simply true or false — rather, a conditional “if A then B” provides a context, A, for B to be plausible (or true) and must not be confused with “A entails B” or with the material implication “not A or B.” This ill- trates how conditionals represent information, understood in its strict sense as reduction of uncertainty. To learn that, in the context A, the proposition B is plausible, may reduce uncertainty about B and hence is information. The ab- ity to predict such conditioned propositions is knowledge and as such (earlier) acquired information. The ?rst work on conditional objects dates back to Boole in the 19th c- tury, and the interest in conditionals was revived in the second half of the 20th century, when the emerging Arti?cial Intelligence made claims for appropriate formaltoolstohandle“generalizedrules.”Sincethen,conditionalshavebeenthe topic of countless publications, each emphasizing their relevance for knowledge representation, plausible reasoning, nonmonotonic inference, and belief revision.
Computer safety, reliability, and security ; 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16–18, 2020, Proceedings
This book constitutes the proceedings of the 39th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2020, held in Lisbon, Portugal, in September 2020.* The 27 full and 2 short papers included in this volume were carefully reviewed and selected from 116 submissions. They were organized in topical sections named: safety cases and argumentation; formal verification and analysis; security modelling and methods; assurance of learning-enabled systems; practical experience and tools; threat analysis and risk mitigation; cyber-physical systems security; and fault injection and fault tolerance.
Computational Quantum Mechanics for Materials Engineers : The EMTO Method and Applications
Computational Quantum Mechanics for Materials Engineers describes new approaches to the modelling of disordered alloys that combine the most efficient quantum-level theories of random alloys with the most sophisticated numerical techniques to establish a theoretical insight into the electronic structure of complex materials such as stainless steels, Hume-Rothery alloys and silicates. The practical success of these approaches to applications in all of these areas are covered in detail. The new EMTO-CPA method is detailed, including its application in alloys to model structural stability and elastic properties of random alloys of arbitrary composition and the effect of alloying elements on elastic stiffnesses stacking fault energies and structural parameters. The EMTO-CPA method makes new approaches to computational alloy design feasible. Computational Quantum Mechanics for Materials Engineers shows how the technique will soon allow materials engineers to become "quantum blacksmiths
Computational Intelligence in Fault Diagnosis
Presenting the latest developments and research results on fault diagnosis approaches using computational intelligence methodologies, this book opens with a review of the state-of-the-art before moving on to focus on various theoretical aspects of computational intelligence methodologies applied to real-world fault diagnosis problems.
Computational earthquake physics ; Part I
The book is divided into two parts: The present volume - Part I - focuses on microscopic simulation, scaling physics, dynamic rapture and wave propagation, earthquake generation, cycle and seismic pattern. Topics covered range from numerical developments, rupture and gouge studies of the particle model, Liquefied Cracks and Rayleigh Wave Physics, studies of catastrophic failure and critical sensitivity, numerical and theoretical studies of crack propagation, developments in finite difference methods for modeling faults, long time scale simulation of interacting fault systems, modeling of crustal deformation, through to mantle convection.
Massively Multi-Agent Technology ; AAMAS Workshops, MMAS 2006, LSMAS 2006, and CCMMS 2007 Hakodate, Japan, May 9, 2006 Honolulu, HI, USA, May 15, 2007 Selected and Revised Papers
This book constitutes the thoroughly refereed post-workshop proceedings of the joint AAMAS 2006 International Workshops on Massively Multi-Agent Systems, MMAS 2006, and on Large scale Multi-Agent Systems, LSMAS 2006, held in Hakodate, Japan, in May 2006, and of the International Workshop on Coordination and Control in Massively Multi-Agent Systems, CCMMS 2007, held in Honolulu, HI, USA, in May 2007 as associated event of AAMAS 2007.
Languages, Methodologies and Development Tools for Multi-Agent Systems ; 1st International Workshop, LADS 2007, Durham, UK, September 4-6, 2007. Revised Selected Papers
Constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Languages, Methodologies and Development Tools for Multi-Agent Systems, LADS 2007, held in Durham, UK, in September 2007. The workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organizations.
Composition of embedded systems : Scientific and industrial issues ; 13th Monterey Workshop 2006 Paris, France, October 16-18, 2006 Revised Selected Papers
This book discussed a range of challenges in embedded systems design that require further major advances in software and systems composition technology. The papers are organized in topical sections on model driven develo.
Challenges and Solutions for Sustainable Smart City Development
Discusses advances in smart and sustainable development of smart environments. The authors discuss the challenges faced in developing sustainable smart applications and provide potential solutions. The solutions are aimed at improving reliability and security with the goal of affordability, safety, and durability. Topics include health care applications, sustainable smart transportation systems, intelligent sustainable wearable electronics, and sustainable smart building and alert systems. Authors are from both industry and academia and present research from around the world. Addresses problems and solutions for sustainable development of smart cities; Includes applications such as healthcare, transportation, wearables, security, and more ; Relevant for scientist and researchers working on real time smart city development.
