Results 1 to 10 of about 36,944 (162)
Lecture Notes in Computer ScienceZertifizierte Computersysteme werden zunehmend zum Schlüssel für die immer komplexeren Entscheidungsprozesse in unserer modernen Gesellschaft. Fehlerfreie und sichere Lösungen sind unter anderem in Bereichen wie Künstlicher Intelligenz (KI), autonomen Systemen, Big Data, Blockchain, Dezentraler Finanzen (DeFi) oder Cloud Computing unverzichtbar ...
exaly +7 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
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
seIMC: A GSW-Based Secure and Efficient Integer Matrix Computation Scheme With Implementation
IEEE Access, 2020 As atomic operations, secure matrix-based computations using homomorphic encryption (HE) have attracted much attention in cloud-based machine learning. However, most existing secure matrix computation solutions that focus on HE schemes suffer efficiency ...
Yanan Bai +4 more
doaj +1 more source
A Method for Expanding Predicates and Rules in Automated Geometry Reasoning System
Mathematics, 2022 Predicates and rules are usually enclosed as built-in functions in automated geometry reasoning systems, meaning users cannot add any predicate or rule, thus resulting in a limited reasoning capability of the systems.
Yongsheng Rao +4 more
doaj +1 more source
Consciousness and Automated Reasoning
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 +3 more sources
α-Minimal Resolution Principle For A Lattice-Valued Logic [PDF]
International Journal of Computational Intelligence Systems, 2015 Based on the academic ideas of resolution-based automated reasoning and the previously established research work on binary α-resolution based automated reasoning schemes in the framework of lattice-valued logic with truth-values in a lattice ...
Hairui Jia, Yang Xu, Yi Liu, Jun Liu
doaj +1 more source