Results 161 to 170 of about 1,133,638 (315)
Hydroxychloroquine Associated with Lower Glomerular Filtration Rate Decline in Lupus Nephritis
Arthritis Care &Research, Accepted Article.Background Hydroxychloroquine (HCQ) protects kidney function in lupus nephritis (LN) by preventing flares, yet some cohort studies show no significant benefit in kidney function with HCQ. Clarifying these conflicting findings by showing early and long‐term benefits of HCQ on kidney function preservation is critical. Therefore, we analyzed data from our
Shivani Garg +9 more
wiley +1 more source
HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps. [PDF]
Sensors (Basel), 2022 Hamza AA +3 more
europepmc +1 more source
Model-checking concurrent systems with unbounded integer variables [PDF]
, 1999 Tevfik Bultan, R. Gerber, William Pugh
openalex +1 more source
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 +2 more
wiley +1 more source
Compositional verification by model checking for counter-examples [PDF]
, 1996 Tevfik Bultan +2 more
openalex +1 more source
β‐Catenin/c‐Myc Axis Modulates Autophagy Response to Different Ammonia Concentrations
Advanced Biology, Volume 9, Issue 3, March 2025.Ammonia, detoxified by the liver into urea and glutamine, impacts autophagy differently at varying levels. Low ammonia activates autophagy via c‐Myc and β‐catenin, while high levels suppress it. Using Huh7 cells and Spf‐ash mice, c‐Myc's role in cytoprotective autophagy is revealed, offering insights into hyperammonemia and potential therapeutic ...
S. Sergio +11 more
wiley +1 more source
Model checking of real-time reachability properties using abstractions
, 1998 Conrado Daws, Stavros Tripakis
openalex +1 more source