A game theoretical approach to the algebraic counterpart of the Wagner hierarchy

La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.

A Learner-Centred Game-Design Approach: Impacts on teachers" creativity

This study presents an innovative pedagogical approach where teachers become game designers and engage in creative teaching practices. Within co-design training workshops, 21 Spanish primary and secondary school teachers have developed their own Game-Based Learning (GBL) scenarios, especially tailored to their teaching contexts and students profiles. In total, teachers developed 13 GBL scenarios and put them into practice in real teaching contexts. The present paper analyses the impacts of this learner-centred game design approach on teachers" creativity from three different points of view: the GBL design process, the GBL scenario, and the teaching processes at stake.

A Reappraisal of the Allocation Puzzle through the Portfolio Approach

Paradoxically, high-growth, high-investment developing countries tend to experience capital outflows. This paper shows that this allocation puzzle can be explained simply by introducing uninsurable idiosyncratic investment risk in the neoclassical growth model with international trade in bonds, and by taking into account not only TFP catch-up, but also the capital wedge, that is, the distortions on the return to capital. The model fits the two following facts, documented on a sample of 67 countries between 1980 and 2003: (i) TFP growth is positively correlated with capital outflows in a sample including creditor countries; (ii) the long-run level of capital per efficient unit of labor is positively correlated with capital outflows. Consistently, we show that the capital flows predicted by the model are positively correlated with the actual ones in this sample once the capital wedge is accounted for. The fact that Asia dominates global imbalances can be explained by its relatively low capital wedge.

Studying the non-thermal lobes of IRAS 16547-4247 through a multi-wavelength approach

In recent years, massive protostars have turned out to be a possible population of high-energy emitters. Among the best candidates is IRAS 16547-4247, a protostar that presents a powerful outflow with clear signatures of interaction with its environment. This source has been revealed to be a potential high-energy source because it displays non-thermal radio emission of synchrotron origin, which is evidence of relativistic particles. To improve our understanding of IRAS 16547-4247 as a high-energy source, we analyzed XMM-Newton archival data and found that IRAS 16547-4247 is a hard X-ray source. We discuss these results in the context of a refined one-zone model and previous radio observations. From our study we find that it may be difficult to explain the X-ray emission as non-thermal radiation coming from the interaction region, but it might be produced by thermal Bremsstrahlung (plus photo-electric absorption) by a fast shock at the jet end. In the high-energy range, the source might be detectable by the present generation of Cherenkov telescopes, and may eventually be detected by Fermi in the GeV range.

Soil quality assessment through a multi-approach analysis in soils of abandoned terraced land in NE Spain

The abandonment of agricultural land in mountainous areas has been an outstanding problem along the last century and has captured the attention of scientists, technicians and administrations, for the dramatic consequences sometimes occurred due to soil instability, steep slopes, rainfall regimes and wildfires. Hidromorfological and pedological alterations causing exceptional floods and accelerated erosion processes has therefore been studied, identifying the cause in the loss of landscape heterogeneity. Through the disappearance of agricultural works and drainage maintenance, slope stability has resulted severely affected. The mechanization of agriculture has caused the displacement of vines, olives and corks trees cultivation in terraced areas along the Mediterranean catchment towards more economically suitable areas. On the one hand, land use and management changes have implicated sociological changes as well, transforming areas inhabited by agricultural communities into deserted areas where the colonization of disorganized spontaneous vegetation has buried a valuable rural patrimony. On the other hand, lacking of planning and management of the abandoned areas has produced badlands and infertile soils due to wildfire and high erosion rates strongly degrading the whole ecosystems. In other cases, after land abandonment a process of soil regeneration has been recorded. Investigations have been conducted in a part of NE Spain where extended areas of terraced soils previously cultivated have been abandoned in the last century. The selected environments were semi-abandoned vineyards, semi-abandoned olive groves, abandoned stands of cork trees, abandoned stands of pine trees, scrubland of Cistaceaea, scrubland of Ericaceaea, and pasture. The research work was focused on the study of most relevant physical, chemical and biological soil properties, as well as runoff and erosion under soils with different plant cover to establish the abandonment effect on soil quality, due to the peculiarity and vulnerability of these soils with a much reduced depth. The period of observation was carried out from autumn 2009 to autumn 2010. The sediment concentration of soil erosion under vines was recorded as 34.52 g/l while under pasture it was 4.66 g/l. In addition, the soil under vines showed the least amount of organic matter, which was 12 times lower than all other soil environments. The carbon dioxide (CO2) and total glomalin (TG) ratio to soil organic carbon (SOC) in this soil was 0.11 and 0.31 respectively. However, the soil under pasture contained a higher amount of organic matter and showed that the CO2 and TG ratio to SOC was 0.02 and 0.11 respectively indicating that the soil under pasture better preserves the soil carbon pool. A similar trend was found in the intermediate soils in the sequence of land use change and abandonment. Soil structural stability increased in the two soil fractions investigated (0.25-2.00 mm, 2.0-5.6 mm) especially in those soils that did not undergo periodical perturbations like wildfires. Soil quality indexes were obtained by using relevant physical and chemical soil parameters. Factor analysis carried out to study the relationship between all soil parameters allowed to related variables and environments and identify those areas that better contribute to soil quality towards others that may need more attention to avoid further degradation processes

