The combination of kidney function variables with cell cycle arrest biomarkers identifies distinct subphenotypes of sepsis-associated acute kidney injury: a post-hoc analysis (the... by Dimitri Titeca-Beauport, Momar Diouf, Delphine Daubin, Ly Van Vong, Guillaume Belliard, Cédric Bruel, Yoann Zerbib, Christophe Vinsonneau, Kada Klouche, Julien Maizel

Subjects: “…The AKI-CHECK study was registered at ClinicalTrials.gov (NCT02812784)…”
Get full text

Grouping based calculus for propositional linear temporal logic by Kostas Ragauskas, Adomas Birštunas

Subjects: “…loop checking…”
Get full text

Performance of multiple amplitudes differential space-time block coding scheme concatenated with channel coding by YU Xiang-bin1, ZHANG Sheng-nan1, BI Guang-guo2

Subjects: Get full text

A center of a polytope: An expository review and a parallel implementation by S. K. Sen, Hongwei Du, D. W. Fausett

Subjects: Get full text

GDPR-oriented intelligent checking method of privacy policies compliance by Xin LI, Peng TANG, Xiheng ZHANG, Weidong QIU, Hong HUI

Subjects: Get full text

Locality-guided based optimization method for bounded model checker by Shun WANG, Ye DU, Zhen HAN, Jiqiang LIU

Subjects: “…model checking…”
Get full text

Reasons to fight: preliminary results on motivations to combat fake news by Wenting Yu, Qing Yan

Subjects: Get full text

Formal specification and security verification of usage control model based on PAT by Cong-hua ZHOU, Wei-he CHEN, Zhi-feng LIU

Subjects: Get full text

Composable information flow verification for service chain based on model checking by Ning XI, Jian-feng MA, Cong SUN, Di LU, Tao ZHANG

Subjects: “…model checking…”
Get full text

Survey on model checking based hardware Trojan detection technology by Qizhi ZHANG, Yiqiang ZHAO, Ya GAO, Haocheng MA

Subjects: Get full text

Sharing fact checking corrections in polarized political environments: A study of context and disambiguation by Natalia Aruguete, Ernesto Calvo

Subjects: Get full text

Automated configuration,simulation and verification platform for event-driven home automation IoT system by Qiuping ZHANG, Xizao WANG, Siyuan SHEN, Shiyu ZHANG, Lei BU, Xuandong LI

Subjects: Get full text

Model checking of trusted cryptographic module by CHEN Xiao-feng, FENG Deng-guo

Subjects: Get full text

Design and analysis of a novel fair payment protocol in mobile environments by LIU Xia1, GU Tian-long1, DONG Rong-sheng1, GUO Yun-chuan1

Subjects: Get full text

Identity-based cloud storage integrity checking from lattices by Miaomiao TIAN, Chuang GAO, Jie CHEN

Subjects: Get full text

LDPC-coded unitary space-time modulation with low-complexity iterative demodulate-decoding scheme by Li-jiao WANG, Lin ZHANG, Ling-ling YANG, Li PENG, Da-wei FU

Subjects: Get full text

Adversarial examples detection method based on boundary values invariants by Fei YAN, Minglun ZHANG, Liqiang ZHANG

Subjects: Get full text

ProcessM: Intelligent Process Mining software by Tomasz P. Pawlak, Jędrzej Potoniec

Subjects: Get full text

DEVELOPMENT AND APPLICATION OF MINING MACHINERY PLANETARY REDUCTION GEARS STRENGTH CHECK SOFTWARE by LIU XuNan, LI ChuiYang, ZHAO LiJuan, WANG AnRan

Subjects: Get full text

Modeling and verifying based on timed automata of Internet of things gateway security system by Guoqing WANG, Lei ZHUANG, Ruimin WANG, Yu SONG, Kunli ZHANG

Subjects: Get full text