Results 51 to 60 of about 6,057,560 (362)
Solomon Marcus Contributions to Theoretical Computer Science and Applications
Axioms, 2021 Solomon Marcus (1925–2016) was one of the founders of the Romanian theoretical computer science. His pioneering contributions to automata and formal language theories, mathematical linguistics and natural computing have been widely recognised ...
Cristian S. Calude, Gheorghe Păun
doaj +1 more source
Homology theories and tolerance automata
Discrete Mathematics, 1981 AbstractWe present three possible approaches to a homology theory of automata. Two of these require the state to possess a tolerance. This permits us to proceed by analogy with either the simplicial or the cubical theories of the topological category. The third approach describes a homology theory of automata as such.Fixed simplex theorems are stated ...
A. Muir, M. W. Warner
openaire +2 more sources
A state of a dynamic computational structure distributed in an environment: a model and its corollaries [PDF]
, 2010 Currently there is great interest in computational models consisting of underlying regular computational environments, and built on them distributed computational structures.
Kurgansky, Oleksiy
core +1 more source
Bell's Theorem from Moore's Theorem [PDF]
, 2012 It is shown that the restrictions of what can be inferred from classically-recorded observational outcomes that are imposed by the no-cloning theorem, the Kochen-Specker theorem and Bell's theorem also follow from restrictions on inferences from ...
Ashby W. R. +19 more
core +1 more source
FEBS Letters, EarlyView.Spinal muscular atrophy (SMA) is a genetic disease affecting motor neurons. Individuals with SMA experience mitochondrial dysfunction and oxidative stress. The aim of the study was to investigate the effect of an antioxidant and neuroprotective substance, ergothioneine (ERGO), on an SMNΔ7 mouse model of SMA.
Francesca Cadile +8 more
wiley +1 more source
FEBS Letters, EarlyView.Single‐cell RNA sequencing reveals an opposite role of SLPI in basal tumors based on metastatic spread, along with shared activation of specific regulons in cancer cells and mature luminal lactocytes, as well as downregulation of MALAT1 and NEAT1 in the latter.
Pietro Ancona +4 more
wiley +1 more source
Neural architecture search for resource constrained hardware devices: A survey
IET Cyber-Physical Systems, 2023 With the emergence of powerful and low‐energy Internet of Things devices, deep learning computing is increasingly applied to resource‐constrained edge devices.
Yongjia Yang +4 more
doaj +1 more source
Uniform Interpolation for Coalgebraic Fixpoint Logic [PDF]
, 2015 We use the connection between automata and logic to prove that a wide class of coalgebraic fixpoint logics enjoys uniform interpolation. To this aim, first we generalize one of the central results in coalgebraic automata theory, namely closure under ...
Marti, Johannes +2 more
core +3 more sources
On the Theory of Stochastic Automata
, 2021 The theory of discrete stochastic systems has been initiated by the work of Shannon and von Neumann. While Shannon has considered memory-less communication channels and their generalization by introducing states, von Neumann has studied the synthesis of reliable systems from unreliable components.
Cakir, Merve Nur +2 more
openaire +2 more sources
Mitochondrial fatty acid oxidation is stimulated by red light irradiation
FEBS Letters, EarlyView.Light at different wavelengths has distinct effects on keratinocyte viability and metabolism. UVA light abrogates metabolic fluxes. Blue and green light have no effect on metabolic fluxes, while red light enhanced oxidative phosphorylation by promoting fatty acid oxidation. Keratinocytes are the primary constituents of sunlight‐exposed epidermis.
Manuel Alejandro Herrera +4 more
wiley +1 more source