- Table View
- List View
Operations Research and Enterprise Systems: 6th International Conference, ICORES 2017, Porto, Portugal, February 23–25, 2017, Revised Selected Papers (Communications in Computer and Information Science #884)
by Greg H. Parlier Federico Liberatore Marc DemangeThis book constitutes revised selected papers from the 6th International Conference on Operations Research and Enterprise Systems, ICORES 2017, held in Porto, Portugal, in February 2017. The 15 papers presented in this volume were carefully reviewed and selected from a total of 90 submissions. They are organized in topical sections named: methodologies and technologies; and applications.
Advances in Human Factors in Cybersecurity: Proceedings of the AHFE 2018 International Conference on Human Factors in Cybersecurity, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA (Advances in Intelligent Systems and Computing #782)
by Tareq Z. Ahram Denise NicholsonThis book reports on the latest research and developments in the field of cybersecurity, particularly focusing on personal security and new methods for reducing human error and increasing cyber awareness, as well as innovative solutions for increasing the security of advanced Information Technology (IT) infrastructures. It covers a broad range of topics, including methods for human training; novel cyber-physical and process-control systems; social, economic, and behavioral aspects of cyberspace; issues concerning the cybersecurity index; security metrics for enterprises; and risk evaluation. Based on the AHFE 2018 International Conference on Human Factors in Cybersecurity, held on July 21–25, 2018, in Orlando, Florida, USA, the book not only presents innovative cybersecurity technologies, but also discusses emerging threats, current gaps in the available systems, and future challenges that can be successfully overcome with the help of human factors research.
Data Management Technologies and Applications: 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers (Communications in Computer and Information Science #814)
by Joaquim Filipe Jorge Bernardino Christoph QuixThis book constitutes the thoroughly refereed proceedings of the 6th International Conference on Data Management Technologies and Applications, DATA 2017, held in Madrid, Spain, in July 2017. The 13 revised full papers were carefully reviewed and selected from 66 submissions. The papers deal with the following topics: databases, big data, data mining, data management, data security, and other aspects of information systems and technology involving advanced applications of data.
Advances in Neuroergonomics and Cognitive Engineering: Proceedings of the AHFE 2018 International Conference on Neuroergonomics and Cognitive Engineering, July 21–25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida USA (Advances in Intelligent Systems and Computing #775)
by Hasan Ayaz Lukasz MazurThis book offers a broad perspective on the field of cognitive engineering and neuroergonomics, covering emerging practices and future trends toward the harmonious integration of human operators and computer systems. It presents novel theoretical findings on mental workload and stress, activity theory, human reliability, error and risk, and neuroergonomic measures alike, together with a wealth of cutting-edge applications. Further, the book describes key advances in our understanding of cognitive processes, including mechanisms of perception, memory, reasoning, and motor response, with a special emphasis on their role in interactions between humans and other elements of computer-based systems. Based on the AHFE 2018 affiliated conference on Neuroergonomics and Cognitive Engineering, held on July 21–25, 2018, in Orlando, Florida, USA, it provides readers with a comprehensive overview of the current challenges in cognitive computing and factors influencing human performance.
Fog Computing: Concepts, Frameworks and Technologies
by Zaigham MahmoodThis authoritative text/reference describes the state of the art of fog computing, presenting insights from an international selection of renowned experts. A particular focus is provided on development approaches, architectural mechanisms, and measurement metrics for building smart adaptable environments. The coverage also includes important related topics such as device connectivity, security and interoperability, and communication methods.Topics and features: introduces the core concepts and principles of fog computing, and reviews the latest research and best practice relating to fog/edge environments; discusses the vision for an Internet of Things (IoT) in terms of fog computing and other related distributed computing paradigms, such as cloud computing; presents a survey of the key issues and broader aspects of the fog paradigm, as well as the factors that affect adoption of fog computing; examines frameworks and methodologies for fog-based architecture design, improving performance, and measuring quality of experience; proposes tools and methodologies for analyzing large amounts of sensor data from smart city initiatives; describes approaches for designing robust services, management of data-intensive applications, context-aware data analysis, and vehicular networking; identifies potential future research directions and technological innovations in relation to distributed computing environments such as the IoT.This enlightening volume offers essential perspectives for researchers of distributed computing and computer networking, as well as for advanced undergraduate and graduate students pursuing interests in this area. Professional engineers seeking to enhance security and connectivity in their IoT systems will also find this work to be a valuable reference.
Advances in Affective and Pleasurable Design: Proceedings of the AHFE 2018 International Conference on Affective and Pleasurable Design, July 21-25, 2018, Loews Sapphire Falls Resort at Universal Studios, Orlando, Florida, USA (Advances in Intelligent Systems and Computing #774)
by Shuichi FukudaThis book discusses the latest advances in affective and pleasurable design. Further, it reports on important theoretical and practical issues, covering a wealth of topics including aesthetics in product and system design, design-driven innovation, affective computing, evaluation tools for emotion, Kansei engineering for products and services, and many more. Based on the AHFE 2018 International Conference on Affective and Pleasurable Design, held on July 21–25, 2018, in Orlando, Florida, USA, the book provides a timely survey and inspiring guide for all researchers and professionals involved in design, e.g. industrial designers, emotion designers, ethnographers, human–computer interaction researchers, human factors engineers, interaction designers, mobile product designers, and vehicle system designers.
Cloud Computing and Service Science: 7th International Conference, CLOSER 2017, Porto, Portugal, April 24–26, 2017, Revised Selected Papers (Communications in Computer and Information Science #864)
by Donald Ferguson Víctor Méndez Muñoz Jorge Cardoso Markus Helfert Claus PahlThis book constitutes extended, revised and selected papers from the 7th Ith International Conference on Cloud Computing and Service Science, CLOSER 2017, held in Porto, Portugal, in April 2017. The 16 papers presented in this volume were carefully reviewed and selected from a total of 123 submissions. CLOSER 2017 focused on the emerging area of Cloud Computing, inspired by some latest advances that concern the infrastructure, operations and available services throughout the global network.
Smart Grid and Innovative Frontiers in Telecommunications: Third International Conference, SmartGIFT 2018, Auckland, New Zealand, April 23-24, 2018, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #245)
by Peter Han Chong Boon-Chong Seet Michael Chai Saeed Ur RehmanThis book constitutes the proceedings of the Third International Conference on Smart Grid and Innovative Frontiers in Telecommunications, SmartGIFT, held in Auckland, New Zealand, in April 2018. The 28 revised full papers presented were carefully reviewed and selected from 44 submissions. They focus on smart grid as the next generation of electrical grid, which will enable the smart integration of conventional, renewable and distributed power generation, energy storage, transmission and distribution, and demand management. The benefits of smart grid include enhanced reliability and resilience, higher intelligence and optimized control, decentralized operation, higher operational efficiency, more efficient demand management, and better power quality.
Neural Advances in Processing Nonlinear Dynamic Signals (Smart Innovation, Systems and Technologies #102)
by Anna Esposito Marcos Faundez-Zanuy Francesco Carlo Morabito Eros PaseroThis book proposes neural networks algorithms and advanced machine learning techniques for processing nonlinear dynamic signals such as audio, speech, financial signals, feedback loops, waveform generation, filtering, equalization, signals from arrays of sensors, and perturbations in the automatic control of industrial production processes. It also discusses the drastic changes in financial, economic, and work processes that are currently being experienced by the computational and engineering sciences community.Addresses key aspects, such as the integration of neural algorithms and procedures for the recognition, the analysis and detection of dynamic complex structures and the implementation of systems for discovering patterns in data, the book highlights the commonalities between computational intelligence (CI) and information and communications technologies (ICT) to promote transversal skills and sophisticated processing techniques.This book is a valuable resource fora. The academic research communityb. The ICT marketc. PhD students and early stage researchersd. Companies, research institutese. Representatives from industry and standardization bodies
Information and Communication Technology for Development for Africa: First International Conference, ICT4DA 2017, Bahir Dar, Ethiopia, September 25–27, 2017, Proceedings (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering #244)
by Fisseha Mekuria Ethiopia Enideg Nigussie Waltenegus Dargie Mutafugwa Edward Tesfa TegegneThis book constitutes the proceedings of the First International Conference on Information and Communication Technology for Development for Africa, ICT4DA 2017, held in Bahir Dar, Ethiopia, in September 2017. The 31 revised full papers presented were carefully reviewed and selected from 72 submissions. The papers address the impact of ICT in fostering economic development in Africa. In detail they cover the following topics: e-services, natural language processing, intelligent systems, mobile and wireless communication, privacy and security.
Computational Science and Its Applications – ICCSA 2018: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10960)
by Osvaldo Gervasi Beniamino Murgante Sanjay Misra Elena Stankova Carmelo M. Torre Ana Maria Rocha David Taniar Bernady O. Apduhan Eufemia Tarantino Yeonseung RyuThe five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.
Computational Science and Its Applications – ICCSA 2018: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10961)
by Osvaldo Gervasi Beniamino Murgante Sanjay Misra Elena Stankova Carmelo M. Torre Ana Maria Rocha David Taniar Bernady O. Apduhan Eufemia Tarantino Yeonseung RyuThe five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.
Computational Science and Its Applications – ICCSA 2018: 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part III (Lecture Notes in Computer Science #10962)
by Osvaldo Gervasi Beniamino Murgante Sanjay Misra Elena Stankova Carmelo M. Torre Ana Maria Rocha David Taniar Bernady O. Apduhan Eufemia Tarantino Yeonseung RyuThe five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018.Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality.The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.
Computational Science and Its Applications – ICCSA 2018: 18th International Conference, Melbourne, VIC, Australia, July 2–5, 2018, Proceedings, Part IV (Lecture Notes in Computer Science #10963)
by Osvaldo Gervasi Beniamino Murgante Sanjay Misra Elena Stankova Carmelo M. Torre Ana Maria Rocha David Taniar Bernady O. Apduhan Eufemia Tarantino Yeonseung RyuThe five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality.
Computational Science and Its Applications – ICCSA 2018: 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V (Lecture Notes in Computer Science #10964)
by Osvaldo Gervasi Beniamino Murgante Sanjay Misra Elena Stankova Carmelo M. Torre Ana Maria Rocha David Taniar Bernady O. Apduhan Eufemia Tarantino Yeonseung RyuThe five volume set LNCS 10960 until 10964 constitutes the refereed proceedings of the 18th International Conference on Computational Science and Its Applications, ICCSA 2018, held in Melbourne, Australia, in July 2018. Apart from the general tracks, ICCSA 2018 also includes 34 international workshops in various areas of computational sciences, ranging from computational science technologies, to specific areas of computational sciences, such as computer graphics and virtual reality. The total of 265 full papers and 10 short papers presented in the 5-volume proceedings set of ICCSA 2018, were carefully reviewed and selected from 892 submissions.The paper Nitrogen Gas on Graphene: Pairwise Interaction Potentials is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Security in Computer and Information Sciences: First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, London, UK, February 26-27, 2018, Revised Selected Papers (Communications in Computer and Information Science #821)
by Erol Gelenbe Paolo Campegiani Tadeusz Czachórski Sokratis K. Katsikas Ioannis Komnios Luigi Romano Dimitrios TzovarasThis open access book constitutes the thoroughly refereed proceedings of the First International ISCIS Security Workshop 2018, Euro-CYBERSEC 2018, held in London, UK, in February 2018. The 12 full papers presented together with an overview paper were carefully reviewed and selected from 31 submissions. Security of distributed interconnected systems, software systems, and the Internet of Things has become a crucial aspect of the performance of computer systems. The papers deal with these issues, with a specific focus on societally critical systems such as health informatics systems, the Internet of Things, energy systems, digital cities, digital economy, mobile networks, and the underlying physical and network infrastructures.
Principles of Modeling: Essays Dedicated to Edward A. Lee on the Occasion of His 60th Birthday (Lecture Notes in Computer Science #10760)
by Marten Lohstroh Patricia Derler Marjan SirjaniThis Festschrift is published in honor of Edward A. Lee, Robert S. Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of Electrical Engineering and Computer Sciences at the University of California, Berkeley, USA, on the occasion of his 60th birthday.The title of this Festschrift is “Principles of Modeling" because Edward A. Lee has long been devoted to research that centers on the role of models in science and engineering. He has been examining the use and limitations of models, their formal properties, their role in cognition and interplay with creativity, and their ability to represent reality and physics. The Festschrift contains 29 papers that feature the broad range of Edward A. Lee’s research topics; such as embedded systems; real-time computing; computer architecture; modeling and simulation, and systems design.
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science #10951)
by Klaus Havelund Jan Peleska Bill Roscoe Erik De VinkThis book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.
Smart Industry & Smart Education: Proceedings of the 15th International Conference on Remote Engineering and Virtual Instrumentation (Lecture Notes in Networks and Systems #47)
by Michael E. Auer Reinhard LangmannThe REV conference aims to discuss the fundamentals, applications and experiences in remote engineering, virtual instrumentation and related new technologies, as well as new concepts for education on these topics, including emerging technologies in learning, MOOCs & MOOLs, Open Resources, and STEM pre-university education. In the last 10 years, remote solutions based on Internet technology have been increasingly deployed in numerous areas of research, science, industry, medicine and education. With the new focus on cyber-physical systems, Industry 4.0, Internet of Things and the digital transformation in industry, economy and education, the core topics of the REV conference have become indispensable elements of a future digitized society. REV 2018, which was held at the University of Applied Sciences in Duesseldorf from 21–23 March 2018, addressed these topics as well as state-of-the-art and future trends.
Brain-Machine Interfaces for Assistance and Rehabilitation of People with Reduced Mobility (Springer Theses)
by Enrique HortalThis book reports on the development of different control tools for Brain-machine interface-based assistance and rehabilitation. Brain activity is analyzed with the purpose of classify mental tasks and detecting movement intentions in patients with impaired motility. Event-Related Desynchronization (ERD) and Event-Related Synchronization (ERS) are detected. Throughout this book, different control systems are presented and validated. This thesis, examined at the Miguel Hernández University of Elche, Spain, in 2016, received the award for best thesis in bioengineering from the Bioengineering group of the Spanish Committee of Automatic Control (CEA) in 2017.
Data and Applications Security and Privacy XXXII: 32nd Annual IFIP WG 11.3 Conference, DBSec 2018, Bergamo, Italy, July 16–18, 2018, Proceedings (Lecture Notes in Computer Science #10980)
by Florian Kerschbaum Stefano ParaboschiThis book constitutes the refereed proceedings of the 32nd Annual IFIP WG 11.3 International Working Conference on Data and Applications Security and Privacy, DBSec 2018, held in Bergamo, Italy, in July 2018. The 16 full papers and 5 short papers presented were carefully reviewed and selected from 50 submissions. The papers present high-quality original research from academia, industry, and government on theoretical and practical aspects of information security. They are organized in topical sections on administration, access control policies, privacy-preserving access and computation, integrity and user interaction, security analysis and private evaluation, fixing vulnerabilities, and networked systems.
Biomimetic and Biohybrid Systems: 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings (Lecture Notes in Computer Science #10928)
by Vasiliki Vouloutsi José Halloy Anna Mura Michael Mangan Nathan Lepora Tony J. Prescott Paul F.M.J. VerschureThis book constitutes the proceedings of the 7th International Conference on Biomimetic and Biohybrid Systems, Living Machines 2018, held in Paris, France, in July 2018.The 40 full and 18 short papers presented in this volume were carefully reviewed and selected from 60 submissions. The theme of the conference targeted at the intersection of research on novel life-like technologies inspired by the scientific investigation of biological systems, biomimetics, and research that seeks to interface biological and artificial systems to create biohybrid systems.
Numerical and Evolutionary Optimization – NEO 2017 (Studies in Computational Intelligence #785)
by Leonardo Trujillo Oliver Schütze Yazmin Maldonado Paul ValleThis book features 15 chapters based on the Numerical and Evolutionary Optimization (NEO 2017) workshop, held from September 27 to 29 in the city of Tijuana, Mexico. The event gathered researchers from two complimentary fields to discuss the theory, development and application of state-of-the-art techniques to address search and optimization problems. The lively event included 7 invited talks and 64 regular talks covering a wide range of topics, from evolutionary computer vision and machine learning with evolutionary computation, to set oriented numeric and steepest descent techniques. Including research submitted by the NEO community, the book provides informative and stimulating material for future research in the field.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II (Lecture Notes in Computer Science #10982)
by Hana Chockler Georg WeissenbacherThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
Computer Aided Verification: 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I (Lecture Notes in Computer Science #10981)
by Hana Chockler Georg WeissenbacherThis open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.