Results 71 to 80 of about 1,041,680 (279)

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

Mycobacterial cell division arrest and smooth‐to‐rough envelope transition using CRISPRi‐mediated genetic repression systems

FEBS Open Bio, EarlyView.
CRISPRI‐mediated gene silencing and phenotypic exploration in nontuberculous mycobacteria. In this Research Protocol, we describe approaches to control, monitor, and quantitatively assess CRISPRI‐mediated gene silencing in M. smegmatis and M. abscessus model organisms.
Vanessa Point, Wafaa Achache, Janïs Laudouze, Eliana Sepulveda Ramos, Mickaël Maziero, Céline Crauste, Stéphane Canaan, Pierre Santucci   +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

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

On Verified Automated Reasoning in Propositional Logic: Teaching Sequent Calculus to Computer Science Students

Vietnam Journal of Computer Science
As the complexity of software systems is ever increasing, so is the need for practical tools for formal verification. Among these are automatic theorem provers, capable of solving various reasoning problems automatically, and proof assistants, capable of
Simon Tobias Lund, Jørgen Villadsen
doaj   +1 more source

Diagonalization in proof complexity [PDF]

Fundamenta Mathematicae, 2004
Summary: We study diagonalization in the context of implicit proofs [cf. the author, J. Symb. Log. 69, 387--397 (2004; Zbl 1069.03053)]. We prove that at least one of the following three conjectures is true: 1. There is a function \(f : \{0, 1\}^{*} \to \{0,1\}\) computable in~\({\mathcal E}\) that has circuit complexity \(2^{{\varOmega}(n)}\).
openaire   +1 more source

The cooperative regulation of miR‐221 by APE1 and AUF1 impacts p27Kip1 defining a miR signature relevant for cervical cancer

FEBS Open Bio, EarlyView.
A regulatory axis involving APE1, AUF1, and miR‐221 is proposed. Pri‐miR‐221 is processed by DROSHA and DICER to generate mature miR‐221, which targets p27Kip1 mRNA. APE1 and AUF1 compete for pre‐miR‐221 binding. Reduced APE1/AUF1 levels impair miR‐221 biogenesis, decrease p27Kip1 mRNA degradation, and promote cell cycle progression, chemoresistance ...
Matilde Clarissa Malfatti, Nicolò Gualandi, Gianluca Tell, Giulia Antoniali   +3 more
wiley   +1 more source

Systemic dysregulation of apolipoproteins in amyotrophic lateral sclerosis serum

FEBS Open Bio, EarlyView.
Amyotrophic lateral sclerosis (ALS) is a fatal disease that damages motor neurons. This study found that people with ALS show significant changes in blood fats and the proteins that carry them. Several apolipoproteins were higher, lipid balances were altered, and normal protein–lipid relationships were disrupted.
Finula I. Isik, Russell Pickford, Hannah C. Timmins, Olivier Piguet, Glenda M. Halliday, Matthew C. Kiernan, Woojin Scott Kim   +6 more
wiley   +1 more source

Data-driven multinomial random forest: a new random forest variant with strong consistency

Journal of Big Data
In this paper, we modify the proof methods of some previously weakly consistent variants of random forest into strongly consistent proof methods, and improve the data utilization of these variants in order to obtain better theoretical properties and ...
JunHao Chen, XueLi Wang, Fei Lei
doaj   +1 more source

GOST 34.11-2018 Analysis in The Context of Zero-Knowledge Proofs

Безопасность информационных технологий
Zero-knowledge proofs are being increasingly applied to a wide range of tasks in modern distributed information systems. Of particular interest are such areas of activity as digital asset management systems, anonymous electronic voting systems, and ...
Vladlen D. Afonin, Sergey V. Zapechnikov, Igor A. Prostov   +2 more
doaj   +1 more source