Zobrazeno 1 - 10
of 201
pro vyhledávání: '"P Valmari"'
Publikováno v:
American Journal of Men's Health, Vol 18 (2024)
This scoping review explores what is currently understood about how masculinity norms interplay with loneliness and social connectedness among men in a Western context. Human beings inherently need social connections, and this review particularly add
Externí odkaz:
https://doaj.org/article/c66caab0775c4c4888eab8fa1eb03ff9
Publikováno v:
Scandinavian Journal of Occupational Therapy, Vol 31, Iss 1 (2024)
Background The concept of an occupational pattern in occupational therapy and occupational science has evolved with varying definitions, ranging from activity patterns to patterns of daily occupation.Aims This study aimed to explore the concept of oc
Externí odkaz:
https://doaj.org/article/ce168218ffbf4919a0136633e33ad015
Autor:
Valmari, Antti, Hella, Lauri
Publikováno v:
Notre Dame J. Formal Logic 64(1): 61--93 (February 2023)
We provide a sound and complete proof system for an extension of Kleene's ternary logic to predicates. The concept of theory is extended with, for each function symbol, a formula that specifies when the function is defined. The notion of "is defined"
Externí odkaz:
http://arxiv.org/abs/2112.04436
Publikováno v:
Logical Methods in Computer Science, Volume 17, Issue 3 (July 21, 2021) lmcs:7038
One of the most popular state-space reduction techniques for model checking is partial-order reduction (POR). Of the many different POR implementations, stubborn sets are a very versatile variant and have thus seen many different applications over th
Externí odkaz:
http://arxiv.org/abs/2012.15704
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
International Journal of Qualitative Studies on Health & Well-Being, Vol 18, Iss 1 (2023)
Previous research has widely recognized the challenges uniformed police officers face in their working lives. However, little is known about the overall lifestyles of police officers, including what they do in private life. We interviewed 17 officers
Externí odkaz:
https://doaj.org/article/d63251597fb0475694110d2eef119c6c
Publikováno v:
FoSSaCS 2020, vol. 12077 of LNCS, pp. 482-501
In model checking, partial-order reduction (POR) is an effective technique to reduce the size of the state space. Stubborn sets are an established variant of POR and have seen many applications over the past 31 years. One of the early works on stubbo
Externí odkaz:
http://arxiv.org/abs/1910.09829
Publikováno v:
Frontiers in Psychology, Vol 14 (2023)
Police officers frequently encounter stressful social situations during their working days. Furthermore, previous research on policing and families show that police officers’ families are impacted in different ways when at least one member of the f
Externí odkaz:
https://doaj.org/article/1f9f54eaa3b74169ac25871b15536977
Autor:
Elin Granholm Valmari, Marianne Melander, Gun-Marie Hariz, Matilda Naesström, Maria Lindström
Publikováno v:
Frontiers in Psychiatry, Vol 14 (2023)
In research and among clinicians, the focus has shifted from mainly symptom reduction and increasing functionality to a more recovery-oriented focus. Although there are instruments measuring recovery, there has been a lack of instruments sensitive en
Externí odkaz:
https://doaj.org/article/4363b8fa54a34c2380314e50f3371888
Autor:
Valmari, Antti
Publikováno v:
CEUR Workshop Proceedings Vol-1525 2015, pp. 91-105
This publication introduces A State Space Exploration Tool that is based on representing the model under verification as a piece of C++ code that obeys certain conventions. Its name is ASSET. Model checking takes place by compiling the model and the
Externí odkaz:
http://arxiv.org/abs/1504.02597