Výsledky vyhledávání - specifying AND verifying AND reasoning about process general terms algorithms*

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.

Autoři: Liu, Junyi Zhou, Li Barthe, Gilles a další

Zdroj: Journal of the ACM; Jun2025, Vol. 72 Issue 3, p1-51, 51p

Témata: RANDOM walks, GENERALIZATION, ALGORITHMS, PHYSICS, FACTORIES

Proving Differential Privacy via Probabilistic Couplings

Autoři: Barthe, Gilles Gaboardi, Marco Grégoire, Benjamin a další

Přispěvatelé: Barthe, Gilles Gaboardi, Marco Grégoire, Benjamin a další

Zdroj: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science. :749-758

Témata: probabilistic couplings, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Cryptography and Security, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, General Terms Differential privacy, Logic in Computer Science (cs.LO), Computer Science - Data Structures and Algorithms, 0202 electrical engineering, electronic engineering, information engineering, F31 [Specifying and Verify, ing and Reasoning about Programs], Data Structures and Algorithms (cs.DS), F.3.1, Cryptography and Security (cs.CR)

Popis souboru: application/pdf

Přístupová URL adresa: http://dl.acm.org/ft_gateway.cfm?id=2934554&type=pdf
http://arxiv.org/abs/1601.05047
https://inria.hal.science/hal-01411097v1/document
https://inria.hal.science/hal-01411097v1
https://doi.org/10.1145/2933575.2934554
https://arxiv.org/pdf/1601.05047.pdf
https://128.84.21.199/abs/1601.05047?context=cs.DS
https://arxiv.org/abs/1601.05047
https://hal.inria.fr/hal-01411097
https://dl.acm.org/doi/pdf/10.1145/2933575.2934554
http://ui.adsabs.harvard.edu/abs/2016arXiv160105047B/abstract
https://hal.archives-ouvertes.fr/hal-01411097
https://dblp.uni-trier.de/db/journals/corr/corr1601.html#BartheGGHS16
https://hal.inria.fr/hal-01411097/document

Formalizing and verifying protocol refinements

Autoři: Scott N. Gerard Munindar P. Singh The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Scott N. Gerard Munindar P. Singh The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.csc.ncsu.edu/faculty/mpsingh/papers/mas/TIST-13-refinement.pdf.

