Search

Your search keyword '"Martin, Barnaby"' showing total 277 results
Start Over Author "Martin, Barnaby"

Refine your results

more »

more »

more »

more »
277 results on '"Martin, Barnaby"'

251. Bounded Reducibility for Computable Numberings

Author

Bazhenov, Nikolay, Mustafa, Manat, Ospichev, Sergei, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

252. Correctness, Explanation and Intention

Author

Turner, Raymond, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

253. Effective Embeddings for Pairs of Structures

Author

Bazhenov, Nikolay, Ganchev, Hristo, Vatev, Stefan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

254. Higher Type Recursion for Transfinite Machine Theory

Author

Welch, Philip, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

255. Uniform Relativization

Author

Miyabe, Kenshi, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

256. Non-Recursive Trade-Offs Are 'Almost Everywhere'

Author

Holzer, Markus, Kutrib, Martin, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

257. On the Differences and Sums of Strongly Computably Enumerable Real Numbers

Author

Ambos-Spies, Klaus, Zheng, Xizhong, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

258. The d.r.e wtt-Degrees are Dense

Author

Wang, Shaoyi, Wu, Guohua, Yamaleev, Mars M., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

259. Nets and Reverse Mathematics : Some Initial Results

Author

Sanders, Sam, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

260. Destroying Bicolored s by Deleting Few Edges

Author

Grüttemeier, Niels, Komusiewicz, Christian, Schestag, Jannik, Sommer, Frank, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

261. Kalmár’s Argument for the Independence of Computer Science

Author

Szabó, Máté, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

262. Surreal Blum-Shub-Smale Machines

Author

Galeotti, Lorenzo, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

263. Recent Advances in the Computation of the Homology of Semialgebraic Sets

Author

Cucker, Felipe, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

264. An algorithmic approach to characterizations of admissibles

Author

Durand, Bruno, Lafitte, Grégory, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

265. Representations of Natural Numbers and Computability of Various Functions

Author

Wrocławski, Michał, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

266. On Approximate Uncomputability of the Kolmogorov Complexity Function

Author

Ishkuvatov, Ruslan, Musatov, Daniil, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

267. More Intensional Versions of Rice’s Theorem

Author

Moyen, Jean-Yves, Simonsen, Jakob Grue, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

268. Degree Spectra for Transcendence in Fields

Author

Kalimullin, Iskander, Miller, Russell, Schoutens, Hans, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

269. Cohesive Powers of Linear Orders

Author

Dimitrov, Rumen, Harizanov, Valentina, Morozov, Andrey, Shafer, Paul, Soskova, Alexandra, Vatev, Stefan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

270. Borel and Baire Sets in Bishop Spaces

Author

Petrakis, Iosif, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

271. Study of Stepwise Simulation Between ASM

Author

Cégielski, Patrick, Cervelle, Julien, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

272. A Note on the Ordinal Analysis of

Author

Carlucci, Lorenzo, Mainardi, Leonardo, Rathjen, Michael, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

273. Complexity of Maximum Fixed Point Problem in Boolean Networks

Author

Bridoux, Florian, Durbec, Nicolas, Perrot, Kevin, Richard, Adrien, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

274. Towards Uniform Online Spherical Tessellations

Author

Bell, Paul C., Potapov, Igor, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

275. Complexity of Conjunctive Regular Path Query Homomorphisms

Author

Beaudou, Laurent, Foucaud, Florent, Madelaine, Florent, Nourine, Lhouari, Richard, Gaétan, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Manea, Florin, editor, Martin, Barnaby, editor, Paulusma, Daniël, editor, and Primiero, Giuseppe, editor

Published
2019
Full Text
View/download PDF

276. Towards Uniform Online Spherical Tessellations

Author

Paul C. Bell, Igor Potapov, Manea, Florin, Martin, Barnaby, Paulusma, Daniel, and Primiero, Guiseppe

Subjects
Computational Geometry (cs.CG), FOS: Computer and information sciences, QA75, Uniform distribution (continuous), 0102 computer and information sciences, 02 engineering and technology, Q1, 01 natural sciences, Measure (mathematics), Upper and lower bounds, QA76, Theoretical Computer Science, Combinatorics, Dodecahedron, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, Online algorithm, QA, Mathematics, Tessellation, Regular icosahedron, Spherical trigonometry, Computational Theory and Mathematics, 010201 computation theory & mathematics, Computer Science - Computational Geometry, 020201 artificial intelligence & image processing, Geometry and Topology, F.2.2
Abstract

The problem of uniformly placing N points onto a sphere finds applications in many areas. For example, points on the sphere correspond to unit quaternions as well as to the group of rotations SO(3) and the online version of generating uniform rotations (known as "incremental generation") plays a crucial role in a large number of engineering applications ranging from robotics and aeronautics to computer graphics. An online version of this problem was recently studied with respect to the gap ratio as a measure of uniformity. The first online algorithm of Chen et al. was upper-bounded by 5.99 and later improved to 3.69, which is achieved by considering a circumscribed dodecahedron followed by a recursive decomposition of each face. In this paper we provide a more efficient tessellation technique based on the regular icosahedron, which improves the upper-bound for the online version of this problem, decreasing it to approximately 2.84. Moreover, we show that the lower bound for the gap ratio of placing at least three points is the golden ratio, approx. 1.618, and for at least four points is no less than 1.726., Comment: 18 pages, 13 figures

Published
2022

277. Higher Type Recursion for Transfinite Machine Theory

Author

Welch, P D, Primiero, Giuseppe, Martin, Barnaby, Paulusma, Daniël, and Manea, Florin

Subjects
Infinite Time Turing Machine, TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Higher Type Recursion, Transfinite Computation, Computer Science::General Literature, Computer Science::Computational Complexity, Computer Science::Formal Languages and Automata Theory
Abstract

We look at some preliminary work in the theory of transfinite Turing machines generalised in the manner of Kleene to higher type recursion theory. The underlying philosophy is that ordinary Turing computability and inductive definability is replaced by the example here of Infinite Time Turing Machine computability and quasi-inductive definability.

Published
2019

Catalog

Books, media, physical & digital resources
See catalog results