Avdelningen för matematik och statistik

  • Finland

Publikationer 1973 2025

Filter
Kapitel
2015

Luonnontieteiden kerho-opetus ja muu soveltaminen -kurssi Helsingin yliopistossa

Vartiainen, J. L., Aksela, M. K., Räsänen, J. J. & Kesler, M., 2015, Tiede- ja teknologiakasvatus: Laatua asiantuntevasta kerhotoiminnasta. Helsinki: Kehittämiskeskus Opinkirjo, s. 58-59

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

On Natural Deduction in Dependence Logic

Kontinen, J., 2015, Logic Without Borders: Essays on set theory, model theory, philosophical logic and philosophy of mathematics. de Gruyter, (Ontos Mathematical Logic; nr. 5).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

On tau-Li Coefficients for Rankin-Selberg L-Functions

Bucur, A., Ernvall-Hytönen, A-M., Odzak, A., Roditty-Gershon, E. & Smajlovic, L., 2015, WOMEN IN NUMBERS EUROPE: RESEARCH DIRECTIONS IN NUMBER THEORY. Bertin, MJ., Bucur, A., Feigon, B. & Schneps, L. (red.). Springer International Publishing AG, s. 167-190 24 s. (Association forWomen in Mathematics Series; vol. 2).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Pursuing logic without borders

Väänänen, J., 2015, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (red.). de Gruyter, s. 403-416 14 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelProfessionell

The Novikov-Veselov Equation: Theory and Computation

Croke, R., Mueller, J. L., Music, M., Perry, P., Siltanen, S. & Stahel, A., 2015, NONLINEAR WAVE EQUATIONS: ANALYTIC AND COMPUTATIONAL TECHNIQUES. Curtis, CW., Dzhamay, A., Hereman, WA. & Prinari, B. (red.). Providence, Rhode Island : American Mathematical Society, s. 25-70 46 s. (Contemporary Mathematics; vol. 635).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

The size of a formula as a measure of complexity

Hella, L. & Väänänen, J., 2015, Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (red.). de Gruyter, s. 193-214 22 s. (Ontos Mathematical Logic; vol. 5).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Fil
2014

Gödel and analytic philosophy: how did we get here?

Kennedy, J., 1 jul 2014, Interpreting Gödel. Cambridge: Cambridge University Press

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Gödel's 1946 Princeton Bicentennial Lecture: An Appreciation

Kennedy, J., 1 jul 2014, Interpreting Gödel. Cambridge University Press

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Hankel operators on Fock spaces

Perälä, A. I., Schuster, A. & Virtanen, J., 2014, Operator Theory: Advances and Applications: Concrete Operators, Spectral Theory, Operators in Harmonic Analysis and Approximation. Springer Basel, Vol. 236. 14 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

MODELING THE EURO–USD EXCHANGE RATE WITH THE GAUSSIAN MIXTURE AUTOREGRESSIVE MODEL

Kalliovirta, L., Meitz, M. & Saikkonen, P., 2014, Contributions to Mathematics, Statistics, Econometrics, and Finance: Essays in Honour of Professor Seppo Pynnönen . Knif, J. & Pape, B. (red.). Vaasa: University of Vaasa, s. 171-194 23 s. (Acta Wasaensia ; vol. 296)(Acta Wasaensia. Statistics; vol. 7).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

Molekyyligenetiikka

Ripatti, S. O., Surakka, I. L. & Sarin, A-P., 2014, Käyttäytymisgenetiikka - geeneistä yhteiskuntaan. Latvala, A. & Silventoinen, K. (red.). Helsinki: Gaudeamus, s. 46-62 16 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

Multiverse set theory and absolutely undecidable propositions

Väänänen, J., 2014, Interpreting Gödel. Kennedy, J. (red.). New York: Cambrigde University Press, s. 180-208

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

On dependence logic

Galliani, P. & Väänänen, J., 2014, Johan F. A. K. van Benthem on Logical and Informational Dynamics . Baltag, A. & Smets, S. (red.). Cham: Springer International Publishing AG, s. 101-119 19 s. (Outstanding contributions to logic; vol. 5).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

On the "Logic without Borders" Point of View

Kennedy, J., 2014, Logic Without Borders. Hirvonen, Å., Kontinen, J., Kossak, R. & Villaveces, A. (red.). Boston, MA: de Gruyter, (Ontos mathematical Logic; vol. 5).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

The Philosophical Development of Kurt Gödel

Kennedy, J. & van Atten, M., 18 sep 2014, Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer. Springer International Publishing AG, Vol. 35. s. 95-145

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Trajectory-to-Trajectory Fluctuations in First-Passage Phenomena in Bounded Domains

Mattos, T. G., Mejia Monasterio, C. R., Metzler, R., Oshanin, G. & Schehr, G., 2014, First-Passage Phenomena and their Applications. Metzler, R., Oshanin, G. & Redner, S. (red.). Singapore: World Scientific, s. 203-225 23 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

2013

Adaptive dynamics and evolutionary branching in mutation-limited evolution

