Results 91 to 100 of about 146 (117)

The Bayesian optimist's guide to adaptive immune receptor repertoire analysis. [PDF]

Immunol Rev, 2018
Olson BJ, Matsen FA.
europepmc   +1 more source

Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)

Recursive Types: the syntactic and semantic approaches(Type Theory and its Applications to Computer Systems)
openaire   +1 more source

Computational Playability of Backward-Induction Solutions and Nash Equilibria : An Application of Recursion Theory to Game Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)

Computational Playability of Backward-Induction Solutions and Nash Equilibria : An Application of Recursion Theory to Game Theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)
openaire   +1 more source

Economics and the complexity vision: chimerical partners or elysian adventurers [PDF]

Kumaraswamy Velupillai
core  

An Introduction to the Recursion Theory Framework for DNA-Based Applications in Bio-Molecular Computing and Information Processing Using the (HOL) Higher Order Logic System 1

International Journal of Applied Research on Information Technology and Computing, 2015
This nano-bio informatics introductory framework note describes the use of the function package, which provides general recursive function denitions for Isabelle/HOL. We start with very simple DNA sequencingbased examples and then gradually illustrate a way to move onto more advanced information processing topics to deal with even more promising nano ...
D.N.T. Kumar (Nirmal), Carolina C. Bueno, Andre Henrique Rosa   +2 more
openaire   +1 more source

Algebraic Computability and Enumeration Models : Recursion Theory and Descriptive Complexity

, 2016
This book, Algebraic Computability and Enumeration Models: Recursion Theory and Descriptive Complexity, presents new techniques with functorial models to address important areas on pure mathematics and computability theory from the algebraic viewpoint ...
Nourani, Cyrus F
exaly   +1 more source

Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability

Lecture Notes in Computer Science, 2022
Tomoyuki Yamakami
exaly  

Recursive functions in computer theory. (Computers and their application series no. 9)

Mathematics and Computers in Simulation, 1982
openaire   +1 more source

Computability and Recursion

Bulletin of Symbolic Logic, 1996
Robert I Soare
exaly