A future orientation intervention delivered through a smartphone application and virtual reality: study protocol for a randomized controlled trial

Background: Short-term mindsets are associated with self-defeating behaviors, such as delinquency and alcohol use. In contrast, people who consider the longer-term consequences of their decisions tend to report positive outcomes, like feeling more competent and enhanced goal achievement. We evaluate an intervention, FutureU, that aims to stimulate future-oriented thinking, increase goal achievement, and reduce self-defeating behavior, by strengthening people’s identification with their future self. The intervention will be delivered through a smartphone application (app) or immersive Virtual Reality (VR). We test the effectiveness of FutureU for both delivery methods, examine working mechanisms, and identify potential moderators of intervention effects.Methods: In this Randomized Controlled Trial, a total of 240 first-year university students (n = 80 per condition) will be randomized into one of three conditions: (1) a smartphone condition, (2) a VR condition, and (3) an active control condition. We will assess proximal (i.e., future self-identification) and distal intervention outcomes (e.g., future orientation, self-defeating behaviors, goal achievement), user engagement, and examine usage data and goal content. Assessments will take place at baseline, during the intervention, immediately after the intervention, and at 3- and 6-months follow-up.Discussion: This study will provide information on the effectiveness of the intervention and allows for comparisons between delivery methods using novel technologies, a smartphone app versus immersive VR. Knowledge gained through this study can be used for further intervention development as well as theory building

Дефініції поняття “інтеграція” та його ролі в конкурентному ринковому процесі

Метою даної роботи є дослідження дефініцій розуміння інтеграційних процесів в аграрній сфері та їх ролі в конкурентному економічному середовищі

Desirable Components for a Customized, Home-Based, Digital Care-Management App for Children and Young People With Long-Term, Chronic Conditions: A Qualitative Exploration

Background: Mobile apps for mobile phones and tablet devices are widely used by children and young people aged 0-18 years with long-term health conditions, such as chronic kidney disease (CKD), and their healthy peers for social networking or gaming. They are also poised to become a major source of health guidance. However, app development processes that are coproduced, rigorously developed, and evaluated to provide tailored, condition-specific, practical advice on day-to-day care management are seldom systematic or sufficiently described to enable replication. Furthermore, attempts to extrapolate to the real world are hampered by a poor understanding of the effects of key elements of app components. Therefore, effective and cost-effective novel, digital apps that will effectively and safely support care management are critical and timely. To inform development of such an app for children with CKD, a user requirements-gathering exercise was first needed. Objective: To explore the views of children with CKD, their parents, and health care professionals to inform future development of a child-focused, care-management app. Methods: Using age- and developmentally appropriate methods, we interviewed 36 participants: 5-10-year-olds (n=6), 11-14-year-olds (n=6), 15-18-year-olds (n=5), mothers (n=10), fathers (n=2), and health care professionals (n=7). Data were analyzed using Framework Analysis and behavior change theories. Results: Of the 27 interviews, 19 (70%) interviews were individual and 8 (30%) were joint—5 out of 8 (63%) joint interviews were with a child or young person and their parent, 1 out of 8 (13%) were with a child and both parents, and 2 out of 8 (25%) were with 2 professionals. Three key themes emerged to inform development of a software requirement specification for a future home-based, digital care-management app intervention: (1) Gaps in current online information and support, (2) Difficulties experienced by children with a long-term condition, and (3) Suggestions for a digital care-management app. Reported gaps included the fact that current online information is not usually appropriate for children as it is “dry” and “boring,” could be “scary,” and was either hard to understand or not relevant to individuals’ circumstances. For children, searching online was much less accessible than using a professional-endorsed mobile app. Children also reported difficulty explaining their condition to others, maintaining treatment adherence, coping with feeling isolated, and with trying to live a “normal” life. There was recognition that a developmentally appropriate, CKD-specific app could support the process of explaining the condition to healthy peers, reducing isolation, adhering to care-management plans, and living a “normal” life. Participants recommended a range of media and content to include in a tailored, interactive, age- and developmentally appropriate app. For example, the user would be able to enter their age and diagnosis so that only age-appropriate and condition-specific content is displayed. Conclusions: Future development of a digital app that meets the identified information and support needs and preferences of children with CKD will maximize its utility, thereby augmenting CKD caregiving and optimizing outcomes

