Avdelningen för matematik och statistik

  • Finland

Publikationer 1973 2025

Filter
Konferensbidrag
2019

Continuous Team Semantics

Hirvonen, Å., Kontinen, J. & Pauly, A., 2019, Theory and Applications of Models of Computation : 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13-16, 2019, Proceedings. Gopal, T. V. & Watada, J. (red.). Springer, Vol. 11436. s. 262-278 17 s. (Lecture Notes in Computer Science; vol. 11436).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

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.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

2018

A Unified Probabilistic Model for Learning Latent Factors and Their Connectivities from High-Dimensional Data

Monti, R. P. & Hyvärinen, A., 6 aug 2018, Uncertainty in Artificial Intelligence: Proceedings of the Thirty-Fourth Conference (2018). Globerson, A. & Silva, R. (red.). Oregon: AUAI Press, s. 300-309 10 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Capturing the visual traits of a mathematician – On Anders Johan Lexell’s futile studies in physiognomy

Stén, J. C-E. & Reuter, M., 2018, Proceedings of Bridges 2018 : Mathematics, Art, Music, Architecture, Education, Culture. Torrence, E., Torrence, B., Séquin, C. H. & Fenyvesi, K. (red.). Tessellations Publishing, s. 427-430 4 s. (Bridges Stockholm 2018 Conference Proceedings).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Comparing male and female students’ self-efficacy and self-regulation skills in two undergraduate mathematics course contexts

Lahdenperä, J., 2018, Proceedings of INDRUM 2018: Second conference of the International Network for Didactic Research in University Mathematics. Durand-Guerrier, V., Hochmuth, R., Goodchild, S. & Hogstad, N. M. (red.). Kristiansand, Norway: University of Agder and INDRUM, s. 346-355 10 s. (INDRUM Proceedings).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Correcting Boundary Over-Exploration Deficiencies In Bayesian Optimization With Virtual Derivative Sign Observations

Siivola, E., Vehtari, A., Vanhatalo, J., Gonzalez, J. & Andersen, M., nov 2018, 2018 IEEE 28th International Workshop on Machine Learning for Signal Processing (MLSP). Pustelnik, N., Ma, Z., Tan, ZH. & Larsen, J. (red.). IEEE, Vol. 28. 6 s. (IEEE International Workshop on Machine Learning for Signal Processing).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Fitting a Putative Manifold to Noisy Data

Fefferman, C., Ivanov, S., Kurylev, Y., Lassas, M. & Narayanan, H., 2018, Proceedings of COLT 2018 (Conference On Learning Theory). Bubeck, S., Perchet, V. & Rigollet, P. (red.). Vol. 75. s. 688-720 32 s. (Proceedings of Machine Learning Research; vol. 75).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Inverse problems for linear and non-linear hyperbolic equations

Lassas, M. J., 2018, Proceedings of International Congress of Mathematicians ICM 2018. Sirakov, B. & Ney de Souza, P. (red.). World Scientific, Vol. III.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskaplig

Kinetic theory and thermalization of weakly interacting fermions

Lukkarinen, J., 2018, Macroscopic Limits of Quantum Systems : Munich, Germany, March 30 - April 1, 2017 . Cadamuro, D., Duell, M., Dybalski, W. & Simonella, S. (red.). Cham: Springer, s. 1-28 28 s. (Springer Proceedings in Mathematics and Statistics; vol. 270).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

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

Polyteam Semantics

Hannula, M., Kontinen, J. & Virtema, J., 2018, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (red.). Springer, Vol. 2018. s. 190–210 21 s. (Lecture Notes in Computer Science; vol. 10703).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Probabilistic Team Semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2018, Foundations of Information and Knowledge Systems. Ferrarotti, F. & Woltran, S. (red.). Cham: Springer International Publishing, s. 186-206 21 s. (Lecture Notes in Computer Science).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Replacing exam with self-assessment: Reflection-centred learning environment as a tool to promote deep learning

Nieminen, J. H., Häsä, J., Rämö, J. & Tuohilampi, L., 2018, Proceedings of the 21th Annual Conference on Research in Undergraduate Mathematics Education. San Diego: RUME. Weinberg, A., Rasmussen, C., Rabin, J., Wawro, M. & Brown, S. (red.). San Diego, CA: Special Interest Group of the Mathematics Association of America for Research in Undergraduate Mathematics Education, (Proceedings of the ... Annual Conference on Research in Undergraduate Mathematics Education).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång

