skip to main content
Resultados 1 2 3 4 5 next page
Refinado por: Nome da Publicação: Arxiv.Org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
New classes of spaceable sets of analytic functions on the open unit disk
Material Type:
Artigo
Adicionar ao Meu Espaço

New classes of spaceable sets of analytic functions on the open unit disk

Lourenço, M Lilian ; Vieira, Daniela M

arXiv.org, 2020-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

2
The property (d) and the almost limited completely continuous operators
Material Type:
Artigo
Adicionar ao Meu Espaço

The property (d) and the almost limited completely continuous operators

Lourenço, M L ; Miranda, V C C

arXiv.org, 2022-04

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

3
Thin film and surface preparation chamber for the low energy muons spectrometer
Material Type:
Artigo
Adicionar ao Meu Espaço

Thin film and surface preparation chamber for the low energy muons spectrometer

Teuschl, Hanna ; Angelo Di Bernardo ; Lourenço, Leandro M O ; Prokscha, Thomas ; Vieira, Ricardo B L ; Zaher Salman

arXiv.org, 2022-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

4
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
Material Type:
Artigo
Adicionar ao Meu Espaço

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, Alexander

arXiv.org, 2018-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

5
Lazy State Determination: More concurrency for contending linearizable transactions
Material Type:
Artigo
Adicionar ao Meu Espaço

Lazy State Determination: More concurrency for contending linearizable transactions

Vale, Tiago M ; Leitão, João ; Preguiça, Nuno ; Rodrigues, Rodrigo ; Dias, Ricardo J ; Lourenço, João M

arXiv.org, 2020-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

6
Software tool for automatic detection of solar plages in the Coimbra Observatory spectroheliograms
Material Type:
Artigo
Adicionar ao Meu Espaço

Software tool for automatic detection of solar plages in the Coimbra Observatory spectroheliograms

Barata, T ; Carvalho, S ; Dorotovic, I ; Pinheiro, F ; Garcia, A ; Fernandes, J ; Lourenco, A M

arXiv.org, 2018-11

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

7
Time-Aware Publish/Subscribe for Networks of Mobile Devices
Material Type:
Artigo
Adicionar ao Meu Espaço

Time-Aware Publish/Subscribe for Networks of Mobile Devices

Silva, João A ; Paulino, Hervé ; Lourenço, João M ; Leitão, João ; Preguiça, Nuno

arXiv.org, 2017-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

8
Pot: Deterministic transactional execution
Material Type:
Artigo
Adicionar ao Meu Espaço

Pot: Deterministic transactional execution

Vale, Tiago M ; Silva, João A ; Dias, Ricardo J ; Lourenço, João M

arXiv.org, 2016-12

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

9
Preventing Atomicity Violations with Contracts
Material Type:
Artigo
Adicionar ao Meu Espaço

Preventing Atomicity Violations with Contracts

Sousa, Diogo G ; Dias, Ricardo J ; Ferreira, Carla ; Lourenço, João M

arXiv.org, 2015-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

10
Robust and flexible inference for the covariate-specific ROC curve
Material Type:
Artigo
Adicionar ao Meu Espaço

Robust and flexible inference for the covariate-specific ROC curve

Inacio, Vanda ; Lourenco, Vanda M ; de Carvalho, Miguel ; Parker, Richard A ; Gnanapragasam, Vincent

arXiv.org, 2020-07

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Resultados 1 2 3 4 5 next page

Buscando em bases de dados remotas. Favor aguardar.