• 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 31 matches

• 2024
• 
  Armando Maciel Toda, Paula Toledo Palomino, Luiz A. L. Rodrigues, Ana Carolina Tomé Klock, Filipe Dwan Pereira, Simone de Sousa Borges, Isabela Gasparini, Elaine Harada Teixeira de Oliveira, Seiji Isotani, Alexandra Ioana Cristea:
  Brazilian Teachers' concerns towards the use of Gamification in Education: perceived barriers to its adoption. Revista Brasileira de Informática na Educ. 32: 510-532 (2024)
• 
  Paulo Henrique Cardoso Alves, Isabella Zalcberg Frajhof, Élisson Michael Araújo, Rafael Nasser, Gustavo Robichez, Cristiane Lodi, Carlos Henrique Fernandes, Rhenan Borges, Gilson Lopes:
  The Future of Oil and Gas Offloading: Leveraging Blockchain for Enhanced Transparency and Efficiency. ICEIS (1) 2024: 366-373
• 
  Pedro Ramos Pereira, Helyane Bronoski Borges, Simone Nasser Matos, Isabel Cristina Torrens:
  Desenvolvimento de um jogo educacional utilizando inteligência artificial para o ensino de pessoas com deficiências intelectuais sobre a cadeia produtiva de alimentos. SBGames 2024: 878-889
• 
  Maria Lumbierres, David Abecasis, Solé-Medina Aida, Domingo Alcaraz-Segura, Jamie Alison, Marta Álvarez-Presas, Matteo Anderle, Feride Avci, Sofia Bajocco, Marco Baldo, Pedro Beja, Caterina Bergami, Ariel Bergamini, José A. Blanco-Aguiar, Jordi Boada, Aletta Bonn, Paulo Borges, Angel Borja, Tom Breeze, Lluís Brotons, Helge Bruelheide, Pier Luigi Buttigieg, Elena Buzan, Adriano C. Lima, Irene Calderón-Sanou, Antonio Camacho, Alba Camacho-Santamans, Alessandro Campanaro, Alessandra Cani, Paloma Cariñanos, Carlotta Ferrara, Puerta-Piñero Carolina, Laurence Carvalho, Giorgio Castellan, Alberto Castro, Ana Ceia-Hasse, Francesco Chianucci, Shawan Chowdhury, Valentina Costa, Harald Crepaz, Daniel Crespo, Andreas Dahlkamp, Geert De Knijf, Koen de Koning, Matteo De Stefano, Benoît Olivier Laurent Demars, Peter Desmet, Beatriz Díaz Martín, Ricardo Díaz-Delgado, Anna Diem, Stina Drakare, Piotr Eljasik, Enrica Nestola, Mattia Falaschi, Isabel Fernandes, Salvador Jesús Fernández Bejarano, Javier Fernández-López, Albert Ferré Codina, Hanna Fiegenbaum, Francesca Floccia, Peter Galbusera, Johann Galdies, Melisa Gañán, Fernando Garcia-Gonzalez, Laura Garzoli, Hege Gundersen, Karen A. Haysom, Henrik Hedenås, Stien Heremans, Andreas Hilpold, Boris Hinojo, Kerstin Holmgren, Sebastian Hunger, Pieter Huybrechts, Christina Hvilsom, Martina Ilarri, Estela Illa-Bachs, Nick Isaac, Ute Jandt, Greta Jankauskaite, Santana Joana, Jessica Junker, Maria Kahlert, Andreas Kamilaris, Yassine Kasmi, Hilal Kiran, Zsófia Koma, Alexander Kopatz, Bart Kranstauber, Anders Lanzén, Víctor Lecegui Carnero, J. Jelle Lever, Camino Liquete, Sandra Luque, Bénédicte Madon, Markus Majaneva, Elisabetta Manea, David March, Mina Marco, Javier Martínez-López, Victor Martinez-Vicente, Ian McCallum, María Méndez, Marija Milanovic, S. Jannicke Moe, Daniel Morant, Magdalena Ariadne Kim Muir, Jana Müllerová, Cesc Múrria, Martin Musche, Juri Nascimbene, Néstor Fernández, Alessandro Oggioni, Anthi Oikonomou, Damiano Oldoni, David Ott, Giorgio Pace, Chirag Padubidri, Ángela Patricia Palomino Gaviria, Chiara Paniccia, Henrique M. Pereira, José Carlos Pérez-Girón, Aaron Pérez-Haase, Bruno Petriccione, Petra Philipson, Iris Rosalinde Pit, Eulàlia Pladevall-Izard, Dorin Alexandru Pop, Marino Quaranta, Julien Radoux, Jes Jessen Rasmussen, Ittai Renan, Jan Reubens, Claudia Roeoesli, Simon Rolph, Solvita Rusina, Ciprian Samoila, Brucet Sandra, Jan-Kees Schakel, Lennert Schepers, Martin Schletterer, Astrid Schmidt-Kloiber, Julia Seeber, Yifang Shi, Stacy Shinneman, Bruno Smets, Joana Soares, Alice Soccodato, Jouni Sorvari, Ronaldo Sousa, Allan T. Souza, Arildo Souza Dias, Anna Spinosa, Thomas Strasser, Susanne Maria Thulin, Aurore Trottet, Eva Turicchia, Ainhize Uriarte, Georgios Vagenas, Jose Valdez, Francesca Vallefuoco, Anton Van de Putte, Roy H. A. van Grunsven, Joaquin Vicente, David Villegas-Rios, Dani Villero, Martina Marei Viti, Stefan Jozef Gerardus Vriend, Anna Walentowitz, Robert John Ward, Jayan Wijesingha, Jie Zhang, Alex Ziemba, Jonas Zimmermann, W. Daniel Kissling:
  EuropaBON EBV workflow templates. Zenodo, 2024 
