Results 51 to 60 of about 1,558,985 (350)

Automating Leibniz’s Theory of Concepts [PDF]

, 2015
Our computational metaphysics group describes its use of automated reasoning tools to study Leibniz’s theory of concepts. We start with a reconstruction of Leibniz’s theory within the theory of abstract objects (henceforth ‘object theory’).
Alama, Jesse, Oppenheimer, Paul Edward, Zalta, Edward N.   +2 more
core   +2 more sources

Multikey Fully Homomorphic Encryption: Removing Noise Flooding in Distributed Decryption via the Smudging Lemma on Discrete Gaussian Distribution

IET Information Security
The current multikey fully homomorphic encryption (MKFHE) needs to add exponential noise in the distributed decryption phase to ensure the simulatability of partial decryption.
Xiaokang Dai, Wenyuan Wu, Yong Feng
doaj   +1 more source

A Framework for the Evaluation of SUMO-Based Ontologies Using WordNet

IEEE Access, 2019
This paper offers a new practical approach toward automated commonsense reasoning with first-order logic (FOL) SUMO-based ontologies. We propose a new black-box evaluation framework for SUMO-based ontologies, which exploits the world knowledge encoded in
Javier Alvez, Paqui Lucio, German Rigau
doaj   +1 more source

Automated reasoning in normative detachment structures with ideal conditions [PDF]

International Conference on Artificial Intelligence and Law, 2018
In this article we introduce a logical structure for normative reasoning, called Normative Detachment Structure with Ideal Conditions, that can be used to represent the content of certain legal texts in a normalized way.
Tomer Libal, Matteo Pascucci
semanticscholar   +1 more source

Structural insights into lacto‐N‐biose I recognition by a family 32 carbohydrate‐binding module from Bifidobacterium bifidum

FEBS Letters, EarlyView.
Bifidobacterium bifidum establishes symbiosis with infants by metabolizing lacto‐N‐biose I (LNB) from human milk oligosaccharides (HMOs). The extracellular multidomain enzyme LnbB drives this process, releasing LNB via its catalytic glycoside hydrolase family 20 (GH20) lacto‐N‐biosidase domain.
Xinzhe Zhang, Naoki Sunagawa, Toma Kashima, Kiyohiko Igarashi, Akimasa Miyanaga, Shinya Fushinobu   +5 more
wiley   +1 more source

Automated Reasoning and Learning for Automated Payroll Management

Proceedings of the AAAI Conference on Artificial Intelligence, 2021
While payroll management is a crucial aspect of any business venture, anticipating the future financial impact of changes to the payroll policy is a challenging task due to the complexity of tax legislature. The goal of this work is to automatically explore potential payroll policies and find the optimal set of policies that satisfies the user's needs.
Dumancic, Sebastijan, Meert, Wannes, Goethals, Stijn, Stuyckens, Tim, Huygen, Jelle, Denies, Koen   +5 more
openaire   +2 more sources

Lattice-based, LWE-leakage model for Gaussian and uniform secret and its application in decentralization

Cybersecurity
In the case of standard LWE samples $$({\textbf {A}},{\textbf {b = sA + e}})$$ ( A , b = sA + e ) , $${\textbf {A}}$$ A is typically uniformly over $$\mathbb {Z}_q^{n \times m}$$ Z q n × m .
Xiaokang Dai, Jingwei Chen, Wenyuan Wu, Yong Feng   +3 more
doaj   +1 more source

Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar

, 2010
This paper presents a combination of several automated reasoning and proof presentation tools with the Mizar system for formalization of mathematics.
C. Weidenbach, G. Bancerek, G. Bancerek, G. Gonthier, G. Klein, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, G. Sutcliffe, J. Kotowicz, J. Urban, J. Urban, J. Urban, J. Urban, J. Urban, J. Urban, K. Raczkowski, L. Paulson, M. Suda, P. Corbineau, S. Conchon, S. Schulz, T. Hales, V. D’Silva, W.W. McCune, Y. Puzis   +27 more
core   +1 more source

Protein pyrophosphorylation by inositol pyrophosphates — detection, function, and regulation

FEBS Letters, EarlyView.
Protein pyrophosphorylation is an unusual signaling mechanism that was discovered two decades ago. It can be driven by inositol pyrophosphate messengers and influences various cellular processes. Herein, we summarize the research progress and challenges of this field, covering pathways found to be regulated by this posttranslational modification as ...
Sarah Lampe, Tanmay Kumar Mohanty, Rashna Bhandari, Dorothea Fiedler   +3 more
wiley   +1 more source

Larry Wos: Visions of Automated Reasoning

Journal of Automated Reasoning, 2022
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Michael Beeson, Maria Paola Bonacina, Michael Kinyon, Geoff Sutcliffe   +3 more
openaire   +2 more sources