• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 363 matches

• 2024
• 
  Luigi Cesarini, Rui Gonçalves, Mario Martina, Xavier Romão, Beatrice Monteleone, Fernando M. Lobo Pereira, Rui Figueiredo:
  Comparison of deep learning models for milk production forecasting at national scale. Comput. Electron. Agric. 221: 108933 (2024)
• 
  Manuel F. Silva, C. Queirós, M. Pereira, Tatiana M. Pinho, Teresa Barroso, Sandro Magalhães, J. Boaventura, Filipe Santos, Mário Cunha, Rui Costa Martins:
  Precision Fertilization: A critical review analysis on sensing technologies for nitrogen, phosphorous and potassium quantification. Comput. Electron. Agric. 224: 109220 (2024)
• 
  Iure Fé, Tuan Anh Nguyen, Mario Di Mauro, Fabio Postiglione, Alex Ramos, André Soares, Eunmi Choi, Dugki Min, Jae-Woo Lee, Francisco Airton Silva:
  Energy-aware dynamic response and efficient consolidation strategies for disaster survivability of cloud microservices architecture. Computing 106(8): 2737-2783 (2024)
• 
  Eduardo Álvarez-Miranda, Jordi Pereira, Mariona Vilà:
  A branch, bound and remember algorithm for maximizing the production rate in the simple assembly line balancing problem. Comput. Oper. Res. 166: 106597 (2024)
• 
  Vinicius N. G. Pereira, Mário César San Felice, Pedro Henrique Del Bianco Hokama, Eduardo Candido Xavier:
  On the Restricted Steiner Multi Cycle Problem. Comput. Oper. Res. 169: 106752 (2024)
• 
  João Luiz Junho Pereira, Kate Smith-Miles, Mario Andrés Muñoz, Ana Carolina Lorena:
  Optimal selection of benchmarking datasets for unbiased machine learning algorithm evaluation. Data Min. Knowl. Discov. 38(2): 461-500 (2024)
• 
  Ricardo Cardoso Pereira, Pedro Henriques Abreu, Pedro Pereira Rodrigues, Mário A. T. Figueiredo:
  Imputation of data Missing Not at Random: Artificial generation and benchmark analysis. Expert Syst. Appl. 249: 123654 (2024)
• 
  Rafael Teixeira, Mário Antunes, Diogo Gomes, Rui L. Aguiar:
  Comparison of Semantic Similarity Models on Constrained Scenarios. Inf. Syst. Frontiers 26(4): 1307-1330 (2024)
• 
  André Cid, Arthur Vangasse, Sofia Pereira Campos, Mário Delunardo, Gilmar Pereira da Cruz Júnior, Nilton Neto, Luciano C. A. Pimenta, Jacó Domingues, Luiz Barros, Héctor Azpúrua, Gustavo Pessin, Gustavo Medeiros Freitas:
  Wireless Communication-aware Path Planning and Multiple Robot Navigation Strategies for Assisted Inspections. J. Intell. Robotic Syst. 110(2): 88 (2024)
• 
  Luiza Bartels de Oliveira, Marco Antônio Pereira Araújo, Mário Antônio Ribeiro Dantas:
  An Ontology-Based Approach to Improve the Lead Time for Industrial Services. AINA (1) 2024: 415-425
• 
  Mário Pereira:
  Practical Deductive Verification of OCaml Programs. FM (2) 2024: 518-542
• 
  Joaquim Dias Garcia, Alexandre Street, Mario Veiga Pereira:
  Long-term Hydrothermal Bid-based Market Simulator. CoRR abs/2403.07270 (2024)
• 
  Mário Pereira:
  The Theory and Practice of Deductive Verification of OCaml Programs. CoRR abs/2404.17901 (2024)
• 
  Tiago Lopes Soares, Ion Chirica, Mário Pereira:
  Static and Dynamic Verification of OCaml Programs: The Gospel Ecosystem (Extended Version). CoRR abs/2407.17289 (2024)
• 2023
• 
  Gabriela B. Cáceres, Antonio Ferramosca, Pablo Millán Gata, Mario Pereira Martín:
  Model Predictive Control Structures for Periodic ON-OFF Irrigation. IEEE Access 11: 51985-51996 (2023)
