11 research outputs found
Boas novas de Babel pela Internet
As bibliotecas têm a imponência do saber nelas contido. E cada
usuário guarda dentro de si uma imagem palpável de estantes e
de livros, de lombadas que se sucedem indefinidamente. Também
os arquivos. Visitando um tribunal de contas, um fórum ou o
acervo de um escritor, as pessoas têm seu cotidiano repentinamente tomado pela memória, dos outros e dele mesmo, memórias em bits, memórias em átomos, memórias em memórias, já que livro algum começa em si mesmo (...)
Linguagens de domínio específico e sensores baseados em modelos biológicos de computação
A Domain Specific Language is a specification language dedicated to a particular
domain, representation technique, or solution searching method. On
the other hand, a general-purpose programming language is a language designed
with the goal of emulating Lambda Calculus or Turing Machine. Since
general-purpose languages must accept any algorithm that can be executed
by a Turing Machine, they do not contain a knowledge base of a specific
domain, which makes them difficult to master by a professional who is not a
specialist in Computer Science.
Many fields of science and technology have well advanced domain specific
languages: LATEX and XML for text processing, SQL for data base management,
Matlab for engineering, etc. Designers of neural network applications
do not have good domain specific languages. The main reason for this situation
is that they are considered computer scientists, and supposed to know
general-purpose languages and even low level languages close to Turing machines
(languages for microprogramming). Since we know that this has no
base on reality, the goal of this work is to develop methods of creating domain
specific languages rooted on Lisp macros and on functional languages
(Clean and Haskell) for prototypes. We believe that Lisp is easy enough
to be mastered even by people who has difficulty with formal methods and
mathematics. Therefore, with well designed extensions, and a rapid training
in programming methods, an engineer can use Lisp as a powerful tool of
productivity.
Lisp is a traditional tool for creating both embedded languages and domain
specific languages. Therefore, Lisp offers all tools necessary to design,
test and deploy domain specific languages. Nevertheless, neural networks have features that require special care. For instance, they need to have biological
feasibility. In order to reach code quality close to human designed
nets, while preserving biological feasibility, this work will use advanced Artificial
Intelligence methods and guided automatic theorem provers similar
to the one used in HOL4 or Isabelle. Our system has a simpler goal than
general theorem provers, since it will focus in a few problems related to neural
networks. One of these problems is the designing of devices for data
acquisition.
This thesis differs from similar works in one point that may cause controversy:
Besides the contributions of the author to the state of the art, it
discusses elementary aspects of the technologies involved. We decided to
do this in order to bring the ideas that we are exposing to the reach of all
readers. What are these ideas?
The first contribution is to bring software engineering technology to biological
modeling. We are not aware of any researcher who attempted this
goal before. A second aspect of this work can be resumed as an effort to
create a language to describe combinations of neuron models into complex
networks.
All programs discussed here were designed to avoid obsolescence. The
author achieved this goal by writing prototypes in ¸-calculus, a formal system
that can be executed in modern computers.Doutor em CiênciasLinguagem de domínio específico é uma linguagem de especificação dedicada
a um domínio particular, ou a uma técnica de representação, ou mesmo a
um método de busca, no sentido dado a este termo pelos pesquisadores de
inteligência artificial. Por outro lado, uma linguagem de propósito geral é
projetada com a meta de emular o cálculo lambda ou a máquina de Turing.
Considerando que as linguagens de propósito geral devem aceitar qualquer
algoritmo que possa ser executado por uma máquina de Turing, elas rara-
mente usam métodos específicos a um domínio restrito. Isso as torna difíceis
de aprender por profissionais que não sejam especialistas em ciência de computação. Para dizer toda a verdade, o aumento da popularidade de linguagens específicas entre cientistas de computação faz nos crer que linguagens de propósito geral são difíceis até para esses profissionais.
Muitos campos da ciência e da tecnologia possuem avançadas linguagens
de domínio específico: LATEX e XML são utilizadas por pessoas que trabalham com processamento de texto, SQL é popular em áreas que dependem
de gerenciamento de bases de dados, Matlab é amplamente utilizada entre
engenheiros, etc. Já projetistas de aplicações baseadas em redes neurais
não possuem boas linguagens de domínio específico. A principal razão para
isso é que eles são considerados cientistas de computação e, por isso, deveriam | na opinião geral | conhecer bem linguagens de propósito geral
e até mesmo linguagens de microprogramação. A realidade, contudo, não
é essa; por isso, a meta deste trabalho é desenvolver uma metodologia de
criação de linguagens de domínio específico, metodologia essa que é baseada
no sistema de macros da Lisp e em protótipos escritos em linguagens funcionais baseadas no ¸-calculus (Clean e Haskell). Lisp é a ferramenta clássica
para criar tanto sistemas embarcados quanto linguagens específicas. Por isso,
Lisp oferece todas as ferramentas necessárias para projetar, testar e aplicar
linguagens de domínio específico. Mesmo assim, redes neurais têm características que exigem cuidado especial. Por exemplo, elas devem exibir exequibilidade
biológica. Para atingir qualidade próxima de código gerado por
programadores profissionais, mantendo a exequibilidade biológica, o presente
trabalho utiliza avançadas técnicas de inteligência artificial e provadores de
teorema baseados em táticas fornecidas pelo usuário, similares às do HOL4,
ou do Isabelle. O sistema descrito nesta tese tem metas mais simples do
que um provador geral, já que focaliza alguns poucos problemas relacionados
com redes neurais. Um desses problemas é a coleta de dados de temperatura
para construir a verdade terrestre (verdade terrestre refere-se à informação
que é recolhida no local ) de sistemas utilizados no estudo do aquecimento
global.
Um aspecto em que esta tese difere de trabalhos similares e que pode
gerar controvérsia está no fato do autor ter procurado escrever um texto autocontido.
Tentou-se, ao mesmo tempo em que se discutiam as contribuições
do autor, expor de maneira didática e completa todos os recursos tecnológicos
utilizados. No caso de linguagens de domínio específico, várias foram apresentadas
de forma mais ou menos completa, em uma tentativa de convencer
o leitor da difusão e da importância dessa tecnologia.
No que se refere `as contribuições do autor, elas são três. Em primeiro
lugar, o autor tentou repassar ao leitor sua longa experiência no projeto e
construção de dispositivos eletrônicos de alta tecnologia, como sistemas de
aquisição de dados, GPS, interfaces e monitores miniaturizados. Em segundo
lugar, procurou-se trazer as modernas técnicas de engenharia de software para
a geração de redes neurais.
Finalmente, propôs-se nesta tese uma arquitetura virtual, que procura
unificar os diversos algoritmos de redes neurais e programação genética,
além de criar uma tecnologia resistente `a obsolescência. Essa última meta é
atingida através de protótipos escritos em ¸-calculus, um sistema formal que
serve de base aos computadores modernos.
Linguagem de domínio específico é uma linguagem de especificação dedicada
a um domínio particular, ou a uma técnica de representação, ou mesmo a
um método de busca, no sentido dado a este termo pelos pesquisadores de
inteligência artificial. Por outro lado, uma linguagem de propósito geral é
projetada com a meta de emular o cálculo lambda ou a máquina de Turing.
Considerando que as linguagens de propósito geral devem aceitar qualquer
algoritmo que possa ser executado por uma máquina de Turing, elas rara-
mente usam métodos específicos a um domínio restrito. Isso as torna difíceis
de aprender por profissionais que não sejam especialistas em ciência de computação. Para dizer toda a verdade, o aumento da popularidade de linguagens específicas entre cientistas de computação faz nos crer que linguagens de propósito geral são difíceis até para esses profissionais.
Muitos campos da ciência e da tecnologia possuem avançadas linguagens
de domínio específico: LATEX e XML são utilizadas por pessoas que trabalham com processamento de texto, SQL é popular em áreas que dependem
de gerenciamento de bases de dados, Matlab é amplamente utilizada entre
engenheiros, etc. Já projetistas de aplicações baseadas em redes neurais
não possuem boas linguagens de domínio específico. A principal razão para
isso é que eles são considerados cientistas de computação e, por isso, deveriam | na opinião geral | conhecer bem linguagens de propósito geral
e até mesmo linguagens de microprogramação. A realidade, contudo, não
é essa; por isso, a meta deste trabalho é desenvolver uma metodologia de
criação de linguagens de domínio específico, metodologia essa que é baseada
no sistema de macros da Lisp e em protótipos escritos em linguagens funcionais baseadas no ¸-calculus (Clean e Haskell). Lisp é a ferramenta clássica para criar tanto sistemas embarcados quanto linguagens específicas. Por isso,
Lisp oferece todas as ferramentas necessárias para projetar, testar e aplicar
linguagens de domínio específico. Mesmo assim, redes neurais têm características que exigem cuidado especial. Por exemplo, elas devem exibir exequibilidade
biológica. Para atingir qualidade próxima de código gerado por
programadores profissionais, mantendo a exequibilidade biológica, o presente
trabalho utiliza avançadas técnicas de inteligência artificial e provadores de
teorema baseados em táticas fornecidas pelo usuário, similares às do HOL4,
ou do Isabelle. O sistema descrito nesta tese tem metas mais simples do
que um provador geral, já que focaliza alguns poucos problemas relacionados
com redes neurais. Um desses problemas é a coleta de dados de temperatura
para construir a verdade terrestre (verdade terrestre refere-se à informação
que é recolhida no local ) de sistemas utilizados no estudo do aquecimento
global.
Um aspecto em que esta tese difere de trabalhos similares e que pode
gerar controvérsia está no fato do autor ter procurado escrever um texto autocontido.
Tentou-se, ao mesmo tempo em que se discutiam as contribuições
do autor, expor de maneira didática e completa todos os recursos tecnológicos
utilizados. No caso de linguagens de domínio específico, várias foram apresentadas
de forma mais ou menos completa, em uma tentativa de convencer
o leitor da difusão e da importância dessa tecnologia.
No que se refere `as contribuições do autor, elas são três. Em primeiro
lugar, o autor tentou repassar ao leitor sua longa experiência no projeto e
construção de dispositivos eletrônicos de alta tecnologia, como sistemas de
aquisição de dados, GPS, interfaces e monitores miniaturizados. Em segundo
lugar, procurou-se trazer as modernas técnicas de engenharia de software para
a geração de redes neurais.
Finalmente, propôs-se nesta tese uma arquitetura virtual, que procura
unificar os diversos algoritmos de redes neurais e programação genética,
além de criar uma tecnologia resistente `a obsolescência. Essa última meta é
atingida através de protótipos escritos em ¸-calculus, um sistema formal que
serve de base aos computadores modernos
Poesia visual, hipertexto e ciberpoesia
O recorte deste trabalho limita-se à poesia visual e à poesia hipertextual. Os procedimentos dividiram-se em três fases: foram criados 28 poemas visuais, convergindo técnica e esteticamente o texto escrito com imagens do design, da pintura e outros tipos de desenhos. Foram escolhidos oito desses poemas visuais para serem retrabalhados hipertextualmente por diferentes profissionais. Realizou-se uma parceria com a W3haus para o desenvolvimento de um site e o planejamento de mais alguns ciberpoemas
Contribution of Eucalyptus Harvest Residues and Nitrogen Fertilization to Carbon Stabilization in Ultisols of Southern Bahia
ABSTRACT: Eucalyptus forests in southern Bahia (BA) are planted in soils with a sandy surface layer and humid tropical climate, conditions that lead to soil carbon (C) decomposition. Recent studies have shown that nitrogen (N) may be important for soil C stabilization. The aim of this study was to evaluate the contribution of Eucalyptus harvest residues and nitrogen fertilization to C stabilization in Ultisols of southern BA. The experiment was conducted in Eucalyptus clonal plantations cultivated in two regions of Eunápolis, BA, Brazil, with different clay content: southern region (140 g kg-1 of clay) and western region (310 g kg-1 of clay). Five treatments were evaluated: one control (CTR), without Eucalyptus harvest residues and N fertilization, and four treatments with harvest residues combined with four rates of N fertilization: 0, 25, 50, and 100 kg ha-1. Soil samples were collected from the 0.00-0.10, 0.10-0.20, 0.20-0.40, and 0.40-0.60 m layers at the beginning and the end of the experiment (36 months). The amount of C and N and the C and N isotopic ratio (δ13C and δ15N) of particulate organic matter (POM) and mineral-associated organic matter (MAOM) were determined. In the southern region after 36 months, the C-MAOM stocks in the 0.00-0.10 m layer of the CTR decreased by 33 %. The addition of harvest residue followed by 100 kg ha-1 N increased C-POM and N-POM stocks (0.00-0.10 m) compared to the CTR, and the final N-POM stocks and residue-C recovery in the surface soil layer were positively correlated with the increase in N fertilization rates. In the western region, residue maintenance resulted in increased C-MAOM stocks (0.00-0.10 m) compared to the CTR, but an increase in N availability reduced this increment. The increase in N fertilization rates did not alter C stocks, but reduced N stocks of POM and MAOM in the upper soil layer. At the end of the experiment, N fertilizer recovery (0.00-0.60 m) was similar among the regions evaluated. In soil with lower clay content, higher N availability led to higher C and N stocks in the particulate fraction. In soils with high clay content, physical and chemical protections are more important than N fertilization for soil C stabilization, and just maintaining harvest residues may suffice to increase C and N in the more stable SOM fraction
O momento oportuno: Kair��s, uma editora de oposição The timely moment: Kairós, an opposition publisher
Dentro do quadro maior do estudo de editoras de oposição no período da abertura política no Brasil (1974-1985), o objetivo deste trabalho é esboçar uma breve história da Kairós Livraria e Editora, cuja atuação ocorreu entre 1978 e 1983, na cidade de São Paulo. A fonte principal da pesquisa são os depoimentos de seus proprietários a mim concedidos. Considerando que os dados levantados apontam que essa editora se encaixa no que classifico como editora de oposição engajada, apresentarei algumas questões sobre as relações que se podem estabelecer entre a forma como se organizava a Kairós e os resultados obtidos pela editora, particularmente do ponto de vista editorial e político.<br>In the wider scenario of the study of opposition publishers during the political outbreak in Brazil (1974-1985), this paper aims to outline the history of Kairós Livraria e Editora, which has been active between 1978 and 1983 in São Paulo. The interviews its owners gave me are the main source of this research. Since the available data indicate that this publisher fits in what I call militant opposition publishing, I introduce a few questions about the relations between the form of Kairós' organization and the results it has achieved, especially from an editorial and political standpoint
Mídia e política no Brasil: textos e agenda de pesquisa Midia and politics in Brazil: texts and research agenda
Um especialista em estudos de comunicação e um cientista político apresentam conjuntamente um panorama da pesquisa sobre as relações entre os meios de comunicação e os processos políticos no Brasil. Uma agenda de pesquisa é proposta e um elenco de textos nessa área é apresentado.<br>A specialist in communication studies and a political scientist present together a panorama of research on the relations between communication midia and political processes in Brazil A research agenda is proposed and a list of texts in this area is presented