10 kA Joints for HTS Roebel Cables

(16) Psyche

A mesosiderite-like asteroid?

20th Inverse Days 2014, Tampere 9th-11th December 2014


3D shape of asteroid (6) Hebe from VLT/SPHERE imaging

Implications for the origin of ordinary H chondrites

Absolute radiometric calibration of ALS intensity data: Effects on accuracy and target classification

Abstractions for transition systems with applications to stubborn sets

A case study of focal bayesian EEG inversion for whitney element source spaces

Mesh-based vs. cartesian orientations

Accelerated simulation of a neuronal population via mathematical model order reduction

Acceleration of the rotation of asteroid 1862 Apollo by radiation torques

A characterization of level-continuous fuzzy numbers

A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time

Acoustic Modelling


A general method for using various data types in asteroid reconstruction

Adaptive mobile tracking in unknown non-line-of-sight conditions with application to digital TV networks

Adaptive optics and lightcurve data of asteroids

Twenty shape models and information content analysis

A differential form approach to Dirac operators on surfaces

Advanced boundary electrode modeling for tES and parallel tES/EEG

Advances in Augmented Reality Technologies

Translated title of the contribution: : Advances in Augmented Reality Technologies

A Feedforward Controller for Distributed Parameter Systems

A field test of parametric WLAN-fingerprint-positioning methods

A fractional representation approach to the robust regulation problem for SISO systems

A Framework for Bayesian Receiver Autonomous Integrity Monitoring in Urban Navigation

A general framework for island systems

A Hyperbolic Dirac Operator and its Kernels

Translated title of the contribution: : A Hyperbolic Dirac Operator and its Kernels

A hyperbolic interpretation of Cauchy type kernels in hyperbolic function theory

A hyperbolic interpretation of Cauchy-type kernels in hyperbolic function theory in hypercomplex analysis

Akustinen mallinnus

Translated title of the contribution: : Akustinen mallinnus

Algorithms and Logic as Programming Primers

A linear state model for PDR+WLAN positioning

A Lukasiewicz-style Many-Valued Similarity Reasoning


Alumni Network Analysis

A Lyapunov approach to strong stability of semigroups

A Mean-Value Theorem for Some Eigenfunctions of the Laplace -Beltrami Operator on the Upper-Half Space

A Measurement-based Statistical Model to Evaluate Uncertainty in Long-range Noise Assessments

A method of tracking a state of a mobile electronic device

Translated title of the contribution: : A method of tracking a state of a mobile electronic device

A method to enforce map constraints in a particle filter's position estimate

A Mixed Finite Element Method to Solve the EEG Forward Problem

A Molecular Camera Gyroscope

Translated title of the contribution: : A Molecular Camera Gyroscope

A Monocular Camera Gyroscope

A Monocular Camera Gyroscope

A motion model for articulated vehicles and a distributed acceleration measurement system

An Adaptive Derivative Free Method for Bayesian Posterior Approximation

An algebraic study of Peterson´s Intermediate Syllogisms

Analysing and Improving Student's Mathematics Skills using ICT-tools

Analysis of common rail pressure signal of dual-fuel large industrial engine for identification of injection duration of pilot diesel injectors

Analysis of geometric primitives in quantitative structure models of tree stems

Analysis of Incidence Angle and Distance Effects on Terrestrial Laser Scanner Intensity: Search for Correction Methods

Analysis of the rotation period of asteroids (1865) Cerberus, (2100) Ra-Shalom, and (3103) Eger - search for the YORP effect

Analytics of the impact of user involvement in the innovation process and its outcomes. Case study: Media-Enhanced Learning (MEL) Service

An architectural understanding of natural sway frequencies in trees

An empirical solar radiation pressure model for autonomous GNSS orbit prediction

A Network-Centric Snapshot of Value Co-Creation in Finnish Innovation Financing

A Network-Centric Snapshot of Value Co-Creation in Finnish Innovation Financing

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

A New Characterization for n-Fold Positive Implicative BL-logics

A New Controller Structure for Robust Output Regulation

A New Method and Format for Describing CANopen System Topology

An implementation of a semantic, web-based virtual machine laboratory prototyping environment

A NLOS-robust TOA positioning filter based on a skew-t measurement noise model

A note on compactness in a fuzzy metric space

Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

A Notion of Positive Definiteness for Arithmetical Functions

Antichain Cutsets of Strongly Connected Posets

A Partial Internal Model for Approximate Robust Output Regulation of Boundary Control Systems