Geritz, S. & Kisdi, E., 2013, (!!Accepted/In press) Elements of Adaptive Dynamics. Dieckmann, U. & Metz, J. A. J. (red.). Cambridge University Press, (Cambridge Studies in Adaptive Dynamics).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Bayesian Block-Diagonal Predictive Classifier for Gaussian Data

Corander, J., Koski, T., Pavlenko, T. & Tillander, A., 2013, SYNERGIES OF SOFT COMPUTING AND STATISTICS FOR INTELLIGENT DATA ANALYSIS. Kruse, R., Berthold, MR., Moewes, C., Gil, MA., Grzegorzewski, P. & Hryniewicz, O. (red.). Springer-Verlag, s. 543-551 9 s. ( Advances in Intelligent Systems and Computing; vol. 190).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Calderón’s inverse problem: imaging and invisibility

Astala, K., Lassas, M. & Päivärinta, L., 2013, Inverse problems and Applications: Inside Out II. Uhlmann, G. (red.). Cambrigde University Press, Vol. 60. s. 1-54 54 s. (Mathematical Sciences Research Institute Publications; vol. 60).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Comments on Abramsky

Väänänen, J., 2013, Logic Across the University: Foundations and Applications, Proceedings of the Tsinghua Logic Conference. London: College Publications, s. 152-156

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Evolutionary branching and coexistence of germination strategies

Mathias, A. & Kisdi, E., 2013, (!!Accepted/In press) Elements of Adaptive Dynamics. Dieckmann, U. & Metz, J. A. J. (red.). Cambridge University Press, (Cambridge Studies in Adaptive Dynamics).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Evolutionary branching and speciation: Insights from few-locus models

Kisdi, E. & Geritz, S., 2013, (!!Accepted/In press) Elements of Adaptive Dynamics. Dieckmann, U. & Metz, J. A. J. (red.). Cambridge University Press, (Cambridge Studies in Adaptive Dynamics).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Mining regulatory network connections by ranking transcription factor target genes using time series expression data

Honkela, A., Rattray, M. & Lawrence, N. D., 2013, Data Mining for Systems Biology: Methods and Protocols. Mamitsuka, H., DeLisi, C. & Kanehisa, M. (red.). Humana Press, s. 59-67 9 s. (Methods in Molecular Biology; vol. 939).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Singular integrals on self-similar subsets of metric groups

Chousionis, V. & Mattila, P., 2013, Further developments in fractals and related fields: mathematical foundations and connections. Barral, J. & Seuret, S. (red.). New York: Birkhäuser, s. 47-61 15 s. (Trends in mathematics).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

The index formula of Douglas for block Toeplitz operators on the Bergman space of the ball

Böttcher, A. & Perälä, A. I., 2013, Operator Theory: Advances and Applications: Operator Theory, Pseudo-Differential Equations, and Mathematical Physics. Springer Basel, Vol. 228. s. 39-55 17 s. (Operator Theory: Advances and Applications).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

2012

Causal inference from observational data: a Bayesian predictive approach

Arjas, E., 21 aug 2012, Causality: Statistical Perspectives & Applications. Berzuini, C., Dawid, A. P. & Bernardinelli, L. (red.). John Wiley & Sons Ltd. , s. 71-84 14 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Characterizing Definability of Second-Order Generalized Quantifiers

Kontinen, J. & Szymanik, J., 23 jul 2012, Logic and Interactive Rationality : LIRa Yearbook 2011. Baltag, A., Grossi, D., Marcoci, A., Rodenhauser, B. & Smets, S. (red.). Amsterdam: Logic and Interactive Rationality, s. 231-252 23 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

Evolution of condition-dependent dispersal

Kisdi, E., Utz, M. & Gyllenberg, M., 2012, Dispersal Ecology and Evolution. Clobert, J., Baguette, M., Benton, T. & Bullock, J. (red.). Oxford University Press

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Lindström's Theorem

Väänänen, J., 2012, Universal Logic: An Anthology. Beziau, J-Y. (red.). Springer-Verlag, s. 231-236 6 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Numerical Schottky Uniformization of Certain Cyclic L-gonal Curves

Seppälä, M. & Hidalgo, R., 15 jul 2012, Computational Algebraic and Analytic Geometry: Contemporary Mathematics. American Mathematical Society, Vol. 572. 15 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Probability

Arjas, E., 2012, Selected Works of Terry Speed. Dudoit, S. (red.). Springer, s. 39-43 5 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Re-analysis of Bipolar Disorder and Schizophrenia Gene Expression Complements the Kraepelinian Dichotomy

Qian, K., Di Lieto, A., Corander, J., Auvinen, P. & Greco, D., 2012, Advances in Systems Biology. Goryanin, I. I. & Goryachev, A. B. (red.). New York: Springer, Vol. 736. s. 563-577 15 s. (Advances in Experimental Medicine and Biology; vol. 736, nr. 5).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Second order logic, set theory and foundations of mathematics

Väänänen, J., 2012, Epistemology versus Ontology: Essays of the Philosophy and Foundations of Mathematics in Honor of Per Martin-­‐Löf. Dybjer, P., Lindström, S., Palmgren, E. & Sundholm, G. (red.). Dordrecht: Springer-Verlag

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

