Dans ce présent travail, nous étudions la signification de l’abstrait et du concret dans la physique de Leibniz à l’époque de Mayence (1668–1672 mars). La question la plus profonde pour Leibniz est de savoir dans quelle condition le concept d’action est appliqué au corps. Sa recherche de la physique consiste en deux points : la recherche de la signification spécifique de la substantialité du corps ; celle de l’extension de l’usage de l’action – ce sont les sujets essentiels dans sa théologie –. Ainsi comprise, sa réflexion déployée dans la théorie abstraite montrent que les concepts principaux dans sa théorie du mouvement — la grandeur, la figure et le mouvement— sont analysés selon l’usage propre dans chaque contexte où ils apparaissent. Grâce à cette recherche, Leibniz reçoit le concept du conatus par Hobbes. Ces réflexions préparent le côté abstrait de sa physique. Au cours de ce processus, Leibniz s’intéresse également à la sensibilité de l’être humain. Ce sujet est relié à la fois à la recherche de la nature fondamentale de l’esprit humain et à la phénoménalité du monde corporel. Par cela, Leibniz ouvre la voie pour la recherche du phénomène sensible dans la physique qui constitue le côté concret de sa physique. Avec l'ensemble de ses recherches, Leibniz fonde ses deux premiers traités dans la physique qui se répartissent en une théorie abstraite et une théorie concrète. Pour les intégrer dans la physique, Leibniz emploie le concept d’oeconomia. Ceci montre que le jeune Leibniz cherche à établir une physique qui s’enracine dans sa métaphysique, mais qui est autonome en tant que science. / In this present work, we study the meaning of the abstract and the concrete in Leibniz's physics at the time of Mainz (1668–1672 March). Through his hylomorphism, Leibniz seeks to consider how to apply the concept of action to the body. In this perspective, his search for physics consists of two points: 1/ the search for the specific meaning of the substantiality of the body; 2/ the search for the extension of the use of action – these are essential subjects in his theology –. Thus understood, his reflection in the abstract theory show that the main concepts in his theory of motion - size, figure and movement - sont analysed according to the specific use in each context in which they appear. Thanks to this research, Leibniz receives the concept of the conatus by Hobbes. These reflections prepare the abstract side of his physics. During this process, Leibniz is also interested in the sensitivity of the human being. This subject is related both to the search for the fundamental nature of the human mind and to the phenomenality of the corporeal world. From there, Leibniz opened the way for the search for the sensitive phenomenon in physics, which constitutes the concrete side of his physics. With all this research, Leibniz founded his first two treatises in physics, which are divided into abstract theory and concrete theory. To integrate abstract and concrete into physics, Leibniz uses the concept of oeconomia. This shows that young Leibniz is seeking to establish physics, which is rooted in his metaphysics, but which is autonomous as a science.

Zusammenfassung der Autorin von Muzyka na dworze Augusta II w Warszawie, erschienen 1997 in Warszawa

The article gives a historical outline of the amateur and professional choral movement in Wielkopolska in the years 1870-1918, i.e. in the last period of the partition of Poland.

Spatial orientation of pigeons on a small scale was intensivelly studied in experiments using various types of arenas or mazes. In these experiments pigeons usually searched for food hidden in the goal area and they based their orientation on available landmarks. The development of new technologies allowed to test spatial cognition of pigeons also in virtual tasks, based exclusively on a schematic representation of an arena or maze on a touch screen. In experiments of this type pigeon marks the goal by pecking and it is rewarded by food from a feeder, located near the monitor. Study presented in this diploma thesis was based on combination of both types of spatial tasks. The information crucial for locating the goal was presented to pigeons on a computer screen in form of graphic stimuli, whereas the goal itself was formed by one of the 4 holes in corners of a transparent rectangular desk, standing in front of the monitor. Experiment with similar design was not yet published in the study of spatial cognition of pigeons. Two types of abstract graphic stimuli were tested. The first stimuli provided a spatial information about the location of a goal and had a form of small rectangular frame with a white spot in one of its corners. The frame represented the space of the response desk and the white spot...

An abstract is a reduced scholarly document crucial for relevant scientific articles and full text documents selection. Therefore abstracts should briefly and clearly represent the full text content. The aim of this research is to construct proper structure, which would be internationally as well as interdisciplinary applied, primarily within the European Union. The structure used in the research was supposed to be evaluated as the most suitable one by the experts. There were 2 material science journals (100 abstracts from each journal) selected. Those samples were analysed in freeware Weft QDA, designed for content analysis of text documents. Sample abstracts were based on the content analysis resulting data. The samples were evaluated by material science experts in the survey. The most common combination of categories in original abstracts were background, methodology and results. The repsonses of surveys pointed out, that the recommended abstract include all necessary information and exclude the redundant ones.

