Results 61 to 70 of about 803,319 (299)
Theoretical Computer Science, 1985 Powerdomains of different kinds on the complete partial ordering (D,\(\subseteq)\) are results of certain algebraic constructions used to give denotational semantics of non-deterministic computations. The author presents a reformulation in terms of modal formulas. A (non- deterministic) D-computation is a finitely branching tree T with nodes t labelled
openaire +2 more sources
Interplay between RNA‐protein interactions and RNA structures in gene regulation
FEBS Open Bio, EarlyView.Methodological advances in mapping transcriptome‐wide RNA‐protein interactions and RNA structures have started to uncover the potential of RNP conformations in gene regulation. Competing RNA–RNA, RNA‐protein and protein–protein interactions shape the compaction and function of RNPs throughout their lifetime and may provide novel therapeutic targets in ...
Jenni Rapakko +2 more
wiley +1 more source
Overview of molecular signatures of senescence and associated resources: pros and cons
FEBS Open Bio, EarlyView.Cells can enter a stress response state termed cellular senescence that is involved in various diseases and aging. Detecting these cells is challenging due to the lack of universal biomarkers. This review presents the current state of senescence identification, from biomarkers to molecular signatures, compares tools and approaches, and highlights ...
Orestis A. Ntintas +6 more
wiley +1 more source
FEBS Open Bio, EarlyView.What factors make for an effective digital learning tool in Higher Education? This systematic review identifies elements of a digital tool that published examples reveal to be features of an engaging and impactful digital tool. A systematic literature search yielded 25 research papers for analysis.
Akmal Arzeman +4 more
wiley +1 more source
Cystic Ovarian Teratoma: Clinical and Radiographic Insights Into Chronic Pelvic Pain
Aging and Cancer, EarlyView.An incidental benign mature cystic ovarian teratoma on imaging and discuss common imaging modalities. ABSTRACT In this case report, we present the clinical course of an 88‐year‐old woman with chronic pelvic pain attributed to an incidental benign mature cystic ovarian teratoma on imaging and discuss common imaging modalities and discussions with ...
Hashim U. Ali +5 more
wiley +1 more source
Lawvere-Tierney sheafification in Homotopy Type Theory
Journal of Formalized Reasoning, 2016 Sheafification is a popular tool in topos theory which allows to extend the internal logic of a topos with new principles. One of its most famous applications is the possibility to transform a topos into a boolean topos using the dense topology, which ...
Kevin Quirin, Nicolas Tabareau
doaj +1 more source
Theoretical Computer Science, 1997 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +3 more sources
Journal of Logic, Language and Information, 2008 Saul Kripke's thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like Aristotle might have been fond of dogs Concerning Aristotle, it is ...
Pagin, Peter, Glüer, Kathrin
openaire +4 more sources
Advanced Chinese Medicine, EarlyView.Abstract Rheumatoid arthritis (RA) is a chronic, highly disabling autoimmune disease. Although modern medical treatments have made progress, challenges such as suboptimal efficacy, relapse, difficulties in comorbidity management, and side effects persist.
Dier Jin +8 more
wiley +1 more source
International Journal of Surgery, 2016 The incidental detection of small renal masses on imaging undertaken to evaluate unrelated symptoms or conditions is an increasingly common occurrence. Accurate imaging characterisation is fundamental to determining optimum patient management. The goals of imaging small renal masses include determining whether a lesion is solid or cystic, if there are ...
Alison, Elstob +2 more
openaire +2 more sources