Results 101 to 110 of about 85,601 (238)
Synthesizing Short-Circuiting Validation of Data Structure Invariants
, 2015 This paper presents incremental verification-validation, a novel approach for checking rich data structure invariants expressed as separation logic assertions. Incremental verification-validation combines static verification of separation properties with
Chang, Bor-Yuh Evan +3 more
core +1 more source
Intramuscular pathways of maladaptation in overtraining syndrome
The Journal of Physiology, EarlyView.Abstract figure legend The transition from adaptive overreaching to maladaptive overtraining and mechanisms through which excessive training load can lead to performance decline. Four interconnected pathophysiological domains are highlighted: neural fatigue, involving both central and peripheral components such as altered sensory feedback and reflex ...
Emily Shorter +4 more
wiley +1 more source
The great escape: viral strategies to counter BST-2/tetherin.
PLoS Pathogens, 2010 The interferon-induced BST-2 protein has the unique ability to restrict the egress of HIV-1, Kaposi's sarcoma-associated herpesvirus (KSHV), Ebola virus, and other enveloped viruses.
Janet L Douglas +5 more
doaj +1 more source
‘BJUI Clinical Dilemma’: Recurrent high‐grade non‐muscle‐invasive bladder cancer in 2026
BJU International, EarlyView.
Vignesh T. Packiam +10 more
wiley +1 more source
Diagnosing Systemic Mastocytosis: State of the Art
International Journal of Laboratory Hematology, Volume 48, Issue 3, Page 551-560, June 2026.ABSTRACT With the advent of effective multikinase and selective tyrosine kinase inhibitors in systemic mastocytosis, diagnosing this rare disease has been critical to improving patient morbidity and mortality. This state‐of‐the‐art review interprets the international diagnostic criteria, including differences between the WHO 5th edition classification ...
Anton Rets, Tracy I. George
wiley +1 more source
PLoS Pathogens, 2018 The interferon inducible protein, BST-2 (or, tetherin), plays an important role in the innate antiviral defense system by inhibiting the release of many enveloped viruses.
Shuzo Urata +7 more
doaj +1 more source
Very Long‐Term Stability of Tryptase in Frozen Serum Samples
Clinical &Experimental Allergy, Volume 55, Issue 3, Page 276-277, March 2025.
Florent Broussal +7 more
wiley +1 more source
Understanding the Phenotypic Heterogeneity Within the Sporadic Creutzfeldt–Jakob Disease MV1 Subtype
Neuropathology and Applied Neurobiology, Volume 52, Issue 3, June 2026.We present the clinical, pathological and prion biophysical features of three atypical cases of the MV1 subtype of sporadic Creutzfeldt–Jakob disease (sCJD). We propose that these heterozygous cases exist on a spectrum ranging from MM1‐like to VV1‐like phenotypes and recommend that subtyping be performed at pH 6.9 to avoid missing atypical or mixed ...
Satish K. Nemani +6 more
wiley +1 more source
Advanced Functional Materials, Volume 36, Issue 36, 4 May 2026.Synergistic interfacial strategy between inorganic ceramic fillers and polymer chains effectively inhibit particle aggregation and interfacial incompatibility. complex covalent and non‐covalent interfacial interactions promote superior uniformity, ultra‐high ceramic filler loading, and strong grain‐to‐grain connectivity, thereby enabling the ...
HakSu Jang +20 more
wiley +1 more source
Comparative human and porcine skin permeation profiles of novel metformin lotion formulations
Scientific ReportsMetformin (Met), a highly hydrophilic drug, exhibits anti-inflammatory and regenerative effects beyond its antidiabetic role. However, its extreme polarity limits passive diffusion through the stratum corneum, necessitating optimized formulations for ...
Celina Zhao +4 more
doaj +1 more source