Aperture size effects on backscatter intensity measurements in Earth and space remote sensing

A portrait of the nucleus of comet 67P

Apparent wind load effects on the tether of a kite power generator

Application and Theory of Petri Nets and Concurrency

36th International Conference, PETRI NETS 2015 Brussels, Belgium, June 21-26, 2015 Proceedings

Application and theory of Petri nets and other models of concurrency

Special issue of selected papers from Petri Nets 2015

Application of Design Review to Probabilistic Risk Assessment in a Large Investment Project

Application of Hill-Clohessy-Wiltshire Equation in GNSS Orbit Prediction

Application of terrestrial LiDAR and modelling of tree branching structure for plant- scaling models in tropical forest trees

Applications of Spatially Localized Active-Intensity Vectors for Sound-Field visualization

Approach for Investigating Crowdfunding Campaigns with Platform Data: Case Indiegogo

Approximate Bayesian inference methods for stochastic state space models

Approximate Controllability for Navier–Stokes Equations in 3D Rectangles Under Lions Boundary Conditions

Approximation of Volume and Branch Size Distribution of Trees from Laser Scanner Data

Approximative solutions to the bicriterion Vechile Routing Problem with Time Windows

A realistic, accurate and fast source modeling approach for the EEG forward problem

A Reduced-Order Two-Degree-of-Freedom Composite Nonlinear Feedback Control for a Rotary DC Servo Motor

A review on old and new results on robust regulation of DPS with infinite-dimensional exosystems

A Self-Tuning Robust Regulator for Infinite-Dimensional Systems

A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem

A Simple Controller with a Reduced Order Internal Model in the Frequency Domain

A simulator for infinite-dimensional systems with a self-tuning controller

Assessing coupling dynamics from an ensemble of time series

Asteroid 2867 Steins - II. Multi-telescope visible observations, shape reconstruction, and rotational state

Asteroid (2867) Steins: Shape, topography and global physical properties from OSIRIS observations

Asteroid models from combined sparse and dense photometric data

Asteroid Models from Multiple Data Sources

Asteroid models from photometry and complementary data sources

Asteroid models from the Pan-STARRS photometry

A Stochastic Mixture Surrogate Model Algorithm for Computationally Expensive Black-Box Global Optimization Problems

A study of crown development mechanisms using a shoot-based tree model and segmented terrestrial laser scanning data

Asymptotic behaviour in the robot rendezvous problem

Asymptotic Behaviour of Coupled Systems in Discrete and Continuous Time

Asymptotic Behaviour of Platoon Systems

Asymptotic modeling of unconstrained control of a tethered power kite moving along a given closed-loop spherical trajectory

Asymptotics for infinite systems of differential equations

Asymptotics for periodic systems

Automatic tree species recognition with quantitative structure models

Autonomous Prediction of GPS and GLONASS Satellite Orbits

Autonomous satellite orbit prediction

Autonomous satellite orbit prediction

Axiomatic Extensions of Höhle's Monoidal Logic

Bagdad - matematiikkaa täältä ikuisuuteen matematiikkanäyttely

Translated title of the contribution: : Bagdad - matematiikkaa täältä ikuisuuteen matematiikkanäyttely

Bandwidth and Storage Reduction of Radio Maps for Offline WLAN Positioning

Bayes Forest

A data-intensive generator of morphological tree clones

Bayesian analysis of GUHA hypotheses

Bayesian assaying of GUHA nuggets

Bayesian Methods

Bayesian Methods for Hybrid Indoor Positioning

Bayesian Positioning Using Gaussian Mixture Models with Time-varying Component Weights

Bayes trees and forests: combining precise empirical and theoretical tree models

Binomial Gaussian mixture filter

Bistatic full-wave radar tomography detects deep interior voids, cracks and boulders in a rubble-pile asteroid model.

Box Gaussian mixture filter

Briefly about the root-locus of linear systems

Business Angels and Investment Organizations as Networked Co-creators of the Finnish Innovation Ecosystem

Canonical methods of constructing invariant tori by phase-space sampling

Cauchy–Riemann Operators in Octonionic Analysis

Challenges in Heterogeneous Web Data Analytics - Case Finnish Growth Companies in Social Media

Change Detection of Tree Biomass with Terrestrial Laser Scanning and Quantitative Structure Modelling

Characterizing n-Fold Positive Implicative BL-logics

Chasing the Rainbow Connection: Hardness, Algorithms, and Bounds

Closed classes of functions, generalized constraints, and clusters

