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

• 2024
• 
  Fernanda Oliveira Gomes, Roberto Pellungrini, Anna Monreale, Chiara Renso, Jean Everson Martina:
  TrajectGuard: A Comprehensive Privacy-Risk Framework for Multiple-Aspects Trajectories. IEEE Access 12: 136354-136378 (2024)
• 
  Magno do Nascimento Amorim, Silvia Helena Nogueira Turco, Daniel dos Santos Costa, Iara Jeanice Souza Ferreira, Wedson Pereira da Silva, Antonio Leopoldo Cardoso Sabino, Késia Oliveira da Silva-Miranda:
  Discrimination of ingestive behavior in sheep using an electronic device based on a triaxial accelerometer and machine learning. Comput. Electron. Agric. 218: 108657 (2024)
• 
  Aline D. Jacon, Lênio Soares Galvão, Rorai Pereira Martins-Neto, Pablo Crespo-Peremarch, Luiz E. O. C. Aragão, Jean P. H. B. Ometto, Liana O. Anderson, Laura Barbosa Vedovato, Celso H. L. Silva-Junior, Aline Pontes-Lopes, Vinícius Peripato, Mauro Assis, Francisca Rocha de Souza Pereira, Isadora Haddad, Catherine Torres de Almeida, Henrique Luis Godinho Cassol, Ricardo Dalagnol:
  Characterizing Canopy Structure Variability in Amazonian Secondary Successions with Full-Waveform Airborne LiDAR. Remote. Sens. 16(12): 2085 (2024)
• 
  Rogerio Ribeiro Marinho, Jean-Michel Martinez, Tereza Cristina Souza de Oliveira, Wagner Picanço Moreira, Lino Augusto Sander de Carvalho, Patricia Moreira-Turcq, Tristan Harmel:
  Estimating the Colored Dissolved Organic Matter in the Negro River, Amazon Basin, with In Situ Remote Sensing Data. Remote. Sens. 16(4): 613 (2024)
• 
  Felipe Oliveira, Paulo Pereira, Jamilson Dantas, Jean Araujo, Paulo Maciel:
  Dependability Evaluation of a Smart Poultry House: Addressing Availability Issues Through the Edge, Fog, and Cloud Computing. IEEE Trans. Ind. Informatics 20(2): 1304-1312 (2024)
• 
  José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
  Formally Verifying Kyber - Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt. CRYPTO (2) 2024: 384-421
• 
  José Bacelar Almeida, Santiago Arranz Olmos, Manuel Barbosa, Gilles Barthe, François Dupressoir, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Cameron Low, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Pierre-Yves Strub:
  Formally verifying Kyber Episode V: Machine-checked IND-CCA security and correctness of ML-KEM in EasyCrypt. IACR Cryptol. ePrint Arch. 2024: 843 (2024)
• 2023
• 
  Armando Barrera-Naranjo, Diana Marcela Marín Castrillón, Thomas Decourselle, Siyu Lin, Sarah Leclerc, Marie-Catherine Morgant, Chloé Bernard, Shirley De Oliveira, Arnaud Boucher, Benoit Presles, Olivier Bouchot, Jean-Joseph Christophe, Alain Lalande:
  Segmentation of 4D Flow MRI: Comparison between 3D Deep Learning and Velocity-Based Level Sets. J. Imaging 9(6): 123 (2023)
• 
  Carlos Fernando Joventino, Raphael de Abreu Alves e Silva, Jonathas H. M. Pereira, Jean Mimar Santa Cruz Yabarrena, André Schneider de Oliveira:
  A Sim-to-real Practical Approach to Teach Robotics into K-12: A Case Study of Simulators, Educational and DIY Robotics in Competition-based Learning. J. Intell. Robotic Syst. 107(1): 14 (2023)
• 
  Josiel do Nascimento Cruz, Alexandre Jean René Serres, Raimundo C. S. Freire, Edson Guedes da Costa, George Victor Rocha Xavier, Adriano Costa de Oliveira, Vladimir Cesarino de Souza, Pavlos I. Lazaridis:
  The Practical Application of Bio-Inspired PMA for the Detection of Partial Discharges in High Voltage Equipment. Sensors 23(23): 9307 (2023)
