Zobrazeno 1 - 10
of 1 316
pro vyhledávání: '"P, Kuusisto"'
The description complexity of a model is the length of the shortest formula that defines the model. We study the description complexity of unary structures in first-order logic FO, also drawing links to semantic complexity in the form of entropy. The
Externí odkaz:
http://arxiv.org/abs/2406.02108
Autor:
Jaakkola, Reijo, Janhunen, Tomi, Kuusisto, Antti, Rankooh, Masood Feyzbakhsh, Vilander, Miikka
Interpretability and explainability are among the most important challenges of modern artificial intelligence, being mentioned even in various legislative sources. In this article, we develop a method for extracting immediately human interpretable cl
Externí odkaz:
http://arxiv.org/abs/2406.01114
In pioneering work from 2019, Barcel\'o and coauthors identified logics that precisely match the expressive power of constant iteration-depth graph neural networks (GNNs) relative to properties definable in first-order logic. In this article, we give
Externí odkaz:
http://arxiv.org/abs/2405.14606
Autor:
Wilkins, Stephen M., Kuusisto, Jussi K., Irodotou, Dimitrios, Liao, Shihong, Lovell, Christopher C., Soininen, Sonja, Berger, Sabrina C., Newman, Sophie L., Roper, William J., Seeyave, Louise T. C., Thomas, Peter A., Vijayan, Aswin P.
Understanding the co-evolution of super-massive black holes (SMBHs) and their host galaxies remains a key challenge of extragalactic astrophysics, particularly the earliest stages at high-redshift. However, studying SMBHs at high-redshift with cosmol
Externí odkaz:
http://arxiv.org/abs/2404.02815
Autor:
Jaakkola, Reijo, Janhunen, Tomi, Kuusisto, Antti, Rankooh, Masood Feyzbakhsh, Vilander, Miikka
We introduce a method for computing immediately human interpretable yet accurate classifiers from tabular data. The classifiers obtained are short Boolean formulas, computed via first discretizing the original data and then using feature selection co
Externí odkaz:
http://arxiv.org/abs/2402.05680
We examine the relationship of graded (multi)modal logic to counting (multichannel) message passing automata with applications to the Weisfeiler-Leman algorithm. We introduce the notion of graded multimodal types, which are formulae of graded multimo
Externí odkaz:
http://arxiv.org/abs/2401.06519
Autor:
Ying-Chieh Wu, Šárka Lehtonen, Kalevi Trontti, Riitta Kauppinen, Pinja Kettunen, Ville Leinonen, Markku Laakso, Johanna Kuusisto, Mikko Hiltunen, Iiris Hovatta, Kristine Freude, Hiramani Dhungana, Jari Koistinaho, Taisia Rolova
Publikováno v:
Fluids and Barriers of the CNS, Vol 21, Iss 1, Pp 1-20 (2024)
Abstract Background Patients with Alzheimer's disease (AD) frequently present with cerebral amyloid angiopathy (CAA), characterized by the accumulation of beta-amyloid (Aβ) within the cerebral blood vessels, leading to cerebrovascular dysfunction. P
Externí odkaz:
https://doaj.org/article/ff2355ab447b4ba585cb169fd9c26369
We investigate the descriptive complexity of a class of neural networks with unrestricted topologies and piecewise polynomial activation functions. We consider the general scenario where the running time is unlimited and floating-point numbers are us
Externí odkaz:
http://arxiv.org/abs/2308.06277
Autor:
Jaakkola, Reijo, Janhunen, Tomi, Kuusisto, Antti, Rankooh, Masood Feyzbakhsh, Vilander, Miikka
We investigate explainability via short Boolean formulas in the data model based on unary relations. As an explanation of length k, we take a Boolean formula of length k that minimizes the error with respect to the target attribute to be explained. W
Externí odkaz:
http://arxiv.org/abs/2307.06971
Autor:
Seeyave, Louise T. C., Wilkins, Stephen M., Kuusisto, Jussi K., Lovell, Christopher C., Irodotou, Dimitrios, Simmonds, Charlotte, Vijayan, Aswin P., Thomas, Peter A., Roper, William J., Byrne, Conor M., Jones, Gareth T., Turner, Jack C., Conselice, Christopher J.
The history of reionisation is highly dependent on the ionising properties of high-redshift galaxies. It is therefore important to have a solid understanding of how the ionising properties of galaxies are linked to physical and observable quantities.
Externí odkaz:
http://arxiv.org/abs/2305.18174