Closed-form algorithms in mobile positioning: Myths and misconceptions

Closing the gap between Earth-based and interplanetary mission observations

Vesta seen by VLT/SPHERE

Clustering and achievement of engineering students based on their attitudes, orientations, motivations and intentions

Column-partitioned matrices over rings without invertible transversal submatrices

Combinational Studies of Vectors and Sequences

Combining asteroid models derived by lightcurve inversion with asteroidal occultation silhouettes

Commutative bounded integral residuated orthomodular lattices are Boolean algebras

Compact YORP formulation and stability analysis

Comparing two stochastic differential equation models for protein kinase C activation pathway

Comparison of wood volume estimates of young trees from terrestrial laser scan data

Comparison Study for Whitney (Raviart-Thomas) Type Source Models in Finite Element Method Based EEG Forward Modeling

Competence advancement supported by social media

Complex-domain Joint Broadband Hyperspectral Image Denoising

Complexity of Rainbow Vertex Connectivity Problems for Restricted Graph Classes

Composite Nonlinear Feedback Control of a Chemical Reactor

Comprehensive Quantitative Tree Models from TLS Data

Computational Model for Simulating Multifocal Imaging in Optical Projection Tomography

Computational study of noise in a large signal transduction network

Compute mindlessly. Not! map consciously

Computing minimum rainbow and strong rainbow colorings of block graphs

Considering learners' perspectives to personal learning environments in course design

Constructing Minimal Coverability Sets

Context Awareness for Semantic Mobile Computing

Context-Driven Social Network Visualisation: Case Wiki Co-Creation

Controller Design for Robust Output Regulation of Regular Linear Systems

Cubature-based Kalman filters for positioning

Cuts for 3-D magnetic scalar potentials

Visualizing unintuitive surfaces arising from trivial knots


A tool for spectral analysis of oriented structures on cellular and subcellular levels

DAMIT: a database of asteroid models

Data-based stochastic modeling of tree growth and structure formation

Datamap Visualization Technique for Interactively Visualizing Large Datasets

Datapohjaiset mallit

Translated title of the contribution: : Datapohjaiset mallit

Designing controllers with reduced order internal models

Detection of anomalies in radio tomography of asteroids: source count and forward errors

Detection of the YORP effect in asteroid (1620) Geographos

Developing Learning and Teaching in Engineering Mathematics with and without Technology

Device self-calibration in location systems using signal strength histograms

Dimensional Reduction of Electromagnetic Boundary Value Problems

Directed structure at infinity for infinite-dimensional systems

Discrete maximum principles for FE solutions of nonstationary diffusion-reaction problems with mixed boundary conditions

DISCUS – The Deep Interior Scanning CubeSat mission to a rubble pile near-Earth asteroid

Distribution of shape elongations of main belt asteroids derived from Pan-STARRS1 photometry

Distribution of spin-axes longitudes and shape elongations of main-belt asteroids

Dual Look at Robust Regulation: Frequency Domain and State Space Approaches

Dynamical tomography of gravitationally bound systems

Editorial: is Game-Based Math Learning Finally Coming of Age?

Electroencephalography (EEG) forward modeling via H(div) finite element sources with focal interpolation

Elementary Partial Differential Equations. Theory and Solved Problems.

Emptiness problems for distributed automata

Energy conversion efficiency of the pumping kite wind generator

Engineering Mathematics Education in Finland

A Comparative Analysis of EU, Russia, Georgia and Armenia

Engineering motif search for large graphs

Equal Opportunities in Education of Science, Mathematics and Technology

Equivalence of Set- and Bag-Valued Orbits

Estimating Above Ground Biomass from Terrestrial Laser Scanning in Autralian Eucalypt Open Forest

Estimation of above-ground biomass of large tropical trees with terrestrial LiDAR

Estimation of base station position using timing advance measurements

Estimation of initial state and model parameters for autonomous GNSS orbit prediction

Estimation of Linear Systems with Abrupt Changes of the Noise Covariances Using Variational Bayes Algorithm

Estimation of Model Parameters

Estimation of the Mechanical Power of a Kite Wind Generator

E-type asteroid Steins as imaged by OSIRIS on board Rosetta

Evaluating the Consistency of Estimation

Experienced risks in social media use – longitudinal study among university students

Explaining innovation with indicators of mobility and networks: Insights into central innovation nodes in Europe

Facilitating active participation in web-based co-development

Fair testing and stubborn sets

Far-Field Inversion for the Deep Interior Scanning CubeSat

