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

• 2023
• 
  Mohammad Reza Mousavi, Ana Cavalcanti, Michael Fisher, Louise A. Dennis, Robert M. Hierons, Bilal Y. Kaddouh, Effie Lai-Chong Law, Robert C. Richardson, Jan Oliver Ringert, Ivan Tyukin, Jim Woodcock:
  Trustworthy Autonomous Systems Through Verifiability. Computer 56(2): 40-47 (2023)
• 
  Yanna Cruz Cavalcanti, Thomas Oberlin, Vinicius Ferraris, Nicolas Dobigeon, Maria Ribeiro, Clovis Tauber:
  Compartment model-based nonlinear unmixing for kinetic analysis of dynamic PET images. Medical Image Anal. 84: 102689 (2023)
• 
  James Baxter, Ana Cavalcanti, Maciej Gazda, Robert M. Hierons:
  Testing using CSP Models: Time, Inputs, and Outputs. ACM Trans. Comput. Log. 24(2): 17:1-17:40 (2023)
• 
  Sinem Getir Yaman, Charlie Burholt, Maddie Jones, Radu Calinescu, Ana Cavalcanti:
  Specification and Validation of Normative Rules for Autonomous Agents. FASE 2023: 241-248
• 2022
• 
  James Baxter, Pedro Ribeiro, Ana Cavalcanti:
  Sound reasoning in tock-CSP. Acta Informatica 59(1): 125-162 (2022)
• 
  James Baxter, Pedro Ribeiro, Ana Cavalcanti:
  Correction to: Sound reasoning in tock-CSP. Acta Informatica 59(2-3): 283 (2022)
• 
  Ikenna Osakwe, Guanliang Chen, Alexander Whitelock-Wainwright, Dragan Gasevic, Anderson Pinheiro Cavalcanti, Rafael Ferreira Mello:
  Towards automated content analysis of educational feedback: A multi-language study. Comput. Educ. Artif. Intell. 3: 100059 (2022)
• 
  Francimaria R. S. Nascimento, George D. C. Cavalcanti, Márjory Da Costa-Abreu:
  Unintended bias evaluation: An analysis of hate speech detection and gender bias mitigation on social media using ensemble learning. Expert Syst. Appl. 201: 117032 (2022)
• 
  Will Barnett, Ana Cavalcanti, Alvaro Miyazawa:
  Architectural modelling for robotics: RoboArch and the CorteX example. Frontiers Robotics AI 9 (2022)
• 
  Victor José Cavalcanti Bezerra Guedes, Susanne Taina Ramalho Maciel, Marcelo Peres Rocha:
  Refrapy: A Python program for seismic refraction data analysis. Comput. Geosci. 159: 105020 (2022)
• 
  Kecia Gomes de Moura, Ricardo B. C. Prudêncio, George D. C. Cavalcanti:
  Label noise detection under the noise at random model with ensemble filters. Intell. Data Anal. 26(5): 1119-1138 (2022)
• 
  Beverley Townsend, Colin Paterson, T. T. Arvind, Gabriel Nemirovsky, Radu Calinescu, Ana Cavalcanti, Ibrahim Habli, Alan Thomas:
  From Pluralistic Normative Principles to Autonomous-Agent Rules. Minds Mach. 32(4): 683-715 (2022)
• 
  Evandson Claude Seabra Dantas, José Taunaí Dantas Segundo, Sebastian Yuri Cavalcanti Catunda, Diomadson Rodrigues Belfort, Raimundo Carlos Silvério Freire, Paulo Fernandes da Silva Júnior:
  Architecture of an Electrical Equivalence Pyranometer with Temperature Difference Analog Control. Sensors 22(21): 8137 (2022)
• 
  Kangfeng Ye, Ana Cavalcanti, Simon Foster, Alvaro Miyazawa, Jim Woodcock:
  Probabilistic modelling and verification using RoboChart and PRISM. Softw. Syst. Model. 21(2): 667-716 (2022)
• 
  David Bergerman, Guilherme Cavalcanti de A. Simões, Leonardo Machado de Lima, Daielly Mantovani:
  Modelos de Avaliação de Smart Cities: uma Análise Comparativa entre Frameworks Brasileiros e Estrangeiros. AMCIS 2022
• 
  Valdecir Becker, Matheus Cavalcanti, Thiago Silva, Edvaldo de Vasconcelos, Alessandro Pinon, Felipe Melo:
  A System for Graphical Visualization of Brainwaves to Analyse Media Content Consumption. HCI (2) 2022: 318-328