• 2023
• 
  María Isabel Bueno Cachadina, Susana Furtado:
  Singular matrices whose Moore-Penrose inverse is tridiagonal. Appl. Math. Comput. 459: 128154 (2023)
• 
  Isabel Machado Alexandre, Pedro Faria Lopes, Cynthia Borges:
  Roadmap for the Development of EnLang4All: A Video Game for Learning English. Multimodal Technol. Interact. 7(2): 17 (2023)
• 
  Débora Borges, Lia Duarte, Isabel Costa, Ana Maria Ferreira Bio, Joelen Silva, Isabel Sousa-Pinto, José Alberto Gonçalves:
  New Methodology for Intertidal Seaweed Biomass Estimation Using Multispectral Data Obtained with Unoccupied Aerial Vehicles. Remote. Sens. 15(13): 3359 (2023)
• 
  Lucas D. Borges, Inês Sena, Vitor Marcelino, Felipe G. Silva, Florbela P. Fernandes, Maria F. Pacheco, Clara B. Vaz, José Lima, Ana I. Pereira:
  Effect of Weather Conditions and Transactions Records on Work Accidents in the Retail Sector - A Case Study. OL2A (1) 2023: 34-48
• 2022
• 
  Armando M. Toda, Paula T. Palomino, Luiz A. L. Rodrigues, Ana C. T. Klock, Filipe D. Pereira, Simone de Sousa Borges, Isabela Gasparini, Elaine H. Teixeira, Seiji Isotani, Alexandra I. Cristea:
  Gamification Through the Looking Glass - Perceived Biases and Ethical Concerns of Brazilian Teachers. AIED (2) 2022: 259-262
• 2021
• 
  Débora Borges, Luís Pádua, Isabel Costa Azevedo, Joelen Silva, Joaquim João Sousa, Isabel Sousa-Pinto, José Alberto Gonçalves:
  Classification of an Intertidal Reef by Machine Learning Techniques Using UAV Based RGB and Multispectral Imagery. IGARSS 2021: 64-67
• 2020
• 
  Aldina Correia, Isabel Cristina Lopes, Eliana Costa e Silva, Magda Monteiro, Rui Borges Lopes:
  A multi-model methodology for forecasting sales and returns of liquefied petroleum gas cylinders. Neural Comput. Appl. 32(16): 12643-12669 (2020)
• 2017
• 
  María Isabel Bueno Cachadina, Froilán M. Dopico, Susana Furtado:
  Linearizations of Hermitian Matrix Polynomials Preserving the Sign Characteristic. SIAM J. Matrix Anal. Appl. 38(1): 249-272 (2017)
• 2016
• 
  Giuseppe Bianchi, Erez Biton, Nicola Blefari-Melazzi, Isabel Borges, Luca Chiaraviglio, Pedro de la Cruz Ramos, Philip Eardley, Francisco Fontes, Michael J. McGrath, Lionel Natarianni, Dragos Niculescu, Carlos Parada, Matei Popovici, Vincenzo Riccobene, Stefano Salsano, Bessem Sayadi, John Thomson, Christos Tselios, George Tsolis:
  Superfluidity: a flexible functional architecture for 5G networks. Trans. Emerg. Telecommun. Technol. 27(9): 1178-1186 (2016)
• 
  Isabella de Freitas Nunes, Thiago Borges de Oliveira:
  Novo metodo de enquadramento de objetos espaciais complexos em histogramas espaciais. GEOINFO 2016: 284-289
• 2015
• 
  Victor Borges Ferreira Gomes:
  Algebraic principles for program correctness tools in Isabelle/HOL. University of Sheffield, UK, 2015
