Results 1 to 10 of about 271,070 (187)
Systematic Verification of the Modal Logic Cube in Isabelle/HOL [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 We present an automated verification of the well-known modal logic cube in Isabelle/HOL, in which we prove the inclusion relations between the cube's logics using automated reasoning tools. Prior work addresses this problem but without restriction to the
Christoph Benzmüller +2 more
doaj +10 more sources
Identifying novel drug indications through automated reasoning. [PDF]
PLoS ONE, 2012 With the large amount of pharmacological and biological knowledge available in literature, finding novel drug indications for existing drugs using in silico approaches has become increasingly feasible.
Luis Tari +5 more
doaj +2 more sources
Termination Analysis of Single Path Loop Programs Based on Iterative Trajectory Division [PDF]
Jisuanji kexue, 2023 The ranking function has been extensively studied as an important method of program termination analysis.In this paper,we focus on the termination of single-path loops.Firstly,the concept of two-way iterative loops is proposed,and the single-path loops ...
WANG Yao, LI Yi
doaj +1 more source
Survey on Automatic Tuning of Compilers by Machine Learning [PDF]
Jisuanji kexue, 2022 Modern compilers offer many optimization options.It is a complex problem to choose which parameter values,which combination of options and in which order to apply these options.Among them,the optimization phase ordering is the most dif-ficult one.With ...
CHI Hao-yu, CHEN Chang-bo
doaj +1 more source
Automated Reasoning Techniques for Solving Combinatorial Mathematical Problems:A Survey [PDF]
Jisuanji kexue, 2023 Automated reasoning is a symbolic algorithmic technique that aims to simulate the logical reasoning ability of human.The overall goal is to mechanize different forms of reasoning with a computer system.Although the theoretical framework of the field has ...
HUANG Pei, LIU Minghao, MA Feifei, ZHANG Jian
doaj +1 more source
Exploration of Chemical Space Through Automated Reasoning [PDF]
Angewandte Chemie - International EditionChristopher Collins +2 more
exaly +2 more sources
Learning-Assisted Automated Reasoning with Flyspeck [PDF]
, 2014 The considerable mathematical knowledge encoded by the Flyspeck project is combined with external automated theorem provers (ATPs) and machine-learning premise selection methods trained on the proofs, producing an AI system capable of answering a wide ...
Kaliszyk, Cezary, Urban, Josef
core +12 more sources
Consciousness and Automated Reasoning [PDF]
CoRR, 2020 This paper aims at demonstrating how a first-order logic reasoning system in combination with a large knowledge base can be understood as an artificial consciousness system. For this we review some aspects from the area of philosophy of mind and in particular Tononi's Information Integration Theory (IIT) and Baars' Global Workspace Theory.
Ulrike Barthelmeß +2 more
openaire +2 more sources
Frontiers in Computational Neuroscience, 2021 The emerging topic of privacy-preserving deep learning as a service has attracted increasing attention in recent years, which focuses on building an efficient and practical neural network prediction framework to secure client and model-holder data ...
Yanan Bai +5 more
doaj +1 more source
Fast and Clean: Auditable high-performance assembly via constraint solving
Transactions on Cryptographic Hardware and Embedded Systems, 2023 Handwritten assembly is a widely used tool in the development of highperformance cryptography: By providing full control over instruction selection, instruction scheduling, and register allocation, highest performance can be unlocked.
Amin Abdulrahman +3 more
doaj +1 more source