206 citations
- University of HelsinkiFI96 papers
- University of JyväskyläFI9 papers
- National Polytechnic SchoolEC7 papers
- University of TurkuFI7 papers
- Aalto UniversityFI5 papers
- Centre National de la Recherche ScientifiqueFR5 papers
- Helsinki Institute of PhysicsFI5 papers
- University of AmsterdamNL5 papers
- University of Eastern FinlandFI4 papers
- Hebrew University of JerusalemIL3 papers
- Institute of Mathematics and Mathematical ModelingKZ3 papers
- Universidad Autónoma de MadridES3 papers
13 papers · 1 filter
Axiomatizing modal inclusion logic and its variants
Aleksi Anttila, Matilda Häggblom, Fan Yang
We provide a complete axiomatization of modal inclusion logic - team-based modal logic extended with inclusion atoms. We review and refine an expressive completeness and normal for…
Monotone approximation of differentiable convex functions with applications to general minimization problems
Petteri Harjulehto, Peter Hästö, Andrea Torricelli
We study minimizers of non-autonomous energies with minimal growth and coercivity assumptions on the energy. We show that the minimizer is nevertheless the solution of the relevant…
A revised condition for harmonic analysis in generalized Orlicz spaces on unbounded domains
Petteri Harjulehto, Peter Hästö, Artur Słabuszewski
Conditions for harmonic analysis in generalized Orlicz spaces have been studied over the past decade. One approach involves the generalized inverse of so-called weak -functions.…
The Asymptotic Properties of the One-Sample Spatial Rank Methods
Jyrki Möttönen, Klaus Nordhausen, Hannu Oja +1
For a set of -variate data points , there are several versions of multivariate median and related multivariate sign test proposed and stu…
Inner product regularized multi-energy X-ray tomography for material decomposition
Salla-Maaria Latva-Äijö, Filippo Zanetti, Ari-Pekka Honkanen +4
Multi-energy X-ray tomography is studied for decomposing three materials using three X-ray energies and a classical energy-integrating detector. A novel regularization term compris…
Comparing Scale Parameter Estimators for Gaussian Process Interpolation with the Brownian Motion Prior: Leave-One-Out Cross Validation and Maximum Likelihood
Masha Naslidnyk, Motonobu Kanagawa, Toni Karvonen +1
Gaussian process (GP) regression is a Bayesian nonparametric method for regression and interpolation, offering a principled way of quantifying the uncertainties of predicted functi…