Search Results - "SAT"
Suggested Topics within your search.
Suggested Topics within your search.
- Software Engineering 22
- Computer science 20
- Artificial intelligence 17
- Algorithms & data structures 12
- Computer programming / software development 12
- Mathematical theory of computation 12
- Software engineering 10
- Computer Science Logic and Foundations of Programming 8
- History of engineering & technology 8
- Artificial Intelligence 7
- European history 7
- Research & information: general 7
- Formal Languages and Automata Theory 6
- Machine theory 6
- Systems analysis & design 6
- Control Structures and Microprogramming 5
- Microprogramming 5
- Technology: general issues 5
- Archaeology 4
- Asian history 4
- Computer modelling & simulation 4
- Computer networking & communications 4
- Engineering: general 4
- Expert systems / knowledge-based systems 4
- Theory of Computation 4
- Biography: general 3
- Computer Engineering and Networks 3
- Computer System Implementation 3
- Computer engineering 3
- Computer networks 3
-
561
-
562
-
563
PENGEMBANGAN PROGRAM LAYANAN INFORMASI KARIR DI SMK NEGERI 3 BANDUNG
Published 2003Link Metadata
Book -
564
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 o...
Published 2021Table of Contents: “…Verification Techniques (not SMT) -- Directed Reachability for Infinite-State Systems -- Bridging Arrays and ADTs in Recursive Proofs -- A Two-Phase Approach for Conditional Floating-Point Verification -- Symbolic Coloured SCC Decomposition -- Case Studies -- Local Search with a SAT Oracle for Combinatorial Optimization -- Analyzing Infrastructure as Code to Prevent Intra-update Sniping Vulnerabilities -- Proof Generation/Validation -- Certifying Proofs in the First-Order Theory of Rewriting -- Syntax-Guided Quantifier Instantiation -- Making Theory Reasoning Simpler -- Deductive Stability Proofs for Ordinary Differential Equations -- Tool Papers -- An SMT-Based Approach for Verifying Binarized Neural Networks -- cake lpr: Verified Propagation Redundancy Checking in CakeML -- Deductive Veri cation of Floating-Point Java Programs in KeY -- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types -- SyReNN: A Tool for Analyzing Deep Neural Networks -- MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers -- dtControl 2.0: Explainable Strategy Representation via Decision Tree Learning Steered by Experts -- Tool Demo Papers -- HLola: a Very Functional Tool for Extensible Stream Runtime Verification -- AMulet 2.0 for Verifying Multiplier Circuits -- RTLola on Board: Testing Real Driving Emissions on your Phone -- Replicating Restart with Prolonged Retrials: An Experimental Report -- A Web Interface for Petri Nets with Transits and Petri Games -- Momba: JANI Meets Python -- SV-Comp Tool Competition Papers -- Software Veri cation: 10th Comparative Evaluation (SV-COMP 2021) -- CPALockator: Thread-Modular Approach with Projections (Competition Contribution) -- Dartagnan: Leveraging Compiler Optimizations and the Price of Precision (Competition Contribution) -- Gazer-Theta: LLVM-based Veri er Portfolio with BMC/CEGAR (Competition Contribution) -- Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints (Competition Contribution) -- Towards String Support in JayHorn (Competition Contribution) -- JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution) -- Symbiotic 8: Beyond Symbolic Execution (Competition Contribution) -- VeriAbs: A Tool for Scalable Verification by Abstraction (Competition Contribution).…”
Link to Metadata
Electronic eBook -
565
-
566
-
567
-
568
-
569
Critical Issues in Head and Neck Oncology Key Concepts from the Eighth THNO Meeting /
Published 2023Table of Contents: “…, Amanda Psyrri -- The role of radiotherapy in oligometastatic or oligoprogressive disease in R/M-SCCHN, Daan Nevens -- Updates from the EORTC Head and Neck Cancer Group (HNCG), Jean-Pascal Machiels (Chair of EORTC-HNCG) -- Real world evidence in head and neck cancer, Anil D'Cruz (UICC president -- Pathology driven treatment of skull base tumors, Piero Nicolai -- Modern day reconstruction of facial bones, Sat Parmar -- Targeting molecular/minimal residual disease using novel technologies and clinical trials design, Lillian Siu -- New developments in surgery for malignant salivary gland tumors, Jeroen Meulemans -- New systemic therapies in salivary gland cancer, Ethan Argiris. …”
Link to Metadata
Electronic eBook -
570
-
571
-
572
-
573
-
574
-
575
-
576
-
577
Handbook of Mathematical Geosciences Fifty Years of IAMG /
Published 2018Table of Contents: “…Chapter 13 An Introduction to the Spatio-Temporal Analysis of Sat-ellite Remote Sensing Data for Geostatisticians -- 17. …”
Link to Metadata
Electronic eBook -
578
-
579
-
580