MétaCan
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.

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 11 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 mode candidate est l'union; le consensus est l'intersection.

afffundnon étiqueté
Analysis of Non-Linear Probabilistic Hybrid Systems
Joseph Assouramou, Josée Desharnais
2011· article· en· Electronic Proceedings in Theoretical Computer Science· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
afffundnon étiqueté
Fast Approximations of Quantifier Elimination
Isabel Garcia-Contreras, Sharon Shoham, Arie Gurfinkel
2023· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
affnon étiqueté
Probabilistic bisimulation
Prakash Panangaden
2015· article· en· ACM SIGLOG News· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affnon étiqueté
Formal Verification of an Arbiter Circuit
Chao Yan, Mark R. Greenstreet, Jochen Eisinger
2010· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affnon étiqueté
Symbolic pointer analysis revisited
Jianwen Zhu, Silvian Calman
2004· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affnon étiqueté
Fair reactive programming
Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka
2014· article· en· ACM SIGPLAN Notices· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
7
citations
affsans résuménon étiqueté
Teaching Formal Methods: An Experience Report
Mehrnoosh Askarpour, Marcello M. Bersani
2020· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+open_scienceconsensus · aucune
7
citations
affsans résuménon étiqueté
EB2ALL: An Automatic Code Generation Tool
Neeraj Kumar Singh
2013· book-chapter· en· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · insufficient_payload
7
citations
affsans résuménon étiqueté
Modeling of a Speed Control System Using Event-B
Amel Mammar, Marc Frappier
2020· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
7
citations
affnon étiqueté
ROCS
Yinan Li, Jun Liu
2018· article· en· Computer Science
prédiction distillée:candidate · insufficient_payloadconsensus · aucune
7
citations
affsans résuménon étiqueté
How Good is Weak-Stabilization?
Narges Fallahi, Borzoo Bonakdarpour
2013· book-chapter· en· Lecture notes in computer science· Computer Science
prédiction distillée:candidate · metaepi_narrow+scholarly_communicationconsensus · aucune
6
citations
affnon étiqueté
An efficient method for protocol conversion
Z.P. Tao, Gregor von Bochmann, Rachida Dssouli
2002· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
6
citations
affnon étiqueté
BackSpace: Moving Towards Reality
Flavio M. De Paula, Marcel Gort, Alan J. Hu, Steven J. E. Wilton
2008· article· en· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
6
citations
affsans résuménon étiqueté
Modeling and Validation of Aviation Security
Uwe Glässer, Sarah Rastkar, Mona Vajihollahi
2008· book-chapter· en· Studies in computational intelligence· Computer Science
prédiction distillée:candidate · aucuneconsensus · aucune
6
citations
affnon étiqueté
Verification and Validation of Complex Systems
Hussein Youssef
2011· article· en· SAE technical papers on CD-ROM/SAE technical paper series· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
6
citations
afffundnon étiqueté
Variable Reordering and Sifting for QMDD
D. Michael Miller, David Y. Feinstein, Mitchell A. Thornton
2007· article· en· Proceedings/Proceedings - International Symposium on Multiple-Valued Logic· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
6
citations
fundno affnon étiqueté
Correct-by-Design Control of Parametric Stochastic Systems
Oliver Schön, Birgit van Huijgevoort, Sofie Haesaert, Sadegh Soudjani
2022· article· en· 2022 IEEE 61st Conference on Decision and Control (CDC)· Computer Science
prédiction distillée:candidate · metaepi_narrowconsensus · aucune
6
citations

En coulisses: Sélection · Constats · À propos