Search results for "Computability"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Borut Robic	The Foundations of Computability Theory, Second Edition		2020	DOI RDF
14	Oleg Pursky, Tetyana Melnyk, Alexander Kharchenko, Volodymir Gamaliy, Tetyana O. Filimonova	Elements of Concrete Algoritmics: Computability and Solvability. Web-based System for Regional Development Level Evaluation.	UkrPROG	2020	DBLP BibTeX RDF
14	Oleksandr Provotar, Olga Provotar	Elements of Concrete Algorithmics: Computability and Solvability.	UkrPROG	2020	DBLP BibTeX RDF
14	Takeshi Tsukada	On Computability of Logical Approaches to Branching-Time Property Verification of Programs.	LICS	2020	DBLP DOI BibTeX RDF
14	Holger Boche, Ullrich J. Mönich	Computability of the Peak Value of Bandlimited Signals.	ICASSP	2020	DBLP DOI BibTeX RDF
14	Shu-Ming Sun, Ning Zhong 0002, Martin Ziegler 0001	Computability of the Solutions to Navier-Stokes Equations via Effective Approximation.	Complexity and Approximation	2020	DBLP DOI BibTeX RDF
14	Léo Exibard, Emmanuel Filiot, Pierre-Alain Reynier	On Computability of Data Word Functions Defined by Transducers.	FoSSaCS	2020	DBLP DOI BibTeX RDF
14	Holger Boche, Christian Deppe	Computability of the Zero-Error Capacity with Kolmogorov Oracle.	ISIT	2020	DBLP DOI BibTeX RDF
14	Holger Boche, Rafael F. Schaefer, H. Vincent Poor	On the Algorithmic Computability of Achievability and Converse: ϵ-Capacity of Compound Channels and Asymptotic Bounds of Error-Correcting Codes.	ISIT	2020	DBLP DOI BibTeX RDF
14	Olivier Bournez	Computability, Complexity and Programming with Ordinary Differential Equations (Invited Talk).	STACS	2020	DBLP DOI BibTeX RDF
14	Diogo Poças, Jeffery I. Zucker	Tracking Computability of GPAC-Generable Functions.	LFCS	2020	DBLP DOI BibTeX RDF
14	Nathanael L. Ackerman, Cameron E. Freer, Rehana Patel	Computability of Algebraic and Definable Closure.	LFCS	2020	DBLP DOI BibTeX RDF
14	Carole Delporte-Gallet, Hugues Fauconnier, Sergio Rajsbaum	Communication Complexity of Wait-Free Computability in Dynamic Networks.	SIROCCO	2020	DBLP DOI BibTeX RDF
14	Jonathan Leake, Nisheeth K. Vishnoi	On the computability of continuous maximum entropy distributions with applications.	STOC	2020	DBLP DOI BibTeX RDF
14	David Kübel	On some Geometric Search Problems : Algorithms, Complexity, Computability		2020	RDF
14	Dag Normann, Sam Sanders	Computability Theory, Nonstandard Analysis, and their Connections.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
14	Reese Johnston	Computability in uncountable Binary Trees.	J. Symb. Log.	2019	DBLP DOI BibTeX RDF
14	Yinsheng Zhang	Improvements of Categorical Propositions on Consistency and Computability.	J. Multiple Valued Log. Soft Comput.	2019	DBLP BibTeX RDF
14		THIRTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY, COMPLEXITY AND RANDOMNESS (CCR 2018) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Santiago, Chile December 17-21, 2018.	Bull. Symb. Log.	2019	DBLP DOI BibTeX RDF
14	Rose Weisshaar	Some Results in Computability Theory.	Bull. Symb. Log.	2019	DBLP DOI BibTeX RDF
14		THE SIXTEENTH INTERNATIONAL CONFERENCE ON COMPUTABILITY AND COMPLEXITY IN ANALYSIS (CCA 2019) Zagreb, Croatia July 8-11, 2019.	Bull. Symb. Log.	2019	DBLP DOI BibTeX RDF
14	Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy 0001	On the Computability of Conditional Probability.	J. ACM	2019	DBLP DOI BibTeX RDF
14	Poonam Mantry, S. K. Kaushik	Computability of frames in computable Hilbert spaces.	Int. J. Comput. Math. Comput. Syst. Theory	2019	DBLP DOI BibTeX RDF
14	Keehang Kwon	Towards Distributed Logic Programming based on Computability Logic.	CoRR	2019	DBLP BibTeX RDF
14	Keehang Kwon	Extending and Automating Basic Probability Theory with Propositional Computability Logic.	CoRR	2019	DBLP BibTeX RDF
14	Giorgi Japaridze	Fundamentals of computability logic.	CoRR	2019	DBLP BibTeX RDF
14	Silvère Gangloff, Alonso Herrera, Cristobal Rojas, Mathieu Sablik	On the computability properties of topological entropy: a general approach.	CoRR	2019	DBLP BibTeX RDF
14	Bin Yu 0001, Karl Kumbier	Three principles of data science: predictability, computability, and stability (PCS).	CoRR	2019	DBLP BibTeX RDF
14	Rupert Hölzl 0001, Christopher P. Porter	Degrees of Randomized Computability.	CoRR	2019	DBLP BibTeX RDF
14	Sebastiaan A. Terwijn	Computability in partial combinatory algebras.	CoRR	2019	DBLP BibTeX RDF
14	Giorgi Japaridze	Computability logic: Giving Caesar what belongs to Caesar.	CoRR	2019	DBLP BibTeX RDF
14	Pradip Mainali, Carlton Shepherd, Fabien A. P. Petitcolas	Enhancing the Privacy and Computability of Location-Sensitive Data for Context Authentication.	CoRR	2019	DBLP BibTeX RDF
14	Vrunda Dave, Emmanuel Filiot, Shankara Narayanan Krishna, Nathan Lhote	Deciding the Computability of Regular Functions over Infinite Words.	CoRR	2019	DBLP BibTeX RDF
14	Gafurjan I. Ibragimov, Bakh Khoussainov, Arno Pauly	Computability Aspects of Differential Games in Euclidian Spaces.	CoRR	2019	DBLP BibTeX RDF
14	Nathanael L. Ackerman, Cameron E. Freer, Robert S. Lubarsky	Feedback computability on Cantor space.	Log. Methods Comput. Sci.	2019	DBLP DOI BibTeX RDF
14	Holger Boche, Rafael F. Schaefer, Sebastian Baur, H. Vincent Poor	On the Algorithmic Computability of the Secret Key and Authentication Capacity Under Channel, Storage, and Privacy Leakage Constraints.	IEEE Trans. Signal Process.	2019	DBLP DOI BibTeX RDF
14	Holger Boche, Ullrich J. Mönich	Downsampling of Bounded Bandlimited Signals and the Bandlimited Interpolation: Analytic Properties and Computability.	IEEE Trans. Signal Process.	2019	DBLP DOI BibTeX RDF
14	Dag Normann, Sam Sanders	The strength of compactness in Computability Theory and Nonstandard Analysis.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
14	Ekaterina B. Fokina, Valentina S. Harizanov, Daniel Turetsky	Computability-theoretic categoricity and Scott families.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
14	Richard Moot, Christian Retoré	Natural Language Semantics and Computability.	J. Log. Lang. Inf.	2019	DBLP DOI BibTeX RDF
14	Eric P. Astor, Denis R. Hirschfeldt	Dense computability, upper cones, and minimal pairs.	Comput.	2019	DBLP DOI BibTeX RDF
14	Vasco Brattka, Rod Downey, Julia F. Knight, Steffen Lempp	Preface of the special issue for the Oberwolfach Workshop on Computability Theory 2018.	Comput.	2019	DBLP DOI BibTeX RDF
14	Philippe Balbiani, Joseph Boudou	Axiomatization and computability of a variant of iteration-free PDL with fork.	J. Log. Algebraic Methods Program.	2019	DBLP DOI BibTeX RDF
14	Xiang Huang 0001, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz	Real-time computability of real numbers by chemical reaction networks.	Nat. Comput.	2019	DBLP DOI BibTeX RDF
14	Roberto Gorrieri	Toward Distributed Computability Theory.	Carl Adam Petri: Ideas, Personality, Impact	2019	DBLP DOI BibTeX RDF
14	Sam Sanders	Reverse Mathematics and Computability Theory of Domain Theory.	WoLLIC	2019	DBLP DOI BibTeX RDF
14	Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies	Second-Order Linear-Time Computability with Applications to Computable Analysis.	TAMC	2019	DBLP DOI BibTeX RDF
14	Holger Boche, Rafael F. Schaefer, H. Vincent Poor	On the Computability of the Secret Key Capacity under Rate Constraints.	ICASSP	2019	DBLP DOI BibTeX RDF
14	Vijay Kothari, Michael C. Millian	Human-Computability Boundaries (Transcript of Discussion).	Security Protocols Workshop	2019	DBLP DOI BibTeX RDF
14	Vijay H. Kothari, Prashant Anantharaman, Ira Ray Jenkins, Michael C. Millian, J. Peter Brady, Sameed Ali, Sergey Bratus, Jim Blythe, Ross Koppel, Sean W. Smith	Human-Computability Boundaries.	Security Protocols Workshop	2019	DBLP DOI BibTeX RDF
14	Holger Boche, Ullrich J. Mönich	Turing Computability of the Fourier Transform of Bandlimited Functions.	ISIT	2019	DBLP DOI BibTeX RDF
14	Mathieu Hoyrup, Cristobal Rojas, Victor L. Selivanov, Donald M. Stull	Computability on Quasi-Polish Spaces.	DCFS	2019	DBLP DOI BibTeX RDF
14	Rafael F. Schaefer, Holger Boche, H. Vincent Poor	Turing Meets Shannon: On the Algorithmic Computability of the Capacities of Secure Communication Systems (Invited Paper).	SPAWC	2019	DBLP DOI BibTeX RDF
14	Nachum Dershowitz, Zvi Retchkiman Königsberg	Computability and Stability for Hybrid Algorithms.	ICSI (1)	2019	DBLP DOI BibTeX RDF
14	Mario Carneiro	Formalizing Computability Theory via Partial Recursive Functions.	ITP	2019	DBLP DOI BibTeX RDF
14	Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero (eds.)	Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings	CiE	2019	DBLP DOI BibTeX RDF
14	Rafael del Vado Vírseda	Computability and Algorithmic Complexity Questions in Secondary Education.	CompEd	2019	DBLP DOI BibTeX RDF
14	Vikram Saraph	Fault-Tolerant Distributed Computability.		2019	RDF
14	Jérémy Ledent	Geometric semantics for asynchronous computability. (Sémantique géométrique pour la calculabilité asynchrone).		2019	RDF
14	Iskander Sh. Kalimullin, Russell G. Miller, Hans Schoutens	Degree Spectra for Transcendence in Fields.	CiE	2019	DBLP DOI BibTeX RDF
14	Lorenzo Galeotti	Surreal Blum-Shub-Smale Machines.	CiE	2019	DBLP DOI BibTeX RDF
14	Niels Grüttemeier, Christian Komusiewicz, Jannik Schestag, Frank Sommer	Destroying Bicolored P3s by Deleting Few Edges.	CiE	2019	DBLP DOI BibTeX RDF
14	Nikolay Bazhenov 0001, Manat Mustafa, Sergei Ospichev	Bounded Reducibility for Computable Numberings.	CiE	2019	DBLP DOI BibTeX RDF
14	Paul C. Bell, Igor Potapov	Towards Uniform Online Spherical Tessellations.	CiE	2019	DBLP DOI BibTeX RDF
14	Patrick Cégielski, Julien Cervelle	Study of Stepwise Simulation Between ASM.	CiE	2019	DBLP DOI BibTeX RDF
14	Jean-Yves Moyen, Jakob Grue Simonsen	More Intensional Versions of Rice's Theorem.	CiE	2019	DBLP DOI BibTeX RDF
14	Nikolay Bazhenov 0001, Hristo Ganchev, Stefan V. Vatev	Effective Embeddings for Pairs of Structures.	CiE	2019	DBLP DOI BibTeX RDF
14	Kenshi Miyabe	Uniform Relativization.	CiE	2019	DBLP DOI BibTeX RDF
14	Iosif Petrakis	Borel and Baire Sets in Bishop Spaces.	CiE	2019	DBLP DOI BibTeX RDF
14	Felipe Cucker	Recent Advances in the Computation of the Homology of Semialgebraic Sets.	CiE	2019	DBLP DOI BibTeX RDF
14	Rumen D. Dimitrov, Valentina S. Harizanov, Andrei S. Morozov, Paul Shafer, Alexandra A. Soskova, Stefan V. Vatev	Cohesive Powers of Linear Orders.	CiE	2019	DBLP DOI BibTeX RDF
14	Máté Szabó	Kalmár's Argument for the Independence of Computer Science.	CiE	2019	DBLP DOI BibTeX RDF
14	Shaoyi Wang, Guohua Wu, Mars M. Yamaleev	The d.r.e wtt-Degrees are Dense.	CiE	2019	DBLP DOI BibTeX RDF
14	Stefan Klootwijk, Bodo Manthey	Probabilistic Analysis of Facility Location on Random Shortest Path Metrics.	CiE	2019	DBLP DOI BibTeX RDF
14	Ruslan Ishkuvatov, Daniil Musatov	On Approximate Uncomputability of the Kolmogorov Complexity Function.	CiE	2019	DBLP DOI BibTeX RDF
14	Laurent Beaudou, Florent Foucaud, Florent R. Madelaine, Lhouari Nourine, Gaétan Richard	Complexity of Conjunctive Regular Path Query Homomorphisms.	CiE	2019	DBLP DOI BibTeX RDF
14	Florian Bridoux, Nicolas Durbec, Kévin Perrot, Adrien Richard	Complexity of Maximum Fixed Point Problem in Boolean Networks.	CiE	2019	DBLP DOI BibTeX RDF
14	Lorenzo Carlucci, Leonardo Mainardi, Michael Rathjen	A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ).	CiE	2019	DBLP DOI BibTeX RDF
14	Philip D. Welch	Higher Type Recursion for Transfinite Machine Theory.	CiE	2019	DBLP DOI BibTeX RDF
14	Raymond Turner	Correctness, Explanation and Intention.	CiE	2019	DBLP DOI BibTeX RDF
14	Klaus Ambos-Spies, Xizhong Zheng	On the Differences and Sums of Strongly Computably Enumerable Real Numbers.	CiE	2019	DBLP DOI BibTeX RDF
14	Markus Holzer 0001, Martin Kutrib	Non-Recursive Trade-Offs Are "Almost Everywhere".	CiE	2019	DBLP DOI BibTeX RDF
14	Sam Sanders	Nets and Reverse Mathematics - Some Initial Results.	CiE	2019	DBLP DOI BibTeX RDF
14	Bruno Durand 0001, Grégory Lafitte	An algorithmic approach to characterizations of admissibles.	CiE	2019	DBLP DOI BibTeX RDF
14	Jirí Wiedermann, Jan van Leeuwen	Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness.	CiE	2019	DBLP DOI BibTeX RDF
14	Vikram Saraph, Maurice Herlihy, Eli Gafni	An algorithmic approach to the asynchronous computability theorem.	J. Appl. Comput. Topol.	2018	DBLP DOI BibTeX RDF
14	Éric Goubault, Samuel Mimram, Christine Tasson	Geometric and combinatorial views on asynchronous computability.	Distributed Comput.	2018	DBLP DOI BibTeX RDF
14	Ahmet Çevik, Selçuk Topal, Florentin Smarandache	Neutrosophic Computability and Enumeration.	Symmetry	2018	DBLP DOI BibTeX RDF
14	Jan Leike, Marcus Hutter	On the computability of Solomonoff induction and AIXI.	Theor. Comput. Sci.	2018	DBLP DOI BibTeX RDF
14	Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi	Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1).	NII Shonan Meet. Rep.	2018	DBLP BibTeX RDF
14	Mario Carneiro	Formalizing computability theory via partial recursive functions.	CoRR	2018	DBLP BibTeX RDF
14	Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy 0001, Jason M. Rute	On the computability of graphons.	CoRR	2018	DBLP BibTeX RDF
14	Venkat R. Dasari, Mee Seong Im, Billy E. Geerhart	Complexity and mission computability of adaptive computing systems.	CoRR	2018	DBLP BibTeX RDF
14	Tomoyuki Yamakami	A Schematic Definition of Quantum Polynomial Time Computability.	CoRR	2018	DBLP BibTeX RDF
14	Xiang Huang 0001, Titus H. Klinge, James I. Lathrop, Xiaoyuan Li, Jack H. Lutz	Real-Time Computability of Real Numbers by Chemical Reaction Networks.	CoRR	2018	DBLP BibTeX RDF
14		Non-computability of human intelligence.	CoRR	2018	DBLP BibTeX RDF
14	Olivier Bournez, Sabrina Ouazzani	Cheap Non-standard Analysis and Computability.	CoRR	2018	DBLP BibTeX RDF
14		How To Solve Moral Conundrums with Computability Theory.	CoRR	2018	DBLP BibTeX RDF
14	Éric Goubault, Jérémy Ledent, Sergio Rajsbaum	A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability.	GandALF	2018	DBLP DOI BibTeX RDF
14	Alexander Shen	Axiomatic approach to the theory of algorithms and relativized computability.	CoRR	2018	DBLP BibTeX RDF