Thesis (Ph.D. (MW))--North-West University, Potchefstroom Campus, 2006.

Thesis (Ph.D. (Social Work))--North-West University, Potchefstroom Campus, 2006.

<p>This mini-thesis attempts to explain the Information and Communications Technology (ICT) infrastructure in public schools in the Western Cape. The mini-thesis uses the case study as research design to explore aspects such as the motivation for using ICT, funding models, infrastructure models, ICT curriculum integration and teacher development. In order to gather data on the above, interviews and observations are used as research tools. The study begins with the exploration of the history of ICT infrastructure in South African schools and subsequently an international perspective is added through the literature review. Officials and teachers of the Western Cape Education Department (WCED) were interviewed to obtain their perspectives and a school was visited to observe procured ICT infrastructure. The results revealed that the WCED is using the Khanya project to deliver an ICT infrastructure to schools and to provide facilitation in the integration of ICT into the curriculum. It further showed that due to the rapid change in technology, Khanya had to adapt the hardware configuration on a regular basis and that this put considerable strain on and already small budget for ICT. The challenge that emerged is the lack of adequate ICT training for teachers. This could potentially hamper the integration of ICT and if not addressed, could serious hamper the WCED in its quest to deliver a technology based curriculum. The study concludes with conclusions drawn for the data as well as recommendations for effective ICT integration.</p>

The purpose of this study is to determine the scientific and technological, economic, social and organizational impacts of the European Framework Programmes (FPs) on Turkish universities by focusing on the projects in Information and Communication Technologies (ICT), Energy, Food, Agriculture and Fisheries and Biotechnology (KBBE) themes in order to understand, monitor and evaluate outcomes and impacts of FPs as well as to help decision makers and policy makers to develop strategies for maximizing benefits of participation. Data/document review and survey methods were used as evaluation methods. T&Uuml / BITAK and EC&rsquo / s data and document were reviewed. An online survey was sent to the academicians who have Seventh Framework Projects (FP7) projects in these themes in Turkey. Data that were gathered by survey were analyzed by using Mann-Whitney U Test Method. We concluded that the impacts of these four categories of FP7 projects were high on the universities. Value additions of scientific and technological impacts are relatively high compared to other impacts. Universities whose roles were coordinator or WP leader have higher impacts in all factors. Turkey&#039 / s participation and success in the FP7 are growing thanks to T&Uuml / BITAK&rsquo / s effort, but further efforts are needed for meeting competitive participation within a defined strategy. Bearing in mind the results of the impact analyses, the study supports Turkey&rsquo / s continuity to forthcoming FPs but there is need for developing national strategies to maximize benefits of participation and to integrate the outcomes with the national innovation strategy.

This paper is a case study of a local labour market project. The aim of the study is to investigate the staff’s way of working with unemployed people, receiving social assistance, in order to reduce the payment of social assistance in four adjacent city districts of Stockholm. Other objectives of the study are to investigate which criteria the staff uses when selecting participants for the project, in which way the participants’ background affects the measures taken by the staff and how the staff experiences working as part of a project. A short summary of the social services development during the twentieth century and urban politics in the 1990’s in Sweden is used as a background for the local labour market project. The theories used deal with the social services strategies concerning unemployed receivers of social assistance, the participants’ background with particular emphasis on ethnicity and gender, project work and the special case of public projects. The study is based on interviews with four employees. Some of the conclusions are that the selection criteria are put up as criteria for not being selected as a participant and that the staff combines previously developed methods in order to reduce the payment of social assistance. The participants’ background is evaluated individually and the staff shows a certain reluctance to categorize the participants according to ethnicity and gender. The staff communicates an ambiguous image of working in a project by describing it partly as an inspiring challenge but also as involving some uncertainties regarding the terms of employment. / Uppsatsen är en fallstudie av ett kommunalt arbetsmarknadsprojekt och syftar till att undersöka hur personalen arbetar med arbetslösa socialbidragstagare för att minska socialbidragsuttaget i fyra närliggande stadsdelar i Stockholm. Syftet är därutöver att undersöka vilka kriterier personalen använder för urval av deltagare till projektet och hur deltagarnas bakgrund påverkar de åtgärder som personalen sätter in samt hur personalen uppfattar projektformen som arbetssätt. Det kommunala arbetsmarknadsprojektet förankras i socialtjänstens och storstadspolitikens historiska utveckling. De teoretiska utgångspunkterna tar fasta på socialtjänstens strategi gällande arbetslösa socialbidragstagare, deltagarnas etniska bakgrund och kön samt projekt som arbetsform och offentliga projekts speciella drag. I analysen används utsagor från djupintervjuer med fyra anställda. Några av slutsatserna är att urvalskriterierna formuleras som hinder för deltagande i projektet och att personalen kombinerar olika tidigare utvecklade metoder i sitt arbete för att minska socialbidragstagandet. Deltagarnas bakgrund bedöms individuellt och personalen visar en viss ovilja att kategorisera deltagarna efter etnicitet och kön. Personalen ger en ambivalent bild av projekt som arbetsform. Dels beskrivs arbetet i projektet som utmanande samtidigt som den tidsbegränsade projektanställningen upplevs som osäker.

