Decomposition of Boolean Functions – Recognizing a Good Solution by Traces

The problem of sequent two-block decomposition of a Boolean function is regarded in case when a good solution does exist. The problem consists mainly in finding an appropriate weak partition on the set of arguments of the considered Boolean function, which should be decomposable at that partition. A new fast heuristic combinatorial algorithm is offered for solving this task. At first the randomized search for traces of such a partition is fulfilled. The recognized traces are represented by some "triads" - the simplest weak partitions corresponding to non-trivial decompositions. After that the whole sought-for partition is restored from the discovered trace by building a track initialized by the trace and leading to the solution. The results of computer experiments testify the high practical efficiency of the algorithm.

Randomized Parallelization – a New Method for Solving Hard Combinatorial Problems

A new method for solving some hard combinatorial optimization problems is suggested, admitting a certain reformulation. Considering such a problem, several different similar problems are prepared which have the same set of solutions. They are solved on computer in parallel until one of them will be solved, and that solution is accepted. Notwithstanding the evident overhead, the whole run-time could be significantly reduced due to dispersion of velocities of combinatorial search in regarded cases. The efficiency of this approach is investigated on the concrete problem of finding short solutions of non-deterministic system of linear logical equations.

Efficient Control in Multistage Stochastic Optimization Problem

AMS subject classification: 90C31, 90A09, 49K15, 49L20.

A Taxonomy of Big Data for Optimal Predictive Machine Learning and Data Mining

Big data comes in various ways, types, shapes, forms and sizes. Indeed, almost all areas of science, technology, medicine, public health, economics, business, linguistics and social science are bombarded by ever increasing flows of data begging to be analyzed efficiently and effectively. In this paper, we propose a rough idea of a possible taxonomy of big data, along with some of the most commonly used tools for handling each particular category of bigness. The dimensionality p of the input space and the sample size n are usually the main ingredients in the characterization of data bigness. The specific statistical machine learning technique used to handle a particular big data set will depend on which category it falls in within the bigness taxonomy. Large p small n data sets for instance require a different set of tools from the large n small p variety. Among other tools, we discuss Preprocessing, Standardization, Imputation, Projection, Regularization, Penalization, Compression, Reduction, Selection, Kernelization, Hybridization, Parallelization, Aggregation, Randomization, Replication, Sequentialization. Indeed, it is important to emphasize right away that the so-called no free lunch theorem applies here, in the sense that there is no universally superior method that outperforms all other methods on all categories of bigness. It is also important to stress the fact that simplicity in the sense of Ockham’s razor non-plurality principle of parsimony tends to reign supreme when it comes to massive data. We conclude with a comparison of the predictive performance of some of the most commonly used methods on a few data sets.

Genome-wide association analysis identifies novel loci for chronotype in 100,420 individuals from the UK Biobank

Our sleep timing preference, or chronotype, is a manifestation of our internal biological clock. Variation in chronotype has been linked to sleep disorders, cognitive and physical performance, and chronic disease. Here we perform a genome-wide association study of self-reported chronotype within the UK Biobank cohort (n=100,420). We identify 12 new genetic loci that implicate known components of the circadian clock machinery and point to previously unstudied genetic variants and candidate genes that might modulate core circadian rhythms or light-sensing pathways. Pathway analyses highlight central nervous and ocular systems and fear-response-related processes. Genetic correlation analysis suggests chronotype shares underlying genetic pathways with schizophrenia, educational attainment and possibly BMI. Further, Mendelian randomization suggests that evening chronotype relates to higher educational attainment. These results not only expand our knowledge of the circadian system in humans but also expose the influence of circadian characteristics over human health and life-history variables such as educational attainment.

A generalization of correlated equilibrium: A new protocol

A new correlation scheme (leading to a special equilibrium called “soft” correlated equilibrium) is introduced for finite games. After randomization over the outcome space, players have the choice either to follow the recommendation of an umpire blindly or freely choose some other action except the one suggested. This scheme can lead to Pareto-better outcomes than the simple extension introduced by [Moulin, H., Vial, J.-P., 1978. Strategically zero-sum games: the class of games whose completely mixed equilibria cannot be improved upon. International Journal of Game Theory 7, 201–221]. The informational and interpretational aspects of soft correlated equilibria are also discussed in detail. The power of the generalization is illustrated in the prisoners’s dilemma and a congestion game.

Generalized correlated equilibrium for two-person games in extensive form with perfect information

A correlation scheme (leading to a special equilibrium called “soft” correlated equilibrium) is applied for two-person finite games in extensive form with perfect information. Randomization by an umpire takes place over the leaves of the game tree. At every decision point players have the choice either to follow the recommendation of the umpire blindly or freely choose any other action except the one suggested. This scheme can lead to Pareto-improved outcomes of other correlated equilibria. Computational issues of maximizing a linear function over the set of soft correlated equilibria are considered and a linear-time algorithm in terms of the number of edges in the game tree is given for a special procedure called “subgame perfect optimization”.

Think before you eat: Calories and exercise equivalents presented on menus at point-of-choice

