Results 71 to 80 of about 6,057,560 (362)
An overview of quantum cellular automata [PDF]
Natural Computing, 2019 Quantum cellular automata are arrays of identical finite-dimensional quantum systems, evolving in discrete-time steps by iterating a unitary operator G.
P. Arrighi
semanticscholar +1 more source
Molecular Oncology, EarlyView.Genetic testing in epithelial ovarian cancer includes both germline and tumor‐testing. This approach often duplicates resources. The current prospective study assessed the feasibility of tumor‐first multigene testing by comparing tumor tissue with germline testing of peripheral blood using an 18‐gene NGS panel in 106 patients.
Elisabeth Spenard +12 more
wiley +1 more source
FEBS Open Bio, EarlyView.This study presents a novel approach to teaching Python and bioinformatics using team‐based learning and cloud‐hosted notebooks. By integrating interactive coding into biomedical education, the method improves accessibility, student engagement, and confidence—especially for those without a computing background.
Nuno S. Osório, Leonardo D. Garma
wiley +1 more source
Horn Clauses for Communicating Timed Systems [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Languages based on the theory of timed automata are a well established approach for modelling and analysing real-time systems, with many applications both in industrial and academic context.
Hossein Hojjat +3 more
doaj +1 more source
From Automata to Multiautomata via Theory of Hypercompositional Structures
Mathematics, 2021 In this paper, we study two important problems related to quasi-multiautomata: the complicated nature of verification of the GMAC condition for systems of quasi-multiautomata, and the fact that the nature of quasi-multiautomata has deviated from the ...
Štěpán Křehlík +2 more
doaj +1 more source
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 +13 more
wiley +1 more source
Logic and Branching Automata [PDF]
Logical Methods in Computer Science, 2015 In this paper we study the logical aspects of branching automata, as defined by Lodaya and Weil. We first prove that the class of languages of finite N-free posets recognized by branching automata is closed under complementation.
Bedon Nicolas
doaj +1 more source
How unprovable is Rabin's decidability theorem?
, 2015 We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical core of typical ...
Beckmann A. +6 more
core +1 more source
FEBS Open Bio, EarlyView.Comparative analysis of chloroplast genomes from 14 genera of Thymelaeaceae revealed variation in gene content, ranging from 128 to 142 genes, primarily influenced by IR expansion/contraction events and pseudogenization of ndhF, ndhI, and ndhG. Two large inversions were detected within the large single‐copy region, including a synapomorphic inversion ...
Abdullah +8 more
wiley +1 more source
The rs10191329 Risk Allele Is Associated With Pronounced Retinal Layer Atrophy in Multiple Sclerosis
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To investigate whether the rs10191329 risk allele in the DYSF–ZNF638 locus, which is implicated in central nervous system resilience rather than immune‐mediated pathology, is associated with retinal layer thinning, a biomarker of neuroaxonal damage in relapsing multiple sclerosis (RMS). Methods From a prospective observational study,
Gabriel Bsteh +22 more
wiley +1 more source