• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 494
  • 31
  • 4
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 1
  • 1
  • 1
  • Tagged with
  • 540
  • 209
  • 112
  • 99
  • 85
  • 84
  • 77
  • 72
  • 63
  • 60
  • 60
  • 59
  • 56
  • 56
  • 56
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
71

Anarquistas e Servis: Uma Análise dos Projetos Políticos do Ano de 1826 no Rio de Janeiro

REIS, A. F. 08 December 2016 (has links)
Made available in DSpace on 2018-08-01T23:44:45Z (GMT). No. of bitstreams: 1 tese_8685_Dissertação Arthur Ferreira Reis.pdf: 3779825 bytes, checksum: fd1f8be80e64ba7e996c1a628f13d032 (MD5) Previous issue date: 2016-12-08 / O início do século XIX, no Brasil, foi marcado pelo surgimento dos primeiros jornais. Criados no momento de intensa agitação política causada pela vinda da família real, pela instauração do liberalismo através da Regeneração do Porto e pelo processo de independência, esses jornais contribuíram para o fortalecimento da opinião pública no Brasil. Porém, em detrimento do crescimento do número de jornais, a repressão sobre os atores dos espaços públicos brasileiros levada a frente pelo governo de D. Pedro I acabou causando a retração no debate público. Entre 1824 e 1826, principalmente, o número de jornais fluminenses foi extremamente reduzido. Nesse período, principalmente em 1825, o grupo político áulico se destacou como defensor do governo pedrino e empreendedor de uma linguagem política que buscava alçar o Imperador como o soberano do Brasil. Todavia, se em 1825 os áulicos conseguiram levar a frente esse projeto sem grandes problemas, em 1826 a imprensa fluminense conheceu o surgimento de dois jornais oposicionistas que, novamente, agitaram o debate político. Nesse processo, autores e facções políticas, mais especificamente os anarquistas e os servis, disputaram o apoio do povo, atacando seus adversários e defendendo seus projetos políticos. Atento a isso, esse trabalho analisa os projetos políticos dos jornais O Verdadeiro Liberal, Spectador Brasileiro e algumas publicações de jornais interlocutores como Abelha do Itaculumy, Atalaia da Liberdade, Diário Fluminense, O Universal e O Triumpho da Legitimidade, além de três panfletos publicados durante 1826. O objetivo principal deste desta pesquisa sustentando a existência de uma linguagem política áulica e de um projeto radical no Rio de Janeiro durante o ano de 1826.
72

Grau de indecidibilidade da universidade para subclasses de automatos temporizados

Pinto, Guilherme Albuquerque 03 August 2018 (has links)
Orientador: Arnaldo Vieira Moura / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-03T17:41:22Z (GMT). No. of bitstreams: 1 Pinto_GuilhermeAlbuquerque_D.pdf: 4219537 bytes, checksum: acd92f5d71678809ad0e63efea423560 (MD5) Previous issue date: 2003 / Doutorado
73

[en] DEMOLAN: A TOOL TO DESCRIBE AND SIMULATE THE ARCHITECTURE OF HIGH LEVEL LANGUAGES ORIENTED COMPUTERS / [pt] DEMOLAN: UMA FERRAMENTA PARA A DESCRIÇÃO E SIMULAÇÃO DE ARQUITETURAS DE COMPUTADORES ORIENTADOS PARA LINGUAGENS DE ALTO NÍVEL

REBECCA SANTOS SOUZA RAPPEL 08 October 2009 (has links)
[pt] DEMOLAN (Descrição de Máquinas Orientadas para Linguagem de Alto Nível) é uma ferramenta para avaliação de arquiteturas de computadores a nível de concepção. O projetista não só verifica se o projeto está correto, mas também tem a facilidade de experimentar uma série de alternativas de projeto. DEMOLAN além de ser uma linguagem para a especificação e descrição de arquiteturas de computadores orientados para linguagens de alto nível, é também um compilador que permite gerar um simulador da arquitetura descrita na linguagem DEMOLAN. A comprovação do funcionamento do sistema DEMOLAN foi feito a partir da descrição de três estilos diversos de arquiteturas: SECD (uma máquina orientadora para o LISP), PLM (uma máquina orientadora para o PROLOG) e SPLM (uma máquina orientadora para a linguagem Student-PL). / [en] DEMOLAN (Description of Hight-Level Language Oriented Machines) is a tool for computer architecture evaluation at a conception level. The user not only verifies the design, but also is able to try anternative project. DEMOLAN is a language for high-level language computer especification and description, and also a compiler that enables the creation of an architecture sumilator. To demontrate the DEMOLAN system, three diferent styles of architecture were described: SECD (a LISP oriented machine), PLM (a prolong oriented machine) and SPLM (a Student-PL language oriented machine).
74

