Download or read book NASA Formal Methods written by Jyotirmoy V. Deshmukh and published by Springer Nature. This book was released on 2022-05-19 with total page 848 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022. The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers. The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc.

Download or read book Intelligent Computing Theories and Application written by De-Shuang Huang and published by Springer. This book was released on 2018-08-08 with total page 932 pages. Available in PDF, EPUB and Kindle. Book excerpt: This two-volume set LNCS 10954 and LNCS 10955 constitutes - in conjunction with the volume LNAI 10956 - the refereed proceedings of the 14th International Conference on Intelligent Computing, ICIC 2018, held in Wuhan, China, in August 2018. The 275 full papers and 72 short papers of the three proceedings volumes were carefully reviewed and selected from 632 submissions. The papers are organized in topical sections such as Neural Networks.- Pattern Recognition.- Image Processing.- Intelligent Computing in Robotics.- Intelligent Control and Automation.- Intelligent Data Analysis and Prediction.- Fuzzy Theory and Algorithms.- Supervised Learning.- Unsupervised Learning.- Kernel Methods and Supporting Vector Machines.- Knowledge Discovery and Data Mining.- Natural Language Processing and Computational Linguistics.- Gene Expression Array Analysis.- Systems Biology.- Computational Genomics.- Computational Proteomics.- Gene Regulation Modeling and Analysis.- Protein-Protein Interaction Prediction.- Next-Gen Sequencing and Metagenomics.- Structure Prediction and Folding.- Evolutionary Optimization for Scheduling.- High-Throughput Biomedical Data Integration and Mining.- Machine Learning Algorithms and Applications.- Heuristic Optimization Algorithms for Real-World Applications.- Evolutionary Multi-Objective Optimization and Its Applications.- Swarm Evolutionary Algorithms for Scheduling and Combinatorial.- Optimization.- Swarm Intelligence and Applications in Combinatorial Optimization.- Advances in Metaheuristic Optimization Algorithm.- Advances in Image Processing and Pattern Recognition Techniques.- AI in Biomedicine.- Bioinformatics.- Biometrics Recognition.- Information Security.- Virtual Reality and Human-Computer Interaction.- Healthcare Informatics Theory and Methods.- Intelligent Computing in Computer Vision.- Intelligent Agent and Web Applications.- Reinforcement Learning.- Machine Learning.- Modeling, Simulation, and Optimization of Biological Systems.- Biomedical Data Modeling and Mining.- Cheminformatics.- Intelligent Computing in Computational Biology.- Protein Structure and Function Prediction.- Biomarker Discovery.- Hybrid Computational Intelligence: Theory and Application in Bioinformatics, Computational Biology and Systems Biology.- IoT and Smart Data.- Intelligent Systems and Applications for Bioengineering.- Evolutionary Optimization: Foundations and Its Applications to Intelligent Data Analytics.- Protein and Gene Bioinformatics: Analysis, Algorithms and Applications.

Download or read book Dependable Computing EDCC 2024 Workshops written by Behrooz Sangchoolie and published by Springer Nature. This book was released on with total page 140 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Agents and Computational Autonomy written by Matthias Nickles and published by Springer. This book was released on 2004-08-05 with total page 283 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains the postproceedings of the 1st International Workshop on Computational Autonomy – Potential, Risks, Solutions (AUTONOMY 2003), held at the 2nd International Joint Conference on Autonomous Agents and Multi-agentSystems(AAMAS2003),July14,2003,Melbourne,Australia.Apart from revised versions of the accepted workshop papers, we have included invited contributions from leading experts in the ?eld. With this, the present volume represents the ?rst comprehensive survey of the state-of-the-art of research on autonomy, capturing di?erent theories of autonomy, perspectives on autonomy in di?erent kinds of agent-based systems, and practical approaches to dealing with agent autonomy. Agent orientation refers to a software development perspective that has evolved in the past 25 years in the ?elds of computational agents and multiagent systems. The basic notion underlying this perspective is that of a computational agent, that is, an entity whose behavior deserves to be called ?exible, social, and autonomous. As an autonomous entity, an agent possesses action choice and is at least to some extent capable of deciding and acting under self-control. Through its emphasis on autonomy, agent orientation signi?cantly di?ers from traditional engineering perspectives such as structure orientation or object o- entation. These perspectives are targeted on the development of systems whose behavior is fully determined and controlled by external units (e.g., by a p- grammer at design time and/or a user at run time), and thus inherently fail to capture the notion of autonomy.

Download or read book Formal Modeling and Analysis of Timed Systems written by David N. Jansen and published by Springer. This book was released on 2018-08-27 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 16th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2018, held in Beijing, China, in September 2018. The 14 papers presented in this volume were carefully reviewed and selected from 29 submissions. The papers are organized in the following topical sections: invited papers, temporal logics, distributed timed systems, behavioral equivalences, timed words, and continuous dynamical systems. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modeling and analysis of timed systems and, as a generalization, hybrid systems.