• 
  José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub:
  Formally verifying Kyber Episode IV: Implementation correctness. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2023(3): 164-193 (2023)
• 
  Cristian Millán-Arias, Jean Felipe Coelho Ferreira, Lucas Matheus Da Silva Oliveira, Bruno J. T. Fernandes, Diogo Passarelli:
  Anomaly Detection in Conveyor Belt Using a Deep Learning Model. LA-CCI 2023: 1-6
• 
  Cristian Millán-Arias, Marie Chantelle Cruz Medina, Jean Felipe Coelho Ferreira, Lucas Matheus Da Silva Oliveira, Allana Rocha, Leandro Honorato de Souza Silva, Cleyton M. O. Rodrigues, João Fausto Lorenzato de Oliveira, Paulo Christiano Sobral, Nathália Cauás, Bruno José Torres Fernandes:
  Legal Judgement Prediction: A comparative analysis of legal documents in Brazil. LA-CCI 2023: 1-6
• 
  Osvaldo Gogliano Sobrinho, Liedi Ledi Mariani Bernucci, Pedro Luiz Pizzigatti Corrêa, Rosângela dos Santos Motta, Jeaneth Machicao, Angelo Samuel Junqueira, Wellingthon Dias de Queiroz, Thales Cesar Giriboni de Mello e Silva, Luciano Cassaro, Luciano Oliveira:
  IoT and Big Data Analytics: Under-Rail Maintenance Management at Vitória - Minas Railway. SIoT 2023: 1-5
• 
  José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Vincent Laporte, Jean-Christophe Léchenet, Tiago Oliveira, Hugo Pacheco, Miguel Quaresma, Peter Schwabe, Antoine Séré, Pierre-Yves Strub:
  Formally verifying Kyber Part I: Implementation Correctness. IACR Cryptol. ePrint Arch. 2023: 215 (2023)
• 2022
• 
  Carmela Troncoso, Dan Bogdanov, Edouard Bugnion, Sylvain Chatel, Cas Cremers, Seda F. Gürses, Jean-Pierre Hubaux, Dennis Jackson, James R. Larus, Wouter Lueks, Rui Oliveira, Mathias Payer, Bart Preneel, Apostolos Pyrgelis, Marcel Salathé, Theresa Stadler, Michael Veale:
  Deploying decentralized, privacy-preserving proximity tracing. Commun. ACM 65(9): 48-57 (2022)
• 
  Paulo Maciel, Jamilson Dantas, Carlos Melo, Paulo Pereira, Felipe Oliveira, Jean Araujo, Rúbens de Souza Matos Júnior:
  A survey on reliability and availability modeling of edge, fog, and cloud computing. J. Reliab. Intell. Environ. 8(3): 227-245 (2022)
