Results 121 to 130 of about 173,804,276 (284)

An outer membrane vesicle‐associated two‐track model for enterotoxigenic Bacteroides fragilis oncogenesis

open access: yesMolecular Oncology, EarlyView.
Enterotoxigenic Bacteroides fragilis is a gut bacterium linked to bowel cancer. We propose that its toxin acts along two routes: at the cell surface, cutting the adhesion protein E‐cadherin and triggering inflammation; and inside the cell, delivered by bacterial vesicles, switching on NOD1 and cancer stem cell programs.
Kangchan Choi   +2 more
wiley   +1 more source

Automated FRAP microscopy for high‐throughput analysis of protein dynamics in chromatin organization and transcription

open access: yesFEBS Open Bio, EarlyView.
RoboMic is an automated confocal microscopy pipeline for high‐throughput functional imaging in living cells. Demonstrated with fluorescence recovery after photobleaching (FRAP), it integrates AI‐driven nuclear segmentation, ROI selection, bleaching, and analysis.
Selçuk Yavuz   +6 more
wiley   +1 more source

Personal technology and the calculus [PDF]

open access: yes, 1998
The calculus has long been seen as the pinnacle of mathematical endeavour in secondary schools, and rightly so. For as long as most of can remember, algebra and calculus have formed the trunk of mathematics, without which students can progress no further.
Kissane, B.
core  

QPC2: A constructive calculus with parameterized specifications

open access: yesJournal of Symbolic Computation, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Optimizing photoactivation of PA‐mCherry for optical pooled CRISPR screens

open access: yesFEBS Open Bio, EarlyView.
Photoactivatable PA‐mCherry finds widespread use to optically tag individual cells. However, confocal 405 nm UV laser‐scanning (normal scan) is much less efficient than widefield UV illumination, limiting the use of PA‐mCherry on confocal instruments. We remedy this limitation by reporting that rapid and repeated confocal scanning with a low‐intensity,
Sravasti Mukherjee   +3 more
wiley   +1 more source

Hyperactive ice‐binding proteins stabilize cell membranes and improve resistance to dehydration stress in Caenorhabditis elegans

open access: yesFEBS Open Bio, EarlyView.
TisIBP8, a fungal‐derived hyperactive ice‐binding protein, helps Caenorhabditis elegans survive dehydration. It localizes near cell membranes, reduces cell damage, and helps maintain membrane structure during drying. These results suggest that ice‐binding proteins can protect cells from dehydration stress as well as freezing stress.
Daiki Shimose   +9 more
wiley   +1 more source

Variants of the Basic Calculus of Constructions

open access: yes, 2008
In this paper, a number of different versions of the basic calculus of constructions that have appeared in the literature are compared and the exact relationships between them are determined. The biggest differences between versions are those between the
M. W. Bunder, Jonathan P. Seldin
core  

Molecular characterization of covRS mutations in M1UK Streptococcus pyogenes

open access: yesFEBS Open Bio, EarlyView.
Group A Streptococcus (GAS) acquires covRS mutations driving a hypervirulent bacterial state, frequently associated with invasive disease‐like necrotizing fasciitis. We demonstrate that the newly emerged M1UK GAS lineage can also acquire these mutations.
Jarrad Pritchard   +12 more
wiley   +1 more source

Evaluating the involvement of autolysosomes in the nuclear translocation of fluorescent proteins

open access: yesFEBS Open Bio, EarlyView.
Endogenously expressed fluorescent proteins can be degraded by autophagy and transported to cell nuclei via the nuclear pore complex. But in some cell lines, for example, HeLa cells which are positive for immunoreactivity of a receptor ligand, such as UCN I, in cell nuclei, fusion of autolysosome with the nuclear envelope is involved in the nuclear ...
Keiichi Ikeda
wiley   +1 more source

Verified Representations of Landau\u27s "Grundlagen" in the lambda-delta Family and in the Calculus of Constructions

open access: yes, 2016
Landau's "Grundlagen der Analysis" formalized in the language Aut-QE, represents an early milestone in computer-checked mathematics and is the only non-trivial development finalized in the languages of the Automath family.
Guidi, Ferruccio
core   +1 more source

Home - About - Disclaimer - Privacy