- Table View
- List View
Multiplex Networks: Basic Formalism and Structural Properties (SpringerBriefs in Complexity)
by Emanuele Cozzo Guilherme Ferraz de Arruda Francisco Aparecido Rodrigues Yamir MorenoThis book provides the basis of a formal language and explores its possibilities in the characterization of multiplex networks. Armed with the formalism developed, the authors define structural metrics for multiplex networks. A methodology to generalize monoplex structural metrics to multiplex networks is also presented so that the reader will be able to generalize other metrics of interest in a systematic way. Therefore, this book will serve as a guide for the theoretical development of new multiplex metrics. Furthermore, this Brief describes the spectral properties of these networks in relation to concepts from algebraic graph theory and the theory of matrix polynomials. The text is rounded off by analyzing the different structural transitions present in multiplex systems as well as by a brief overview of some representative dynamical processes. Multiplex Networks will appeal to students, researchers, and professionals within the fields of network science, graph theory, and data science.
Biomedical Image Registration: 8th International Workshop, WBIR 2018, Leiden, The Netherlands, June 28-29, 2018, Proceedings (Lecture Notes in Computer Science #10883)
by Stefan Klein Marius Staring Stanley Durrleman Stefan SommerThis book constitutes the refereed proceedings of the 8th International Workshop on Biomedical Image Registration, WBIR 2018, held in Leiden, The Netherlands, in June 2018. The 11 full and poster papers included in this volume were carefully reviewed and selected from 17 submitted papers. The papers are organized in the following topical sections: Sliding Motion, Groupwise Registration, Acceleration, and Applications and Evaluation.
RADIO--Robots in Assisted Living: Unobtrusive, Efficient, Reliable and Modular Solutions for Independent Ageing
by Vangelis Karkaletsis Stasinos Konstantopoulos Nikolaos S. Voros Roberta Annicchiarico Maria Dagioglou Christos P. AntonopoulosThis book describes a unique approach to bring robotic technology into elders’ daily lives. Low cost components and low cost robotic assistants are effectively combined to offer high quality services to elders and people in need. The book presents in a comprehensive way how technology can be used for developing a new healthcare paradigm where high quality services are offered at home, thus reducing the ever-increasing hospitalization cost of the elders and the people with chronic diseases.
Open Source Systems: 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings (IFIP Advances in Information and Communication Technology #525)
by Ioannis Stamelos Jesus M. Gonzalez-Barahoña Iraklis Varlamis Dimosthenis AnagnostopoulosThis book constitutes the refereed proceedings of the 14th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2018, held in Athens, Greece, in June 2018.The 14 revised full papers and 2 short papers presented were carefully reviewed and selected from 38 submissions. The papers cover a wide range of topics in the field of free/libre open source software (FLOSS) and are organized in the following thematic sections: organizational aspects of OSS projects, OSS projects validity, mining OSS data, OSS in public administration, OSS governance, and OSS reusability.
Machines, Computations, and Universality: 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings (Lecture Notes in Computer Science #10881)
by Jérôme Durand-Lose Sergey VerlanThis book constitutes the refereed proceedings of the 8th International Conference on Machines, Computations, and Universality, MCU 2018, held in Fontainebleau, France, in June 2018. The 9 revised full papers presented together with 5 invited talks were carefully reviewed and selected from numerous submissions. MCU explores computation in the setting of various discrete models (Turing machines, register machines, cellular automata, tile assembly systems, rewriting systems, molecular computing models, neural models, concurrent systems, etc.) and analog and hybrid models (BSS machines, infinite time cellular automata, real machines, quantum computing, etc.).
Coordination Models and Languages: 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings (Lecture Notes in Computer Science #10852)
by Giovanna Di Marzo Serugendo Michele LoretiThis book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018.The 12 full papers included in this volume were carefully reviewed and selected from 26 submissions. The papers cover a wide range of topics and techniques related to system coordination, including: actor-based coordination, tuple- based coordination, agent-oriented techniques, constraints- based coordination, and finally coordination based on shared spaces.
Transfer Operators, Endomorphisms, and Measurable Partitions (Lecture Notes in Mathematics #2217)
by Sergey Bezuglyi Palle E. JorgensenThe subject of this book stands at the crossroads of ergodic theory and measurable dynamics. With an emphasis on irreversible systems, the text presents a framework of multi-resolutions tailored for the study of endomorphisms, beginning with a systematic look at the latter. This entails a whole new set of tools, often quite different from those used for the “easier” and well-documented case of automorphisms. Among them is the construction of a family of positive operators (transfer operators), arising naturally as a dual picture to that of endomorphisms. The setting (close to one initiated by S. Karlin in the context of stochastic processes) is motivated by a number of recent applications, including wavelets, multi-resolution analyses, dissipative dynamical systems, and quantum theory. The automorphism-endomorphism relationship has parallels in operator theory, where the distinction is between unitary operators in Hilbert space and more general classes of operators such as contractions. There is also a non-commutative version: While the study of automorphisms of von Neumann algebras dates back to von Neumann, the systematic study of their endomorphisms is more recent; together with the results in the main text, the book includes a review of recent related research papers, some by the co-authors and their collaborators.
Unconventional Computation and Natural Computation: 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings (Lecture Notes in Computer Science #10867)
by Susan Stepney Sergey VerlanThis book constitutes the proceedings of the 17th International Conference on Unconventional Computation and Natural Computation, UCNC 2018, held in Fontainebleau, France, in June 2018. The 15 full papers presented were carefully reviewed and selected from 22 submissions. The paper cover topics such as hypercomputation; chaos and dynamical systems based computing; granular, fuzzy and rough computing; mechanical computing; cellular, evolutionary, molecular, neural, and quantum computing; membrane computing; amorphous computing, swarm intelligence; artificial immune systems; physics of computation; chemical computation; evolving hardware; the computational nature of self-assembly, developmental processes, bacterial communication, and brain processes.
Computer Networks: 25th International Conference, CN 2018, Gliwice, Poland, June 19-22, 2018, Proceedings (Communications in Computer and Information Science #860)
by Piotr Gaj Michał Sawicki Grażyna Suchacka Andrzej KwiecieńThis book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Networks, CN 2018, held in Gliwice, Poland, in June 2018. The 34 full papers presented were carefully reviewed and selected from 86 submissions. They are organized in topical sections on computer networks; teleinformatics and telecommunications; queueing theory; cybersecurity and quality service.
Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings (Lecture Notes in Computer Science #10875)
by Jan M. Baetens Martin KutribThis volume constitutes the thoroughly refereed proceedings of the 24th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2018, held in Ghent, Belgium, in June 2018.The 10 regular papers presented in this book were carefully reviewed and selected from a total of 16 submissions. The papers highlight the major advances in the field and the development of new tools, support the development of theory and applications of CA and DCS and identify and study within an inter- and multidisciplinary context, the important fundamental aspects, concepts, notions and problems concerning CA and DCS.
Image and Video Technology: PSIVT 2017 International Workshops, Wuhan, China, November 20-24, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10799)
by Shin'Ichi SatohThis book constitutes the thoroughly refereed post-conference proceedings of five international workshops held in the framework of the 8th Pacific-Rim Symposium on Image and Video Technology, PSIVT 2017, in Wuhan, China, in November 2017: Workshop on Human Behavior Analysis; Workshop on Educational Cloud and Image/Video Enriched Cloud Services, ECIVECS; Workshop: Vision Meets Graphics, VG; Workshop on Active Electro-Optical Sensors for Aerial and Space Imaging, EO4AS; and Workshop on Computer Vision and Modern Vehicles, CVMV.The 34 revised full papers and 2 posters presented were carefully selected from 103 submissions. The papers cover the full range of state-of-the-art research in image and video technology with topics ranging from well-established areas to novel current trends.
Watermarking Techniques for Copyright Protection of Videos (Signals and Communication Technology)
by Ashish M. Kothari Vedvyas Dwivedi Rohit M. ThankiThe book provides copyright protection approaches for videos using watermarking. The various watermarking techniques using various transforms such as discrete cosine transform (DCT), discrete wavelet transform (DWT) and singular value decomposition (SVD) for videos are presented. The book also provides video watermarking approach using compressive sensing (CS) theory. The presented watermarking techniques are designed and implemented using color digital videos. The performance of the presented techniques is evaluated using Peak Signal to Noise Ratio (PSNR) and Normalized Correlation (NC).
Artificial Intelligence for Knowledge Management: 4th IFIP WG 12.6 International Workshop, AI4KM 2016, Held at IJCAI 2016, New York, NY, USA, July 9, 2016, Revised Selected Papers (IFIP Advances in Information and Communication Technology #518)
by Eunika Mercier-Laurent Danielle BoulangerThis book features a selection of papers presented at the 4th IFIP WG 12.6 International Workshop on Artificial Intelligence for Knowledge Management, AI4KM 2016, held in New York, USA, in July 2016, in the framework of the International Joint Conference on Artificial Intelligence, IJCAI 2016. The 9 revised and extended papers were carefully reviewed and selected from 16 submissions. They present new research and innovative aspects in the field of knowledge management such as machine learning, knowledge models, KM and Web, knowledge capturing and learning, and KM and AI intersections.
Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27–29, 2018, Proceedings (Lecture Notes in Computer Science #10886)
by Einar Broch Johnsen Ina SchaeferThis book constitutes the refereed proceedings of the 16th International Conference on Software Engineering and Formal Methods, SEFM 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 17 full papers presented in this book were carefully reviewed and selected from 58 submissions. The papers deal with a large range of topics in the following research areas: specification; concurrency; program analysis; model checking and runtime verification; applications; and shape analysis and reuse.
Tests and Proofs: 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings (Lecture Notes in Computer Science #10889)
by Catherine Dubois Burkhart WolffThis book constitutes the refereed proceedings of the 12th International Conference on Tests and Proofs, TAP 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 8 regular papers, 2 short papers, 1 invited paper and 1 invited tutorial presented in this volume were carefully reviewed and selected from 18 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Modelling Foundations and Applications: 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings (Lecture Notes in Computer Science #10890)
by Alfonso Pierantonio Salvador TrujilloThis book constitutes the proceedings of the 14th European Conference on Modelling Foundations and Applications, ECMFA 2018, held as part of STAF 2018, in Toulouse, France, in June 2018.The 19 papers presented in this volume were carefully reviewed and selected from 45 submissions. The cover topics such as (bidirectional and unidirectional) model transformations, model management, re-engineering, modelling environments, verification and validation, and domain-specific modelling w.r.t. business processes, automotive software, and safety-critical software.
Evolutionary Algorithms and Neural Networks: Theory and Applications (Studies in Computational Intelligence #780)
by Seyedali MirjaliliThis book introduces readers to the fundamentals of artificial neural networks, with a special emphasis on evolutionary algorithms. At first, the book offers a literature review of several well-regarded evolutionary algorithms, including particle swarm and ant colony optimization, genetic algorithms and biogeography-based optimization. It then proposes evolutionary version of several types of neural networks such as feed forward neural networks, radial basis function networks, as well as recurrent neural networks and multi-later perceptron. Most of the challenges that have to be addressed when training artificial neural networks using evolutionary algorithms are discussed in detail. The book also demonstrates the application of the proposed algorithms for several purposes such as classification, clustering, approximation, and prediction problems. It provides a tutorial on how to design, adapt, and evaluate artificial neural networks as well, and includes source codes for most of the proposed techniques as supplementary materials.
Multiphysics in Porous Materials
by Zhen Leo LiuThis book summarizes, defines, and contextualizes multiphysics with an emphasis on porous materials. It covers various essential aspects of multiphysics, from history, definition, and scope to mathematical theories, physical mechanisms, and numerical implementations. The emphasis on porous materials maximizes readers’ understanding as these substances are abundant in nature and a common breeding ground of multiphysical phenomena, especially complicated multiphysics. Dr. Liu’s lucid and easy-to-follow presentation serve as a blueprint on the use of multiphysics as a leading edge technique for computer modeling. The contents are organized to facilitate the transition from familiar, monolithic physics such as heat transfer and pore water movement to state-of-the-art applications involving multiphysics, including poroelasticity, thermohydro-mechanical processes, electrokinetics, electromagnetics, fluid dynamics, fluid structure interaction, and electromagnetomechanics. This volume serves as both a general reference and specific treatise for various scientific and engineering disciplines involving multiphysics simulation and porous materials.
Big Data for the Greater Good (Studies in Big Data #42)
by Ali Emrouznejad Vincent CharlesThis book highlights some of the most fascinating current uses, thought-provoking changes, and biggest challenges that Big Data means for our society. The explosive growth of data and advances in Big Data analytics have created a new frontier for innovation, competition, productivity, and well-being in almost every sector of our society, as well as a source of immense economic and societal value. From the derivation of customer feedback-based insights to fraud detection and preserving privacy; better medical treatments; agriculture and food management; and establishing low-voltage networks – many innovations for the greater good can stem from Big Data. Given the insights it provides, this book will be of interest to both researchers in the field of Big Data, and practitioners from various fields who intend to apply Big Data technologies to improve their strategic and operational decision-making processes.
Advances in Robot Kinematics 2018 (Springer Proceedings in Advanced Robotics #8)
by Jadran Lenarcic Vincenzo Parenti-CastelliThis is the proceedings of ARK 2018, the 16th International Symposium on Advances in Robot Kinematics, that was organized by the Group of Robotics, Automation and Biomechanics (GRAB) from the University of Bologna, Italy.ARK are international symposia of the highest level organized every two years since 1988. ARK provides a forum for researchers working in robot kinematics and stimulates new directions of research by forging links between robot kinematics and other areas.The main topics of the symposium of 2018 were: kinematic analysis of robots, robot modeling and simulation, kinematic design of robots, kinematics in robot control, theories and methods in kinematics, singularity analysis, kinematic problems in parallel robots, redundant robots, cable robots, over-constrained linkages, kinematics in biological systems, humanoid robots and humanoid subsystems.
Affective Feedback in Intelligent Tutoring Systems: A Practical Approach (Human–Computer Interaction Series)
by Samantha Jiménez Reyes Juárez-Ramírez Victor H. Castillo Juan José Tapia ArmentaAffective components are as important as cognitive components in tutoring assisted learning process. Feedback from tutors is essential in keeping students motivated. Affectivity and motivation are also significant in computer-based tutoring systems. However, several educational frameworks do not include this kind of interaction between students and tutoring systems. In those cases, the students learning interest and motivation to learn could be negatively affected, and student profits from the system could be impoverished. This is why tutoring systems need to provide direct and affective interaction with students; it can encourage them and increase the motivation to learn. This book introduces a broad range of topics in affective learning in computer-based systems. The text offers a deep conceptual background, covering relevant concepts of affectivity, feedback and motivational components in learning environments. It describes the design of a proposed model for providing affective feedback, the mathematical validation of the conceptual model and its implementation. Moreover, it presents an analysis of the impact of the affective feedback on student motivation to learn. Finally, the book offers research perspectives of the impact and applicability of the affective feedback in computer-based tutoring environments. Affective Feedback in Intelligent Tutoring Systems can be used by human tutors who want to include motivational and affective elements in the learning process, researchers in Human-Computer Interaction and Education and by software developers who want to develop learning systems using these elements.
Learning Mathematics in a Mobile App-Supported Math Trail Environment (SpringerBriefs in Education)
by Adi Nur CahyonoThis brief presents the results of a study on the development of the mobile app-supported math trail program for learning mathematics. This study is a part of the MathCityMap-Project, a project of the MATIS I Team from IDMI Goethe-Universität Frankfurt, Germany, that comprises math trails around the city that are supported by the use of GPS-enabled mobile phone technology. The project offers an activity that is designed to support students in constructing their own mathematical knowledge by solving the prepared mathematical tasks on the math trail and interacting with the environment, including the digital environment. The brief focuses specifically on the development of a model for a mobile app-supported math trail programme and the implementation of this programme in Indonesia. It offers both an empirical exploration of its implementation as well as critical assessment of students’ motivation in mathematics, their own performance, as well as teachers’ mathematics beliefs. It concludes with a future-forward perspective by recommending strategies for implementation in schools, among the general public of the existing math trails (including its supporting tool). It also discusses strategies for developing and designing new trails and suggests further research in other geographical regions and contexts for continued project development and implementation. Learning Mathematics in a Mobile App-Supported Math Trail Environment articulates an innovative and exciting future for integrating real mathematical tasks and geographic and digital environment into effective mathematics education.
Medical Imaging and its Security in Telemedicine Applications (SpringerBriefs in Applied Sciences and Technology)
by Rohit Thanki Surekha BorraThis book introduces medical imaging, its security requirements, and various security mechanisms using data hiding approaches. The book in particular provides medical data hiding techniques using various advanced image transforms and encryption methods. The book focuses on two types of data hiding techniques: steganography and watermarking for medical images. The authors show how these techniques are used for security and integrity verification of medical images and designed for various types of medical images such as grayscale image and color image. The implementation of techniques are done using discrete cosine transform (DCT), discrete wavelet transform (DWT), singular value decomposition (SVD), redundant DWT (RDWT), fast discrete curvelet transform (FDCuT), finite ridgelet transform (FRT) and non-subsampled contourlet transform (NSCT). The results of these techniques are also demonstrated after description of each technique. Finally, some future research directions are provided for security of medical images in telemedicine application.
Information Systems Security and Privacy: Third International Conference, ICISSP 2017, Porto, Portugal, February 19-21, 2017, Revised Selected Papers (Communications in Computer and Information Science #867)
by Paolo Mori Steven Furnell Olivier CampThis book constitutes the revised selected papers of the Third International Conference on Information Systems Security and Privacy, ICISSP 2017, held in Porto, Portugal, in February 2017. The 13 full papers presented were carefully reviewed and selected from a total of 100 submissions. They are dealing with topics such as vulnerability analysis and countermeasures, attack patterns discovery and intrusion detection, malware classification and detection, cryptography applications, data privacy and anonymization, security policy analysis, enhanced access control, and socio-technical aspects of security.
Enterprise Information Systems: 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers (Lecture Notes in Business Information Processing #321)
by Slimane Hammoudi Michał Śmiałek Olivier Camp Joaquim FilipeThis book constitutes extended and revised papers from the 19th International Conference on Enterprise Information Systems, ICEIS 2017, held in Porto, Portugal, in April 2017. The 28 papers presented in this volume were carefully reviewed and selected for inclusion in this book from a total of 318 submissions. They were organized in topical sections named: databases and information systems integration; artificial intelligence and decision support systems; information systems analysis and specification; software agents and internet computing; human-computer interaction; and enterprise architecture.