Although calorie information at the point-of-purchase at fast food restaurants is proposed as a method to decrease calorie choices and combat obesity, research results have been mixed. Much of the supportive research has weak methodology, and is limited. There is a demonstrated need to develop better techniques to assist consumers to make lower calorie food choices. Eating at fast food restaurants has been positively associated with weight gain. The current study explored the possibility of adding exercise equivalents (EE) (physical activity required to burn off the calories in the food), along with calorie information as a possible way to facilitate lower calorie choice at the point-of-choice in fast food restaurants. This three-group experimental study, in 18-34 year old, overweight and obese women, examines whether presenting caloric information in the form of EE at the point-of-choice at fast food restaurants, will lead to lower calorie food choices compared to presenting simple caloric information or no information at all. Methods. A randomized repeated measures experiment was conducted. Participants ordered a fast food meal from Burger King with menus that contained only the names of the food choices (Lunch 1). One week later (Lunch 2), study participants were given one of three menus that varied: no information, calorie information, or calorie information and EE. Study participants included 62 college aged students. Additionally, the study controlled for dietary restraint by blocking participants, before randomization, to the three groups. Results. A repeated measures analysis of variance was conducted. The study was not sufficiently powered, and while the study was designed to determine large effect sizes, a small effect size of .026, was determined. No significant differences were found in the foods ordered among the various menu conditions. Conclusion. Menu labeling alone might not be enough to reduce calories at the point-of-choice at restaurants. Additional research is necessary to determine if calorie information and EE at the point-of-choice would lead to fewer calories chosen at a meal. Studies should also look at long-term, repeated exposure to determine the effectiveness of calories and or EE at the point-of-choice at fast food restaurants.

Stripe domains formation and their affect on three-dimensional and perpendicular magnetic recording

In this study, the formation of stripe domains in permalloy (NisoFe20) thin films was investigated mainly utilizing magnetic force microscopy. Stripe domains are a known phenomenon, which reduces the "softness" of magnetic material and introduces a significant source of noise when used in perpendicular magnetic media. For the particular setup mentioned in this report, a critical thickness for stripe domains initiation depended on the sputtering rate, the substrate temperature, and the film thickness. Beyond the stripe domain formation, an increase in the periodicity of highly ordered stripe domains was evident with increasing film thickness. Above a particular thickness, stripe domains periodicity decreased along with magnetic domain randomization. The results led to the inference that the perpendicular anisotropy responsible for the formation of stripe domains originated mainly from magnetostriction.

Think Before You Eat: Calories and Exercise Equivalents Presented on Menus at Point-of-Choice

Although calorie information at the point-of-purchase at fast food restaurants is proposed as a method to decrease calorie choices and combat obesity, research results have been mixed. Much of the supportive research has weak methodology, and is limited. There is a demonstrated need to develop better techniques to assist consumers to make lower calorie food choices. Eating at fast food restaurants has been positively associated with weight gain. The current study explored the possibility of adding exercise equivalents (EE) (physical activity required to burn off the calories in the food), along with calorie information as a possible way to facilitate lower calorie choice at the point-of-choice in fast food restaurants. This three-group experimental study, in 18-34 year old, overweight and obese women, examines whether presenting caloric information in the form of EE at the point-of-choice at fast food restaurants, will lead to lower calorie food choices compared to presenting simple caloric information or no information at all. Methods: A randomized repeated measures experiment was conducted. Participants ordered a fast food meal from Burger King with menus that contained only the names of the food choices (Lunch 1). One week later (Lunch 2), study participants were given one of three menus that varied: no information, calorie information, or calorie information and EE. Study participants included 62 college aged students. Additionally, the study controlled for dietary restraint by blocking participants, before randomization, to the three groups. Results: A repeated measures analysis of variance was conducted. The study was not sufficiently powered, and while the study was designed to determine large effect sizes, a small effect size of .026, was determined. No significant differences were found in the foods ordered among the various menu conditions. Conclusion: Menu labeling alone might not be enough to reduce calories at the point-of-choice at restaurants. Additional research is necessary to determine if calorie information and EE at the point-of-choice would lead to fewer calories chosen at a meal. Studies should also look at long-term, repeated exposure to determine the effectiveness of calories and or EE at the point-of-choice at fast food restaurants.

Desenvolvimento e avaliação do emprego de dispositivo ajustável ao corpo para treinamento de habilidade de acesso venoso periférico no membro superior

OBJECTIVE: To dev elop and evaluate the use of a body adjustable device for training of peripheral venous catheterization for healthcare undergraduate students . METHODS: This study involved two phases: I) development of the innovative simulator and II) a controlled trial co mparing the performance of the body adjustable device in relation to the commercial simulator for the training of venipuncture skills. A total of 79 first - year medical students participated in the intervention phase, which consisted of pretest assessment, lecture on peripheral venous access, randomization into two groups according to the simulator used for training (Commercial Simulator and Experimental Simulator), real venipuncture procedure, post - test assessment and evaluation of satisfaction. RESULTS: Gr oups were homogeneous in age, sex, pre - test and post - test scores, attitudinal assessment and performance in performing the real venipuncture. Students from the Experimental Simulator group performed better on the filling of simulated records. At the end of the study, cognitive gain significantly increased in both groups. The degree of realism perceived by students was equivalent for two groups. A total of 85.7% of students rated the Experimental Simulator as good or excellent. CONCLUSIONS: Experimental simu lator proved to be a low cost alternative for the training of venipuncture skills in upper limb. The cognitive procedural and attitudinal performances of students who used the experimental simulator were similar to those observed in the group trained with commercial simulator.