Structure Learning for Bayesian Networks over Labeled DAGs

Hyttinen, A., Pensar, J., Kontinen, J. & Corander, J., 2018, Proceedings of the Ninth International Conference on Probabilistic Graphical Models. PMLR, Vol. 72. s. 133-144 12 s. (Proceedings of Machine Learning Research; vol. 72).

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

The interplay of informative assessment criteria and continuous feedback with mathematics students' learning orientations

Tuohilampi, L., Nieminen, J. H., Häsä, J. & Rämö, J., 2018, Proceedings of the 42nd Conference of the International Group for the Psychology of Mathematics Education. Bergqvist, E., Österholm, M., Carina, G. & Sumpter, L. (red.). PME International Group for the Psychology of Mathematics Education, Vol. 4. s. 299–306 8 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil
2017

Amplitude Noise Suppression and Orthogonal Multiplexing Using Injection-Locked Single-Mode VCSEL

Lyubopytov, V. S., von Lerber, T., Lassas, M., Malekizandi, M., Chipouline, A. & Kueppers, F., 2017, OPTICAL FIBER COMMUNICATIONS CONFERENCE 2017. OSA Publishing, Vol. 2017. 3 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Automatic Definition and Application of Similarity Measures for Self-operation of Network

Tang, H., Stenberg, K., Apajalahti, K., Niiranen, J. & Räisänen, V., 2017, Mobile Networks and Management: 8th International Conference, MONAMI 2016 Abu Dhabi, United Arab Emirates, October 23–24, 2016 Proceedings. Agüero, R., Zaki, Y., Wenning, B-L., Förster, A. & Timm-Giel, A. (red.). Springer, s. 206-219 14 s. (Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering; vol. 191).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Characterizations to the fractional Sobolev inequality

Hurri-Syrjänen, R. & Vähäkangas, A. V., nov 2017, Complex Analysis and Dynamical Systems VII. Agranovsky, M. L., Ben-Artzi, M., Bénéteau, C., Karp, L., Khavinson, D., Reich, S., Shoikhet, D., Weinstein, G. & Zalcman, L. (red.). Rhode Island, USA: American Mathematical Society, s. 145-154 10 s. (Contemporary Mathematics; vol. 699).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Comparison of Non-Parametric Bayesian Mixture Models for Syllable Clustering and Zero-Resource Speech Processing

Seshadri, S., Remes, U. & Räsänen, O., 2017, INTERSPEECH 2017. ISCA, s. 2744-2748 5 s. (Interspeech ; vol. 2017).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Differentially private Bayesian learning on distributed data

Heikkila, M., Lagerspetz, E., Kaski, S., Shimizu, K., Tarkoma, S. & Honkela, A., 2017, Advances in Neural Information Processing Systems 30 (NIPS 2017). Guyon, I., Luxburg, U. V., Bengio, S., Wallach, H., Fergus, R., Vishwanathan, S. & Garnett, R. (red.). NEURAL INFORMATION PROCESSING SYSTEMS (NIPS), Vol. 30. 10 s. (Advances in Neural Information Processing Systems; vol. 30).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Injection-Locked Single-Mode VCSEL for Orthogonal Multiplexing and Amplitude Noise Suppression

Chipouline, A., Lyubopytov, V. S., Malekizandi, M., von Lerber, T., Lassas, M. & Küppers, F., 2017, 2017 CONFERENCE ON LASERS AND ELECTRO-OPTICS EUROPE & EUROPEAN QUANTUM ELECTRONICS CONFERENCE (CLEO/EUROPE-EQEC). IEEE, 1 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Kant, Co-production, Actuality and Pedestrian Space: Remarks on the Philosophical Writings of Fred Sandback

Kennedy, J., 2017, Simplicity: Ideals of Practice in Mathematics and the Arts. Kossak, R. & Ording, P. (red.). Cham: Springer International Publishing AG, s. 37-48 12 s. (Mathematics, Culture, and the Arts).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Model checking and validity in propositional and modal inclusion logics