Elementos para uma teoria geometrica das linguagens formais

Sette, Antonio Mario Antunes, 1939- 17 July 2018 (has links)
Tese (livre-docencia) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T18:51:34Z (GMT). No. of bitstreams: 1 Sette_AntonioMarioAntunes_LD.pdf: 1761459 bytes, checksum: 62b3e9a87a15d8cd1cf6b2ba968fc4ac (MD5) Previous issue date: 1983 / Resumo: Não informado. / Abstract: Not informed. / Tese (livre-docencia) - Univer / Livre-Docente em Matematica
75

Matrizes das protolinguagens / Matrices of protolanguages

S., Júlio C. Martins 19 October 2010 (has links)
Made available in DSpace on 2016-04-29T14:22:50Z (GMT). No. of bitstreams: 1 Julio C Martins da Silva.pdf: 1367182 bytes, checksum: 90a83eeb196f0586c15d7fb8dbc060a4 (MD5) Previous issue date: 2010-10-19 / This research presents an initial proposition which aims to expand externally the work presented in Matrix of languages: sonorous, visual and verbal. Applications on hipermídia (originally in portuguese: Matrizes da linguagem e pensamento: sonora, visual, verbal. Aplicações na Hipermídia. São Paulo Iluminuras/FAPESP, 2001) by Lucia Santaella, creating two new matrices (1 Quality and 2 Relation) aiming to reach a composition of three matrices, founded in Peirce s philosophical architecture, the same way thrilled by Santaella s work. According to original proposition all kinds of languages are hybrid and rise from mixtures, in different grades, of these three main matrixes of languages, which expands itself internally, in a recursive way, according phenomenological three categories from Peirce, reaching 27 modalities, which are expanded internally again, each one, until reach 81 modalities. The proposition of this research, described initially as external expansion, consists in to create two new matrixes to operate in conjunction with the matrixes of language, but containing less refinement. The research justify itself by the necessity of understand all kinds of languages engendered by human being as a gender throughout your relation with physical world and posterior representation from him, starting from a unique and entangled conceptual structure, able to vary in grades from most primordial elements from physical world to one most structured verbal language, passing through human sensorial perception. The research has the main objective of to propose and an initial and provisory structure of these new matrixes of protolanguages, taken here as the primordial types, without grammar among other characteristics. The group of three matrixes is so called Matrix 1 Quality: nature phenomena; Matrix 2 Relation: sensorial perception; Matrix 3 Representation: Languages. This last one corresponds exactly to original proposition of Santaella s work. Founded in Peirce s three phenomenological categories, theory of signs and semiosis, this research starts from assumption that if the matrixes of languages correspond to thirdness category, certainly should have two other matrixes which corresponds to secondness and firtness. From that emerges the hypothesis that these matrixes should have some relationship with phenomena from physical world (firstness) and the human sensorial perception (secondness), which captures those phenomena, bringing to our mental processes. This way, the matrix 1 was proposed corresponding to phenomena based on Newton s 2nd laws of classical Physics which puts in relation force, mass and acceleration as initial inspiration; the matrix 2 was proposed based on physiological senses of smell, taste and touch, where the sense of smell corresponds to most primordial and the sense of touch the less primordial one. The auditory and visual senses are already included in Santaella s work. Each one of these two matrixes is presented in a provisory and initial structured where each one of them have three main divisions, which are expanded three by three according Peirce s three categories, reaching 9 modalities, which are subdivided again, each one of them, until 27 modalities. Although the refining grades (in quantity of sublevels) are less unfolded than those reached by Santaella s work, this was result from strategic decision in order to obtain the initial structure of two new matrixes. The initial results are very interesting and justify by itself the necessity of research towards to continuous refining work. The three matrixes resulted from creation of two matrixes of protolanguages in addition to matrixes of language proposed by Santaella, presents an remarkable correspondence with the ten classes of signs from Peirce. If the three matrixes of languages already increase our potential to understand better the existing languages and the new ones which will certainly appear, the trio of matrixes, could be an significant improvement to this potential / Essa pesquisa apresenta uma proposta inicial de expansão externa das Matrizes da linguagem e pensamento: sonora, visual, verbal. Aplicações na hipermídia (São Paulo Iluminuras/FAPESP, 2001) conforme propostas por Lúcia Santaella, criando duas novas matrizes das protolinguagens (1 qualidade e 2 relação) para formarem uma tríade de matrizes. De acordo com a proposta original, todas as linguagens são híbridas e nascem das misturas, em diferentes graus, das três principais matrizes das linguagens, que se expandem internamente na recursividade das três categorias fenomenológicas de Peirce, chegando a 27 modalidades que se desdobram em 81. A justificativa da pesquisa é a necessidade de se entender todas as formas de linguagens desde as mais primordiais às mais estruturadas, engendradas pelo ser humano, mediante sua relação com o mundo físico, e posterior representação dele, a partir de uma estrutura conceitual única e interarticulada, capaz de variar em gradação, do elemento mais diáfano do mundo físico ao mais elaborado do domínio da linguagem verbal, passando pela percepção sensorial humana. O objetivo da pesquisa é apresentar uma estruturação provisória, dessas novas matrizes como passo inicial. Para o conjunto das duas novas matrizes é proposta a denominação de matrizes das protolinguagens numa referência às formas de linguagens mais primordiais, sem gramática. O conjunto de três matrizes é então denominado de Matriz 1 Qualidade: fenômenos da natureza; Matriz 2 Relação: percepção sensorial; Matriz 3 Representação: linguagens, sendo que esta última corresponde à proposta original de Santaella. Com base nas categorias fenomenológicas de Peirce, na teoria dos signos e na semiose, essa pesquisa parte da premissa de que se as matrizes da linguagem correspondem à categoria de terceiridade, deve haver duas outras matrizes que correspondam à secundidade e primeiridade. Disso decorre a hipótese de que essas duas matrizes devem ter relação direta com os fenômenos do mundo físico e os sentidos da percepção. Assim, do mesmo modo que as matrizes das linguagens foram propostas a partir de três principais divisões, Matriz 1 foi proposta com base na física clássica, inspirada na segunda lei de Newton, que relaciona: Força, massa e aceleração; a Matriz 2 foi proposta baseada na fisiologia dos sentidos principais do olfato, paladar e tato, sendo o olfato o mais primordial e o tato o mais elaborado. Conforme a proposta provisória e inicial cada um dos três componentes de cada uma das matrizes das protolinguagens se subdivide em três que também se subdividem em mais três na recursividade das categorias peirceanas, de modo que chegamos a 9 modalidades em cada uma das duas novas matrizes, cada qual se desdobrando em 27 modalidades. O grau de refinamento alcançado (em quantidade de níveis) é inferior ao obtido pelas matrizes das linguagens mas foi resultado de uma decisão estratégica para permitir a elaboração de uma proposta inicial de duas novas matrizes. Os resultados são bastante animadores e justificam uma continuação da pesquisa. As três matrizes apresentam uma perfeita correspondência com as dez classes de signos mais conhecida de Peirce. E se as matrizes das linguagens já permitiam entender melhor as linguagens existentes e as novas que ainda surgirão, com a tríade de matrizes, o potencial de compreensão da semiose pode ser significativamente ampliado
76

