Joaquín Borrego-Díaz

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	On the Soundness of XAI in Prognostics and Health Management (PHM)	2023	David Solís-Martín Juan Galán-Páez Joaquín Borrego-Díaz
+	On the Soundness of XAI in Prognostics and Health Management (PHM)	2023	David Solís-Martín Juan Galán-Páez Joaquín Borrego-Díaz
+	On the Soundness of XAI in Prognostics and Health Management (PHM)	2023	David Solís-Martín Juan Galán-Páez Joaquín Borrego-Díaz
+	D3A-TS: Denoising-Driven Data Augmentation in Time Series	2023	David Solís-Martín Juan Galán-Páez Joaquín Borrego-Díaz
+ PDF Chat	D3a-Ts: Denoising-Driven Data Augmentation in Time Series	2023	David Solís-Martín Juan Galán-Páez Joaquín Borrego-Díaz
+ PDF Chat	A stacked deep convolutional neural network to predict the remaining useful life of a turbofan engine	2021	David Solís-Martín Juan Galán-Páez Joaquín Borrego-Díaz
+	Algebraic combinatorics in bounded induction	2020	Joaquín Borrego‐Díaz
+ PDF Chat	Logic Negation with Spiking Neural P Systems	2020	Daniel Rodríguez-Chavarría Miguel Á. Gutiérrez-Naranjo Joaquín Borrego-Díaz
+	Logic Negation with Spiking Neural P Systems	2018	Daniel Rodríguez-Chavarría Miguel Á. Gutiérrez-Naranjo Joaquín Borrego-Díaz
+	A logic-algebraic tool for reasoning with Knowledge-Based Systems	2018	José A. Alonso-Jiménez Gonzalo A. Aranda-Corral Joaquín Borrego-Díaz M. Magdalena Fernández-Lebrón María-José Hidalgo
+	A logic-algebraic tool for reasoning with Knowledge-Based Systems	2018	José A. Alonso-Jiménez Gonzalo A. Aranda-Corral Joaquín Borrego-Díaz M. Magdalena Fernández-Lebrón María-José Hidalgo
+	Logic Negation with Spiking Neural P Systems	2018	Daniel Rodríguez-Chavarría Miguel Á. Gutiérrez-Naranjo Joaquín Borrego-Díaz
+	A logic-algebraic tool for reasoning with Knowledge-Based Systems	2018	José A. Alonso-Jiménez Gonzalo A. Aranda-Corral Joaquín Borrego-Díaz M. Magdalena Fernández-Lebrón María-José Hidalgo
+	Discovering New Sentiments from the Social Web	2014	Juan Galán-Páez Joaquín Borrego-Díaz
+	Selecting Attributes for Sport Forecasting using Formal Concept Analysis	2011	Gonzalo A. Aranda-Corral Joaquín Borrego-Díaz Juan Galán-Páez
+	Selecting Attributes for Sport Forecasting using Formal Concept Analysis	2011	Gonzalo A. Aranda-Corral Joaquín Borrego-Díaz Juan Galán-Páez
+	End and cofinal extensions in arithmetic	1997	Joaquín Borrego‐Díaz Mario J. Pérez–Jiménez
+	On Overspill Principles and Axiom Schemes for Bounded Formulas	1996	Joaquín Borrego‐Díaz A. Fernández‐Margarit Mario J. Pérez–Jiménez
+	Extensiones cofinales de modelos de la Aritmética	1993	Alejandro Fernández Margarit Mario J. Pérez–Jiménez Joaquín Borrego‐Díaz

Common Coauthors