Hella, L., Kuusisto, A., Meier, A. & Virtema, J., 2017, 42nd International Symposium on Mathematical Foundations of Computer Science. Larsen, K. G., Bodlaender, H. L. & Raskin, J-F. (red.). Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 14 s. 32. (Leibniz International Proceedings in Informatics ; vol. 83).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

Nonlinear ICA of Temporally Dependent Stationary Sources

Hyvärinen, A. & Morioka, H., 2017, Articial Intelligence and Statistics (AISTATS 2017). Singh, A. & Zhu, J. (red.). Microtome Publishing, s. 460-469 10 s. (Proceedings of Machine Learning Research; vol. 54).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

On the Interaction of Inclusion Dependencies with Independence Atoms

Hannula, M., Kontinen, J. A. & Link, S., 2017, Logic for Programming, Artificial Intelligence, and Reasoning - 21th International Conference, LPAR-21 2017. Eiter, T. & Sands, D. (red.). EasyChair Publications, s. 212--226 15 s. (EPiC Series in Computing; vol. 46).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Sharing performance measurement events across domains

Apajalahti, K., Niiranen, J., Kapoor, S. & Räisänen, V., 2017, 2017 IFIP/IEEE International Symposium on Integrated Network Management (IM 2017). Chemouil ... [et al.], P. (red.). IEEE, s. 463-469 7 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Shearlet-based regularization in sparse dynamic tomography

Bubba, T. A., März, M., Purisha, Z., Lassas, M. & Siltanen, S., 24 aug 2017, Wavelets and Sparsity XVII. Lu, Y. M., Van De Ville, D. & Papadakis, M. (red.). Washington: SPIE - INTERNATIONAL SOCIETY FOR OPTICAL ENGINEERING, 10 s. UNSP 103940Y. (Proceedings of SPIE; vol. 10394).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

SPLICE: Fully tractable hierarchical extension of ICA with pooling

Hirayama, J., Hyvärinen, A. J. & Kawanabe, M., 2017, Proceedings of the 34 th International Conference on Machine Learning, Sydney, Australia. Precup, D. & Teh, Y. W. (red.). International Machine Learning Society (IMLS), s. 2351-2362 12 s. (Proceedings of Machine Learning Research; vol. 70).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Subject matter knowledge and pedagogical content knowledge in the learning diaries of prospective mathematics teachers

Hannula, J., 2017, Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education. Dooley, T. & Gueudet, G. (red.). Dublin, Irlanti: Dublin City University , Vol. 2017. s. 3312-3319 8 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Fil
2016

Activity and performance on a student-centred undergraduate mathematics course

Rämö, J., Oinonen, L. & Vihavainen, A., 2016, Proceedings of INDRUM 2016: First conference of International Network for Didactic Research in University Mathematics. Montpellier: University of Montpellier and INDRUM, s. 494-503 10 s. (INDRUM Proceedings).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

A Logical Approach to Context-Specific Independence

Corander, J., Hyttinen, A., Kontinen, J., Pensar, J. & Väänänen, J., aug 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Berlin: Springer-Verlag, s. 165-182 18 s. (Lecture Notes in Computer Science; vol. 9803).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

A New Cauchy Type Integral Formula for Quaternionic k-hypermonogenic Functions

Eriksson, S-L. & Orelma, H., 2016, Modern Trends in Hypercomplex Analysis. Bernstein, S., Kahler, U., Sabadini, I. & Sommen, F. (red.). Cham: Birkhäuser Basel, s. 175-189 15 s. (Trends in Mathematics).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Approximation and Dependence via Multiteam Semantics

Durand, A., Hannula, M., Kontinen, J., Meier, A. & Virtema, J., 2016, Proceedings of 9th International Symposium on Foundations of Information and Knowledge Systems . Gyssens, M. & Simari, G. (red.). Springer, Vol. 9616. s. 271-291 21 s. (Lecture Notes in Computer Science; vol. 9616).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Characterizing Relative Frame Definability in Team Semantics via the Universal Modality

Sano, K. & Virtema, J., 6 aug 2016, Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : Proceedings. Vaananen, J., Hirvonen, A. & DeQueiroz, R. (red.). Berlin: Springer, s. 392-409 18 s. (Lecture Notes in Computer Science; vol. 9803).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Descriptive Complexity of #AC^0 Functions

