Orientador: Antonio José Engler / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-24T22:18:49Z (GMT). No. of bitstreams: 1 Matos_FabioAlexandrede_D.pdf: 1117786 bytes, checksum: ce8cedb8cf95de8f81d4d520e2d308ad (MD5) Previous issue date: 2014 / Resumo: Apresentaremos neste trabalho um estudo sobre a aritmética corpos de característica distinta de 2 com um número finito de classes de quadrados. Dividido em duas partes, começaremos com um estudo do radical de Kaplansky de um corpo F e seu comportamento em 2-extensões de F. Na segunda parte introduziremos um novo objeto, as bases distinguidas, e exploraremos suas propriedades obtendo uma generalização do Teorema 90 de Hilbert, versão para o radical de Kaplansky, e propriedades cohomológicas de corpos que possuam base distinguida / Abstract: We will present in this work a study about the arithmetic of fields of characteristic different from 2 with a finite number of square class. Divided in two parts, we will start with a study of the Kaplansky¿s radical of a field F and its behavior in 2-extensions of F. In the second part will introduce a new object, the distinguished bases, and we will explore its properties obtaining a generalization of Hilbert¿s Theorem 90 for the Kaplansky's radical and cohomological properties of fields that own distinguished basis / Doutorado / Matematica / Doutor em Matemática

Orientador: Sandra Augusta Santos / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-25T19:53:49Z (GMT). No. of bitstreams: 1 Souza_MariliaFranceschinellide_M.pdf: 3298789 bytes, checksum: cd2737cf2f9747a3856c42aee3ac5d83 (MD5) Previous issue date: 2014 / Resumo: O currículo de Matemática do Ensino Médio está atualmente muito denso e quase não permite ao professor explorar outros trabalhos que fujam das aulas expositivas, nas quais o papel do aluno é o de apenas escutar, anotar e reproduzir. Esse esquema antiquado desperta pouco interesse dos alunos pelas disciplinas, especialmente pela Matemática, tida por muitos como a vilã, bastante difícil de ser compreendida. Neste trabalho apresentamos uma proposta de projeto para ser trabalhado no Ensino Médio. O problema de otimização da área de quadriláteros de perímetro constante é abordado, utilizando essencialmente o conteúdo do Ensino Básico. O ponto de partida é um problema simples, presente na maioria dos livros-texto. A análise é ampliada gradativamente por situações mais próximas da realidade, oferecendo ao aluno a oportunidade de utilizar diversos conceitos estudados em uma aplicação da Matemática. Os problemas são abordados tanto de forma algébrica quanto geométrica, oferecendo elementos para que o aluno processe informações, anteveja possibilidades, analise o caso geral, exemplifique situações específicas e de fato possa compreender os problemas e interpretar as soluções obtidas / Abstract: The mathematics curriculum of the Brazilian High School is currently very dense. As a result, it is hard to explore alternative ways of teaching that allow the students to effectively participate in lessons, instead of just listening to the teacher and taking notes. The old fashioned expositive method, in general, does not encourage the interest of the students, especially in Mathematics, considered as a villain by many, because of it is intrinsic difficult. In this work it is presented the proposal of a project for the High School level. The problem of maximizing the area of quadrilaterals with constant perimeter is approached, using essentially the content of Basic Education. The starting point is a simple problem, present in most textbooks. The analysis is extended for situations closer to reality, offering students the opportunity to use many concepts already studied, in an application of mathematics. The problems are treated algebraically and geometrically, providing elements for the student to process information, anticipates possibilities, consider the general case, exemplify specific situations, so that they might indeed understand the problems and interpret the obtained solutions / Mestrado / Matemática em Rede Nacional / Mestra em Matemática em Rede Nacional

