Minimizing Working-Group Conflicts in Conference Session Scheduling Through Maximum Satisfiability (Short Paper) [PDF]
This paper explores the application of Maximum Satisfiability (Max-SAT) to the complex problem of conference session scheduling, with a particular focus on minimizing working-group conflicts within the context of the ROADEF conference, the largest French-
Brisoux-Devendeville, Laure +4 more
core +2 more sources
Understanding progress in software citation: a study of software citation in the CORD-19 corpus. [PDF]
PeerJ Comput Sci, 2022 Du C, Cohoon J, Lopez P, Howison J.
europepmc +1 more source
“Valoriser les logiciels de recherche aux côtés de publications et données - exemple d\u27archivage via Hal et Software Heritage” [PDF]
Les logiciels de recherche, dont il est question dans ce document, sont développés pour répondre à des besoins spécifiques de la science. Ils sont conçus, maintenus, et utilisés par des scientifiques (chercheurs et ingénieurs) et institutions de ...
Sadowska, Jozéfina
core
Towards Formally Specifying and Verifying Smart Contract Upgrades in Coq [PDF]
Smart contract upgrades are costly from a verification perspective and can be a meaningful source of vulnerabilities when done incorrectly. Unfortunately, there is no established, formal framework through which one can reason about contracts as they ...
Sorensen, Derek
core +1 more source
The FastECPP algorithm is currently the fastest approach to prove theprimality of general numbers, and has the additional benefit of creatingcertificates that can be checked independently and with a lower complexity.This article shows how by ...
Enge, Andreas
core
Mechanized HOL Reasoning in Set Theory [PDF]
We present a mechanized embedding of higher-order logic (HOL) and algebraic data types (ADTs) into first-order logic with ZFC axioms. Our approach interprets types as sets, with function (arrow) types coinciding with set-theoretic function spaces.
Gambhir, Sankalp +3 more
core +1 more source
Chain of Grounded Objectives: Concise Goal-Oriented Prompting for Code Generation [PDF]
The use of Large Language Models (LLMs) for code generation has gained significant attention in recent years. Existing methods often aim to improve the quality of generated code by incorporating additional contextual information or guidance into input ...
Hwang, Seung-Won +2 more
core +1 more source
Actualité des données de l\u27université de Lorraine [PDF]
L’atelier de la donnée : une offre de service complète à destination de l’ensemble du site universitaire lorrain ▪ Quelques exemples : • Formations aux données sur Arche (ouvertes à tous, créditrices pour les doctorants) • Ateliers thématiques en ligne ...
Bracco, Laetitia
core
A Generalised Union of Rely-Guarantee and Separation Logic Using Permission Algebras [PDF]
This paper describes GenRGSep, an Isabelle/HOL library for the development of RGSep logics using a general algebraic state model. In particular, we develop an algebraic state models based on resource algebras that assume neither the presence of unit ...
Jackson, Vincent +2 more
core +1 more source
Orientability of Undirected Phylogenetic Networks to a Desired Class: Practical Algorithms and Application to Tree-Child Orientation [PDF]
The -Orientation problem asks whether it is possible to orient an undirected graph to a directed phylogenetic network of a desired class , and to find such an orientation if one exists.
Hayamizu, Momoko +2 more
core +1 more source