Multi-Prover and parallel repetition in non-classical interactive games

Depuis l’introduction de la mécanique quantique, plusieurs mystères de la nature ont trouvé leurs explications. De plus en plus, les concepts de la mécanique quantique se sont entremêlés avec d’autres de la théorie de la complexité du calcul. De nouvelles idées et solutions ont été découvertes et élaborées dans le but de résoudre ces problèmes informatiques. En particulier, la mécanique quantique a secoué plusieurs preuves de sécurité de protocoles classiques. Dans ce m´emoire, nous faisons un étalage de résultats récents de l’implication de la mécanique quantique sur la complexité du calcul, et cela plus précisément dans le cas de classes avec interaction. Nous présentons ces travaux de recherches avec la nomenclature des jeux à information imparfaite avec coopération. Nous exposons les différences entre les théories classiques, quantiques et non-signalantes et les démontrons par l’exemple du jeu à cycle impair. Nous centralisons notre attention autour de deux grands thèmes : l’effet sur un jeu de l’ajout de joueurs et de la répétition parallèle. Nous observons que l’effet de ces modifications a des conséquences très différentes en fonction de la théorie physique considérée.

O jogo e o desenvolvimento do raciocínio matemático na educação pré-escolar e no ensino do 1.º ciclo do ensino básico

Mestrado (PES II), Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico, 13 de Fevereiro de 2015, Universidade dos Açores.

Estimating quantum chromatic numbers

We develop further the new versions of quantum chromatic numbers of graphs introduced by the first and fourth authors. We prove that the problem of computation of the commuting quantum chromatic number of a graph is solvable by an SDP algorithm and describe an hierarchy of variants of the commuting quantum chromatic number which converge to it. We introduce the tracial rank of a graph, a parameter that gives a lower bound for the commuting quantum chromatic number and parallels the projective rank, and prove that it is multiplicative. We describe the tracial rank, the projective rank and the fractional chromatic numbers in a unified manner that clarifies their connection with the commuting quantum chromatic number, the quantum chromatic number and the classical chromatic number, respectively. Finally, we present a new SDP algorithm that yields a parameter larger than the Lovász number and is yet a lower bound for the tracial rank of the graph. We determine the precise value of the tracial rank of an odd cycle.

The Importance of Using Games to Teach English in the 3rd Cycle

The title of this thesis is “The importance of using games to teach English in the 3rd Cycle”. I choose this topic because I think that games are important in the process of learning and because in my opinion not only students but people in general are more motivated to learn when they are having fun or when they are doing something that is interesting. Some authors argue that games stimulate learners to practise, to activate and extend their English vocabulary, and that most students feel more motivated to learn and learn more easily when they are having fun. Games make demands on learners’ intelligence and imagination and calls for active participation. That is exactly what 3rd Cycle students and teachers need in order to have success in their studies and work respectively. The 3rd Cycle students have covered the majority of the grammar and functions contents of the English curriculum in the previous Cycles (the 1st and 2nd Cycle) and in the 3rd Cycle the students need most of their time to put into practice what they have learned before. Games are an effective method to put in practice what they have learned before and also through games they have several contexts and different situations to explore in order to show their knowledge or their vocabulary. The 3rd Cycle students need methods that motivate them to learn and to participate in class and since they already study a specific language function. If the teacher uses an enjoyable method like games students will not get bored and they will be more motivate to participate in class.

3,5-cycle decompositions

For all odd integers n and all non-negative integers r and s satisfying 3r + 5s = n(n -1)/2 it is shown that the edge set of the complete graph on n vertices can be partitioned into r 3-cycles and s 5-cycles. For all even integers n and all non-negative integers r and s satisfying 3r + 5s = n(n-2)/2 it is shown that the edge set of the complete graph on n vertices with a 1-factor removed can be partitioned into r 3-cycles and s 5-cycles. (C) 1998 John Wiley & Sons, Inc.

(m,n)-cycle systems