The transient electric birefringence method, i. e. the transient Kerr effect, has been employed to study the optical, electrical and geometrical properties of three macromolecular systems. An apparatus is described in which the birefringence could be measured when d. c. electric field pulses (of duration 1μs to 5s and strength up to 50 KV/cm) and a. c. electric field pulses (of duration greater than 5 ms, of frequency up to 20 kHz, and strength up to 3 KV/Cm) were applied to solutions of macromolecules. Both the linear and quadratic optical systems have been employed to measure the induced birefringence. A theoretical analysis and review of the errors implicit in such measurements is given, with suggested alignment and calibration procedures. For the first time in electro-optic work, a data-logging system and computer program have been developed and employed, and enabled the automatic recording of transient responses with subsequent high speed data analysis. Measurements have been made on a polypeptide poly – β – benzyl – 1 – aspartate in two solvents. These show how the method can be used to study a rigid macromolecule. A novel investigation was made on the interaction of an anionic surfactant, sodium dodecyl sulphate, with a flexible polymer, polyvinylpyrrolidone. The large variation of Kerr constant observed with addition of surfactant indicated a great potential use of this method for studying polymer surfactant interactions. An aqueous suspension of the bacteria E. coli was also studied, but changes in turbidity and not birefringence were the origin of the observed effects. Novel practical methods of investigation, and turbidity calculations carried out with the aid of a computer enabled size parameters and electrical properties to be determined for E. coli. For the first time such results were in agreement with electro-optic light scattering measurements.

We discuss a parallel library of efficient algorithms for the solution of linear-quadratic optimal control problems involving largescale systems with state-space dimension up to $O(10^4)$. We survey the numerical algorithms underlying the implementation of the chosen optimal control methods. The approaches considered here are based on invariant and deflating subspace techniques, and avoid the explicit solution of the associated algebraic Riccati equations in case of possible ill-conditioning. Still, our algorithms can also optionally compute the Riccati solution. The major computational task of finding spectral projectors onto the required invariant or deflating subspaces is implemented using iterative schemes for the sign and disk functions. Experimental results report the numerical accuracy and the parallel performance of our approach on a cluster of Intel Itanium-2 processors.

Quadratic optimization problems arise in various real world application domains including engineering design, microeconomics, genetic algorithms, integrated circuit chip design, probabilistic graphical models and computer vision. In particular, there are many problems in computer vision that require binary quadratic optimization such as motion segmentation, correspondences, figure-ground segmentation, clustering, grouping, subgraph matching, and digital matting. The objective of an optimization algorithm can be related to the state of a physical system, where the goal is to bring the initial arbitrary state of the system to a state with minimum possible energy. By recognizing that the Hamiltonian of nanomagnets can be expressed in a quadratic form, we exploit the energy minimization aspect of these nanomagnets to solve the quadratic optimization problem in a direct manner. Most hard problems especially in computer vision can be naturally cast as energy minimization problems and solving these using traditional techniques like simulated annealing, graph cuts evidently associate with exorbitant computational efforts. In this dissertation, transcoding the conceptual crossover between the magnetic Hamiltonian and the optimization problem, we envision a nanomagnetic coprocessor with a grid of nanomagnets embracing an optimization heuristic enabling to solve energy minimization in a single clock cycle. We will essentially be solving an optimization problem with each input-and-readout cycle as compared to orders of magnitude more clock cycles that would be needed in a Boolean logic circuit. The dissertation presents results for quadratic minimization problem in the context of perceptual organization of edges in computer vision and compare quality of results using traditional optimization methods and that expected from magnetic computing. The dissertation also presents image processing algorithms for analysis of results produced by actual fabrication of the magnetic systems.

An algorithm is presented which computes a state feedback for a standard linear system which not only stabilizes, but also dampens the closed-loop system dynamics. In other words, a feedback gain vector is computed such that the eigenvalues of the closed-loop state matrix are within the region of the left half-plane where the magnitude of the real part of each eigenvalue is greater than the imaginary part. This may be accomplished by solving one periodic algebraic Riccati equation and one degenerate Riccati equation. The solution to these equations are computed using numerically robust algorithms. Finally, the periodic Riccati equation is unusual in that it produces one symmetric and one skew symmetric solution, and as a result two different state feedbacks. Both feedbacks dampen the system dynamics, but produce different closed-loop eigenvalues, giving the controller designer greater freedom in choosing a desired feedback.

