A formally verified proof of the prime number theorem
Jeremy Avigad, Kevin Donnelly, David Gray et al. · 2006
Abstract onlyNot checked
Computer Science
Filters3 filters applied
Topic
Status
- No notice
- Not checked
- From publisher notices and Retraction Watch. Not checked means nobody has looked yet.
Year
2,791 papersQuestions on this topic
Fast Simulation of Multicomponent Dynamic Systems
Boris D. Lubachevsky · Bell Labs Technical Journal, Vol.5, No.2, April-June 2000, pp.134-156 · 2006
Abstract onlyNot checked
OpenVanilla - A Non-Intrusive Plug-In Framework of Text Services
Tian-Jian Jiang, Deng-Liu, Kang-min Liu et al. · 2006
Abstract onlyNot checked
Survey propagation: an algorithm for satisfiability
A. Braunstein, M. Mezard, R. Zecchina · Random Structures and Algorithms 27, 201-226 (2005) · 2006
Abstract onlyNot checked
Deductive Algorithmic Knowledge
Riccardo Pucella · Journal of Logic and Computation 16 (2), pp. 287-309, 2006 · 2006
Abstract onlyNot checked
Balanced Overlay Networks (BON): Decentralized Load Balancing via Self-Organized Random Networks
Jesse S. A. Bridgewater, P. Oscar Boykin, Vwani P. Roychowdhury · 2006
Abstract onlyNot checked
Phantom Types and Subtyping
Matthew Fluet, Riccardo Pucella · 2006
Abstract onlyNot checked
Generalized Strong Preservation by Abstract Interpretation
Francesco Ranzato, Francesco Tapparo · 2006
Abstract onlyNot checked
Next Generation Language Resources using GRID
Federico Calzolari, Eva Sassolini, Manuela Sassi et al. · Language Resources and Evaluation Conference LREC 2006 proceedings pp.1858-1861, Genoa [Italy] · 2006
Abstract onlyNot checked
Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming
Ivan Lanese, Ugo Montanari · 2006
Abstract onlyNot checked
A Decidable Probability Logic for Timed Probabilistic Systems
Ruggero Lanotte, Daniele Beauquier · 2006
Abstract onlyNot checked
On the security of the Yen-Guo's domino signal encryption algorithm (DSEA)
Chengqing Li, Shujun Li, Der-Chyuan Lou et al. · Journal of Systems and Software, vol. 79, no. 2, pp. 253-258, 2006 · 2006
Abstract onlyNot checked
Optimal Filtering for DDoS Attacks
Karim El Defrawy, Athina Markopoulou, Katerina Argyraki · 2006
Abstract onlyNot checked
A Logic for Reasoning about Evidence
Joseph Y. Halpern, Riccardo Pucella · Journal of Artificial Intelligence Research 26, pp. 1-34, 2006 · 2006
Abstract onlyNot checked
Grid Vertex-Unfolding Orthogonal Polyhedra
Mirela Damian, Robin Flatland, Joseph O'Rourke · 2006
Abstract onlyNot checked
Meaningful Information
Paul Vitanyi · IEEE Trans. Inform. Th., 52:10(2006), 4617--4626 · 2006
Abstract onlyNot checked
Content Based Image Retrieval with Mobile Agents and Steganography
Sabu. M Thampi, K. Chandra Sekaran · 2006
Abstract onlyNot checked
Non-asymptotic calibration and resolution
Vladimir Vovk · 2006
Abstract onlyNot checked
Architecture of an Open-Sourced, Extensible Data Warehouse Builder: InterBase 6 Data Warehouse Builder (IB-DWB)
Maurice HT Ling, Chi Wai So · Ling, Maurice HT and So, Chi Wai. 2003. Proceedings of the First Australian Undergraduate Students' Computing Conference. (pp. 40-45) · 2006
Abstract onlyNot checked
Finding Traitors in Secure Networks Using Byzantine Agreements
Liam Wagner, Stuart McDonald · 2006
Abstract onlyNot checked