Search Results - One Fast Move OR I'm Gone~

The effects of early time restricted eating plus daily caloric restriction compared to daily caloric restriction alone on continuous glucose levels by Adnin Zaman, Laura Grau, Rebecca Jeffers, Sheila Steinke, Victoria A. Catenacci, Marc‐Andre Cornier, Corey A. Rynders, Elizabeth A. Thomas

Connect to this object online.

Host-parasite transcriptomics during immunostimulant-enhanced rejection of salmon lice (Lepeophtheirus salmonis) by Atlantic salmon (Salmo salar) by Ben J.G. Sutherland, Jennifer M. Covello, Sarah E. Friend, Jordan D. Poley, Kim W. Koczka, Sara L. Purcell, Tara L. MacLeod, Bridget R. Donovan, Jorge Pino, Jose Luis González-Vecino, Javier Gonzalez, Jose Troncoso, Ben F. Koop, Simon L. Wadsworth, Mark D. Fast

Connect to this object online.

Smart Sensor Technologies for IoT

DOAB: download the publication
DOAB: description of the publication

Pharmacokinetics and bioavailability of single dose ibuprofen and pseudoephedrine alone or in combination: a randomized three-period, cross-over trial in healthy Indian volunteers by Prashant eKale

Connect to this object online.

Accuracy of obesity indices alone or in combination for prediction of diabetes: A novel risk score by linear combination of general and abdominal measures of obesity by Karimollah Hajian-Tilaki, Behzad Heidari

Connect to this object online.

Impact of Diabetes Mellitus on the Immunity of Tuberculosis Patients: A Retrospective, Cross-Sectional Study by Wei R, Li P, Xue Y, Liu Y, Gong W, Zhao W

Connect to this object online.

Serum Procalcitonin and Proinflammatory markers in Polycystic Ovary Syndrome by Funda Göde, Fulya Yücesoy, Aylin Sağlam, Süleyman Akarsu, Asım Örem, Khayal Sharafkhanov

Connect to this object online.

Novel Approaches for Nondestructive Testing and Evaluation

DOAB: download the publication
DOAB: description of the publication

The interplay of climate, intervention and imported cases as determinants of the 2014 dengue outbreak in Guangzhou. by Qu Cheng, Qinlong Jing, Robert C Spear, John M Marshall, Zhicong Yang, Peng Gong

Connect to this object online.

Advanced Structural Concrete Materials in Bridges

DOAB: download the publication
DOAB: description of the publication

Overall Structural Alteration of Gut Microbiota and Relationships with Risk Factors in Patients with Metabolic Syndrome Treated with Inulin Alone and with Other Agents: An Open-Lab... by Ruiping Tian, Jiahui Hong, Jingjie Zhao, Dengyuan Zhou, Yangchen Liu, Zhenshan Jiao, Jian Song, Yu Zhang, Lingzhang Meng, Ming Yu

Connect to this object online.

Advances in Food Analysis by Gentili, Alessandra

Subjects: “…rosé wines…”
DOAB: download the publication
DOAB: description of the publication

Prevalence of prediabetes and risk of CVD mortality in individuals with prediabetes alone or plus hypertension in Northeast China: insight from a population based cohort study by Ling Yue, Yuanmeng Tian, Mingxi Ma, Li Jing, Qun Sun, Lei Shi, Jixu Sun, Weizhong Wang, Guangxiao Li, Liying Xing, Shuang Liu

Connect to this object online.

Effects of oral supplementation with FOS and GOS prebiotics in women with adult acne: the “S.O. Sweet” study: a proof-of-concept pilot trial by Dall'Oglio F, Milani M, Micali G

Connect to this object online.

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

A Themed Issue Dedicated to Professor John B. Goodenough on the Occasion of His 100th Birthday Anniversary

DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Link to Metadata

Advances in Condition Monitoring, Optimization and Control for Complex Industrial Processes

DOAB: download the publication
DOAB: description of the publication

Components and Pharmacodynamical Mechanism of Yinfupian Based on Liquid Chromatography-Mass Spectrometry and Proteomics Analyses by Heng-li Tong, Hao Chen, Fei-peng Gong, Ling-yun Zhong, Jing Zhu, Song-hong Yang

Connect to this object online.

LTBI-negative close contacts of tuberculosis are more likely to develop the disease: enlightenment and lessons from a cluster outbreak by Jingli Du, Yue Su, Enjun Dong, Juan Qiao, Ruilan Wang, Wenjuan Zhao, Jianqin Liang, Wenping Gong

Connect to this object online.