Results 111 to 120 of about 8,869 (303)
, 1996 We consider the informal concept of "computability" or "effective calculability" and two of the formalisms commonly used to define it, "(Turing) computability" and "(general) recursiveness." We consider their ...
Robert I. Soare
core
Evolution‐guided yeast complementation reveals functional differences in human PSPH variants
FEBS Open Bio, EarlyView.Ancient genomes can help guide which human genetic variants are tested experimentally. This study applies that idea to PSPH, a gene involved in serine biosynthesis, and uses high‐throughput yeast complementation to compare variant function. The findings reveal measurable differences among selected alleles and illustrate the value of evolution‐guided ...
Mauricio Campa‐Álvarez +6 more
wiley +1 more source
Gödel’s Philosophical Challenge (to Turing)
Studia Semiotyczne, 2020 DOI: http://doi.org/10.26333/sts.xxxiv1.03 The incompleteness theorems constitute the mathematical core of Gödel’s philosophical challenge. They are given in their “most satisfactory form”, as Gödel saw it, when the formality of theories to which they
Wilfried Sieg
doaj
Dual native G‐quadruplex folding is associated with chromatin looping at the MYC locus
FEBS Open Bio, EarlyView.BG4‐detectable G‐quadruplex (G4) in HaCaT and NHEK keratinocytes identified folded and unfolded G4s enriched at promoters/TSSs and active enhancers, whereas unfolded G4s also overlapped weak/poised enhancers. At MYC–PVT1, 3C‐qPCR detected enhancer–promoter looping only when G4s were simultaneously folded at both regulatory elements under native ...
Dieila Giomo de Lima +7 more
wiley +1 more source
On Finite-time Computability Preserving Conversions
, 2009 A finite-time computable function is a partial function from Σω to Σω whose value is constructed by applying finite number of list operations ‘cons’ and ‘head’ to the argument.
Tsuiki, Hideki +3 more
core +1 more source
Computers and Computing in Society [PDF]
NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin, 2020 openaire +2 more sources
Heterotropic regulation and negative homotropic cooperativity
FEBS Open Bio, EarlyView.We identified a structural module common to some proteins that couple negative cooperativity with heterotropic regulation, two features that rarely coexist. These proteins are ring‐like and present an ordered asymmetry whereby noncontacting subunits are symmetric, and their tertiary structure differs from that of contacting subunits.
Veronica Morea +5 more
wiley +1 more source
GelMA‐based 3D spheroids recapitulate transcriptomic and functional hallmarks of myeloid sarcoma
FEBS Open Bio, EarlyView.GelMA 5% hydrogels support the formation of myeloid leukemia spheroids that recapitulate MS‐specific features, including G1 arrest, apoptosis, and ECM‐driven transcriptomic reprogramming. The 3D model mimicked soft‐tissue‐like stiffness and oxygen conditions, and transcriptomic convergence with primary MS samples confirmed its utility as a preclinical ...
Nicolas Germain +11 more
wiley +1 more source
A Creative Nondeterministic Computability
RUDN Journal of Philosophy, 2009 This paper shows a range of fundamental limitations inherent to any process realized in a standard theory of deterministic computability that significantly hamper its application to an analysis of philosophical problems concerning time-flow phenomena ...
A M Anisov
doaj
Comparative assessment of crystallographic and cryo‐EM models in the Protein Data Bank
FEBS Open Bio, EarlyView.Raw data obtained by X‐ray crystallography or cryo‐EM result in experimental maps, ultimately fitted by atomic models. Although the physical principles are different, the final results can be viewed, compared, and evaluated in the same way. With cryogenic electron microscopy (cryo‐EM) on track to surpass X‐ray crystallography as the preferred method ...
Alexander Wlodawer +7 more
wiley +1 more source