Results 31 to 40 of about 432,855 (169)

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 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   +1 more source

Safety, tolerability, pharmacokinetics, and pharmacodynamics of LW402, a preferential Janus kinase 1 inhibitor in healthy volunteers: a randomized, double-blinded, placebo-controlled phase 1 trial

Frontiers in Pharmacology
IntroductionThis clinical trial aimed to assess the safety, pharmacokinetics (PK), and pharmacodynamics (PD) of LW402, a preferential JAK1 inhibitor, in healthy participants, so as to provide support for its further development in treating autoimmune ...
Yuzhou Gui, Yuzhou Gui, Fan Jiang, Fan Jiang, Liang Xin, Liang Xin, Zhe Wang, Huijuan Zhu, Huijuan Zhu, Yanmei Liu, Yanmei Liu, Qian Chen, Qian Chen, Jingying Jia, Jingying Jia, Yun Liu, Yun Liu   +16 more
doaj   +1 more source

Component-based Systems Reconfigurations Using Graph Grammars

Моделирование и анализ информационных систем, 2016
Dynamic reconfigurations can modify the architecture of component-based systems without incurring any system downtime. In this context, the main contribution of the present article is the establishment of correctness results proving component-based ...
O. Kouchnarenko, J.-F. Weber
doaj   +1 more source

From ODP Viewpoint Consistency to Integrated Formal Methods [PDF]

, 2013
Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided ...
Derrick, John, Boiten, Eerke Albert
core   +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 of ultrasonography and magnetic resonance imaging in measuring prostate size and volume [PDF]

Yixue xinzhi zazhi
Objective To evaluate the consistency of ultrasonography and magnetic resonance imaging (MRI) in measuring of prostate size and volume. Methods The data of this study was from the research data of the bladder cancer and benign prostatic hyperplasia study
MAO Xiaoli, ZI Hao, ZHANG Jie, LIU Shuangtai, HUANG Qiao, LI Binghui, ZENG Xiantao   +6 more
doaj   +1 more source

Consistency of Students' Ideas across Evaporation, Condensation, and Boiling

, 2013
Existing research on students' conceptions contain competing philosophical positions concerning the nature of students' ideas-whether those ideas are coherent, systematic and theory-like, or fragmented and incoherent.
Beeth, Michael Edward, Kirbulut, Zubeyde Demet   +1 more
core   +1 more source

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

Prior-based Bayesian information criterion

Statistical Theory and Related Fields, 2019
We present a new approach to model selection and Bayes factor determination, based on Laplace expansions (as in BIC), which we call Prior-based Bayes Information Criterion (PBIC).
M. J. Bayarri, James O. Berger, Woncheol Jang, Surajit Ray, Luis R. Pericchi, Ingmar Visser   +5 more
doaj   +1 more source