Mostrando 16 - 30
de 241 publicaciones encontradas
-
A note on busy beaver bounds
Theoretical Computer Science0 citas Ver Artículo -
Navigating prevalence shifts in image analysis algorithm deployment
2025 Luciana Ferrer Patrick Godau, Piotr Kalinowski, Evangelia Christodoulou, Annika Reinke, Minu D. Tizabi, Luciana Ferrer, Paul F. Jäger,…Medical Image Analysis11 citas Ver Artículo -
Hybrid Intersection Types for PCF
EPiC series in computing0 citas Ver Artículo -
Useful Call-by-Value: A Semantic Interpretation via Quantitative Types
arXiv (Cornell University)0 citas Ver Artículo -
Proof Terms for Higher-Order Rewriting and Their Equivalence
Electronic Proceedings in Theoretical Computer Science0 citas Ver Artículo -
Hybrid Intersection Types for PCF (Extended Version)
arXiv (Cornell University)1 citas Ver Artículo -
Collective Wisdom and the Fermi Method: Improving the Accuracy of Deliberative Groups
2024 Facundo Carrillo Federico Barrera-Lemarchand, Laura Victoria Lescano Charreau, Julieta Ruiz, Nuria Cáceres, Facundo Carrillo, Joaquín Na…SCT Proceedings in Interdisciplinary Insights and Innovations.0 citas Ver Artículo -
Toolkit to Examine Lifelike Language v.2.0: Optimizing Speech Biomarkers of Neurodegeneration
2024 Facundo Carrillo Adolfo M. García, F. Ferrante, Gonzalo Pérez, Joaquín Ponferrada, Alejandro Sosa Welford, Nicolás Pelella, Matías Cacci…Dementia and Geriatric Cognitive Disorders18 citas Ver Artículo -
Challenges in certifying quantum teleportation: moving beyond conventional fidelity benchmark
arXiv (Cornell University)0 citas Ver Artículo -
LOCC convertibility of entangled states in infinite-dimensional systems
2024 Gustavo Martín Bosyk César Massri, Guido Bellomo, Héctor Freytes, Roberto Giuntini, Giuseppe Sergioli, G. M. BosykNew Journal of Physics1 citas Ver Artículo -
Axiomatization of XPath with general data comparison
Journal of Applied Non-Classical Logics0 citas Ver Artículo