NASA Formal Methods


Book Description

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.




Intelligent Computing Theories and Application


Book Description

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.







Agents and Computational Autonomy


Book Description

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.




Formal Modeling and Analysis of Timed Systems


Book Description

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.




15th International Conference on Applications of Fuzzy Systems, Soft Computing and Artificial Intelligence Tools – ICAFS-2022


Book Description

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.




Cognitive Systems and Information Processing


Book Description

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.




Runtime Verification


Book Description

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.




Mobile Intelligent Autonomous Systems


Book Description

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.




Modeling, Design, and Simulation of Systems with Uncertainties


Book Description

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.