Download or read book 15th International Conference on Applications of Fuzzy Systems Soft Computing and Artificial Intelligence Tools ICAFS 2022 written by R. A. Aliev and published by Springer Nature. This book was released on 2023-02-28 with total page 777 pages. Available in PDF, EPUB and Kindle. Book excerpt: The general scope of the book covers diverse areas of fuzzy systems, soft computing, AI tools such as uncertain computation, decision-making under imperfect information, deep learning, and others. The topics of the papers include theory and application of Soft Computing, Neuro-Fuzzy Technology, Intelligent Control, Deep Learning-Machine Learning, Fuzzy Logic in Data Analytics, Evolutionary Computing, Fuzzy logic and Artificial Intelligence in Engineering, Social Sciences, Business, Economics, Material Sciences, and others.This book presents the proceedings of the 16th International Conference on Applications of Fuzzy Systems, Soft Computing, and Artificial Intelligence Tools, ICAFS-2022, held in Budva, Montenegro, on August 26-27, 2022. This is a useful guide for academics, practitioners, and graduates in fields of fuzzy logic and soft computing. It allows for increasing of interest in development and applying of these paradigms in various real-life fields.

Download or read book Foundations of Trusted Autonomy written by Hussein A. Abbass and published by Springer. This book was released on 2018-01-15 with total page 399 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book establishes the foundations needed to realize the ultimate goals for artificial intelligence, such as autonomy and trustworthiness. Aimed at scientists, researchers, technologists, practitioners, and students, it brings together contributions offering the basics, the challenges and the state-of-the-art on trusted autonomous systems in a single volume. The book is structured in three parts, with chapters written by eminent researchers and outstanding practitioners and users in the field. The first part covers foundational artificial intelligence technologies, while the second part covers philosophical, practical and technological perspectives on trust. Lastly, the third part presents advanced topics necessary to create future trusted autonomous systems. The book augments theory with real-world applications including cyber security, defence and space.

Download or read book Runtime Verification written by Shuvendu Lahiri and published by Springer. This book was released on 2017-09-04 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool papers, and 3 tutorials, were carefully reviewed and selected from 58 submissions. The RV conference is concerned with all aspects of monitoring and analysis of hardware, software and more general system executions. Runtime verification techniques are lightweight techniques to assess correctness, reliability, and robustness; these techniques are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification.

Download or read book Cognitive Systems and Information Processing written by Fuchun Sun and published by Springer Nature. This book was released on 2023-12-06 with total page 307 pages. Available in PDF, EPUB and Kindle. Book excerpt: The two-volume set CCIS 1918 and 1919 constitutes the refereed post-conference proceedings of the 8th International Conference on Cognitive Systems and Information Processing, ICCSIP 2023, held in Luoyang, China, during August 10–12, 2023. The 52 full papers presented in these proceedings were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections: Volume I : Award; Algorithm & Control; and Application. Volume II: Robotics & Bioinformatics; and Vision.

Download or read book Modeling Design and Simulation of Systems with Uncertainties written by Andreas Rauh and published by Springer Science & Business Media. This book was released on 2011-06-06 with total page 356 pages. Available in PDF, EPUB and Kindle. Book excerpt: To describe the true behavior of most real-world systems with sufficient accuracy, engineers have to overcome difficulties arising from their lack of knowledge about certain parts of a process or from the impossibility of characterizing it with absolute certainty. Depending on the application at hand, uncertainties in modeling and measurements can be represented in different ways. For example, bounded uncertainties can be described by intervals, affine forms or general polynomial enclosures such as Taylor models, whereas stochastic uncertainties can be characterized in the form of a distribution described, for example, by the mean value, the standard deviation and higher-order moments. The goal of this Special Volume on Modeling, Design, and Simulation of Systems with Uncertainties is to cover modern methods for dealing with the challenges presented by imprecise or unavailable information. All contributions tackle the topic from the point of view of control, state and parameter estimation, optimization and simulation. Thematically, this volume can be divided into two parts. In the first we present works highlighting the theoretic background and current research on algorithmic approaches in the field of uncertainty handling, together with their reliable software implementation. The second part is concerned with real-life application scenarios from various areas including but not limited to mechatronics, robotics, and biomedical engineering.

Download or read book Mobile Intelligent Autonomous Systems written by Jitendra R. Raol and published by CRC Press. This book was released on 2016-04-19 with total page 835 pages. Available in PDF, EPUB and Kindle. Book excerpt: Going beyond the traditional field of robotics to include other mobile vehicles, this reference and "recipe book" describes important theoretical concepts, techniques, and applications that can be used to build truly mobile intelligent autonomous systems (MIAS). With the infusion of neural networks, fuzzy logic, and genetic algorithm paradigms for MIAS, it blends modeling, sensors, control, estimation, optimization, signal processing, and heuristic methods in MIAS and robotics, and includes examples and applications throughout. Offering a comprehensive view of important topics, it helps readers understand the subject from a system-theoretic and practical point of view.

