Results 21 to 30 of about 1,215,262 (268)

The Consistency of Arithmetic

The Australasian Journal of Logic, 2021
This paper offers an elementary proof that formal arithmetic is consistent. The system that will be proved consistent is a first-order theory R♯, based as usual on the Peano postulates and the recursion equations for + and ×. However, the reasoning will apply to any axiomatizable extension of R♯ got by adding classical arithmetical truths ...
openaire   +3 more sources

Mass balance, metabolism, and pharmacokinetics of [14C]amdizalisib, a clinical-stage novel oral selective PI3Kδ inhibitor for the treatment of non-hodgkin’s lymphoma, in healthy Chinese volunteers

Frontiers in Pharmacology
IntroductionAmdizalisib (HMPL-689) is an ATP-competitive PI3Kδ inhibitor currently under investigation for treating Hodgkin’s lymphoma. This study aimed to evaluate the metabolism, excretion, pharmacokinetics, and safety profile of amdizalisib in healthy
Chun-Yang Zhao, Chun-Yang Zhao, Li-Jun Zhang, Li-Jun Zhang, Chan Sun, Chan Sun, Cheng-Yin Yu, Cheng-Yin Yu, Cheng-Yin Yu, Jian Wang, Yang Sai, Wei-Guo Su, Qian Chen, Qian Chen, Wei Wang, Wei Wang, Jing-Ying Jia, Jing-Ying Jia, Gang-Yi Liu, Gang-Yi Liu, Yan-Mei Liu, Yan-Mei Liu   +21 more
doaj   +1 more source

Consistency

International Journal of Creative and Arts Studies, 2017
This choreography is started from Practice based Research. The research is about Dajang Rindoe’s manuscript which is deconstructed. In the process of cultivation of this work, the foundation of creation used text deconstruction, creativity, and choreography.
openaire   +2 more sources

Consistency as a Service: Auditing Cloud Consistency [PDF]

IEEE Transactions on Network and Service Management, 2014
Cloud storage services have become commercially popular due to their overwhelming advantages. To provide ubiquitous always-on access, a cloud service provider (CSP) maintains multiple replicas for each piece of data on geographically distributed servers.
Qin Liu 0001, Guojun Wang 0001, Jie Wu 0001   +2 more
openaire   +2 more sources

Mass balance, excretion, and pharmacokinetics of a single oral dose of [14C]pixavir marboxil in healthy Chinese male participants

Frontiers in Pharmacology
Background and ObjectiveCap-dependent endonuclease (CEN) inhibitors are a promising novel class of antiviral agents for influenza treatment. This phase I study aimed to evaluate the mass balance, excretion pathways, and pharmacokinetics of pixavir ...
Chunyang Zhao, Chunyang Zhao, Ying Yang, Gangyi Liu, Gangyi Liu, Lin Qian, Lin Qian, Yun Liu, Yun Liu, Cheng-Yuan Tsai, Li-Wen Chang, Qian Chen, Qian Chen, Hongjie Qian, Hongjie Qian, Jingying Jia, Jingying Jia, Yanmei Liu, Yanmei Liu   +18 more
doaj   +1 more source

Arc-consistency and arc-consistency again [PDF]

Artificial Intelligence, 1994
There is no need to show the importance of arc-consistency in Constraint Networks. Mohr and Henderson [9] have proposed AC-4, an algorithm with optimal worst-case time complexity. But it has two drawbacks: its space complexity and average time complexity.
openaire   +2 more sources

Consistency Models

CoRR, 2023
ICML ...
Yang Song, Prafulla Dhariwal, Mark Chen 0003, Ilya Sutskever   +3 more
openaire   +3 more sources

A phase I study to evaluate the safety, tolerability, and pharmacokinetics of HEC113995PA·H2O, a novel dual-acting serotonergic antidepressant, in healthy subjects

Frontiers in Pharmacology
PurposeHEC113995PA·H2O is a novel, potent and selective serotonin (5-HT) reuptake inhibitor and a 5-HT1A receptor partial agonist, and thus is categorized as a serotonin partial agonist-reuptake inhibitor.
Xue Wu, Xue Wu, Xue Wu, Qingqing Wu, Qingqing Wu, Qingqing Wu, Qichen Ding, Qichen Ding, Qichen Ding, Yulei Zhuang, Lin Luo, Yingjun Zhang, Li Deng, Chuanfei Jin, Xue Li, Zhangma Huang, Haiping Qin, Liang Xin, Liang Xin, Liang Xin, Qian Chen, Qian Chen, Qian Chen, Jingying Jia, Jingying Jia, Jingying Jia, Yanmei Liu, Yanmei Liu, Yanmei Liu   +28 more
doaj   +1 more source

Consistency and Fairness of Property Valuation for Compensation for Land and Improvements in Zimbabwe

Real Estate Management and Valuation, 2021
Property valuation for compensation of expropriated properties in Zimbabwe has been characterised by inconsistencies for decades. Previous studies have noted that displaced people are dissatisfied with the compensation paid by the expropriating authority.
Paradza Partson, Yacim Joseph Awoamim, Zulch Benita   +2 more
doaj   +1 more source

Evidence‐Informed Multidisciplinary Consensus Guidance for the Psychosocial Care of Adolescents With High‐Risk Cancer: Recommendations From the Italian Association of Pediatric Hematology and Oncology

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Adolescents with high‐risk cancer face complex developmental, psychosocial, and ethical challenges that extend beyond disease‐directed treatment. Although international recommendations exist for communication, psychosocial care, pediatric palliative care, survivorship, and shared decision‐making, these have largely evolved within ...
Johanna M. C. Blom, Dorella Scarponi, Giulia Zucchetti, Teresa Perillo, Maria Montanaro, Elisa Marconi, Chiara Rutigliano, Paolo Colavero, Paola Quarello, Marina Bertolotti, Monica Cellini, Carlo Clerici, Maurizio Mascarin, Francesca Bomben, Andrea Ferrari, the expert workgroup   +15 more
wiley   +1 more source