Results 171 to 180 of about 3,157,454 (357)

Treating lupus nephritis patients to lupus low disease activity reduces renal relapse and preserves long‐term kidney function

Arthritis Care &Research, Accepted Article.
Objective Lupus low disease activity state (LLDAS) is a validated treatment target in systemic lupus erythematosus (SLE) but limited studies have explored the role of LLDAS in lupus nephritis (LN). This study aims to investigate the frequency and predictors of LLDAS attainment, and its benefit on LN relapse and renal function preservation in patients ...
Chak Kwan Cheung, Desmond YH Yap, KL Lee, Philip H Li, Iris YK Tang, Chak Sing Lau, Shirley CW Chan   +6 more
wiley   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Formal verification: will the seedling ever flower? [PDF]

Philos Trans A Math Phys Eng Sci, 2017
White N, Matthews S, Chapman R.
europepmc   +1 more source

Data‐driven forecasting of ship motions in waves using machine learning and dynamic mode decomposition

International Journal of Adaptive Control and Signal Processing, EarlyView.
Summary Data‐driven forecasting of ship motions in waves is investigated through feedforward and recurrent neural networks as well as dynamic mode decomposition. The goal is to predict future ship motion variables based on past data collected on the field, using equation‐free approaches.
Matteo Diez, Mauro Gaggero, Andrea Serani   +2 more
wiley   +1 more source

Formal Specification, Verification and Simulation of Time-Dependent Systems: a Timed Process Algebra Approach

, 1998
Murilo S. de Camargo, Ricardo Martins, Roberto Milton Scheffel   +2 more
openalex   +1 more source

Retrotransposon Expression Is Upregulated in Adulthood and Suppressed during Regeneration of the Limb in the Axolotl (Ambystoma mexicanum)

Advanced Biology, EarlyView.
The axolotl's remarkable regenerative abilities decline with age, the causes may include the numerous repetitive elements within its genome. This study uncovers how Ty3 retrotransposons and coexpression networks involving muscle and immune pathways respond to aging and regeneration, suggesting that transposons respond to physiological shifts and may ...
Samuel Ruiz‐Pérez, Nicolás Alcaraz, Karla Torres‐Arciga, José Antonio Ocampo‐Cervantes, Alejandra Cervera, Clementina Castro‐Hernández, Cynthia Gabriela Sámano‐Salazar, Ernesto Soto‐Reyes, Rodrigo González‐Barrios   +8 more
wiley   +1 more source

Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques. [PDF]

Front Mol Biosci
Azhar HMF, Saeed MT, Jabeen I.
europepmc   +1 more source

BONSAI: A pragmatic approach to Logic Synthesis and Formal Verification

, 1995
Hoang Nga Nguyen, L. Ducousso
openalex   +1 more source

Fecal Microbiota Transplantation Modulates Th17/Treg Balance via JAK/STAT Pathway in ARDS Rats

Advanced Biology, EarlyView.
Fecal microbiota transplantation (FMT) alleviates lung and intestinal injury in lipopolysaccharide (LPS)‐induced acute respiratory distress syndrome (ARDS) in rats. This study demonstrates that FMT restores the balance between Th17 and Treg cells, inhibits the JAK/STAT pathway, and modulates cytokine levels, reducing inflammation and lung damage. These
Dongwei Zhang, Biying Dong, Jie Chen, Zhenqiang Zhang, Weitong Zeng, Longxiong Liao, Xia Xiong, Xuejun Qin, Xianming Fan   +8 more
wiley   +1 more source

A fuzzy description logic based IoT framework: Formal verification and end user programming. [PDF]

PLoS One
Pérez-Gaspar M, Gomez J, Bárcenas E, Garcia F.   +3 more
europepmc   +1 more source