IntelligentPooling: practical Thompson sampling for mHealth

Machine Learning - In mobile health (mHealth) smart devices deliver behavioral treatments repeatedly over time to a user with the goal of helping the user adopt and maintain healthy behaviors....     

Family Functioning and Children's Adjustment: Associations Among Parents' Depressed Mood, Marital Hostility, Parent-Child Hostility, and Children's Adjustment.

Relations between parents' depressed mood, marital conflict, parent-child hostility, and children's adjustment were examined in a community sample of 136 ten-year-olds and their parents. Videotaped observational and self-report data were used to examine these relations in path analyses. A proposed model was tested in which mothers' and fathers' depressed mood and marital hostility were associated with children's adjustment problems through disruptions in parent-child relationships. Results showed that both mothers' and fathers' marital hostility were linked to parent-child hostility, which in turn was linked to children's internalizing problems. Fathers' depressed mood was linked to children's internalizing problems indirectly through father-child hostility. Fathers' depressed mood was directly linked to children's externalizing problems and indirectly linked through father-child hostility. For mothers, marital hostility was directly linked to children's externalizing problems, and marital hostility in fathers was indirectly linked to children's externalizing problems through father-child hostility. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Identification of Wiener models using optimal local linear models

Identification of a Wiener model using optimal local linear models (LLMs) is presented. The model consists of a discrete-time transfer function and piece-wise linear functions. Parameter estimation as well as partitioning of the LLMs is simultaneously accomplished by the algorithm. The optimality is threefold: first, each local model is linear in the parameters, thus leading to an optimal solution. Second, the model size of each LLM is adaptively optimized using a chi-squared criterion, explicitly incorporating the measurement noise level. Third, the resulting model has a minimum of parameters for a given performance. Simulation results document that the output noise is balanced with the systems nonlinearity.     

Using Bounded Model Checking for Coverage Analysis of Safety-Critical Software in an Industrial Setting

Testing and Bounded Model Checking (BMC) are two techniques used in Software Verification for bug-hunting. They are expression of two different philosophies: testing is used on the compiled code and it is more suited to find errors in common behaviors, while BMC is used on the source code to find errors in uncommon behaviors of the system. Nowadays, testing is by far the most used technique for software verification in industry: it is easy to use and even when no error is found, it can release a set of tests certifying the (partial) correctness of the compiled system. In the case of safety critical software, in order to increase the confidence of the correctness of the compiled system, it is often required that the provided set of tests covers 100% of the code. This requirement, however, substantially increases the costs associated to the testing phase, since it often involves the manual generation of tests. In this paper we show how BMC can be productively applied to the Software Verification process in industry. In particular, we show how to productively use a Bounded Model Checker for C programs (CBMC) as an automatic test generator for the Coverage Analysis of Safety Critical Software. In particular, we experimented CBMC on a subset of the modules of the European Train Control System (ETCS) of the European Rail Traffic Management System (ERTMS) source code, an industrial system for the control of the traffic railway, provided by Ansaldo STS. The Code of the ERTMS/ETCS, with thousands of lines, has been used as trial application with CBMC obtaining a set of tests satisfying the target 100% code coverage, requested by the CENELEC EN50128 guidelines for software development of safety critical systems. The use of CBMC for test generation led to a dramatic increase in the productivity of the entire Software Development process by substantially reducing the costs of the testing phase. To the best of our knowledge, this is the first time that BMC techniques have been used in an industrial setting for automatically generating tests achieving full coverage of Safety-Critical Software. The positive results demonstrate the maturity of Bounded Model Checking techniques for automatic test generation in industry.     

Cryo- and xerogel carbon supported PtRu for DMFC anodes

The specific catalytic activity of DMFC anodes based on PtRu may be improved using conducting carbon supports of high surface area and mesoporosity with pore size >20 nm for a high accessible surface area. To this purpose we pursued the strategy of developing PtRu catalysts deposited by chemical and electrochemical route on mesoporous cryo- and xerogel carbons. Here, we report the preparation and characterization data of different mesoporous cryo- and xerogel carbons as well as we present and discuss the results of the structural and morphological study and the catalytic activity data of PtRu catalysts chemically and electrochemically prepared, also by pulse techniques, on such carbons. The results are also compared to those obtained with PtRu supported on the generally used Vulcan carbon support.     

Preferential CO oxidation over Pt/3A zeolite catalysts in H2-rich gas for fuel cell application

Even traces of CO in the hydrogen-rich gas fed to proton exchange membrane fuel cells (PEMFC) poison the platinum anode electrode and dramatically decrease the cell power output. In this work, several 1%Pt catalysts, all on 3A-type zeolite support, were prepared starting from different precursors and employing different methods: cation exchange (CE), wet impregnation (WI) and incipient wetness impregnation (IWI). The catalysts were characterised in terms of platinum dispersion and tested under realistic conditions in the quest of a catalyst for the removal of CO via the CO preferential oxidation (CO-PROX) reaction. The best catalytic performance was shown by the 1%Pt–3A catalyst prepared by IWI starting from Pt(NH₃)₄Cl₂ as a precursor, thanks to its highest platinum dispersion.     

