217 citations
- INESC TECPT5 papers
- University of MinhoPT4 papers
- Consejo Nacional de Investigaciones Científicas y TécnicasAR2 papers
- Gemini South ObservatoryCL2 papers
- Las Campanas ObservatoryCL2 papers
- Universidade Cidade de São PauloBR2 papers
- Universidade de São PauloBR2 papers
- Universidade Estadual de Santa CruzBR2 papers
- Universidade Federal de Minas GeraisBR2 papers
- Universidade Federal de Santa CatarinaBR2 papers
- Universidade Federal do ABCBR2 papers
- Universidade Federal do Rio de JaneiroBR2 papers
12 papers
An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
Renato Neves
We present an adequacy theorem for a concurrent extension of probabilistic GCL. The underlying denotational semantics is based on the so-called mixed powerdomains, which combine no…
Evaluation of the Impact of IBR on the Frequency Dynamics in the Brazilian Power System
Bruno Pinheiro, M. C. Llerena Velasquez, Giovane Faria +3
In this paper, the impact of inverter-based resources (IBRs) on the frequency dynamics of the Brazilian Interconnected Power System (BIPS) is evaluated. A measurement-based framewo…
The syntactic side of autonomous categories enriched over generalised metric spaces
Fredrik Dahlqvist, Renato Neves
Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence e…
PAIO: A Software-Defined Storage Data Plane Framework
Ricardo Macedo, Yusuke Tanimura, Jason Haga +3
We propose PAIO, the first general-purpose framework that enables system designers to build custom-made Software-Defined Storage (SDS) data plane stages. It provides the means to i…
The VISCACHA survey -- III. Star clusters counterpart of the Magellanic Bridge and Counter-Bridge in 8D
B. Dias, M. S. Angelo, R. A. P. Oliveira +15
Context. The interactions between the SMC and LMC created the Magellanic Bridge, a stream of gas and stars pulled out of the SMC towards the LMC about 150 Myr ago. The tidal counte…
Design Approach for Additive Manufacturing in Spare Part Supply Chains
Filipe M. de Brito, Gélson da Cruz Júnior, Enzo M. Frazzon +2
In the current industrial revolution, additive manufacturing (AM) embodies a promising technology that can enhance the effectiveness, adaptability, and competitiveness of supply ch…