Fast Automatic Method for Constructing Topologically and Geometrically Precise Tree Models from TLS Data

Fast automatic precision tree models from terrestrial laser scanner data

Fast fourier color constancy and grayness index for ISPA illumination estimation challenge

Feedforward Output Regulation for Distributed Parameter Systems with Infinite-Dimensional Exosystems


Squeezing loop invariants by interpolation between forward/backward predicate transformers

Finite-dimensional regulators for a class of regular hyperbolic PDE systems

Finite element analysis of trees in the wind based on terrestrial laser scanning data

Flexible Identification Procedure for Thermodynamic Constitutive Models for Magnetostrictive Materials

Forecasting the diffusion of innovation: A stochastic bass model with log-normal and mean-reverting error process

Formula size games for modal logic and mu-calculus

Forward and Inverse Effects of the Complete Electrode Model in Neonatal EEG

Fractional Ornstein-Uhlenbeck Processes

Frequency domain robust regulation of signals generated by an infinite-dimensional exosystem

Function classes and relational constraints stable under compositions with clones

Fundamental solution of k-hyperbolic harmonic functions in odd spaces

Further hardness results on rainbow and strong rainbow connectivity

Fuzzy Logic of Quasi-Truth

An Algebraic Treatment

Gaussian filtering and variational approximations for Bayesian smoothing in continuous-discrete stochastic dynamic systems

Gaussian mixture filter allowing negative weights and its application to positioning using signal strength measurements

Gaussian mixture filter in hybrid navigation

Gaussian Process Regression for Forest Attribute Estimation From Airborne Laser Scanning Data

Gaussian Scale Mixture Models For Robust Linear Multivariate Regression With Missing Data

Gender and Innovation: Networks of Executive Women in Technology-Based Companies

General Integral Formulas for k-hyper-mono-genic Functions

Generalized hyperbolic harmonic functions in the plane

Graph Analysis and Applications in Clustering and Content-based Image Retrieval

Graph-Based Map Matching for Indoor Positioning

Graph entropy based on the number of spanning forests of c-cyclic graphs

Gravitational scattering by giant planets

Guard-based Partial Order Reduction

Harmonic Forms on Conformal Euclidean Manifolds: The Clifford Multivector Approach

Hierarchical Bayesian inference for the EEG inverse problem using realistic FE head models: Depth localization and source separation for focal primary currents

Homogeneous internal structure of CM-like asteroid (41) Daphne

Hosoya entropy of fullerene graphs

How management intensity and neighborhood composition affect the structure of beech (Fagus sylvatica L.) trees

Hubble Space Telescope observations of the nucleus and inner coma of comet 67P

Hyperbolic extensions of integral formulas

Hyperbolic Function Theory in the Skew-Field of Quaternions

Hyperbolic laplace operator and the Weinstein equation in R3

Hyperbolic Laplace Operator and the Weinstein Equation in R^3

Hypermonogenic Plane Wave Solutions of the Dirac Equation in Superspace

Identifying weak ties from publicly available social media data in an event

If a student takes control: facilitators' tasks and responsibilities

Images of asteroid 21 Lutetia: A remnant planetesimal from the early solar system

Improved EEG source localization with Bayesian uncertainty modelling of unknown skull conductivity

Improvement of computational efficiency of a biochemical plasticity model

Improving engineering students' mathematics skills and analysing their behaviour using ICT - tools.

Independent Loops Search in Flow Networks Aiming for Well-Conditioned System of Equations

Indirect Emissions of Forest Bioenergy: Detailed Modelling of Stump-Root Systems

Indoor positioning using WLAN coverage area estimates

Infinitesimals and Pavelka logic

Infinite structure for infinite-dimensional systems: A directional approach

Information Diversity in Structure and Dynamics of Simulated Neuronal Networks

Information visualization of Twitter data for co-organizing conferences

Integer Models

Integral Formulas for k-hypermonogenic Functions in R3

Integral kernels for k-hypermonogenic functions

Internal model theory for distributed parameter systems

Interval decomposition lattices are balanced

Interventions for second-order change in higher education: challenges and barriers

Introduction to Statistical Data Analysis for Engineers and Scientists

Inverse problems of generalized projection operators

Invertibility and Dedekind finiteness in structural matrix rings

Iterative alternating sequential (IAS) method for radio tomography of asteroids in 3D

Kalman filter with a linear state model for PDR+WLAN positioning and its application to assisting a particle filter

