Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
96 | Artiom Alhazov, Rudolf Freund, Marion Oswald, Sergey Verlan |
Partial Halting in P Systems Using Membrane Rules with Permitting Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, pp. 110-121, 2007, Springer, 978-3-540-74592-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
computational completeness, halting, minimal parallelism, permitting context, P systems |
84 | Kristofer Johannisson |
Formalizing the Halting Problem in a Constructive Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, pp. 145-159, 2000, Springer, 3-540-43287-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
84 | Kohtaro Tadaki |
Chaitin Omega Numbers and Halting Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 447-456, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algorithmic information theory, Chaitin ? number, program-size complexity, algorithmic randomness, Turing reduction, halting problem |
84 | Christine Gaßner |
A Hierarchy below the Halting Problem for Additive Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 43(3-4), pp. 464-470, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
BSS model, Additive machines, Post’s problem, Turing degrees, Halting problem |
71 | Jerzy Mycka, Francisco Coelho, José Félix Costa |
The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings, pp. 195-206, 2006, Springer, 3-540-38593-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Verónica Becher, Santiago Figueira |
Kolmogorov Complexity for Possibly Infinite Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Lang. Inf. ![In: J. Log. Lang. Inf. 14(2), pp. 133-148, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
infinite computations, monotone machines, non-effective computations, program-size complexity, Kolmogorov complexity, Turing machines |
58 | Masanao Ozawa |
Halting of Quantum Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UMC ![In: Unconventional Models of Computation, Third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002, Proceedings, pp. 58-65, 2002, Springer, 3-540-44311-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | James D. Balfour, R. C. Halting, William J. Dally |
Operand Registers and Explicit Operand Forwarding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Comput. Archit. Lett. ![In: IEEE Comput. Archit. Lett. 8(2), pp. 60-63, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Philip K. Hooper |
Monogenic Post Normal Systems of Arbitrary Degree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 13(3), pp. 359-363, 1966. The full citation details ...](Pics/full.jpeg) |
1966 |
DBLP DOI BibTeX RDF |
|
51 | William B. Langdon, Riccardo Poli |
Mapping non-conventional extensions of genetic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 7(1), pp. 21-43, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Markov analysis of program search spaces, Any time computation, Entropy and irreversible loss of information, Program convergence, Halting probability genetic algorithms, Genetic programming, Turing complete, Program termination |
51 | Alexey V. Chernov, Jürgen Schmidhuber |
Prefix-Like Complexities and Computability in the Limit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 85-93, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
limit computability, generalized Turing machine, non-halting computation, Kolmogorov complexity |
46 | Klaus Meer, Martin Ziegler 0001 |
Uncomputability Below the Real Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 368-377, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
46 | Chuanjun Zhang, Frank Vahid, Jun Yang 0002, Walid A. Najjar |
A way-halting cache for low-energy high-performance systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Archit. Code Optim. ![In: ACM Trans. Archit. Code Optim. 2(1), pp. 34-54, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
embedded systems, low power, Cache, dynamic optimization, low energy |
46 | Sven Köhler 0001, Christian Schindelhauer, Martin Ziegler 0001 |
On Approximating Real-World Halting Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings, pp. 454-466, 2005, Springer, 3-540-28193-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
46 | Chuanjun Zhang, Frank Vahid, Jun Yang 0002, Walid A. Najjar |
A way-halting cache for low-energy high-performance systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2004 International Symposium on Low Power Electronics and Design, 2004, Newport Beach, California, USA, August 9-11, 2004, pp. 126-131, 2004, ACM. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
low power techniques, cache design |
46 | Nikil Mehta, Brian Singer, R. Iris Bahar, Michael Leuchtenburg, Richard S. Weiss |
Fetch Halting on Critical Load Misses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 22nd IEEE International Conference on Computer Design: VLSI in Computers & Processors (ICCD 2004), 11-13 October 2004, San Jose, CA, USA, Proceedings, pp. 244-249, 2004, IEEE Computer Society, 0-7695-2231-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
46 | Philippe Devienne, Patrick Lebègue, Jean-Christophe Routier |
Halting Problem of One Binary Horn Clause is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 93, 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993, Proceedings, pp. 48-57, 1993, Springer, 3-540-56503-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
41 | Katarzyna Krzyzanska |
Exploring Halting Times for Unconventional Halting Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 27(1), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
41 | George Barmpalias, Andrew Lewis-Pye |
Computing halting probabilities from other halting probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 660, pp. 16-22, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
41 | George Barmpalias, Andrew Lewis-Pye |
Computing halting probabilities from other halting probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1602.06395, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
41 | Maurice Margenstern |
Universality and the Halting Problem for Cellular Automata in Hyperbolic Spaces: The Side of the Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UCNC ![In: Unconventional Computation and Natural Computation - 11th International Conference, UCNC 2012, Orléan, France, September 3-7, 2012. Proceedings, pp. 12-33, 2012, Springer, 978-3-642-32893-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
41 | Kohtaro Tadaki |
A Generalization of Chaitin's Halting Probability \Omega and Halting Self-Similar Sets ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR nlin.CD/0212001, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
38 | Sanjay Jain 0001, Frank Stephan 0001, Jason Teutsch |
Index Sets and Universal Numberings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings, pp. 270-279, 2009, Springer, 978-3-642-03072-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | Riccardo Poli |
Genetic programming theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2010, Proceedings, Portland, Oregon, USA, July 7-11, 2010, Companion Material, pp. 2473-2502, 2010, ACM, 978-1-4503-0073-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
halting probability, program search spaces, genetic programming, theory |
38 | Liesbeth De Mol |
Study of Limits of Solvability in Tag Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MCU ![In: Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings, pp. 170-181, 2007, Springer, 978-3-540-74592-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Limits of solvability, Reachability problem, Tag Systems, Halting Problem |
38 | Naél Hirzalla, Benjamin Falchuk, Ahmed Karmouch |
A Temporal Model for Interactive Multimedia Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 2(3), pp. 24-31, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
active multimedia, scenario representation, non-halting options, scenario, user interaction, multimedia document, temporal relationships |
33 | Yijia Chen, Jörg Flum |
A Logic for PTIME and a Parameterized Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, LICS 2009, 11-14 August 2009, Los Angeles, CA, USA, pp. 397-406, 2009, IEEE Computer Society, 978-0-7695-3746-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Markus Beyreder, Rudolf Freund |
Membrane Systems Using Noncooperative Rules with Unconditional Halting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers, pp. 129-136, 2008, Springer, 978-3-540-95884-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Olivier Teytaud |
Conditioning, Halting Criteria and Choosing lambda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artificial Evolution ![In: Artificial Evolution, 8th International Conference, Evolution Artificielle, EA 2007, Tours, France, October 29-31, 2007, Revised Selected Papers, pp. 196-206, 2007, Springer, 978-3-540-79304-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Philip D. Welch |
Non-deterministic Halting Times for Hamkins-Kidder Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 571-574, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Torkel Franzén |
What Does the Incompleteness Theorem Add to the Unsolvability of the Halting Problem? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings, pp. 198-198, 2006, Springer, 3-540-35466-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | William B. Langdon, Riccardo Poli |
The Halting Probability in Von Neumann Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming, 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006, Proceedings, pp. 225-237, 2006, Springer, 3-540-33143-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Antti Ylikoski |
The halting problem on finite and infinite computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 36(1), pp. 132-138, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Yu-Kwong Kwok, Rohit Tripathi 0002, Yu Chen 0002, Kai Hwang 0001 |
HAWK: Halting Anomalies with Weighted Choking to Rescue Well-Behaved TCP Sessions from Shrew DDoS Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCNMC ![In: Networking and Mobile Computing, Third International Conference, ICCNMC 2005, Zhangjiajie, China, August 2-4, 2005, Proceedings, pp. 423-432, 2005, Springer, 3-540-28102-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Thierry Joly |
Encoding of the Halting Problem into the Monster Type & Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLCA ![In: Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings., pp. 153-166, 2003, Springer, 3-540-40332-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
33 | Stål Aanderaa, Patrick C. Fischer |
The Solvability of the Halting Problem for 2-State Post Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 14(4), pp. 677-682, 1967. The full citation details ...](Pics/full.jpeg) |
1967 |
DBLP DOI BibTeX RDF |
|
25 | Markus Mueller |
Strongly Universal Quantum Turing Machines and Invariance of Kolmogorov Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(2), pp. 763-780, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
25 | Wolfgang Merkle, Frank Stephan 0001 |
On C-Degrees, H-Degrees and T-Degrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCC ![In: 22nd Annual IEEE Conference on Computational Complexity (CCC 2007), 13-16 June 2007, San Diego, California, USA, pp. 60-69, 2007, IEEE Computer Society, 0-7695-2780-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
25 | William B. Langdon |
Mapping Non-conventional Extensions of Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UC ![In: Unconventional Computation, 5th International Conference, UC 2006, York, UK, September 4-8, 2006, Proceedings, pp. 166-180, 2006, Springer, 3-540-38593-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
25 | Marc Bezem |
On the Undecidability of Coherent Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Processes, Terms and Cycles ![In: Processes, Terms and Cycles: Steps on the Road to Infinity, Essays Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday, pp. 6-13, 2005, Springer, 3-540-30911-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Klaus Meer, Martin Ziegler 0001 |
An Explicit Solution to Post's Problem over the Reals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings, pp. 467-478, 2005, Springer, 3-540-28193-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Artiom Alhazov, Rudolf Freund, Yurii Rogozhin |
Computational Power of Symport/Antiport: History, Advances, and Open Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers, pp. 1-30, 2005, Springer, 3-540-30948-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
25 | Artiom Alhazov, Dragos Sburlan |
Ultimately Confluent Rewriting Systems. Parallel Multiset-Rewriting with Permitting or Forbidding Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Membrane Computing ![In: Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers, pp. 178-189, 2004, Springer, 3-540-25080-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Cristian Calude, Peter Hertling, Bakhadyr Khoussainov, Yongge Wang |
Recursively Enumerable Reals and Chaitin Omega Numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 98, 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998, Proceedings, pp. 596-606, 1998, Springer, 3-540-64230-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
25 | Edmund M. Clarke, Steven M. German, Joseph Y. Halpern |
On Effective Axiomatizations of Hoare Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, USA, January 1982, pp. 309-321, 1982, ACM Press, 0-89791-065-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
25 | Neil D. Jones, Steven S. Muchnick |
Even Simple Programs are Hard to Analyze. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Second ACM Symposium on Principles of Programming Languages, Palo Alto, California, USA, January 1975, pp. 106-118, 1975, ACM Press. The full citation details ...](Pics/full.jpeg) |
1975 |
DBLP DOI BibTeX RDF |
|
25 | John E. Hopcroft, Jeffrey D. Ullman |
Some Results on Tape-Bounded Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 16(1), pp. 168-177, 1969. The full citation details ...](Pics/full.jpeg) |
1969 |
DBLP DOI BibTeX RDF |
|
25 | Arthur Charlesworth |
Comprehending software correctness implies comprehending an intelligence-related limitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 7(3), pp. 590-612, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Peano arithmetic, Zermelo-Fraenkel set theory, infallibility, partial correctness, Agent, consistency, soundness, Hoare logic, Turing machine, limitation, formal proof, halting problem |
25 | Ulisses Ferreira |
The sets of real and complex numbers are denumerable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 36(2), pp. 126-130, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
cantor, foundation of mathematics, foundations of computer science, numbers and sets, real, transfinite, computability, enumerability, mathematics, number theory, philosophy, halting problem |
20 | Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop |
Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 8(POPL), pp. 1509-1539, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Rahul Mishra 0001, Hari Prabhat Gupta |
Designing and Training of Lightweight Neural Networks on Edge Devices Using Early Halting in Knowledge Distillation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Mob. Comput. ![In: IEEE Trans. Mob. Comput. 23(5), pp. 4665-4677, May 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Qian Wu, Ruoxuan Cui, Yuke Li, Haoqi Zhu |
HaltingVT: Adaptive Token Halting Transformer for Efficient Video Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2401.04975, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Jakub Sliwinski, Quentin Kniep, Roger Wattenhofer, Fabian Schaich |
Halting the Solana Blockchain with Epsilon Stake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCN ![In: Proceedings of the 25th International Conference on Distributed Computing and Networking, ICDCN 2024, Chennai, India, January 4-7, 2024, pp. 45-54, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
20 | Courtney Paquette, Bart van Merriënboer, Elliot Paquette, Fabian Pedregosa |
Halting Time is Predictable for Large Models: A Universality Property and Average-Case Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Found. Comput. Math. ![In: Found. Comput. Math. 23(2), pp. 597-673, April 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Nicolas Chataing, Stephen Dolan, Gabriel Scherer, Jeremy Yallop |
Unboxed data constructors - or, how cpp decides a halting problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.07369, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Wesley Cowan, Michael N. Katehakis, Sheldon M. Ross |
Optimal Activation of Halting Multi-Armed Bandit Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2304.10302, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mao Ye 0006, Gregory P. Meyer, Yuning Chai, Qiang Liu 0001 |
Efficient Transformer-based 3D Object Detection with Dynamic Token Halting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2303.05078, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Lusanda M. Mtetwa, Elliasu Y. Salifu, Calvin A. Omolo, Mahmoud E. S. Soliman, Mbuso Faya |
Halting aberrant DNA methylation via in silico Identification of potent inhibitors of DNMT3B enzyme: Atomistic insights. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Chem. ![In: Comput. Biol. Chem. 105, pp. 107909, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Andrej Dudenhefner |
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 19(4), 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mike Stannett |
The Halting Problem is Soluble in Malament-Hogarth Spacetimes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2023, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
20 | Olga Martynova 0001, Alexander Okhotin |
State complexity of transforming graph-walking automata to halting, returning and reversible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 291, pp. 105011, March 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Mao Ye 0006, Gregory P. Meyer, Yuning Chai, Qiang Liu 0001 |
Efficient Transformer-based 3D Object Detection with Dynamic Token Halting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE/CVF International Conference on Computer Vision, ICCV 2023, Paris, France, October 1-6, 2023, pp. 8404-8416, 2023, IEEE, 979-8-3503-0718-4. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Jack P. K. Ma, Sherman S. M. Chow |
SMART Credentials in the Multi-queue of Slackness (or Secure Management of Anonymous Reputation Traits without Global Halting). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroS&P ![In: 8th IEEE European Symposium on Security and Privacy, EuroS&P 2023, Delft, Netherlands, July 3-7, 2023, pp. 896-912, 2023, IEEE, 978-1-6654-6512-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Barry Brown 0001, Mathias Broth, Erik Vinkhuyzen |
The Halting problem: Video analysis of self-driving cars in traffic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems, CHI 2023, Hamburg, Germany, April 23-28, 2023, pp. 12:1-12:14, 2023, ACM, 978-1-4503-9421-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
20 | Yijia Chen, Moritz Müller, Keita Yokoyama |
A parameterized halting problem, Δ0 truth and the MRDP theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2211.06121, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Andrej Dudenhefner |
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2208.13428, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Q. Tyrell Davis, Josh C. Bongard |
Selecting Continuous Life-Like Cellular Automata for Halting Unpredictability: Evolving for Abiogenesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2204.07541, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Rahul Mishra 0001, Hari Prabhat Gupta |
Designing and Training of Lightweight Neural Networks on Edge Devices using Early Halting in Knowledge Distillation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2209.15560, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Q. Tyrell Davis, Josh C. Bongard |
Selecting continuous life-like cellular automata for halting unpredictability: evolving for abiogenesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO Companion ![In: GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9 - 13, 2022, pp. 104-107, 2022, ACM, 978-1-4503-9268-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | Andrej Dudenhefner |
Constructive Many-One Reduction from the Halting Problem to Semi-Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., pp. 18:1-18:19, 2022, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-218-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
20 | M. Vijayakumar, T. S. Shiny Angel |
Performing Attack Halting Process with Digital Pattern and Proactive Model Resolving the Security Issues in IoT Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. Lett. ![In: Pattern Recognit. Lett. 152, pp. 428-435, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Cristian S. Calude |
Incompleteness and the Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 109(5), pp. 1159-1169, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Edgar G. Daylight |
The halting problem and security's language-theoretic approach: Praise and criticism from a technical historian. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 10(2), pp. 141-158, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Salvador Lucas |
The origins of the halting problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 121, pp. 100687, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Lampros Karavidas, Thrasyvoulos Tsiatsos, Stella Douka, Monica Shiakou, Andreas Avgerinos |
Evaluating a Serious Game for Halting Harassment and Abuse in Sports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMCL ![In: New Realities, Mobile Systems and Applications - Proceedings of the 14th IMCL Conference, Virtual Event / Thessaloniki, Greece, 4-5 November 2021, pp. 1107-1114, 2021, Springer, 978-3-030-96295-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
20 | Yibin Xu, Yangyu Huang, Jianhua Shao 0001, George Theodorakopoulos 0001 |
A flexible n/2 adversary node resistant and halting recoverable blockchain sharding protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 32(19), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Rudolf Freund |
How derivation modes and halting conditions may influence the computational power of P systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Membr. Comput. ![In: J. Membr. Comput. 2(1), pp. 14-25, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Gianluca Manzo, Arnout van de Rijt |
Halting SARS-CoV-2 by Targeting High-Contact Individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2005.08907, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Olga Martynova 0001, Alexander Okhotin |
State complexity of halting, returning and reversible graph-walking automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.14856, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Yibin Xu, Yangyu Huang, Jianhua Shao, George Theodorakopoulos 0001 |
A Flexible n/2 Adversary Node Resistant and Halting Recoverable Blockchain Sharding Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2003.06990, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Gianluca Manzo, Arnout van de Rijt |
Halting SARS-CoV-2 by Targeting High-Contact Individuals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Artif. Soc. Soc. Simul. ![In: J. Artif. Soc. Soc. Simul. 23(4), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Yibin Xu, Yangyu Huang, Jianhua Shao, George Theodorakopoulos 0001 |
A Flexible n/2 Adversary Node Resistant and Halting Recoverable Blockchain Sharding Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2020, pp. 323, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
20 | Cristian S. Calude, Monica Dumitrescu |
A statistical anytime algorithm for the Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 9(2), pp. 155-166, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Eric Dietrich, Chris Fields 0001 |
Equivalence of the Frame and Halting Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Algorithms ![In: Algorithms 13(7), pp. 175, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Matthieu Journault, Pascal Lafourcade 0001, Malika More, Rémy Poulain, Léo Robert |
How to Teach the Undecidability of Malware Detection Problem and Halting Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISE ![In: Information Security Education. Information Security in Action - 13th IFIP WG 11.8 World Conference, WISE 13, Maribor, Slovenia, September 21-23, 2020, Proceedings, pp. 159-169, 2020, Springer, 978-3-030-59290-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Hartvigsen, Cansu Sen, Xiangnan Kong, Elke A. Rundensteiner |
Recurrent Halting Chain for Early Multi-label Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: KDD '20: The 26th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Virtual Event, CA, USA, August 23-27, 2020, pp. 1382-1392, 2020, ACM, 978-1-4503-7998-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
20 | Andrew O. Martin |
Local halting criteria for stochastic diffusion search using nature-inspired quorum sensing ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2020 |
DOI RDF |
|
20 | Maurice Margenstern |
A Decidability Result for the Halting of Cellular Automata on the Pentagrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Complex Syst. ![In: Complex Syst. 28(2), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Samuel J. Hansen, Katie L. McMahon, Greig I. de Zubicaray |
Neural Mechanisms for Monitoring and Halting of Spoken Word Production. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Cogn. Neurosci. ![In: J. Cogn. Neurosci. 31(12), pp. 1946-1957, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Bill Stoddart |
The Halting Paradox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.05340, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
20 | Tamer F. Abdelmaguid, Waleed Elrashidy |
Halting decisions for gas pipeline construction projects using AHP: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. ![In: Oper. Res. 19(1), pp. 179-199, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Eli M. Rabani, Lesley A. Perg |
Demonstrably Safe Self-replicating Manufacturing Systems - Banishing the Halting Problem - Organizational and Finite State Machine Control Paradigms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (15) ![In: Augmented Cognition - 13th International Conference, AC 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, pp. 312-330, 2019, Springer, 978-3-030-22418-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Thomas Hartvigsen, Cansu Sen, Xiangnan Kong, Elke A. Rundensteiner |
Adaptive-Halting Policy Network for Early Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the 25th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining, KDD 2019, Anchorage, AK, USA, August 4-8, 2019., pp. 101-110, 2019, ACM, 978-1-4503-6201-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Sebastien Mambou, Ondrej Krejcar, Ali Selamat |
Approximate Outputs of Accelerated Turing Machines Closest to Their Halting Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIIDS (1) ![In: Intelligent Information and Database Systems - 11th Asian Conference, ACIIDS 2019, Yogyakarta, Indonesia, April 8-11, 2019, Proceedings, Part I, pp. 702-713, 2019, Springer, 978-3-030-14798-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
20 | Hannah Cairns |
Some Halting Problems for Abelian Sandpiles Are Undecidable in Dimension Three. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 32(4), pp. 2636-2666, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Maurice Margenstern |
A decidability result for the halting problem of cellular automata in the pentagrid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.03882, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
20 | King Cheong Fung, Ben Kane |
On sign changes of cusp forms and the halting of an algorithm to construct a supersingular elliptic curve with a given endomorphism ring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. ![In: Math. Comput. 87(309), pp. 501-514, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Cristian S. Calude, Monica Dumitrescu |
A probabilistic anytime algorithm for the halting problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. ![In: Comput. 7(2-3), pp. 259-271, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
Formalization of the Undecidability of the Halting Problem for a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 196-209, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
20 | Yijia Chen, Moritz Müller, Keita Yokoyama |
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 235-244, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|