This thesis analyzes EU&#039 / s education and training policy together with EU-Turkey relations and Turkey&#039 / s path in candidacy regarding the education and training policy. Treaty base of the European Union Education and Training Policy together with is chronological development and its institutions of ET policy, the benchmarks in education and training, strategic objectives and European Union and Education Youth Programmes will be discussed. Moreover, since Helsinki, Turkey&#039 / s legislative regulations and adaptations, institutional arrangement and changes, national and regional projects/campaign in line with the EU&#039 / s education objectives, programmes and funds benefitted will be examined with a case study, this thesis will be trace the impact of education and training action programmes on education in Turkey within the context of impact on personal and professional development, impact on institutional cooperation and capacity building.

This examination paper looks into the role of phonetics today in teaching French language to Swedish learners and analyzes the content of upper secondary schoolbooks with regards to phonetic elements. Starting from the statements that French is perceived by Swedish learners as a difficult language and that oral expression has grown in importance in modern language courses’ syllabus, it is believed here that phonetics should be of utmost importance when learning French. As far as language didactics is concerned, it is a fact that research on the subject is almost inexistent. Very little seems to be done to develop and use tools to address phonetics aspects of the language in teaching, especially in learning manuals, that is a hypothesis. The objective here was, therefore, to see whether this could be confirmed. The results show that it is partly the case. Finally, a discussion is raised about ineffectiveness of intuitive learning and all that phonetics has to offer in the teaching of French to Swedish learners.

Nous nous intéressons dans cette thèse au model-checking des systèmes infinis, notamment<br />les systèmes paramétrés et les programmes récursifs parallèles. Nous présen\-tons un cadre<br />uniforme pour la vérification algorithmique de ces systèmes. Ce cadre est basé sur la <br />représentation des ensembles de configurations par des automates de mots ou d'arbres, et la<br />représentation des relations de transition des systèmes par des règles de réécritures de mots<br />ou de termes. Le problème de la vérification est ensuite réduit au calcul des ensembles des<br />accessibles dans ce cadre. Les contributions de cette thèse sont les suivantes:<br /><br />1- Définition d'une technique d'accélération générale. Nous proposons une méthode basée sur <br />des techniques d'extrapolation sur les automates, et nous étudions la puissance de cette approche.<br />2- Techniques de model-checking régulier pour la vérification des réseaux paramétrés avec des <br />topologies linéaires et arborescentes. En particulier, nous considérons les réseaux modélisés <br />par des systèmes de réécriture comprenant des semi-commutations, c-à-d. des règles de la forme ab -> ba,<br />et nous exhibons une classe de langages qui est effectivement fermée par ces systèmes.<br />3- Modélisation et vérification des programmes récursifs parallèles. Dans un premier temps, <br />nous étudions les modèles PRS qui sont plus généraux que les systèmes à pile, les réseaux de Petri,<br />et les systèmes PA; et nous proposons des algorithmes qui calculent les ensembles des accessibles <br />de (sous-classes de) PRS en considérant différentes sémantiques. <br /><br />Dans une autre approche, nous considérons des modèles basés sur des automates à pile communicants<br />et des systèmes de réécritures à-la CCS, et nous proposons des méthodes de vérification de ces modèles<br />basées sur le calcul d'abstractions des langages des chemins d'exécutions. Nous proposons un cadre<br />algébrique générique permettant le calcul de ces abstractions.

