Search Results - Applications of computability and recursion theory

Recursive formulation of the relativistic law of superposition of multiple collinear velocities by Antippa, Adel F.

“…We study the recursive formulation of the law of superposition of multiple collinear velocities. We start with the non-linear equation, transform it into two…”
Get full text

Minimal Weak Truth Table Degrees and Computably Enumerable Turing Degrees by Downey, Rodney G., Ng, Keng Meng, Solomon, Reed

“…Two of the central concepts for the study of degree structures in computability theory are computably enumerable degrees and minimal degrees…”
Get full text

Computability, enumerability, unsolvability: Directions in recursion theory

Get full text

Solving Non-Uniqueness in Agglomerative Hierarchical Clustering Using Multidendrograms by FERNANDEZ, Alberto, GOMEZ, Sergio

“…In agglomerative hierarchical clustering, pair-group methods suffer from a problem of non-uniqueness when two or more distances between different clusters…”
Get full text

Computability of simple games: A characterization and application to the core by Kumabe, Masahiro, Mihara, H. Reiju

“…The class of algorithmically computable simple games (i) includes the class of games that have finite carriers and (ii) is included in the class of games that…”
Get full text

Simultaneous Search by Chade, Hector, Smith, Lones

“… In the motivational application, just one may be exercised from those that succeed. This often emerges in practice, such as when a student applies to many colleges or when a firm simultaneously tries several technologies…”
Get full text

Computability and the morphological complexity of some dynamics on continuous domains: Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca by HOYRUP, Mathieu, KOLCAK, Arda, LONGO, Giuseppe

Get full text

The Haar Wavelet Transform of a Dendrogram by Murtagh, Fionn

“… A first set of application studies deals with data array smoothing, or filtering. A second set of application studies relates to hierarchical tree condensation…”
Get full text

Population size versus runtime of a simple evolutionary algorithm by Witt, Carsten

“…Evolutionary algorithms (EAs) find numerous applications, and practical knowledge on EAs is immense…”
Get full text

Dimension in Complexity Classes by Lutz, Jack H.

“…]$. Along with the elements of this theory, two preliminary applications are presented: For every real…”
Get full text

Foundations of mathematics: logic at Harvard : essays in honor of Hugh Woodin's 60th birthday, March 27-29, 2015, Harvard University, Cambridge, MA by Caicedo, Andres Eduardo

“… and Banach spaces, recursion theory, and philosophy, each reflecting a period of Woodin's career…”
Get full text

Computability: Turing, Gödel, Church, and Beyond by Copeland, Jack, Posy, Carl J., Shagrir, Oron

“… In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science…”
Get full text

Directed Binary Hierarchies and Directed Ultrametrics by Lerman, I-C., Kuntz, P.

“…Directed binary hierarchies have been introduced in order to give a graphical reduced representation of a family of association rules. This type of structure…”
Get full text

A new algorithm for aligning nested arc-annotated sequences under arbitrary weight schemes by Ouangraoua, Aïda, Guignon, Valentin, Hamel, Sylvie, Chauve, Cedric

“…In this paper, we propose a new algorithm for the alignment of nested arc-annotated sequences, having applications in the comparison of RNA secondary structures without pseudo-knots…”
Get full text

DRL: A hierarchy of strong block-decomposable linear relaxations for 0–1 MIPs by Minoux, M., Ouzia, H.

“…In this paper we introduce DRL*, a new hierarchy of linear relaxations for 0–1 mixed integer linear programs (MIPs), based on the idea of…”
Get full text

An infinite hierarchy of language families generated by scattered context grammars with n-limited derivations by Meduna, Alexander, Techet, Jiří

“…This paper introduces scattered context grammars without erasing productions, in which an application of a production always occurs within the first n nonterminals of the current sentential form…”
Get full text

On computing ordN(2) and its application by Liu, Lihua, Cao, Zhengjun

Get full text

Should one always use repeated squaring for modular exponentiation? by Klein, Shmuel T.

“…Modular exponentiation is a frequent task, in particular for many cryptographic applications…”
Get full text

A Characterization of Majority Rule for Hierarchies by McMorris, Fred R., Powers, Robert C.

“…The majority rule has been a popular method for producing a consensus classification from several different classifications, when the classifications are all…”
Get full text

Proving termination of context-sensitive rewriting by transformation by Lucas, Salvador

“… (all) infinite rewrite sequences. Proving termination of CSR has been recently recognized as an interesting problem with several applications in the fields of term rewriting and programming languages…”
Get full text