Search results for "Computability"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Dusko Pavlovic	Categorical Computability in Monoidal Computer: Programs as Diagrams.	CoRR	2022	DBLP DOI BibTeX RDF
14	Yuri I. Manin, Matilde Marcolli	Computability questions in the sphere packing problem.	CoRR	2022	DBLP DOI BibTeX RDF
14	Holger Boche, Adalbert Fono, Gitta Kutyniok	Non-Computability of the Pseudoinverse on Digital Computers.	CoRR	2022	DBLP DOI BibTeX RDF
14	Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier	Computability of Data-Word Transductions over Different Data Domains.	Log. Methods Comput. Sci.	2022	DBLP DOI BibTeX RDF
14	Vasco Brattka, Noam Greenberg, Iskander Sh. Kalimullin, Mariya Ivanova Soskova	Preface of the Special Issue for the Oberwolfach Workshop on Computability Theory 2021.	Comput.	2022	DBLP DOI BibTeX RDF
14	George Davie	Computability of convergence rates in the ergodic theorem for Martin-Löf random points.	J. Log. Anal.	2022	DBLP BibTeX RDF
14	Iosif Petrakis	Strict computability models over categories and presheaves.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
14	Matea Celar, Zvonko Iljazovic	Computability of glued manifolds.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
14	Rachel D. Stahl	Computability and the game of cops and robbers on graphs.	Arch. Math. Log.	2022	DBLP DOI BibTeX RDF
14	Uri Andrews, Peter M. Gerdes, Steffen Lempp, Joseph S. Miller, Noah David Schweber	Computability and the Symmetric Difference Operator.	Log. J. IGPL	2022	DBLP DOI BibTeX RDF
14	Carole Delporte, Hugues Fauconnier, Sergio Rajsbaum, Michel Raynal	Distributed computability: Relating k-immediate snapshot and x-set agreement.	Inf. Comput.	2022	DBLP DOI BibTeX RDF
14	Jonathan Leake, Nisheeth K. Vishnoi	On the Computability of Continuous Maximum Entropy Distributions with Applications.	SIAM J. Comput.	2022	DBLP DOI BibTeX RDF
14	George Tourlakis	Computability		2022	DOI RDF
14	Damir D. Dzhafarov, Carl Mummert	Reverse Mathematics - In cooperation with the association Computability in Europe		2022	DOI RDF
14	Tomoyuki Yamakami	Expressing Power of Elementary Quantum Recursion Schemes for Quantum Logarithmic-Time Computability.	WoLLIC	2022	DBLP DOI BibTeX RDF
14	Hugo Rincon Galeana, Sergio Rajsbaum, Ulrich Schmid 0001	Continuous Tasks and the Asynchronous Computability Theorem.	ITCS	2022	DBLP DOI BibTeX RDF
14	Djamel Eddine Amir, Mathieu Hoyrup	Computability of Finite Simplicial Complexes.	ICALP	2022	DBLP DOI BibTeX RDF
14	Holger Boche, Rafael F. Schaefer, H. Vincent Poor	Capacity-Achieving Input Distributions: Algorithmic Computability and Approximability.	ISIT	2022	DBLP DOI BibTeX RDF
14	Holger Boche, Christian Deppe	Computability of the Channel Reliability Function and Related Bounds1.	ISIT	2022	DBLP DOI BibTeX RDF
14	Richard Blumenthal 0001	Teach More, Not Less Computability Theory in CS202X: A Case for Teaching Multiple Representations of the Church-Turing Thesis.	SIGCSE (1)	2022	DBLP DOI BibTeX RDF
14	Lewis Tseng, Qinzi Zhang	Brief Announcement: Computability and Anonymous Storage-Efficient Consensus with an Abstract MAC Layer.	PODC	2022	DBLP DOI BibTeX RDF
14	Iosif Petrakis	Computability Models over Categories and Presheaves.	LFCS	2022	DBLP DOI BibTeX RDF
14	Yannick Forster 0002	Parametric Church's Thesis: Synthetic Computability Without Choice.	LFCS	2022	DBLP DOI BibTeX RDF
14	Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach	A Computability Perspective on (Verified) Machine Learning.	WADT	2022	DBLP DOI BibTeX RDF
14	Jonathan Sterling	First Steps in Synthetic Tait Computability: The Objective Metatheory of Cubical Type Theory.		2022	DOI RDF
14	Sajad Saeedinaeeni	Universal Codes for Broadcast Systems with Physical Layer Security and Their Algorithmic Computability in Quantum Information Theory.		2022	RDF
14	Karen Seidel 0001	Modelling binary classification with computability theory (Binäre Klassifikation modellieren mit Berechenbarkeitstheorie) (PDF / PS)		2022	RDF
14	Jetze Zoethout	Computability Models and Realizability Toposes.		2022	RDF
14	Ethan Brauer	The dependence of computability on numerical notations.	Synth.	2021	DBLP DOI BibTeX RDF
14	Joost Engelfriet	Computability by monadic second-order logic.	Inf. Process. Lett.	2021	DBLP DOI BibTeX RDF
14	Ruichuan Zhang, Nora M. El-Gohary	Clustering-Based Approach for Building Code Computability Analysis.	J. Comput. Civ. Eng.	2021	DBLP DOI BibTeX RDF
14	Justin Miller	Intrinsic density, asymptotic computability, and stochasticity.	Bull. Symb. Log.	2021	DBLP DOI BibTeX RDF
14	Zvi Retchkiman Königsberg	Analog Algorithms with Discontinuous States and Non-Unique Evolution Operators: Computability and Stability.	Computación y Sistemas	2021	DBLP DOI BibTeX RDF
14	Manuel Alfonseca 0001, Manuel Cebrián, Antonio Fernández Anta, Lorenzo Coviello, Andrés Abeliuk, Iyad Rahwan	Superintelligence Cannot be Contained: Lessons from Computability Theory.	J. Artif. Intell. Res.	2021	DBLP DOI BibTeX RDF
14	Matea Celar, Zvonko Iljazovic	Computability of Products of Chainable Continua.	Theory Comput. Syst.	2021	DBLP DOI BibTeX RDF
14	Holger Boche, Ullrich J. Mönich	Algorithmic Computability of the Signal Bandwidth.	IEEE Trans. Inf. Theory	2021	DBLP DOI BibTeX RDF
14	Holger Boche, Christian Deppe	Computability of the Channel Reliability Function and Related Bounds.	CoRR	2021	DBLP BibTeX RDF
14	Takayuki Kihara	Lawvere-Tierney topologies for computability theorists.	CoRR	2021	DBLP BibTeX RDF
14	Tonicha Crook, Jay Paul Morgan, Arno Pauly, Markus Roggenbach	A Computability Perspective on (Verified) Machine Learning.	CoRR	2021	DBLP BibTeX RDF
14	Léo Exibard, Emmanuel Filiot, Nathan Lhote, Pierre-Alain Reynier	Computability of Data-Word Transductions over Different Data Domains.	CoRR	2021	DBLP BibTeX RDF
14	Keehang Kwon	Computability-logic web: an alternative to deep learning.	CoRR	2021	DBLP BibTeX RDF
14	Elija Perrier	Computability, Complexity, Consistency and Controllability: A Four C's Framework for cross-disciplinary Ethical Algorithm Research.	CoRR	2021	DBLP BibTeX RDF
14	Airin Antony	Resource dependent undecidability: computability landscape of distinct Turing theories.	CoRR	2021	DBLP BibTeX RDF
14	Vladimir V. V'yugin	Degrees of randomized computability: decomposition into atoms.	CoRR	2021	DBLP BibTeX RDF
14	Robert Cardona, Eva Miranda, Daniel Peralta-Salas	Computability and Beltrami fields in Euclidean space.	CoRR	2021	DBLP BibTeX RDF
14	Simon Becker, Jonathan Sewell, Euan Tebbutt	Computability of magnetic Schrödinger and Hartree equations on unbounded domains.	CoRR	2021	DBLP BibTeX RDF
14	Daniel Silva Graça, Ning Zhong 0002	Robustness of non-computability.	CoRR	2021	DBLP BibTeX RDF
14	Yannick Forster 0002	Parametric Church's Thesis: Synthetic Computability without Choice.	CoRR	2021	DBLP BibTeX RDF
14	Antonis Achilleos, Mathias Ruggaard Pedersen	Axiomatizations and Computability of Weighted Monadic Second-Order Logic.	CoRR	2021	DBLP BibTeX RDF
14	Konrad Burnik, Zvonko Iljazovic	Dense computability structures.	J. Complex.	2021	DBLP DOI BibTeX RDF
14	Noam Greenberg, Matthew Harrison-Trainor, Alexander G. Melnikov, Dan Turetsky	Non-density in punctual computability.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
14	Erick Galinkin	Review of The Foundations of Computability Theory (Second Edition) by Borut Robič.	SIGACT News	2021	DBLP DOI BibTeX RDF
14	Michel Raynal	Distributed Computability: A Few Results Masters Students Should Know.	SIGACT News	2021	DBLP DOI BibTeX RDF
14	Dan Alistarh	Distributed Computing Column 82 Distributed Computability: A Few Results Masters Students Should Know.	SIGACT News	2021	DBLP DOI BibTeX RDF
14	Peter Pagin	Compositionality, Computability, and Complexity.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
14	Dag Normann, Sam Sanders	The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
14	Diogo Poças, Jeffery I. Zucker	Tracking computability of GPAC-generable functions.	J. Log. Comput.	2021	DBLP DOI BibTeX RDF
14	Aleksander Ivanov	Sofic profiles of S(ømega ) and computability.	Arch. Math. Log.	2021	DBLP DOI BibTeX RDF
14	Éric Goubault, Jérémy Ledent, Sergio Rajsbaum	A simplicial complex model for dynamic epistemic logic to study distributed task computability.	Inf. Comput.	2021	DBLP DOI BibTeX RDF
14	Matteo Pascucci, Giovanni Sileno	Computability of Diagrammatic Theories for Normative Positions.	JURIX	2021	DBLP DOI BibTeX RDF
14	Antonis Achilleos, Mathias Ruggaard Pedersen	Axiomatizations and Computability of Weighted Monadic Second-Order Logic.	LICS	2021	DBLP DOI BibTeX RDF
14	Rupak Majumdar, Sadegh Soudjani	The computability of LQR and LQG control.	HSCC	2021	DBLP DOI BibTeX RDF
14	Holger Boche, Christian Deppe	Computability of the Zero-Error Capacity of Noisy Channels.	ITW	2021	DBLP DOI BibTeX RDF
14	Ganesh Gopalakrishnan, Rick Neff	Automata and Computability Education via Jove.	SIGCSE	2021	DBLP DOI BibTeX RDF
14	Rucha Kulkarni, Ruta Mehta, Setareh Taki	Indivisible Mixed Manna: On the Computability of MMS+PO Allocations.	EC	2021	DBLP DOI BibTeX RDF
14	Yuan He 0003	Topological Characterization of Distributed Computability.		2021	RDF
14	Yannick Forster 0002	Computability in constructive type theory.		2021	RDF
14	Tomoyuki Yamakami	A Schematic Definition of quantum Polynomial Time Computability.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
14	Matthew Harrison-Trainor, Alexander G. Melnikov, Keng Meng Ng	Computability of Polish Spaces up to Homeomorphism.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
14	Arman Darbinyan	Computability, Orders, and Solvable Groups.	J. Symb. Log.	2020	DBLP DOI BibTeX RDF
14	Holger Boche, Rafael F. Schaefer, H. Vincent Poor	Shannon meets Turing: Non-computability and non-approximability of the finite state channel capacity.	Commun. Inf. Syst.	2020	DBLP DOI BibTeX RDF
14	Giorgi Japaridze	Fundamentals of Computability Logic.	FLAP	2020	DBLP BibTeX RDF
14	Sebastiaan A. Terwijn	Computability in Partial Combinatory Algebras.	Bull. Symb. Log.	2020	DBLP DOI BibTeX RDF
14		WORKSHOP ON COMPUTABILITY THEORY (WCT 2019) COSPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Leeds, UK July 22-23, 2019.	Bull. Symb. Log.	2020	DBLP DOI BibTeX RDF
14	Zvonko Iljazovic	Computability of graphs.	Math. Log. Q.	2020	DBLP DOI BibTeX RDF
14	Zvi Retchkiman Königsberg	Axiomatization, Computability and Stability for Discrete Event Time Algorithms.	Computación y Sistemas	2020	DBLP DOI BibTeX RDF
14	Rodney G. Downey, Matthew Harrison-Trainor, Iskander Sh. Kalimullin, Alexander G. Melnikov, Daniel Turetsky	Graphs are not universal for online computability.	J. Comput. Syst. Sci.	2020	DBLP DOI BibTeX RDF
14	Holger Boche, Rafael F. Schaefer, H. Vincent Poor	Identification Capacity of Channels With Feedback: Discontinuity Behavior, Super-Activation, and Turing Computability.	IEEE Trans. Inf. Theory	2020	DBLP DOI BibTeX RDF
14	Holger Boche, Christian Deppe	Computability of the Zero-Error capacity with Kolmogorov Oracle.	CoRR	2020	DBLP BibTeX RDF
14	Keehang Kwon	Implementing Agent-Based Systems via Computability Logic CL2.	CoRR	2020	DBLP BibTeX RDF
14		Turing analogues of Gödel statements and computability of intelligence.	CoRR	2020	DBLP BibTeX RDF
14	Jonathan Leake, Nisheeth K. Vishnoi	On the Computability of Continuous Maximum Entropy Distributions: Adjoint Orbits of Lie Groups.	CoRR	2020	DBLP BibTeX RDF
14	Petr Kuznetsov, Thibault Rieutord, Yuan He 0003	An Asynchronous Computability Theorem for Fair Adversaries.	CoRR	2020	DBLP BibTeX RDF
14	Fedor Manin	Rational homotopy type and computability.	CoRR	2020	DBLP BibTeX RDF
14	Joost Engelfriet	Computability by Monadic Second-Order Logic.	CoRR	2020	DBLP BibTeX RDF
14	Holger Boche, Rafael F. Schaefer, H. Vincent Poor	Shannon Meets Turing: Non-Computability and Non-Approximability of the Finite State Channel Capacity.	CoRR	2020	DBLP BibTeX RDF
14	Mee Seong Im, Venkat R. Dasari	Genetic optimization algorithms applied toward mission computability models.	CoRR	2020	DBLP BibTeX RDF
14	Margarita V. Korovina, Oleg V. Kudinov	On the computability of ordered fields.	CoRR	2020	DBLP BibTeX RDF
14	Holger Boche, Christian Deppe	Computability of the Zero-Error Capacity of Noisy Channels.	CoRR	2020	DBLP BibTeX RDF
14	Frédéric Prost	The Epistemic Landscape: a Computability Perspective.	CoRR	2020	DBLP BibTeX RDF
14	Jonathan Leake, Nisheeth K. Vishnoi	On the computability of continuous maximum entropy distributions with applications.	CoRR	2020	DBLP BibTeX RDF
14	Reda Marzouk	On Computability, Learnability and Extractability of Finite State Machines from Recurrent Neural Networks.	CoRR	2020	DBLP BibTeX RDF
14	Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier	On Computability of Data Word Functions Defined by Transducers.	CoRR	2020	DBLP BibTeX RDF
14	Holger Boche, Ullrich J. Mönich	Turing Computability of Fourier Transforms of Bandlimited and Discrete Signals.	IEEE Trans. Signal Process.	2020	DBLP DOI BibTeX RDF
14	Dag Normann, Sam Sanders	Pincherle's theorem in reverse mathematics and computability theory.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
14	Marko Horvat, Zvonko Iljazovic, Bojan Pazek	Computability of pseudo-cubes.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
14	Jun Le Goh	Embeddings between well-orderings: Computability-theoretic reductions.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
14	Lane A. Hemaspaandra	SIGACT News Complexity Theory Column 106: Teaching Models, Computability, and Complexity in Time of COVID-19.	SIGACT News	2020	DBLP DOI BibTeX RDF
14	Dag Normann, Sam Sanders	Open sets in computability theory and reverse mathematics.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF
14	Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky	An introduction to feedback Turing computability.	J. Log. Comput.	2020	DBLP DOI BibTeX RDF