Results 31 to 40 of about 69,366 (304)
Revising Z: part II - logical development
, 1999 This is the second of two related papers. In "Revising Z: Part I - logic and semantics" (this journal) we introduced a simple specification logic ZC comprising a logic and a semantics (in ZF set theory). We then provided an interpretation for (a rational
Reeves, Steve, Henson, Martin C.
core +1 more source
The complexity of small universal Turing machines : a survey [PDF]
, 2009 We survey some work concerned with small universal Turing machines, cellular automata, tag systems, and other simple models of computation. For example it has been an open question for some time as to whether the smallest known universal Turing machines ...
Woods, Damien, Neary, Turlough
core +1 more source
Simulation tools: formal language for cellular automatons behavior description
Adaptivni Sistemi Avtomatičnogo Upravlinnâ, 2022 Object is a formal language for cellular automatons behavior description. The main tasks are 1) to describe variety of possible events that cell can experience in cellular automaton; 2) to define possible attributes that can cause these events (over ...
Н. Смолій +2 more
doaj +1 more source
Frontiers in Psychology, 2013 Using a naturalistic video database, we examined whether gestures scaffolded the symbolic development of a language-enculturated chimpanzee, a language-enculturated bonobo, and a human child during the second year of life.
Kristen eGillespie-Lynch +4 more
doaj +1 more source
, 2023 International audienceWe propose a simple numerical procedure to approach the symbol of a self-adjoint linear operator by using trace estimates of a corresponding discretization matrix A, with numerical data.
Chehab, Jean-Paul
core +1 more source
Classical Solutions of Hyperbolic Equation with Translation Operators in Free Terms
Mathematics, 2023 In this paper, we study the question of constructing explicit solutions in a half-space of a hyperbolic equation containing translation operators in space variables in all coordinate directions.
Vladimir Vasilyev, Natalya Zaitseva
doaj +1 more source
The Field of Norms Functor and the Hilbert Symbol [PDF]
, 2010 The classical Hilbert symbol of a higher local field $F$ containing a primitive $p^M$-th root of unity $\zeta_M$ is a pairing $F^*/(F^*)^{p^M}\times K_N(F)/p^M \to \mu_{p^M}$, describing Kummer extensions of exponent $p^M$.
JENNI, RUTH,CHRISTINE +1 more
core
Molecular Oncology, EarlyView.EXOSC10, an essential nuclear RNA exosome‐associated 3′‐5′ exoribonuclease, is inhibited by the anticancer drug 5‐fluorouracil (5‐FU), and EXOSC10 depletion increases 5‐FU sensitivity. The colon‐cancer variant EXOSC10S402T, located in a proteolysis motif, is stable and nuclear but nonfunctional in vivo.
Radhika Sain +10 more
wiley +1 more source
Life, 2011 Is life physicochemically unique? No. Is life unique? Yes. Life manifests innumerable formalisms that cannot be generated or explained by physicodynamics alone.
David L. Abel
doaj +1 more source
, 2018 : "The notion of mind as symbol processor is fundamental to AI and cognitive science, but some connectionists are now arguing against it. Eliminative connectionism challenges the validity of formal symbol manipulation as a level of mental description. We
David S Touretzky (5409146) +1 more
core +1 more source