Results 91 to 100 of about 260,978 (210)
Interferon lambda protects the female reproductive tract against Zika virus infection
Zika virus infections can cause devastating congenital birth defects but the underlying interactions with the host immune system are not well understood.
Elizabeth A. Caine +7 more
doaj +1 more source
Objectives Sjögren's disease (SjD) is a heterogeneous autoimmune disorder characterized by substantial clinical and molecular diversity. This heterogeneity raises key questions regarding the existence of distinct pathogenic mechanisms underlying disease subtypes.
Geoffrey Urbanski +15 more
wiley +1 more source
Equivalence of call-by-name and call-by-need for lambda-calculi with letrec [PDF]
We develop a proof method to show that in a (deterministic) lambda calculus with letrec and equipped with contextual equivalence the call-by-name and the call-by-need evaluation are equivalent, and also that the unrestricted copy-operation is correct ...
Schmidt-Schauß, Manfred +1 more
core
Bovine Interferon Lambda Is a Potent Antiviral Against SARS-CoV-2 Infection in vitro
Interferon lambda (IFN-λ) is an antiviral naturally produced in response to viral infections, with activity on cells of epithelial origin and located in the mucosal surfaces.
Nancy Patricia Cardoso +8 more
doaj +1 more source
Aims Safe prescribing and effective medication review during acute hospitalization depends on accurate information about liver and kidney function because these organs are responsible for the elimination of most medications. While estimates for kidney function are widely used, comparable markers of hepatic drug‐metabolizing capacity are not routinely ...
Louise Westberg Strejby Christensen +17 more
wiley +1 more source
[Letter from Leadership Lambda Seminar Series to Participants, February 20, 1999]
A one-page letter to Leadership Lambda Seminar Series Participants, 20 February 1999.
Leadership Lambda, Inc.
core +1 more source
Lambda Calculus in Core Aldwych [PDF]
Core Aldwych is a simple model for concurrent computation, involving the concept of agents which communicate through shared variables. Each variable will have exactly one agent that can write to it, and its value can never be changed once written, but a ...
Communicating Process Architectures +1 more
core +2 more sources
Exposure–response (E–R) analyses of sunitinib in metastatic renal cell carcinoma (mRCC) have supported concentration‐guided dose escalation. However, such analyses may be biased when exposure metrics incorporate post‐baseline dose modifications, time‐varying apparent clearance, or baseline factors that influence both pharmacokinetics and clinical ...
Han Liu, Lena E. Friberg
wiley +1 more source
Simulation in the call-by-need lambda-calculus with letrec, case, constructors, and seq [PDF]
This paper shows equivalence of applicative similarity and contextual approximation, and hence also of bisimilarity and contextual equivalence, in LR, the deterministic call-by-need lambda calculus with letrec extended by data constructors, case ...
Sabel, David +2 more
core
Single‐cell RNA‐seq of normal and endometritis endometrium shows reduced epithelial cells and fate divergence toward ferroptosis or ribosome/antigen‐presentation programs. COL1A1+ epithelial cells act as an AP‐1–driven hub that enhances VEGFA–VEGFR signaling and remodels the vascular microenvironment.
Chengzi Tian, Zaiyi Li
wiley +1 more source

