Results 101 to 110 of about 15,073,133 (303)
The Dafny Integrated Development Environment
, 2014 In recent years, program verifiers and interactive theorem provers have become more powerful and more suitable for verifying large programs or proofs.
Leino, K. Rustan M., Wüstholz, Valentin
core +2 more sources
FEBS Letters, EarlyView.Plasma membranes contain dynamic nanoscale domains that organize lipids and receptors. Because viruses operate at similar scales, this architecture shapes early infection steps, including attachment, receptor engagement, and entry. Using influenza A virus and HIV‐1 as examples, we highlight how receptor nanoclusters, multivalent glycan interactions ...
Jan Schlegel, Christian Sieben
wiley +1 more source
Molecular Oncology, EarlyView.Combining PTEN protein assessment and transcriptomic profiling of prostate tumors, we uncovered a network enriched in senescence and extracellular matrix (ECM) programs associated with PTEN loss and conserved in a mouse model. We show that PTEN‐deficient cells trigger paracrine remodeling of the surrounding stroma and this information could help ...
Ivana Rondon‐Lorefice +16 more
wiley +1 more source
Indian Journal of Radiology and Imaging, 2008 AbstractThe intrauterine environment has a strong influence on pregnancy outcome. The placenta and the umbilical cord together form the main supply line of the fetus. Amniotic fluid also serves important functions. These three main components decide whether there will be an uneventful pregnancy and the successful birth of a healthy baby.
openaire +3 more sources
Potential therapeutic targeting of BKCa channels in glioblastoma treatment
Molecular Oncology, EarlyView.This review summarizes current insights into the role of BKCa and mitoBKCa channels in glioblastoma biology, their potential classification as oncochannels, and the emerging pharmacological strategies targeting these channels, emphasizing the translational challenges in developing BKCa‐directed therapies for glioblastoma treatment.
Kamila Maliszewska‐Olejniczak +4 more
wiley +1 more source
, 2007 This article studies the decoherence induced on a system of two qubits by local interactions with a spin chain with nontrivial internal dynamics (governed by an XY Hamiltonian).
Cecilia Cormick +4 more
core +1 more source
Cell surface interactome analysis identifies TSPAN4 as a negative regulator of PD‐L1 in melanoma
Molecular Oncology, EarlyView.Using cell surface proximity biotinylation, we identified tetraspanin TSPAN4 within the PD‐L1 interactome of melanoma cells. TSPAN4 negatively regulates PD‐L1 expression and lateral mobility by limiting its interaction with CMTM6 and promoting PD‐L1 degradation.
Guus A. Franken +7 more
wiley +1 more source
HEAVY METAL ANALYSIS IN WASTE WATER SAMPLES FROM VALEA ŞESEI TAILING POND [PDF]
Aerul şi Apa: Componente ale Mediului, 2011 Heavy metal analysis in waste water samples from Valea Şesei tailing pond. The mining of ore deposits and the processing and smelting of copper at Roşia Poieni have resulted in an increase of the toxic elements concentration within all components of the ...
I. L. MELENTI, E. MAGYAR, T. RUSU
doaj