JXTA anonymity through a replicated message-based approach

JXTA is a mature set of open protocols, with morethan 10 years of history, that enable the creation and deployment of peer-to-peer (P2P) networks, allowing the execution of services in a distributed manner. Throughout its lifecycle, ithas slowly evolved in order to appeal a broad set of different applications. Part of this evolution includes providing basic security capabilities in its protocols in order to achieve some degree of message privacy and authentication. However, undersome contexts, more advanced security requirements should be met, such as anonymity. There are several methods to attain anonymity in generic P2P networks. In this paper, we proposehow to adapt a replicated message-based approach to JXTA, by taking advantage of its idiosyncracies and capabilities.

Critical elements underpinning the emergence of the medical game ecosystem: gamifying traumatic brain injury rehabilitation in Finland

The healthcare sector is currently in the verge of a reform and thus, the medical game research provide an interesting area of research. The aim of this study is to explore the critical elements underpinning the emergence of the medical game ecosystem with three sub-objectives: (1) to seek who are the key actors involved in the medical game ecosystem and identify their needs, (2) to scrutinise what types of resources are required in medical game development and what types of relationships are needed to secure those resources, and (3) to identify the existing institutions (‘the rules of the game’) affecting the emergence of the medical game ecosystem. The theoretical background consists of service ecosystems literature. The empirical study conducted is based on the semi-structured theme interviews of 25 experts in three relevant fields: games and technology, health and funding. The data was analysed through a theoretical framework that was designed based upon service ecosystems literature. The study proposes that the key actors are divided into five groups: medical game companies, customers, funders, regulatory parties and complementors. Their needs are linked to improving patient motivation and enhancing the healthcare processes resulting in lower costs. Several types of resources, especially skills and knowledge, are required to create a medical game. To gain access to those resources, medical game companies need to build complex networks of relationships. Proficiency in managing those value networks is crucial. In addition, the company should take into account the underlying institutions in the healthcare sector affecting the medical game ecosystem. Three crucial institutions were identified: validation, lack of innovation supporting structures in healthcare and the rising consumerisation. Based on the findings, medical games cannot be made in isolation. A developmental trajectory model of the emerging medical game ecosystem was created based on the empirical data. The relevancy of relationships and resources is dependent on the trajectory that the medical game company at that time resides. Furthermore, creating an official and documented database for clinically valdated medical games was proposed to establish the medical game market and ensure an adequate status for the effective medical games. Finally, ecosystems approach provides interesting future opportunities for research on medical game ecosystems.

Towards a better energy efficiency through a systems approach in an industrial forklift

The purpose of this study is to improve the potential energy recovery to electric energy in an electrohydraulic forklift system. The initial achieved result for energy saving ratio after structural optimization is 40 %. Component optimization is applied to the tested drive which consists of a DTC controlled electric servo motor directly running a reversible hydraulic pump. According to the study the energy efficiency and the energy recovery from the electro-hydraulic forklift system can be increased by 11 % units. New ideas and directions of further research were obtained during the study.

Critical elements underpinning the emergence of the medical game ecosystem:gamifying traumatic brain injury rehabilitation in Finland

