Results 51 to 60 of about 9,301 (306)

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, Andrea Abel Gutierrez, Imke van Rossum, Cornelia G. Spruijt, Michiel Vermeulen, Guido van Mierlo, Blanca Scheijen, Annemiek B. van Spriel   +7 more
wiley   +1 more source

Towards Uniform Certification in QBF [PDF]

Logical Methods in Computer Science
We pioneer a new technique that allows us to prove a multitude of previously open simulations in QBF proof complexity. In particular, we show that extended QBF Frege p-simulates clausal proof systems such as IR-Calculus, IRM-Calculus, Long-Distance Q ...
Leroy Chew, Friedrich Slivovsky
doaj   +1 more source

Translating HOL to Dedukti [PDF]

Electronic Proceedings in Theoretical Computer Science, 2015
Dedukti is a logical framework based on the lambda-Pi-calculus modulo rewriting, which extends the lambda-Pi-calculus with rewrite rules. In this paper, we show how to translate the proofs of a family of HOL proof assistants to Dedukti.
Ali Assaf, Guillaume Burel
doaj   +1 more source

Diabetes‐induced vascular calcification is associated with low pyrophosphate and its oral supplementation prevents calcification in diabetic mice

FEBS Open Bio, EarlyView.
Induction of diabetes in three different mouse strains uniformly resulted in an increase in TNAP activity and a reduction in pyrophosphate (PPi) in the circulation. Inhibition of TNAP restored plasma PPi. Diabetes‐induced calcification in the media layer of the aorta was detected only in the Abcc6−/− strain, which is predisposed to ectopic ...
Krisztina Fülöp, Eszter Kozák, Natália Tőkési, Lilian Kocsis, Anikó Kelemen, Zsuzsanna Geszti, Adriána Kutás, Mariann Harangi, Ágnes Diószegi, Zsolt Rapi, József Balla, Olivier Le Saux, András Váradi, Viola Pomozi   +13 more
wiley   +1 more source

Classical BI: Its Semantics and Proof Theory [PDF]

Logical Methods in Computer Science, 2010
We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O'Hearn and Pym's logic of bunched implications BI.
James Brotherston, Cristiano Calcagno
doaj   +1 more source

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

FEBS 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, Bart Geverts, Johan A. Slotman, Andrea Sacchetti, Stefan Prekovic, Martin E. van Royen, Adriaan B. Houtsmuller   +6 more
wiley   +1 more source

Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi [PDF]

Logical Methods in Computer Science, 2009
The intuitionistic fragment of the call-by-name version of Curien and Herbelin's \lambda\_mu\_{\~mu}-calculus is isolated and proved strongly normalising by means of an embedding into the simply-typed lambda-calculus.
Jose Espirito Santo, Ralph Matthes, Luis Pinto   +2 more
doaj   +1 more source

Multi‐omics and low‐input proteomics profiling reveals dynamic regulation driving pluripotency initiation in early mouse embryos

FEBS Open Bio, EarlyView.
Mouse pre‐implantation development involves a transition from totipotency to pluripotency. Integrating transcriptomics, epigenetic profiling, low‐input proteomics and functional assays, we show that eight‐cell embryos retain residual totipotency features, whereas cytoskeletal remodeling regulated by the ubiquitin‐proteasome system drives progression ...
Wanqiong Li, Xi Xiao, Lingbin Qi, Chanyi Li, Sirui Song, Jiaying Qin, Zhigang Xue, Jinfeng Xue, Huaifang Li   +8 more
wiley   +1 more source

Brodsky’s coding method for propositional logic

Lietuvos Matematikos Rinkinys, 2017
Brodsky’s coding method for propositional logic is considered in the paper. Based on the sequent calculus, the method allows us to determine whether an arbitrary sequent is derivable in the calculus without constructing proof-search trees.
Romas Alonderis
doaj   +1 more source

Copy Number Variants and Their Association With Intracerebral Hemorrhage Risk: A Case–Control Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Intracerebral Hemorrhage (ICH) is a leading cause of morbidity and mortality worldwide and lacks effective therapeutic interventions. Despite previous studies, the genetic underpinnings of ICH remain poorly understood. We sought to investigate the role of copy number variants (CNVs) in ICH pathophysiology to identify novel ...
Savvina Prapiadou, Carl D. Langefeld, Padmini Sekar, Mary Comeau, Timothy Howard, Tamara N. Kimball, Chen Bowang, Hyacinth I. Hyacinth, Jonathan Rosand, Christopher D. Anderson, Caspar Grond‐Ginsbach, Daniel Woo, Stacie L. Demel   +12 more
wiley   +1 more source