The Swiss‐Army‐Knife Self‐Assembled Monolayer: Improving Electron Injection,Stability, and Wettability of Metal Electrodes with a One‐Minute Process

A novel Self‐assembled Monolayer (SAM) forming molecule bisjulolidyldisulfide (9,9'‐disulfanediylbis(2,3,6,7‐tetrahydro‐1H,5H‐pyrido[3,2,1‐ij]quinoline)) is demonstrated which lowers the work function of metal surfaces by ≈1.2 eV and can be deposited in a 1 min process. Bisjulolidyldisulfide exists in a stable disulfide configuration prior to surface exposure and can therefore be stored, handled, and processed in ambient conditions. SAM from bisjulolidyldisulfide are deposited on metal surfaces (Au and Ag), including inkjet printed Ag on polyethylene terephthalate substrates, investigated by photoelectron and infrared spectroscopy, and used as electrodes in n‐type organic field effect transistor (OFET). Treatment of electrodes in OFET devices with with bisjulolidyldisulfide‐SAMs reduces the contact resistance by two orders of magnitude and improves shelf life with respect to pristine metal electrodes. The presented treatment also increases the surfaces wettability and thereby facilitates solution processing of a subsequent layer. These beneficial properties for device performance, processing, and stability, combined with ease of preparation and handling, render this SAM‐forming molecule an excellent candidate for the high‐throughput production of flexible electronic devices.     

Taking Time Seriously? Theorizing and Researching Change in Communication and Media Studies

This article argues that in order to adequately comprehend and explain change, the field needs to engage more completely with the challenges of researching change over time, and ground the theorizing of change more firmly in empirical research. The goal of this article is to foster a more concerted discussion on these issues that will hopefully move research forward. The first part of the article reviews the breadth and diversity of existing empirical approaches to comprehending change over time across the field. The article then identifies some of the problems and oversights of current approaches and discusses possible solutions, drawing both on proposals developed by communication and media scholars and those developed in other disciplines.     

Modeling of Three-Phase Fibrous Composite Using the Asymptotic Homogenization Method

A three-phase concentric fiber-reinforced periodic composite is considered wherein the constituents exhibit piezoelectric properties. The cross-section of the periodic cell is a regular hexagon with two concentric circles and the periodicity is the same in two directions at an angle ~ /3. Simple closed-form expressions are obtained for the effective properties of this composite by means of the asymptotic homogenization method. Numerical computations have been done. The analytical solution of the required resulting plane- and antiplane-strain local problems, which turns out to be only two, makes use of potential methods of a complex variable and properties of Weierstrass elliptic and related functions of periods (1,0) and (cos ~ /3, sin ~ /3). Benveniste's universal type of relations for this composite are satisfied. Comparison with other models is shown.     

Screening of nucleation conditions using levitated drops for protein crystallization

The growth of suitable protein crystals is an essential step in the structure determination of a protein by X-ray crystallography. At present, crystals are mostly grown using trial-and-error procedures, and protocols that rapidly screen for the crystal nucleation step are rare. Presented here is an approach to minimize the consumption of precious protein material while searching for the nucleation conditions. Acoustically levitated drops of known protein concentration (0.25-1.5-microL volumes) are injected with crystallizing agents using piezoelectric flow-through dispensers (ejecting 50-100-pL droplets at 1-9000 droplets/s). A restricted number of crystallizing agents representing three classes are used: poly(ethylene glycol), salts, and the viscous alcohol 2-methyl 2,4-pentanediol. From a digitized picture of the levitated drop volume, calculations are performed giving the concentrations of all components in the drop at any time during a "precipitation experiment". Supersaturation is the prerequisite for crystal nucleation, and protein precipitation indicates high supersaturation. A light source illuminates the levitated drop, and protein precipitation is monitored using right-angle light scattering. On the basis of these intensity measurements and the volume determination, precipitation diagrams for each crystallizing agent are constructed that give the protein/crystallizing agent concentration boundaries between the minimum and the maximum detectable protein precipitation. Guided by the concentration values obtained from such plots, when approaching the supersaturation region, separate crystallization drops are mixed and allowed to equilibrate under paraffin oil. At conditions in which microcrystals can be observed, the nucleation tendency of the macromolecule is confirmed. Optimization of crystallization conditions can then follow. Proteins tested include alcohol dehydrogenase and D-serine dehydratase. Alcohol dehydrogenase, known to crystallize easily, was used to evaluate whether the ultrasonic field inhibits nucleation. Details are given for the screening procedure of D-serine dehydratase, an enzyme earlier found to be difficult to crystallize reproducibly. The time and material-saving qualities of this method are emphasized, since a range of conditions can quickly be screened using small amounts of protein to roughly determine solubility characteristics of a protein before crystallization trials are initiated.