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

• 2024
• 
  Pablo Nogueira, Álvaro García-Pérez:
  Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space. Log. Methods Comput. Sci. 20(4) (2024)
• 
  Pablo Gamallo, Pablo Rodríguez, Daniel Santos, Susana Sotelo, Nuno Miquelina, Silvia Paniagua, Daniela Schmidt, Iria de-Dios-Flores, Paulo Quaresma, Daniel Bardanca, José Ramom Pichel Campos, Vítor Nogueira, Senén Barro:
  A Galician-Portuguese Generative Model. EPIA (3) 2024: 292-304
• 
  Pablo G. Camacho, William D. Chicaiza, Juan Manuel Escaño, Juliana S. Barros, Bismark C. Torrico, Fabricio Gonzalez Nogueira:
  Fuzzy C-Means Clustering Identification of Desalination Plant Model. IPMU (3) 2024: 351-362
• 2023
• 
  Luis Ramírez, Laura Edreira, Iván Couceiro, Pablo Ouro, Xesús Nogueira, Ignasi Colominas:
  A new Mean Preserving Moving Least Squares method for Arbitrary Order Finite Volume schemes. Appl. Math. Comput. 443: 127768 (2023)
• 2022
• 
  Ana Isabella Muniz Leite, Lucas Lagoa Nogueira, Samuel de Souza Lopes, Rosana T. V. Braga, Pablo Oliveira Antonino, Elisa Yumi Nakagawa:
  An Investigation of Knowledge Gaps of Graduate Students Regarding Safety-Critical Systems Development: A Controlled Experiment. IEEE Trans. Educ. 65(1): 64-72 (2022)
• 
  Flávio André Nogueira Sampaio, Tadeu N. Ferreira, Luiz Anet Neto, Andrés Pablo López-Barbero, Maria do Carmo R. Medeiros, Vinicius Nunes Henrique Silva:
  Performance of MMSE-LE in 2 Gbaud/s Single Carrier Visible Light Communication using PAM-2. CSNDSP 2022: 841-845
• 
  João Claudio Nogueira, Fábio Seiti Hadano, Fernando Deschamps, Alessandro Marques, Alan Teodoro, Pablo Deivid Valle:
  Pattern Recognition and Oxidation Classification in Metal Structures of Industrial Roofs Using Artificial Intelligence. TE 2022: 433-442
• 
  Pablo Nogueira, Álvaro García-Pérez:
  Equivalence of eval-readback and eval-apply big-step evaluators by regimentation of the lambda-calculus's strategy space. CoRR abs/2212.02494 (2022)
• 2019
• 
  Álvaro García-Pérez, Pablo Nogueira:
  The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus. J. Funct. Program. 29: e7 (2019)
• 
  Mauricio R. Silva, Elitelma S. Souza, Pablo Javier Alsina, Deyvid L. Leite, Mateus R. Morais, Diego S. Pereira, Luís B. P. Nascimento, Adelardo A. D. Medeiros, Francisco H. Cunha Junior, Marcelo B. Nogueira, Glauberto L. A. Albuquerque, João B. D. Dantas:
  Performance Evaluation of Multi-UAV Network Applied to Scanning Rocket Impact Area. Sensors 19(22): 4895 (2019)
• 2017
• 
  B. R. F. da Silva, Marcelo B. Nogueira, Pablo Javier Alsina, Glauberto L. A. Albuquerque, João B. D. Dantas, Adelardo A. D. de Medeiros, G. Santos Santiago:
  Study on detection of boats using satellite imagery for use on unmanned aerial vehicles. LARS/SBR 2017: 1-5
• 
  Mauricio R. Silva, Elitelma S. Souza, Pablo Javier Alsina, Francisco H. Cunha Junior, Adelardo A. D. Medeiros, Marcelo B. Nogueira, G. Glauberto L. A. de Alburquerque, João B. D. Dantas:
  Communication network architecture specification for multi-UAV system applied to scanning rocket impact area first results. LARS/SBR 2017: 1-6