Durand, A., Haak, A., Kontinen, J., Vollmer, H. & Vollmer, H., 2016, Conference on Computer Science Logic : CSL 2016, August 29 to September 1, 2016, Marseille, France. Talbot, J-M. & Regnier, L. (red.). Saarbrücken/Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, s. 1-16 16 s. 20. (Leibniz International Proceedings in Informatics; vol. 62).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Fast Nearest Neighbor Search through Sparse Random Projections and Voting

Hyvönen, V., Pitkänen, T., Tasoulis, S., Jääsaari, E., Tuomainen, R., Wang, L., Corander, J. I. & Roos, T., 2016, Proceedings of the 2016 IEEE Conference on Big Data. New York, NY: IEEE, s. 881-888 8 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Fil

From alignment of etymological data to phylogenetic inference via population genetics

Nouri, J., Sirén, J., Corander, J. & Yangarber, R., 2016, The 54th Annual Meeting of the Association for Computational Linguistics: Proceedings of the 7th Workshop on Cognitive Aspects of Computational Language Learning. Stroudsburg, PA: Association for Computational Linguistics, s. 27-37 11 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Imaging of moisture content in wood using electrical capacitance tomography

Voss, A., Seppänen, A., Siltanen, S., Salokangas, L. & Baroudi, D., 2016, WCTE 2016 e-book. Eberhardsteiner, J., Winter, W., Fadai, A. & Pöll, M. (red.). TU Verlag, Wien, s. 1620-1626

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Öppen tillgång
Fil

On quantified propositional logics and the exponential time hierarchy

Hannula, M., Kontinen, J., Lück, M. & Virtema, J., 2016, Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification : EPTCS. Cantone, D. & Delzanno, G. (red.). s. 198-212 14 s. (Electronic Proceedings in Theoretical Computer Science; vol. 226).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

StaRe: Statistical Reasoning Tool for 5G Network Management

Apajalahti, K., Hyvönen, E., Niiranen, J. & Räisänen, V., 2016, The Semantic Web: ESWC 2016 Satellite Events Heraklion, Crete, Greece, May 29 – June 2, 2016 Revised Selected Papers. Sack, H., Rizzo, G., Steinmetz, N., Mladenić, D., Auer, S. & Lange, C. (red.). Cham: Springer International Publishing , s. 21-25 5 s. (Lecture Noted in Computer Science; vol. 9989).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Tomographic Inversion Using NURBS and MCMC

Siltanen, S. & Purisha, Z., 2016, Forging Connections between Computational Mathematics and Computational Geometry. Chen, K. & Ravindran, A. (red.). Cham: Springer, s. 153-165 14 s. (Springer Proceedings in Mathematics & Statistics; vol. 124).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Transmit Beamforming in Rayleigh Product MIMO Channels: Ergodic Mutual Information and Symbol Error Rate

Zheng, Z., Wei, L., Haas, Z. J. & Tarokh, V., 2016, 2016 IEEE International Conference on Communications (ICC). Institute of Electrical and Electronics Engineers, 5 s. (IEEE International Conference on Communications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

Unsupervised Feature Extraction by Time-Contrastive Learning and Nonlinear ICA

Hyvärinen, A. & Morioka, H., 2016, Advances in Neural Information Processing Systems. Garnett, R., Lee, D. D., von Luxburg, U., Guyon, I. & Sugiyama, M. (red.). Neural Information Processing Systems Foundation, s. 3772-3780 9 s. (Advances in neural information processing systems; vol. 29, nr. NIPS 2016).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

2015

A GRADIENT ADAPTIVE POPULATION IMPORTANCE SAMPLER

Elvira, V., Martino, L., Luengo, D. & Corander, J., 2015, 2015 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING (ICASSP). s. 4075-4079 5 s. (International Conference on Acoustics Speech and Signal Processing ICASSP).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review

A Van Benthem Theorem for Modal Team Semantics

Kontinen, J., Müller, J-S., Schnoor, H. & Vollmer, H., 2015, 24th EACSL Annual Conference on Computer Science Logic (CSL 2015). Kreutzer, S. (red.). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 277-291 15 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKonferensbidragVetenskapligPeer review