3.1k citations
- University of LisbonPT73 papers
- Centre National de la Recherche ScientifiqueFR49 papers
- Heidelberg UniversityDE44 papers
- Sorbonne UniversitéFR43 papers
- Justus-Liebig-Universität GießenDE42 papers
- Radboud University NijmegenNL42 papers
- University of EdinburghGB42 papers
- Charles UniversityCZ41 papers
- European Organization for Nuclear ResearchCH41 papers
- New York UniversityUS41 papers
- Stony Brook UniversityUS41 papers
- University of AlbertaCA41 papers
10 papers · 1 filter
Revisiting concurrent separation logic
Pedro Soares, António Ravara, Simão Melo de Sousa
We present a new soundness proof of Concurrent Separation Logic (CSL) based on a structural operational semantics (SOS). We build on two previous proofs and develop new auxiliary n…
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings
Bernardo Toninho, Nobuko Yoshida
This work exploits the logical foundation of session types to determine what kind of type discipline for the pi-calculus can exactly capture, and is captured by, lambda-calculus be…
Effective proton-neutron interaction near the drip line from unbound states in F
M. Vandebrouck, A. Lepailleur, O. Sorlin +107
Background: Odd-odd nuclei, around doubly closed shells, have been extensively used to study proton-neutron interactions. However, the evolution of these interactions as a function…
A Distance Between Populations for n-Points Crossover in Genetic Algorithms
Mauro Castelli, Gianpiero Cattaneo, Luca Manzoni +1
Genetic algorithms (GAs) are an optimization technique that has been successfully used on many real-world problems. There exist different approaches to their theoretical study. In…
Unsure When to Stop? Ask Your Semantic Neighbors
Ivo Gonçalves, Sara Silva, Carlos M. Fonseca +1
In iterative supervised learning algorithms it is common to reach a point in the search where no further induction seems to be possible with the available data. If the search is co…
Optimal control for two-dimensional stochastic second grade fluids
Nikolai Chemetov, Fernanda Cipriano
This article deals with a stochastic control problem for certain fluids of non-Newtonian type. More precisely, the state equation is given by the two-dimensional stochastic second…