Kehittämistutkimus: vuorovaikutteisten Matlab-opetusohjelmien vaikutus minäpystyvyyteen ja oppimistuloksiin yliopistomatematiikassa


Translated title of the contribution: : Kokonaislukumallit

Korkeakoulumatematiikka teekkarin kompastuskivenä?

Translated title of the contribution: : Korkeakoulumatematiikka teekkarin kompastuskivenä?

Kriging prediction of stand-level forest information using mobile laser scanning data adjusted for nondetection

Kullback-Leibler Divergence Approach to Partitioned Update Kalman Filter

Laskenta ja visualisointi

Translated title of the contribution: : Laskenta ja visualisointi

Launching context-aware visualisations


fast estimates of asteroid shape elongation and spin latitude distributions from scarce photometry

Learner control and personal learning environment: a challenge for instructional design

Learner Control and Responsibility: Expanding the Concept of Self-direction in Hihger Education

Least-Squares Transformations between Point-Sets

Light, Shape and Space

Direct and Inverse Problems of Individual Objects and Populations

Linear Equation Solvers: Comparison of LU Decomposition and a Robust ODE Solver

Translated title of the contribution: : Linear Equation Solvers: Comparison of LU Decomposition and a Robust ODE Solver

Linear Model Predictive Control for Schrödinger Equation

M1-teknologialla voidaan rakentaa virtuaalisia oppimisympäristöjä ja konelaboratorioita

Translated title of the contribution: : M1-teknologialla voidaan rakentaa virtuaalisia oppimisympäristöjä ja konelaboratorioita

Maaliskuun puheenaihe: Mielenkiintoista matematiikkaa opetukseen LUMA-sanomat

Translated title of the contribution: : Maaliskuun puheenaihe: Mielenkiintoista matematiikkaa opetukseen LUMA-sanomat

Main-belt binary asteroidal systems with circular orbits

Manifolds in electromagnetism and superconductor modelling: Using their properties to model critical current of twisted conductors in self-field with 2-D model

Massive-Scale Tree Modelling from TLS Data

MAT-45800 Paikannuksen matematiikka 2010

Translated title of the contribution: : MAT-45800 Paikannuksen matematiikka 2010

MAT-45806 Mathematics for positioning & MAT-45807 Mathematics for positioning

Matemaattinen mallinnus

Translated title of the contribution: : Matemaattinen mallinnus

Matematiikan kirjallinen kielentäminen yliopiston matematiikan opetuksessa

Translated title of the contribution: : Matematiikan kirjallinen kielentäminen yliopiston matematiikan opetuksessa

Matematiikan oppimisen tukeminen teknillisessä yliopistokoulutuksessa

Matematiikan Perustaitojen Testi

Testin tehtävien ja vuosien 2010-2016 tulosten analyysi

Translated title of the contribution: : Mathematics Basic skills' test: Analysis of the test problems and results in 2010-2016


Translated title of the contribution: : Matematiikkaklinikka


Translated title of the contribution: : Matematiikkaklinikka

Math-Bridge - Eurooppalainen silta lukio- ja korkeakoulumatematiikan välille

Translated title of the contribution: : Math-Bridge - Eurooppalainen silta lukio- ja korkeakoulumatematiikan välille

MathCheck: a tool for checking math solutions in detail

Mathematical Modelling

Mathematical model order reduction in computational neuroscience


Mathematics Education in EU for STEM Disciplines

Mathematics Remedial Instruction with Math-Bridge e-learning system

Maximal perpendicularity in certain Abelian groups

Mean-field methods for multiscale models in neuroscience

Mean value properties for K-hypermonogenic functions

Mean Value Properties for the Weinstein Equation Using the Hyperbolic Metric

Meeting a deadline

shortest paths on stochastic directed acyclic graphs with information gathering

Method and a system for positioning of an electronic, and an electronic device

Method of tracking a state of a mobile electronic device

Metric Stabilization of Invariants for Topological Persistence

Minimal Characterization of O-notation in Algorithm Analysis

Minimal Solutions of Fuzzy Relation Equations with General Operators on the Unit Interval

Minimal solutions of general fuzzy relation equations on linear carriers. An algebraic characterization

Minors of Boolean functions with respect to clique functions and hypergraph homomorphisms

Miten opiskella matematiikkaa yliopistossa - opas opiskelijoille

Translated title of the contribution: : Miten opiskella matematiikkaa yliopistossa - opas opiskelijoille

Mixture surrogate models based on Dempster-Shafer theory for global optimization problems

