Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Klaus Grue"'
Publikováno v:
Journal of Marketing Analytics. 10:187-206
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::210ea52a5efa0da56ce8cdf3efb1e864
https://doi.org/10.1057/s41270-021-00144-5
https://doi.org/10.1057/s41270-021-00144-5
Autor:
Abrantes, Bruno F.1 (AUTHOR) btfa@niels.brock.dk, Ostergaard, Klaus Grue1 (AUTHOR)
Publikováno v:
Journal of Marketing Analytics. Sep2022, Vol. 10 Issue 3, p187-206. 20p.
Incumbents face nowadays one of their great data governance challenges, regarding the balancing of Big Data´s utilization and the imperative of uplifting the consumer´s sentiment. In the context of the European Union (EU), the prior is especially a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a74b48288367781e0af3ebc00e636b4d
https://doi.org/10.21203/rs.3.rs-472309/v1
https://doi.org/10.21203/rs.3.rs-472309/v1
Autor:
Klaus Grue, Chantal Berline
Publikováno v:
Theoretical Computer Science
Theoretical Computer Science, Elsevier, 2016, 614, pp.1-62. ⟨10.1016/j.tcs.2015.11.028⟩
Theoretical Computer Science, Elsevier, 2016, 614, pp.1-62. ⟨10.1016/j.tcs.2015.11.028⟩
Includes TOC détaillée, index et appendices; International audience; This paper presents a subtantially simplified axiomatization of Map Theory and proves the consistency of this axiomatization in ZFC under the assumption that there exists an inacc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5763b6c4a5e5829109aecbad409b561e
https://doi.org/10.1016/j.tcs.2015.11.028
https://doi.org/10.1016/j.tcs.2015.11.028
Autor:
Klaus Grue
Publikováno v:
Electronic Notes in Theoretical Computer Science. 61:140-153
Many operations exist for constructing Scott-domains. This paper presents Dedekind completion as a new operation for constructing such domains and outlines an application of the operation. Dedekind complete Scott domains are of particular interest wh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7adfb5f916c5f79a578bd6185adcc82e
Autor:
Klaus Grue, Chantal Berline
Publikováno v:
Theoretical Computer Science. 179(1-2):137-202
Map theory, or MT for short, has been designed as an “integrated” foundation for mathematics, logic and computer science. By this we mean that most primitives and tools are designed from the beginning to bear the three intended meanings: logical,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b848f3260d3ff890ce446089e170971e
Autor:
Klaus Grue
Publikováno v:
Theoretical Computer Science. 102:1-133
Map theory is a foundation of mathematics based on λ-calculus instead of logic and sets, and thereby fulfills Church's original aim of introducing λ-calculus. Map theory can do anything set theory can do. In particular, all of classical mathematics
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b0d70199acdffd160d3cabaf991b9294
https://doi.org/10.1016/0304-3975(92)90296-r
https://doi.org/10.1016/0304-3975(92)90296-r
Publikováno v:
Telematics and Informatics. 8:425-437
The Expert Operator's Associate (EOA) project is presented which studies the applicability of expert systems for day-to-day space operations. A prototype expert system is developed, which operates on-line with an existing spacecraft control system at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c7c28d529fe5f959ac6e6883589e4514
https://doi.org/10.1016/s0736-5853(05)80063-2
https://doi.org/10.1016/s0736-5853(05)80063-2
Autor:
Klaus Grue
Publikováno v:
Towards Mechanized Mathematical Assistants ISBN: 9783540730835
Calculemus/MKM
Calculemus/MKM
Logiweb is an open source, distributed system for publication of machine checked mathematics. It covers all aspects of electronic publishing: high typographical quality, archival, handling of references to previously published results, and publicatio
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4347d689d3e422e334e3513f7f89f0ed
https://doi.org/10.1007/978-3-540-73086-6_21
https://doi.org/10.1007/978-3-540-73086-6_21
Autor:
Artur Korniłowicz, Klaus Grue
Publikováno v:
Formalized Mathematics, Vol 15, Iss 4, Pp 213-230 (2007)
Summary. This Mizar paper presents the denition of a \Preordered Coherent Space" (PCS). Furthermore, the paper denes a number of operations on PCS’s and states and proves a number of elementary lemmas about these operations. PCS’s have many usefu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9836683689b07acfd85112de5dfaf246
https://doi.org/10.2478/v10037-007-0025-4
https://doi.org/10.2478/v10037-007-0025-4