Výsledky vyhľadávania - Algorithms Keywords Computer-aided theorem proving

Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools

Autori: Barsotti, Damian Prensa-Nieto, Leonor Tiu, Alwen a ďalší

Prispievatelia: Barsotti, Damian Prensa-Nieto, Leonor Tiu, Alwen a ďalší

Zdroj: Electronic Notes in Theoretical Computer Science. 145:63-78

Predmety: Schneider's generalized clock synchronization protocols, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer aided software engineering, Verification, Algorithms Clock synchronization, 0102 computer and information sciences, 02 engineering and technology, Synchronization, 01 natural sciences, Theoretical Computer Science, Clock synchronization, Combination of deductive tools, Deductive tools, clock synchronization, Keywords: Automation, 0202 electrical engineering, electronic engineering, information engineering, verification, Theorem proving, Computer Science(all)

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/inria-00097383/file/fac07.pdf
https://inria.hal.science/inria-00000638v1
https://hal.inria.fr/inria-00000638
https://core.ac.uk/display/82023702
https://doi.org/10.1016/j.entcs.2005.10.005
https://dblp.uni-trier.de/db/journals/entcs/entcs145.html#BarsottiNT06
https://www.sciencedirect.com/science/article/pii/S1571066105052503
https://link.springer.com/article/10.1007/s00165-007-0027-6
https://hal.inria.fr/inria-00097383
https://openresearch-repository.anu.edu.au/handle/1885/39233
https://link.springer.com/10.1007/s00165-007-0027-6
https://dblp.uni-trier.de/db/journals/fac/fac19.html#BarsottiNT07
https://digitalcollections.anu.edu.au/handle/1885/39233
https://link.springer.com/article/10.1007/s00165-007-0027-6/email/correspondent/c1/new

Finding strategyproof social choice functions via SAT solving

Autori: Felix Brandt Christian Geist The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Felix Brandt Christian Geist The Pennsylvania State University CiteSeerX Archives

Zdroj: http://dss.in.tum.de/files/brandt-research/sp2sat.pdf.

