Suggested Topics within your search.
Suggested Topics within your search.
- History of engineering & technology 354
- Technology: general issues 267
- Research & information: general 184
- Artificial intelligence 161
- Computer science 141
- Algorithms & data structures 119
- Information technology industries 85
- Software Engineering 81
- Media studies 69
- Computer networking & communications 58
- Mathematics & science 54
- Machine learning 51
- Mathematics 44
- Artificial Intelligence 39
- Medicine 39
- Data mining 38
- Physics 38
- Computer programming / software development 36
- Applied mathematics 33
- Biology, life sciences 33
- Computer modelling & simulation 32
- Environmental science, engineering & technology 31
- Mathematical theory of computation 31
- Information technology: general issues 30
- Computer networks 29
- Mechanical engineering & materials 29
- Mathematical physics 28
- Probability & statistics 28
- Numerical analysis 27
- Software engineering 27
-
61
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I /
Published 2023Table of Contents: “…-A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems -- Model Checking -- Bounded Model Checking for Asynchronous Hyperproperties -- Model Checking Linear Dynamical Systems under Floating-point Rounding -- Efficient Loop Conditions for Bounded Model Checking Hyperproperties -- Reconciling Preemption Bounding with DPOR -- Optimal Stateless Model Checking for Causal Consistency -- Symbolic Model Checking for TLA+ Made Faster -- AutoHyper: Explicit-State Model Checking for HyperLTL -- Machine Learning/Neural Networks -- Feature Necessity & Relevancy in ML Classifier Explanations -- Towards Formal XAI: Formally Approximate Minimal Explanations of Neural Networks -- OccRob: Effcient SMT-Based Occlusion Robustness Verification of Deep Neural Networks -- Neural Network-Guided Synthesis of Recursive List Functions -- Automata -- Modular Mix-and-Match Complementation of Buechi automata -- Validating Streaming JSON Documents With Learned VPAs -- Antichains Algorithms for the Inclusion Problem Between ω -VPL -- Stack-Aware Hyperproperties -- Proofs -- Propositional Proof Skeletons -- Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers -- Carcara: An effcient proof checker and elaborator for SMT proofs in the Alethe format -- Constraint Solving/Blockchain -- The Packing Chromatic Number of the Infinite Square Grid is 15 -- Active Learning for SAT Solver Benchmarking -- ParaQooba: A Fast and Flexible Framework for Parallel and Distributed QBF Solving -- Inferring Needless Write Memory Accesses on Ethereum Bytecode -- Markov Chains/Stochastic Control -- A Practitioner's Guide to MDP Model Checking Algorithms -- Correct Approximation of Stationary Distributions -- Robust Almost-Sure Reachability in Multi-Environment MDPs -- Mungojerrie: Linear-Time Objectives in Model-Free Reinforcement Learning -- Verification -- A Formal CHERI-C Semantics for Verification -- Automated Verification for Real-Time Systems via Implicit Clocks and an Extended Antimirov Algorithm -- Parameterized Verification under TSO with Data Types -- Verifying Learning-Based Robotic Navigation Systems: A Case Study -- Make flows small again: revisiting the flow framework -- ALASCA: Reasoning in Quantified Linear Arithmetic -- A Matrix-Based Approach to Parity Games -- A GPU Tree Database for Many-Core Explicit State Space Exploration.…”
Link to Metadata
Electronic eBook -
62
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I /
Published 2018Link to Metadata
Electronic eBook -
63
Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II /
Published 2018Link to Metadata
Electronic eBook -
64
An Open Guide to Data Structures and Algorithms
Published 2023Table of Contents: “…Publisher's Note -- Acknowledgements -- Algorithms, Big-O, and Complexity -- Recursion -- Sorting -- Search -- Linked Lists -- Stacks and Queues -- Hashing and Hash Tables -- Search Trees -- Priority Queues -- Dynamic Programming -- Graphs -- Hard Problems -- Contributors…”
Access online version
Electronic eBook -
65
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part II
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
66
Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22-27, 2023, Proceedings, Part I
Published 2023DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
67
Mathematical Optimization and Evolutionary Algorithms with Applications
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
68
Quantum Computing Algorithms and Computational Complexity
Published 2023Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
69
-
70
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part II
Published 2019Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
71
The spell-out algorithm and lexicalization patterns Slavic verbs and complementizers
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
72
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
73
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
74
Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II
Published 2020Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
75
Exact algorithms for size constrained clustering
Published 2013DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
76
Bio-Inspired Computational Algorithms and Their Applications
Published 2012Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
77
Real-World Applications of Genetic Algorithms
Published 2012DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
78
Pediatric Surgery, Flowcharts and Clinical Algorithms
Published 2019DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
79
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
80
Tools and Algorithms for the Construction and Analysis of Systems 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part II
Published 2021Subjects: DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter