Artigo Sbc

portanto nem sempre uma estrutura de prova é uma "proof-net". Como estabelecer se uma estrutura de prova é uma "proof-net"? Existem vários critérios de corretude definidos na literatura. Entre eles destacam-se o critério dado por Girard no seu artigo original "Linear Logic" em 1987, conhecido como no-short trip condition; o critério dado por Vicent Danos e Regnier em [DanReg89], que é uma simplificação do critério original de Girard e o critério definido por Asperti [Asp95], que é uma…

preocupação com a política governamental que afeta as atividades de Computação do Brasil, no sentido de assegurar a emancipação tecnológica do país; promoção anual do Congresso Nacional da SBC e incentivo à organização de reuniões, congressos, conferências e publicações de cunho científico. O atual presidente da SBC é o professor José Carlos Maldonado, do Instituto de Ciências Matemáticas e Computação (ICMC) da USP/ São Carlos); o vice-presidente é o professor Marcelo Walter, do…

análise de documentos de domínio científico tais como livros, periódicos, enciclopédias, ensaios críticos, dicionários e artigos científicos, sendo a principal finalidade proporcionar aos pesquisadores o contato direto com obras, artigos ou documentos que tratem do tema em estudo. Gil (2002) afirma que esta acontece quando é elaborada a partir de material já publicado, livros e artigos de periódicos. Todavia, Marconi e Lakatos (2009) afirmam que os meios de comunicação podem ser…

contribuem para o prejuízo da qualidade de vida (QV) desses pacientes em médio e em longo prazo. O objetivo é verificar se a alteração da qualidade de vida do paciente pós IAM pode causar depressão. O presente estudo é uma revisão bibliográfica em artigos publicados nas bases de dados Lilacs, Medline e Scielo, nas línguas portuguesa, espanhola e inglesa nos últimos dez anos. Os resultados demostraram que a depressão pós IAM se mostrou prevalente em 60% homens e 30% mulheres na faixa…

CONDICIONAMENTO DE SINAIS ANALÓGICOS PARA APLICAÇÕES INDUSTRIAIS Lucas da Silva Candido1, Leandro Zeidan Toquetti2 1 2 Tecnologia em Automação Industrial, FATEC-SBC, São Bernardo do Campo, Brasil Professor do Departamento de Ensino Geral da FATEC São Paulo e Diretor da FATEC São Bernardo do Campo lutg_candido@hotmail.com, lzeidan@fatecsp.br Resumo A tendência da tecnologia de aperfeiçoar métodos, com intuito de reduzir custos e tempos de cíclo gastos em processos, tem estimulado a…

Simpósio Brasileiro de Cartografia, 21, 2003, Belo Horizonte. Anais... Rio de Janeiro: SBC, 2003. VEIGA, T. C. & SILVA, J. X. da. Geoprocessamento aplicado à identificação de áreas potenciais para atividades turísticas: O caso do Município de Macaé– RJ. In: SILVA, J. X. & ZAIDAN, R. T. (Org.) Geoprocessamento & Análise ambiental. Rio de Janeiro: Bertrand Brasil, p.179-215, 2004. http://www.geofisicabrasil.com/artigos/111-tecnologia11/995-geoprocessamento-licenciamento-ambiental.…

SOLO, 27, 1999. Anais... Sessão Pôsteres, Sessão 9, Fertilidade do Solo e Nutrição de Plantas. Cidade de publicação: SBCS, 1999. CD-ROM. MACEDO, M. C. M.; BONO, J. A. M. Doses de calcário e fontes de fósforo em três solos do Mato Grasso do Sul para Brachiaria brizantha cv. Marandu. In: CONGRESSO BRASILEIRO DE CIÊNCIA DO SOLO, 33., 2001, Londrina. Anais... Londrina: SBCS, 2001. p. 56. 43 MACEDO, M. C. M.; BONO, J. A. M.; ZIMMER, A. H.; COSTA F..P.; KANNO, T.; MIRANDA, C. H.…

ARTIGO SOBRE NOSQL, XML E XQUERY Elzio J. Silva1, Lucas G. Lopes1, Luiz H. Silva1 1Universidade Federal do Rio Grande do Sul (UNISC) – Montenegro, RS – Brasil {elzio,lucasglopes,luizhkafer}@mx2.unisc.br Abstract. This meta-paper describes the style to be used in articles and short papers for SBC conferences. For papers in English, you should add just an abstract while for the papers in Portuguese, we also ask for an abstract in Portuguese (“resumo”). In both cases, abstracts should not have

citação deve | | |intercalar-se entre a passagem citada e quem a apresenta a menção apud. | | |Reserva-se o uso da partícula in para os casos em que o autor de um artigo ou capítulo difira do autor ou organizador da obra em | | |que este está integrado. | | |Quando se cita um…

humano precisa para compreender o mundo e provocar mudanças nele. Para os jogos, os sistemas hápticos podem oferecer um conceito de interação de forma avançada, ampliando o nível de realismo e oferecendo uma maior imersão no ambiente virtual. Este artigo apresenta um estudo, um planejamento e o desenvolvimento de uma arquitetura para integrar uma engine de jogos com sistemas hápticos. Abstract The sense of touch and physical interaction are among the fundamental aspects that…