Typescript, etc. / Digitized by Kansas Correctional Industries

Bibliography: leaves [238]-244.

Thesis (Ph. D.)--University of Adelaide, 1985. / Includes bibliographical references (leaves [238]-244).

Orientador: Luiz César Martini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-19T20:49:22Z (GMT). No. of bitstreams: 1 Silveira_HenriquedaMota_M.pdf: 4366195 bytes, checksum: 207a6293136843f2f26e70a5607f4352 (MD5) Previous issue date: 2012 / Resumo: Este trabalho apresenta o aplicativo MATVOX como uma alternativa à falta de recursos voltados para pessoas com deficiência visual, tanto para o ensino como para o dia a dia nas áreas de ciências exatas. Basicamente, o MATVOX é uma calculadora programável que é funcional a partir do editor de texto do sistema gratuito DOSVOX, que é um sistema de apoio à pessoa com deficiência visual que tem como fundamento o uso da síntese de voz. O MATVOX surgiu em 2010 com o objetivo de proporcionar a seus usuários a implementação de algoritmos e cálculos matemáticos. Apesar do MATVOX já ter demonstrado ser uma poderosa ferramenta e estar em uso por muitos usuários, identificou-se a necessidade de aperfeiçoamento em quesitos funcionais (desenvolvendo novos recursos) e também em avaliações com usuários. Estas avaliações foram conduzidas através da aplicação das técnicas de Avaliação Heurística Participativa e Testes Beta no Centro Cultural Louis Braille de Campinas. Em síntese, os resultados desta pesquisa foram: uma nova versão do MATVOX, cujas novas funcionalidades incorporam principalmente cálculos de números complexos, matrizes e equações polinomiais; e constatações que foram obtidas durante as avaliações com usuários / Abstract: This study presents the MATVOX application as an alternative to the lack of resources directed to people with visual impairments, useful for the learning and the daily actions turned to the exact sciences areas. Basically, MATVOX is a programmable calculator that works from the text editor which is part of the free system DOSVOX - a support system for people with visual impairments based on the use of speech synthesis. The MATVOX emerged in 2010 aiming to provide an implementation of algorithms and mathematical calculations to the users. The MATVOX has already proven to be a powerful tool and it is in use by many users, however, we identified the need of improvement in functional questions (developing new resources) and also in assessments with users. These assessments were led by applying the Participatory Heuristic Evaluation and Beta Testing techniques at the Centro Cultural Louis Braille de Campinas. In summary, the results of this research were: a new version of the MATVOX, with new features that mainly incorporate complex numbers calculations, matrices and polynomial equations; and findings that were obtained during the assessments with users / Mestrado / Telecomunicações e Telemática / Mestre em Engenharia Elétrica

Bibliography: leaves [238]-244 / xi, 244 leaves : ill ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1985

Thesis (Ph.D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1982. / MICROFICHE COPY AVAILABLE IN ARCHIVES AND ENGINEERING. / Bibliography: leaves 756-761. / by Brian Cantwell Smith. / Ph.D.

Orientador: Luiz César Martini / Dissertação (mestrado) Universidade Estadual de Campinas, Faculdade de Egenharia Elétrica e de Computação / Made available in DSpace on 2018-08-16T11:03:53Z (GMT). No. of bitstreams: 1 PradaSanmiguel_JulianMauricio_M.pdf: 2046023 bytes, checksum: 428745119cf4df222965e308409fc621 (MD5) Previous issue date: 2010 / Resumo: A falta de recursos computacionais com aplicativos matemáticos voltados para deficientes visuais e outros tem impedido que os deficientes estudem e desenvolvam trabalhos nas áreas das ciências exatas. Este tema de tese visa basicamente ao desenvolvimento de uma calculadora científica programável que é ativada no próprio editor de textos de um programa gratuito conhecido por DOSVOX, disponível especificamente para uso dos portadores de necessidades especiais. A calculadora foi desenvolvida de tal forma que permite ao usuário criar algoritmos e cálculos matemáticos desde o editor de textos (EDIVOX), o qual permite aproveitar os recursos de sínteses de fala com os que este conta, o que a sua vez facilita enormemente o processo de criação, manipulação e execução destes / Abstract: The lack of computational resources with mathematical applications designed for the visually impaired and others has prevented them to study and develop work in the fields of exact sciences. This thesis topic points essentially to the development of a scientific programmable calculator which is activated from the text editor of a free program known as DOSVOX available specifically for use by persons with special needs. The calculator was developed in a way that allows users to create algorithms and mathematical calculations from a text editor (EDIVOX), which allows the calculator using speech synthesis resources it possesses, which in turn greatly facilitates the process creation, manipulation and implementation of these / Mestrado / Telematica / Mestre em Engenharia Elétrica

<p>Static program analyzers are vital tools to produce useful insights about programs without executing these programs. These insights can be used to improve the quality of programs, e.g., detecting defects in programs, or optimizing programs to use fewer resources. However, building static program analyzers that are simultaneously sound, performant, and flexible is notoriously challenging.</p> <p>This dissertation aims to address this challenge by exploring the potential of applying correct-by-construction metaprogramming techniques to build static program analyzers. Metaprogramming techniques manipulate and transform programs as data objects.  In this thesis, we consider static program analyzers as the objects to be manipulated or transformed. We show that metaprogramming techniques can improve our understanding, the construction, flexibility, and performance of program analyzers.</p> <p>We first study the inter-derivation of abstract interpreters. Using off-the-shelf program transformation techniques such as refunctionalization, we demonstrate that big-step abstract interpreters can be mechanically derived from their small-step counterparts, thus building a functional correspondence between two different styles of abstract interpretation.</p> <p>To build high-performance program analyzers, we exploit the first Futamura projection to build compilers for abstract interpretation and symbolic execution. The first Futamura projection states that specializing an interpreter with respect to an input program is a process equivalent to compilation, thus providing a practical way to repurpose interpreters for compilation and code generation. We systematically apply this idea to build program-analysis compilers by writing analyzers as staged interpreters using higher-level abstractions. The staged interpreter can be used for generating sound and performant analysis code given a specific input program. Moreover, the approach enables using abstractions without regret: by using higher-level program abstractions, the analyzer can be written in a way that is close to its high-level specification (e.g. big-step operational semantics), and by compilation, the analyzer is performant since it does not need to pay the runtime overhead of using these abstraction mechanisms.</p> <p>We also develop novel type systems that track sharing and separation in higher-order imperative languages. Such type systems are useful both for general-purpose programming languages and for optimization of domain-specific metaprograms such as those program-analysis compilers.</p> <p><br></p>