Mobile Context-Aware Systems

Technologies, Resources and Applications

Mobile tracking and parameter learning in unknown non-line-of-sight conditions

Mobile Tracking in Mixed Line-of-Sight/Non-Line-of-Sight Conditions: Algorithm and Theoretical Lower Bound

Mobile Tracking in Mixed Line-ofsight/Non-line-of-sight Conditions: Algorithms and Theoretical Lower Bound. Chapter 21

Mobile tracking in unknown non-line-of-sight conditions

Modeling growth in neuronal cell cultures: network properties in different phases of growth studied using two growth simulators

Modeling of Neuronal Growth In Vitro: Comparison of Simulation Tools NETMORPH and CX3D

Modelling anisotropy in non-oriented electrical steel sheet using vector Jiles-Atherton model

Modelling of Joule heating based self-alignment method for metal grid line passivation

Model order reduction of multiscale models in neuroscience

Modern Mathematics Education for Engineering Curricula in Europe

A Comparative Analysis of EU, Russia, Georgia and Armenia

Modifications of the 85/85 test and the temperature cycling test for tantalum capacitors

Moodlen työpaja

Vertaisarviointi osana opetusta yliopistomatematiikan ensimmäisellä peruskurssilla

Moodlen työpaja

Vertaisarviointi osana opetusta matematiikan ensimmäisellä peruskurssilla

More stubborn set methods for process algebras

Motion Model for Positioning with Graph-Based Indoor Map

Motivating the Mathematics Studies by Real-life Examples of Signal Processing and Communications Engineering

Multicolor, rotationally resolved photometry of asteroid 21 Lutetia from Osiris/Rosetta observations

Multigrid-Based Inversion for Volumetric Radar Imaging With Asteroid Interior Reconstruction as a Potential Application

Multimodal inverse problems: maximum compatibility estimate and shape reconstruction

Multiplierless filtered-OFDM transmitter for narrow-band IoT devices

Multi-stable dynamics of the non-adiabatic repressilator

Nanosatellite attitude estimation using Kalman-type filters with non-Gaussian noise

Neighbour species richness and local structural variability modulate aboveground allocation patterns and crown morphology of individual trees

Networks of Growth: Case Young Innovative Companies in Finland

Networks of innovation relationships: multiscopic views on Finland

New determination of the size and bulk density of binary asteroid 22 Kalliope from observations of mutual eclipses

New era of Business Analytics - Making sense of business ecosystems

New Insights for Relational Capital

New insights on the binary asteroid 121 Hermione

New perspectives in hyperbolic function theory

New photometric observations of asteroids (1862) Apollo and (25143) Itokawa - analysis of YORP effect

n-Fold implicative basic logic is Gödel logic

Non-classical Logics with Real Life Applications

Nondestructive estimates of above-ground biomass using terrestrial laser scanning

Non-destructive tree volume estimation through quantitative structure modelling

Comparing UAV laser scanning with terrestrial LIDAR

Nonlinear iteration semigroups of fuzzy Cauchy problems

Normal Distributions Transform Occupancy Maps: Application to Large-Scale Online 3D Mapping

NP-completeness results for partitioning a graph into total dominating sets

NP-completeness results for partitioning a graph into total dominating sets

Old and New Algorithms for Minimal Coverability Sets

On Computational Complexity Reduction Methods for Kalman Filter Extensions

On constructibility and unconstructibility of LTS operators from other LTS operators

On Convergence and Accuracy of State-Space Approximations of Squared Exponential Covariance Functions

On Detecting the Shape of an Unknown Object in an Electric Field

On finding rainbow and colorful paths

On Fractional Ornstein-Uhlenbeck Process

On Hodge-de Rham systems in hyperbolic Clifford analysis

On homomorphisms between products of median algebras

On hypermonogenic functions

Translated title of the contribution: : On hypermonogenic functions

On improvement of transient stage of composite nonlinear feedback control using arbitrary order set point filters

On k-Hypermonogenic Functions and Their Mean Value Properties

Online tests of Kalman filter consistency

On polynomial stability of linear systems

On Robustness of Strongly Stable Semigroups with Spectrum on iR

On Robust Output Regulation for Continuous-Time Periodic Systems

On the arity gap of finite functions

Results and applications

On the complexity of rainbow coloring problems

On the Complexity of Rainbow Coloring Problems

On the complexity of restoring corrupted colorings

On the Discrete-Time Regulator Problem in Infinite-Dimensional Spaces

