Comparison of the inflammatory biomarkers IL- 6, TNF-α, and CRP to predict the effect of nutritional therapy on mortality in medical patients at risk of malnutrition by Carla Wunderle, Elisabeth Martin, Alma Wittig, Pascal Tribolet, Thomas A. Lutz, Christina Köster-Hegmann, Zeno Stanga, Beat Mueller, Philipp Schuetz

Get full text

Engineered nanofiber scaffolds prime chromatin reorganization to sensitize cells for long-term and low-dose chemical hazard detection by Yupeng Zhang, Hang Zhao, Li Jiang, Qi Zhang, Tingbao Cao, Zesheng Wang, Yang Song, Kunpeng Qu

Get full text

Intravenous immunoglobulin for mortality and inflammatory status in patients with sepsis: a retrospective database study by Hayabusa Takano, Hayabusa Takano, Naoki Kanda, Naoki Kanda, Yuji Wakimoto, Hiroyuki Ohbe, Kensuke Nakamura, Kensuke Nakamura

Get full text

Architecture of the Formally-Verified Distributed Ledger System InnoChain by Leonid Al'bertovich Merkin-Janson, Ruslan Maratovich Rezin, Nikolay Konstantinovich Vasilyev

“…The architecture of InnoChain includes (1) a programming language for smart contracts which is a domain-specific language with formal semantics embedded into CakeML, which is a functional language ofthe ML family; this allows us to carry out formal verification of smart contracts' correctness properties using higher-order logic systems, such as HOL4; (2) trusted compilation of smart contracts into the machine code using the verified compiler available for CakeML, rather than relying on a virtual machine for execution of smart contracts; (3) using CakeML for implementation of InnoChain node functionality which allows for formal verification of code correctness and trusted compilation into the machine code; (4) formal verification of the consensus protocol used InnoChain, namely HotStuff BFT; (5) using seL4, a formally-verified microkernel, as the underlying OS for InnoChain instead of more traditional general-purpose OSes such as Linux. …”
Get full text

A new perspective for revealing ‘hidden’ interactions in ecological networks by Joel Habedank, Sabine Horn, Peter Lemke, Vera Sidorenko, Karen H. Wiltshire

“…Unobserved species interactions alter the interpretation of structural and functional characteristics of the ecosystem being studied. …”
Get full text

The Subjective Probability of Conditionals and Its Formalizations by Anna Wójtowicz, Krzysztof Wójtowicz

“…After presenting the general methodological framework, we analyze two possible approaches. …”
Get full text

Study on brittleness characteristics of deep shale: A case study of Lu211 well in the Luzhou block. by Bo Zeng, Guozhou Qiu, Liqing Chen, Yintong Guo, Shouyi Wang, Junchuan Gui

“…The overarching goal was to delineate the variations in deep shale brittleness as a function of depth. The findings indicate a general trend of decreasing shale brittleness with increasing depth. …”
Get full text

On controllability, parametrization, and output tracking of a linearized bioreactor model by J. Tervo, M. T. Nihtilä, P. Kokkonen

“…An idea to use frequency-domain methods and certain pseudodifferential operators for parametrization of control systems of more general systems is pointed out.…”
Get full text

The A3C Algorithm With Eligibility Traces of Energy Management for Plug-In Hybrid Electric Vehicles by Dingyi Guo, Guangyin Lei, Huichao Zhao, Fang Yang, Qiang Zhang

Get full text

Distributed Integrated Sliding Mode-Based Nonlinear Vehicle Platoon Control with Quadratic Spacing Policy by Lei Zuo, Ye Zhang, Maode Yan, Wenrui Ma

“…The quadratic spacing policy (QSP) is applied into the platoon control, in which the desired intervehicle distance is a quadratic function in terms of the vehicle’s velocities. Comparing with the general constant time headway policy (CTHP), the QSP is more suitable to the human driving behaviors (HDB) and can improve the traffic capacity. …”
Get full text

Mitigating Doxorubicin‐Induced Cardiotoxicity and Enhancing Anti‐Tumor Efficacy with a Metformin‐Integrated Self‐Assembled Nanomedicine by Jiaxin Huang, Jieru Yang, Yuanying Yang, Xiaofeng Lu, Juan Xu, Shan Lu, Hong Pan, Wenhu Zhou, Wenqun Li, Songwen Chen

Get full text

Research Progress on the Correlation Between Microecological Flora and Endometriosis by LI Maoping, CHANG Heng

Get full text

Thyroglobulin-to-tumor volume ratio combined with ultrasound features for diagnosing thyroid follicular neoplasms by Xixi Zhu, Xixi Zhu, Fen Liu, Jiaye Liu, Jiaye Liu, Zhihui Li, Yu Ma

Get full text

Whole-Transcriptome Analysis Reveals the Regulatory Network of Immune Response in Dapulian Pig by Tao Wang, Zhe Tian, Mubin Yu, Shuer Zhang, Min Zhang, Xiangwei Zhai, Wei Shen, Junjie Wang

“…There is a consensus that indigenous pigs in China are more resistant than modern commercial pigs in terms of disease resistance. …”
Get full text

Separation Transformation and a Class of Exact Solutions to the Higher-Dimensional Klein-Gordon-Zakharov Equation by Jing Chen, Ling Liu, Li Liu

“…It is shown that, for the case of n≥2, there is an arbitrary function in every exact solution, which may reveal more nontrivial nonlinear structures in the high-dimensional Klein-Gordon-Zakharov equation.…”
Get full text

Association between sarcopenia and the prevalence of gallstone in US adults: a cross-sectional analysis of NHANES by Bo Wang, Qianxi Huang, Yongqiang Xiong, Na Huang, Jun Li, Shu Zhang

Get full text

CSRP1 Promotes Colon Adenocarcinoma Growth and Serves as an Independent Risk Biomarker for Worse Prognosis by Senlong Yu, Haifeng Zhao, Hongjie Meng, Shengguang Shi, Shenghui Cao, Tianhua Bian, Canping Ruan

Get full text

Quantum Theory, Noncommutative Gravity, and the Cosmological Constant Problem by T. P. Singh

“…Such a reformulation is a limiting case of a more general quantum theory which becomes nonlinear on the Planck mass/energy scale. …”
Get full text

EFISIENSI TEKNIS USAHATANI JAGUNG DI DESA SUKA PINDAH by Satria Putra Utama

“…The stochastic  frontier production  function estimation using MLE showed that seed and labour had positive significant  influence  on the value of the output. …”
Get full text

Weak convexity of Fisher information matrix and superresolved localization of blinking sources of light by Dmitri B. Horoshko, Alexander B. Mikhalychev, Fedor Jelezko, Polina P. Kuzhir

“…The key feature of these techniques is blinking, alternation of bright and dark states, of each emitter so that no more than one emitter is bright within the width of the point-spread function of the microscope during a time sufficient for its localization. …”
Get full text