• 
  Isabel Borges Alvarez, Nuno Sotero Alves da Silva, Luisa Sampaio Correia:
  Cyber education: towards a pedagogical and heuristic learning. SIGCAS Comput. Soc. 45(3): 185-192 (2015)
• 2014
• 
  Mário David, Gonçalo Borges, Jorge A. T. Gomes, João Murta Pina, Isabel Campos Plasencia, Enol Fernández-del-Castillo, Iván Díaz, Carlos Fernández, Esteban Freire, Álvaro Simón, Kostas Koumantaros, Michel Dreschner, Tiziana Ferrari, Peter Solagna:
  Validation of Grid Middleware for the European Grid Infrastructure. J. Grid Comput. 12(3): 543-558 (2014)
• 
  Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
  Algebras for Program Correctness in Isabelle/HOL. RAMiCS 2014: 49-64
• 
  Alasdair Armstrong, Victor B. F. Gomes, Georg Struth:
  Lightweight Program Construction and Verification Tools in Isabelle/HOL. SEFM 2014: 5-19
• 2013
• 
  Rui Borralho Neto, Horácio Fernandes, Tiago Pereira, Isabel Borges, Gesil S. Amarante-Segundo, Samuel Balula, Rui Figueiredo, José Pedro Pereira:
  Globally Distributed Pendulum Experiment as an Educational Resource on e-lab. Int. J. Online Biomed. Eng. 9(S8): 47-49 (2013)
• 
  Elisabeth Borges, Mariana Sequeira, André F. V. Cortez, Helena Catarina Pereira, Tânia Pereira, Vânia Almeida, Teresa M. Vasconcelos, Isabel Maria Duarte, Neusa Nazaré, João M. R. Cardoso, Carlos Manuel B. A. Correia:
  Pine Decay Assessment by Means of Electrical Impedance Spectroscopy. BIOSTEC (Selected Papers) 2013: 54-73
• 
  Elisabeth Borges, Mariana Sequeira, André F. V. Cortez, Helena Catarina Pereira, Tânia Pereira, Vânia Almeida, Teresa M. Vasconcelos, Isabel Maria Duarte, Neusa Nazaré, João M. R. Cardoso, Carlos Manuel B. A. Correia:
  Bioimpedance Parameter as a Risk Factor to Assess Pine Decay - An Innovative Approach to the Diagnosis of Plant Diseases. BIODEVICES 2013: 35-46
• 
  Rui Figueiredo, Tiago Pereira, Samuel Balula, Rui Borraltio Neto, Horácio Fernandes, Gesil S. Amarante-Segundo, Isabel Borges:
  World Pendulum @ e-lab. exp.at 2013: 143-147
• 
  Rui Borraltio Neto, Horácio Fernandes, Tiago Pereira, Isabel Borges, Gesil S. Amarante-Segundo, Samuel Balula, Rui Figueiredo, J. Pereira:
  World wide remote distributed experiment on e-lab. exp.at 2013: 212-214
• 2012
• 
  Gonçalo Borges, Mário David, Hugo Gomes, Jorge A. T. Gomes, João Martins, João Murta Pina, Ignacio Blanquer, David Arce, Miguel Caballer, Álvaro López García, Pablo Orviz Fernández, Isabel Campos Plasencia, Jesus Marco, Álvaro Simón:
  Fostering Multi-Scientific Usage in the Iberian Production Infrastructure. Comput. Informatics 31(1): 61-72 (2012)
• 
  Mário David, Gonçalo Borges, Jorge A. T. Gomes, João Murta Pina, Isabel Campos Plasencia, Enol Fernández-del-Castillo, Álvaro López García, Pablo Orviz Fernández, Javier López Cacheiro, Carlos Fernández, Álvaro Simón:
  Software Provision Process for EGI. Comput. Informatics 31(1): 135-148 (2012)
• 2009
• 
  María Isabel Bueno Cachadina, Susana Furtado, N. Sherer:
  Maximum Exponent of Boolean Circulant Matrices with Constant Number of Nonzero Entries in their Generating Vector. Electron. J. Comb. 16(1) (2009)
• 2008
• 
  Mohamed Boucadair, Pierrick Morand, Isabel Borges, Marco Tomsu:
  Enhancing the serviceability of IMS-based multimedia services: preventing core service failures. Int. J. Internet Protoc. Technol. 3(4): 224-233 (2008)
• 
  Miguel Constantino, Isabel Martins, José G. Borges:
  A New Mixed-Integer Programming Model for Harvest Scheduling Subject to Maximum Area Restrictions. Oper. Res. 56(3): 542-551 (2008)
• 
  Milon Gupta, Laure Chotard, Ólafur Ingþórsson, João Bastos, Isabel Borges:
  Health@Home - An e-Service Model for Disease Prevention and Healthcare in the Home. eHealth 2008: 17-24

skipping 1 more match