Zobrazeno 1 - 10
of 5 637
pro vyhledávání: '"A. Väänänen"'
Autor:
M. Virtanen, S. Törmälehto, T. Partonen, M. Elovainio, R. Ruuhela, C. Hakulinen, K. Komulainen, J. Airaksinen, A. Väänänen, A. Koskinen, R. Sund
Publikováno v:
Epidemiology and Psychiatric Sciences, Vol 32 (2023)
Abstract Aims Although seasonality has been documented for mental disorders, it is unknown whether similar patterns can be observed in employee sickness absence from work due to a wide range of mental disorders with different severity level, and to w
Externí odkaz:
https://doaj.org/article/3c95fb39512d4842b0d0e573617f9d4a
Autor:
Väänänen, M., Kalliokoski, M., Turpeinen, R., Bezak, M., Luukka, P., Karjalainen, A., Karadzhinova-Ferrer, A.
Defects in semiconductor crystals can have significant detrimental effects on their performance as radiation detectors. Defects cause charge trapping and recombination, leading to lower signal amplitudes and poor energy resolution. We have designed a
Externí odkaz:
http://arxiv.org/abs/2409.18555
We show, assuming PD, that every complete finitely axiomatized second order theory with a countable model is categorical, but that there is, assuming again PD, a complete recursively axiomatized second order theory with a countable model which is non
Externí odkaz:
http://arxiv.org/abs/2405.03428
Assuming the consistency of a weakly compact cardinal above a regular uncountable cardinal $\mu$, we prove the consistency of the existence of a wide $\mu^+$-Aronszajn tree, i.e. a tree of height and cardinality $\mu^+$ with no branches of length $\m
Externí odkaz:
http://arxiv.org/abs/2305.07880
Artificial intelligence is more ubiquitous in multiple domains. Smartphones, social media platforms, search engines, and autonomous vehicles are just a few examples of applications that utilize artificial intelligence technologies to enhance their pe
Externí odkaz:
http://arxiv.org/abs/2305.04532
We introduce three measures of complexity for families of sets. Each of the three measures, that we call dimensions, is defined in terms of the minimal number of convex subfamilies that are needed for covering the given family: for upper dimension, t
Externí odkaz:
http://arxiv.org/abs/2304.03354
Autor:
Väänänen, Jouko
Publikováno v:
in: Infinity and Truth, Edited by: Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Lecture Notes Series of the Institute for Mathematical Sciences, World Scientific, vol. 25, 2014, 171-186
I have argued elsewhere that second order logic provides a foundation for mathematics much in the same way as set theory does, despite the fact that the former is second order and the latter first order, but second order logic is marred by reliance o
Externí odkaz:
http://arxiv.org/abs/2302.05947
Autor:
Väänänen, Jouko
Truth, consistency and elementary equivalence can all be characterised in terms of games, namely the so-called evaluation game, the model-existence game, and the Ehrenfeucht-Fraisse game. We point out the great affinity of these games to each other a
Externí odkaz:
http://arxiv.org/abs/2212.01658
Autor:
Bharthuar, S., Bezak, M., Brücken, E., Gädda, A, Golovleva, M., Karadzhinova-Ferrer, A., Karjalainen, A., Kramarenko, N., Kirschenmann, S., Luukka, P., Ott, J., Tuominen, E., Väänänen, M.
The high-luminosity operation of the Tracker in the Compact Muon Solenid (CMS) detector at the Large Hadron Collider (LHC) experiment calls for the development of silicon-based sensors. This involves implementation of AC-coupling to micro-scale pixel
Externí odkaz:
http://arxiv.org/abs/2211.09158
Autor:
Väänänen, Jouko
Anonymity has gained notoriety in modern times as data about our actions and choices accumulates in the internet partly unbeknownst to us and partly by our own choice. Usually people wish some data about themselves were private while some other date
Externí odkaz:
http://arxiv.org/abs/2210.07834