Suggested Topics within your search.
Suggested Topics within your search.
- History 72
- Literature: history & criticism 64
- Social & cultural anthropology, ethnography 60
- Humanities 48
- Politics & government 46
- Sociology 45
- Literature & literary studies 43
- Society & social sciences 40
- Cultural studies 35
- Archaeology 33
- European history 31
- Philosophy 30
- Biography & True Stories 24
- Computer science 24
- Mathematics 23
- linguistics 23
- Social & cultural history 22
- Software Engineering 21
- Religion & beliefs 19
- Anthropology 18
- History of art / art & design styles 18
- Asian history 17
- Christianity 17
- History of the Americas 17
- Research & information: general 17
- The arts 17
- Ancient history: to c 500 CE 16
- Artificial intelligence 16
- Gender studies, gender groups 16
- Literary studies: general 16
-
581
-
582
-
583
-
584
-
585
-
586
-
587
-
588
-
589
-
590
-
591
-
592
-
593
-
594
-
595
-
596
-
597
-
598
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 o...
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 -
599
Revolution and Witchcraft The Code of Ideology in Unsettled Times /
Published 2023Table of Contents: “…Ch. 1: Introduction -- Ch. 2: Making Compact Symbolic Structures -- Ch. 3: Building Internal and External Coherence -- Ch. 4: Stepwise Inferences and Chain-Complexes of Ideas -- Ch. 5: Ideas as Chemical Reactions -- Ch: 6: A Five-Tier Model of Idea System and Ideological Creativity -- Ch. 7: Compact Symbolic Structures in a Futuristic Idea System -- Ch. 8: Totality as Internal and External Coherence -- Ch.9: Detailed, Rigorous Thinking in a Complex Chain of Elastic Codes -- Ch. 10: Destabilizing Contradictions and Implosions -- Ch. 11: A Five-Tier Assessment -- Ch. 12: Codifying the War on Terrorism -- Ch. 13: Extending the Idea System to the War on Iraq -- Ch. 14: Post-Invasion Codification -- 15: Five-Tier Model -- Ch. 16: Conclusion. .…”
Link to Metadata
Electronic eBook -
600
Linear Algebra Done Right
Published 2024Table of Contents: “…Trace and Determinant-Photo Credits-Symbol Index-Index.…”
Link to Metadata
Electronic eBook