Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

State estimation of an unknown number of objects remains a challenging topic - despite the existence of theoretically bayes-optimal multi-object-filters - due to numerous assumptions in the modeling process. This thesis evaluates such filters in real multi-object-multi-sensor scenarios and proposes necessary extensions to existing models. The main application of the thesis is indoor pedestrian tracking.

Multi-Objekt-Verfolgung --- verteilte Systeme --- SensorenMulti-object-tracking --- sensors --- Objektklassifikation --- object classification --- pedestrian tracking --- distributed systems --- Personenverfolgung

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This issue of Proceedings gathers papers presented at XOVETIC2019 (A Coruña, Spain, 5-6 September 2019), a conference with the main goal of bringing together young researchers working in big data, artificial intelligence, Internet of Things, HPC(High-performance computing), cybersecurity, bioinformatics, natural language processing, 5G and others areas from the field of ICT (Information Communications Technology), and offering a platform to present the results of their research to a national audience in Galicia and north of Portugal. This second edition aims to serve as the basis of this event, which will be consolidated over time and acquire international projection. The conference is co-funded by Xunta de Galicia and European Union. European Regional Development Fund (ERDF).

High Performance Computing (HPC) --- Smart Systems --- movement localization and monitoring --- Big Data --- Recommendation systems --- Cybersecurity --- artificial vision --- Optimization --- data recovery --- Distributed systems --- Machine learning --- Applied Mathematics --- Artificial intelligence --- Bioinformatics --- Medical informatics --- Geographic information systems --- Statistics and Operative Investigation

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems

Computer programming --- Programming languages (Electronic computers) --- automata theory --- computer programming --- computer systems --- databases --- distributed computer systems --- distributed systems --- embedded systems --- formal languages --- formal logic --- linguistics --- ontologies --- parallel processing systems --- program compilers --- programming languages --- semantics --- software design --- software engineering --- software quality --- verification --- Programació (Ordinadors) --- Llenguatges de programació

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The rapid growth of the Internet interconnectivity and complexity of communication systems has led us to a significant growth of cyberattacks globally often with severe and disastrous consequences. The swift development of more innovative and effective (cyber)security solutions and approaches are vital which can detect, mitigate and prevent from these serious consequences. Cybersecurity is gaining momentum and is scaling up in very many areas. This book builds on the experience of the Cyber-Trust EU project’s methods, use cases, technology development, testing and validation and extends into a broader science, lead IT industry market and applied research with practical cases. It offers new perspectives on advanced (cyber) security innovation (eco) systems covering key different perspectives. The book provides insights on new security technologies and methods for advanced cyber threat intelligence, detection and mitigation. We cover topics such as cyber-security and AI, cyber-threat intelligence, digital forensics, moving target defense, intrusion detection systems, post-quantum security, privacy and data protection, security visualization, smart contracts security, software security, blockchain, security architectures, system and data integrity, trust management systems, distributed systems security, dynamic risk management, privacy and ethics.

Computer security --- Cybersecurity, AI, cyber-threat intelligence, digital forensics, moving target defense, intrusion detection systems, post-quantum security, privacy and data protection, security visualization, smart contracts security, software security, security architectures, system and data integrity, trust management systems, distributed systems security and dynamic risk management

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.

Software Engineering --- Artificial intelligence --- Computer programming / software development --- Mathematical theory of computation --- Computer modelling & simulation --- architecture verification --- artificial intelligence --- automata theory --- computer programming --- distributed computer systems --- distributed systems --- embedded systems --- formal languages --- formal logic --- formal methods --- model checking --- software architecture --- software design --- software engineering --- software quality --- temporal logic --- verification techniques --- Software engineering. --- Artificial intelligence. --- Computer science. --- Machine theory. --- Computer simulation. --- Software Engineering. --- Artificial Intelligence. --- Computer Science Logic and Foundations of Programming. --- Formal Languages and Automata Theory. --- Computer Modelling. --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Electromechanical analogies --- Mathematical models --- Simulation methods --- Model-integrated computing --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Informatics --- Science --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Fifth generation computers --- Neural computers --- Computer software engineering --- Engineering