The Inner Corona Algebra of a C0(X)-Algebra

Date of Acceptance: 15/07/2015

The Inner Corona Algebra of a C0(X)-Algebra

Date of Acceptance: 15/07/2015

Logique du probable et épistémologie théologique dans les Essais de théodicée de Leibniz

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Processus de Poisson généralisé autorégressif d'ordre 1

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Processus de Poisson généralisé autorégressif d'ordre 1

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Begreppens roll vid inlärning av algebra : En litteraturstudie om den roll begrepp och begreppsförmåga spelar vid inlärning av algebra för elever i årskurs 4-6

Svenska elever har presterat dåligt i internationella undersökningar en längre tid när det gäller algebraområdet i matematik. Elevernas begreppsförståelse har pekats ut som en faktor som spelar in i de dåliga resultaten för svenska elever del. Syftet med denna studie har därför varit att ta reda på den roll som begrepp och begreppsförmåga spelar vid inlärning av algebra samt vilken begreppsförståelse elever i årskurs 4-6 har. Genom en systematisk litteraturstudie har frågeställningarna besvarats. Resultaten visar att brister i begreppsförståelse i algebra också leder till brister i kunskap i algebra. Undervisning med fokus på begrepp leder till bättre förståelse för begrepp samtidigt som det även leder till procedurell kunskap. Elever i årskurs 4-6 kan hantera variabler och använda dem i matematiska uttryck. Fördelar med en tidig introduktion av variabelbegreppet är att elever bygger en bättre förståelse för begreppet.

Begreppens roll vid inlärning av algebra : En litteraturstudie om den roll begrepp och begreppsförmåga spelar vid inlärning av algebra för elever i årskurs 4-6

Svenska elever har presterat dåligt i internationella undersökningar en längre tid när det gäller algebraområdet i matematik. Elevernas begreppsförståelse har pekats ut som en faktor som spelar in i de dåliga resultaten för svenska elever del. Syftet med denna studie har därför varit att ta reda på den roll som begrepp och begreppsförmåga spelar vid inlärning av algebra samt vilken begreppsförståelse elever i årskurs 4-6 har. Genom en systematisk litteraturstudie har frågeställningarna besvarats. Resultaten visar att brister i begreppsförståelse i algebra också leder till brister i kunskap i algebra. Undervisning med fokus på begrepp leder till bättre förståelse för begrepp samtidigt som det även leder till procedurell kunskap. Elever i årskurs 4-6 kan hantera variabler och använda dem i matematiska uttryck. Fördelar med en tidig introduktion av variabelbegreppet är att elever bygger en bättre förståelse för begreppet.

Der Umgang mit Forschungsdaten an der Leibniz Universität Hannover. Auswertung einer Umfrage und ergänzender Interviews 2015/16

Im Kontext des Projekts „Entwicklung eines institutionellen Konzepts zum Forschungsdatenmanagement an der Leibniz Universität Hannover“ wurden 2015/16 eine universitätsinterne Online-Umfrage und ergänzende Interviews durchgeführt. Deren Ergebnisse ermöglichen einen Einblick in den derzeitigen Umgang mit Forschungsdaten und eine Abschätzung des Bedarfs an Beratung, Schulung und technischer Infrastruktur seitens des wissenschaftlichen Personals. In diesem Bericht werden die Daten präsentiert und ausgewertet.

Computer-aided tool for the teaching of relational algebra in data base courses

This article describes the design and implementation of computer-aided tool called Relational Algebra Translator (RAT) in data base courses, for the teaching of relational algebra. There was a problem when introducing the relational algebra topic in the course EIF 211 Design and Implementation of Databases, which belongs to the career of Engineering in Information Systems of the National University of Costa Rica, because students attending this course were lacking profound mathematical knowledge, which led to a learning problem, being this an important subject to understand what the data bases search and request do RAT comes along to enhance the teaching-learning process.It introduces the architectural and design principles required for its implementation, such as: the language symbol table, the gramatical rules and the basic algorithms that RAT uses to translate from relational algebra to SQL language. This tool has been used for one periods and has demonstrated to be effective in the learning-teaching process.  This urged investigators to publish it in the web site: www.slinfo.una.ac.cr in order for this tool to be used in other university courses.

Ergebnisbericht der Befragung von Teilnehmenden des Gasthörenden‐ und Seniorenstudiums (GHS) sowie von Regelstudierenden der Leibniz Universität Hannover zum Thema „Bildung im Alter“

Bericht über eine Fragebogenerhebung bei Seniorstudierenden und regulär Studierenden an den Universitäten Magdeburg und Hannover im Sommersemester 2014. Darstellung und Interpretation der Ergebnisse vor dem Hintergrund aktueller Studien und Literatur zum Thema Bildung im Alter.

