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

• 2024
• 
  Salvador Carvalhosa, Alexandre Lucas, Camilla Neumann, Andreas Türk:
  Review of Digital Transformation in the Energy Sector: Assessing Maturity and Adoption Levels of Digital Services and Products via Fuzzy Logic. IEEE Access 12: 60513-60531 (2024)
• 
  Raúl Gutiérrez, Salvador Lucas, Miguel Vítores:
  Proving Confluence in the Confluence Framework with CONFident. Fundam. Informaticae 192(2): 167-217 (2024)
• 
  Salvador Lucas:
  Local confluence of conditional and generalized term rewriting systems. J. Log. Algebraic Methods Program. 136: 100926 (2024)
• 
  Salvador Lucas:
  Confluence of Conditional Rewriting Modulo. CSL 2024: 37:1-37:21
• 
  Salvador Lucas:
  Termination of Generalized Term Rewriting Systems. FSCD 2024: 32:1-32:18
• 2023
• 
  Felipe Sampaio Dantas da Silva, Ayuri Bessa, Sérgio N. Silva, Samuel Ferino, Pablo Paiva, Marcos Medeiros, Lucas Silva, José Neto, Kevin B. Costa, Charles H. F. dos Santos, Douglas Braz Maciel, Lucileide M. D. Da Silva, Anderson Inoue, Roger Immich, Eduardo Aranha, Allan de M. Martins, Vicente Sousa, Uirá Kulesza, Marcelo Fernandes, Marcos Salvador, Guilherme Pupio, Ramon R. Fontes, Augusto Neto:
  Proactive ML-Assisted and Quality-Driven Slice Application Service Management to Keep QoE in 5G Mobile Networks. NFV-SDN 2023: 182-184
• 
  Raúl Gutiérrez, Salvador Lucas, Miguel Vítores:
  Proving Confluence in the Confluence Framework with CONFident. CoRR abs/2306.16330 (2023)
• 2022
• 
  Salvador Lucas, Miguel Vítores, Raúl Gutiérrez:
  Proving and disproving confluence of context-sensitive rewriting. J. Log. Algebraic Methods Program. 126: 100749 (2022)
• 
  Lucas Madeira, Vanderlei Salvador Bagnato:
  Non-Thermal Fixed Points in Bose Gas Experiments. Symmetry 14(4): 678 (2022)
• 
  Lucas Salvador Bernardo, Robertas Damasevicius:
  VGG11 Parkinson's Disease Detection Based on Voice Attributes. ARTIIS (1) 2022: 58-70
• 
  Raúl Gutiérrez, Miguel Vítores, Salvador Lucas:
  Confluence Framework: Proving Confluence with CONFident. LOPSTR 2022: 24-43
• 2021
• 
  Lucas S. Bernardo, Robertas Damasevicius, Victor Hugo C. de Albuquerque, Rytis Maskeliunas:
  A hybrid two-stage SqueezeNet and support vector machine system for Parkinson's disease detection based on handwritten spiral patterns. Int. J. Appl. Math. Comput. Sci. 31(4): 549-561 (2021)
• 
  Salvador Lucas:
  Context-sensitive Rewriting. ACM Comput. Surv. 53(4): 78:1-78:36 (2021)
• 
  Salvador Lucas:
  Derivational Complexity and Context-Sensitive Rewriting. J. Autom. Reason. 65(8): 1191-1229 (2021)
• 
  Salvador Lucas:
  Applications and extensions of context-sensitive rewriting. J. Log. Algebraic Methods Program. 121: 100680 (2021)
• 
  Salvador Lucas:
  The origins of the halting problem. J. Log. Algebraic Methods Program. 121: 100687 (2021)
• 
  Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson:
  Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021)
• 
  Lucas Madeira, Arnol Daniel García-Orozco, Michelle A. Moreno-Armijos, Francisco Ednilson Alves dos Santos, Vanderlei Salvador Bagnato:
  Characteristic Length Scale during the Time Evolution of a Turbulent Bose-Einstein Condensate. Symmetry 13(10): 1865 (2021)
• 
  Salvador Ávila, Luiz Fernando Lopes de Souza, Lucas Menezes Pereira:
  Continuous Stress and Consequence on C4t, Complexity, Risk, and Necessity of Leadership Level 5. AHFE (4) 2021: 124-132
• 
  Raúl Gutiérrez, Salvador Lucas, Miguel Vítores:
  Confluence of Conditional Rewriting in Logic Form. FSTTCS 2021: 44:1-44:18
• 
  Jonatan Dellagostin, Anselmo Cukla, Fabio Bisogno, Raul Sales, Lucas Strapazzon, Gregório Salvador:
  Predicting the Movement Intention and Controlling the Grip of a Myoelectrical Active Prosthetic Arm. ISDA 2021: 1098-1109
• 
  Lucas Salvador Bernardo, Robertas Damasevicius, Rytis Maskeliunas:
  Using Keytyping as a Biomarker for Cognitive Decline Diagnostics: The Convolutional Neural Network Based Approach. MedPRAI 2021: 367-381
• 
  Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson:
  Specifying and Testing GPU Workgroup Progress Models. CoRR abs/2109.06132 (2021)
• 2020
• 
  Lucas Madeira, Arnol Daniel García-Orozco, Francisco Ednilson Alves dos Santos, Vanderlei Salvador Bagnato:
  Entropy of a Turbulent Bose-Einstein Condensate. Entropy 22(9): 956 (2020)
• 
  Salvador Lucas:
  Using Well-Founded Relations for Proving Operational Termination. J. Autom. Reason. 64(2): 167-195 (2020)
• 
  Salvador Lucas, José Meseguer, Raúl Gutiérrez:
  The 2D Dependency Pair Framework for Conditional Rewrite Systems - Part II: Advanced Processors and Implementation Techniques. J. Autom. Reason. 64(8): 1611-1662 (2020)
• 
  Federico A. Olivieri, Osvaldo Burastero, Salvador I. Drusin, Lucas A. Defelipe, Diana E. Wetzler, Adrian Gustavo Turjanski, Marcelo A. Marti:
  Conformational and Reaction Dynamic Coupling in Histidine Kinases: Insights from Hybrid QM/MM Simulations. J. Chem. Inf. Model. 60(2): 833-842 (2020)
• 
  Salvador Ávila, Jade Ávila, Lucas Menezes Pereira, Elvis Renan Fagundes Lima:
  Dynamic View of Human Elements Design and Projection of Human Factors in Critical Task Operation Using Bayesian Networks. AHFE (16) 2020: 193-199
• 
  Salvador Ávila, Lucas Menezes Pereira, Rita Ávila, Camila Pena, Pedro M. Arezes, Elvis Renan Fagundes Lima:
  Reviewing Tools to Prevent Accidents by Investigation of Human Factor Dynamic Networks. AHFE (4) 2020: 233-240
• 
  Raúl Gutiérrez, Salvador Lucas:
  Automatically Proving and Disproving Feasibility Conditions. IJCAR (2) 2020: 416-435

skipping 172 more matches