Download or read book Intelligent Autonomous Systems 17 written by Ivan Petrovic and published by Springer Nature. This book was released on 2023-01-17 with total page 941 pages. Available in PDF, EPUB and Kindle. Book excerpt: “IAS has been held every two years since 1986 providing venue for the latest accomplishments and innovations in advanced intelligent autonomous systems. New technologies and application domains continuously pose new challenges to be overcome in order to apply intelligent autonomous systems in a reliable and user-independent way in areas ranging from industrial applications to professional service and household domains. The present book contains the papers presented at the 17th International Conference on Intelligent Autonomous Systems (IAS-17), which was held from June 13–16, 2022, in Zagreb, Croatia. In our view, 62 papers, authored by 196 authors from 19 countries, are a testimony to the appeal of the conference considering travel restrictions imposed by the COVID-19 pandemic. Our special thanks go to the authors and the reviewers for their effort—the results of their joint work are visible in this book. We look forward to seeing you at IAS-18 in 2023 in Suwon, South Korea!”

Download or read book Decision Making Under Uncertainty written by Mykel J. Kochenderfer and published by MIT Press. This book was released on 2015-07-24 with total page 350 pages. Available in PDF, EPUB and Kindle. Book excerpt: An introduction to decision making under uncertainty from a computational perspective, covering both theory and applications ranging from speech recognition to airborne collision avoidance. Many important problems involve decision making under uncertainty—that is, choosing actions based on often imperfect observations, with unknown outcomes. Designers of automated decision support systems must take into account the various sources of uncertainty while balancing the multiple objectives of the system. This book provides an introduction to the challenges of decision making under uncertainty from a computational perspective. It presents both the theory behind decision making models and algorithms and a collection of example applications that range from speech recognition to aircraft collision avoidance. Focusing on two methods for designing decision agents, planning and reinforcement learning, the book covers probabilistic models, introducing Bayesian networks as a graphical model that captures probabilistic relationships between variables; utility theory as a framework for understanding optimal decision making under uncertainty; Markov decision processes as a method for modeling sequential problems; model uncertainty; state uncertainty; and cooperative decision making involving multiple interacting agents. A series of applications shows how the theoretical concepts can be applied to systems for attribute-based person search, speech applications, collision avoidance, and unmanned aircraft persistent surveillance. Decision Making Under Uncertainty unifies research from different communities using consistent notation, and is accessible to students and researchers across engineering disciplines who have some prior exposure to probability theory and calculus. It can be used as a text for advanced undergraduate and graduate students in fields including computer science, aerospace and electrical engineering, and management science. It will also be a valuable professional reference for researchers in a variety of disciplines.

Download or read book Empirical Studies in Machine Psychology written by Robert Johansson and published by Linköping University Electronic Press. This book was released on 2024-10-09 with total page 201 pages. Available in PDF, EPUB and Kindle. Book excerpt: This thesis presents Machine Psychology as an interdisciplinary paradigm that integrates learning psychology principles with an adaptive computer system for the development of Artificial General Intelligence (AGI). By synthesizing behavioral psychology with a formal intelligence model, the Non-Axiomatic Reasoning System (NARS), this work explores the potential of operant conditioning paradigms to advance AGI research. The thesis begins by introducing the conceptual foundations of Machine Psychology, detailing its alignment with the theoretical constructs of learning psychology and the formalism of NARS. It then progresses through a series of empirical studies designed to systematically investigate the emergence of increasingly complex cognitive behaviors as NARS interacts with its environment. Initially, operant conditioning is established as a foundational principle for developing adaptive behavior with NARS. Subsequent chapters explore increasingly sophisticated cognitive capabilities, all studied with NARS using experimental paradigms from operant learning psychology: Generalized identity matching, Functional equivalence, and Arbitrarily Applicable Relational Responding. Throughout this research, Machine Psychology is demonstrated to be a promising framework for guiding AGI research, allowing both the manipulation of environmental contingencies and the system’s intrinsic logical processes. The thesis contributes to AGI research by showing how using operant psychological paradigms with NARS can enable cognitive abilities similar to human cognition. These findings set the stage for AGI systems that learn and adapt more like humans, potentially advancing the creation of more general and flexible AI. Denna avhandling introducerar Maskinpsykologi som ett tvärvetenskapligt område där principer från inlärningspsykologi integreras med ett adaptivt datorsystem. Genom att kombinera forskning från beteendepsykologi med en formell modell för intelligens (Non-Axiomatic Reasoning System; NARS), undersöker avhandlingen hur operant betingning kan användas för att driva utvecklingen av Artificiell General Intelligens (AGI) framåt. Avhandlingen börjar med att förklara grunderna i Maskinpsykologi och hur dessa relaterar till både inlärningspsykologi och NARS. Därefter presenteras en serie experiment som systematiskt undersöker hur allt mer komplexa kognitiva beteenden kan uppstå när NARS interagerar med sin omgivning. Till att börja med etableras operant betingning som en central metod för att utveckla adaptiva beteenden med NARS. I de följande kapitlen utforskas hur NARS, genom experiment inspirerade av operant inlärningspsykologi, kan utveckla mer avancerade kognitiva förmågor som till exempel generaliserad identitetsmatchning, funktionell ekvivalens och så kallade arbiträrt applicerbara relationsresponser. Denna forskning visar att Maskinpsykologi är ett lovande verktyg för att vägleda AGI-forskning, eftersom det möjliggör att både påverka omgivningsfaktorer och styra systemets interna logiska processer. Avhandlingen bidrar till AGI-forskning genom att visa hur operanta psykologiska metoder, tillämpade på NARS, kan möjliggöra kognitiva förmågor som liknar mänskligt tänkande. Dessa insikter öppnar nya möjligheter för att utveckla AI-system som kan lära sig och anpassa sig på ett mer mänskligt sätt, vilket kan leda till skapandet av mer generell och flexibel AI.

