default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- 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.
Author search results
Exact matches
- David Duque-Arias
aka: David Duque
Likely matches
- David Fernández-Duque
Ghent University, Ghent, Belgium - Juan David Mira-Duque
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 191 matches
- 2024
- David Fernández-Duque, Andreas Weiermann:
Fundamental sequences and fast-growing hierarchies for the Bachmann-Howard ordinal. Ann. Pure Appl. Log. 175(8): 103455 (2024) - David Fernández-Duque, Andreas Weiermann:
A Walk with Goodstein. Bull. Symb. Log. 30(1): 1-19 (2024) - Guram Bezhanishvili, David Fernández-Duque:
The Baire Closure and its Logic. J. Symb. Log. 89(1): 27-49 (2024) - David Fernández-Duque, Quentin Gougeon:
Fixed point logics and definable topological properties. Math. Struct. Comput. Sci. 34(2): 81-97 (2024) - David Fernández-Duque:
Taming the 'elsewhere': on Expressivity of Topological Languages. Rev. Symb. Log. 17(1): 144-153 (2024) - Daniel Alexis Nieto-Mora, Maria Cristina Ferreira de Oliveira, Camilo Sánchez-Giraldo, Leonardo Duque-Muñoz, Claudia Victoria Isaza Narvaez, Juan David Martínez-Vargas:
Soundscape Characterization Using Autoencoders and Unsupervised Learning. Sensors 24(8): 2597 (2024) - David Fernández-Duque, Yoàv Montacute:
Dynamic Tangled Derivative Logic of Metric Spaces. AAAI 2024: 10509-10516 - Sara Saint-Pierre Côté, Mathieu Brideau-Duquette, David Lafortune, James G. Pfaus, Patrice Renaud:
Investigating Female Sexual Presence Through Triangulation of Behavioral and Physiological Measures in Virtual Reality: Towards Therapeutic Applications for Sexual Disorders. CSEDU (1) 2024: 694-700 - Sara Saint-Pierre Côté, Mathieu Brideau-Duquette, David R. Labbé, Patrice Renaud:
Sexual Presence in Virtual Reality: A qEEG Exploration. VR Workshops 2024: 947-948 - Philippe Balbiani, Martín Diéguez, David Fernández-Duque, Brett McLean:
Constructive S4 modal logics with the finite birelational frame property. CoRR abs/2403.00201 (2024) - Nick Bezhanishvili, Laura Bussi, Vincenzo Ciancia, David Fernández-Duque, David Gabelaia:
Logics of polyhedral reachability. CoRR abs/2406.16056 (2024) - 2023
- Ricardo Flores Moyano, Alejandro Duque, Daniel Riofrío, Noel Pérez, Diego S. Benítez, Maria G. Baldeon Calisto, David Fernández:
Standard Latent Space Dimension for Network Intrusion Detection Systems Datasets. IEEE Access 11: 57240-57252 (2023) - Alexandru Baltag, Nick Bezhanishvili, David Fernández-Duque:
The Topological Mu-Calculus: Completeness and Decidability. J. ACM 70(5): 33:1-33:38 (2023) - David Fernández-Duque, Yoàv Montacute:
Dynamic Cantor Derivative Logic. Log. Methods Comput. Sci. 19(4) (2023) - Yeison Nolberto Cardona-Álvarez, Andrés Marino Álvarez-Meza, David Augusto Cárdenas-Peña, Germán Albeiro Castaño Duque, Germán Castellanos-Domínguez:
A Novel OpenBCI Framework for EEG-Based Neurophysiological Experiments. Sensors 23(7): 3763 (2023) - Diego Fabian Collazos-Huertas, Andrés Marino Álvarez-Meza, David Augusto Cárdenas-Peña, Germán Albeiro Castaño Duque, César Germán Castellanos-Domínguez:
Posthoc Interpretability of Neural Responses by Grouping Subject Motor Imagery Skills Using CNN-Based Connectivity. Sensors 23(5): 2750 (2023) - David Jiménez-Murillo, Andrés Eduardo Castro-Ospina, Leonardo Duque-Muñoz, Juan David Martínez-Vargas, Jazmín Ximena Suárez-Revelo, Jorge Mario Vélez-Arango, María de la Iglesia-Vayá:
Automatic Detection of Focal Cortical Dysplasia Using MRI: A Systematic Review. Sensors 23(16): 7072 (2023) - Luis Felipe Ortiz-Clavijo, Carlos Julián Gallego-Duque, Juan Camilo David-Diaz, Andrés Felipe Ortiz-Zamora:
Implications of Emotion Recognition Technologies: Balancing Privacy and Public Safety. IEEE Technol. Soc. Mag. 42(3): 69-75 (2023) - David Fernández-Duque, Yoàv Montacute:
Untangled: A Complete Dynamic Topological Logic. AAAI 2023: 6355-6362 - David Fernández-Duque, Konstnatinos Papafilippou:
The Universal Tangle for Spatial Reasoning. JELIA 2023: 814-827 - David Fernández-Duque, Brett McLean, Lukas Zenger:
A Family of Decidable Bi-intuitionistic Modal Logics. KR 2023: 262-271 - David Fernández-Duque, Quentin Gougeon:
Fixed Point Logics on Hemimetric Spaces. LICS 2023: 1-13 - Ricardo Flores Moyano, Alejandro Duque, Daniel Riofrío, Diego S. Benítez, Noel Pérez, Maria G. Baldeon Calisto, David Fernández:
A Feature Selection Approach Towards the Standardization of Network Security Datasets. NetSoft 2023: 257-261 - Kevin Chenier, Antoine Duquette, Lahoud Touma, Min Tri Le, David R. Labbé:
Pre-Validation of a Virtual Reality Tool to Quantify the Severity of Friedreich's Ataxia. SeGAH 2023: 1-7 - Jonathan Tarquino, Angela Duque, Gina Sanchez, Andres Siabatto, Jose Miguel Quijano, David Becerra, Alejandro Vega, Eduardo Romero:
UltraCytomic: A cross-scale exploration to improve risk estimation of the malignant thyroid nodule. SIPAIM 2023: 1-5 - David Fernández-Duque, Yoàv Montacute:
Dynamic Tangled Derivative Logic of Metric Spaces. CoRR abs/2301.09904 (2023) - Juan Pablo Aguilera Ozuna, Martín Diéguez, David Fernández-Duque, Brett McLean:
Gödel-Dummett linear temporal logic. CoRR abs/2306.15805 (2023) - Seamless Communication, Loïc Barrault, Yu-An Chung, Mariano Coria Meglioli, David Dale, Ning Dong, Paul-Ambroise Duquenne, Hady Elsahar, Hongyu Gong, Kevin Heffernan, John Hoffman, Christopher Klaiber, Pengwei Li, Daniel Licht, Jean Maillard, Alice Rakotoarison, Kaushik Ram Sadagopan, Guillaume Wenzek, Ethan Ye, Bapi Akula, Peng-Jen Chen, Naji El Hachem, Brian Ellis, Gabriel Mejia Gonzalez, Justin Haaheim, Prangthip Hansanti, Russ Howes, Bernie Huang, Min-Jae Hwang, Hirofumi Inaguma, Somya Jain, Elahe Kalbassi, Amanda Kallet, Ilia Kulikov, Janice Lam, Daniel Li, Xutai Ma, Ruslan Mavlyutov, Benjamin Peloquin, Mohamed Ramadan, Abinesh Ramakrishnan, Anna Y. Sun, Kevin Tran, Tuan Tran, Igor Tufanov, Vish Vogeti, Carleigh Wood, Yilin Yang, Bokai Yu, Pierre Andrews, Can Balioglu, Marta R. Costa-jussà, Onur Celebi, Maha Elbayad, Cynthia Gao, Francisco Guzmán, Justine Kao, Ann Lee, Alexandre Mourachko, Juan Pino, Sravya Popuri, Christophe Ropers, Safiyyah Saleem, Holger Schwenk, Paden Tomasello, Changhan Wang, Jeff Wang, Skyler Wang:
SeamlessM4T-Massively Multilingual & Multimodal Machine Translation. CoRR abs/2308.11596 (2023) - Loïc Barrault, Yu-An Chung, Mariano Coria Meglioli, David Dale, Ning Dong, Mark Duppenthaler, Paul-Ambroise Duquenne, Brian Ellis, Hady Elsahar, Justin Haaheim, John Hoffman, Min-Jae Hwang, Hirofumi Inaguma, Christopher Klaiber, Ilia Kulikov, Pengwei Li, Daniel Licht, Jean Maillard, Ruslan Mavlyutov, Alice Rakotoarison, Kaushik Ram Sadagopan, Abinesh Ramakrishnan, Tuan Tran, Guillaume Wenzek, Yilin Yang, Ethan Ye, Ivan Evtimov, Pierre Fernandez, Cynthia Gao, Prangthip Hansanti, Elahe Kalbassi, Amanda Kallet, Artyom Kozhevnikov, Gabriel Mejia Gonzalez, Robin San Roman, Christophe Touret, Corinne Wong, Carleigh Wood, Bokai Yu, Pierre Andrews, Can Balioglu, Peng-Jen Chen, Marta R. Costa-jussà, Maha Elbayad, Hongyu Gong, Francisco Guzmán, Kevin Heffernan, Somya Jain, Justine Kao, Ann Lee, Xutai Ma, Alexandre Mourachko, Benjamin Peloquin, Juan Pino, Sravya Popuri, Christophe Ropers, Safiyyah Saleem, Holger Schwenk, Anna Y. Sun, Paden Tomasello, Changhan Wang, Jeff Wang, Skyler Wang, Mary Williamson:
Seamless: Multilingual Expressive and Streaming Speech Translation. CoRR abs/2312.05187 (2023) - 2022
- David Fernández-Duque, Eduardo Hermo Reyes:
Deducibility and independence in Beklemishev's autonomous provability calculus. Inf. Comput. 287: 104758 (2022)
skipping 161 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-10-01 07:45 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint