Choose an application

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

This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.

Computer architecture. Operating systems --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- computers --- informatica --- hardware --- software engineering --- KI (kunstmatige intelligentie) --- AI (artificiële intelligentie)

Choose an application

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

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development.

Computers. --- Software engineering. --- Application software. --- Programming languages (Electronic computers). --- Artificial intelligence. --- Computer logic. --- Natural language processing (Computer science). --- Theory of Computation. --- Software Engineering. --- Information Systems Applications (incl. Internet). --- Programming Languages, Compilers, Interpreters. --- Logic in AI. --- Natural Language Processing (NLP). --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Computer science logic --- Logic, Symbolic and mathematical --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Languages, Artificial --- Application computer programs --- Application computer software --- Applications software --- Apps (Computer software) --- Computer software --- Computer software engineering --- Engineering --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Formal methods (Computer science) --- Software engineering

Choose an application

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

This book constitutes the refereed proceedings of the First International Conference on Sports Analytics, ISACE 2024, held in Paris, France, during July 12–13, 2024. The 19 full papers, 1 short paper and 7 Practical Experience papers included in this volume were carefully reviewed and selected from a total of 66 submissions. The vision of this new International Sports Analytics Conference and Exhibition (ISACE) series is to bring leading academics, researchers, coaches, psychologists, managers and technologists together to advance the state-of-the-art of sports analytics.

Artificial intelligence. --- Artificial Intelligence.

Choose an application

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

This book constitutes the refereed proceedings of the First International Conference on Sports Analytics, ISACE 2024, held in Paris, France, during July 12–13, 2024. The 19 full papers, 1 short paper and 7 Practical Experience papers included in this volume were carefully reviewed and selected from a total of 66 submissions. The vision of this new International Sports Analytics Conference and Exhibition (ISACE) series is to bring leading academics, researchers, coaches, psychologists, managers and technologists together to advance the state-of-the-art of sports analytics.

Artificial intelligence. --- Artificial Intelligence.