Mostrando 1 - 15
de 708 publicaciones encontradas
-
A Lean Mechanization of Reversible Occurrence Nets
Lecture notes in computer science0 citas Ver Artículo -
Compositional Design, Implementation, and Verification of Swarms
01 Ene 2026 Hernan Claudio Melgratti Florian Furbach, Lucas Clorius, Roland Kuhn, Hernán Melgratti, Alceste Scalas, Emilio TuostoOpen MIND0 citas Ver Artículo -
Compositional Design, Implementation, and Verification of Swarms (Artifact)
01 Ene 2026 Hernan Claudio Melgratti Lucas Clorius, Florian Furbach, Roland Kuhn, Hernán Melgratti, Alceste Scalas, Emilio TuostoDROPS (Schloss Dagstuhl – Leibniz Center for Informatics)0 citas Ver Artículo -
Compositional Design, Implementation, and Verification of Swarms (Technical Report)
17 Abr 2026 Hernan Claudio Melgratti Florian Furbach, Lucas Clorius, Roland Kuhn, Hernán Melgratti, Alceste Scalas, Emilio TuostoarXiv (Cornell University)0 citas Ver Artículo -
On Reversibility in Petri Nets
Lecture notes in computer science0 citas Ver Artículo -
JoinActors: A Modular Library for Actors with Join Patterns
05 Mar 2026 Hernan Claudio Melgratti Ayman Hussein, Philipp Haller, Ioannis Karras, Hernán Melgratti, Alceste Scalas, Emilio TuostoarXiv (Cornell University)0 citas Ver Artículo -
Accepted Artifact for "JoinActors: A Modular Library for Actors with Join Patterns"
29 Ene 2026 Hernan Claudio Melgratti Ayman Hussein, Ioannis Karras, Philipp Haller, Hernán Melgratti, Alceste Scalas, Emilio TuostoZenodo (CERN European Organization for Nuclear Research)0 citas Ver Artículo -
Compositional Design, Implementation, and Verification of Swarms: Artifact
06 May 2026 Hernan Claudio Melgratti Lucas Clorius, Florian Furbach, Alceste Scalas, Roland Kuhn, Hernán Melgratti, Emilio TuostoZenodo (CERN European Organization for Nuclear Research)0 citas Ver Artículo -
QomL'aqtaqa: A Qom–Spanish Parallel Corpus for Natural Language Processing with Machine Translation Evaluation
19 Jun 2026 Viviana Erica Cotik Association for Computational Linguistics 2026, Viviana Cotik, Paola Cúneo, Алексей Кораблев, Pablo LacianaUnderline Science Inc.0 citas Ver Artículo -
DialogPII: A multilingual dataset of synthetic dialog transcripts to detect personal information
29 Jun 2026 Viviana Erica Cotik Roland Roller, Vera Czehmann, Derya Erman, Luke Flanagan, Ibrahim Baroud, Frédéric Blain, Viviana Cotik, Eletta Giusto,…arXiv (Cornell University)0 citas Ver Artículo -
DialogPII - Multilingual Synthetic Dialogs and Transcripts Annotated for Personally Identifiable Information
25 Jun 2026 Viviana Erica Cotik Roland Roller, Vera Czehmann, Derya Erman, Luke Flanagan, Ibrahim Baroud, Frédéric Blain, Viviana Cotik, Eletta Giusto,…Zenodo (CERN European Organization for Nuclear Research)0 citas Ver Artículo -
DrugBench: Evaluating AI Control Protocols for Medication Harm Mitigation
arXiv (Cornell University)0 citas Ver Artículo -
Measuring the largest coefficients of a quantum state
2026 Ariel Martín Bendersky Nicolás Ciancaglini, Santiago Cifuentes, Guido Bellomo, Santiago Figueira, Ariel BenderskyarXiv (Cornell University)0 citas Ver Artículo -
1 citas Ver Artículo