Thesis (Ph. D.)--University of Washington, 2004. / Vita. Includes bibliographical references (p. 106-117).

Thesis (Ph. D.)--University of Oregon, 2004. / Typescript. Includes vita and abstract. Includes bibliographical references (leaves 152-155). Also available for download via the World Wide Web; free to University of Oregon users.

Thesis (Ph.D.)--University of Nebraska-Lincoln, 2009. / Title from title screen (site viewed June 26, 2009). PDF text: v, 238 p. ; 2 Mb. UMI publication number: AAT 3350445. Includes bibliographical references. Also available in microfilm and microfiche formats.

Thesis (M.Oc.E.)--Oregon State University, 2011. / Printout. Includes bibliographical references (leaf 70). Also available on the World Wide Web.

Thesis (Doctoral)--Technische Universiteit Eindhoven, 1996. / Contains summaries in English and Dutch. Vita. Includes bibliographical references (p. 145-154).

Thesis (Ph. D.)--University of Wisconsin--Madison, 1970. / Typescript. Vita. eContent provider-neutral record in process. Description based on print version record. Includes bibliographical references.

Η παρούσα διπλωµατική εργασία ασχολείται με το θέμα των Αλγορίθμων Επίλυσης Προβληµάτων SAT. Η εργασία αυτή εκπονήθηκε στα πλαίσια του Εργαστηρίου Ενσύρµατης Επικοινωνίας του Τµήματος Ηλεκτρολόγων Μηχανικών και Τεχνολογίας Υπολογιστών της Πολυτεχνικής Σχολής του Πανεπιστηµίου Πατρών. Σκοπός της είναι η δημιουργία ενός Προσομοιωτή των αλγορίθμων αυτών, ο οποίος να μπορεί να προσπελαστεί από οποιονδήποτε μέσω του διαδικτύου. Αρχικά έγινε µία εισαγωγή στο αντικείμενο της Τεχνητής Νοημοσύνης και πιο συγκεκριµένα στην Προτασιακή Λογική, ενώ δόθηκε και το απαραίτητο υπόβαθρο για να κατανοηθεί το πρόβληµμα και οι τεχνικές λύσης του. Τέλος, επιλέχθηκε να γίνει η υλοποίηση του Προσωμοιωτή σε Java. / This diploma dissertation deals with SAT solvers, algorithms for the Boolean satisfiability problem. It was produced in the Wire Communications Laboratory of the Electrical and Computer Engineering Department of the University of Patras. Its aim is to create a simulator for these algorithms, accessible to anyone via the Internet. An introduction to the field of Artificial Intelligence and more specifically to Propositional Calculus was given as well as the necessary groundwork to understand the problem and its solution approaches. The simulation implementation was developed in Java

