Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Duque, David
41  Ergebnisse:
Buchkapitel (Online) X
Personensuche X
?
1

Automated Generation of Netlists from Electrothermal Field ..:

, In: Mathematics in Industry; Nanoelectronic Coupled Problems Solutions,
Casper, Thorben ; Duque Guerra, David J. ; Schöps, Sebastian. - p. 93-113 , 2019
Link: https://doi.org/10.1007/..
 
?
2

Non-Intrusive Methods for the Cosimulation of Coupled Probl..:

, In: Mathematics in Industry; Nanoelectronic Coupled Problems Solutions,
Schöps, Sebastian ; Duque Guerra, David J. ; De Gersem, Herbert... - p. 131-159 , 2019
Link: https://doi.org/10.1007/..
 
?
3

Bond Wire Models:

, In: Mathematics in Industry; Nanoelectronic Coupled Problems Solutions,
Guerra, David J. Duque ; Casper, Thorben ; Schöps, Sebastian... - p. 43-68 , 2019
Link: https://doi.org/10.1007/..
 
?
4

A Trademark Image Retrieval Tool Based on Deep Learning Fea..:

, In: Marketing and Smart Technologies; Smart Innovation, Systems and Technologies,
Manrique, Rubén ; Duque-Arias, David - p. 23-33 , 2021
Link: https://doi.org/10.1007/..
 
?
5

The Universal Tangle for Spatial Reasoning:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Fernández-Duque, David ; Papafilippou, Konstantinos - p. 814-827 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Fixed Point Logics on Hemimetric Spaces:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Fernandez-Duque, David ; Gougeon, Quentin - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
7

Fixed Point Logics and Definable Topological Properties:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Fernández-Duque, David ; Gougeon, Quentin - p. 36-52 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Time and Gödel: Fuzzy Temporal Reasoning in PSPACE:

, In: Logic, Language, Information, and Computation; Lecture Notes in Computer Science,
Aguilera, Juan Pablo ; Diéguez, Martín ; Fernández-Duque, David. - p. 18-35 , 2022
Link: https://doi.org/10.1007/..
 
?
9

Decidability for $$\mathsf S4$$ Gödel Modal Logics:

, In: Computational Intelligence and Mathematics for Tackling Complex Problems 4; Studies in Computational Intelligence,
Diéguez, Martín ; Fernández-Duque, David - p. 1-7 , 2022
Link: https://doi.org/10.1007/..
 
?
10

The topological mu-calculus : completeness and decidabil..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Baltag, Alexandru ; Bezhanishvili, Nick ; Fernández-Duque, David - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
11

A Non-hyperarithmetical Gödel Logic:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,
Aguilera, Juan Pablo ; Bydzovsky, Jan ; Fernández-Duque, David - p. 1-8 , 2021
Link: https://doi.org/10.1007/..
 
?
12

Hyperarithmetical Worm Battles:

, In: Logical Foundations of Computer Science; Lecture Notes in Computer Science,
Fernández-Duque, David ; Papafilippou, Konstnatinos ; Joosten, Joost J. - p. 52-69 , 2021
Link: https://doi.org/10.1007/..
 
?
13

Some constructive variants of S4 with the finite model prop..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Balbiani, Philippe ; Diéguez, Martín ; Fernández-Duque, David - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Ackermannian Goodstein Sequences of Intermediate Growth:

, In: Lecture Notes in Computer Science; Beyond the Horizon of Computability,
Fernández-Duque, David ; Weiermann, Andreas - p. 163-174 , 2020
Link: https://doi.org/10.1007/..
 
?
15

Axiomatic Systems and Topological Semantics for Intuitionis..:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Boudou, Joseph ; Diéguez, Martín ; Fernández-Duque, David. - p. 763-777 , 2019
Link: https://doi.org/10.1007/..
 
1-15