Results 111 to 120 of about 1,410,709 (264)

Shape Analysis of Sets.

open access: yes, 2006
Shape Analysis is concerned with determining "shape invariants", i.e. structural properties of the heap, for programs that manipulate pointers and heap-allocated storage. Recently, very precise shape analysis algorithms have been developed that are able to prove the partial correctness of heap-manipulating programs. We explore the use of shape analysis
openaire   +3 more sources

Hyperosmotic stress induces PARP1‐mediated HPF1‐dependent mono(ADP‐ribosyl)ation

open access: yesFEBS Letters, EarlyView.
Sorbitol‐induced hyperosmotic stress rapidly induces reversible mono(ADP‐ribosyl)ation (MARylation) on PARP1 without the signs of genotoxic signaling. We show that PARP1 autoMARylation is HPF1 dependent and forms hydroxylamine‐resistant O‐glycosidic linkages.
Anna Georgina Kopasz   +11 more
wiley   +1 more source

Unraveling Wing Shape Variation in Malaria Mosquitoes from the Arctic Edge: A Geometric Morphometric Study in Western Siberia

open access: yesAnimals
In Russia, Western Siberia, Anopheles from maculipennis subgroup comprises three vector species: An. messeae, An. daciae, An. beklemishevi, and the hybrid between An. messeae and An.
Ximena Calderon   +8 more
doaj   +1 more source

An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane

open access: yesFEBS Letters, EarlyView.
Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa   +3 more
wiley   +1 more source

The ubiquitin ligase RNF115 is required for the clearance of damaged lysosomes

open access: yesFEBS Letters, EarlyView.
Upon lysosomal rupture, an E3 ubiquitin ligase RNF115 translocates from the cytosol to the damaged lysosomal membrane. Moreover, RNF115 depletion impairs the clearance of damaged lysosomes, identifying it as a key regulator of lysosomal quality control.
Sae Nakanaga   +3 more
wiley   +1 more source

Making the invisible visible: integrated visualization and automated quantification of thrombus deformation during mechanical thrombectomy

open access: yesFrontiers in Medical Technology
BackgroundMechanical thrombectomy using stent retrievers is a proven treatment for large vessel occlusion stroke, but quantitative and objective evaluation of device-thrombus interaction remains limited.ObjectiveThis study introduces a novel algorithm ...
Marielle Ernst   +4 more
doaj   +1 more source

Organizing the interface—Plasma membrane architecture and receptor dynamics in virus‐cell interactions

open access: yesFEBS 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

Morphological Variation and Integration of the Ethmoidal and Prechiasmatic Regions in Sheep

open access: yesAnimals
This study investigated breed- and sex-related variation in two adjacent regions of the sheep cranial base on the endocranial surface, namely the ethmoidal region (fossa ethmoidalis–crista galli complex) and the prechiasmatic region centered on the ...
Eylem Bektaş Bilgiç   +6 more
doaj   +1 more source

Shape analysis

open access: yes, 2012
published_or_final_version ; Statistics ; Master ; Master of ...
openaire   +2 more sources

Epigenetic blind spots – the role of DNA methylation dynamics in stem cell‐based models of embryogenesis

open access: yesFEBS Letters, EarlyView.
Embryo‐like structures (stembryos) are an innovative tool, but they are hindered by experimental variability and limited developmental potential. DNA methylation is crucial for mammalian development, but its status in stembryo models is poorly characterized.
Sara Canil   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy