Search Results - "computation"

Ray Tracing Gems High-Quality and Real-Time Rendering with DXR and Other APIs /

Table of Contents: “…A Planetarium Dome Master Camera -- Chapter 5. Computing Minima and Maxima of Subarrays -- Part 2: Intersections and Efficiency -- Chapter 6. …”
Link to Metadata

Objective Information Theory by Xu, Jianfeng, Wang, Shuliang, Liu, Zhenyu, Wang, Yashi, Wang, Yingfei, Dang, Yingxu

Subjects: “…Computer science.…”
Link to Metadata

Memristor An Emerging Device for Post-Moore's Computing and Applications

DOAB: download the publication
DOAB: description of the publication

Numerical Simulations Examples and Applications in Computational Fluid Dynamics

DOAB: download the publication
DOAB: description of the publication

Turtle Geometry The Computer as a Medium for Exploring Mathematics by Abelson, Harold

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Altmetrics for Digital Libraries Concepts, Applications, Evaluation, and Recommendations by Nuredini, Kaltrina

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

The Complexity of Zadeh's Pivot Rule

Subjects: “…Computer science bicssc…”
DOAB: download the publication
DOAB: description of the publication

Altmetrics for Digital Libraries Concepts, Applications, Evaluation, and Recommendations by Nuredini, Kaltrina

Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Complexity of Zadeh's Pivot Rule

Subjects: “…Computer science bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Anti-fragile ICT Systems by Hole, Kjell Jørgen

Subjects: “…Computer engineering.…”
Link to Metadata

Haptics: Science, Technology, Applications 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings /

Subjects: “…User interfaces (Computer systems).…”
Link to Metadata

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 o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

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...

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Subjects: “…Compilers (Computer programs).…”
Link to Metadata

Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers

Subjects: “…Computer security bicssc…”
DOAB: download the publication
DOAB: description of the publication

Cyber Security 15th International Annual Conference, CNCERT 2018, Beijing, China, August 14-16, 2018, Revised Selected Papers

Subjects: “…Computer security bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Palatal bone thickness at the implantation area of maxillary skeletal expander in adult patients with skeletal Class III malocclusion: a cone-beam computed tomography study by Weiting Chen, Kaili Zhang, Dongxu Liu

Connect to this object online.

The difference of canine, first and second premolar tooth size resulted from cone beam computed tomography imaging with Moyers Prediction Table on the working study model by Julies Hariani Sugiaman, Bergman Thahar, Endah Mardiati, Ria Noerianingsih Firman

Connect to this object online.

Influence on interradicular bone volume of Invisalign treatment for adult crowding with interproximal enamel reduction: a retrospective three-dimensional cone-beam computed tomography study by Andreas Hellak, Nicola Schmidt, Michael Schauseil, Steffen Stein, Thomas Drechsler, Heike Maria Korbmacher-Steiner

Connect to this object online.

DIAGNOSTIC POSSIBILITIES OF 3D-COMPUTED TOMOGRAPHY WITH INTRALESIONAL APPLICATION OF CONTRAST MATERIAL IN A CASE OF VERY LARGE RADICULAR MAXILLARY CYST - A CASE REPORT by Galina Gavazova, Tanya Sbirkova, Dimitar L. Gospodinov

Connect to this object online.