A case study of a district's intended and unintended results connected to the implementation of a required ninth-grade algebra 1 strategic initiative

There is a long history of debate around mathematics standards, reform efforts, and accountability. This research identified ways that national expectations and context drive local implementation of mathematics reform efforts and identified the external and internal factors that impact teachers’ acceptance or resistance to policy implementation at the local level. This research also adds to the body of knowledge about acceptance and resistance to policy implementation efforts. This case study involved the analysis of documents to provide a chronological perspective, assess the current state of the District’s mathematics reform, and determine the District’s readiness to implement the Common Core Curriculum. The school system in question has continued to struggle with meeting the needs of all students in Algebra 1. Therefore, the results of this case study will be useful to the District’s leaders as they include the compilation and analysis of a decade’s worth of data specific to Algebra 1.

Inductive Theorem Proving and Computer Algebra in the Mathweb Software Bus

Reasoning systems have reached a high degree of maturity in the last decade. However, even the most successful systems are usually not general purpose problem solvers but are typically specialised on problems in a certain domain. The MathWeb SOftware Bus (Mathweb-SB) is a system for combining reasoning specialists via a common osftware bus. We described the integration of the lambda-clam systems, a reasoning specialist for proofs by induction, into the MathWeb-SB. Due to this integration, lambda-clam now offers its theorem proving expertise to other systems in the MathWeb-SB. On the other hand, lambda-clam can use the services of any reasoning specialist already integrated. We focus on the latter and describe first experimnents on proving theorems by induction using the computational power of the MAPLE system within lambda-clam.

Capture d'un Requin-Baleine, Rhineodon typus A. Smith, en Cohinchine: résumé de connaissances sur ce poisson

A description of a whale shark (Rhincodon typus) captured on June 1934 along the coast of Cap Ti Oan is given. The scientific name Rhincodon is not correct due to a typographic error. The name with greek origin, should be: Rhineodon typus.

Etude de la chaine de commercialisation du poisson: Lac Ntomba, section du fleuve Congo (Ngombe) et marchés de Mbandaka et Kinshasa

Cette étude a été réalisée par le WorldFish Center dans le cadre de sa collaboration avec le WWF et le projet CARPE de l’USAID. La chaîne de commercialisation du poisson a été suivie des zones de production jusqu’au principal marché final. La région au centre de cette étude est le lac Ntomba ainsi qu’une partie du fleuve Congo. Ceci correspond à la partie nord de la section du Paysage Lac Télé - Lac Tumba de la République Démocratique du Congo. Toutes les étapes de la chaîne de commercialisation du poisson ont été prises en compte dans cette étude. Les stratégies des acteurs présents à chaque étape ainsi que les dynamiques les associant à la chaîne ont été utilisées pour refléter le fonctionnement de la chaîne de commercialisation du poisson et identifier ses spécificités. La pêche est une activité saisonnière de grande importance dans la région du lac Ntomba et la partie proche du fleuve Congo. La majorité des habitants de la région constituent leurs moyens d’existence d’un panachage d’activités, dont la séquence semble être rythmée essentiellement par l’opportunité et le climat. Presque aucun service n’est offert dans cette région où les activités économiques sont réduites et n’ont le plus souvent qu’une faible productivité. Cependant, la chaîne de commercialisation du poisson supporte un large éventail d’acteurs différents et représente un secteur d’une grande importance pour la région. Cette région périphérique est reliée au reste de l’économie nationale par une série de marchés et de nombreux différents types d’acteurs. Assurer ce lien représente de sérieuses difficultés et comporte des risques importants tandis que les marges de profits sont le plus souvent minces. Cependant, il semblerait que, de manière générale, le marché se développe et les liens se renforcent, même si cette évolution est plus discrète dans les lieux les plus isolés.

Multiscale Schemes for the BGK--Vlasov--Poisson System in the Quasi-Neutral and Fluid Limits. Stability Analysis and First Order Schemes

This paper deals with the development and the analysis of asymptotically stable and consistent schemes in the joint quasi-neutral and fluid limits for the collisional Vlasov-Poisson system. In these limits, the classical explicit schemes suffer from time step restrictions due to the small plasma period and Knudsen number. To solve this problem, we propose a new scheme stable for choices of time steps independent from the small scales dynamics and with comparable computational cost with respect to standard explicit schemes. In addition, this scheme reduces automatically to consistent discretizations of the underlying asymptotic systems. In this first work on this subject, we propose a first order in time scheme and we perform a relative linear stability analysis to deal with such problems. The framework we propose permits to extend this approach to high order schemes in the next future. We finally show the capability of the method in dealing with small scales through numerical experiments.