• 
  Jia Zhao, Gefei Wang, Jingsi Ming, Zhixiang Lin, Yang Wang, Snigdha Agarwal, Aditi Agrawal, Ahmad Al-Moujahed, Alina Alam, Megan A. Albertelli, Paul Allegakoen, Thomas Ambrosi, Jane Antony, Steven Artandi, Fabienne Aujard, Kyle Awayan, Ankit Baghel, Isaac Bakerman, Trygve E. Bakken, Jalal Baruni, Philip Beachy, Biter Bilen, Olga B. Botvinnik, Scott D. Boyd, Deviana Burhan, Kerriann M. Casey, Charles Chan, Charles A. Chang, Stephen Chang, Ming Chen, Michael F. Clarke, Sheela Crasta, Rebecca Culver, Jessica D'Addabbo, Spyros Darmanis, Roozbeh Dehghannasiri, Song-Lin Ding, Connor V. Duffy, Jacques Epelbaum, F. Hernán Espinoza, Camille Ezran, Jean Farup, James E. Ferrell Jr, Hannah K. Frank, Margaret Fuller, Astrid Gillich, Elias Godoy, Dita Gratzinger, Lisbeth A. Guethlein, Yan Hang, Kazuteru Hasegawa, Rebecca D. Hodge, Malachia Hoover, Franklin W. Huang, Kerwyn Casey Huang, Shelly Huynh, Taichi Isobe, Carly Israel, Sori Jang, Qiuyu Jing, Robert C. Jones, Jengmin Kang, Caitlin J. Karanewsky, Jim Karkanias, Justus Kebschull, Aaron Kershner, Lily Kim, Seung K. Kim, E. Christopher Kirk, Winston Koh, Silvana Konermann, William Kong, Mark A. Krasnow, Christin Kuo, Corinne Lautier, Song Eun Lee, Ed S. Lein, Rebecca Lewis, Peng Li, Shengda Lin, Shixuan Liu, Yin Liu, Gabriel Loeb, Jonathan Z. Long, Wan-Jin Lu, Katherine Lucot, Liqun Luo, Aaron McGeever, Ross Metzger, Jingsi Ming, Thomas J. Montine, Antoine de Morree, Maurizio Morri, Karim Mrouj, Shravani Mukherjee, Ahmad Nabhan, Saba Nafees, Norma Neff, Patrick Neuhöfer, Patricia Nguyen, Jennifer Okamoto, Julia Eve Olivieri, Youcef Ouadah, Honor Paine, Peter Parham, Jozeph L. Pendleton, Lolita Penland, Martine Perret, Angela Oliveira Pisco, Zhen Qi, Stephen R. Quake, Ute Radespiel, Thomas A. Rando, Hajanirina Noëline Ravelonjanahary, Andriamahery Razafindrakoto, Julia Salzman, Nicholas Schaum, Robert Schopler, Bronwyn Scott, Liza Shapiro, Hosu Sin, Rahul Sinha, Rene Sit, Geoff Stanley, Lubert Stryer, Varun Ramanan Subramaniam, Aditi Swarup, Weilun Tan, Alexander Tarashansky, Aris Taychameekiatchai, Jérémy Terrien, Kyle J. Travaglini, Andoni Urtasun, Sivakamasundari, Avin Veerakumar, Venkata Naga Pranathi Vemuri, Jean-Michel Verdier, Iwijn De Vlaminck, Douglas Vollrath, Bo Wang, Bruce Wang, Gefei Wang, Michael F. Z. Wang, Sheng Wang, James Webber, Hannah Weinstein, Irving L. Weissman, Amanda L. Wiggenhorn, Cathy V. Williams, Patricia Wright, Albert Y. Wu, Angela Ruohao Wu, Tony Wyss-Coray, Bao Xiang, Jia Yan, Can Yang, Jinxurong Yang, Anne D. Yoder, Brian Yu, Andrea R. Yung, Yue Zhang, Jia Zhao, Zicheng Zhao:
  Adversarial domain translation networks for integrating large-scale atlas-level single-cell datasets. Nat. Comput. Sci. 2(5): 317-330 (2022)
• 
  José Alexandre Melo Demattê, Ariane Francine da Silveira Paiva, Raúl Roberto Poppiel, Nícolas Augusto Rosin, Luis Fernando Chimelo Ruiz, Fellipe Alcantara de Oliveira Mello, Budiman Minasny, Sabine Grunwald, Yufeng Ge, Eyal Ben-Dor, Asa Gholizadeh, Cécile Gomez, Sabine Chabrillat, Nicolas Francos, Shamsollah Ayoubi, Dian Fiantis, James Kobina Mensah Biney, Changkun Wang, Abdelaziz A. Belal, Salman Naimi, Najmeh Asgari Hafshejani, Henrique Bellinaso, Jean Michel Moura-Bueno, Nélida Elizabet Quiñonez Silvero:
  The Brazilian Soil Spectral Service (BraSpecS): A User-Friendly System for Global Soil Spectra Communication. Remote. Sens. 14(3): 740 (2022)
• 
  José Alexandre Melo Demattê, Ariane Francine da Silveira Paiva, Raúl Roberto Poppiel, Nícolas Augusto Rosin, Luis Fernando Chimelo Ruiz, Fellipe Alcantara de Oliveira Mello, Budiman Minasny, Sabine Grunwald, Yufeng Ge, Eyal Ben-Dor, Asa Gholizadeh, Cécile Gomez, Sabine Chabrillat, Nicolas Francos, Shamsollah Ayoubi, Dian Fiantis, James Kobina Mensah Biney, Changkun Wang, Abdelaziz A. Belal, Salman Naimi, Najmeh Asgari Hafshejani, Henrique Bellinaso, Jean Michel Moura-Bueno, Nélida Elizabet Quiñonez Silvero:
  Correction: Demattê et al. The Brazilian Soil Spectral Service (BraSpecS): A User-Friendly System for Global Soil Spectra Communication. Remote Sens. 2022. 14, 740. Remote. Sens. 14(6): 1459 (2022)