Population-based mammography screening below age 50: balancing radiation-induced vs prevented breast cancer deaths

Introduction:Exposure to ionizing radiation at mammography screening may cause breast cancer. Because the radiation risk increases with lower exposure age, advancing the lower age limit may affect the balance between screening benefits and risks. The present study explores the benefit-risk ratio of screening before age 50.Methods:The benefits of biennial mammography screening, starting at various ages between 40 and 50, and continuing up to age 74 were examined using micro-simulation. In contrast with previous studies that commonly used excess relative risk models, we assessed the radiation risks using the latest BEIR-VII excess abso

Efficient Certified Resolution Proof Checking

We present a novel propositional proof tracing format that eliminates complex processing, thus enabling efficient (formal) proof checking. The benefits of this format are demonstrated by implementing a proof checker in C, which outperforms a state-of-the-art checker by two orders of magnitude. We then formalize the theory underlying propositional proof checking in Coq, and extract a correct-by-construction proof checker for our format from the formalization. An empirical evaluation using 280 unsatisfiable instances from the 2015 and 2016 SAT competitions shows that this certified checker usually performs comparably to a state-of-the-art non-certified proof checker. Using this format, we formally verify the recent 200 TB proof of the Boolean Pythagorean Triples conjecture

Tomato Yield in a Closed Greenhouse and Comparison with Simulated Yields in Closed and Conventional Greenhouses

In 2002 tomato was cultivated in a closed venlo-type greenhouse to investigate the influence of cooling with forced air movement along heat-exchangers combined with high CO2 level under summer light conditions on production and quality. Transpiration in the closed greenhouse with forced air movement was, compared to a conventional greenhouse, higher at low light levels (2 instead of 1 kg/m2) and lower at high light levels kg/m2 (4 instead of 5 kg.m2). Comparison of the observed yield with crop yields predicted with TOMSIM showed that yield was increased by 22% from 46.2 to 56.2 kg/m2 compared to a conventional greenhouse with CO2 concentration always above 500 ppm. The higher CO2 concentration in the closed greenhouse (always 1000 ppm) could explain only a 9% yield increase

Computation with Polynomial Equations and Inequalities arising in Combinatorial Optimization

The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear algebra or semidefinite programming relaxations of many kinds of feasibility or optimization questions. We are particularly interested in problems arising in combinatorial optimization.Comment: 28 pages, survey pape

A database of whole-body action videos for the study of action, emotion, and untrustworthiness

We present a database of high-definition (HD) videos for the study of traits inferred from whole-body actions. Twenty-nine actors (19 female) were filmed performing different actions—walking, picking up a box, putting down a box, jumping, sitting down, and standing and acting—while conveying different traits, including four emotions (anger, fear, happiness, sadness), untrustworthiness, and neutral, where no specific trait was conveyed. For the actions conveying the four emotions and untrustworthiness, the actions were filmed multiple times, with the actor conveying the traits with different levels of intensity. In total, we made 2,783 action videos (in both two-dimensional and three-dimensional format), each lasting 7 s with a frame rate of 50 fps. All videos were filmed in a green-screen studio in order to isolate the action information from all contextual detail and to provide a flexible stimulus set for future use. In order to validate the traits conveyed by each action, we asked participants to rate each of the actions corresponding to the trait that the actor portrayed in the two-dimensional videos. To provide a useful database of stimuli of multiple actions conveying multiple traits, each video name contains information on the gender of the actor, the action executed, the trait conveyed, and the rating of its perceived intensity. All videos can be downloaded free at the following address: http://www-users.york.ac.uk/~neb506/databases.html. We discuss potential uses for the database in the analysis of the perception of whole-body actions