The healthcare sector is currently in the verge of a reform and thus, the medical game research provide an interesting area of research. The aim of this study is to explore the critical elements underpinning the emergence of the medical game ecosystem with three sub-objectives: (1) to seek who are the key actors involved in the medical game ecosystem and identify their needs, (2) to scrutinise what types of resources are required in medical game development and what types of relationships are needed to secure those resources, and (3) to identify the existing institutions (‘the rules of the game’) affecting the emergence of the medical game ecosystem. The theoretical background consists of service ecosystems literature. The empirical study conducted is based on the semi-structured theme interviews of 25 experts in three relevant fields: games and technology, health and funding. The data was analysed through a theoretical framework that was designed based upon service ecosystems literature. The study proposes that the key actors are divided into five groups: medical game companies, customers, funders, regulatory parties and complementors. Their needs are linked to improving patient motivation and enhancing the healthcare processes resulting in lower costs. Several types of resources, especially skills and knowledge, are required to create a medical game. To gain access to those resources, medical game companies need to build complex networks of relationships. Proficiency in managing those value networks is crucial. In addition, the company should take into account the underlying institutions in the healthcare sector affecting the medical game ecosystem. Three crucial institutions were identified: validation, lack of innovation supporting structures in healthcare and the rising consumerisation. Based on the findings, medical games cannot be made in isolation. A developmental trajectory model of the emerging medical game ecosystem was created based on the empirical data. The relevancy of relationships and resources is dependent on the trajectory that the medical game company at that time resides. Furthermore, creating an official and documented database for clinically validated medical games was proposed to establish the medical game market and ensure an adequate status for the effective medical games. Finally, ecosystems approach provides interesting future opportunities for research on medical game ecosystems

Metal oxides prepared through the nanocasting approach-mechanistic study, surface interactions and applications in separation

Mesoporous metal oxides are nowadays widely used in various technological applications, for instance in catalysis, biomolecular separations and drug delivery. A popular technique used to synthesize mesoporous metal oxides is the nanocasting process. Mesoporous metal oxide replicas are obtained from the impregnation of a porous template with a metal oxide precursor followed by thermal treatment and removal of the template by etching in NaOH or HF solutions. In a similar manner to the traditional casting wherein the product inherits the features of the mold, the metal oxide replicas are supposed to have an inverse structure of the starting porous template. This is however not the case, as broken or deformed particles and other structural defects have all been experienced during nanocasting experiments. Although the nanocasting technique is widely used, not all the processing steps are well understood. Questions over the fidelity of replication and morphology control are yet to be adequately answered. This work therefore attempts to answer some of these questions by elucidating the nanocasting process, pin pointing the crucial steps involved and how to harness this knowledge in making wholesome replicas which are a true replication of the starting templates. The rich surface chemistry of mesoporous metal oxides is an important reason why they are widely used in applications such as catalysis, biomolecular separation, etc. At times the surface is modified or functionalized with organic species for stability or for a particular application. In this work, nanocast metal oxides (TiO2, ZrO2 and SnO2) and SiO2 were modified with amino-containing molecules using four different approaches, namely (a) covalent bonding of 3-aminopropyltriethoxysilane (APTES), (b) adsorption of 2-aminoethyl dihydrogen phosphate (AEDP), (c) surface polymerization of aziridine and (d) adsorption of poly(ethylenimine) (PEI) through electrostatic interactions. Afterwards, the hydrolytic stability of each functionalization was investigated at pH 2 and 10 by zeta potential measurements. The modifications were successful except for the AEDP approach which was unable to produce efficient amino-modification on any of the metal oxides used. The APTES, aziridine and PEI amino-modifications were fairly stable at pH 10 for all the metal oxides tested while only AZ and PEI modified-SnO2 were stable at pH 2 after 40 h. Furthermore, the functionalized metal oxides (SiO2, Mn2O3, ZrO2 and SnO2) were packed into columns for capillary liquid chromatography (CLC) and capillary electrochromatography (CEC). Among the functionalized metal oxides, aziridinefunctionalized SiO2, (SiO2-AZ) showed good chemical stability, and was the most useful packing material in both CLC and CEC. Lastly, nanocast metal oxides were synthesized for phosphopeptide enrichment which is a technique used to enrich phosphorylated proteins in biological samples prior to mass spectrometry analysis. By using the nanocasting technique to prepare the metal oxides, the surface area was controlled within a range of 42-75 m2/g thereby enabling an objective comparison of the metal oxides. The binding characteristics of these metal oxides were compared by using samples with different levels of complexity such as synthetic peptides and cell lysates. The results show that nanocast TiO2, ZrO2, Fe2O3 and In2O3 have comparable binding characteristics. Furthermore, In2O3 which is a novel material in phosphopeptide enrichment applications performed comparably with standard TiO2 which is the benchmark for such phosphopeptide enrichment procedures. The performance of the metal oxides was explained by ranking the metal oxides according to their isoelectric points and acidity. Overall, the clarification of the nanocasting process provided in this work will aid the synthesis of metal oxides with true fidelity of replication. Also, the different applications of the metal oxides based on their surface interactions and binding characteristics show the versatility of metal oxide materials. Some of these results can form the basis from which further applications and protocols can be developed.