[en] CONVERTING REGEXES TO PEGS / [pt] CONVERSÃO DE REGEXES PARA PARSING EXPRESSION GRAMMARS

MARCELO OIKAWA 28 January 2011 (has links)
[pt] Expressões regulares são um formalismo utilizado para descrever linguagens regulares e compõem a base de diversas bibliotecas de casamento de padrão. No entanto, existem determinados padrões úteis que são complexos ou impossíveis de serem descritos com expressões regulares puras. Devido a essas limitações, linguagens de script modernas disponibilizam bibliotecas de casamento de padrões baseadas em regexes, isto é, extensões de expressões regulares compostas, principalmente, por construções ad-hoc que focam em problemas específicos. Apesar de serem muito úteis na prática, os regexes possuem implementações complexas e distantes do formalismo original de expressões regulares. Parsing Expression Grammars (PEG) são uma alternativa formal para reconhecer padrões e possuem mais expressividade que expressões regulares sem necessitar de contruções ad-hoc. O objetivo deste trabalho é estudar formas de conversão de regexes para PEGs. Para isso, estudamos as implementações atuais de regexes e mostramos a conversão de algumas construções para PEGs. Por fim, apresentamos uma implementação da conversão de regexes para PEGs para a linguagem Lua. / [en] Regular expressions are a formalism used to describe regular languages and form the basis of several pattern-matching libraries. However, many interesting patterns either are difficult to describe or cannot be described by pure regular expressions. Because of these limitations, modern scripting languages have pattern matching libraries based on regexes, ie, extensions of regular expressions mainly composed by a set of ad-hoc constructions that focus on specific problems. Although very useful in practice, these implementations are complex and distant from the original formalism of regular expressions. Parsing Expression Grammars (PEG) are a formal alternative to recognize patterns and it is much more expressive than pure regular expressions and does not need use ad-hoc constructions. The goal of this work is to study the convertion of regexes to PEGs. To accomplish this task, we studied the current implementations of regexes and show how to convert some constructions to PEGs. Finally, we present an implementation that convert regexes to PEGs for the Lua language.
77

