Turing
Mostrando 1-12 de 50 artigos, teses e dissertações.
-
1. TOWARDS AN EVALUATION OF THE NORMALISATION THESIS ON IDENTITY OF PROOFS: THE CASE OF CHURCH-TURING THESIS AS TOUCHSTONE
Abstract This article is a methodological discussion of formal approaches to the question of identity of proofs from a philosophical standpoint. First, an introduction to the question of identity of proofs itself is given, followed by a brief reconstruction of the so-called normalisation thesis, proposed by Dag Prawitz in 1971, in which some of its core math
Manuscrito. Publicado em: 2020-09
-
2. Comunicação e inteligência artificial: novos desafios e oportunidades para a pesquisa em comunicação
Resumo Este artigo advoga em favor de significativas reorientações e reconceitualizações dos estudos do campo da Comunicação, de maneira a acomodar as oportunidades e desafios introduzidos pelas máquinas cada vez mais inteligentes. Particularmente, buscamos demonstrar, por um lado, como e porque a atividade comunicacional vem sendo considerada uma con
Galáxia (São Paulo). Publicado em: 2017-04
-
3. Complexidade computacional e medida da informação: caminhos de Turing e Shannon
resumo Este artigo apresenta, qualitativamente, os conceitos de complexidade computacional algorítmica (Turing) e de complexidade computacional informacional (Shannon), enfatizando como pensamentos independentes, de naturezas diferentes, produziram conceitos matemáticos similares e de grande utilidade para a computação moderna.
Estud. av.. Publicado em: 2016-08
-
4. Padrões de Turing em sistemas químicos
Spontaneous pattern formation in reaction-diffusion systems was theoretically proposed by Alan M. Turing in 1952. His breakthrough conceptions of chemical self-organization were able to explain how patterns emerge in nature and the symmetry breaking, which are of utmost importance, for instance, in the context of origin of life. Along with the experimental o
Quím. Nova. Publicado em: 2016-05
-
5. Control y fugas en la era digital, en El delirio de Turing, de Edmundo Paz Soldán
Resumo Leitura do romance O delírio de Turing (2003) como avaliação estética do carácter totalitário das democracias neoliberais e de sua relação com as tecnologias. Estuda-se de que maneira Paz Soldán atualiza a reflexão sobre a luta entre os poderosos e os oprimidos, em um novo campo de batalha, que é o mundo virtual. O delírio de Turing compar
Alea. Publicado em: 2016-04
-
6. Padrões de Turing e processos dinâmicos em redes complexas / Turing patterns and dynamical processes on complex networks
Sistemas de reação-difusão podem apresentar, sob certas condições, formação de padrões espaciais heterogêneos estacionários. Chamados padrões de Turing (ou instabilidades de Turing) devido ao trabalho de Alan Turing, sua formulação matemática é importante para o estudo da formação de padrões em geral e desempenha papel central em muitos cam
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 23/03/2012
-
7. Computabilidade e limites da matemática das teorias físicas: aplicações em sistemas elétricos de potência. / Computability and limits of physical theories mathematics: applications in electric power systems.
Apesar dos modelos usados em engenharia serem, em sua maioria, reconhecidamente aproximados, acredita-se que a matemática usada na física e nos próprios modelos é infinitamente precisa e que tais teorias físicas poderiam prever completamente qualquer evento relacionado às variáveis equacionadas. No limite, seria possível prever o estado do universo e
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/09/2011
-
8. Satisfazibilidade probabilística / Probabilistic satisfiability
Este trabalho estuda o problema da Satisfazibilidade Probabilística (PSAT), revendo a sua solução via programação linear, além de propor novos algoritmos para resolvê-lo através da redução ao SAT. Construímos uma redução polinomial do PSAT para o SAT, chamada de Redução Canônica, codificando operações da aritmética racional em bits, como v
Publicado em: 2011
-
9. Modelos de reação-difusão para morfogênese
No desenvolvimento de um organismo biológico, células inicialmente idênticas entre si irão se diferenciar distintamente. Todo o desenvolvimento biológico encontra-se sob controle genético, mas a informação genética é a mesma para todo o grupo de células idênticas. Para explicar a heterogeneidade espacial a partir de um estado homogêneo, Turing (
Publicado em: 2011
-
10. Máquinas, inscrições e observador : o problema da visualização do conhecimento numa abordagem sistêmica
Nesta tese, argumenta-se que as inscrições são a interface a partir da qual é possível considerar metodologicamente a condição de observadores na visualização do conhecimento. Para isso, considera-se os limites dos sistemas formais, a crise da representação e o modelo da Máquina de Turing como afirmações da condição encarnada do conhecer. Nes
Publicado em: 2011
-
11. Síntese de controladores síncronos com redução da atividade do relógio.
Os projetistas de sistemas digitais por várias décadas se preocupavam somente com redução de área e aumento de desempenho ligado ao tempo de ciclo. Devido a alta integração da tecnologia VLSI onde a elevada dissipação de potência é prejudicial, a alta demanda por eletrônica móvel e também o aumento do custo de energia. Os projetistas dos sistem
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 28/07/2010
-
12. Teorias da Aleatoriedade
Este trabalho apresenta uma revisão bibliográfica sobre a definição de “seqüência aleatória”. Nós enfatizamos a definição de Martin-Löf e a definição baseada em incompressividade (complexidade de Kolmogorov). Complexidade de Kolmogorov é uma teoria sofisticada e profunda da informação e da aleatoriedade baseada na máquina de Turing. Esta
Publicado em: 2010