Results 61 to 70 of about 1,815 (295)
MITF maintains genome stability in nonmelanocyte lineages
Molecular Oncology, EarlyView.MITF is essential for melanocyte survival and acts as an oncogene in 10%–20% of melanomas. We show that MITF depletion causes genome instability in nonmelanocytic cells, leading to LATS2‐mediated P53 activation, cell cycle arrest, and apoptosis. This study highlights the role of MITF as a genome maintenance factor beyond the melanocyte lineage. Created
Drifa H. Gudmundsdottir +13 more
wiley +1 more source
The Contribution of Teaching Logic to Ethical Decision Making
Communications, 2017 Everyone makes many important decisions in one's life and these decisions are the result of one's thinking. However, in many critical situations one cannot find a solution.
Dalibor Gonda, Petr Emanovsky
doaj +1 more source
Ambiguity of {\omega}-Languages of Turing Machines [PDF]
Logical Methods in Computer Science, 2014 An {\omega}-language is a set of infinite words over a finite alphabet X. We consider the class of recursive {\omega}-languages, i.e. the class of {\omega}-languages accepted by Turing machines with a B\"uchi acceptance condition, which is also the class
Olivier Finkel
doaj +1 more source
An Analytical Method for Tensor Visualization in a Plane
Machines, 2022 The rendering of tensor glyphs is a progressive process of visualizing the vector space both in fluid dynamics and the latest medical scanning. Nowadays, the rendering accuracy is ensured by numerical methods based on interpolation of tensor functions ...
Tomáš Stejskal +2 more
doaj +1 more source
Unambiguous Forest Factorization
CoRR, 2018 In this paper, we look at an unambiguous version of Simon's forest factorization theorem, a very deep result which has wide connections in algebra, logic and automata. Given a morphism $φ$ from $Σ^+$ to a finite semigroup $S$, we construct a universal, unambiguous automaton A which is "good" for $φ$.
Paul Gastin, Shankara Narayanan Krishna
openaire +2 more sources
Universality Problem for Unambiguous VASS
CoRR, 2020 We study languages of unambiguous VASS, that is, Vector Addition Systems with States, whose transitions read letters from a finite alphabet, and whose acceptance condition is defined by a set of final states (i.e., the coverability language). We show that the problem of universality for unambiguous VASS is ExpSpace-complete, in sheer contrast to ...
Czerwiński, Wojciech +2 more
openaire +4 more sources
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
Regular rewriting of active XML and unambiguity [PDF]
, 2005 We consider here the exchange of Active XML (AXML) data, i.e., XML documents where some of the data is given explicitly while other parts are given only intensionally as calls to Web services.
Tova Milo +2 more
core +1 more source
Mass spectrometry based identification of AMP‐O‐Tris generated by Thermococcus onnurineus Cas10
FEBS Open Bio, EarlyView.Isolated Thermococcus onnurineus Cas10 generates the noncanonical ATP‐derived product AMP‐O‐Tris while in Tris‐containing buffer as identified via mass spectrometry, revealing relaxed nucleophile selectivity under isolated conditions. These findings suggest that multiprotein Csm complex assembly restricts Cas10 reactivity toward canonical cyclic ...
Su‐Jin Lee +6 more
wiley +1 more source
The effect of the multi-step perturbations on the unambiguity ratio of DO to D for different types of data integration. [PDF]
, 2018 The effect of the multi-step perturbations on the unambiguity ratio of DO to D for different types of data integration.
Mehdi Sadeghi (63721) +1 more
core +1 more source