Avdelningen för matematik och statistik underenhet

  • Finland

  • Finland

Publikationer 2015 2020

Filter
Konferensbidrag
2019

Counting of Teams in First-Order Team Logics

Haak, A., Kontinen, J., Müller, F., Vollmer, H. & Yang, F., aug 2019, Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Discourse of Otherness in a Universally Designed undergraduate mathematics course

Nieminen, J. H., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U., van den Heuvel-Panhuizen, M. & Veldhuis, M. (red.). Utrecht: CERME: Freudenthal Group & Freudenthal Institute, Utrecht University, Vol. 2019.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Evaluating students' self-assessment in large classes

Häsä, J. I. A., Rämö, J. M. & Virtanen, V., 2019, (!!Accepted/In press) Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U., van den Heuvel-Panhuizen, M. & Veldhuis, M. (red.). Utrecht: CERME: Freudenthal Group & Freudenthal Institute, Utrecht University

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Facets of Distribution Identities in Probabilistic Team Semantics

Hannula, M., Hirvonen, Å., Kontinen, J., Kulikov, V. & Virtema, J., 2019, Logics in Artificial Intelligence : 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. Calimeri, F., Leone, N. & Manna, M. (red.). Springer, Vol. 11468. s. 304-320 17 s. (Lecture Notes in Computer Science; vol. 11468).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Logics for first-order team properties

Kontinen, J. & Yang, F., 18 apr 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019. Proceedings. Iemhoff, R., Moortgat, M. & de Queiroz, R. (red.). Springer-Verlag, Vol. 11541. s. 392-414 23 s. (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

2018

Monotonicity-Based Regularization for Phantom Experiment Data in Electrical Impedance Tomography

Harrach, B. & Minh, M. N., 2018, New Trends in Parameter Identification for Mathematical Models . Hofmann, B., Leitao, A. & Zubelli, J. P. (red.). 211039 red. Cham: Springer International Publishing - Birkhäuser, s. 107-120 14 s. (Trends in Mathematics).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Taylor-Green-Kubo formula and asymptotic transport of inertial particles

Boi, S., Mazzino, A. & Muratore-Ginanneschi, P., 2018, THMT-18. Turbulence, Heat and Mass Transfer 9 : Proceedings of the Ninth International Symposium On Turbulence, Heat and Mass Transfer. International Centre for Heat and Mass Transfer, Digital library, s. 1085-1088 4 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review