• 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 5,445 matches

• 2024
• 
  João Braun, José Lima, Ana I. Pereira, Paulo Gomes Costa:
  Kabsch Marker Estimation Algorithm - A Multi-Robot Marker-Based Localization Algorithm Within the Industry 4.0 Context. IEEE Access 12: 68711-68729 (2024)
• 
  Luis Felipe Coimbra Costa, Samuel Gomes, Ana Moura Santos, Geraldo Bonorino Xexéo, Yuri Oliveira de Lima, Rui Prada, Carlos Martinho, João Dias:
  Heroine's Learning Journey: Motivating Women in STEM Online Courses Through the Power of a Narrative. IEEE Access 12: 20103-20124 (2024)
• 
  Susana Limanto, Joko Lianto Buliali, Ahmad Saikhu:
  GLoW SMOTE-D: Oversampling Technique to Improve Prediction Model Performance of Students Failure in Courses. IEEE Access 12: 8889-8901 (2024)
• 
  Sávio Vieira Lacerda Da Silva, Lenin Patricio Jiménez Jiménez, Fernando Darío Almeida García, Santosh Kumar, José Cândido Silveira Santos Filho, Eduardo Rodrigues de Lima, Gustavo Fraidenraich:
  Performance Analysis of Equal-Gain Combining Receivers Over Composite Multipath/ Shadowing Fading Channels. IEEE Access 12: 90726-90737 (2024)
• 
  Ankang Ji, Renfei He, Weiyi Chen, Limao Zhang:
  Computational methodologies for critical infrastructure resilience modeling: A review. Adv. Eng. Informatics 62: 102663 (2024)
• 
  Andrei Herasimau, Jonathan Julián Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel:
  A Verified Proof Checker for Metric First-Order Temporal Logic. Arch. Formal Proofs 2024 (2024)
• 
  Angel Ayala, Letícia Portela, Fernando Buarque, Bruno J. T. Fernandes, Francisco Cruz:
  UAV control in autonomous object-goal navigation: a systematic literature review. Artif. Intell. Rev. 57(5): 125 (2024)
• 
  C. Coelho, M. Fernanda P. Costa, Luís L. Ferrás:
  Enhancing continuous time series modelling with a latent ODE-LSTM approach. Appl. Math. Comput. 475: 128727 (2024)
• 
  Nuno R. Freitas, Pedro M. Vieira, Catarina Tinoco, Sara Anacleto, Jorge F. Oliveira, A. Ismael F. Vaz, M. Pilar Laguna, Estevão Lima, Carlos S. Lima:
  Multiple mask and boundary scoring R-CNN with cGAN data augmentation for bladder tumor segmentation in WLC videos. Artif. Intell. Medicine 147: 102723 (2024)
• 
  Mery Ellen Brandt de Oliveira, Francisco Rodrigues Lima Junior, Nadya Regina Galo:
  A comparison of hesitant fuzzy VIKOR methods for supplier selection. Appl. Soft Comput. 149(Part A): 110920 (2024)
• 
  Rui Lima, João F. Ferreira, Alexandra Mendes, Carolina Carreira:
  DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring. Autom. Softw. Eng. 31(1): 1 (2024)
• 
  Matteo Della Rossa, Thiago Alves Lima, Marc Jungers, Raphaël M. Jungers:
  Graph-based conditions for feedback stabilization of switched and LPV systems. Autom. 160: 111427 (2024)
• 
  Yue Pan, Jianjun Qin, Limao Zhang, Weiqiang Pan, Jin-Jian Chen:
  A probabilistic deep reinforcement learning approach for optimal monitoring of a building adjacent to deep excavation. Comput. Aided Civ. Infrastructure Eng. 39(5): 656-678 (2024)
• 
  Orlando Noél Romero Oblitas, Juan Bautista Límaco Ferrel, Pitágoras Pinheiro de Carvalho:
  Nash equilibria for quasi-linear parabolic problems. Comput. Appl. Math. 43(3): 112 (2024)
• 
  Ignacio Sánchez-Gendriz, Dionísio D. A. Carvalho, Leonardo J. Galvão-Lima, Ana Isabela L. Sales-Moioli, Talita K. de B. Pinto, Felipe Ricardo dos Santos Fernandes, Jorge Henriques, Thaisa S. Lima, Luiz Affonso Guedes, Agnaldo S. Cruz, Antonio Higor Freire de Morais, João Paulo Queiroz dos Santos, Ernano Arrais, Karilany Dantas Coutinho, Guilherme Medeiros Machado, Aliete Cunha-Oliveira, Catarina Alexandra dos Reis Vale Gomes, Ricardo Alexsandro de Medeiros Valentim:
  Digital dual test syphilis/HIV detection based on Fourier Descriptors of Cyclic Voltammetry curves. Comput. Biol. Medicine 174: 108454 (2024)
• 
  Prodromos Daoutidis, Jay H. Lee, Srinivas Rangarajan, Leo Chiang, R. Bhushan Gopaluni, Artur M. Schweidtmann, Iiro Harjunkoski, Mehmet Mercangöz, Ali Mesbah, Fani Boukouvala, Fernando V. Lima, Ehecatl Antonio del Rio-Chanona, Christos Georgakis:
  Machine learning in process systems engineering: Challenges and opportunities. Comput. Chem. Eng. 181: 108523 (2024)
