Pourquoi ce travail est dans la base
Une base qui oublie comment elle a trouvé un travail ne peut pas être vérifiée. Voici les voies qui ont admis celui-ci.
Notice bibliographique
Résumé
Foreword This volume contains the Proceedings of MFPS 17, the Seventeenth Conference on the Mathematical Foundations of Programming Semantics. The conference was hosted by the Basic Research in Computer Science and Aarhus University, Aarhus, Denmark, and took place from May 23 through May 26, 2001. MFPS 17 featured invited talks by seven renowned scholars: • Olivier Danvy Aarhus • Joshua Guttman Mitre Corporation • Neil Jones DIKU • Kim Larsen Aalborg • Prakash Panangaden McGill • Jan Rutten CWI • Glynn Winskel Cambridge There also were three special sessions: 1. A session honoring Neil Jones ( DIKU ) organized by Olivier Danvy ( Aarhus ) and David Schmidt ( Kansas State University ). The session began with Olivier Danvy's invited address, and included talks by Radhia Cousot ( Ecole Polytechnique, Paris ), John Hannan ( Penn State ), John Hughes ( Chalmers ), David Schmidt and Peter Sestoft ( ITU and Royal Veterinary and Agricultural University ). 2. A session on model checking organized by Gavin Lowe ( Oxford ). The session began with Kim Parsen's invited address, and included talks by Jose Desharnais ( Laval ), Michael Huth ( Kansas State and Imperial College ), Henrik Jensen ( BRICS ), Marta Kwiatkowska ( Birmingham ) and Gavin Lowe. 3. A session on security organized by Catherine Meadows ( NRL ). The session began with Joshua Guttman's invited address, and included talks by Andrew Gordon ( Microsoft, Cambridge ) and Alan Jeffrey ( DePaul ), Gavin Lowe, Thomas Jensen ( INRIA ), Dusko Pavlovic ( Kestrel ), Catherine Meadows and Andre Scedrov ( Penn ). The remainder of the program was made up of papers selected by the Program Committee from those submitted in response to the Call for Papers that was circulated in Fall, 2000. The Program Committee was co-chaired by Stephen Brookes ( CMU ) and Michael Mislove ( Tulane ) and included Lars Birkedal ( ITU ), Rance Cleaveland ( SUNY, Stony Brook ), Marcelo Fiore ( Cambridge ), Matthew Hennessy ( Sussex ), Alan Jeffrey ( DePaul ), Achim Jung ( Birmingham ), Gavin Lowe ( Oxford ), Catherine Meadows ( NRL ), Peter O'Hearn ( QMW ), Suysan Older ( Syracuse ), Dusko Pavlovic ( Kestrel ), Uday Reddy ( Birmingham ), Giuseppe Rosolini ( Genoa ), Davide Sangiori ( INRIA ) and Andre Scedrov ( Penn ). The Organizers of the MFPS series are Stephen Brookes, Michael Main ( Colorado ), Austin Melton ( Kent State ), Michael Mislove and David Schmidt. The Local Arrangements for the meeting were overseen by Olivier Danvy and Andrzej Filinski, both of BRICS and Aarhus. We are grateful to these colleagues for having so efficiently overseen the local arrangements. We also are happy to acknowledge the exceptional efforts of Karen Kjer Müller, who literally anticipated almost all of the needs of participants, and saw to it that every aspect of the meeting went off without any problems. Finally, we are extremely grateful for the financial support provided by BRICS and by the US Office of Naval Research, without which the meeting could not have taken place. We are particularly grateful to Dr. Ralph Wachter for his continuing interest in the MFPS series and the support his program in Software Systems has provided the series. Stephen Brookes and Michael Mislove, Guest Editors Dedication The Organizers of the MFPS series are pleased to dedicate these Proceedings to Neil Jones for his continuing inspiration to the students and researchers in theoretical computer science. Neil has been a regular participant in the MFPS series, dating from his invited address at MFPS III in 1987. MFPS appreciates the continued inspiration that his teaching and research have provided and that his addresses to the MFPS community have so clearly elucidated.
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Prédiction distillée sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.
Scores Codex et Gemma par catégorie
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,002 | 0,000 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,000 | 0,000 |
| Bibliométrie | 0,000 | 0,002 |
| Études des sciences et des technologies | 0,000 | 0,001 |
| Communication savante | 0,000 | 0,001 |
| Science ouverte | 0,003 | 0,001 |
| Intégrité de la recherche | 0,000 | 0,000 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,000 | 0,000 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découle