MétaCan
ENFR
Menu
Constructeur de cohorte

4 299 418 travaux, canadiens par l’une de quatre routes.

Chaque état de filtre est une URL; l’URL est la requête; la requête est citable via /q/⟨hash⟩. La page, l’API et l’export analysent les mêmes paramètres.

Exporter en CSVExporter en JSONRequête API

La cohorte courante, diffusée en continu depuis la base de données : toutes les colonnes des travaux, les étiquettes machine, les scores provisoires et l'état de validation de chaque rangée. Les exportations sont plafonnées à 100 000 rangées. Crée un lien /q/ permanent pour cette requête exacte. Les mêmes filtres produisent toujours le même lien, qui que soit le demandeur.

Terme de recherche
Auteur ou autrice
Période
→
Ordre
Langue
Type
Domaine
Revue
Sujet
Formal Methods in Verification
Rétractation
Résumé
Source des données probantes
Devis d'étude
Accord des étiquettes
État des étiquettes

Les étiquettes directes de Codex et Gemma sont non validées et clairsemées. Les prédictions distillées couvrent la base complète et sont elles aussi non validées. Choisissez explicitement la source; l'absence d'une étiquette directe n'est jamais une étiquette négative.

affaffiliation
fundbailleur
venuerevue
aboutsujet

Les quatre voies se composent : exigez la voie du financement et excluez l'affiliation pour obtenir la strate financée-seulement qu'aucune base fondée sur l'affiliation ne voit jamais.

1 244 résultats · 1 filtre actif ·
Résultats par année
20002025
Date de publication
Catégories
Étiquettes machine · couverture clairsemée
Preuves
Langue
Type
Citations
Un travail non étiqueté est inconnu, pas un négatif. La couverture est rapportée à chaque requête.
1 244 travaux dans la cohorte · sur 4 299 418page 8 sur 25

Les étiquettes couvrent 3 des 1 244 travaux de cette cohorte. Les autres sont non étiquetés, ce qui n'est pas une étiquette négative : la table des étiquettes est clairsemée aujourd'hui et s'enrichit au fil des rondes d'étiquetage.

Les prédictions distillées couvrent 1 244 des 1 244 travaux de cette cohorte. Ces prédictions portent le statut machine_predicted_unvalidated. Le volet Gemma est une étiquette directe du modèle pour chaque travail (titre seulement); le volet Codex est un classifieur distillé et calibré. Le mode candidate est l'union; le consensus est l'intersection.

affnon étiqueté
Properties and scopes in web model checking
May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari Sahraoui
2005· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
11
citations
affnon étiqueté
Directed Reachability for Infinite-State Systems
Michael Blondin, Christoph Haase, Philip Offtermatt
2021· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
11
citations
affsans résuménon étiqueté
Some notes on the history of protocol engineering
Gregor von Bochmann, D Rayner, Colin H. West
2010· article· en· Computer Networks· Computer Science
prédiction machine:candidate · stsconsensus · aucune
11
citations
affsans résuménon étiqueté
Minimum Witnesses for Unsatisfiable 2CNFs
Joshua Buresh-Oppenheim, David G. M. Mitchell
2006· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
11
citations
afffundnon étiqueté
Points-to analysis using BDDs
Marc Berndl, Ondřej Lhoták, Feng Qian, Laurie Hendren, Navindra Umanee
2003· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Exploiting Circuit Representations in QBF Solving
Alexandra Goultiaeva, Fahiem Bacchus
2010· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
afffundsans résuménon étiqueté
Finding Environment Guarantees
Marsha Chećhik, Mihaela Gheorghiu, Arie Gurfinkel
2007· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Infeasible paths in object-oriented programs
Frank Tip
2013· article· en· Science of Computer Programming· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affnon étiqueté
The SDEval benchmarking toolkit
Albert Heinle, Viktor Levandovskyy
2015· article· en· ACM communications in computer algebra· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Providing Automated Verification in HOL Using MDGs
Tarek Mhamdi, Sofiène Tahar
2004· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affnon étiqueté
Singular value automata and approximate minimization
Borja Balle, Prakash Panangaden, Doina Precup
2019· article· en· Mathematical Structures in Computer Science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Progressive Solutions to a Parallel Automata Equation
Sergey Buffalov, Khaled El‐Fakih, Nina Yevtushenko, Gregor von Bochmann
2003· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
What can we monitor over unreliable channels?
Sean Kauffman, Klaus Havelund, Sebastian Fischmeister
2021· article· en· International Journal on Software Tools for Technology Transfer· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
IC3 - Flipping the E in ICE
Yakir Vizel, Arie Gurfinkel, Sharon Shoham, Sharad Malik
2017· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
afffundnon étiqueté
Abstract Model Repair
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka
2015· article· en· Logical Methods in Computer Science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Delay-Insensitivity and Semi-Modularity
Janusz Brzozowski, Hao Zhang
2000· article· en· Formal Methods in System Design· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
HOW MANY TESTS ARE ENOUGH?
Tim Menzies, Bojan Čukić
2002· book-chapter· en· World Scientific Publishing Company eBooks· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affnon étiqueté
Debugging RTL Using Structural Dominance
Hratch Mangassarian, Long Bao Le, Andreas Veneris
2014· article· en· IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affnon étiqueté
Online Reset for Signal Temporal Logic Monitoring
Zhenya Zhang, Paolo Arcaini, Xuan Xie
2022· article· en· IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affnon étiqueté
Model checking of a real ATM switch
Jianping Lu, Sofiène Tahar, D. Voicu, Xiaoyu Song
2002· article· en· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
affsans résuménon étiqueté
Generating In-Line Monitors for Rabin Automata
Hugues Chabot, Raphaël Khoury, Nadia Tawbi
2009· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction machine:candidate · aucuneconsensus · aucune
10
citations
← précédentsuivant →

En coulisses: Sélection · Constats · À propos