Teaching sexual abuse prevention skills to two children with intellectual disabilities through game play

The current study examined the effectiveness of a sexual abuse prevention program developed locally for children with intellectual disabilities. The program package included a board game with informational storybooks that were designed to be used in a family setting. Additionally, this research sought to determine if parents could be effective at presenting the sexual abuse pr~vention materials to their children. A multiple baseline across behaviours design was used with two participants with a diagnosis of autism. Through role play scenarios as well as verbal knowledge tests, it was determined that the program was effective at teaching the participants the skills presented for self protection. It was also determined that the skills learned were generalized to scenarios that were untrained during the game play. Finally, with additional supports, it was determined that parents were able to effectively teach their children the required skills.

Developing Life Skills through Physical Activity: A Teaching Personal and Social Responsibility Model Approach

Ethnographic methods were used to study a weekly after-school physical activity program over an eight-month period. Based on Hellison’s Teaching Personal and Social Responsibility (TPSR) model, the program sought to foster positive life skills amongst youth. The study investigated how the developed program influenced this life skills education experience. Several themes were identified from the data revolving around culture, life skills, pedagogy, and lessons learned. Data suggests that the positive environment developed within the program positively influenced youths’ life skill education experience. The topic of ethnicity as it relates to the experience of marginalized youth in physical activity settings is also discussed. This study supports TPSR literature and suggests that effort to establish caring relationships and empower youth contribute to the establishment of a positive atmosphere where life skills education can occur. Beyond this, practical tools were developed through this study to help others deliver life skill education.

Approach to the Synthesis of Aza-Analogues of Narciclasine through an Intramolecular Heck Reaction

This thesis describes work towards the total synthesis of a 7-aza analogue of the Amaryllidaceae alkaloid narciclasine, a potent anticancer compound which suffers from a poor solubility profile. A key strategy in the formation of the C-ring is the biotransformation of bromobenzene by E.coli JM109. The densely substituted heterocyclic A-ring is obtained by sequential directed ortho-metalation and the fragment union accomplished with an amide coupling and subsequent intramolecular Heck reaction.

An Alternative Approach To Computer System Security Monitoring And Enhancement Through System Call Sequence Analysis

Modern computer systems are plagued with stability and security problems: applications lose data, web servers are hacked, and systems crash under heavy load. Many of these problems or anomalies arise from rare program behavior caused by attacks or errors. A substantial percentage of the web-based attacks are due to buffer overflows. Many methods have been devised to detect and prevent anomalous situations that arise from buffer overflows. The current state-of-art of anomaly detection systems is relatively primitive and mainly depend on static code checking to take care of buffer overflow attacks. For protection, Stack Guards and I-leap Guards are also used in wide varieties.This dissertation proposes an anomaly detection system, based on frequencies of system calls in the system call trace. System call traces represented as frequency sequences are profiled using sequence sets. A sequence set is identified by the starting sequence and frequencies of specific system calls. The deviations of the current input sequence from the corresponding normal profile in the frequency pattern of system calls is computed and expressed as an anomaly score. A simple Bayesian model is used for an accurate detection.Experimental results are reported which show that frequency of system calls represented using sequence sets, captures the normal behavior of programs under normal conditions of usage. This captured behavior allows the system to detect anomalies with a low rate of false positives. Data are presented which show that Bayesian Network on frequency variations responds effectively to induced buffer overflows. It can also help administrators to detect deviations in program flow introduced due to errors.