Predmety: Categories and Subject Descriptors [Applied computing, Economics, Computing methodologies, Artificial intelligence General Terms Economics, Theory, Verification, Algorithms Keywords Computer-aided theorem proving, strategyproofness, tour- nament solutions, set extensions

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9629

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9629
http://dss.in.tum.de/files/brandt-research/sp2sat.pdf

The CADE-29 Automated Theorem Proving System Competition – CASC-29.

Autori: Sutcliffe, Geoff Desharnais, Martin

Zdroj: AI Communications; 2024, Vol. 37 Issue 4, p485-503, 19p

Predmety: DESIGN competitions, WORLD championships, CONTESTS, LOGIC

Some advances in tools and algorithms for the construction and analysis of systems.

Autori: Baier, Christel Tinelli, Cesare

Zdroj: International Journal on Software Tools for Technology Transfer; Nov2017, Vol. 19 Issue 6, p649-652, 4p

Predmety: SOFTWARE development tools, ALGORITHMS, PARALLEL computers, MACHINE theory, COMPUTER-aided engineering

Runtime Verification Tool for the Calculus of Context-Aware Ambients.

Autori: Siewe, François

Zdroj: Mathematics (2227-7390); Nov2025, Vol. 13 Issue 22, p3606, 40p

Predmety: CONTEXT-aware computing, SOFTWARE validation, LOGIC, TELEMETRY

Formal Verification of Universal Numbers using Theorem Proving.

Autori: Rashid, Adnan Gauhar, Ayesha Hasan, Osman a ďalší

Zdroj: Journal of Electronic Testing; Jun2024, Vol. 40 Issue 3, p329-345, 17p

A COMPREHENSIVE SYSTEM FOR COMPUTER-AIDED METADATA GENERATION

Autori: Marek Hatala The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Marek Hatala The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.sfu.ca/~mhatala/pubs/hatala-forth-www2003.pdf.

Predmety: Categories and Subject Descriptors H.5.2 [Information Interfaces and Presentation, User Interfaces, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving – Deduction, Inference engines, J.1 [Computer Applications, Administrative data Processing, General Terms Algorithms, Management, Performance, Design, Human Factors, Standardization Keywords Metadata systems, User tools, Ontologies, Knowledge-based systems, Semantic web, IEEE LTSC LOM, SCORM

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.203.3288

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.203.3288
http://www.sfu.ca/~mhatala/pubs/hatala-forth-www2003.pdf

Predicting EGFR L858R/T790M/C797S Inhibitory Effect of Osimertinib Derivatives by Mixed Kernel SVM Enhanced with CLPSO.

Autori: Li, Shaokang Dong, Wenzhe Qu, Aili

Zdroj: Pharmaceuticals (14248247); Aug2025, Vol. 18 Issue 8, p1092, 22p

Predmety: OSIMERTINIB, EPIDERMAL growth factor receptors, OPTIMIZATION algorithms, MOLECULAR docking, CHEMICAL inhibitors, SUPPORT vector machines, GENETIC mutation

The 8th IJCAR automated theorem proving system competition - CASC-J8.

Autori: Sutcliffe, Geoff

Zdroj: AI Communications; 2016, Vol. 29 Issue 5, p607-619, 13p

Predmety: AUTOMATIC theorem proving, COMPUTERS in mathematics, ALGORITHMS, MOTHERBOARDS, PROGRAM transformation

ABSTRACTS from other ACM Publications.

Zdroj: Communications of the ACM; Apr1982, Vol. 25 Issue 4, p286-291, 6p

Predmety: AUTOMATIC theorem proving, SPANNING trees, TREE graphs, PROOF theory

SPASS-AR: A First-Order Theorem Prover Based on Approximation-Refinement into the Monadic Shallow Linear Fragment.

Autori: Teucke, Andreas Weidenbach, Christoph

Zdroj: Journal of Automated Reasoning; Mar2020, Vol. 64 Issue 3, p611-640, 30p

Predmety: CALCULUS, MATHEMATICS theorems, DECIDABILITY (Mathematical logic), APPROXIMATION algorithms, APPROXIMATION error

The 11th IJCAR automated theorem proving system competition – CASC-J11.

Autori: Sutcliffe, Geoff Desharnais, Martin

Zdroj: AI Communications; 2023, Vol. 36 Issue 2, p73-91, 19p

Predmety: DESIGN competitions, LOTKA-Volterra equations

Certified Graph View Maintenance with Regular Datalog.

Autori: BONIFATI, ANGELA DUMBRAVA, STEFANIA ARIAS, EMILIO JESÚS GALLEGO a ďalší

Zdroj: Theory & Practice of Logic Programming; May2018, Vol. 18 Issue 3/4, p372-389, 18p

Predmety: GRAPH theory, ALGORITHMS, QUERY languages (Computer science), AUTOMATIC theorem proving, DATA extraction

Simplify: A Theorem Prover for Program Checking.

Autori: Detlefs, David Nelson, Greg Saxe, James B.

Zdroj: Journal of the ACM; May2005, Vol. 52 Issue 3, p365-473, 109p, 3 Diagrams, 10 Graphs

Predmety: AUTOMATIC theorem proving, ERROR-correcting codes, COMPUTER programming, LOGICAL prediction, AUTOMATIC control systems

Theorem Proving as Constraint Solving with Coherent Logic.

Autori: Janičić, Predrag Narboux, Julien

Zdroj: Journal of Automated Reasoning; Nov2022, Vol. 66 Issue 4, p689-746, 58p

Predmety: FIRST-order logic, NATURAL numbers, PROOF theory, LOGIC, NATURAL languages

Formally verifying decompositions of stochastic specifications.

Autori: Hampus, Anton Nyberg, Mattias

Zdroj: International Journal on Software Tools for Technology Transfer; Apr2024, Vol. 26 Issue 2, p207-228, 22p

Predmety: PROBABILISTIC automata, VECTOR spaces, INDUSTRIAL applications

Proving Termination by Dependency Pairs and Inductive Theorem Proving.

Autori: Fuhs, Carsten Giesl, Jürgen Parting, Michael a ďalší

Zdroj: Journal of Automated Reasoning; Aug2011, Vol. 47 Issue 2, p133-160, 28p

Predmety: REWRITING systems (Computer science), PROGRAMMING languages, ALGORITHMS, COMPUTER software termination, COUPLINGS (Gearing)

Evidence Algorithm and Inference Search in First-Order Logics.

Autori: Lyaletski, Alexander

Zdroj: Journal of Automated Reasoning; Oct2015, Vol. 55 Issue 3, p269-284, 16p

Predmety: AUTOMATIC theorem proving, INTUITIONISTIC mathematics, MASLOV index, MODAL logic, SEQUENT calculus

Using simulated execution in verifying distributed algorithms.

Autori: Toh Ne Win Ernst, Michael D. Garland, Stephen J. a ďalší

Zdroj: International Journal on Software Tools for Technology Transfer; Jul2004, Vol. 6 Issue 1, p67-76, 10p

Predmety: AUTOMATIC theorem proving, DISTRIBUTED computing, ALGORITHMS, SOFTWARE verification, COMPUTER simulation, COMPUTER programming

HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits.

Autori: Minhas, Mishal Fatima Hasan, Osman Abed, Sa'ed

Zdroj: Journal of Electronic Testing; Aug2021, Vol. 37 Issue 4, p561-567, 7p