Search results for "AAT"

A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value

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" is extended to terms and formulas via a straightforward recursive algorithm. The "is defined" formulas are constructed so that they themselves are always defined. The completeness proof relies on the Henkin construction. For each formula, precisely one of the formula, its negation, and the negation of its "is defined" formula is true on the constructed model. Many other ternary logics in the literature can be reduced to ours. Partial functions …

Creating the Socio-technical Context Needed to Derive Benefits from Big Data Initiatives in Healthcare

2021

The application of big data in healthcare typifies a complex socio-technical sys- tem. However, although research and practice have advanced the technical aspects of big data, comparable advancements in the social aspects (i.e., human and structural aspects) are lagging. Literature, especially on socio-technical theory, suggests that organizations may only derive benefits from big data initiatives when technical initiatives are adequate- ly complemented by social interventions. Thus, seeing that big data is receiving consider- able attention in healthcare, researchers have called for further research into the social aspects of the application of big data in healthcare. Adopting a socio-tech…

Digitaalisten interventioiden vaikuttavuus ja kustannusvaikuttavuus kansansairauksien ennaltaehkäisyssä ja omahoidossa

2018

Fysioterapian arkipäivä terveyskeskuksessa : fysioterapian palveluprosessin laatu ja terveyden edistäminen asiakkaiden ja fysioterapeuttien arvioimana

2001

Työkykyisten ja työkyvyttömyyseläkkeelle hakeneiden maatalousyrittäjien liikunta- ja terveyskäyttäytyminen

2006

The role of age and digital competence on the use of online health and social care services: A cross-sectional population-based survey

2022

Objective Online health and social care services are getting widespread which increases the risk that less advantaged groups may not be able to access these services resulting in digital exclusion. We examined the combined effects of age and digital competence on the use of online health and social care services. Methods We used a large representative population-based sample of 4495 respondents from Finland. Paper-based self-assessment questionnaire with an online response option was mailed to participants. The associations were analyzed using survey weighted logistic regression, exploring potential non-linear effects of age and controlling for potential sex differences. Results Higher age,…

SOTE-toimintojen tehostaminen IT:n avulla : kehittämispotentiaali ja toimenpideohjelma

2018

Adaptation and face and linguistic validation of the modified KWAZO and EATS- 2D instruments into Finnish circumstances

2011

Asiakastyytyväisyys ja elämänlaatu ovat terveydenhuollon näyttöön perustuvien käytäntöjen tärkeitä tulosmuuttujia. Alun perin hollantilainen "Kwaliteit van Zorg" (KWAZO)- mittari mittaa asiakastyytyväisyyttä apuvälinepalveluihin. Efficiency of Assistive Technology and Services- kysymyksiä (EATS-2D) voidaan käyttää osana standardoitua terveyteen liittyvää elämänlaatumittaria, EQ-5D:tä. Tämän tutkimuksen tarkoituksena oli: 1) kääntää ja adaptoida modifioitu KWAZO (nimettynä uudelleen Satisfaction of Assistive Technology Services, SATS) ja EATS-2D Suomen olosuhteisiin, 2) tutkia, miten mittari kuvaa sisältöaluettaan ja kielellistä validiteettia ja 3) tutkia kahden eri tutkimusmenetelmän vastau…

Optical measurement of virtual reality headset performance

2018

Virtuaalitodellisuussilmikoiden päänseurantajärjestelmän suorituskyvyn mittaamista varten kehitettiin mittausmenetelmä ja sulautettu kameramoduuli. Kyse on päästä päähän mittauksesta (engl. end-to-end measurement), jossa robotti liikuttaa silmikkoa ja kamera mittaa sisällön muutoksia näytöllä. Tavoitteena on optisesti mitata päänseurantajärjestelmän tarkkuutta kuvaamalla näytön sisältöä näytön virkistykseen tahdistettuna. Työssä keskityttiin kameramoduulin ja siihen liittyvien konenäköalgoritmien kehittämiseen. Mittauksessa näytöllä on kolmiulotteinen kohde, jossa on tunnistettavia pisteitä. Paikallistamalla nämä pisteet kuvassa voidaan määrittää grafiikkamoottorin virtuaalisen kameran asen…

The N-dimensional N-person chesslike game strategy analysis model

2016

In this research a mathematical, symmetric n-player game model, based on chess is designed. Symmetry in this context refers to players' positions with respect to each other. While the order of move naturally violates the symmetry, this problem may also be solved. The motivation for building this kind of game model stems from the difficulty of finding mathematical solutions for multi-player games in general. The number of varying factors is so huge, that finding optimal strategies is mathematically almost impossible. The best way to attempt this is to use simulation. Once the model has been built, it can be applied in many ways by using computational algorithms based on the created model. Ch…