On the distribution of coefficients of powers of positive polynomials

On the fine-grained complexity of rainbow coloring

On the Fine-Grained Complexity of Rainbow Coloring

On the Parametric Instability Caused by Step Size Variation in Runge-Kutta-Nyström Methods

On the spectral and Frobenius norm of a generalized Fibonacci r-circulant matrix

On the Structure of Octonion Regular Functions

On the Structure of Robust Controllers for Infinite-Dimensional Systems

On the Structure of Robust Controllers for Infinite-Dimensional Systems

On the Succinctness of Atoms of Dependency

On the Underlying Mathematical and Quantum Structure of Quantum Cryptography

On Vekua Systems and Their Connections to Hyperbolic Function Theory in the Plane

OPAALS WP10: Sustainable community building - Del10.18: Wille visualisation toolkit for developers with a concise OKS Visualisation Application catalogue for end-users

OPAALS WP12: Socio-economic models for digital ecosystems - Del12.10: Foundations of the theory of associative autopoietic digital ecosystems: Part 3

OPAALS WP1: Automata theory and autopoiesis: D1.2 - Foundations of the theory of associative autopoietic digital ecosystems: Part 1

OPAALS WP6: Socio-constructivism and language -Del6.11: View to the evolution of the OKS from 50,000 feet

Opetusteknologiaa hyödyntävä oppimisympäristö MATLABin alkeiden opiskeluun

Opiskelijoiden oppimistyökalujen käyttö tietokoneavusteisessa Matematiikkajumppa -tukiopetuksessa

Optical properties of snow in backscatter

Optimal combination of data modes in inverse problems: maximum compatibility estimate

Optimal computation of brightness integrals parametrized on the unit sphere

Optimal energy decay for the wave-heat system on a rectangular domain

Optimal energy decay in a one-dimensional coupled wave–heat system

Optimal storage scheme for access point coverage data

Optimization of large-area OLED current distribution grids with self-aligned passivation

Orbiter-to-orbiter tomography

a potential approach for small solar system bodies

Order reduction for a signaling pathway model of neuronal synaptic plasticity


The Exploration-Automation Cycle of User-Centric, Process-Automated Data-Driven Visual Network Analytics

Outlier-robust estimation of GPS satellite clock offsets

Output Regulation for General Infinite-Dimensional Exosystems

Output regulation of distributed parameter systems with time-periodic exosystems

Output Regulation of Infinite-Dimensional Time-Delay Systems

Output Regulation Theory for Distributed Parameter Systems with Unbounded Control and Observation

Output Regulation Theory for Linear Systems with Infinite-Dimensional and Periodic Exosystems

Overview of the Results and Recommendations

Paraconsistent fuzzy logic - A review

Paraconsistent Many-Valued Logic in GUHA Framework

Paraconsistent semantics for Pavelka style fuzzy sentential logic

Paradigm shift in innovation indicators - from analog to digital

Partial differential equations

Particle filter and smoother for indoor localization

Partitioned Update Kalman Filter

Pedagogical experiments with MathCheck in university teaching

Perfect Pavelka Logic

Periodic Output Regulation for Distributed Parameter Systems

Translated title of the contribution: : Periodic Output Regulation for Distributed Parameter Systems

Periodic output regulation of infinite-dimensional systems

Perturbation of strongly and polynomially stable Riesz-spectral operators

Photometry and models of selected main-belt asteroids (II)

Photometry and models of selected main-belt asteroids. III

Photometry and models of selected main-belt asteroids. IV

Photometry and models of selected main-belt asteroids. V.

Physical models of ten asteroids from an observers' collaboration network

Physical properties of 2 Pallas

Physical properties of the ESA ROsetta target asteroid (21) Lutetia. II. Shape and flyby geometry

Planning the Schedule for the Disposal of the Spent Nuclear Fuel with Interactive Multiobjective Optimization

Plotting root-locus of infinite-dimensional systems

Poincaré inverse problem and torus construction in phase space

Polynomial Input-Output Stability for Linear Systems

Polynomial stability of semigroups generated by operator matrices

Positioning with coverage area estimates generated from location fingerprints

Positive definite arithmetical functions

Practical Partial Order Reduction for CSP

Predicting Heat Propagation in Roebel-Cable Based Accelerator Magnet Prototype: One-Dimensional Approach with Coupled Turns

Predicting tree structure from tree height using terrestrial laser scanning and quantitative structure models

Prime filters on residuated lattices

Probabilistic assessment of the influence of lake properties in long-term radiation doses to humans