• 
  Augusto J. Peterlevitz, Mateus A. Chinelatto, Angelo G. Menezes, Cézanne A. M. Motta, Guilherme A. B. Pereira, Gustavo L. Lopes, Gustavo De M. Souza, Juan Rodrigues, Lilian C. Godoy, Mario A. F. F. Koller, Mateus O. Cabral, Nicole E. Alves, Paulo H. Silva, Ricardo Cherobin, Roberto A. O. Yamamoto, Ricardo D. Da Silva:
  Sim-to-Real Transfer for Object Detection in Aerial Inspections of Transmission Towers. IEEE Access 11: 110312-110327 (2023)
• 
  Daniel Leal Souza, Rodrigo Lisbôa Pereira, Mario T. R. Serra Neto, Marco A. F. Mollinetti, Otávio Noura Teixeira, Roberto Célio Limão de Oliveira:
  Dynamic Interconnection Approach With BLX-Based Search Applied to Multi-Swarm Optimizer: An Empirical Analysis to Real Constrained Optimization. IEEE Access 11: 12150-12175 (2023)
• 
  Eduardo Álvarez-Miranda, Jordi Pereira, Mariona Vilà:
  Analysis of the simple assembly line balancing problem complexity. Comput. Oper. Res. 159: 106323 (2023)
• 
  Mariana Santos, Mário Antunes, Diogo Gomes, Rui L. Aguiar:
  Home Comfort Dataset: Acquired from SGH. Data 8(3): 58 (2023)
• 
  Eduardo Álvarez-Miranda, Jordi Pereira, Camila Vargas, Mariona Vilà:
  Variable-depth local search heuristic for assembly line balancing problems. Int. J. Prod. Res. 61(9): 3103-3121 (2023)
• 
  Léon Gondelman, Jonas Kastberg Hinrichsen, Mário Pereira, Amin Timany, Lars Birkedal:
  Verifying Reliable Network Components in a Distributed Separation Logic with Dependent Separation Protocols. Proc. ACM Program. Lang. 7(ICFP): 847-877 (2023)
• 
  Yiyuan Ding, He Li, Mário Say Ming Kong, Maria João Pereira Neto, Tuong Quyen, Zhenyu Li:
  A multi-source information fusion model for safety assessment of bamboo-integrated products. Qual. Reliab. Eng. Int. 39(5): 1588-1602 (2023)
• 
  Rafael Teixeira, Mário Antunes, Rúben Sobral, João Martins, Diogo Gomes, Rui L. Aguiar:
  Exploring the Intricacies of Neural Network Optimization. DS 2023: 18-32
• 
  Rafael Teixeira, Mário Antunes, Diogo Gomes, Rui L. Aguiar:
  The learning costs of Federated Learning in constrained scenarios. FiCloud 2023: 18-25
• 
  Ricardo Cardoso Pereira, Pedro Pereira Rodrigues, Mário A. T. Figueiredo, Pedro Henriques Abreu:
  Automatic Delta-Adjustment Method Applied to Missing Not At Random Imputation. ICCS (1) 2023: 481-493
• 
  Luiza Bartels de Oliveira, Marco Antônio Araújo, Mário Antônio Ribeiro Dantas:
  A case study on the development of an ontology for maintenance services of heavy machinery electronic components. LADC 2023: 188-191
• 
  Cátia Loureiro, Vítor Filipe, Pedro Franco-Gonçalo, Ana Inês Pereira, Bruno Colaço, Sofia Alves-Pimenta, Mário Ginja, Lio Gonçalves:
  Deep Learning-Based Hip Detection in Pelvic Radiographs. OL2A (2) 2023: 108-117
• 
  Tiago Soares, Mário Pereira:
  A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version). CoRR abs/2302.01265 (2023)
• 
  Joaquim Dias Garcia, Iago Leal, Raphael Chabar, Mario Veiga Pereira:
  A Multicut Approach to Compute Upper Bounds for Risk-Averse SDDP. CoRR abs/2307.13190 (2023)
• 
  Antonio José G. Busson, Rafael H. Rocha, Rennan Gaio, Rafael Miceli, Ivan Pereira, Daniel de S. Moraes, Sérgio Colcher, Álvaro M. da Veiga, Bruno Rizzi, Francisco Evangelista, Leandro Santos, Fellipe Marques, Marcos Rabaioli, Diego Feldberg, Debora Mattos, João Pasqua, Diogo Dias:
  Hierarchical Classification of Financial Transactions Through Context-Fusion of Transformer-based Embeddings and Taxonomy-aware Attention Layer. CoRR abs/2312.07730 (2023)

skipping 333 more matches