Search Results - With~
Suggested Topics within your search.
Suggested Topics within your search.
- Technology: general issues 594
- English wit and humor -- Periodicals 555
- Research & information: general 537
- History of engineering & technology 516
- Biology, life sciences 254
- City & town planning - architectural aspects 254
- Urban communities 213
- Urban & municipal planning 208
- Medicine 194
- Human geography 170
- Humanities 126
- American wit and humor 118
- Physics 114
- Sociology 107
- History 102
- Architecture 89
- English wit and humor 83
- Education 82
- Particle & high-energy physics 81
- Philosophy 81
- Sustainability 79
- Social & cultural history 76
- Geography 75
- Environmental economics 74
- City and town life -- Fiction 67
- Politics & government 64
- Landscape art & architecture 63
- Social & cultural anthropology, ethnography 61
- Chemistry 60
- Environmentally-friendly architecture & design 60
-
8641
-
8642
-
8643
-
8644
-
8645
-
8646
-
8647
-
8648
-
8649
-
8650
-
8651
-
8652
-
8653
-
8654
Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II /
Published 2022Table of Contents: “…Probabilistic Systems -- A Probabilistic Logic for Verifying Continuous-time Markov Chains -- Under-Approximating Expected Total Rewards in POMDPs -- Correct Probabilistic Model Checking with Floating-Point Arithmetic -- Correlated Equilibria and Fairness in Concurrent Stochastic Games -- Omega Automata -- A Direct Symbolic Algorithm for Solving Stochastic Rabin Games -- Practical Applications of the Alternating Cycle Decomposition -- Sky Is Not the Limit: Tighter Rank Bounds for Elevator Automata in Büchi Automata Complementation -- On-The-Fly Solving for Symbolic Parity Games -- Equivalence Checking -- Distributed Coalgebraic Partition Refinement -- From Bounded Checking to Verification of Equivalence via Symbolic Up-to Techniques -- Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time -- Monitoring and Analysis -- A Theoretical Analysis of Random Regression Test Prioritization -- Verified First-Order Monitoring with Recursive Rules -- Maximizing Branch Coverage withConstrained Horn Clauses -- Efficient Analysis of Cyclic Redundancy Architectures via Boolean Fault Propagation -- Tools / Optimizations, Repair and Explainability -- Adiar: Binary Decision Diagrams in External Memory -- Forest GUMP: A Tool for Explanation -- Alpinist: an Annotation-Aware GPU Program Optimizer -- Automatic Repair for Network Programs -- 11th Competition on Software Verification / SV-COMP 2022 -- Progress on Software Verification: SV-COMP 2022 -- AProVE: Non-Termination Witnesses for C Programs (Competition Contribution) -- BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution) -- A Prototype for Data Race Detection in CSeq 3 (Competition Contribution) -- Dartagnan: SMT-based Violation Witness Validation (Competition Contribution) -- Deagle: An SMT-based Veri er for Multi-threaded Programs (Competition Contribution) -- The Static Analyzer Frama-C in SV-COMP (Competition Contribution) -- GDart: An Ensemble of Tools for Dynamic Symbolic Execution on the Java Virtual Machine (Competition Contribution) -- Graves-CPA: A Graph-Attention Veri er Selector (Competition Contribution) -- GWIT: A Witness Validator for Java based on GraalVM (Competition Contribution) -- The Static Analyzer Infer in SV-COMP (Competition Contribution) -- LART: Compiled Abstract Execution (Competition Contribution) -- Symbiotic 9: String Analysis and Backward Symbolic Execution with Loop Folding (Competition Contribution) -- Symbiotic-Witch: A Klee-Based Violation Witness Checker (Competition Contribution) -- Theta: portfolio of CEGAR-based analyses with dynamic algorithm selection -- Ultimate GemCutter and the Axes of Generalization (Competition Contribution) -- Wit4Java: A Violation-Witness Validator for Java Verifiers (Competition Contribution).…”
Link to Metadata
Electronic eBook -
8655
Peripheries at the Centre Borderland Schooling in Interwar Europe
Published 2021DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8656
Riddles: Perspectives on the use, function and change in a folklore genre
Published 2001DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8657
The History and Cultural Heritage of Chinese Calligraphy, Printing and Library Work
Published 2010DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
8658
-
8659
-
8660