Results 41 to 50 of about 1,933,548 (305)

A New Modal Framework for Epistemic Logic [PDF]

Electronic Proceedings in Theoretical Computer Science, 2017
Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of \
Yanjing Wang
doaj   +1 more source

A Van Benthem Characterization Result for Distribution-Free Logics

Logics
This article contributes to recent results in the model theory of distribution-free logics (which include a Goldblatt-Thomason theorem and a development of their Sahlqvist theory) by lifting van Benthem’s characterization result for modal logic to the ...
Chrysafis Hartonas
doaj   +1 more source

Modelling stem cell differentiation related processes—A practical overview for biologists

FEBS Letters, EarlyView.
Stem cell differentiation is complex and difficult to control experimentally. This review introduces suitable computational modelling approaches that can support stem cell research, from mechanistic ODE and abstract models to multiscale and deep learning methods.
Ricco Zeegelaar, Xinqi Yan, Lucas F. Jansen Klomp, Stefano Schivo, Janine N. Post   +4 more
wiley   +1 more source

Distribution-Free Normal Modal Logics

Logics
This article initiates the semantic study of distribution-free normal modal logic systems, laying the semantic foundations and anticipating further research in the area. The article explores roughly the same area, though taking a different approach, as a
Chrysafis Hartonas
doaj   +1 more source

EXPTIME Tableaux for the Coalgebraic mu-Calculus [PDF]

Logical Methods in Computer Science, 2011
The coalgebraic approach to modal logic provides a uniform framework that captures the semantics of a large class of structurally different modal logics, including e.g. graded and probabilistic modal logics and coalition logic.
Corina Cirstea, Clemens Kupke, Dirk Pattinson   +2 more
doaj   +1 more source

Single‐cell DNA methylation profiling: Technologies, computation, and applications in precision oncology

Molecular Oncology, EarlyView.
Single‐cell DNA methylation (scDNAme) profiling maps epimutational clonal evolution, revealing mechanisms of malignancy and therapeutic resistance across diverse cancer types. By providing a high‐resolution landscape of intratumoral heterogeneity, these technologies empower precise patient stratification, guide the development of enhanced ...
Ik Soo Kim
wiley   +1 more source

Targeting transcription factors associated with hemoglobinopathies: Lessons from successful interventions and implications for cancer

Molecular Oncology, EarlyView.
This review summarizes the transcription factors, repressive chromatin‐modifying complexes, and epigenetic mechanisms that control fetal hemoglobin repression. Notably, many regulators of γ‐globin silencing also function in transcriptional and epigenetic networks that drive cancer, highlighting opportunities to translate advances in hemoglobinopathy ...
Meigen Yu, Puspa Das, Xing Zhang, Xiaodong Cheng   +3 more
wiley   +1 more source

On Paracomplete Versions of Jaśkowski's Discussive Logic

Bulletin of the Section of Logic
Jaśkowski's discussive (discursive) logic D2 is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic S5 via special ...
Krystyna Mruczek-Nasieniewska, Yaroslav Petrukhin, Vasily Shangin   +2 more
doaj   +1 more source

Unification in Modal Logic [PDF]

, 2019
In this talk, we will give a survey of the results on unification in modal logic and we will present some of the open problems whose solution will have a great impact on the future of the area. After an introductory part about unification in equational theories, we will consider the case of Boolean unification, we will study the unification problem in ...
openaire   +2 more sources

Directed evolution of enzymes at the crossroads of tradition and innovation

FEBS Open Bio, EarlyView.
An iterative cycle of data‐driven enzyme optimization comprising four stages: genetic diversification of a template enzyme, expression of protein variants, high‐throughput evaluation, and machine‐learning‐guided redesign of the next variant library.
Maria Tomkova, Andrej Mirossay, Erik Sedlak   +2 more
wiley   +1 more source