Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Research and Advanced Technology for Digital Libraries: International Conference on Theory and Practice of Digital Libraries, TPDL 2013, Valletta, Malta, September 22-26, 2013, ProceedingsAalberg, Trond ; Papatheodorou, Christos ; Dobreva, Milena ; Tsakonas, Giannis ; Farrugia, Charles J Papatheodorou, Christos ; Dobreva, Milena ; Aalberg, Trond ; Tsakonas, GiannisNetherlands: Springer Nature 2013Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
IoT trust and reputation: a survey and taxonomyAaqib, Muhammad ; Ali, Aftab ; Chen, Liming ; Nibouche, OmarJournal of cloud computing : advances, systems and applications, 2023-12, Vol.12 (1), p.42-20, Article 42 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Text page recognition using Grey-level features and hidden Markov modelsAas, Kjersti ; Eikvil, LinePattern recognition, 1996-06, Vol.29 (6), p.977-985 [Periódico revisado por pares]Oxford: Elsevier LtdTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Development of GEP-based functional relationship for sediment transport in tropical riversAb. Ghani, Aminuddin ; Azamathulla, H. MdNeural computing & applications, 2014-02, Vol.24 (2), p.271-276 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
A cross-layer QoS-aware optimization protocol for guaranteed data streaming over wireless body area networksAbabneh, Nedal ; Timmons, Nicholas ; Morrison, JimTelecommunication systems, 2015-02, Vol.58 (2), p.179-191 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
6 |
Material Type: Livro
|
![]() |
Advances in Speech and Language Technologies for Iberian Languages: Third International Conference, IberSPEECH 2016, Lisbon, Portugal, November 23-25, 2016, ProceedingsAbad, Alberto ; Ortega, Alfonso ; Teixeira, António ; García Mateo, Carmen ; Martínez Hinarejos, Carlos D ; Perdigão, Fernando ; Batista, Fernando ; Mamede, Nuno Teixeira, Ant'nio ; Abad, Alberto ; Ortega, Alfonso ; Garc'a Mateo, CarmenCham: Springer Nature 2016Texto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Knowledge-enhanced software refinement: leveraging reinforcement learning for search-based quality engineeringAbadeh, Maryam NooraeiAutomated software engineering, 2024-11, Vol.31 (2), p.57, Article 57 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Nonclausal deduction in first-order temporal logicABADI, M ; MANNA, ZJournal of the ACM, 1990-04, Vol.37 (2), p.279-317 [Periódico revisado por pares]New York, NY: Association for Computing MachineryTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Secrecy by typing in security protocolsAbadi, MartinJournal of the ACM, 1999-09, Vol.46 (5), p.749-786 [Periódico revisado por pares]New York: Association for Computing MachineryTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Semantics of transactional memory and automatic mutual exclusionAbadi, Martín ; Birrell, Andrew ; Harris, Tim ; Isard, MichaelSIGPLAN notices, 2008-01, Vol.43 (1), p.63-74Texto completo disponível |