We describe a method which, in certain circumstances, may be used to prove that the well-known necessary conditions for partitioning the edge set of the complete graph on an odd number of vertices (or the complete graph on an even number of vertices with a 1-factor removed) into cycles of lengths m(1),m(2),...,m(t) are sufficient in the case \{m(1), m(2), ..., m(t)}\=2. The method is used to settle the case where the cycle lengths are 4 and 5. (C) 1998 Elsevier Science B.V. All rights reserved.

Games in Education and Process Development

The aim of the thesis is to devise a framework for analyzing simulation games, in particular introductory supply chain simulation games which are used in education and process development. The framework is then applied to three case examples which are introductory supply chain simulation games used at Lappeenranta University of Technology. The theoretical part of the thesis studies simulation games in the context of education and training as well as of process management. Simulation games can be seen as learning processes which comprise of briefing, micro cycle, and debriefing which includes observation and reflection as well as conceptualization. The micro cycle, i.e. the game itself, is defined through elements and characteristics. Both briefing and debriefing ought to support the micro cycle. The whole learning process needs to support learning objectives of the simulation game. Based on the analysis of the case simulation games, suggestions on how to boost the debriefing and promote long term effects of the games are made. In addition, a framework is suggested to be used in designing simulation games and characteristics of introductory supply chain simulation games are defined. They are designed for general purposes, are simple and operated manually, are multifunctional interplays, and last about 2.5 4 hours. Participants co operate during a game run and competition arises between different runs or game sessions.

Learning through role-playing games: an approach for active learning and teaching

This study evaluates the use of role-playing games (RPGs) as a methodological approach for teaching cellular biology, assessing student satisfaction, learning outcomes, and retention of acquired knowledge. First-year undergraduate medical students at two Brazilian public universities attended either an RPG-based class (RPG group) or a lecture (lecture-based group) on topics related to cellular biology. Pre- and post-RPG-based class questionnaires were compared to scores in regular exams and in an unannounced test one year later to assess students' attitudes and learning. From the 230 students that attended the RPG classes, 78.4% responded that the RPG-based classes were an effective tool for learning; 55.4% thought that such classes were better than lectures but did not replace them; and 81% responded that they would use this method. The lecture-based group achieved a higher grade in 1 of 14 regular exam questions. In the medium-term evaluation (one year later), the RPG group scored higher in 2 of 12 questions. RPG classes are thus quantitatively as effective as formal lectures, are well accepted by students, and may serve as educational tools, giving students the chance to learn actively and potentially retain the acquired knowledge more efficiently.

Viable Health Games: Elements for Success

The main purpose of this study is to identify the elements of children's health games that have a positive impact on children’s health. The investigation is done by evaluating previous health game studies concentrating on children and five health affairs (such as asthma, cancer, diabetes, nutrition and obesity). In order to do so, firstly the topic of children’s health games is explained through its roots, as it is an interdisciplinary topic pertinent with many other fields. For this reason, the topics regarding the children’s health games as games, video games, children’s gameplay, and serious games along with health, relevant health affairs, and health promotion were covered. Secondly, the meta-study was conducted with the 56 articles on children’s health games. These 56 articles were analyzed with the coding technique defined by Charmaz’s Grounded Theory Method (Charmaz, 2006) for finding out which elements of children’s health games have a positive impact on children’s health promotion. The main result suggests that, although there are 24 different elements found and listed which all positive in their nature, their positive impact is a matter of how they are used or implemented through the consumption cycle of children’s health games and how all these elements interact with each other. In addition to this, a pragmatic proposal is formulated for possibly better or more successful health games. The study concludes with the declaration of the limitations encountered through the research and the recommendations for future research.

Viable Health Games: Elements for Success

