Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer

We solved a long-outstanding open problem in Ramsey theory, using SAT solving

Using Semantic Web technologies in the development of data warehouses: A systematic mapping

The exploration and use of Semantic Web technologies have attracted considerable attention from researchers examining data warehouse (DW) development. However, the impact of this research and the maturity level of its results are still unclear. The objective of this study is to examine recently published research articles that take into account the use of Semantic Web technologies in the DW arena with the intention of summarizing their results, classifying their contributions to the field according to publication type, evaluating the maturity level of the results, and identifying future research challenges. Three main conclusions were derived from this study: (a) there is a major technological gap that inhibits the wide adoption of Semantic Web technologies in the business domain;(b) there is limited evidence that the results of the analyzed studies are applicable and transferable to industrial use; and (c) interest in researching the relationship between DWs and Semantic Web has decreased because new paradigms, such as linked open data, have attracted the interest of researchers.This study was supported by the Universidad de La Frontera, Chile, PROY. DI15-0020. Universidad de la Frontera, Chile, Grant Numbers: DI15-0020 and DI17-0043

The psychology of dynamic balance and peak performance in sport: correction theory

This article introduces a new approach to understanding peak performance and dysfunctional performance in sport, correction theory. Correction theory, based within a control theory and dynamical systems perspective, assumes that dynamic balance (a state in which a robust complex system will self-correct in response to imbalance) underwrites individual functioning. The central thesis presented in this article is that an interdependent relationship exists between peak performance and dysfunctional performance in sport. Peak performance is, in part, a (corrective) response to dysfunctional performance and vice versa. An overview of correction theory is presented, based on two propositions relating to balance. Implications of correction theory for understanding sporting performance are briefly considered.N/

Answering Non-Monotonic Queries in Relational Data Exchange

Relational data exchange is the problem of translating relational data from a source schema into a target schema, according to a specification of the relationship between the source data and the target data. One of the basic issues is how to answer queries that are posed against target data. While consensus has been reached on the definitive semantics for monotonic queries, this issue turned out to be considerably more difficult for non-monotonic queries. Several semantics for non-monotonic queries have been proposed in the past few years. This article proposes a new semantics for non-monotonic queries, called the GCWA*-semantics. It is inspired by semantics from the area of deductive databases. We show that the GCWA*-semantics coincides with the standard open world semantics on monotonic queries, and we further explore the (data) complexity of evaluating non-monotonic queries under the GCWA*-semantics. In particular, we introduce a class of schema mappings for which universal queries can be evaluated under the GCWA*-semantics in polynomial time (data complexity) on the core of the universal solutions.Comment: 55 pages, 3 figure

Requirements for big data analytics supporting decision making: A sensemaking perspective

Big data analytics requires technologies to efficiently process large quantities of data. Moreover, especially in decision making, it not only requires individual intellectual capabilities in the analytical activities but also collective knowledge. Very often, people with diverse expert knowledge need to work together towards a meaningful interpretation of the associated results for new insight. Thus, a big data analysis infrastructure must both support technical innovation and effectively accommodate input from multiple human experts. In this chapter, we aim to advance our understanding on the synergy between human and machine intelligence in tackling big data analysis. Sensemaking models for big data analysis were explored and used to inform the development of a generic conceptual architecture as a means to frame the requirements of such an analysis and to position the role of both technology and human in this synergetic relationship. Two contrasting real-world use case studies were undertaken to test the applicability of the proposed architecture for the development of a supporting platform for big data analysis. Reflection on this outcome has further advanced our understanding on the complexity and the potential of individual and collaborative sensemaking models for big data analytics

A longitudinal study of environmental tobacco smoke exposure in children: Parental self reports versus age dependent biomarkers

<p>Abstract</p> <p>Background</p> <p>Awareness of the negative effects of smoking on children's health prompted a decrease in the self-reporting of parental tobacco use in periodic surveys from most industrialized countries. Our aim is to assess changes between ETS exposure at the end of pregnancy and at 4 years of age determined by the parents' self-report and measurement of cotinine in age related biological matrices.</p> <p>Methods</p> <p>The prospective birth cohort included 487 infants from Barcelona city (Spain). Mothers were asked about maternal and household smoking habit. Cord serum and children's urinary cotinine were analyzed in duplicate using a double antibody radioimmunoassay.</p> <p>Results</p> <p>At 4 years of age, the median urinary cotinine level in children increased 1.4 or 3.5 times when father or mother smoked, respectively. Cotinine levels in children's urine statistically differentiated children from smoking mothers (Geometric Mean (GM) 19.7 ng/ml; 95% CI 16.83–23.01) and exposed homes (GM 7.1 ng/ml; 95% CI 5.61–8.99) compared with non-exposed homes (GM 4.5 ng/ml; 95% CI 3.71–5.48). Maternal self-reported ETS exposure in homes declined in the four year span between the two time periods from 42.2% to 31.0% (p < 0.01). Nevertheless, most of the children considered non-exposed by their mothers had detectable levels of cotinine above 1 ng/mL in their urine.</p> <p>Conclusion</p> <p>We concluded that cotinine levels determined in cord blood and urine, respectively, were useful for categorizing the children exposed to smoking and showed that a certain increase in ETS exposure during the 4-year follow-up period occurred.</p

High recombination rates and hotspots in a Plasmodium falciparum genetic cross

Using the universal P2/P8 primers, we were able to obtain the gene segments of chromo-helicase-DNA binding protein (CHD)-Z and CHD-W from ten species of ardeid birds including Chinese egret (Egretta eulophotes), little egret (E. garzetta), eastern reef egret (E. sacra), great egret (Ardea alba), grey heron (A. cinerea), Chinese pond-heron (Ardeola bacchus), cattle egret (Bubulcus ibis), black-crowned night-heron (Nycticorax nycticorax), cinnamon bittern (Ixobrychus cinnamomeus) and yellow bittern (I. sinensis). Based on conserved regions inside the P2/P8-derived sequences, we designed new PCR primers for sex identification in these ardeid species. Using agarose gel electrophoresis, the PCR products showed two bands for females (140 bp derived from CHD-W and the other 250 bp from CHD-ZW), whereas the males showed only the 250 bp band. The results indicated that our new primers could be used for accurate and convenient sex identification in ardeid species.National Natural Science Foundation of China[30970380, 40876077]; Fujian Natural Science Foundation of China[2008S0007, 2009J01195

Running GAGs: myxoid matrix in tumor pathology revisited: What’s in it for the pathologist?

Ever since Virchow introduced the entity myxoma, abundant myxoid extracellular matrix (ECM) has been recognized in various reactive and neoplastic lesions. Nowadays, the term “myxoid” is commonly used in daily pathological practice. But what do today’s pathologists mean by it, and what does the myxoid ECM tell the pathologist? What is known about the exact composition and function of the myxoid ECM 150 years after Virchow? Here, we give an overview of the composition and constituents of the myxoid ECM as known so far and demonstrate the heterogeneity of the myxoid ECM among different tumors. We discuss the possible role of the predominant constituents of the myxoid ECM and attempt to relate them to differences in clinical behavior. Finally, we will speculate on the potential relevance of this knowledge in daily pathological practice