- Table View
- List View
Compact Extended Linear Programming Models (EURO Advanced Tutorials on Operational Research)
by Giuseppe Lancia Paolo SerafiniThis book provides a handy, unified introduction to the theory of compact extended formulations of exponential-size integer linear programming (ILP) models. Compact extended formulations are equally powerful, but polynomially-sized, models whose solutions do not require the implementation of separation and pricing procedures. The book is written in a general, didactic, form first developing the background theoretical concepts (polyhedra, projections, linear and integer programming) and then delving into the various techniques for compact extended reformulations. The techniques are illustrated through a wealth of examples touching on many application areas, such as classical combinatorial optimization, network design, timetabling, scheduling, routing, computational biology and bioinformatics. The book is intended for graduate or PhD students - either as an advanced course on selected topics or within a more general course on ILP and Mathematical Programming - as well as for practitioners and software engineers in industry looking at techniques for developing optimization models for their specific problems.
Augmented Reality and Virtual Reality: Empowering Human, Place and Business (Progress in IS)
by Timothy Jung M. Claudia tom DieckThis volume provides the latest outcomes of augmented reality (AR) and virtual reality (VR) research conducted in various industries. It reveals how AR and VR are currently changing the business landscape, and how new innovations provide opportunities for businesses to offer their customers unique services and experiences. Collecting the proceedings of the International AR & VR Conference held in Manchester, UK, in February 2017, the book advances the state of the art in AR and VR technologies and their applications in various industries such as tourism, hospitality, events, fashion, entertainment, retail, education and the gaming industry. The papers presented here cover the most significant topics within the field of AR and VR for both researchers and practitioners, approaching them from a business and management perspective.
Applied Computing & Information Technology (Studies in Computational Intelligence #727)
by Roger LeeThis edited book presents scientific results of the 4th International Conference on Applied Computing and Information Technology (ACIT 2016) which was held on December 12-14, 2016 in Las Vegas, USA. The aim of this conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the numerous fields of computer science and to share their experiences and exchange new ideas and information in a meaningful way. The aim of this conference was also to bring out the research results about all aspects (theory, applications and tools) of computer and information science, and to discuss the practical challenges encountered along the way and the solutions adopted to solve them. The conference organizers selected the best papers from those papers accepted for presentation at the conference. The papers were chosen based on review scores submitted by members of the Program Committee, and underwent further rigorous rounds of review. This book captures 11 of the conference's most promising papers, and the readers impatiently await the important contributions that they know these authors are going to bring to the field of computer and information science.
Advances in Modeling and Simulation: Seminal Research from 50 Years of Winter Simulation Conferences (Simulation Foundations, Methods and Applications)
by Andreas Tolk John Fowler Guodong Shao Enver YücesanThis broad-ranging text/reference presents a fascinating review of the state of the art of modeling and simulation, highlighting both the seminal work of preeminent authorities and exciting developments from promising young researchers in the field. Celebrating the 50th anniversary of the Winter Simulation Conference (WSC), the premier international forum for disseminating recent advances in the field of system simulation, the book showcases the historical importance of this influential conference while also looking forward to a bright future for the simulation community. Topics and features: examines the challenge of constructing valid and efficient models, emphasizing the benefits of the process of simulation modeling; discusses model calibration, input model risk, and approaches to validating emergent behaviors in large-scale complex systems with non-linear interactions; reviews the evolution of simulation languages, and the history of the Time Warp algorithm; offers a focus on the design and analysis of simulation experiments under various goals, and describes how data can be "farmed" to support decision making; provides a comprehensive overview of Bayesian belief models for simulation-based decision making, and introduces a model for ranking and selection in cloud computing; highlights how input model uncertainty impacts simulation optimization, and proposes an approach to quantify and control the impact of input model risk; surveys the applications of simulation in semiconductor manufacturing, in social and behavioral modeling, and in military planning and training; presents data analysis on the publications from the Winter Simulation Conference, offering a big-data perspective on the significant impact of the conference. This informative and inspiring volume will appeal to all academics and professionals interested in computational and mathematical modeling and simulation, as well as to graduate students on the path to form the next generation of WSC pioneers.
Advances in Information and Computer Security: 12th International Workshop on Security, IWSEC 2017, Hiroshima, Japan, August 30 – September 1, 2017, Proceedings (Lecture Notes in Computer Science #10418)
by Satoshi Obana Koji ChidaThis book constitutes the refereed proceedings of the 12th International Workshop on Security, IWSEC 2017, held in Hiroshima, Japan, in August/September 2017. The 11 regular papers and 3 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: post-quantum cryptography; system security; public key cryptosystems; cryptanalysis; and cryptographic protocols.
Brain-Computer Interface Research: A State-of-the-Art Summary 6 (SpringerBriefs in Electrical and Computer Engineering #6)
by Brendan Allison Christoph Guger Mikhail LebedevBrain-computer interfaces (BCIs) are rapidly developing into a mainstream, worldwide research endeavor. With so many new groups and projects, it can be difficult to identify the best ones. This book summarizes ten leading projects from around the world. About 60 submissions were received in 2011 for the highly competitive BCI Research Award, and an international jury selected the top ten. This Brief gives a concise but carefully illustrated and fully up-to-date description of each of these projects, together with an introduction and concluding chapter by the editors.
Cyber Racism and Community Resilience: Strategies for Combating Online Race Hate (Palgrave Hate Studies)
by Karen Connelly Andrew Jakubowicz Kevin Dunn Gail Mason Yin Paradies Ana-Maria Bliuc Nasya Bahfen Andre Oboler Rosalie AtieThis book highlights cyber racism as an ever growing contemporary phenomenon. Its scope and impact reveals how the internet has escaped national governments, while its expansion is fuelling the spread of non-state actors. In response, the authors address the central question of this topic: What is to be done? Cyber Racism and Community Resilience demonstrates how the social sciences can be marshalled to delineate, comprehend and address the issues raised by a global epidemic of hateful acts against race. Authored by an inter-disciplinary team of researchers based in Australia, this book presents original data that reflects upon the lived, complex and often painful reality of race relations on the internet. It engages with the various ways, from the regulatory to the role of social activist, which can be deployed to minimise the harm often felt. This book will be of particular interest to students and academics in the fields of cybercrime, media sociology and cyber racism.
Advanced Solutions in Diagnostics and Fault Tolerant Control (Advances in Intelligent Systems and Computing #635)
by Jan M. Kościelny Michał Syfert Anna SztyberThis book highlights the latest achievements concerning the theory, methods and practice of fault diagnostics, fault tolerant systems and cyber safety. When considering the diagnostics of industrial processes and systems, increasingly important safety issues cannot be ignored. In this context, diagnostics plays a crucial role as a primary measure of the improvement of the overall system safety integrity level. Obtaining the desired diagnostic coverage or providing an appropriate level of inviolability of the integrity of a system is now practically inconceivable without the use of fault detection and isolation methods. Given the breadth and depth of its coverage, the book will be of interest to researchers faced with the challenge of designing technical and medical diagnosis systems, as well as junior researchers and students in the fields of automatic control, robotics, computer science and artificial intelligence.
Constructive Side-Channel Analysis and Secure Design: 8th International Workshop, COSADE 2017, Paris, France, April 13-14, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10348)
by Sylvain GuilleyThis book constitutes revised selected papers from the 8th International Workshop on Constructive Side-Channel Analysis and Secure Design, COSADE 2017, held in Paris, France, in April 2017. The 17 papers presented in this volume were carefully reviewed and selected from numerous submissions. They were organized in topical sections named: Side-Channel Attacks and Technological Effects; Side-Channel Countermeasures; Algorithmic Aspects in Side-Channel Attacks; Side-Channel Attacks; Fault Attacks; Embedded Security; and Side-Channel Tools.
Algorithms and Programs of Dynamic Mixture Estimation: Unified Approach to Different Types of Components (SpringerBriefs in Statistics)
by Ivan Nagy Evgenia SuzdalevaThis book provides a general theoretical background for constructing the recursive Bayesian estimation algorithms for mixture models. It collects the recursive algorithms for estimating dynamic mixtures of various distributions and brings them in the unified form, providing a scheme for constructing the estimation algorithm for a mixture of components modeled by distributions with reproducible statistics. It offers the recursive estimation of dynamic mixtures, which are free of iterative processes and close to analytical solutions as much as possible. In addition, these methods can be used online and simultaneously perform learning, which improves their efficiency during estimation. The book includes detailed program codes for solving the presented theoretical tasks. Codes are implemented in the open source platform for engineering computations. The program codes given serve to illustrate the theory and demonstrate the work of the included algorithms.
Advanced Technologies in Practical Applications for National Security (Studies in Systems, Decision and Control #106)
by Aleksander Nawrat Karol Jędrasiak Damian BereskaThis book presents advanced technologies used in practice to enable early recognition and tracking of various threats to national security. It discusses practical applications, examples and recent challenges in the application fields using sophisticated sensory devices, embedded designs and airborne and ground unmanned vehicles. Undeniably rapid advances in the development of sophisticated sensory devices, significant increases of computing power available to embedded designs and the development of airborne and ground unmanned vehicles offer almost unlimited possibilities for fighting various types of pathologies affecting our societies. The book provides scientists, researchers, engineers and graduate students involved in computer vision, image processing, data fusion, control algorithms, mechanics, data mining, navigation and integrated circuit (IC) with numerous valuable, useful and practical suggestions and solutions.
Computer Analysis of Images and Patterns: 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part I (Lecture Notes in Computer Science #10424)
by Michael Felsberg Anders Heyden Norbert KrügerThe two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017. The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.
Computer Analysis of Images and Patterns: 17th International Conference, CAIP 2017, Ystad, Sweden, August 22-24, 2017, Proceedings, Part II (Lecture Notes in Computer Science #10425)
by Michael Felsberg Anders Heyden Norbert KrügerThe two volume set LNCS 10424 and 10425 constitutes the refereed proceedings of the 17th International Conference on Computer Analysis of Images and Patterns, CAIP 2017, held in Ystad, Sweden, in August 2017. The 72 papers presented were carefully reviewed and selected from 144 submissions The papers are organized in the following topical sections: Vision for Robotics; Motion and Tracking; Segmentation; Image/Video Indexing and Retrieval; Shape Representation and Analysis; Biomedical Image Analysis; Biometrics; Machine Learning; Image Restoration; and Poster Sessions.
Adventures in Computer Science: From Classical Bits to Quantum Bits
by Vicente Moret-BonilloThe main focus of this textbook is the basic unit of information and the way in which our understanding of this has evolved over time. In particular the author covers concepts related to information, classical computing, logic, reversible computing, quantum mechanics, quantum computing, thermodynamics and some artificial intelligence and biology, all approached from the viewpoint of computer sciences. The book begins by asking the following nontrivial question: what is a bit? The author then discusses logic, logic gates, reversible computing and reversible architectures, and the concept of disorder. He then tries to establish the relationship between three essential questions that justify quantum approaches in computer sciences: the energy required to perform a real-life computation, the size of current processors, and the reversibility of quantum operations. Based on these concepts, the author establishes the conditions that justify the use of quantum techniques for certain kinds of computational tasks, and he uses formal descriptions and formal argumentations to introduce key quantum mechanical concepts and approaches. The rest of the book is formally different, focusing on practical issues, including a discussion of remarkable quantum algorithms in a treatment based on quantum circuit theory. The book is valuable for graduate students in computer science, and students of other disciplines who are engaged with physical models of information and computing.
Computer Vision, Imaging and Computer Graphics Theory and Applications: 11th International Joint Conference, VISIGRAPP 2016, Rome, Italy, February 27 – 29, 2016, Revised Selected Papers (Communications in Computer and Information Science #693)
by Nadia Magnenat-Thalmann Sebastiano Battiato José Braz Lars Linsen Paul Richard Francisco Imai Alexandru TeleaThis book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2010, the Joint Conference on Computer Vision Theory and Applications (VISAPP), on Imaging Theory and Applications (IMAGAPP), and on Computer Graphics Theory and Applications (GRAPP), held in Angers, France, in May 2010. The 19 revised full papers presented together with two invited papers were carefully reviewed and selected. The papers are organized in topical sections on computer vision theory and applications; imaging theory and applications; computer graphics theory and applications; and information visualization theory and applications.
Business Process Management: 15th International Conference, Bpm 2017, Barcelona, Spain, September 10-15, 2017, Proceedings (Lecture Notes in Computer Science #10445)
by Gregor Engels Josep Carmona Akhil KumarThis book constitutes the proceedings of the BPM Forum from the International Conference on Business Process Management, BPM 2017, held in Barcelona, Spain, September 2017. The BPM Forum hosts innovative research which has a high potential of stimulating discussions. The papers selected for the forum are expected to showcase fresh ideas from exciting and emerging topics in BPM, even if they are not yet as mature as the regular papers at the conference. The volume contains 11 full papers carefully reviewed and selected from 97 submissions. Each paper was reviewed by a team comprising of a senior PC and four regular PC members who engage in a discussion phase after the initial reviews were prepared. The authors eventually receive four review reports, and a meta-review that summarizes the reviews and the discussion. The selected papers cover topics related to process models and metrics, mining and compliance, and to other innovative ideas such as gamification, smart devices and digital innovation as far as they pertain to BPM.
Computer Network Security: 7th International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2017, Warsaw, Poland, August 28-30, 2017, Proceedings (Lecture Notes in Computer Science #10446)
by Krzysztof Szczypiorski Jacek Rak John Bay Igor Kotenko Leonard Popyack Victor SkorminThis book presents the refereed proceedings of the International Workshop on Mathematical Methods, Models, and Architectures for Network Security Systems, MMM-ACNS 2001, held in St. Petersburg in May 2001. The 24 revised full papers presented together with five invited contributions were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on network security systems: foundations, models and architectures; intrusion detection: foundations and models; access control, authentication, and authorization; and cryptography and steganography: mathematical basis, protocols, and applied methods.
Creating with Mobile Media
by Marsha BerryThis book investigates the convergence between locative, mobile and social media in order to show how people use mobile media for their creative practice--creative writing, photography, video and filmmaking. The central thematic focus of this book explores how mobile media has created new opportunities and contexts for creative practitioners. It draws together creative practice research with non-representational theory and digital ethnography to provide a fresh perspective on the place mobile media has in our everyday creative lives. Fictionalized and semi-fictional vignettes are used to present empirical material taken from fieldnotes and interviews to demonstrate how new forms and genres of art making have arisen because of the affordances of mobile media. The chapters in this volume have been arranged into a sequence according to the kinds of actions that make up various creative practices.
City Networks: Collaboration and Planning for Health and Sustainability (Springer Optimization and Its Applications #128)
by Panos M. Pardalos Stamatina Th. Rassia Athanasia Karakitsiou Athanasios MigdalasThis book both analyzes and synthesizes new cutting-edge theories and methods for future design implementations in smart cities through interdisciplinary synergizing of architecture, technology, and the Internet of Things (IoT). Implementation of IoT enables the collection and data exchange of objects embedded with electronics, software, sensors, and network connectivity. Recently IoT practices have moved into uniquely identifiable objects that are able to transfer data directly into networks. This book features new technologically advanced ideas, highlighting properties of smart future city networks. Chapter contributors include theorists, computer scientists, mathematicians, and interdisciplinary planners, who currently work on identifying theories, essential elements, and practices where the IoT can impact the formation of smart cities and sustainability via optimization, network analyses, data mining, mathematical modeling and engineering. Moreover, this book includes research-based theories and real world practices aimed toward graduate researchers, experts, practitioners and the general public interested in architecture, engineering, mathematical modeling, industrial design, computer science technologies, and related fields.
Assessment and Teaching of 21st Century Skills: Research and Applications (Educational Assessment in an Information Age)
by Mark Wilson Patrick Griffin Esther CareRapid--and seemingly accelerating--changes in the economies of developed nations are having a proportional effect on the skill sets required of workers in many new jobs. Work environments are often technology-heavy, while problems are frequently ill-defined and tackled by multidisciplinary teams. This book contains insights based on research conducted as part of a major international project supported by Cisco, Intel and Microsoft. It faces these new working environments head-on, delineating new ways of thinking about '21st-century' skills and including operational definitions of those skills. The authors focus too on fresh approaches to educational assessment, and present methodological and technological solutions to the barriers that hinder ICT-based assessments of these skills, whether in large-scale surveys or classrooms. Equally committed to defining its terms and providing practical solutions, and including international perspectives and comparative evaluations of assessment methodology and policy, this volume tackles an issue at the top of most educationalists' agendas.
Advances in Knowledge Discovery and Management: Volume 7 (Studies in Computational Intelligence #732)
by Fabrice Guillet Bruno Pinaud Bruno Cremilleux Cyril RunzThis book is a collection of representative and novel works done in Data Mining, Knowledge Discovery, Clustering and Classification that were originally presented in French at the EGC'2012 Conference held in Bordeaux, France, on January 2012. This conference was the 12th edition of this event, which takes place each year and which is now successful and well-known in the French-speaking community. This community was structured in 2003 by the foundation of the French-speaking EGC society (EGC in French stands for ``Extraction et Gestion des Connaissances'' and means ``Knowledge Discovery and Management'', or KDM). This book is intended to be read by all researchers interested in these fields, including PhD or MSc students, and researchers from public or private laboratories. It concerns both theoretical and practical aspects of KDM. The book is structured in two parts called ``Knowledge Discovery and Data Mining'' and ``Classification and Feature Extraction or Selection''. The first part (6 chapters) deals with data clustering and data mining. The three remaining chapters of the second part are related to classification and feature extraction or feature selection.
Algorithms and Architectures for Parallel Processing: 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings (Lecture Notes in Computer Science #10393)
by Witold Pedrycz Kim-Kwang Raymond Choo Zheng Yan Shadi IbrahimThis book constitutes the proceedings of the 17th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2017, held in Helsinki, Finland, in August 2017. The 25 full papers presented were carefully reviewed and selected from 117 submissions. They cover topics such as parallel and distributed architectures; software systems and programming models; distributed and network-based computing; big data and its applications; parallel and distributed algorithms; applications of parallel and distributed computing; service dependability and security in distributed and parallel systems; service dependability and security in distributed and parallel systems; performance modeling and evaluation. This volume also includes 41 papers of four workshops, namely: the 4th International Workshop on Data, Text, Web, and Social Network Mining (DTWSM 2017), the 5th International Workshop on Parallelism in Bioinformatics (PBio 2017) , the First International Workshop on Distributed Autonomous Computing in Smart City (DACSC 2017), and the Second International Workshop on Ultrascale Computing for Early Researchers (UCER 2017).
Advances in Network-Based Information Systems: The 20th International Conference on Network-Based Information Systems (NBiS-2017) (Lecture Notes on Data Engineering and Communications Technologies #7)
by Makoto Takizawa Leonard Barolli Tomoya EnokidoThis book highlights the latest research findings, innovative research results, methods and development techniques from both theoretical and practical perspectives related to the emerging areas of information networking and their applications. It includes the Proceedings of the 20th International Conference on Network-Based Information Systems (NBiS-2017), held on August 24-26, 2017 in Toronto, Canada. Today's networks and information systems are evolving rapidly. Further, there are dynamic new trends and applications in information networking such as wireless sensor networks, ad hoc networks, peer-to-peer systems, vehicular networks, opportunistic networks, grid and c loud computing, pervasive and ubiquitous computing, multimedia systems, security, multi-agent systems, high-speed networks, and web-based systems. These networks are expected to manage the increasing number of users, provide support for a range of services, guarantee the quality of service (QoS), and optimize their network resources. In turn, these demands are the source of various research issues and challenges that have to be overcome - and which these Proceeding address.
Creativity in Intelligent Technologies and Data Science: Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings (Communications in Computer and Information Science #754)
by Alla Kravets Maxim Shcherbakov Marina Kultsova Peter GroumposThis book constitutes the refereed proceedings of the First Conference on Creativity in Intelligent Technologies and Data Science, CIT&DS 2015, held in Volgograd, Russia, in September 2015. The 66 revised full papers and two short papers presented were carefully reviewed and selected from 208 submissions. The papers are organized in topical sections on computational creativity for science and design; knowledge discovery in patent and open sources for creative tasks; software computer-aided design and agent-based systems; conceptual, cognitive and qualitative modeling with application in intelligent decision making; design creativity in CAD/CAM/CAE/PDM; intelligent decision support for continual improvement process; data science in energy management, transportation and urban development; data science in social networks analysis; natural language and image processing and analysis; game-based learning technologies in engineering education and educational games design; personalized learning in Web-based intelligent educational systems; e-inclusion: development of smart mobile applications for people with disabilities.
Earth Observation Open Science and Innovation (ISSI Scientific Report Series #15)
by Pierre-Philippe Mathieu Christoph AubrechtThis book is published open access under a CC BY 4. 0 license. Over the past decades, rapid developments in digital and sensing technologies, such as the Cloud, Web and Internet of Things, have dramatically changed the way we live and work. The digital transformation is revolutionizing our ability to monitor our planet and transforming the way we access, process and exploit Earth Observation data from satellites. This book reviews these megatrends and their implications for the Earth Observation community as well as the wider data economy. It provides insight into new paradigms of Open Science and Innovation applied to space data, which are characterized by openness, access to large volume of complex data, wide availability of new community tools, new techniques for big data analytics such as Artificial Intelligence, unprecedented level of computing power, and new types of collaboration among researchers, innovators, entrepreneurs and citizen scientists. In addition, this book aims to provide readers with some reflections on the future of Earth Observation, highlighting through a series of use cases not just the new opportunities created by the New Space revolution, but also the new challenges that must be addressed in order to make the most of the large volume of complex and diverse data delivered by the new generation of satellites.