Mostrar 398-417 de um total de 1076 resultados.
< anterior
próximo >
Data | Título | Autor(es) | Tipo | Acesso |
2020 | Fact-Check spreading behavior in twitter: a qualitative profile for false-claim news | Marcondes, Francisco S.; Almeida, J. J.; Durães, Dalila, et al. | Artigo em ata de conferência | Acesso aberto |
15-Mar-2016 | Factoriality and the pin-reutenauer procedure | Almeida, Jorge; Costa, José Carlos; Zeitoun, Marc | Artigo | Acesso aberto |
30-Out-2017 | A fast and verified software stack for secure function evaluation | Almeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles Jacques Denis, et al. | Artigo em ata de conferência | Acesso aberto |
2018 | Fast online analytical processing for Big Data warehousing | Correia, José; Santos, Maribel Yasmina; Costa, Carlos A. P., et al. | Artigo em ata de conferência | Acesso restrito UMinho |
Dez-2018 | Fast Segmentation of the Left Atrial Appendage in 3D Transesophageal Echocardiographic Images | Morais, Pedro André Gonçalves; Queirós, Sandro Filipe Monteiro; Meester, Pieter De, et al. | Artigo | Acesso restrito autor |
2016 | Fatores contextuais dos desafios-chave da auditoria de sistemas de informação | Ribeiro, Adriana Rodrigues | Dissertação de mestrado | Acesso aberto |
1-Ago-2017 | Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution | Almeida, Paulo Sérgio; Baquero, Carlos; Farach-Colton, Martin, et al. | Artigo | Acesso aberto |
25-Abr-2022 | A federated machine learning approach to detect international revenue share fraud on the 5G edge | Ferreira, Luís; Silva, Leopoldo; Pinho, Diana, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
2005 | A first-order ε-approximation algorithm for linear programs and a second-order implementation | Rocha, Ana Maria A. C.; Fernandes, Edite Manuela da G. P.; Soares, João L. C. | Artigo em ata de conferência | Acesso aberto |
Dez-2023 | Fitting a collider in a quantum computer: tackling the challenges of quantum machine learning for big datasets | Peixoto, Miguel Caçador; Castro, Nuno Filipe; Romão, Miguel Crispim, et al. | Artigo | Acesso aberto |
23-Set-2020 | A flexible system for optimising green spaces irrigation | Silva, Sofia; Cardoso, Telmo; Barros, Paulo, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
8-Abr-2024 | Flexible tracing and analysis of applications’ I/O behavior | Esteves, Tânia Conceição Araújo | Tese de doutoramento | Acesso aberto |
2018 | Flexible WSN data gathering through energy-aware adaptive sensing | Silva, João Marco Cardoso; Bispo, Kalil Araujo; Carvalho, Paulo, et al. | Artigo em ata de conferência | Acesso restrito UMinho |
29-Out-2009 | FlexiXML: Um animador de modelos UsiXML | Mendes, Sandrine; Campos, J. Creissac | Artigo em ata de conferência | Acesso aberto |
25-Out-2021 | Flow structures identification through proper orthogonal decomposition: The flow around two distinct cylinders | Ribau, Ângela M.; Gonçalves, Nelson D.; Ferrás, Luís Jorge Lima, et al. | Artigo | Acesso aberto |
2018 | Forecasting student’s preference in E-learning systems | Novais, Paulo; Gonçalves, Filipe Manuel; Durães, Dalila | Artigo em ata de conferência | Acesso restrito UMinho |
26-Set-2018 | Formal description and automatic generation of learning spaces based on ontologies | Martini, Ricardo Giuliani | Tese de doutoramento | Acesso aberto |
2014 | Formal verification of kLIBC with the WP frama-C plug-in | Carvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa, et al. | Artigo em ata de conferência | Acesso aberto |
2014 | Formal verification of safety-critical user interfaces: a space system case study | Sousa, Manuel; Campos, J. Creissac; Alves, Miriam, et al. | Artigo em ata de conferência | Acesso aberto |
28-Mai-2016 | Formalization of the pumping lemma for context-free languages | Ramos, M. V. M.; Queiroz, R. J. G. B. de; Moreira, Nelma, et al. | Artigo | Acesso aberto |