Apropriação da linguagem científica por parte dos alunos em uma sequência de ensino de física moderna / Appropriation of scientific language by students in a sequence of Teaching of Modern Physics

Silva, João Freitas da 24 April 2009 (has links)
Nesta pesquisa analisamos duas atividades práticas, envolvendo alunos do terceiro ano do Ensino Médio, que fazem parte de uma sequência de Ensino de Física Moderna. Na primeira das atividades, os alunos observam e analisam os espectros da luz proveniente de determinadas lâmpadas com o auxílio de espectroscópios construídos com redes de difração provenientes de pedaços de CD, e na outra, buscam identificar quais elementos químicos estão presentes em algumas estrelas, comparando espectros hipotéticos destas com os espectros de alguns elementos químicos. Na Sequência de Ensino adotada, essas atividades estão localizadas exatamente no momento de transição entre a Física Clássica e a Moderna e servem para introduzir o Modelo Atômico de Bohr e a quantização dos níveis de energia como explicação para os espectros de emissão e absorção da luz. Buscamos analisar \"se\" e \"caso ocorra\" como os alunos se apropriam das linguagens científicas e de termos técnicos durante a realização das duas atividades práticas, bem como a presença de indicadores da Alfabetização Científica. Também procuramos analisar as estruturas das argumentações presentes na aula. Por fim, analisamos o envolvimento dos alunos com as atividades. Para tanto, fizemos uma revisão sobre as linguagens científicas, destacando a linguagem verbal/oral, a gestual e de manipulação e sobre estrutura de argumentação no Ensino de Ciências baseados no Modelo de Toulmin (1958), Van Eemeren et al. (1987) e adaptações para esses modelos em trabalhos como os de Jiménez Aleixandre (1998), Villani e Nascimento (2003), Capecchi (2004) e Carmo (2006). As análises foram feitas a partir das transcrições das aulas gravadas em DVD. Tais análises remetem à importância das linguagens científicas e das argumentações para acompanhamento do processo cognitivo em sala de aula. Indicam também a importância que deve ser dada às linguagens para compreensão do processo ensino-aprendizagem, bem como a necessidade de perguntas que estimulem a argumentação por parte dos alunos. / In this research we analyze two practical activities, involving students from the third year of high school, which are part of a sequence of Teaching of Modern Physics. In the first activity students observe and analyze the spectra of light from certain lamps with the aid of spectroscope diffraction networks built with pieces of a CD. The second one seeks to identify which elements are present in some stars, comparing theoretical spectra of it with the spectra of some chemical elements. Following the Education adopted, these activities are located exactly at the transition between the Classical and Modern Physics and are useful to introduce the Atomic Model of Bohr and quantization levels of energy as an explanation for the emission and absorption of the spectra of light. We examined whether, and if it occurs, as students are aware of scientific language and technical terms during the performance of both practical activities and the presence of indicators of scientific literacy. We also seek to analyze the structures of the arguments in the class. Finally, we analyzed the involvement of students with the activity. Thus a scientific language review was made highlighting the verbal/oral language, the gestural and handling ones and on the structure of argument in science education based on the Toulmin Model (1958), Van Eemeren et al. (1987) and adaptations to these models in studies such as Jiménez Aleixandre (1998), Birth and Villani (2003), Capecchi (2004) and Carmo (2006). The tests were made from transcripts of lessons recorded on DVD. These tests refer to the importance of language and scientific arguments for the monitoring of cognitive process in the classroom. They also show the importance of languages to understand the teaching-learning process and the need for questions that encourage reasoning by students.
78