Studiens syfte är att undersöka lärares uppfattningar om, samt om och hur de utformar matematikundervisningens progression från, konkret till abstrakt. Detta har undersökts genom kvalitativa intervjuer med sex stycken F-3 lärare från tre olika skolor. Den data som har genererats från intervjuerna har analyserats ur ett pragmatiskt och sociokulturellt perspektiv. Resultatet visar på hur lärarna planerar och arbetar med konkreta och abstrakta strategier i sin undervisning. Studiens slutsats är att lärarna inte arbetar utifrån en tydlig progression från konkret till abstrakt. Däremot arbetar de aktivt för att skapa en varierad undervisning där konkreta och abstrakta strategier blandas i upplägget för att nå elever i deras inlärning. / The purpose of the study is to investigate teachers' perceptions of, and if and how they shape the progression of mathematics teaching from, concrete to abstract. This has been studied through qualitative interviews with six F-3 teachers from three different schools. The data generated from the interviews have been analyzed from a pragmatic and sociocultural perspective. The results show how teachers plan and work with concrete and abstract strategies in their teaching. The study concludes that the teachers do not work based on a clear progression from concrete to abstract. On the other hand, they work actively to create a varied teaching where concrete and abstract strategies are mixed in their education to develop students in their learning.

In this paper we introduce an algorithm for the creation of polyhedral approximations for objects represented as strongly connected sets of voxels in three-dimensional binary images. The algorithm generates the convex hull of a given object and modifies the hull afterwards by recursive repetitions of generating convex hulls of subsets of the given voxel set or subsets of the background voxels. The result of this method is a polyhedron which separates object voxels from background voxels. The objects processed by this algorithm and also the background voxel components inside the convex hull of the objects are restricted to have genus 0. The second aim of this paper is to present some improvements to our convex hull algorithm to reduce computation time.

Orientador: Lourdes de la Rosa Onuchic / Banca: Rosa Lúcia Sverzut Baroni / Banca: Henrique Lazari / Banca: Glen César Lemos / Banca: José Pedro Machado Ribeiro / Resumo: Este trabalho teve como principal objetivo investigar as contribuições que a Álgebra Abstrata Moderna (onde se trabalham as teorias de Grupos, Anéis e Corpos, dentre outras), ministrada como uma disciplina em cursos de Licenciatura em Matemática no Brasil, poderia dar à Formação Inicial de Professores de Matemática. Esta pesquisa teve caráter qualitativo e foi apoiada no Modelo Metodológico de Romberg-Onuchic. Visando alcançar esse objetivo, propusemos uma pesquisa de campo, desenvolvida em 2015, com uma turma do quinto período de Licenciatura em Matemática do Instituto Federal de Goiás (IFG). Para isso, elaboramos e implementamos um projeto de ensino com o propósito de levar os alunos dessa turma a construírem um conhecimento satisfatório de Álgebra Abstrata Moderna e mostrar a relação de seus conteúdos com os da Educação Básica. Para a construção desse conhecimento, fizemos uso da Metodologia de Ensino-Aprendizagem-Avaliação de Matemática através da Resolução de Problemas, figurada no campo da Educação Matemática e consolidada por diversas pesquisas como eficiente no processo de ensino, aprendizagem e avaliação de Matemática em diversos níveis - Fundamental, Médio e Superior. A correlação entre os conteúdos de Álgebra Abstrata Moderna e os da Educação Básica se deu através da proposição, aos estudantes da referida turma, de atividades extraclasse, que, sempre, em um momento posterior, eram discutidas, em sala de aula, por todos os integrantes desse processo: alunos, pesquis... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The main purpose of the present work was to investigate the contributions that Modern Abstract Algebra (which the theories of Groups, Rings and Fields, among others, are worked on), as a discipline in Degree courses in Mathematics in Brazil, might give to initial Teacher Education in Mathematics. The present research has a qualitative approach and it was grounded on the Methodological Model of Romberg-Onuchic. In order to achieve that goal, we proposed a field research, developed in 2015, involving a class of fifth semester students of Degree in Mathematics at Instituto Federal de Goiás (IFG). To that end, we elaborated and implemented a teaching project with the purpose of enabling that group of students to build satisfactory knowledge on Modern Abstract Algebra and showing the relationship of its contents to the ones of Elementary Education. In order to build such knowledge, we used the Methodology of Teaching-Learning-Evaluation in Mathematics through Problem Solving, found in the field of Mathematics Education and consolidated by several researches as effective in the process of Mathematics teaching, learning and evaluation in several levels - Elementary, Middle and Higher Education. The correlation between the contents of Modern Abstract Algebra and the ones of Elementary Education came about through the proposition to that group of students of extracurricular activities which were always discussed further in classroom by all people involved in that process: students, researcher and teacher. There were also two meetings with the only purpose of working, discussing and analysing this association - Modern Abstract Algebra and Elementary Education. The evidence-gathering was made through the researcher's observation during the project application, the materials produced by the students, the media (audio and video recordings of the meetings) and a diagnostic ... (Complete abstract electronic access below) / Doutor

No description available.

Today, a plethora of parallel execution platforms are available. One platform in particular is the GPGPU – a massively parallel architecture designed for exploiting data parallelism. However, GPGPUS are notoriously difficult to program due to the way data is accessed and processed, and many interconnected factors affect the performance. This makes it an exceptionally challengingtask to write correct and high-performing applications for GPGPUS. This thesis project aims to address this problem by investigating how ForSyDe models – a software engineering methodology where applications are modeled at a very high level of abstraction – can be synthesized into CUDA C code for execution on NVIDIA CUDA-enabled graphics cards. The report proposes a software synthesis process which discovers one type of potential data parallelism in a model and generates either pure C or CUDA C code. A prototype of the software synthesis component has also been implemented and tested on models derived from two applications – a Mandelbrot generator and an industrial-scale image processor. The synthesized CUDA code produced in the tests was shown to be both correct and efficient, provided there was enough computation complexity in the processes to amortize the overhead cost of using the GPGPU.