Orientador: Marcelo de Carvalho Borba / Banca: Jonei Cerqueira Barbosa / Banca: Otávio Roberto Jacobini / Resumo: Nesta pesquisa, investiguei como os alunos utilizam as Tecnologias da Informação e Comunicação (TIC) nos Projetos de Modelagem Matemática. A pesquisa foi desenvolvida com alunos do primeiro ano do curso de Ciências Biológicas da Unesp, campus de Rio Claro, na disciplina Matemática Aplicada. O professor convidou os alunos para que, reunidos em grupos, investigassem um tema qualquer do cotidiano, escolhido por eles. Os dados foram coletados por meio da observação de aulas da disciplina e das reuniões em horário extra, das entrevistas com os grupos dos Projetos de Modelagem e dos documentos produzidos pelos alunos. Estabeleci esses procedimentos de pesquisa pois considero que estão em harmonia com a visão de conhecimento sintetizada pelo construto teórico do coletivo Seres-Humanos-com- Mídias, evidenciando o papel das TIC na produção de conhecimentos. A análise de dados aponta que os alunos utilizaram a Internet para realizar parte das suas pesquisas, com uma seleção, a priori, de sites, os quais, identifiquei como sendo, para eles, sites oficiais. Os estudantes também utilizaram softwares gráficos para realizar simulações, que nomeei como sendo positivas, negativas e nebulosas, possibilitando previsões para o passado e para o futuro. Também fiz um exercício inicial de reflexão sobre o uso do email feito pelos alunos, para que possibilitasse a discussão do trabalho e a produção do relatório escrito. Esses temas de análise possibilitaram engendrar possíveis aspectos sobre a combinação das perspectivas reorganização e a cidadania (relativas ao uso das TIC na Educação Matemática) com a perspectiva dos Projetos de Modelagem. Com isso, esta pesquisa gera novas reflexões para a área, compondo parte do Mosaico de pesquisas em Modelagem. / Abstract: In this study, I investigated how students use Information and Communication Technologies (ICT) in Mathematical Modeling Projects. The research was developed with first-year Biology majors at Unesp, Rio Claro campus, participating in an Applied Mathematics course. The professor invited the students to form groups and choose any theme from their everyday lives to investigate in the class. The data were collected by means of: in-class observations as well as observations of meetings held outside of class; interviews with the Modeling Project groups; and analysis of the documents they produced. I established these research procedures because I considered them to be in harmony with the view of knowledge synthesized in the theoretical construct of the Humans-with-Media collective, providing evidence of the role of ICT in the production of knowledge. Data analysis indicated that students used the Internet to carry out part of their research, with an a priori selection of the sites, which I identified as being official sites for them. The students also used graphing software to conduct simulations, which I characterized as positive, negative, or nebulous, making possible predictions positive and negative. I also did an initial reflective exercise about students' use of e-mail to facilitate discussion of the work and production of the written report. These analytic themes made it possible to identify possible aspects of the combination of the perspectives of reorganization and citizenship (related to the use of ICT in Mathematics Education) with the perspective of modeling projects. The study generates new reflections for this field of study, composing part of the mosaic of research on Modeling. / Mestre

Capes / A partir dos teoremas encontrados na publicação Geometriae Pars Universalis de 1668 são apresentadas, pela primeira vez em português, as demonstrações dos teoremas de Pappus para os sólidos de revolução. Essa publicação, escrita originalmente em latim, foi feita pelo matemático escocês James Gregory (1638-1675) e é anterior ao desenvolvimento do Cálculo. Além disso, alguns conceitos de Cálculo e de centro de gravidade são revistos a fim de também apresentarumademonstraçãodessesteoremasapartirdessasferramentas. Ainda são feitas algumas aplicações dos teoremas de Pappus para os casos diretos, onde o eixo de rotação ou revolução é representado por um dos eixos coordenados ou ainda, por uma reta paralela a eles. Também são mostrados casos onde o eixo de rotação é dado por uma reta inclinada no plano cartesiano, deixando claro a abrangência, eficiência e a relativa simplicidade de aplicação desses teoremas. / From the theorems found in the publication Geometriae Pars Universalisof 1668 are presented, for the first time in portuguese, the proof of Pappus’s theorems for solids of revolution. This publication , originally written in latin, is due to the scottish mathematician James Gregory (1638-1675) and is prior to the development of Calculus. Furthermore some concepts of Calculus and center of gravity are also revised to present a proof of these theorems from these tools. Some direct cases for Pappus’s theorems are presented, where the axis of rotation or revolution is represented by one of the coordinate axes or by a straight line parallel to them. Also shown are cases where the axis of rotation is given by a straight tilted in the cartesian plane, showing the scope, efficiency and relative simplicity of applying these theorems.

Made available in DSpace on 2014-06-11T19:27:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-12-16Bitstream added on 2014-06-13T19:26:07Z : No. of bitstreams: 1 sousajunior_jra_me_rcla.pdf: 1174734 bytes, checksum: cbdf2669884098c54b72817cfc625edd (MD5) / Neste trabalho estudamos o problema da Braquistócrona de duas formas distintas: através da teoria do Cálculo Variacional para problemas com fronteiras xas e também através das considerações feitas por Johann Bernoulli, utilizando conceitos de Óptica e Geometria. Apresentamos também uma simulação computacional dos resultados obtidos / In this work we study the Brachistochrone Problem of two di erent ways; by theory of Variational Calculus for problems with xed boundary and by considerations of Johann Bernoulli, with concepts of Optics and Geometry. A computational simulation of the obtained results, is presented too