Zobrazeno 1 - 10
of 660
pro vyhledávání: '"COSTA, Diana"'
Autor:
Costa, Diana, Hu, Raymond
Publikováno v:
EPTCS 401, 2024
This volume contains the proceedings of PLACES 2024, the 15th edition of the Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. The PLACES workshop series offers a forum for researchers from different field
Externí odkaz:
http://arxiv.org/abs/2404.03712
We study increasingly expressive type systems, from $F^\mu$ -- an extension of the polymorphic lambda calculus with equirecursive types -- to $F^{\mu;}_\omega$ -- the higher-order polymorphic lambda calculus with equirecursive types and context-free
Externí odkaz:
http://arxiv.org/abs/2301.08659
Autor:
Costa, Diana
Transition systems are often used to describe the behaviour of software systems. If viewed as a graph then, at their most basic level, vertices correspond to the states of a program and each edge represents a transition between states via the (atomic
Externí odkaz:
http://arxiv.org/abs/2203.17179
Publikováno v:
EPTCS 356, 2022, pp. 24-35
We present an extension of System F with higher-order context-free session types. The mixture of functional types with session types has proven to be a challenge for type equivalence formalization: whereas functional type equivalence is often rule-ba
Externí odkaz:
http://arxiv.org/abs/2203.12877
Autor:
Martins, Sara A., Costa, Rui R., Brito, Alexandra, Reis, Rui L., Alves, Natália M., Pashkuleva, Iva, Soares da Costa, Diana
Publikováno v:
In Journal of Colloid And Interface Science 15 November 2024 674:500-512
Autor:
Mineiro, Rafael, Rodrigues Cardoso, Maria, Catarina Duarte, Ana, Santos, Cecília, Cipolla-Neto, Jose, Gaspar do Amaral, Fernanda, Costa, Diana, Quintela, Telma
Publikováno v:
In Frontiers in Neuroendocrinology October 2024 75
Autor:
Mesle, Margaux MI, Brown, Jeremy, Mook, Piers, Katz, Mark A, Hagan, Jose, Pastore, Roberta, Benka, Bernhard, Redlberger-Fritz, Monika, Bossuyt, Nathalie, Stouten, Veerle, Vernemmen, Catharina, Constantinou, Elisabet, Kynčl, Jan, Maly, Marek, Sanca, Ondrej, Krause, Tyra Grove, Vestergaard, Lasse Skafte, Leino, Tuija, Poukka, Eero, Gkolfinopoulou, Kassiani, Mellou, Kassiani, Tsintziloni, Maria, Molnár, Zsuzsanna, Aspelund, Gudrun, Thordardottir, Marianna, Domegan, Lisa, Kelly, Eva, O'Donell, Joan, Sacco, Chiara, Riccardo, Flavia, Urdiales, Alberto Mateo, Bumšteinas, Viktoras, Liausediene, Rasa, Mossong, Joël, Vergison, Anne, Borg, Maria-Louise, Melillo, Tanya, Kocinski, Dragan, Pollozhani, Enkela, Meijerink, Hinta, Costa, Diana, Gomes, João Paulo, Leite, Pedro Pinto, Druc, Alina, Gutu, Veaceslav, Mita, Valentin, Lazar, Mihaela, Popescu, Rodica, Popovici, Odette, Musilová, Monika, Mrzel, Maja, Socan, Maja, Učakar, Veronika, Limia, Aurora, Mazagatos, Clara, Olmedo, Carmen, Dabrera, Gavin, Kall, Meaghan, Sinnathamby, Mary, McMenamin, Jim, McGowan, Graham, Morrison, Kirsty, Nitzan, Dorit, Widdowson, Marc-Alain, Smallwood, Catherine, Pebody, Richard, Meslé, Margaux M I *, Hagan, José, O’Donell, Joan, Urdiales, Alberto-Mateo
Publikováno v:
In The Lancet Respiratory Medicine September 2024 12(9):714-727
Autor:
Correia, Cátia, Peixoto, Daniela, Soares da Costa, Diana, Reis, Rui L., Pashkuleva, Iva, Alves, Natália M.
Publikováno v:
In Biomaterials Advances February 2025 167
Este trabalho apresenta o desenvolvimento, validação e aplicação de um método analítico para a análise multirresíduo de produtos veterinários em leite bovino in natura. Para a determinação dos analitos foi utilizada cromatografia líquida
Autor:
Costa, Diana Isabel de Sousa
Mestrado Integrado em Medicina
Master Degree in Medicine
Master Degree in Medicine
Externí odkaz:
http://hdl.handle.net/10216/52206