The Chern character of certain infinite rank bundles arising in gauge theory

Mickelsson, J., 2012, Analysis, Geometry and Quantum Field Theory. Aldana, C. L. (red.). Providence/USA: American Mathematical Society, Vol. 2012/CONM 584.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

2011

Enemmän vai laadukkaammin

Honkela, A., 2011, Kirjeitä nuorelle tutkijalle: kannanottoja tutkijan arjesta. Paso, M. (red.). Helsinki: Suomalainen Tiedeakatemia, s. 38-42 5 s. (Suomalaisen Tiedeakatemian kannanottoja; vol. 3).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelAllmänheten

Gaussian Process Inference for Differential Equation Models of Transcriptional Regulation

Lawrence, N., Rattray, M., Honkela, A. & Titsias, M., 2011, Handbook of Statistical Systems Biology. Stumpf, M. P. H., Balding, D. J. & Girolami, M. (red.). John Wiley & Sons Ltd. , s. 376-394 19 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Gödel's Thesis - an Appreciation

Kennedy, J., 2011, Kurt Gödel and the foundations of mathematics: Horizons of Truth. Baaz, M. (red.). Cambridge University Press, s. 95-109 15 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Let the beauty of Harmonic Analysis be revealed through nonlinear PDEs

Iwaniec, T., 2011, All that math: Portraits of Mathematicians as young readers, Celebrating the Centennial of Real Sociedad Mathemática Española. Revista Matematica Iberoamericana, Vol. Special volume. s. 171-185

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

Marstrand's theorems

Mattila, P., 2011, All that math: Portraits of mathematicians as young readers. Celebrating the centennial of Real Sociedad Matemática Española. Cordoba, A., Fernandez, J. L. & Fernandez, P. (red.). Madrid: Revista Matematica Iberoamericana, s. 237-246 9 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Numerical Schottky Uniformizations: Myrberg’s Opening Process

Hidalgo, R. & Seppälä, M., 2011, Computational Approach to Riemann Surfaces. Berlin: Springer-Verlag, s. 195-209 15 s. (Lecture Notes in Mathematics; vol. 2013).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Wave phenomena

Lassas, M., Salo, M. & Uhlmann, G., 2011, Handbook of Mathematical Methods in Imaging. Scherzer, O. (red.). Springer, s. 867-909 43 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

When do optimisation arguments make evolutionary sense?

Gyllenberg, M., Metz, J. A. J. & Service, R., 2011, The Mathematics of Darwins Legacy. Chalub, F. A. C. C. & Rodrigues, J. F. (red.). Basel: Birkhäuser, s. 233-268 38 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

2010

Characterizations for Hardy's inequality

Kinnunen, J. & Korte, R., 2010, Around the Research of Vladimir Maz'ya I. Laptev, A. (red.). Springer, (International Mathematical Series).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

How I became a logician

Väänänen, J., 2010, Miten meistä tuli filosofian tohtoreita?. Roinila, M. (red.). Suomen filosofinen yhdistys

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskaplig

On the philosophical development of Kurt Gödel

Kennedy, J. C. & van Atten, M., 2010, Kurt Gödel: Essays for his Centennial. Feferman, S., Parsons, C. & Simpson, S. (red.). Cambridge: Cambridge University Press, Vol. 33. (Lecture Notes in Logic).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Vector-valued extension of linear operators, and Tb theorems

Hytönen, T., 2010, Vector Measures, Integration and Related Topics. G. C. G. M. W. R. (red.). Basel: Birkhäuser, s. 245-254 10 s. (Operator Theory: Advances and Applications; vol. 201).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

2009

Approximationsegenskaper hos Banach rum: en färgstark matematisk historia ; föredrag hållet vid Finska Vetenskaps-Societetens sammanträde den 16 februari 2009

Tylli, H-O., 2009, Sphinx. Helsinki: Societas Scientiarum Fennica, s. 101-111 11 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Bayesian joint disease-marker-expression analysis applied to clinical characteristics of chronic fatique syndrome

Bhattacharjee, M. & Sillanpää, M., 2009, Methods of Microarray Data Analysis VI. McConnell, P., Lim, S. & Cuticchia, A. J. (red.). Scotts Valley, California: CreateSpace Publishing, s. 15-34 20 s.

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Gödel's Logic

Kennedy, J. & van Atten, M., 2009, Logic from Russell to Church. Gabbay, D. M. & Woods, J. (red.). Elsevier B. V., Vol. 5. s. 449-509 60 s. (Handbook of the History of Logic).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review

Gödel's Modernism, Revisited

Kennedy, J. C., 2009, Logicism, Intuitionism, Formalism: What has Become of Them?. Lindström, S., Palmgren, E., Segerberg, K. & Stoltenberg-Hansen, V. (red.). Springer, Vol. 341. (Synthese Library; vol. 341).

Forskningsoutput: Kapitel i bok/rapport/konferenshandlingKapitelVetenskapligPeer review