Computability, Logic, AI Algorithms
Top publications in Computability, Logic, AI Algorithms across the NobleBlocks index. Open any paper for its abstract, citations, and AI-generated take.
Indexed papers
670
Total citations
3.0K
Latest paper
2026
Top papers
Holographic quantum error-correcting codes: toy models for the bulk/boundary correspondence
Fernando Pastawski, Beni Yoshida, Daniel Harlow, John Preskill
2015· Journal of High Energy Physics771
Quantum-information processing with circuit quantum electrodynamics
Alexandre Blais, Jay Gambetta, Andreas Wallraff, David Schuster +3 more
2007· Physical Review A712
Astrophysical parameters of Galactic open clusters
N. V. Kharchenko, А. Э. Пискунов, S. Röser, E. Schilbach +1 more
2005· Astronomy and Astrophysics626
Memory-efficient algorithms for the verification of temporal properties
C. Courcoubetis, M. Vardi, Pierre Wolper, Mihalis Yannakakis
1992· Formal Methods in System Design497
Programmable computing with a single magnetoresistive element.
A Ney, C Pampuch, R Koch, K H Ploog
2003· Nature382
Halving the cost of quantum addition
Craig Gidney
2018· Quantum236
Data Mining, Rough Sets and Granular Computing
Tsau Young Lin, Yiyu Yao, Lotfi A. Zadeh
2002· Studies in fuzziness and soft computing229
Visual Information Seeking: Tight Coupling of Dynamic Query Filters with Starfield Displays
Christopher Ahlberg, Ben Shneiderman
1995· Elsevier eBooks141
Development of an algorithm for complex processing of geospatial data in the special-purpose geoinformation system in conditions of diversity and uncertainty of data
Oleksandr Koshlan, Olha Salnikova, Mariia Chekhovska, Ruslan Zhyvotovskyi +6 more
2019· Eastern-European Journal of Enterprise Technologies125
New Oxford Textbook of Psychiatry
Alessandro Zuddas, Sara Carucci
2020125
Uncertainties on mean areal precipitation: assessment and impact on streamflow simulations
Lætitia Moulin, Éric Gaumé, Ch. Obled
2008· Hydrology and earth system sciences124
How to sponsor ground-breaking research: a comparison of funding schemes
Thomas Heinze
2008· Science and Public Policy124
Test scheduling and control for VLSI built-in self-test
Gary Craig, C.R. Kine, Kewal K. Saluja
1988· IEEE Transactions on Computers123
Temporal Knowledge Graph Reasoning with Historical Contrastive Learning
Yi Xu, Junjie Ou, Hui Xu, Luoyi Fu
2023· Proceedings of the AAAI Conference on Artificial Intelligence123
Analysis of vulnerabilities in maritime supply chains
Honglu Liu, Zhihong Tian, Anqiang Huang, Zaili Yang
2017· Reliability Engineering & System Safety123
An energy-efficient sleep scheduling mechanism with similarity measure for wireless sensor networks
Runze Wan, Naixue Xiong, Loc Nguyen The
2018· Human-centric Computing and Information Sciences122
An experimental survey on big data frameworks
Wissem Inoubli, Sabeur Aridhi, Haithem Mezni, Mondher Maddouri +1 more
2018· Future Generation Computer Systems122
A comparative study of interface reconstruction methods for multi-material ALE simulations
Milan Kuchařík, Rao Garimella, Samuel P. Schofield, Mikhail Shashkov
2009· Journal of Computational Physics121
Don’t Say That! Making Inconsistent Dialogue Unlikely with Unlikelihood Training
Margaret Li, Stephen Roller, Ilia Kulikov, Sean Welleck +3 more
2020120
Analyzing and Detecting Opinion Spam on a Large-scale Dataset via Temporal and Spatial Patterns
Huayi Li, Zhiyuan Chen, Arjun Mukherjee, Bing Liu +1 more
2021· Proceedings of the International AAAI Conference on Web and Social Media119