Coauthor	Papers Together
Juan Galán-Páez	9
David Solís-Martín	6
Gonzalo A. Aranda-Corral	5
M. Magdalena Fernández-Lebrón	3
Daniel Rodríguez-Chavarría	3
José A. Alonso-Jiménez	3
Miguel A. Gutiérrez–Naranjo	3
Mario J. Pérez-Jímenez	3
María-José Hidalgo	3
Alejandro Fernández Margarit	1
A. Fernández‐Margarit	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	Evaluating the Visualization of What a Deep Neural Network Has Learned	2016	Wojciech Samek Alexander Binder Grégoire Montavon Sebastian Lapuschkin Klaus‐Robert Müller	4
+ PDF Chat	Explaining Explanations: An Overview of Interpretability of Machine Learning	2018	Leilani H. Gilpin David Bau Ben Z. Yuan Ayesha Bajwa Michael A. Specter Lalana Kagal	3
+ PDF Chat	Grad-CAM: Visual Explanations from Deep Networks via Gradient-Based Localization	2017	Ramprasaath R. Selvaraju Michael Cogswell Abhishek Das Ramakrishna Vedantam Devi Parikh Dhruv Batra	2
+	A Unified Approach to Interpreting Model Predictions	2017	Scott Lundberg Su‐In Lee	2
+ PDF Chat	Explainable Artificial Intelligence (XAI): Concepts, taxonomies, opportunities and challenges toward responsible AI	2019	Alejandro Barredo Arrieta Natalia Díaz-Rodríguez Javier Del Ser Adrien Bennetot Siham Tabik Alberto Barbado Salvador García Sergio Gil-López Daniel Molina Richard Benjamins	2
+ PDF Chat	Learning Deep Features for Discriminative Localization	2016	Bolei Zhou Aditya Khosla Àgata Lapedriza Aude Oliva Antonio Torralba	2
+ PDF Chat	Reactive, Proactive, and Inductive Agents: An Evolutionary Path for Biological and Artificial Spiking Networks	2020	Lana Sinapayen Atsushi Masumori Takashi Ikegami	2
+ PDF Chat	Towards A Rigorous Evaluation Of XAI Methods On Time Series	2019	Udo Schlegel Hiba Arnout Mennatallah El‐Assady Daniela Oelke Daniel A. Keim	2
+	Explaining Explanations: An Approach to Evaluating Interpretability of Machine Learning	2018	Leilani H. Gilpin David Bau Ben Z. Yuan Ayesha Bajwa Michael A. Specter Lalana Kagal	2
+	Metamathematics of First-Order Arithmetic	1993	Petr Hájek Pavel Pudlák	2
+	Bounded existential induction	1985	George Wilmers	2
+	Diophantine Induction	1990	Richard Kaye	2
+	Overspill and fragments of arithmetic	1989	C. Dimitracopoulos	2
+ PDF Chat	Selective review of offline change point detection methods	2019	Charles Truong Laurent Oudre Nicolas Vayatis	2
+ PDF Chat	European Union Regulations on Algorithmic Decision Making and a “Right to Explanation”	2017	Bryce Goodman Seth Flaxman	2
+	Explaining nonlinear classification decisions with deep Taylor decomposition	2016	Grégoire Montavon Sebastian Lapuschkin Alexander Binder Wojciech Samek Klaus‐Robert Müller	2
+	Neural-Symbolic Learning and Reasoning: A Survey and Interpretation	2017	Tarek R. Besold Artur S. d’Avila Garcez Sebastian Bader Howard Bowman Pedro Domingos Pascal Hitzler Kai-Uwe Küehnberger Luís C. Lamb Daniel Lowd Priscila Machado Vieira Lima	2
+	On end extensions of models of subsystems of peano arithmetic	2001	C. Dimitracopoulos	1
+ PDF Chat	On embedding models of arithmetic of cardinality \aleph<sub>1</sub>into reduced powers	2003	Juliette Kennedy Saharon Shelah	1
+	On the strength of Ramsey's theorem without Σ<sub>1</sub>‐induction	2013	Keita Yokoyama	1
+ PDF Chat	The primes contain arbitrarily long arithmetic progressions	2008	Benjamin Green Terence Tao	1
+	Hasse–Schmidt derivations and coefficient fields in positive characteristics	2003	M. Magdalena Fernández-Lebrón Luis Narváez Macarro	1
+	Maximum Schemes in Arithmetic	1994	A. Fernández‐Margarit Mario J. Pérez–Jiménez	1
+ PDF Chat	The arithmetic of cuts in models of arithmetic	2013	Richard Kaye	1
+ PDF Chat	On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study	2005	Javier Larrosa Enric Morancho D. Niso	1
+ PDF Chat	Quadratic residues and $x^3+y^3=z^3$ in models of ${\rm IE}_1$ and ${\rm IE}_2$.	1993	Stuart T. Smith	1
+	Open Problems in Topology	1990	Jan van Mill G. M. Reed	1
+	L'arithmétique ouverte et ses modèles non-standards	1991	Sedki Boughattas	1
+ PDF Chat	Division by zero	2016	Emil Jeřábek	1
+	On principles between ∑1- and ∑2-induction, and monotone enumerations	2016	Alexander Kreuzer Keita Yokoyama	1
+	The Erdős-Selfridge and the Schinzel-Tijdeman theorems hold in $PA^-$	2014	Victor Pambuccian	1
+ PDF Chat	On the value group of a model of Peano Arithmetic	2016	Merlin Carl Paola D’Aquino Salma Kuhlmann	1
+	“Why Should I Trust You?”: Explaining the Predictions of Any Classifier	2016	Marco Ribeiro Sameer Singh Carlos Guestrin	1
+	Unifying the model theory of first-order and second-order arithmetic via <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi mathvariant="normal">WKL</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mo>⁎</mml:mo></mml:mrow></mml:msubsup></mml:math>	2017	Ali Enayat Tin Lok Wong	1
+	Models OF Peano Arithmetic (Oxford Logic Guides 15)	1993	George Wilmers	1
+	Shepherdson's theorems for fragments of open induction	2017	Jana Glivická Petr Glivický	1
+	Towards A Rigorous Science of Interpretable Machine Learning	2017	Finale Doshi‐Velez Been Kim	1
+	Some observations on the logical foundations of inductive theorem proving	2017	Stefan Hetzl Tin Lok Wong	1
+	Explainable Artificial Intelligence: Understanding, Visualizing and Interpreting Deep Learning Models	2017	Wojciech Samek Thomas Wiegand Klaus‐Robert Müller	1
+ PDF Chat	Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory	2019	Mauro Di Nasso Isaac Goldbring Martino Lupini	1
+ PDF Chat	TSViz: Demystification of Deep Learning Models for Time-Series Analysis	2019	Shoaib Ahmed Siddiqui Dominique Mercier Mohsin Munir Andreas Dengel Sheraz Ahmed	1
+	Tune: A Research Platform for Distributed Model Selection and Training	2018	Richard Liaw Eric Liang Robert Nishihara Philipp Moritz Joseph E. Gonzalez Ion Stoica	1
+	The Bohr compactification of an abelian group as a quotient of its Stone-\v{C}ech compactification	2018	Pavol Zlatoš	1
+	Shedding Light on Black Box Machine Learning Algorithms: Development of an Axiomatic Framework to Assess the Quality of Methods that Explain Individual Predictions	2018	Milo Honegger	1
+ PDF Chat	Almost Arithmetic Progressions in the Primes and Other Large Sets	2019	Jonathan M. Fraser	1
+	TensorFlow: A system for large-scale machine learning	2016	Martı́n Abadi Paul Barham Jianmin Chen Zhifeng Chen Andy Davis Jay B. Dean Matthieu Devin Sanjay Ghemawat Geoffrey Irving Michael Isard	1
+	Divisibility in the Stone-Čech compactification	2015	Boris Šobot	1
+	Deep Inside Convolutional Networks: Visualising Image Classification Models and Saliency Maps	2013	Karen Simonyan Andrea Vedaldi Andrew Zisserman	1
+ PDF Chat	Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules	2010	José L. Balcázar	1
+ PDF Chat	Variable Forgetting in Reasoning about Knowledge	2009	Kaile Su Abdul Sattar Guilin Lv Ying Zhang	1

Joaquín Borrego-Dí­az

Joaquín Borrego-Díaz