Témata: Categories and Subject Descriptors, I.2.11 [Artificial Intelligence, Distributed Artificial Intelligence—Multiagent Systems, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification General Terms, Algorithms, Languages, Theory, Verification Additional Key Words and Phrases, Commitments, Agent communication, Verification of multiagent systems

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.300.4623
http://www.csc.ncsu.edu/faculty/mpsingh/papers/mas/TIST-13-refinement.pdf

ARITHMETISING LOGIC: POLYNOMIAL SEMANTICS OF FOL.

Autoři: GABBAY, MURDOCH J.

Zdroj: Journal of Applied Logics- IfCoLog Journal of Logics & their Applications (FLAP); Oct2025, Vol. 12 Issue 6, p1481-1548, 68p

Témata: FIRST-order logic, POLYNOMIALS, CRYPTOGRAPHY, MATHEMATICAL logic, LOGIC

Goal-directed weakening of abstract interpretation results

Autoři: Hongseok Yang Sunae Seo Kwangkeun Yi a další

Přispěvatelé: Hongseok Yang Sunae Seo Kwangkeun Yi a další

Zdroj: http://ropas.snu.ac.kr/~kwang/paper/07-toplas-yaseyiha.pdf.

Témata: Categories and Subject Descriptors, F.3.1 [Specifying and Verifying and Reasoning about Programs, Mechanical verification, D.2.4 [Software/Program Verification, Correctness proofs General Terms, Algorithms, Design, Languages, Verification Additional Key Words and Phrases, Program verification, Static analysis, Abstract interpretation, Backward analysis

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.722
http://ropas.snu.ac.kr/~kwang/paper/07-toplas-yaseyiha.pdf

Further N -Frame networking dynamics of conscious observer-self agents via a functional contextual interface: predictive coding, double-slit quantum mechanical experiment, and decision-making fallacy modeling as applied to the measurement problem in humans and AI

Autoři: Edwards, Darren J.

Zdroj: Frontiers in Computational Neuroscience; 2025, p1-53, 53p

Témata: LANGUAGE models, ARTIFICIAL intelligence, COGNITIVE bias, QUANTUM operators, COGNITIVE maps (Psychology)

Proof-Guided Underapproximation-Wideningfor Multi-Process Systems

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.technion.ac.il/users/orna/underapp-widening-popl05.ps.gz.

Témata: Categories and Subject Descriptors D.2.4 [Software/Program Verification, Model checking, F.3.1[Specifying and Verifying and Reasoning about Programs, Mechanical verification General Terms Algorithms, Reliability, Verification Keywords Abstraction, Bounded model checking, SAT proofs, Software Ver-ification, Underapproximation-Widening

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.73.8954
http://www.cs.technion.ac.il/users/orna/underapp-widening-popl05.ps.gz

Reasoning about Decidability of Strategic Logics with Imperfect Information and Perfect Recall Strategies.

Autoři: Catta, Davide Ferrando, Angelo Malvone, Vadim

Zdroj: Journal of Artificial Intelligence Research; 2025, Vol. 82, p777-817, 41p

Témata: CHECKS, LOGIC

An example of stepwise refinement of distributed programs: Quiescence detection

Autoři: Mani Chandy Jayadev Misra The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Mani Chandy Jayadev Misra The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.utexas.edu/users/misra/scannedPdf.dir/QuiescenceDetection.pdf.

Témata: Categories and Subject Descriptors, D.1.3 [Programming Techniques, Concurrent Programming, D.4.1 [Operating Systems, Process Management-deadlocks, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs General Terms, Algorithms, Theory Additional Key Words and Phrases, Deadlock detection, program development, stepwise refinement, termination

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9479; http://www.cs.utexas.edu/users/misra/scannedPdf.dir/QuiescenceDetection.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.96.9479
http://www.cs.utexas.edu/users/misra/scannedPdf.dir/QuiescenceDetection.pdf

Empirical Game Theoretic Analysis: A Survey.

Autoři: Wellman, Michael P. Tuyls, Karl Greenwald, Amy

Zdroj: Journal of Artificial Intelligence Research; 2025, Vol. 82, p1017-1076, 60p

Témata: MACHINE learning, AUCTIONS, GAMES, MOTIVATION (Psychology)

A Method for the Solution of Certain Non-Linear Problems of Combined Seagoing Main Engine Performance and Fixed-Pitch Propeller Hydrodynamics with Imperative Assignment Statements and Streamlined Computational Sequences.

Autoři: Andritsakis, Eleutherios Christos

Zdroj: Computation; Aug2025, Vol. 13 Issue 8, p202, 84p

Témata: SHIP propulsion, HYDRODYNAMICS, ENERGY consumption, QUANTITATIVE research, ENGINEERING mathematics

Deep Learning With DAGs.

Autoři: Balgi, Sourabh Daoud, Adel Peña, Jose M. a další

Zdroj: Sociological Methods & Research; Nov2025, Vol. 54 Issue 4, p1624-1682, 59p

Témata: DEEP learning, CAUSAL inference, CAUSATION (Philosophy), CAUSAL models, DIRECTED acyclic graphs, STATUS attainment, SCIENTIFIC observation, FLOWGRAPHS

NeuroCERIL: Robotic Imitation Learning via Hierarchical Cause-Effect Reasoning in Programmable Attractor Neural Networks.

Autoři: Davis, Gregory P. Katz, Garrett E. Gentili, Rodolphe J. a další

Zdroj: International Journal of Social Robotics; Aug2023, Vol. 15 Issue 8, p1277-1295, 19p

Témata: COGNITION, SOCIAL robots, SHORT-term memory, CONTROL (Psychology), MEMORY, MIRROR neurons

Programming and reasoning about actors that share state.

Zdroj: Journal of Functional Programming; 2024, Vol. 34, p1-69, 69p

Témata: ACTORS, SHARING, WISHES, CONVERSATION

Auditing the inference processes of medical-image classifiers by leveraging generative AI and the expertise of physicians.

Autoři: DeGrave, Alex J. Cai, Zhuo Ran Janizek, Joseph D. a další

Zdroj: Nature Biomedical Engineering; Mar2025, Vol. 9 Issue 3, p294-306, 13p

Citation of AI Contributions in Scientific Publications; How, Where and Why?

Autoři: Abu-Naba'a, Layla A.

Zdroj: Jordan Journal of Dentistry; Oct2025, Vol. 2 Issue 4, p6-16, 11p

Language support for verifying reconfigurable interacting systems.

Autoři: Alrahman, Yehia Abd Azzopardi, Shaun Di Stefano, Luca a další

Zdroj: International Journal on Software Tools for Technology Transfer; Dec2023, Vol. 25 Issue 5/6, p765-784, 20p

Témata: MULTIAGENT systems, LANGUAGE & languages

When a machine detects student reasoning: a review of machine learning-based formative assessment of mechanistic reasoning.

Autoři: Martin, Paul P. Graulich, Nicole

Zdroj: Chemistry Education: Research & Practice; 2023, Vol. 24 Issue 2, p407-427, 21p

Témata: MACHINE learning, TECHNOLOGICAL innovations

On Some Current Myths about Modern Artificial Intelligence.

Autoři: Zabezhailo, M. I. Mikheyenkova, M. A. Finn, V. K.

Zdroj: Pattern Recognition & Image Analysis; Sep2024, Vol. 34 Issue 3, p503-508, 6p

One Step Closer to Conversational Medical Records: ChatGPT Parses Psoriasis Treatments from EMRs.

Autoři: Shapiro, Jonathan Atlas, Mor Baum, Sharon a další

Zdroj: Journal of Clinical Medicine; Nov2025, Vol. 14 Issue 21, p7845, 17p

Témata: PSORIASIS, CHATGPT, CLINICAL decision support systems, NATURAL language processing, ELECTRONIC health records, MEDICAL records, DERMATOLOGY, LANGUAGE models