The main purpose of this study is to identify the elements of children's health games that have a positive impact on children’s health. The investigation is done by evaluating previous health game studies concentrating on children and five health affairs (such as asthma, cancer, diabetes, nutrition and obesity). In order to do so, firstly the topic of children’s health games is explained through its roots, as it is an interdisciplinary topic pertinent with many other fields. For this reason, the topics regarding the children’s health games as games, video games, children’s gameplay, and serious games along with health, relevant health affairs, and health promotion were covered. Secondly, the meta-study was conducted with the 56 articles on children’s health games. These 56 articles were analyzed with the coding technique defined by Charmaz’s Grounded Theory Method (Charmaz, 2006) for finding out which elements of children’s health games have a positive impact on children’s health promotion. The main result suggests that, although there are 24 different elements found and listed which all positive in their nature, their positive impact is a matter of how they are used or implemented through the consumption cycle of children’s health games and how all these elements interact with each other. In addition to this, a pragmatic proposal is formulated for possibly better or more successful health games. The study concludes with the declaration of the limitations encountered through the research and the recommendations for future research.

The heliospheric Hale cycle over the last 300 years and its implications for a “lost” late 18th century solar cycle

A Hale cycle, one complete magnetic cycle of the Sun, spans two complete Schwabe cycles (also referred to as sunspot and, more generally, solar cycles). The approximately 22-year Hale cycle is seen in magnetic polarities of both sunspots and polar fields, as well as in the intensity of galactic cosmic rays reaching Earth, with odd- and even-numbered solar cycles displaying qualitatively different waveforms. Correct numbering of solar cycles also underpins empirical cycle-to-cycle relations which are used as first-order tests of stellar dynamo models. There has been much debate about whether the unusually long solar cycle 4 (SC4), spanning- 1784–1799, was actually two shorter solar cycles combined as a result of poor data coverage in the original Wolf sunspot number record. Indeed, the group sunspot number does show a small increase around 1794–1799 and there is evidence of an increase in the mean latitude of sunspots at this time, suggesting the existence of a cycle ‘‘4b’’. In this study, we use cosmogenic radionuclide data and associated reconstructions of the heliospheric magnetic field (HMF) to show that the Hale cycle has persisted over the last 300 years and that data prior to 1800 are more consistent with cycle 4 being a single long cycle (the ‘‘no SC4b’’ scenario). We also investigate the effect of cycle 4b on the HMF using an open solar flux (OSF) continuity model, in which the OSF source term is related to sunspot number and the OSF loss term is determined by the heliospheric current sheet tilt, assumed to be a simple function of solar cycle phase. The results are surprising; Without SC4b, the HMF shows two distinct peaks in the 1784–1799 interval, while the addition of SC4b removes the secondary peak, as the OSF loss term acts in opposition to the later rise in sunspot number. The timing and magnitude of the main SC4 HMF peak is also significantly changed by the addition of SC4b. These results are compared with the cosmogenic isotope reconstructions of HMF and historical aurora records. These data marginally favour the existence of SC4b (the ‘‘SC4b’’ scenario), though the result is less certain than that based on the persistence of the Hale cycle. Thus while the current uncertainties in the observations preclude any definitive conclusions, the data favour the ‘‘no SC4b’’ scenario. Future improvements to cosmogenic isotope reconstructions of the HMF, through either improved modelling or additional ice cores from well-separated geographic locations, may enable questions of the existence of SC4b and the phase of Hale cycle prior to the Maunder minimum to be settled conclusively.

The extended metamorphosis of a complete bipartite design into a cycle system

A K-t,K-t-design of order n is an edge-disjoint decomposition of K-n into copies of K-t,K-t. When t is odd, an extended metamorphosis of a K-t,K-t-design of order n into a 2t-cycle system of order n is obtained by taking (t - 1)/2 edge-disjoint cycles of length 2t from each K-t,K-t block, and rearranging all the remaining 1-factors in each K-t,K-t block into further 2t-cycles. The 'extended' refers to the fact that as many subgraphs isomorphic to a 2t-cycle as possible are removed from each K-t,K-t block, rather than merely one subgraph. In this paper an extended metamorphosis of a K-t,K-t-design of order congruent to 1 (mod 4t(2)) into a 2t-cycle system of the same order is given for all odd t > 3. A metamorphosis of a 2-fold K-t,K-t-design of any order congruent to 1 (mod 4t(2)) into a 2t-cycle system of the same order is also given, for all odd t > 3. (The case t = 3 appeared in Ars Combin. 64 (2002) 65-80.) When t is even, the graph K-t,K-t is easily seen to contain t/2 edge-disjoint cycles of length 2t, and so the metamorphosis in that case is straightforward. (C) 2004 Elsevier B.V. All rights reserved.

