Results 61 to 70 of about 8,869 (303)
Turing Computability and Leibniz Computability
, 2011 The chapter discusses the concept of Turing-computability from the point of view of mathematical constructivism and with the help of Leibniz’s conception of computation.
MATTEUZZI, MAURIZIO
core +1 more source
Emerging experimental and computational methods for studying redox‐regulated structural transitions
FEBS Letters, EarlyView.Redox reactions can reshape proteins and alter how they behave in cells, with important consequences for health and disease. This review explores emerging experimental and computational approaches for discovering these redox‐sensitive protein switches, revealing their structural effects, and predicting their behavior, opening new opportunities to ...
Tasneem Rass +2 more
wiley +1 more source
Formal Languages and Computability
, 2004 CSC 360. Formal Languages and Computability I (3) Prerequisite: CSC 242 and CSC 332. An introduction to theoretical computer science. Topics include regular expression and finite state concepts; basic automata theory; formal grammars and languages ...
Adhar, Gur
core +2 more sources
The Task-Based Approach: A New Paradigm for Building Trustworthy Artificial Intelligence
Известия Иркутского государственного университета: Серия "Математика"While AI systems excel at reasoning within formal frameworks, their tendency to hallucinate remains a critical challenge. This paper proposes a task-based approach to enhance reliability.
A.V. Nechesov +3 more
doaj +1 more source
The computability path ordering [PDF]
Logical Methods in Computer Science, 2015 This paper aims at carrying out termination proofs for simply typed higher-order calculi automatically by using ordering comparisons. To this end, we introduce the computability path ordering (CPO), a recursive relation on terms obtained by lifting a ...
Frédéric Blanqui +2 more
doaj +1 more source
Prospecting the protein design landscape
FEBS Letters, EarlyView.This review outlines the current state of various protein design approaches. We discuss the current possibilities enabled by recently released tools, highlight future avenues to pursue in protein design, and underscore the crucial role of key databases and resources for successful protein design workflows.
Jakob R. Riccabona +4 more
wiley +1 more source
FEBS Letters, EarlyView.Vacuolar H+‐ATPase (V‐ATPase) is a multisubunit rotary proton pump that acidifies intracellular compartments. Using elastic network models, we identified conserved hinge residues that govern its large‐scale functional motions. We show that intrinsically encoded ‘soft modes’ drive critical functional transitions, including rotary catalysis and ...
Diksha Parwana +3 more
wiley +1 more source
The Computability-Theoretic Content of Emergence [PDF]
In dealing with emergent phenomena, a common task is to identify useful descriptions of them in terms of the underlying atomic processes, and to extract enough computational content from these descriptions to enable predictions to be made. Generally, the
S. Barry Cooper
core
, 2020 Die Veröffentlichung gibt eine Einführung in die Theorie der Berechenbarkeit.The publication provides an introduction to computability ...
Zimmermann, Karl-Heinz
core +1 more source