Your cart is empty
This book presents papers from the First International Conference on Smart Vehicular Technology, Transportation, Communication and Applications (VTCA 2017). Held from 6 to 8 November 2017 in Kaohsiung, Taiwan, the conference was co-sponsored by Springer, Fujian University of Technology in China, Fujian Provincial Key Laboratory of Digital Equipment, Fujian Provincial Key Lab of Big Data Mining and Applications, and National Kaohsiung University of Applied Sciences in Taiwan. The book is a valuable resource for researchers and professionals engaged in all areas of smart vehicular technology, vehicular transportation, vehicular communication, and applications.
This book constitutes the refereed proceedings of the 16th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2017, held in Bari, Italy, in November 2017. The 37 full papers presented were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on applications of AI; natural language processing; knowledge representation and reasoning; knowledge engineering, ontologies and the semantic web; machinelearning; philosophical foundations, metacognitive modeling and ethics; and planning and scheduling.
This book addresses new challenges and emerging ideas in Distributed Information Filtering and Retrieval. It gathers extended papers presented at DART 2013 (the 7th International Workshop on Information Filtering and Retrieval), held on December 6, 2013 in Turin, Italy, and co-hosted with the XIII International Conference of the Italian Association for Artificial Intelligence. The main focus of DART was to discuss and compare suitable novel solutions based on intelligent techniques and applied to real-world contexts. The papers presented here offer a comprehensive review of related work and state-of-the-art techniques. The authors - a mix of respected practitioners and researchers - share their findings on a range of topics, including data leak protection on text comparison, natural language processing, ambient intelligence, information retrieval and web portals, and knowledge management. All contributions were carefully reviewed by experts in the respective area, who also provided useful suggestions to improve the book's overall quality.
This book contains the proceedings of the 11th FSR (Field and Service Robotics), which is the leading single-track conference on applications of robotics in challenging environments. This conference was held in Zurich, Switzerland from 12-15 September 2017. The book contains 45 full-length, peer-reviewed papers organized into a variety of topics: Control, Computer Vision, Inspection, Machine Learning, Mapping, Navigation and Planning, and Systems and Tools. The goal of the book and the conference is to report and encourage the development and experimental evaluation of field and service robots, and to generate a vibrant exchange and discussion in the community. Field robots are non-factory robots, typically mobile, that operate in complex and dynamic environments: on the ground (Earth or other planets), under the ground, underwater, in the air or in space. Service robots are those that work closely with humans to help them with their lives. The first FSR was held in Canberra, Australia, in 1997. Since that first meeting, FSR has been held roughly every two years, cycling through Asia, Americas, and Europe.
This volume presents the papers contributed to ?EON 2008, the 10th Int- national Conference on Deontic Logic in Computer Science, held in Fiesole (Florence), July 7-9, 2010. This biennial conference series is designed to p- mote international cooperation amongst scholars who are interested in deontic logic and its use in computer science. The scope of the conference is interd- ciplinary, it covers formal-logical studies of normative concepts and normative systems and their links with computer science, arti?cial intelligence, philosophy, organization theory, and law. This edition of ?EON invited submission on the following general themes: the logical study of normative reasoning, including formal systems of deontic logic, defeasible normative reasoning, the logic of action, and other related - eas of logic, the formal analysis of normative concepts and normative systems, the formal representation of legal knowledge, the formal speci?cation of aspects of norm-governed multi-agent systems and autonomous agents, including (but not limited to) the representation of rights, authorization, delegation, power, responsibility and liability, the formal speci?cation of normative systems for the managementofbureaucraticprocessesinpublic orprivateadministration,app- cations of normative logic to the speci? cation of database integrity constraints, normative aspects of protocols for communication, negotiation and multi-agent decision making.In particular,submissions weresolicited addressingapplication of deontic notions for modelling legal systems.
This book presents recent research on the hybridization of intelligent methods, which refers to combining methods to solve complex problems. It discusses hybrid approaches covering different areas of intelligent methods and technologies, such as neural networks, swarm intelligence, machine learning, reinforcement learning, deep learning, agent-based approaches, knowledge-based system and image processing. The book includes extended and revised versions of invited papers presented at the 6th International Workshop on Combinations of Intelligent Methods and Applications (CIMA 2016), held in The Hague, Holland, in August 2016. The book is intended for researchers and practitioners from academia and industry interested in using hybrid methods for solving complex problems.
This thesis reports on novel methods for gain-scheduling and fault tolerant control (FTC). It begins by analyzing the connection between the linear parameter varying (LPV) and Takagi-Sugeno (TS) paradigms. This is then followed by a detailed description of the design of robust and shifting state-feedback controllers for these systems. Furthermore, it presents two approaches to fault-tolerant control: the first is based on a robust polytopic controller design, while the second involves a reconfiguration of the reference model and the addition of virtual actuators into the loop. Inaddition the thesis offers a thorough review of the state-of-the art in gain scheduling and fault-tolerant control, with a special emphasis on LPV and TS systems.
This book constitutes the refereed proceedings of the 35th International Conference on Conceptual Modeling, ER 2017, held in Valencia, Spain, in November 2017. The 28 full and 10 short papers presented together with 1 full 6 keynotes were carefully reviewed and selected from 153 submissions. This events covers a wide range of following topics: Conceptual Modeling Methodology, Conceptual Modeling and Requirements, Foundations, Conceptual Modeling in Specifi c Context, Conceptual Modeling and Business Processes, Model Efficiency, and Ontologies.
This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Learning and Intelligent Optimization, LION 11, held in Nizhny,Novgorod, Russia, in June 2017. The 20 full papers (among these one GENOPT paper) and 15 short papers presented have been carefully reviewed and selected from 73 submissions. The papers explore the advanced research developments in such interconnected fields as mathematical programming, global optimization, machine learning, and artificial intelligence. Special focus is given to advanced ideas, technologies, methods, and applications in optimization and machine learning.
This book highlights practical quantum key distribution systems and research on the implementations of next-generation quantum communication, as well as photonic quantum device technologies. It discusses how the advances in quantum computing and quantum physics have allowed the building, launching and deploying of space exploration systems that are capable of more and more as they become smaller and lighter. It also presents theoretical and experimental research on the potential and limitations of secure communication and computation with quantum devices, and explores how security can be preserved in the presence of a quantum computer, and how to achieve long-distance quantum communication. The development of a real quantum computer is still in the early stages, but a number of research groups have investigated the theoretical possibilities of such computers.
This book offers a comprehensive introduction to Subdivision Surface Modeling Technology focusing not only on fundamental theories but also on practical applications. It furthers readers' understanding of the contacts between spline surfaces and subdivision surfaces, enabling them to master the Subdivision Surface Modeling Technology for analyzing subdivision surfaces. Subdivision surface modeling is a popular technology in the field of computer aided design (CAD) and computer graphics (CG) thanks to its ability to model meshes of any topology. The book also discusses some typical Subdivision Surface Modeling Technologies, such as interpolation, fitting, fairing, intersection, as well as trimming and interactive editing. It is a valuable tool, enabling readers to grasp the main technologies of subdivision surface modeling and use them in software development, which in turn leads to a better understanding of CAD/CG software operations.
This book includes a selection of papers from the 2017 International Conference on Software Process Improvement (CIMPS'17), presenting trends and applications in software engineering. Held from 18th to 20th October 2017 in Zacatecas, Mexico, the conference provided a global forum for researchers and practitioners to present and discuss the latest innovations, trends, results, experiences and concerns in various areas of software engineering, including but not limited to software processes, security in information and communication technology, and big data. The main topics covered are organizational models, standards and methodologies, software process improvement, knowledge management, software systems, applications and tools, information and communication technologies and processes in non-software domains (mining, automotive, aerospace, business, health care, manufacturing, etc.) with a demonstrated relationship to software engineering challenges.
This book provides a frequentist semantics for conditionalization on partially known events, which is given as a straightforward generalization of classical conditional probability via so-called probability testbeds. It analyzes the resulting partial conditionalization, called frequentist partial (F.P.) conditionalization, from different angles, i.e., with respect to partitions, segmentation, independence, and chaining. It turns out that F.P. conditionalization meets and generalizes Jeffrey conditionalization, i.e., from partitions to arbitrary collections of events, opening it for reassessment and a range of potential applications. A counterpart of Jeffrey's rule for the case of independence holds in our frequentist semantics. This result is compared to Jeffrey's commutative chaining of independent updates. The postulate of Jeffrey's probability kinematics, which is rooted in the subjectivism of Frank P. Ramsey, is found to be a consequence in our frequentist semantics. This way the book creates a link between the Kolmogorov system of probability and one of the important Bayesian frameworks. Furthermore, it shows a preservation result for conditional probabilities under the full update range and compares F.P. semantics with an operational semantics of classical conditional probability in terms of so-called conditional events. Lastly, it looks at the subjectivist notion of desirabilities and proposes a more fine-grained analysis of desirabilities a posteriori. This book appeals to researchers who are involved in any kind of knowledge processing systems. F.P. conditionalization is a straightforward, fundamental concept that fits human intuition, and is systematically linked to one of the important Bayesian frameworks. As such, the book is interesting for anybody investigating the semantics of reasoning systems.
Learn how Artificial Intelligence (AI) is being applied in the fashion industry. With an application focused approach, this book provides real-world examples, breaks down technical jargon for non-technical readers, and provides an educational resource for fashion professionals. The book investigates the ways in which AI is impacting every part of the fashion value chain starting with product discovery and working backwards to manufacturing. Artificial Intelligence for Fashion walks you through concepts, such as connected retail, data mining, and artificially intelligent robotics. Each chapter contains an example of how AI is being applied in the fashion industry illustrated by one major technological theme. There are no equations, algorithms, or code. The technological explanations are cumulative so you'll discover more information about the inner workings of artificial intelligence in practical stages as the book progresses. What You'll Learn Gain a basic understanding of AI and how it is used in fashion Understand key terminology and concepts in AI Review the new competitive landscape of the fashion industry Conceptualize and develop new ways to apply AI within the workplace Who This Book Is For Fashion industry professionals from designers, managers, department heads, and executives can use this book to learn about how AI is impacting roles in every department and profession.
This Edited Volume gathers a selection of refereed and revised papers originally presented at the Third International Symposium on Signal Processing and Intelligent Recognition Systems (SIRS'17), held on September 13-16, 2017 in Manipal, India. The papers offer stimulating insights into biometrics, digital watermarking, recognition systems, image and video processing, signal and speech processing, pattern recognition, machine learning and knowledge-based systems. Taken together, they offer a valuable resource for all researchers and scientists engaged in the various fields of signal processing and related areas.
This book presents high-quality original contributions on positive systems, including those with positivity in compartmental switched systems, Markovian jump systems, Boolean networks, interval observer design, fault detection, and delay systems. It comprises a selection of the best papers from POSTA 2018, the 6th International Conference on Positive Systems, which was held in Hangzhou, China, in August 2018. The POSTA conference series represents a targeted response to the growing need for research that reports on and critically discusses a wide range of topics concerning the theory and applications of positive systems. The book offers valuable insights for researchers in applied mathematics, control theory and their applications.
This book provides users with cutting edge methods and technologies in the area of big data and visual analytics, as well as an insight to the big data and data analytics research conducted by world-renowned researchers in this field. The authors present comprehensive educational resources on big data and visual analytics covering state-of-the art techniques on data analytics, data and information visualization, and visual analytics. Each chapter covers specific topics related to big data and data analytics as virtual data machine, security of big data, big data applications, high performance computing cluster, and big data implementation techniques. Every chapter includes a description of an unique contribution to the area of big data and visual analytics. This book is a valuable resource for researchers and professionals working in the area of big data, data analytics, and information visualization. Advanced-level students studying computer science will also find this book helpful as a secondary textbook or reference.
This Proceedings book provides essential insights into the current state of research in the field of human-computer interactions. It presents the outcomes of the International Conference on Man-Machine Interactions (ICMMI 2017), held on October 3-6, 2017, in Cracow, Poland, which offers a unique international platform for researchers and practitioners to share cutting-edge developments related to technologies, algorithms, tools and systems focused on the means by which humans interact and communicate with computers. This book is the 5th edition in the series and includes a unique selection of high-quality, original papers highlighting the latest theoretical and practical research on technologies, applications and challenges encountered in the rapidly evolving new forms of human-machine relationships. Major research topics covered include human-computer interfaces, bio-data analysis and mining, image analysis and signal processing, decision support and expert systems, pattern recognition, algorithms and optimisations, computer networks, and data management systems. As such, the book offers a valuable resource for researchers in academia, industry and other fields whose work involves man-machine interactions.
Presenting a series of research papers on image processing and communications, this book not only provides a summary of currently available technologies but also outlines potential future solutions in these areas. Gathering the proceedings of the 9th International Conference on Image Processing and Communications (IP&C 2017), held in Bydgoszcz, Poland, on September 13-14, 2017, the book is divided into three parts. Part I addresses image processing, offering a comprehensive survey of different methods of image processing and discussing computer vision. In turn, Part II presents novel works in algorithms and methods and showcases formal and practical advances. Lastly, Part III examines networks, communications and a diverse range of applications.
This textbook explains the principles of fuzzy systems in some depth together with information useful in realizing them within computational processes. The various algorithms and example problem solutions are a well-balanced and pertinent aid for research projects, laboratory work and graduate study. In addition to its worked examples, the book also uses end-of-chapter exercises as an instructional aid with a downloadable solutions manual available to instructors. The content of the book is developed and extended from material taught for four years in the author's classes. The text provides a broad overview of fuzzy control, estimation and fault diagnosis. It ranges over various classes of target system and modes of control and then turns to filtering, stabilization, and fault detection and diagnosis. Applications, simulation tools and an appendix on algebraic inequalities complete a unified approach to the analysis of single and interconnected fuzzy systems. Fuzzy Control, Estimation and Fault Detection is a guide for final-year undergraduate and graduate students of electrical and mechanical engineering, computer science and information technology, and will also be instructive for professionals in the information technology sector.
This book focuses on a critical issue in the study of physical agents, whether natural or artificial: the quantitative modelling of sensory-motor coordination. Adopting a novel approach, it defines a common scientific framework for both the intelligent systems designed by engineers and those that have evolved naturally. As such it contributes to the widespread adoption of a rigorous quantitative and refutable approach in the scientific study of `embodied' intelligence and cognition. More than 70 years after Norbert Wiener's famous book Cybernetics: or Control and Communication in the Animal and the Machine (1948), robotics, AI and life sciences seem to be converging towards a common model of what we can call the `science of embodied intelligent/cognitive agents'. This book is interesting for an interdisciplinary community of researchers, technologists and entrepreneurs working at the frontiers of robotics and AI, neuroscience and general life and brain sciences.
This two volume set (CCIS 727 and 728) constitutes the refereed proceedings of the Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017 (originally ICYCSEE) held in Changsha, China, in September 2017. The 112 revised full papers presented in these two volumes were carefully reviewed and selected from 987 submissions. The papers cover a wide range of topics related to Basic Theory and Techniques for Data Science including Mathematical Issues in Data Science, Computational Theory for Data Science, Big Data Management and Applications, Data Quality and Data Preparation, Evaluation and Measurement in Data Science, Data Visualization, Big Data Mining and Knowledge Management, Infrastructure for Data Science, Machine Learning for Data Science, Data Security and Privacy, Applications of Data Science, Case Study of Data Science, Multimedia Data Management and Analysis, Data-driven Scientific Research, Data-driven Bioinformatics, D ata-driven Healthcare, Data-driven Management, Data-driven eGovernment, Data-driven Smart City/Planet, Data Marketing and Economics, Social Media and Recommendation Systems, Data-driven Security, Data-driven Business Model Innovation, Social and/or organizational impacts of Data Science.
This two volume set (CCIS 727 and 728) constitutes the refereed proceedings of the Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017 (originally ICYCSEE) held in Changsha, China, in September 2017. The 112 revised full papers presented in these two volumes were carefully reviewed and selected from 987 submissions. The papers cover a wide range of topics related to Basic Theory and Techniques for Data Science including Mathematical Issues in Data Science, Computational Theory for Data Science, Big Data Management and Applications, Data Quality and Data Preparation, Evaluation and Measurement in Data Science, Data Visualization, Big Data Mining and Knowledge Management, Infrastructure for Data Science, Machine Learning for Data Science, Data Security and Privacy, Applications of Data Science, Case Study of Data Science, Multimedia Data Management and Analysis, Data-driven Scientific Research, Data-driven Bioinformatics, Data-driven Healthcare, Data-driven Management, Data-driven eGovernment, Data-driven Smart City/Planet, Data Marketing and Economics, Social Media and Recommendation Systems, Data-driven Security, Data-driven Business Model Innovation, Social and/or organizational impacts of Data Science.
This book gathers the outcomes of several scientific events that were organized and conducted by the Institute of Scientific Communications (Volgograd, Russia) and the leading universities of the Volgograd region. The contributing authors include more than 700 scholars from various cities and regions of Russia. 124 works were selected out of 3,000 papers on the preconditions of formation, transformation, and legal provision of social institutes, topics that are in high demand in connection with a core aspect of digital modernization - the Internet of Things. The book is intended for a broad target audience, including scholars of various generations and various disciplines. These include young researchers (undergraduates and postgraduates) and recognized scholars (professors and lecturers) who study the socio-economic and legal consequences of the emergence and dissemination of digital technologies, including the Internet of Things. In addition, the book will benefit all those who are interested in the development of the information society, information and telecommunication, and digital technologies. The content is divided into three logical parts, the first of which is devoted to the essence of the process of institutionalization and legal regulation of the information society. In the second part, the digital economy is analyzed in view of the spheres of the national economy. In the third, the authors study the peculiarities of state and corporate regulation, infrastructural provision and support for the security of entrepreneurship, which are currently developing on the basis of the Internet of Things.
This book provides an overview of the current research in the interdisciplinary area of personal assistants (PA) and cognitively inspired systems. It discusses the most relevant topics in this highly diversified domain, like reasoning, health, personalization, robotics, and ethical and social issues. Personal assistants (PA) are a relatively new concept directed at people with cognitive or physical disabilities, and is expanding to include complex platforms such as sensors, actuators, monitoring abilities and decision processes. Designed for a general audience, it is also of interest to undergraduates, graduates and researchers involved with intelligent systems, ambient intelligence or ambient assisted living. The content goes from an introduction of the field (aimed at undergraduates and a general readership) to specific and complex architectures (aimed at graduates and researchers).
You may like...
The Technology Trap - Capital, Labor…
Carl Benedikt Frey Hardcover
The Creativity Code - How AI is Learning…
Marcus du Sautoy Paperback (1)
The Simulation Hypothesis - An Mit…
Rizwan Virk Paperback
The Elements of Statistical Learning…
Trevor Hastie, Robert Tibshirani, … Hardcover
Superintelligence - Paths, Dangers…
Nick Bostrom Paperback (2)
AI for Marketing and Product Innovation…
A K Pradeep, Andrew Appel, … Hardcover
Novacene - The Coming Age of…
James Lovelock Hardcover (1)
AI for People and Business
Alex Castrounis Paperback
Robot-Proof - Higher Education in the…
Joseph E Aoun Paperback
Life 3.0 - Being Human in the Age of…
Max Tegmark Paperback (1)