Zobrazeno 1 - 10
of 40
pro vyhledávání: '"Kirchner, Daniel"'
Publikováno v:
Open Philosophy, 2019
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philosophical methods. Computational metaphysics is computational philosoph
Externí odkaz:
http://arxiv.org/abs/1905.00787
Principia Logico-Metaphysica contains a foundational logical theory for metaphysics, mathematics, and the sciences. It includes a canonical development of Abstract Object Theory [AOT], a metaphysical theory (inspired by ideas of Ernst Mally, formaliz
Externí odkaz:
http://arxiv.org/abs/1711.06542
Autor:
Kirchner, Daniel
Publikováno v:
KI: Künstliche Intelligenz; Aug2024, Vol. 38 Issue 1/2, p95-98, 4p
Autor:
Velasco-Arnaiz, Eneritz, Simó-Nebot, Silvia, Ríos-Barnés, María, López Ramos, Maria Goretti, Monsonís, Manuel, Urrea-Ayala, Mireia, Jordan, Iolanda, Mas-Comas, Anna, Casadevall-Llandrich, Ricard, Ormazábal-Kirchner, Daniel, Cuadras-Pallejà, Daniel, Pérez-Pérez, Cristina, Millet-Elizalde, Marta, Sánchez-Ruiz, Emilia, Fortuny, Clàudia, Noguera-Julian, Antoni
Publikováno v:
In The Journal of Pediatrics October 2020 225:222-230
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kirchner, Daniel
We utilize and extend the method of shallow semantic embeddings (SSEs) in classical higher-order logic (HOL) to construct a custom theorem proving environment for abstract objects theory (AOT) on the basis of Isabelle/HOL. SSEs are a means for univer
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9af8bfcd7a679ddbac7ac4e845a5ac79
Autor:
Reigber, Andreas, Schreiber, Eric, Trappschuh, Kurt, Pasch, Sebastian, Müller, Gerhard, Kirchner, Daniel, Geßwein, Daniel, Schewe, Stefan, Nottensteiner, Anton, Limbach, Markus, Schreiber, Alicja, Rommel, Tobias, Horn, Ralf, Jäger, Marc, Scheiber, Rolf, Baumgartner, Stefan V., Joshi, Sushil Kumar, Barros Cardoso da Silva, Andre, Moreira, Alberto
Publikováno v:
Remote Sensing, Vol 12, Iss 1710, p 1710 (2020)
Synthetic Aperture Radar (SAR) is an established remote sensing technique that can robustly provide high-resolution imagery of the Earth’s surface. However, current space-borne SAR systems are limited, as a matter of principle, in achieving high az
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e6c566f7d06a9776845e77ba58ba9d00
https://www.mdpi.com/2072-4292/12/11/1710
https://www.mdpi.com/2072-4292/12/11/1710
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.