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

• 2024
• 
  Francisco Botana, Tomás Recio, M. Pilar Vélez:
  On Using GeoGebra and ChatGPT for Geometric Discovery. Comput. 13(8): 187 (2024)
• 
  Bonan Zhao, Natalia Vélez, Thomas L. Griffiths:
  Comparing Human Behavior to an Optimal Policy for Innovation. AAAI Spring Symposia 2024: 598-599
• 
  Diego Nuñez, Tomás Vélez, Paul Leger, Daniel San Martín:
  A Reflective Architecture for Agent-Based Models Applied to Social Network Sites. ICEIS (1) 2024: 981-988
• 
  Xudong Guo, Kaixuan Huang, Jiale Liu, Wenhui Fan, Natalia Vélez, Qingyun Wu, Huazheng Wang, Thomas L. Griffiths, Mengdi Wang:
  Embodied LLM Agents Learn to Cooperate in Organized Teams. CoRR abs/2403.12482 (2024)
• 
  Tom Zick, Mason Kortz, David Eaves, Finale Doshi-Velez:
  AI Procurement Checklists: Revisiting Implementation in the Age of AI Governance. CoRR abs/2404.14660 (2024)
• 2023
• 
  Natalia Vélez, Brian R. Christian, Mathew D. Hardy, Bill D. Thompson, Thomas L. Griffiths:
  How do Humans Overcome Individual Computational Limitations by Working Together? Cogn. Sci. 47(1) (2023)
• 
  Fuensanta G. Montesinos, Sergio Sainz-Maza, David Gómez-Ortiz, José Arnoso, Isabel Blanco-Montenegro, Maite Benavent, Emilio Vélez, Nieves Sánchez, Tomas Martin-Crespo:
  Insights into the Magmatic Feeding System of the 2021 Eruption at Cumbre Vieja (La Palma, Canary Islands) Inferred from Gravity Data Modeling. Remote. Sens. 15(7): 1936 (2023)
• 
  Christopher W. Brown, Zoltán Kovács, Simone Luksch, Tomás Recio, Róbert Vajda, M. Pilar Vélez:
  Towards Detection of Partial Truth via Real Geometry. SC-Square@ISSAC 2023: 44-53
• 
  Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
  Showing Proofs, Assessing Difficulty with GeoGebra Discovery. ADG 2023: 43-52
• 2022
• 
  Tadeo E. Saldaño, Nahuel Escobedo, Julia Marchetti, Diego Javier Zea, Juan Mac Donagh, Ana Julia Velez Rueda, Eduardo Gonik, Agustina García Melani, Julieta Novomisky Nechcoff, Martín N. Salas, Tomás Peters, Nicolás Demitroff, Sebastian Fernandez Alberti, Nicolas Palopoli, María Silvina Fornasari, Gustavo D. Parisi:
  Impact of protein conformational diversity on AlphaFold predictions. Bioinform. 38(10): 2742-2748 (2022)
• 
  M. Pilar Vélez, Tomás Recio, Carlos Ueno:
  Niagara Falls and the Origins of Computer Algebra. Maple Trans. 2(1) (2022)
• 
  Christopher W. Brown, Zoltán Kovács, Tomás Recio, Róbert Vajda, M. Pilar Vélez:
  Is Computer Algebra Ready for Conjecturing and Proving Geometric Inequalities in the Classroom? Math. Comput. Sci. 16(4): 31 (2022)
• 
  Jose Manuel Rodriguez, Fernando Pozo, Daniel Cerdán-Vélez, Tomás Di Domenico, Jesús Vázquez, Michael L. Tress:
  APPRIS: selecting functionally important isoforms. Nucleic Acids Res. 50(D1): 54-59 (2022)
• 2021
• 
  Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
  Automated reasoning tools in GeoGebra discovery. ACM Commun. Comput. Algebra 55(2): 39-43 (2021)
• 
  Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
  GeoGebra Discovery in Context. ADG 2021: 141-147