Data on the biogeochemical cycle of methane in the ocean

Geological, mineralogical and microbiological aspects of the methane cycle in water and sediments of different areas in the oceans are under consideration in the monograph. Original and published estimations of formation- and oxidation rates of methane with use of radioisotope and isotopic methods are given. The role of aerobic and anaerobic microbial oxidation of methane in production of organic matter and in formation of authigenic carbonates is considered. Particular attention is paid to processes of methane transformation in areas of its intensive input to the water column from deep-sea hydrothermal sources, mud volcanoes, and cold methane seeps.

Interplay Between Cell Growth And Cell Cycle In Plants.

The growth of organs and whole plants depends on both cell growth and cell-cycle progression, but the interaction between both processes is poorly understood. In plants, the balance between growth and cell-cycle progression requires coordinated regulation of four different processes: macromolecular synthesis (cytoplasmic growth), turgor-driven cell-wall extension, mitotic cycle, and endocycle. Potential feedbacks between these processes include a cell-size checkpoint operating before DNA synthesis and a link between DNA contents and maximum cell size. In addition, key intercellular signals and growth regulatory genes appear to target at the same time cell-cycle and cell-growth functions. For example, auxin, gibberellin, and brassinosteroid all have parallel links to cell-cycle progression (through S-phase Cyclin D-CDK and the anaphase-promoting complex) and cell-wall functions (through cell-wall extensibility or microtubule dynamics). Another intercellular signal mediated by microtubule dynamics is the mechanical stress caused by growth of interconnected cells. Superimposed on developmental controls, sugar signalling through the TOR pathway has recently emerged as a central control point linking cytoplasmic growth, cell-cycle and cell-wall functions. Recent progress in quantitative imaging and computational modelling will facilitate analysis of the multiple interconnections between plant cell growth and cell cycle and ultimately will be required for the predictive manipulation of plant growth.

Screening The Life Cycle Of Schistosoma Mansoni Using High-resolution Mass Spectrometry.

Schistosomiasis is a common tropical disease caused by Schistosoma species Schistosomiasis' pathogenesis is known to vary according to the worms' strain. Moreover, high parasitical virulence is directly related to eggs release and granulomatous inflammation in the host's organs. This virulence might be influenced by different classes of molecules, such as lipids. Therefore, better understanding of the metabolic profile of these organisms is necessary, especially for an increased potential of unraveling strain virulence mechanisms and resistance to existing treatments. In this report, direct-infusion electrospray high-resolution mass spectrometry (ESI(+)-HRMS) along with the lipidomic platform were employed to rapidly characterize and differentiate two Brazilian S. mansoni strains (BH and SE) in three stages of their life cycle: eggs, miracidia and cercariae, with samples from experimental animals (Swiss/SPF mice). Furthermore, urine samples of the infected and uninfected mice were analyzed to assess the possibility of direct diagnosis. All samples were differentiated using multivariate data analysis, PCA, which helped electing markers from distinct lipid classes; phospholipids, diacylglycerols and triacylglycerols, for example, clearly presented different intensities in some stages and strains, as well as in urine samples. This indicates that biochemical characterization of S. mansoni may help narrowing-down the investigation of new therapeutic targets according to strain composition and aggressiveness of disease. Interestingly, lipid profile of infected mice urine varies when compared to control samples, indicating that direct diagnosis of schistosomiasis from urine may be feasible.