Proposta de linguagem geradora de imagens em impressoras de página / A page description language for raster non impact printers.

Stefani, Mario Antonio 16 August 1990 (has links)
Uma compacta linguagem descritora de páginas, destinada a impressoras não-impacto de estrutura raster é apresentada. Tal linguagem foi implementada usando o processador gráfico TMS4010, da Texas Instruments e possui uma estrutura muito similar à encontrada nas linguagens interpretativas encadeadas. A linguagem é totalmente modular e interativa, e se utiliza um modelo gráfico simples, visando simular as tarefas normalmente encontradas nas artes tipográficas. São efetuadas comparações com outras linguagens comerciais, visando avaliar suas possibilidades. Uma pequena introdução à tecnologia das impressoras laser é apresentada. / A small Page description language intended for raster non-impact printers is presented. The language is implemented using the Texas Instruments TMS4010 Graphics system processor and its structure is similar that encountered in threaded interpretative languages. The language is fully modular and interactive, and uses a simple graphic model to simulate the same common tasks encoutered in typographical arts. Comparison are made with other comercial languages to perform some evaluations on its possibilities. A small introduction on the laser printer technology is presented.
79

Exploring parallelism on pure functional languages with ACQuA / Explorando paralelismo em linguagens funcionais puras com ACQuA

Tanus, Felipe de Oliveira January 2017 (has links)
Moore’s law reaching its physical limitations has pushed the industry to produce multicore processors. However, programming those processors with an imperative language is not easy since it requires developers to create and synchronize threads. A pure functional language is an adequate tool for this task both from the architectural point of view and from the developer’s. We will show that an architecture can benefit from the implicit parallelism present on functional programs and from the lack of side effects making it easier to parallelize. The developer benefits from functional languages from the superior expressiveness of the language to avoid bugs. In this dissertation, we present the ACQuA architecture, a multicore accelerator created to explore parallelism available in function calls from a pure functional program. ACQuA uses hardware support and a specificallytailored memory organization to minimize the overheads of scheduling, communication, and synchronization. Function calls are placed into a queue and are scheduled to different processing units. The processing units are interconnected and exchange results from function applications. In this work we defined a high level model of the accelerator and how to compile a functional program to it. We also simulated the accelerator and evaluated results, such as speedup, memory usage, and communication overhead of the proposed architecture. We defined the necessary traits of a program to achieve a good speedup on the architecture. On the ideal use case, we can increase the speed up at the same rate we increase the number of processing units in the architecture.
80

Computer algebra in modern functional languages.

José Romildo Malaquias 00 December 2001 (has links)
Many computer algebra systems have already been proposed and implemented. Most of them are implemented in or even implement languages without the referential transparency property, making it difficult, if not impractical, to reason about algebra programs. This dissertation presents a computer algebra system implemented as a library in the Haskell programming language, a modern functional language with the desired referential transparency property. The author presents the foundations and basic algorithms for manipulation of algebraic expressions in a declarative context, compatible with Mathematics. He examines the adequacy of the constructs provided by the Haskell programming language for implementing such a library in a modular way, so that it can be easily extended with the inclusion of new algebraic formulas and manipulations. Such extensions should keep compatibility with prior versions of the library. This work also contributes for showing that modern functional languages like Haskell are viable for day to day programming, even beating conventional languages in some aspects, like level of abstraction.

Page generated in 0.0294 seconds