Zobrazeno 1 - 10
of 260
pro vyhledávání: '"Soares Tiago"'
We present our work on the collaborative use of dynamic and static analysis tools for the verification of software written in the OCaml language. We build upon Gospel, a specification language for OCaml that can be used both in dynamic and static ana
Externí odkaz:
http://arxiv.org/abs/2407.17289
Autor:
Soares, Tiago, Pereira, Mário
Algebraic effects and handlers are a powerful abstraction to build non-local control-flow mechanisms such as resumable exceptions, lightweight threads, co-routines, generators, and asynchronous I/O. All of such features have very evolved semantics, h
Externí odkaz:
http://arxiv.org/abs/2302.01265
Autor:
Silva, Patrícia Ferreira a, ⁎, Ferreira da Costa, Vinicius Braga a, Dias, Bruno Henriques c, Soares, Tiago André d, e, Bonatto, Benedito Donizeti a, Balestrassi, Pedro Paulo b
Publikováno v:
In Energy 30 December 2024 313
Publikováno v:
In Energy Policy December 2024 195
Publikováno v:
In Acta Astronautica March 2025 228:246-252
Autor:
da Costa, Vinicius Braga Ferreira, Bitencourt, Leonardo, Dias, Bruno Henriques, Soares, Tiago, de Andrade, Jorge Vleberton Bessa, Bonatto, Benedito Donizeti
Publikováno v:
In Renewable and Sustainable Energy Reviews February 2025 208
Autor:
Bausier François, Nestoridi Maria, Samaniego Bruno, Simola Juhani, Wolahan Andrew, Austin Julian, Soares Tiago
Publikováno v:
E3S Web of Conferences, Vol 16, p 13002 (2017)
Due to the increasing risk posed on satellites from space debris, requirements are now being implemented into satellites to be launched in the future to prevent the release of additional debris. One of the key requirements is the electrical passivati
Externí odkaz:
https://doaj.org/article/ec1422f2d13640db96cc531742107eef
Autor:
Costa, Vinicius Braga Ferreira da, Bitencourt, Leonardo, Peters, Pedro, Dias, Bruno Henriques, Soares, Tiago, Silva, Bernardo Marques Amaral, Bonatto, Benedito Donizeti
Publikováno v:
In Journal of Cleaner Production 10 September 2024 470
Autor:
Suriani, Lucia, Caiazzo, Antonio, Ganzer, Britta, Lips, Tobias, Laurenti, Patrice, Lockett, Bradley, Schleutker, Thorn, Soares, Tiago, Beck, James
Publikováno v:
In The Journal of Space Safety Engineering March 2024 11(1):52-66
Current developments in heat pumps, supported by innovative business models, are driving several industry sectors to take a proactive role in future district heating and cooling networks in cities. For instance, supermarkets and data centers have bee
Externí odkaz:
http://arxiv.org/abs/2101.10727