- Table View
- List View
Software Design for Resilient Computer Systems
by Igor Schagaev Eugene Zouev Kaegi ThomasThis book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance and system resilience, as well as online resources, the new edition is ideal for researchers and industry professionals.The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a system, with special attention on the role of system software in this process. They further develop the general algorithm of fault tolerance (GAFT) with its three main processes: hardware checking, preparation for recovery, and the recovery procedure. For each of the three processes, they analyze the requirements and properties theoretically and give possible implementation scenarios and system software support required. Based on the theoretical results, the authors derive an Oberon-based programming language with direct support of the three processes of GAFT. In the last part of this book, they introduce a simulator, using it as a proof of concept implementation of a novel fault tolerant processor architecture (ERRIC) and its newly developed runtime system feature-wise and performance-wise. Due to the wide reaching nature of the content, this book applies to a host of industries and research areas, including military, aviation, intensive health care, industrial control, and space exploration.
Proceedings of the Thirteenth International Conference on Management Science and Engineering Management: Volume 1 (Advances in Intelligent Systems and Computing #1001)
by Jiuping Xu Gheorghe Duca Fang Lee Cooke Syed Ejaz AhmedThis book gathers the proceedings of the 13th International Conference on Management Science and Engineering Management (ICMSEM 2019), which was held at Brock University, Ontario, Canada on August 5–8, 2019. Exploring the latest ideas and pioneering research achievements in management science and engineering management, the respective contributions highlight both theoretical and practical studies on management science and computing methodologies, and present advanced management concepts and computing technologies for decision-making problems involving large, uncertain and unstructured data. Accordingly, the proceedings offer researchers and practitioners in related fields an essential update, as well as a source of new research directions.
Proceedings of the Thirteenth International Conference on Management Science and Engineering Management: Volume 2 (Advances in Intelligent Systems and Computing #1002)
by Jiuping Xu Gheorghe Duca Fang Lee Cooke Syed Ejaz AhmedThis book gathers the proceedings of the 13th International Conference on Management Science and Engineering Management (ICMSEM 2019), which was held at Brock University, Ontario, Canada on August 5–8, 2019. Exploring the latest ideas and pioneering research achievements in management science and engineering management, the respective contributions highlight both theoretical and practical studies on management science and computing methodologies, and present advanced management concepts and computing technologies for decision-making problems involving large, uncertain and unstructured data. Accordingly, the proceedings offer researchers and practitioners in related fields an essential update, as well as a source of new research directions.
Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings (Lecture Notes in Computer Science #11483)
by Paolo Giorgini Barbara WeberThis book constitutes the refereed proceedings of the 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019, held in Rome, Italy, in June 2019. The 41 full papers presented in this volume were carefully reviewed and selected from 206 submissions. The book also contains one invited talk in full paper length. The papers were organized in topical sections named: information system engineering; requirements and modeling; data modeling and analysis; business process modeling and engineering; information system security; and learning and mining in information systems. Abstracts on the CAiSE 2019 tutorials can be found in the back matter of the volume.
Information Systems Engineering in Responsible Information Systems: CAiSE Forum 2019, Rome, Italy, June 3–7, 2019, Proceedings (Lecture Notes in Business Information Processing #350)
by Cinzia Cappiello Marcela RuizThis book constitutes the thoroughly refereed proceedings of the CAiSE Forum 2019 held in Rome, Italy, as part of the 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019, in June 2019.The CAiSE Forum - one of the traditional tracks of the CAiSE conference - aims to present emerging new topics and controversial positions, as well as demonstration of innovative systems, tools and applications related to information systems engineering. This year’s theme was “Responsible Information Systems”. The 19 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 14 direct submissions (of which 7 full papers were selected), plus 15 transfers from the CAiSE main conference (which resulted in another 12 full and 3 short papers).
Linear Algebra for Computational Sciences and Engineering
by Ferrante NeriThis book presents the main concepts of linear algebra from the viewpoint of applied scientists such as computer scientists and engineers, without compromising on mathematical rigor. Based on the idea that computational scientists and engineers need, in both research and professional life, an understanding of theoretical concepts of mathematics in order to be able to propose research advances and innovative solutions, every concept is thoroughly introduced and is accompanied by its informal interpretation. Furthermore, most of the theorems included are first rigorously proved and then shown in practice by a numerical example. When appropriate, topics are presented also by means of pseudocodes, thus highlighting the computer implementation of algebraic theory.It is structured to be accessible to everybody, from students of pure mathematics who are approaching algebra for the first time to researchers and graduate students in applied sciences who need a theoretical manual of algebra to successfully perform their research. Most importantly, this book is designed to be ideal for both theoretical and practical minds and to offer to both alternative and complementary perspectives to study and understand linear algebra.
Design of Low Power Integrated Radios for Emerging Standards (Analog Circuits and Signal Processing)
by Mustafijur Rahman Ramesh HarjaniThis book describes novel and disruptive architecture and circuit design techniques, toward the realization of low-power, standard-compliant radio architectures and silicon implementation of the circuits required for a variety of leading-edge applications. Readers will gain an understanding of the circuit level challenges that exist for low power radios, compatible with the IEEE 802.15.6 standard. The authors discuss current techniques to address some of these challenges, helping readers to understand the state-of-the-art, and to address the various, open research problems that exist with respect to realizing low power radios.Enables readers to face challenging bottleneck in low power radio design, with state-of-the-art, circuit-level design techniques;Provides readers with basic knowledge of circuits suitable for low power radio circuits compatible with the IEEE 802.15.6 standard;Discusses new and emerging architectures and circuit techniques, enabling applications such as body area networks and internet of things.
Introduction to MATLAB® for Biologists (Learning Materials in Biosciences)
by Cerian Ruth Webb Mirela DomijanThis textbook takes you from the very first time you open MATLAB® through to a position where you can comfortably integrate this computer language into your research or studies. The book will familiarise you with the MATLAB interface, show you how to use the program´s built-in functions and carefully guide you towards creating your own functions and scripts so that you can use MATLAB as a sophisticated tool to support your own research. A central aim of this book is to provide you with the core knowledge and skills required to become a confident MATLAB user so that you can find and make use of the many specialist functions and toolboxes that have been developed to support a wide range of biological applications. Examples presented within the book are selected to be relevant to biological scientists and they illustrate some of the many ways the program can be incorporated into, and used to enhance, your own research and studies. The textbook is a must-have for students and researchers in the biological sciences. It will also appeal to readers of all backgrounds who are looking for an introduction to MATLAB which is suitable for those with little or no experience of programming.
The Semantic Web: 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings (Lecture Notes in Computer Science #11503)
by Pascal Hitzler Miriam Fernández Krzysztof Janowicz Amrapali Zaveri Alasdair J. G. Gray Vanessa Lopez Armin Haller Karl HammarThis book constitutes the refereed proceedings of the 16th International Semantic Web Conference, ESWC 2019, held in Portorož, Slovenia. The 39 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in three tracks: research track, resources track, and in-use track and deal with the following topical areas: distribution and decentralisation, velocity on the Web, research of research, ontologies and reasoning, linked data, natural language processing and information retrieval, semantic data management and data infrastructures, social and human aspects of the Semantic Web, and, machine learning.
Algebraic Informatics: 8th International Conference, CAI 2019, Niš, Serbia, June 30–July 4, 2019, Proceedings (Lecture Notes in Computer Science #11545)
by Miroslav Ćirić Manfred Droste Jean-Éric PinThis book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Niš, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed and selected from 35 submissions. The papers present research at the intersection of theoretical computer science, algebra, and related areas. They report original unpublished research and cover a broad range of topics from automata theory and logic, cryptography and coding theory, computer algebra, design theory, natural and quantum computation, and related areas.
Security and Privacy in New Computing Environments: Second EAI International Conference, SPNCE 2019, Tianjin, China, April 13–14, 2019, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #284)
by Jin Li Zheli Liu Hao PengThis book constitutes the refereed proceedings of the 2nd EAI International Conference on Security and Privacy in New Computing Environments, SPNCE 2019, held in Tianjin, China, in April 2019. The 62 full papers were selected from 112 submissions and are grouped into topics on privacy and security analysis, Internet of Things and cloud computing, system building, scheme, model and application for data, mechanism and method in new computing.
Mathematics and Computation in Music: 7th International Conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings (Lecture Notes in Computer Science #11502)
by Mariana Montiel Francisco Gomez-Martin Octavio A. Agustín-AquinoThis book constitutes the thoroughly refereed proceedings of the 7th International Conference on Mathematics and Computation in Music, MCM 2019, held in Madrid, Spain, in June 2019. The 22 full papers and 10 short papers presented were carefully reviewed and selected from 48 submissions. The papers feature research that combines mathematics or computation with music theory, music analysis, composition, and performance. They are organized in topical sections on algebraic and other abstract mathematical approaches to understanding musical objects; remanaging Riemann: mathematical music theory as “experimental philosophy”?; octave division; computer-based approaches to composition and score structuring; models for music cognition and beat tracking; pedagogy of mathematical music theory.The chapter “Distant Neighbors and Interscalar Contiguities” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Knowledge Graphs and Semantic Web: First Iberoamerican Conference, KGSWC 2019, Villa Clara, Cuba, June 23-30, 2019, Proceedings (Communications in Computer and Information Science #1029)
by Boris Villazón-Terrazas Yusniel Hidalgo-DelgadoThis book constitutes the thoroughly refereed proceedings of the First Iberoamerican Conference, KGSWC 2019, held in Villa Clara, Cuba, in June 2019. The 14 full papers and 1 short paper presented were carefully reviewed and selected from 33 submissions. The papers cover wide research fields including artificial intelligence; knowledge representation and reasoning; ontology engineering; natural language processing; description logics; information systems; query languages; world wide web; semantic web description languages; and information retrieval.
Artificial Intelligence versus Human Intelligence: Are Humans Going to Be Hacked? (SpringerBriefs in Applied Sciences and Technology)
by Christian LexcellentThis book showcases the fascinating but problematic relationship between human intelligence and artificial intelligence: AI is often discussed in the media, as if bodiless intelligence could exist, without a consciousness, without an unconscious, without thoughts. Using a wealth of anecdotes, data from academic literature, and original research, this short book examines in what circumstances robots can replace humans, and demonstrates that by operating beyond direct human control, strong artificial intelligence may pose serious problems, paving the way for all manner of extrapolations, for example implanting silicon chips in the brains of a privileged caste, and exposing the significant gap still present between the proponents of "singularity" and certain philosophers. With insights from mathematics, cognitive neuroscience and philosophy, it enables readers to understand and continue this open debate on AI, which presents concrete ethical problems for which meaningful answers are still in their infancy.
Knowledge Management in Organizations: 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings (Communications in Computer and Information Science #1027)
by Lorna Uden I-Hsien Ting Juan Manuel CorchadoThis book contains the refereed proceedings of the 14th International Conference on Knowledge Management in Organizations, KMO 2019, held in Zamora, Spain, in July 2019. The 46 papers accepted for KMO 2018 were selected from 109 submissions and are organized in topical sections on: knowledge management models and analysis; knowledge transfer and learning; knowledge and service innovation; knowledge creation; knowledge and organization; information systems and information science; data mining and intelligent science; social networks and social aspects of KM; big data and IoT; and new trends in IT.
Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings (Lecture Notes in Computer Science #11511)
by Diana Cristea Florence Le Ber Baris SertkayaThis book constitutes the proceedings of the 15th International Conference on Formal Concept Analysis, ICFCA 2019, held in Frankfurt am Main, Germany, in June 2019.The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 36 submissions. The book also contains four invited contributions in full paper length. The field of Formal Concept Analysis (FCA) originated in the 1980s in Darmstadt as a subfield of mathematical order theory, with prior developments in other research groups. Its original motivation was to consider complete lattices as lattices of concepts, drawing motivation from philosophy and mathematics alike. FCA has since then developed into a wide research area with applications much beyond its original motivation, for example in logic, data mining, learning, and psychology.
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday (Lecture Notes in Computer Science #11665)
by Michele Boreale Flavio Corradini Michele Loreti Rosario PuglieseThis volume was published in honor of Rocco De Nicola’s 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, versatility and tireless research activity, and provide an overview of further developments to come. The volume consists of six sections. The first one contains a laudation illustrating the distinguished career and the main scientific contributions by Rocco and a witness of working experiences with Rocco. The remaining five sections comprise scientific papers related to specific research interests of Rocco and are ordered according to his scientific evolution: Observational Semantics; Logics and Types; Coordination Models and Languages; Distributed Systems Modelling; Security.
MEMS: Field Models and Optimal Design (Lecture Notes in Electrical Engineering #573)
by Paolo Di Barba Slawomir WiakThis book highlights numerical models as powerful tools for the optimal design of Micro-Electro-Mechanical Systems (MEMS). Most MEMS experts have a background in electronics, where circuit models or behavioral models (i.e. lumped-parameter models) of devices are preferred to field models. This is certainly convenient in terms of preliminary design, e.g. in the prototyping stage. However, design optimization should also take into account fine-sizing effects on device behavior and therefore be based on distributed-parameter models, such as finite-element models. The book shows how the combination of automated optimal design and field-based models can produce powerful design toolboxes for MEMS. It especially focuses on illustrating theoretical concepts with practical examples, fostering comprehension through a problem-solving approach. By comparing the results obtained using different methods, readers will learn to identify their respective strengths and weaknesses. In addition, special emphasis is given to evolutionary computing and nature-inspired optimization strategies, the effectiveness of which has already been amply demonstrated. Given its scope, the book provides PhD students, researchers and professionals in the area of computer-aided analysis with a comprehensive, yet concise and practice-oriented guide to MEMS design and optimization. To benefit most from the book, readers should have a basic grasp of electromagnetism, vector analysis and numerical methods.
Reversible Computation: 11th International Conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings (Lecture Notes in Computer Science #11497)
by Michael Kirkedal Thomsen Mathias SoekenThis book constitutes the refereed proceedings of the 11th International Conference on Reversible Computation, RC 2019, held in Lausanne, Switzerland, in June 2019.The 12 full papers and two short papers included in this volume were carefully reviewed and selected from 22 submissions. One invited talk is also included. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations.
Information Security and Privacy: 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings (Lecture Notes in Computer Science #11547)
by Julian Jang-Jaccard Fuchun GuoThis book constitutes the refereed proceedings of the 24th Australasian Conference on Information Security and Privacy, ACISP 2019, held in Christchurch, New Zealand, in July 2019. The 32 revised full papers and 8 short papers presented were carefully revised and selected from 129 submissions. The papers present and discuss the latest research, trends, breakthroughs, and challenges in the domain of information security, privacy and cybersecurity on a variety of topics such as encryption; post-quantum security; cryptocurrency related; foundations; system and network security; and symmetric cryptography.
Blended Learning: 12th International Conference, ICBL 2019, Hradec Kralove, Czech Republic, July 2–4, 2019, Proceedings (Lecture Notes in Computer Science #11546)
by Simon K. Cheung Lap-Kei Lee Ivana Simonova Tomas Kozel Lam-For KwokThis book constitutes the refereed proceedings of the 12th International Conference on Blended Learning, ICBL 2019, held in Hradec Kralove, Czech Republic, in July 2019. The 28 papers presented were carefully reviewed and selected from 80 submissions. The papers are organized in topical sections named: personalized and adaptive learning; content development for blended learning; experience in blended learning; analytics and evaluation for blended learning; open educational resources; and pedagogical and psychological issues.
Virtual, Augmented and Mixed Reality. Applications and Case Studies: 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II (Lecture Notes in Computer Science #11575)
by Jessie Y. C. Chen Gino FragomeniThis two-volume set LNCS 11574 and 11575 constitutes the refereed proceedings of the 11th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 80 papers presented in this volume were organized in topical sections named: multimodal interaction in VR, rendering, layout, visualization and navigation, avatars, embodiment and empathy in VAMR, cognitive and health issues in VAMR, VAMR and robots, VAMR in learning, training and entertainment, VAMR in aviation, industry and the military.
Applied Cryptography and Network Security: 17th International Conference, ACNS 2019, Bogota, Colombia, June 5–7, 2019, Proceedings (Lecture Notes in Computer Science #11464)
by Moti Yung Robert H. Deng Valérie Gauthier-Umaña Martín OchoaThis book constitutes the refereed proceedings of the 17th International Conference on Applied Cryptography and Network Security, ACNS 2019, held in Bogota, Colombia in June 2019. The 29 revised full papers presented were carefully reviewed and selected from 111 submissions. The papers were organized in topical sections named: integrity and cryptanalysis; digital signature and MAC; software and systems security; blockchain and cryptocurrency; post quantum cryptography; public key and commitment; theory of cryptographic implementations; and privacy preserving techniques.
Application and Theory of Petri Nets and Concurrency: 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings (Lecture Notes in Computer Science #11522)
by Susanna Donatelli Stefan HaarThis book constitutes the proceedings of the 40th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2019, held in Aachen, Germany, , in June 2018. Petri Nets 2019 is co-located with the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.The 23 regular and 3 invited papers presented together in this volume were carefully reviewed and selected from 41 submissions. The focus of the conference is on following topics: Models, Tools, Synthesis, Semantics, Concurrent Processes, Algorithmic Aspects, Parametrics and Combinatorics, and Models with Extensions.
Virtual, Augmented and Mixed Reality. Multimodal Interaction: 11th International Conference, VAMR 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I (Lecture Notes in Computer Science #11574)
by Jessie Y. C. Chen Gino FragomeniThis two-volume set LNCS 11574 and 11575 constitutes the refereed proceedings of the 11th International Conference on Virtual, Augmented and Mixed Reality, VAMR 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 80 papers presented in this volume were organized in topical sections named: multimodal interaction in VR, rendering, layout, visualization and navigation, avatars, embodiment and empathy in VAMR, cognitive and health issues in VAMR, VAMR and robots, VAMR in learning, training and entertainment, VAMR in aviation, industry and the military.