Download or read book Beyond Recognition written by Le Minh-Ha and published by Linköping University Electronic Press. This book was released on 2024-05-06 with total page 103 pages. Available in PDF, EPUB and Kindle. Book excerpt: This thesis addresses the need to balance the use of facial recognition systems with the need to protect personal privacy in machine learning and biometric identification. As advances in deep learning accelerate their evolution, facial recognition systems enhance security capabilities, but also risk invading personal privacy. Our research identifies and addresses critical vulnerabilities inherent in facial recognition systems, and proposes innovative privacy-enhancing technologies that anonymize facial data while maintaining its utility for legitimate applications. Our investigation centers on the development of methodologies and frameworks that achieve k-anonymity in facial datasets; leverage identity disentanglement to facilitate anonymization; exploit the vulnerabilities of facial recognition systems to underscore their limitations; and implement practical defenses against unauthorized recognition systems. We introduce novel contributions such as AnonFACES, StyleID, IdDecoder, StyleAdv, and DiffPrivate, each designed to protect facial privacy through advanced adversarial machine learning techniques and generative models. These solutions not only demonstrate the feasibility of protecting facial privacy in an increasingly surveilled world, but also highlight the ongoing need for robust countermeasures against the ever-evolving capabilities of facial recognition technology. Continuous innovation in privacy-enhancing technologies is required to safeguard individuals from the pervasive reach of digital surveillance and protect their fundamental right to privacy. By providing open-source, publicly available tools, and frameworks, this thesis contributes to the collective effort to ensure that advancements in facial recognition serve the public good without compromising individual rights. Our multi-disciplinary approach bridges the gap between biometric systems, adversarial machine learning, and generative modeling to pave the way for future research in the domain and support AI innovation where technological advancement and privacy are balanced.

Download or read book Robot Motion and Control 2009 written by Krzysztof R. Kozlowski and published by Springer. This book was released on 2009-12-15 with total page 490 pages. Available in PDF, EPUB and Kindle. Book excerpt: Robot Motion Control 2009 presents very recent results in robot motion and control. Forty short papers have been chosen from those presented at the sixth International Workshop on Robot Motion and Control held in Poland in June 2009. The authors of these papers have been carefully selected and represent leading institutions in this field. The following recent developments are discussed: design of trajectory planning schemes for holonomic and nonholonomic systems with optimization of energy, torque limitations and other factors, new control algorithms for industrial robots, nonholonomic systems and legged robots, different applications of robotic systems in industry and everyday life, like medicine, education, entertainment and others, multiagent systems consisting of mobile and flying robots with their applications. The book is suitable for graduate students of automation and robotics, informatics and management, mechatronics, electronics and production engineering systems as well as scientists and researchers working in these fields.

Download or read book 3rd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing written by Anandakumar Haldorai and published by Springer Nature. This book was released on 2022-01-01 with total page 258 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book features the proceedings of The EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing (BDCC 2020), which took place 18 – 19 December 2020. The papers feature detail on cognitive computing and its self-learning systems that use data mining, pattern recognition and natural language processing (NLP) to mirror the way the human brain works. This international conference focuses on technologies from knowledge representation techniques and natural language processing algorithms to dynamic learning approaches. Topics covered include Data Science for Cognitive Analysis, Real-Time Ubiquitous Data Science, Platform for Privacy Preserving Data Science, and Internet-Based Cognitive Platform.