Padraes Formais
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Chico da Silva: estudo sociolÃgico sobre a manifestaÃÃo de um talento artÃstico
O presente trabalho tem como intuito principal compreender, sob a perspectiva sociolÃgica, a manifestaÃÃo do pintor naif Chico da Silva no contexto artÃstico cearense dos anos 40. Nascido no Alto do Tejo, cidade do Acre, Francisco Domingos da Silva, filho de pai indÃgena e mÃe cearense chega a Fortaleza em meados dos anos 30. Tendo seus trabalhos mural
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/03/2010
-
2. As cabeceiras das pontes segundo seus padrÃes formais: o caso do centro da cidade do Recife/Brasil, do sÃculo XVII ao XX
Esta disertaciÃn de mÃster tiene como objetivo identificar padrones formales que caractericen tipologÃas de cabeceras de puentes a lo largo del proceso histÃrico de formaciÃn urbana de ciudades atravesadas por el agua. En este intuito, adopta como estudio de caso la composiciÃn formal de las cabeceras de los puentes del centro de la ciudad de Recife, d
Publicado em: 2008
-
3. DBSitter-AS: um Framework Orientado a Agentes para ConstruÃÃo de Componentes de Gerenciamento AutÃnomo para SGBD
A ComputaÃÃo AutÃnoma à uma Ãrea de pesquisa que busca o desenvolvimento de software capaz de autoconfiguraÃÃo, auto-otimizaÃÃo, autoproteÃÃo, auto-reparaÃÃo, autoconhecimento e antecipaÃÃo de necessidades, utilizando-se de padrÃes abertos. No caso particular de Sistemas de Gerenciamento de Bancos de Dados (SGBD), podemos resumir esses princ�
Publicado em: 2007
-
4. A lÃgica da apropriaÃÃo dos espaÃos pÃblicos na cidade de Fortaleza pelo trabalhador de rua
Este estudo analisa a lÃgica de apropriaÃÃo dos espaÃos pÃblicos pelos trabalhadores de rua da cidade de Fortaleza como contra-uso na construÃÃo do direito ao trabalho e à cidade. Estabelecemos diÃlogo com a literatura especializada para a construÃÃo do sistema conceitual, com o escopo de compreender as contradiÃÃes, mediaÃÃes e determinaÃÃe
Publicado em: 2007
-
5. VerificaÃÃo de modelos para programas em um subconjunto de JCSP
A veriÂcaÂc~ao de modelos formais gerados a partir de programas concorrentes tem sido bem aceita na indÃstria e na academia durante a fase de testes. A busca por qualidade de software tem motivado este uso, principalmente pelo fato de que testar programas concorrentes nÃo à uma tarefa trivial e à suscetÃvel a erros. Os modelos sÃo descritos atravÃs
Publicado em: 2006
-
6. TÃcnicas de parsing para gramÃtica livre de contexto lexicalizada da lÃngua portuguesa.
Este trabalho apresenta algoritmos de reconhecimento e parsing para um subconjunto da GramÃtica Livre de Contexto Lexicalizada (GLCL) da lÃngua portuguesa. A GLCL apresentada neste trabalho estende o domÃnio de localidade de uma GramÃtica Livre de Contexto (GLC) do portuguÃs fazendo com que um item lexical (sÃmbolo terminal das gramÃticas formais) apa
Publicado em: 2004