• 
  Ana Clara Mourão Moura, Christian Rezende Freitas, Susana Silva Cavalcanti:
  Geodesign in Salvador Metropolitan Region: Regional Planning Based on Reproducible and Defensible Criteria. ICCSA (Workshops 3) 2022: 132-147
• 
  Matt Windsor, Ana Cavalcanti:
  RoboCert: Property Specification in Robotics. ICFEM 2022: 386-403
• 
  Dehui Du, Ana Cavalcanti, Jihui Nie:
  RoboSimVer: A Tool for RoboSim Modeling and Analysis. ASE 2022: 164:1-164:4
• 2021
• 
  Thalles Vitelli Garcez, Helder Tenório Cavalcanti, Adiel Teixeira de Almeida:
  A hybrid decision support model using Grey Relational Analysis and the Additive-Veto Model for solving multicriteria decision-making problems: an approach to supplier selection. Ann. Oper. Res. 304(1): 199-231 (2021)
• 
  Halisson Alberdan Cavalcanti Cardoso, Sílvio de Barros Melo, Ricardo Martins de Abreu Silva, Sidartha Azevedo Lobo de Carvalho, Silas Garrido Teixeira de Carvalho Santos, Carlos Costa Dantas:
  Spectral analysis and optimization of the condition number problem. Comput. Phys. Commun. 258: 107587 (2021)
• 
  Rodrigo Capobianco Guido, Fernando Pedroso, Rodrigo Colnago Contreras, Luciene Cavalcanti Rodrigues, Emanuel Guariglia, Jogi Suda Neto:
  Introducing the Discrete Path Transform (DPT) and its applications in signal analysis, artefact removal, and spoken word recognition. Digit. Signal Process. 117: 103158 (2021)
• 
  Erik P. de Vink, Ana Cavalcanti:
  Editorial. Formal Aspects Comput. 33(1): 1-2 (2021)
• 
  Fatemeh Homayounieh, Marcio Aloisio Bezerra Cavalcanti Rockenbach, Shadi Ebrahimian, Ruhani Doda Khera, Bernardo C. Bizzo, Varun Buch, Rosa Babaei, Hadi Karimi Mobin, Iman Mohseni, Matthias Mitschke, Mathis Zimmermann, Felix Durlak, Franziska Rauch, Subba R. Digumarthy, Mannudeep K. Kalra:
  Multicenter Assessment of CT Pneumonia Analysis Prototype for Predicting Disease Severity and Patient Outcome. J. Digit. Imaging 34(2): 320-329 (2021)
• 
  Hendrik Boog, Rebecca Medda, Elisabetta Ada Cavalcanti-Adam:
  Single Cell Center of Mass for the Analysis of BMP Receptor Heterodimers Distributions. J. Imaging 7(11): 219 (2021)
• 
  Simon Foster, Kangfeng Ye, Ana Cavalcanti, Jim Woodcock:
  Automated verification of reactive and concurrent programs by calculation. J. Log. Algebraic Methods Program. 121: 100681 (2021)
• 
  Tomas Rosberg, Thiago Cavalcanti, Birgitta Thorslund, Erik Prytz, Peter Mörtl:
  Driveability analysis of the european rail transport management system (ERTMS) - A systematic literature review. J. Rail Transp. Plan. Manag. 18: 100240 (2021)
• 
  Élisson da Silva Rocha, Leylane Silva, Guto Leoni Santos, Diego de Freitas Bezerra, André L. C. Moreira, Glauco Estácio Gonçalves, Maria Valéria Marquezini, Amardeep Mehta, Mattias Wildeman, Judith Kelner, Djamel Sadok, Patricia Takako Endo:
  Aggregating data center measurements for availability analysis. Softw. Pract. Exp. 51(5): 868-892 (2021)
• 
  Valter Neto, Vitor Rolim, Anderson Pinheiro Cavalcanti, Rafael Dueire Lins, Dragan Gasevic, Rafael Ferreira Mello:
  Automatic Content Analysis of Online Discussions for Cognitive Presence: A Study of the Generalizability Across Educational Contexts. IEEE Trans. Learn. Technol. 14(3): 299-312 (2021)
• 
  Ikenna Osakwe, Alexander Whitelock-Wainwright, Guanliang Chen, Rafael Ferreira Mello, Anderson Pinheiro Cavalcanti, Dragan Gasevic:
  Towards automated content analysis of feedback: A multi-language study. EDM 2021

skipping 488 more matches