Results 31 to 40 of about 1,200,969 (291)
Discrete Hierarchical Memory Particle Swarm Optimization Algorithm for Dynamic Public Transport [PDF]
Jisuanji gongchengWith the development of smart cities and transport, the continuous improvement of mobile Internet and smart transport infrastructure and data, a new transport operation method in which users order transport services on their mobile phones-dynamic ...
HUANG Junze, WU Wenyuan, LI Yi, SHI Mingquan, WANG Zhengjiang
doaj +1 more source
Interoperability between biomedical ontologies through relation expansion, upper-level ontologies and automatic reasoning. [PDF]
PLoS ONE, 2011 Researchers design ontologies as a means to accurately annotate and integrate experimental data across heterogeneous and disparate data- and knowledge bases.
Robert Hoehndorf +5 more
doaj +1 more source
Automated Reasoning on Feature Models [PDF]
, 2005 Premio Mensual Publicación Científica Destacada de la US.
Benavides Cuevas, David Felipe +2 more
openaire +5 more sources
Further Thoughts on Defining f(x) for Ethical Machines: Ethics, Rational Choice, and Risk Analysis
Proceedings of the International Florida Artificial Intelligence Research Society Conference, 2023 There is a tendency to anthropomorphize artificial intelligence (AI) and reify it as a person. From the perspective of machine ethics and ethical AI, this has resulted in the belief that truly autonomous ethical agents (i.e., machines and algorithms) can
Clayton Peterson
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
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 +1 more source
IET Information SecurityThe 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
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 +5 more
openaire +2 more sources
Modelling stem cell differentiation related processes—A practical overview for biologists
FEBS Letters, EarlyView.Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar +4 more
wiley +1 more source
CybersecurityIn 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 +3 more
doaj +1 more source