• 2016
• 
  Álvaro García-Pérez, Pablo Nogueira:
  No solvable lambda-value term left behind. Log. Methods Comput. Sci. 12(2) (2016)
• 2014
• 
  Álvaro García-Pérez, Pablo Nogueira:
  On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines. Sci. Comput. Program. 95: 176-199 (2014)
• 
  Jeremy Gibbons, Pablo Nogueira:
  Selected papers from Mathematics of Program Construction 2012. Sci. Comput. Program. 85: 101 (2014)
• 
  Joseba Alberdi-Rodriguez, Micael J. T. Oliveira, Pablo García-Risueño, Fernando Nogueira, Javier Muguerza, Agustin Arruabarrena, Angel Rubio:
  Recent Memory and Performance Improvements in Octopus Code. ICCSA (4) 2014: 607-622
• 
  Álvaro García-Pérez, Pablo Nogueira, Ilya Sergey:
  Deriving interpretations of the gradually-typed lambda calculus. PEPM 2014: 157-168
• 
  Fernando Augusto Teixeira, Gustavo Vieira Machado, Pablo M. Fonseca, Fernando Magno Quintão Pereira, Hao Chi Wong, José Marcos S. Nogueira, Leonardo B. Oliveira:
  Defending Code from the Internet of Things against Buffer Overflow. SBRC 2014: 293-301
• 2013
• 
  Pablo González, Eva Alvarez, José Barranquero, Jorge Díez, Rafael Gonzalez-Quiros, Enrique Nogueira, Angel Lopez-Urrutia, Juan José del Coz:
  Multiclass Support Vector Machines With Example-Dependent Costs Applied to Plankton Biomass Estimation. IEEE Trans. Neural Networks Learn. Syst. 24(11): 1901-1905 (2013)
• 
  Álvaro García-Pérez, Pablo Nogueira:
  A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers. PEPM 2013: 107-116
• 
  Álvaro García-Pérez, Pablo Nogueira, Juan José Moreno-Navarro:
  Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order. PPDP 2013: 85-96
• 2012
• 
  Jeremy Gibbons, Pablo Nogueira:
  Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Lecture Notes in Computer Science 7342, Springer 2012, ISBN 978-3-642-31112-3 [contents]
• 2011
• 
  Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira:
  First-order unification using variable-free relational algebra. Log. J. IGPL 19(6): 790-820 (2011)
• 2008
• 
  Alberto M. R. Dávila, Pablo N. Mendes, Glauber Wagner, Diogo A. Tschoeke, Rafael R. C. Cuadrat, Felipe Liberman, Luciana Matos, Thiago S. Satake, Kary A. C. S. Ocaña, Omar Triana, Sérgio Manuel Serra da Cruz, Henrique C. L. Jucá, Juliano C. Cury, Fabrício Nogueira da Silva, Guilherme A. Geronimo, Margarita Ruiz, Eduardo Ruback, Floriano P. Silva Jr., Christian M. Probst, Edmundo C. Grisard, Marco A. Krieger, Samuel Goldenberg, Maria Cláudia Reis Cavalcanti, Milton O. Moraes, Maria Luiza Machado Campos, Marta Mattoso:
  ProtozoaDB: dynamic visualization and exploration of protozoan genomes. Nucleic Acids Res. 36(Database-Issue): 547-552 (2008)
• 
  Pablo Nogueira, Juan José Moreno-Navarro:
  Bialgebra views: a way for polytypic programming to cohabit with data abstraction. ICFP-WGP 2008: 61-73
• 
  Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira:
  First-order unification using variable-free relational algebra. UNIF 2008: 40-54
• 2006
• 
  Pablo Nogueira:
  Context-parametric polykinded types. ICFP-WGP 2006: 45-54
• 
  Pablo Nogueira:
  When is an abstract data type a functor? Trends in Functional Programming 2006: 217-231
• 2005
• 
  Pablo Nogueira Iglesias:
  Polytypic functional programming and data abstraction. University of Nottingham, UK, 2005