Graded Exercise Therapy Guided Self-Help Trial for Patients with Chronic Fatigue Syndrome (GETSET): Protocol for a Randomized Controlled Trial and Interview Study

Background: Chronic fatigue syndrome, also known as myalgic encephalomyelitis (CFS/ME), is characterized by chronic disabling fatigue and other symptoms, which are not explained by an alternative diagnosis. Previous trials have suggested that graded exercise therapy (GET) is an effective and safe treatment. GET itself is therapist-intensive with limited availability. Objective: While guided self-help based on cognitive behavior therapy appears helpful to patients, Guided graded Exercise Self-help (GES) is yet to be tested. Methods: This pragmatic randomized controlled trial is set within 2 specialist CFS/ME services in the South of England. Adults attending secondary care clinics with National Institute for Health and Clinical Excellence (NICE)-defined CFS/ME (N=218) will be randomly allocated to specialist medical care (SMC) or SMC plus GES while on a waiting list for therapist-delivered rehabilitation. GES will consist of a structured booklet describing a 6-step graded exercise program, supported by up to 4 face-to-face/telephone/Skype™ consultations with a GES-trained physiotherapist (no more than 90 minutes in total) over 8 weeks. The primary outcomes at 12-weeks after randomization will be physical function (SF-36 physical functioning subscale) and fatigue (Chalder Fatigue Questionnaire). Secondary outcomes will include healthcare costs, adverse outcomes, and self-rated global impression change scores. We will follow up all participants until 1 year after randomization. We will also undertake qualitative interviews of a sample of participants who received GES, looking at perceptions and experiences of those who improved and worsened. Results: The project was funded in 2011 and enrolment was completed in December 2014, with follow-up completed in March 2016. Data analysis is currently underway and the first results are expected to be submitted soon. Conclusions: This study will indicate whether adding GES to SMC will benefit patients who often spend many months waiting for rehabilitative therapy with little or no improvement being made during that time. The study will indicate whether this type of guided self-management is cost-effective and safe. If this trial shows GES to be acceptable, safe, and comparatively effective, the GES booklet could be made available on the Internet as a practitioner and therapist resource for clinics to recommend, with the caveat that patients also be supported with guidance from a trained physiotherapist. The pragmatic approach in this trial means that GES findings will be generalizable to usual National Health Service (NHS) practice.

Benefits and resource implications of family meetings for hospitalized palliative care patients: research protocol.

BACKGROUND:
Palliative care focuses on supporting patients diagnosed with advanced, incurable disease; it is 'family centered', with the patient and their family (the unit of care) being core to all its endeavours. However, approximately 30-50% of carers experience psychological distress which is typically under recognised and consequently not addressed. Family meetings (FM) are recommended as a means whereby health professionals, together with family carers and patients discuss psychosocial issues and plan care; however there is minimal empirical research to determine the net effect of these meetings and the resources required to implement them systematically. The aims of this study were to evaluate: (1) if family carers of hospitalised patients with advanced disease (referred to a specialist palliative care in-patient setting or palliative care consultancy service) who receive a FM report significantly lower psychological distress (primary outcome), fewer unmet needs, increased quality of life and feel more prepared for the caregiving role; (2) if patients who receive the FM experience appropriate quality of end-of-life care, as demonstrated by fewer hospital admissions, fewer emergency department presentations, fewer intensive care unit hours, less chemotherapy treatment (in last 30 days of life), and higher likelihood of death in the place of their choice and access to supportive care services; (3) the optimal time point to deliver FM and; (4) to determine the cost-benefit and resource implications of implementing FM meetings into routine practice.
METHODS:
Cluster type trial design with two way randomization for aims 1-3 and health economic modeling and qualitative interviews with health for professionals for aim 4.
DISCUSSION:
The research will determine whether FMs have positive practical and psychological impacts on the family, impacts on health service usage, and financial benefits to the health care sector. This study will also provide clear guidance on appropriate timing in the disease/care trajectory to provide a family meeting.

Finite Population Inference for Causal Parameters

Thesis (Ph.D.)--University of Washington, 2016-08

Identifying treatment effects and counterfactual distributions using data combination with unobserved heterogeneity

This paper considers identification of treatment effects when the outcome variables and covari-ates are not observed in the same data sets. Ecological inference models, where aggregate out-come information is combined with individual demographic information, are a common example of these situations. In this context, the counterfactual distributions and the treatment effects are not point identified. However, recent results provide bounds to partially identify causal effects. Unlike previous works, this paper adopts the selection on unobservables assumption, which means that randomization of treatment assignments is not achieved until time fixed unobserved heterogeneity is controlled for. Panel data models linear in the unobserved components are con-sidered to achieve identification. To assess the performance of these bounds, this paper provides a simulation exercise.