• 
  Marcelo Crestani Mota, Luiz Antonio Candido, Santiago Vianna Cuadra, Ricardo Antonio Marenco, Rita Valéria Andreoli de Souza, Adriano Maito Tomé, Andressa Back de Andrade Lopes, Francinei Lopes de Lima, Juliana Reis, Rafael Morbeque Brizolla:
  CROPGRO-soybean model - Validation and application for the southern Amazon, Brazil. Comput. Electron. Agric. 216: 108478 (2024)
• 
  Shahla Atapoor, Karim Baghery, Hilder V. L. Pereira, Jannik Spiessens:
  Verifiable FHE via Lattice-based SNARKs. IACR Commun. Cryptol. 1(1): 24 (2024)
• 
  Pierrick Méaux, Jeongeun Park, Hilder V. L. Pereira:
  Towards Practical Transciphering for FHE with Setup Independent of the Plaintext Space. IACR Commun. Cryptol. 1(1): 20 (2024)
• 
  Maria Amelia Eliseo, David Varão Lima Bentes Pessoa, Meuriam Silva de Assis, Thiago Siqueira Garbuio, Valéria Farinazzo Martins:
  A study on the interaction of the elderly with digital games through usability and user experience evaluations. CLEI Electron. J. 27(1) (2024)
• 
  Violeta Carvalho, Inês M. Gonçalves, Nelson Rodrigues, Paulo J. Sousa, Vânia C. Pinto, Graça Minas, Hirokazu Kaji, Su Ryon Shin, Raquel O. Rodrigues, Senhorinha F. C. F. Teixeira, Rui A. Lima:
  Numerical evaluation and experimental validation of fluid flow behavior within an organ-on-a-chip model. Comput. Methods Programs Biomed. 243: 107883 (2024)
• 
  Bruno Marques Cremonezi, Alex Borges Vieira, José A. M. Nacif, Edelberto Franco Silva, Michele Nogueira:
  Identity management for Internet of Things: Concepts, challenges and opportunities. Comput. Commun. 224: 72-94 (2024)
• 
  Janaína Conceição Sutil Lemos, Vanessa Borba de Souza, Frederico Soares Falcetta, Fernando Kude de Almeida, Tânia M. Lima, Pedro Dinis Gaspar:
  Enhancing Workplace Safety through Personalized Environmental Risk Assessment: An AI-Driven Approach in Industry 5.0. Comput. 13(5): 120 (2024)
• 
  Josias Gomes Lima, Rafael Giusti, Arilo Claudio Dias-Neto:
  LeakPred: An Approach for Identifying Components with Resource Leaks in Android Mobile Applications. Comput. 13(6): 140 (2024)
• 
  José Andre de Moura Brito, Gustavo Silva Semaan, Augusto Cesar Fadel, Leonardo Silva de Lima, Nelson Maculan:
  Mathematical programming formulations for the optimal stratification problem. Commun. Stat. Simul. Comput. 53(6): 2842-2863 (2024)
• 
  Breno C. Bispo, José R. de Oliveira-Neto, Juliano B. Lima:
  Hardware Architectures for Computing Eigendecomposition-Based Discrete Fractional Fourier Transforms with Reduced Arithmetic Complexity. Circuits Syst. Signal Process. 43(1): 593-614 (2024)
• 
  João Eduardo Costa Gomes, Ricardo Rodrigues Ehlert, Rodrigo Murillo Boesche, Vinicius Santosde Lima, Jorgito Matiuzzi Stocchero, Dante A. C. Barone, Juliano Araujo Wickboldt, Edison Pignaton de Freitas, Julio C. S. dos Anjos, Ricardo Queiroz de Araujo Fernandes:
  Surveying Emerging Network Approaches for Military Command and Control Systems. ACM Comput. Surv. 56(6): 143:1-143:38 (2024)
• 
  Thiago Alves Lima, Diego de S. Madeira, Marc Jungers:
  QSR-Dissipativity-Based Stabilization of Non-Passive Nonlinear Discrete-Time Systems by Linear Static Output Feedback. IEEE Control. Syst. Lett. 8: 1036-1041 (2024)
• 
  Jamile de Barros Vasconcelos, George Lima, Marwan Wehaiba el Khazen, Adriana Gogonel, Liliana Cucu-Grosjean:
  On vulnerabilities in EVT-based timing analysis: an experimental investigation on a multi-core architecture. Des. Autom. Embed. Syst. 28(1): 1-21 (2024)
• 
  María A. Hernández-Mustieles, Yoshua E. Lima-Carmona, Axel A. Mendoza-Armenta, Ximena Hernandez-Machain, Diego A. Garza-Vélez, Aranza Carrillo-Márquez, Diana C. Rodríguez-Alvarado, Jorge de-J. Lozoya-Santos, Mauricio Adolfo Ramírez-Moreno:
  An EEG Dataset of Subject Pairs during Collaboration and Competition Tasks in Face-to-Face and Online Modalities. Data 9(4): 47 (2024)

skipping 5,415 more matches