Predictors of Walking App Users With Comparison of Current Users, Previous Users, and Informed Nonusers in a Sample of Dutch Adults: Questionnaire Study

BACKGROUND: The last decade has seen a substantial increase in the use of mobile health apps and research into the effects of those apps on health and health behaviors. In parallel, research has aimed at identifying population subgroups that are more likely to use those health apps. Current evidence is limited by two issues. First, research has focused on broad health apps, and little is known about app usage for a specific health behavior. Second, research has focused on comparing current users and current nonusers, without considering subgroups of nonusers. OBJECTIVE: We aimed to provide profile distributions of current users, previous users, and informed nonusers, and to identify predictor variables relevant for profile classification. METHODS: Data were available from 1683 people who participated in a Dutch walking event in Amsterdam that was held in September 2017. They provided information on demographics, self-reported walking behavior, and walking app usage, as well as items from User Acceptance of Information Technology, in an online survey. Data were analyzed using discriminant function analysis and multinomial logistic regression analysis. RESULTS: Most participants were current walking app users (899/1683, 53.4%), while fewer participants were informed nonusers (663/1683, 39.4%) and very few were previous walking app users (121/1683, 7.2%). Current walking app users were more likely to report walking at least 5 days per week and for at least 30 minutes per bout (odds ratio [OR] 1.44, 95% CI 1.11-1.85; P=.005) and more likely to be overweight (OR 1.72, 95% CI 1.24-2.37; P=.001) or obese (OR 1.49, 95% CI 1.08-2.08; P=.005) as compared with informed nonusers. Further, current walking app users perceived their walking apps to be less boring, easy to use and retrieve information, and more helpful to achieve their goals. Effect sizes ranged from 0.10 (95% CI 0.08-0.30) to 1.58 (95% CI 1.47-1.70). CONCLUSIONS: The distributions for walking app usage appeared different from the distributions for more general health app usage. Further, the inclusion of two specific subgroups of nonusers (previous users and informed nonusers) provides important information for health practitioners and app developers to stimulate continued walking app usage, including making information in those apps easy to understand and making it easy to obtain information from the apps, as well as preventing apps from becoming boring and difficult to use for goal attainment

A Note on the Pfaffian Integration Theorem

Two alternative, fairly compact proofs are presented of the Pfaffian integration theorem that is surfaced in the recent studies of spectral properties of Ginibre's Orthogonal Ensemble. The first proof is based on a concept of the Fredholm Pfaffian; the second proof is purely linear-algebraic.Comment: 8 pages; published versio

Finite-lattice expansion for Ising models on quasiperiodic tilings

Low-temperature series are calculated for the free energy, magnetisation, susceptibility and field-derivatives of the susceptibility in the Ising model on the quasiperiodic Penrose lattice. The series are computed to order 20 and estimates of the critical exponents alpha, beta and gamma are obtained from Pade approximants.Comment: 16 pages, REVTeX, 26 postscript figure

Syntax for free: representing syntax with binding using parametricity

We show that, in a parametric model of polymorphism, the type ∀ α. ((α → α) → α) → (α → α → α) → α is isomorphic to closed de Bruijn terms. That is, the type of closed higher-order abstract syntax terms is isomorphic to a concrete representation. To demonstrate the proof we have constructed a model of parametric polymorphism inside the Coq proof assistant. The proof of the theorem requires parametricity over Kripke relations. We also investigate some variants of this representation

Occurrence and diversity of Xanthomonas campestris pv. campestris in vegetable brassica fields in Nepal

Black rot caused by Xanthomonas campestris pv. campestris was found in 28 sampled cabbage fields in five major cabbage-growing districts in Nepal in 2001 and in four cauliflower fields in two districts and a leaf mustard seed bed in 2003. Pathogenic X. campestris pv. campestris strains were obtained from 39 cabbage plants, 4 cauliflower plants, and 1 leaf mustard plant with typical lesions. Repetitive DNA polymerase chain reaction-based fingerprinting (rep-PCR) using repetitive extragenic palindromic, enterobacterial repetitive intergenic consensus, and BOX primers was used to assess the genetic diversity. Strains were also race typed using a differential series of Brassica spp. Cabbage strains belonged to five races (races 1, 4, 5, 6, and 7), with races 4, 1, and 6 the most common. All cauliflower strains were race 4 and the leaf mustard strain was race 6. A dendrogram derived from the combined rep-PCR profiles showed that the Nepalese X. campestris pv. campestris strains clustered separately from other Xanthomonas spp. and pathovars. Race 1 strains clustered together and strains of races 4, 5, and 6 were each split into at least two clusters. The presence of different races and the genetic variability of the pathogen should be considered when resistant cultivars are bred and introduced into regions in Nepal to control black rot of brassicas

Limit-(quasi)periodic point sets as quasicrystals with p-adic internal spaces

Model sets (or cut and project sets) provide a familiar and commonly used method of constructing and studying nonperiodic point sets. Here we extend this method to situations where the internal spaces are no longer Euclidean, but instead spaces with p-adic topologies or even with mixed Euclidean/p-adic topologies. We show that a number of well known tilings precisely fit this form, including the chair tiling and the Robinson square tilings. Thus the scope of the cut and project formalism is considerably larger than is usually supposed. Applying the powerful consequences of model sets we derive the diffractive nature of these tilings.Comment: 11 pages, 2 figures; dedicated to Peter Kramer on the occasion of his 65th birthda

Eigenvalue correlations in non-Hermitean symplectic random matrices

Correlation function of complex eigenvalues of N by N random matrices drawn from non-Hermitean random matrix ensemble of symplectic symmetry is given in terms of a quaternion determinant. Spectral properties of Gaussian ensembles are studied in detail in the regimes of weak and strong non-Hermiticity.Comment: 14 page

Regular quantum graphs

We introduce the concept of regular quantum graphs and construct connected quantum graphs with discrete symmetries. The method is based on a decomposition of the quantum propagator in terms of permutation matrices which control the way incoming and outgoing channels at vertex scattering processes are connected. Symmetry properties of the quantum graph as well as its spectral statistics depend on the particular choice of permutation matrices, also called connectivity matrices, and can now be easily controlled. The method may find applications in the study of quantum random walks networks and may also prove to be useful in analysing universality in spectral statistics.Comment: 12 pages, 3 figure

Design, manufacturing and testing of a rotorcraft access panel door from recycled carbon fiber reinforced polyphenylenesulfide

An integrally-stiffened access panel for a rotorcraft is selected for detail design, testing and actual flight to demonstrate a novel recycling route for thermoplastic composites. The design, development and validation followed the ‘Building Block approach’. The used material is post-industrial carbon fiber reinforced polyphenylene sulfide waste. This material originates from thermoplastic components of the very same rotorcraft as the panel will be mounted on, improving traceability, logistics and fixing supply and demand. Material data have been gathered from mechanical tests and used to predict the panels strength and stiffness. A critical design detail was selected and tested for validation. This section was included in a manufacturing demo, along with other integrated design features, enabling testing the processability. The final panel design was successfully produced and tested on component level. The re-manufacturing process includes simultaneously applied heat and low-shear mixing, followed by compression molding in an isothermal mold. This offers the possibility to retain long fibers and therefore high mechanical properties at short cycle times. In comparison to the current carbon/epoxy solution, the resulting product is lighter, significantly more cost-effective and made of recycled material (fiber and matrix). The prototype panel is targeted for flight testing on the rotorcraft in 2019.Dutch Organization of Applied Research – SIA, projeto SIA-RAAK 2014-01-72PR