Les objets numériques 3D sont utilisés dans de nombreux domaines, les films d'animations, la visualisation scientifique, l'imagerie médicale, la vision par ordinateur.... Ces objets sont généralement représentés par des maillages à faces triangulaires avec un nombre énorme de triangles. La simplification de ces objets, avec préservation de la géométrie originale, a fait l'objet de nombreux travaux durant ces dernières années. Dans cette thèse, nous proposons un algorithme de simplification qui permet l'obtention d'objets simplifiés de grande précision. Nous utilisons des fusions de couples de sommets avec une relocalisation du sommet résultant qui minimise une métrique d'erreur. Nous utilisons deux types de mesures quadratiques de l'erreur : l'une uniquement entre l'objet simplifié et l'objet original (Accurate Measure of Quadratic Error (AMQE) ) et l'autre prend aussi en compte l'erreur entre l'objet original et l'objet simplifié ((Symmetric Measure of Quadratic Error (SMQE)) . Le coût calculatoire est plus important pour la seconde mesure mais elle permet une préservation des arêtes vives et des régions isolées de l'objet original par l'algorithme de simplification. Les deux mesures conduisent à des objets simplifiés plus fidèles aux originaux que les méthodes actuelles de la littérature. / Complex 3D digital objects are used in many domains such as animation films, scientific visualization, medical imaging and computer vision. These objects are usually represented by triangular meshes with many triangles. The simplification of those objects in order to keep them as close as possible to the original has received a lot of attention in the recent years. In this context, we propose a simplification algorithm which is focused on the accuracy of the simplifications. The mesh simplification uses edges collapses with vertex relocation by minimizing an error metric. Accuracy is obtained with the two error metrics we use: the Accurate Measure of Quadratic Error (AMQE) and the Symmetric Measure of Quadratic Error (SMQE). AMQE is computed as the weighted sum of squared distances between the simplified mesh and the original one. Accuracy of the measure of the geometric deviation introduced in the mesh by an edge collapse is given by the distances between surfaces. The distances are computed in between sample points of the simplified mesh and the faces of the original one. SMQE is similar to the AMQE method but computed in the both, direct and reverse directions, i.e. simplified to original and original to simplified meshes. The SMQE approach is computationnaly more expensive than the AMQE but the advantage of computing the AMQE in a reverse fashion results in the preservation of boundaries, sharp features and isolated regions of the mesh. For both measures we obtain better results than methods proposed in the literature.

kernlab is an extensible package for kernel-based machine learning methods in R. It takes advantage of R's new S4 object model and provides a framework for creating and using kernel-based algorithms. The package contains dot product primitives (kernels), implementations of support vector machines and the relevance vector machine, Gaussian processes, a ranking algorithm, kernel PCA, kernel CCA, and a spectral clustering algorithm. Moreover it provides a general purpose quadratic programming solver, and an incomplete Cholesky decomposition method.

Since the introduction of Pollard's rho method for integer factorisation in 1975 there has been great interest in understanding the dynamics of quadratic maps over finite fields. One avenue for this, and indeed the heuristic on which Pollard bases the proof of the method's efficacy, is the idea that quadratic maps behave roughly like random maps. We explore this heuristic from the perspective of comparing the number of periodic points. We find that empirically random maps appear to model the number of periodic points of quadratic maps well, and moreover prove that the number of periodic points of random maps satisfy an interesting asymptotic behaviour that we have observed experimentally for quadratic maps.

[pt] A Programação Quadrática Binária Irrestrita (UBQP) é amplamente estudada. Trata-se de uma ferramenta de modelagem poderosa, mas otimizar de um problema NP-difícil. Neste trabalho uma nova abordagem é apresentada, que pode ser usada para construir um algoritmo exato. Além disso, a ideia básica que fundamenta o trabalho pode ser usado em um espectro ainda mais amplo de problemas. O algoritmo exato derivado do novo método é altamente paralelizável, o que é uma característica desejável nos dias de hoje em que cloud computing já é uma realidade. Para instâncias razoavelmente grandes do UBQP, o novo método pode paralelizar a centenas, ou até milhares, de núcleos com facilidade, com um aumento de desempenho quase linear. / [en] Unconstrained Binary Quadratic Programming (UBQP) is widely studied. It is a powerful modeling tool and its associate problem is NP-hard. In this work a new approach is introduced, which can be used to build an exact algorithm. Also, the fundamental idea behind it can be used in an even wider family of problems. This exact algorithm derived from the new method is highly parallelizable, which is a desired feature nowadays, when the cloud computing is a reality. For reasonably large instances of UBQP, the new method can parallelize to hundreds, or even thousands, of cores easily, with a near-linear speedup.