306 citations
- University of Eastern FinlandFI61 papers
- University of HelsinkiFI16 papers
- Helsinki Institute of PhysicsFI7 papers
- Aalto UniversityFI5 papers
- Tampere UniversityFI4 papers
- EURECOMFR3 papers
- Institute for Infocomm ResearchSG3 papers
- National Institute of InformaticsJP3 papers
- Universidad Politécnica de MadridES3 papers
- University of JyväskyläFI3 papers
- Adolfo Ibáñez UniversityCL2 papers
- Bielefeld UniversityDE2 papers
5 papers · 1 filter
Runtime enforcement of reactive systems using synchronous enforcers
Srinivas Pinisetty, Partha S Roop, Steven Smyth +2
Synchronous programming is a paradigm of choice for the design of safety-critical reactive systems. Runtime enforcement is a technique to ensure that the output of a black-box syst…
Criteria for bounded valence of harmonic mappings
Juha-Matti Huusko, María J. Martín
In 1984, Gehring and Pommerenke proved that if the Schwarzian derivative of a locally univalent analytic function in the unit disk satisfies that $\limsup_{|z|\to 1} |S(…
Tropical variants of some complex analysis results
Kai Liu, Ilpo Laine, Kazuya Tohge
Tropical Nevanlinna theory studies value distribution of continuous piecewise linear functions of a real variable. In this paper, we use the reasoning from tropical Nevanlinna theo…
Cauchy difference priors for edge-preserving Bayesian inversion with an application to X-ray tomography
Markku Markkanen, Lassi Roininen, Janne M J Huttunen +1
We study Cauchy-distributed difference priors for edge-preserving Bayesian statistical inverse problems. On the contrary to the well-known total variation priors, one-dimensional C…
Spoofing Detection Goes Noisy: An Analysis of Synthetic Speech Detection in the Presence of Additive Noise
Cemal Hanilci, Tomi Kinnunen, Md Sahidullah +1
Automatic speaker verification (ASV) technology is recently finding its way to end-user applications for secure access to personal data, smart services or physical facilities. Simi…