• 2020
• 
  Tomás Arias-Vergara, Patricia Argüello-Vélez, Juan Camilo Vásquez-Correa, Elmar Nöth, Maria Schuster, María Claudia Gonzalez-Rátiva, Juan Rafael Orozco-Arroyave:
  Automatic detection of Voice Onset Time in voiceless plosives using gated recurrent units. Digit. Signal Process. 104: 102779 (2020)
• 
  Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
  Reasoning about linkages with dynamic geometry. J. Symb. Comput. 97: 16-30 (2020)
• 
  Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
  Merging Maple and GeoGebra Automated Reasoning Tools. MC 2020: 252-267
• 
  Patricia Argüello-Vélez, Tomás Arias-Vergara, María Claudia Gonzalez-Rátiva, Juan Rafael Orozco-Arroyave, Elmar Nöth, Maria Schuster:
  Acoustic Characteristics of VOT in Plosive Consonants Produced by Parkinson's Patients. TDS 2020: 303-311
• 2019
• 
  David Gómez-Ortiz, Isabel Blanco-Montenegro, José Arnoso, Tomas Martin-Crespo, Mercedes Solla, Fuensanta G. Montesinos, Emilio Vélez, Nieves Sánchez:
  Imaging Thermal Anomalies in Hot Dry Rock Geothermal Systems from Near-Surface Geophysical Modelling. Remote. Sens. 11(6): 675 (2019)
• 
  Emilia Apostolova, Amit Uppal, Jessica Galarraga, Ioannis Koutroulis, Tim Tschampel, Tony Wang, Tom Velez:
  Towards Reliable ARDS Clinical Decision Support: ARDS Patient Analytics with Free-text and Structured EMR Data. AMIA 2019
• 
  Emilia Apostolova, Tony Wang, Tim Tschampel, Ioannis Koutroulis, Tom Velez:
  Combining Structured and Free-text Electronic Medical Record Data for Real-time Clinical Decision Support. BioNLP@ACL 2019: 66-70
• 
  Tony Wang, Tim Tschampel, Emilia Apostolova, Tom Velez:
  Using Latent Class Analysis to Identify ARDS Sub-phenotypes for Enhanced Machine Learning Predictive Performance. CoRR abs/1903.12127 (2019)
• 
  Tom Velez, Tony Wang, Ioannis Koutroulis, James Chamberlain, Amit Uppal, Seife Yohannes, Tim Tschampel, Emilia Apostolova:
  Identification of Pediatric Sepsis Subphenotypes for Enhanced Machine Learning Predictive Performance: A Latent Profile Analysis. CoRR abs/1908.09038 (2019)
• 2018
• 
  Zoltán Kovács, Tomás Recio, M. Pilar Vélez:
  Detecting truth on components. CoRR abs/1802.05875 (2018)
• 
  Tony Wang, Tom Velez, Emilia Apostolova, Tim Tschampel, Thuy L. Ngo, Joy Hardison:
  Semantically Enhanced Dynamic Bayesian Network for Detecting Sepsis Mortality Risk in ICU Patients with Infection. CoRR abs/1806.10174 (2018)
• 
  Emilia Apostolova, Tom Velez:
  Toward Automated Early Sepsis Alerting: Identifying Infection Patients from Nursing Notes. CoRR abs/1809.03995 (2018)
• 2017
• 
  Carlos Ferreira, Lucas Guardalben, Tomé Gomes, Susana Sargento, Paulo Salvador, Daniel Robalo, Fernando J. Velez:
  Supporting Unified Distributed Management and Autonomic Decisions: Design, Implementation and Deployment. J. Netw. Syst. Manag. 25(2): 416-456 (2017)
• 
  Emilia Apostolova, Helen A. White, Patty Morris, David Eliason, Tom Velez:
  Open Globe Injury Patient Identification in Warfare Clinical Notes. AMIA 2017
• 
  Emilia Apostolova, Tom Velez:
  Toward Automated Early Sepsis Alerting: Identifying Infection Patients from Nursing Notes. BioNLP 2017: 257-262

skipping 5 more matches