• 
  Jean-Claude Krapez, Javier Sanchis Muñoz, Christophe Mazel, Christian Chatelard, Philippe Déliot, Yves-Michel Frédéric, Philippe Barillot, Franck Hélias, Juan Barba Polo, Vincent Olichon, Guillaume Serra, Céline Brignolles, Alexandra Carvalho, Duarte Carreira, Anabela Oliveira, Elsa Alves, André B. Fortunato, Alberto Azevedo, Paolo Benetazzo, Alessandro Bertoni, Isabelle Legoff:
  Multispectral Optical Remote Sensing for Water-Leak Detection. Sensors 22(3): 1057 (2022)
• 
  Carlos Melo, Felipe Oliveira, Jamilson Dantas, Jean Araujo, Paulo Pereira, Ronierison Maciel, Paulo Maciel:
  Performance and availability evaluation of the blockchain platform hyperledger fabric. J. Supercomput. 78(10): 12505-12527 (2022)
• 
  Claudio D. G. Linhares, Claudiney R. Tinoco, Jean R. Ponciano, Gina M. B. Oliveira, Bruno A. N. Travençolo:
  A Network-Based Visual Analytics Approach for Performance Evaluation of Swarms of Robots in the Surveillance Task. BRACIS (1) 2022: 61-76
• 
  Marie Chantelle Cruz Medina, Lucas Matheus Da Silva Oliveira, Jean Felipe Coelho Ferreira, Leandro Honorato de Souza Silva, Cleyton Mário de Oliveira Rodrigues, João Fausto Lorenzato de Oliveira, Paulo Christiano Sobral, Bruno Souza, Dionizio Feitosa, Bruno J. T. Fernandes:
  Classification of Legal Documents in Portuguese Language Based on Summarization. LA-CCI 2022: 1-6
• 
  Dominic Fawcett, Stephen Sitch, Philippe Ciais, Jean-Pierre Wigneron, Celso H. L. Silva-Junior, Viola Heinrich, Christelle Vancutsem, Frédéric Achard, Ana Bastos, Hui Yang, Xiaojun Li, Clément Albergel, Pierre Friedlingstein, Luiz E. O. C. Aragão:
  Processed Data for Figures of "Declining Amazon biomass due to deforestation and subsequent degradation losses exceeding gains". Zenodo, 2022 
• 
  Fabiano Pereira de Oliveira, Christiane Gresse von Wangenheim, Jean C. R. Hauck:
  TMIC: App Inventor Extension for the Deployment of Image Classification Models Exported from Teachable Machine. CoRR abs/2208.12637 (2022)
• 2021
• 
  Jeanne Pages-Mounic, Alessandro De Oliveira Cabral Junior, André Barka, Hamza Kaouach:
  Hybrid Numerical Methodology for Efficient Design and Optimization of Transmit-Array Antennas, X-Band Application. IEEE Access 9: 148302-148314 (2021)
• 
  Jean Phelipe de Oliveira Lima, Carlos Maurício Seródio Figueiredo:
  Temporal Fusion Approach for Video Classification with Convolutional and LSTM Neural Networks Applied to Violence Detection. Inteligencia Artif. 24(67): 40-50 (2021)
• 
  Jean Pablo Vieira de Mello, Lucas Tabelini Torres, Rodrigo Ferreira Berriel, Thiago M. Paixão, Alberto F. De Souza, Claudine Badue, Nicu Sebe, Thiago Oliveira-Santos:
  Deep traffic light detection by overlaying synthetic context on arbitrary natural images. Comput. Graph. 94: 76-86 (2021)
• 
  Emerson Giovani Carati, Victor Emanuel Soares Barbosa, Rafael Cardoso, Carlos Marcelo de Oliveira Stein, Jean Patric da Costa:
  Supervisory Layer for Improved Interactivity of Distributed Generation Inverters with Smart Grids. J. Sens. Actuator Networks 10(4): 64 (2021)

skipping 65 more matches