Process for Measuring and Visualizing an Open Innovation Platform: Case Demola

Projection-based order reduction of a nonlinear biophysical neuronal network model

Projekteja yläkoulun matematiikkaan


lähtökohtana ympäröivä maailma

Projektioppiminen yläkoulun matematiikassa

Projektipankki yläkoulun matematiikkaan

Projektityöskentely matematiikan opiskelussa yläkoululaisten ja heidän opettajiensa kokemana

Projektityöskentelyn kehittäminen yläkoulun matematiikan opetuksessa

Properties of duration drift

Puuvirta-virtuaalinen ja simuloitu oppimisympäristö

Quantifying branch architecture of tropical trees using terrestrial LiDAR and 3D modelling

Quantitative Analysis of Dynamic Association in Live Biological Fluorescent Samples

Quantitative structure tree models from terrestrial laser scanner data

Quantitative Tree Reconstruction from Terrestrial Laser Scanning Data and Applications

Quaternionic Hyperbolic Function Theory

Radar observations and shape model of asteroid 16 Psyche

Radar observations of Itokawa in 2004 and improved shape estimation.

Radiometric calibration of LIDAR intensity with commercially available reference targets

Rank Based Fingerprinting Algorithm for Indoor Positioning

Rapid Characterisation of Forest Structure from TLS and 3D Modelling

Raviart-Thomas-type sources adapted to applied EEG and MEG: Implementation and results

Reduced Order Controller Design for Robust Output Regulation

Reduced order internal models in robust output regulation

Reducing uncertainties in above-ground biomass estimates using terrestrial laser scanning

Regional compensation for statistical maximum likelihood reconstruction error of PET image pixels

Relational Capital and Social Capital: One or two Fields of Research?

Remarks on Similarities among Ternary Bent Functions

Resurssitehokkaampi ja ilmastoneutraalimpi energiajärjestelmä, mutta miten?

Suomalaiset avaintoimijat vastaavat

Risk-averse path planning with observation options

Robust and Model Predictive Control for Boundary Control Systems

Robust controller design for infinite-dimensional exosystems

Robust controllers for a heat equation using the Galerkin approximation

Robust controllers for regular linear systems with infinite-dimensional exosystems

Robust estimation of a reception region from location fingerprints

Robust Kalman filter for positioning with wireless BS coverage areas

Robust Kalman-type filtering in positioning applications

Robustness of Controllers for SISO-Plants and Signals Generated by an Infinite-Dimensional Exosystem

Robustness of polynomial stability with respect to unbounded perturbations

Robustness of strongly and polynomially stable semigroups

Robustness of strong stability of discrete semigroups

Robustness of strong stability of semigroups

Robustness properties of controllers with reduced order internal models

Robust output regulation and the internal model principle

Robust output regulation and the preservation of polynomial closed-loop stability

Robust output regulation of counter-flow heat exchangers

Robust output tracking and disturbance rejection for a 2D heat equation

Robust Regulation for First-Order Port-Hamiltonian Systems

Robust Regulation for Infinite-Dimensional Systems and Signals in the Frequency Domain

Robust Regulation for Port-Hamiltonian Systems of Even Order

Robust regulation: From state-space to frequency domain

Robust regulation of distributed parameter systems with infinite-dimensional exosystems

Robust Regulation of Distributed Parameter Systems with Infinite-Dimensional Exosystems

Robust Regulation of Infinite-Dimensional Port-Hamiltonian Systems

Robust Regulation of MIMO systems

A Reformulation of the Internal Model Principle

Robust Regulation of SISO Systems: The Fractional Ideal Approach

Robust Regulation Theory for Transfer Functions With a Coprime Factorization

RS-BL-algebras are MV-algebras

Safety Property-Driven Stubborn Sets

Sähköisen matematiikan tentin toteuttaminen ja opiskelijoiden kokemukset sähköisestä tentistä

Sähkömagneettinen malli funktoreina ja luonnollisina muunnoksina

Satisfiability of modal inclusion logic

Lax and strict semantics

Selecting tools and services: an expression of self-direction in higher education?

Semantic Labeling of Places based on Phone Usage Features using Supervised Learning

Semantic Labeling of User Location Context Based on Phone Usage Features

Shape modeling technique KOALA validated by ESA Rosetta at (21) Lutetia

Shape model of asteroid (130) Elektra from optical photometry and disk-resolved images from VLT/SPHERE and Nirc2/Keck

Shape reconstruction from generalized projections