Notre travail de thèse vise à étudier des utilisations réelles des TICE dans les classes par des enseignants, grâce à une méthodologie basée sur l'observation de séances ordinaires.<br />Nous partons du constat d'écart entre, d'une part, les potentialités des TICE soulignées par la recherche et la volonté institutionnelle d'insérer les TICE, et d'autre part, la réalité de la faible intégration de la technologie dans les classes. Nous considérons cet écart comme l'effet des contraintes d'utilisation des TICE mentionnée dans de nombreux travaux en didactique des mathématiques. L'hypothèse est que l'enseignant, qui prend la décision d'utiliser les TICE, est motivé par des potentialités de la technologie présentes dans ses représentations et qu'il effectue des choix ayant une certaine conscience des contraintes de leur utilisation. Nous cherchons à étudier des rapports entre ces potentialités et celles qui sont exprimées dans la recherche et les instructions officielles, et leur actualisation dans la pratique en classe. Nous nous intéressons plus spécifiquement aux usages de la géométrie dynamique dans des classes du collège (élèves de 12-15 ans), car les potentialités de la géométrie dynamique font l'objet de nombreux travaux et écrits, et les instructions officielles en France insistent sur leurs apports possibles à l'enseignement à ce niveau. <br />Dans la thèse, nous présentons l'analyse des séances illustrant deux types d'usages rencontrés chez trois enseignants. Dans le but de caractériser plus finement le fonctionnement de ces enseignants dans sa complexité, nous interprétons l'analyse des séances à l'aide d'un modèle théorique.

Nous nous intéressons ici à la génération de programmes certifiés<br />corrects par construction. Ces programmes sont obtenus en<br />extrayant l'information pertinente de preuves constructives réalisées<br />dans l'assistant de preuves Coq.<br /><br />Une telle traduction, ou "extraction", des preuves constructives<br />en programmes fonctionnels n'est pas nouvelle, elle correspond <br />à un isomorphisme bien connu sous le nom de Curry-Howard. Et<br />l'assistant Coq comporte depuis longtemps un tel outil d'extraction. <br />Mais l'outil précédent présentait d'importantes limitations. Certaines <br />preuves Coq étaient ainsi hors de son champ d'application, alors que <br />d'autres engendraient des programmes incorrects.<br /><br />Afin de résoudre ces limitations, nous avons effectué une refonte<br />complète de l'extraction dans Coq, tant du point de vue de la théorie<br />que de l'implantation. Au niveau théorique, cette refonte a entraîné<br />la réalisation de nouvelles preuves de correction de ce mécanisme<br />d'extraction, preuves à la fois complexes et originales. Concernant<br />l'implantation, nous nous sommes efforcés d'engendrer du code <br />extrait efficace et réaliste, pouvant en particulier être intégré dans des<br />développement logiciels de plus grande échelle, par le biais de<br />modules et d'interfaces.<br /><br />Enfin, nous présentons également plusieurs études de cas illustrant<br />les possibilités de notre nouvelle extraction. Nous décrivons ainsi la<br />certification d'une bibliothèque modulaire d'ensembles finis, et <br />l'obtention de programmes d'arithmétique réelle exacte à partir d'une <br />formalisation d'analyse réelle constructive. Même si des progrès <br />restent encore à obtenir, surtout dans ce dernier cas, ces exemples <br />mettent en évidence le chemin déjà parcouru.