Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
New classes of spaceable sets of analytic functions on the open unit diskLourenço, M Lilian ; Vieira, Daniela MarXiv.org, 2020-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
2 |
Material Type: Artigo
|
The property (d) and the almost limited completely continuous operatorsLourenço, M L ; Miranda, V C CarXiv.org, 2022-04Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
3 |
Material Type: Artigo
|
Thin film and surface preparation chamber for the low energy muons spectrometerTeuschl, Hanna ; Angelo Di Bernardo ; Lourenço, Leandro M O ; Prokscha, Thomas ; Vieira, Ricardo B L ; Zaher SalmanarXiv.org, 2022-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
4 |
Material Type: Artigo
|
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)Sánchez, César ; Schneider, Gerardo ; Ahrendt, Wolfgang ; Bartocci, Ezio ; Bianculli, Domenico ; Colombo, Christian ; Falcone, Yliés ; Francalanza, Adrian ; Krstić, Srđan ; Jo\H{a}o M Lourenço ; Nickovic, Dejan ; Pace, Gordon J ; Rufino, Jose ; Signoles, Julien ; Traytel, Dmitriy ; Weiss, AlexanderarXiv.org, 2018-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
5 |
Material Type: Artigo
|
Lazy State Determination: More concurrency for contending linearizable transactionsVale, Tiago M ; Leitão, João ; Preguiça, Nuno ; Rodrigues, Rodrigo ; Dias, Ricardo J ; Lourenço, João MarXiv.org, 2020-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
6 |
Material Type: Artigo
|
Software tool for automatic detection of solar plages in the Coimbra Observatory spectroheliogramsBarata, T ; Carvalho, S ; Dorotovic, I ; Pinheiro, F ; Garcia, A ; Fernandes, J ; Lourenco, A MarXiv.org, 2018-11Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
7 |
Material Type: Artigo
|
Time-Aware Publish/Subscribe for Networks of Mobile DevicesSilva, João A ; Paulino, Hervé ; Lourenço, João M ; Leitão, João ; Preguiça, NunoarXiv.org, 2017-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
8 |
Material Type: Artigo
|
Pot: Deterministic transactional executionVale, Tiago M ; Silva, João A ; Dias, Ricardo J ; Lourenço, João MarXiv.org, 2016-12Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
9 |
Material Type: Artigo
|
Preventing Atomicity Violations with ContractsSousa, Diogo G ; Dias, Ricardo J ; Ferreira, Carla ; Lourenço, João MarXiv.org, 2015-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
|
10 |
Material Type: Artigo
|
Robust and flexible inference for the covariate-specific ROC curveInacio, Vanda ; Lourenco, Vanda M ; de Carvalho, Miguel ; Parker, Richard A ; Gnanapragasam, VincentarXiv.org, 2020-07Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |