Results 21 to 30 of about 33,057 (217)

Discrete Hierarchical Memory Particle Swarm Optimization Algorithm for Dynamic Public Transport [PDF]

Jisuanji gongcheng
With 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

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

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, Maximilian Claus, Nik Sultana   +2 more
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

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, Nguyen Vo, Shanshan Liang, Jagruti Patel, Chitta Baral, James Cai   +5 more
doaj   +1 more source

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

Knowledge-Based Decision Support in Healthcare via Near Field Communication

Sensors, 2020
The benefits of automatic identification technologies in healthcare have been largely recognized. Nevertheless, unlocking their potential to support the most knowledge-intensive medical tasks requires to go beyond mere item identification.
Giuseppe Loseto, Floriano Scioscia, Michele Ruta, Filippo Gramegna, Saverio Ieva, Agnese Pinto, Crescenzio Scioscia   +6 more
doaj   +1 more source

Therapeutic Apheresis in Nigeria: A Multi‐Center Summary of Abstracts From the Inaugural Nigerian Society for Apheresis Scientific Meeting

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Therapeutic apheresis (TA) is an established treatment modality for hematologic, neurologic, and immunologic disorders, yet access remains severely limited in sub‐Saharan Africa. Donor apheresis, including platelet apheresis collection from healthy donors, represents an important complementary modality supporting blood product ...
Nosa Bazuaye, Chimezie Okwuonu, Evelyn Idam, Folasade Adelekan‐Popoola, Shakirat Gold‐Olufadi, Olufunto Olufela Kalejaiye, Abdullateef Ogala, Zinnah Aloziem, Blossom Amamchukwu, Patience Elimia, Mkpoikanabasi Obot‐Obot, Henry Mbakwe, Praises Maduagwuna, Olatunji Akinrodoye, Chiamaka Anyanwu, Benjamin Anyanwu, Adedamola Akinsiku, Oluwatoyin A. Akinsiku, Muzamil O. Hassan, Fatiu A. Arogundade, Olalekan E. Ojo, Homayemem Weli, Jesupelumi Adenihun, Aderemi Adelaja, Ebun Bamgboye, Olalekan Olatise, Ade E. Faponle, Ayoola Odeyemi, Michael Muoka, Stephen Asaolu, Qudrat Busari, Blessing Dawudu, Michael Naiyeju, Rasheed A. Balogun   +33 more
wiley   +1 more source

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

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