Results 41 to 50 of about 33,618 (213)

Efficient Quantum Answer Set Programming Solver Using Partial Diffusion and Entanglement

IEEE Access
The relation between answer set programming (ASP) and combinatorial problems, especially the satisfiability problem (SAT), has attracted significant interest in the academic literature.
Esraa Ebdelrehime, Ahmed Younes, Islam Elkabani   +2 more
doaj   +1 more source

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming

Proceedings, 2019
When it comes to the writing of a new logic program or theory, it is of great importance to obtain a concise and minimal representation, for simplicity and ease of interpretation reasons.
Rodrigo Martin, Pedro Cabalar
doaj   +1 more source

Effects of the Fluid Replacement Method During Online Hemodiafiltration on the Solute Removal Performance and Biocompatibility Using the Asymmetric Cellulose Triacetate Membrane

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Pre‐dilution online hemodiafiltration (Pre‐HDF) is predominantly used in Japan, whereas post‐dilution online HDF (Post‐HDF) is more common in Europe. An asymmetric cellulose triacetate (ATA) membrane may improve biocompatibility.
Kenji Sakurai, Yoshitaka Kurihara, Fumi Yamauchi, Hiromi Hosoya, Takeshi Saito   +4 more
wiley   +1 more source

Designing experiments to discriminate families of logic models

Frontiers in Bioengineering and Biotechnology, 2015
Logic models of signaling pathways are a promising way of building effective in silico functional models of a cell, in particular of signaling pathways.
Santiago eVidela, Santiago eVidela, Santiago eVidela, Santiago eVidela, Irina eKonokotina, Leonidas eAlexopoulos, Julio eSaez-Rodriguez, Torsten eSchaub, Anne eSiegel, Anne eSiegel, Carito eGuziolowski   +10 more
doaj   +1 more source

Infection Control Practices for Vascular Access Management in Hemodialysis: Results From a Nationwide Survey of Japanese National University Hospitals

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Introduction Bloodstream infections due to repeated vascular access (VA) puncture and circuit connections remain major concerns in hemodialysis. Therefore, we examined current practices for glove, disinfectant, and personal protective equipment (PPE) use according to VA type in national university hospitals in Japan.
Aiko Yamada, Makoto Harada, Tadahiko Kikugawa, Takeshi Nakata, Koji Hashimoto, Tsuneo Konta, Yuji Kamijo   +6 more
wiley   +1 more source

Case Study: Students’ Code-Tracing Skills and Calibration of Questions for Computer Adaptive Tests

Applied Sciences, 2020
Computer adaptive testing (CAT) enables an individualization of tests and better accuracy of knowledge level determination. In CAT, all test participants receive a uniquely tailored set of questions.
Robert Pinter, Sanja Maravić Čisar, Attila Kovari, Lenke Major, Petar Čisar, Jozsef Katona   +5 more
doaj   +1 more source

Dreptul Algoritmic // Algorithmic Law

Analele Ştiinţifice ale Universităţii "Al.I. Cuza" din Iaşi. Ştiinţe Juridice, 2021
The law is a set of rules of social coexistence, so it is natural to ask ourselves whether legal rules can be “translated” into a programming language that provides the algorithmic solution to a legal problem. “If” the answer is positive, “then” what are
Silvia Uscov
doaj   +1 more source

A Bibliometric Analysis of Publications in Uremic Toxins From 1991 to 2024

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Uremic toxins are a growing area of research in nephrology, with significant implications in the progression and treatment of chronic kidney disease (CKD) and the management of end‐stage kidney disease (ESKD). This bibliometric analysis aims to evaluate the global research trends, key contributors, and the impact of publications in ...
Yuh‐Shan Ho, Karim M. Soliman, Wisit Cheungpasitporn, Wannasit Wathanavasin, Ahmed Daoud, Ahmed I. Kamal, Balázs Szamosfalvi, Tibor Fülöp   +7 more
wiley   +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

Imperative Program Synthesis from Answer Set Programs [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Our research concerns generating imperative programs from Answer Set Programming Specifications. ASP is highly declarative and is ideal for writing specifications.
Sarat Chandra Varanasi
doaj   +1 more source