Tutkimustuotoksia vuodessa
Tutkimustuotoksia vuodessa
Henkilökohtainen profiili
Koulutus / tieteellinen pätevyys
Fil. toht., matematiikka, Tampereen yliopisto
Myöntöpäivä: 26 lokak. 2011
Sormenjälki
Sukella tutkimusaiheisiin, joissa Antti Kuusisto on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
- 1 Samanlaiset profiilit
Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta
Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
-
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
Jaakkola, R., Kuusisto, A. & Vilander, M., 3 helmik. 2025, 33rd EACSL Annual Conference on Computer Science Logic, CSL 2025. Endrullis, J. & Schmitz, S. (toim.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, s. 1-20 17. (Leibniz International Proceedings in Informatics, LIPIcs; Vuosikerta 326).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto1 Lataukset (Pure) -
Descriptive complexity for distributed computing with circuits
Ahvonen, V., Heiman, D., Hella, L. & Kuusisto, A., tammik. 2025, (E-pub ahead of print) julkaisussa: JOURNAL OF LOGIC AND COMPUTATION. exae087.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto9 Lataukset (Pure) -
Relating description complexity to entropy
Jaakkola, R., Kuusisto, A. & Vilander, M., toukok. 2025, julkaisussa: Journal of Computer and System Sciences. 149, 103615.Tutkimustuotos: Artikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto6 Lataukset (Pure) -
Descriptive Complexity for Neural Networks via Boolean Networks
Ahvonen, V., Heiman, D. & Kuusisto, A., 27 helmik. 2024, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Murano, A. & Silva, A. (toim.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vuosikerta 288. s. 9:1-9:22 22 Sivumäärä (Leibniz International Proceedings in Informatics (LIPIcs); Vuosikerta 288).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto1 Sitaatiot (Scopus)7 Lataukset (Pure) -
Interpretable classifiers for tabular data via feature selection and discretization
Jaakkola, R., Janhunen, T., Kuusisto, A., Feyzbakhsh Rankooh, M. & Vilander, M., 2024, DAO-XAI 2024: Data meets Ontologies in Explainable AI 2024: Proceedings of the 4th International Workshop on Data meets Ontologies in Explainable AI co-located with the 27th European Conference on Artificial Intelligence (ECAI 2024) . CEUR-WS, 22 Sivumäärä (CEUR Workshop Proceedings; Vuosikerta 3833).Tutkimustuotos: Konferenssiartikkeli › Tieteellinen › vertaisarvioitu
Open accessTiedosto10 Lataukset (Pure)
Aktiviteetit
-
Modal Logic and Distributed Message Passing Automata
Kuusisto, A. (Speaker)
3 syysk. 2013Aktiviteetti: Konferenssiesitelmä
-
Strong systems of modal logic, with connections to distributed computing
Kuusisto, A. (Speaker)
19 huhtik. 2013Aktiviteetti: Konferenssiesitelmä
-
Second-Order Logic and Definability
Kuusisto, A. (Keynote speaker)
31 tammik. 2013Aktiviteetti: Kutsuttu esitelmä
-
85th Workshop on General Algebra (AAA85)
Kuusisto, A. (Puheenjohtaja)
31 tammik. 2013 → 2 helmik. 2013Aktiviteetti: Workshopin tai sessionin puheenjohtajana toimiminen
-
Logica Universalis (Lehti)
Kuusisto, A. (Arvioija)
2013Aktiviteetti: Tieteellisen lehden refereenä toimiminen