Menu

Filtros : "LINGUAGENS FORMAIS" Limpar

Filtros

Refine with date range

1 - 20 (47 records)

  • Trabalho de evento-resumo

    Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab (2022)

    Moreira, Gabriel Brandão de Carvalho ; José Neto, João ; Lima, Ariane Machado

    Source: 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. Conference titles: Simpósio Internacional de Iniciação Científica e Tecnológica da USP. Unidades: EP, EACH

    Subjects: RNA, LINGUAGENS FORMAIS, RECONHECIMENTO DE PADRÕES, BIOINFORMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MOREIRA, Gabriel Brandão de Carvalho e JOSÉ NETO, João e LIMA, Ariane Machado. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab. 2022, Anais.. São Paulo: Escola de Artes, Ciências e Humanidades, 2022. p. 71-72. Disponível em: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf. Acesso em: 19 abr. 2024.

    • APA

      Moreira, G. B. de C., José Neto, J., & Lima, A. M. (2022). Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab. In 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos (p. 71-72). São Paulo: Escola de Artes, Ciências e Humanidades. Recuperado de http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf

    • NLM

      Moreira GB de C, José Neto J, Lima AM. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab [Internet]. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. 2022 ; 71-72.[citado 2024 abr. 19 ] Available from: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf

    • Vancouver

      Moreira GB de C, José Neto J, Lima AM. Comparação prática e teórica entre técnicas de caracterização de estruturas secundárias de RNAs e o arcabouço GrammarLab [Internet]. 29º SIICUSP-EACH 2021: Simpósio Internacional de Iniciação Científica e Tecnológica da USP: livro de resumos. 2022 ; 71-72.[citado 2024 abr. 19 ] Available from: http://www5.each.usp.br/wp-content/uploads/2022/02/ANAIS-29%C2%BA-SIICUSP-EACH_USP.pdf

  • Monografia/livro

    Essentials of formal languages and automata (2019)

    Rosa, João Luís Garcia

    Unidade: ICMC

    Subjects: LINGUAGENS FORMAIS, TEORIA DOS AUTÔMATOS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ROSA, João Luís Garcia. Essentials of formal languages and automata. . Saarbrücken: Lambert Academic Publishing - LAP. . Acesso em: 19 abr. 2024. , 2019

    • APA

      Rosa, J. L. G. (2019). Essentials of formal languages and automata. Saarbrücken: Lambert Academic Publishing - LAP.

    • NLM

      Rosa JLG. Essentials of formal languages and automata. 2019 ;[citado 2024 abr. 19 ]

    • Vancouver

      Rosa JLG. Essentials of formal languages and automata. 2019 ;[citado 2024 abr. 19 ]

  • Dissertação (Mestrado)

    Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós (2018)

    Santos, Gilmar Pereira dos; Lima, Ariane Machado (Orientador)

    Unidade: EACH

    Subjects: RECONHECIMENTO DE PADRÕES, ANÁLISE SINTÁTICA, LINGUAGENS FORMAIS, LINGUAGENS LIVRES DE CONTEXTO, RNA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SANTOS, Gilmar Pereira dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós. 2018. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/. Acesso em: 19 abr. 2024.

    • APA

      Santos, G. P. dos. (2018). Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/

    • NLM

      Santos GP dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/

    • Vancouver

      Santos GP dos. Analisador sintático de Earley para gramáticas livres de contexto adaptativas e sua aplicação na caracterização de famílias de RNAs com pseudonós [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/100/100131/tde-17122018-112356/

  • Tese (Doutorado)

    Macros como mecanismos de abstração em transformações textuais (2018)

    Cereda, Paulo Roberto Massa; José Neto, João (Orientador)

    Unidade: EP

    Subjects: LINGUAGENS FORMAIS, AUTÔMATOS FINITOS, TRANSFORMAÇÃO DE PROGRAMAS, GRAMÁTICA

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      CEREDA, Paulo Roberto Massa. Macros como mecanismos de abstração em transformações textuais. 2018. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2018. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/. Acesso em: 19 abr. 2024.

    • APA

      Cereda, P. R. M. (2018). Macros como mecanismos de abstração em transformações textuais (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/

    • NLM

      Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/

    • Vancouver

      Cereda PRM. Macros como mecanismos de abstração em transformações textuais [Internet]. 2018 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-24092018-085556/

  • Tese (Doutorado)

    Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva (2012)

    Silva Filho, Reginaldo Inojosa da; Rocha, Ricardo Luis de Azevedo da (Orientador)

    Unidade: EP

    Subjects: TEORIA DOS AUTÔMATOS, APRENDIZADO COMPUTACIONAL, LINGUAGENS FORMAIS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA FILHO, Reginaldo Inojosa da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. 2012. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/. Acesso em: 19 abr. 2024.

    • APA

      Silva Filho, R. I. da. (2012). Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/

    • NLM

      Silva Filho RI da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva [Internet]. 2012 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/

    • Vancouver

      Silva Filho RI da. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva [Internet]. 2012 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/

  • Dissertação (Mestrado)

    Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais (2012)

    Dalla Valle, Luís Emílio Cavechiolli; Rocha, Ricardo Luis de Azevedo da (Orientador)

    Unidade: EP

    Subjects: LINGUAGENS FORMAIS, RECONHECIMENTO DE PADRÕES, IMAGEAMENTO DE SATÉLITE

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      DALLA VALLE, Luís Emílio Cavechiolli. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais. 2012. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2012. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/. Acesso em: 19 abr. 2024.

    • APA

      Dalla Valle, L. E. C. (2012). Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/

    • NLM

      Dalla Valle LEC. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais [Internet]. 2012 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/

    • Vancouver

      Dalla Valle LEC. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais [Internet]. 2012 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/

  • Trabalho de evento-resumo

    Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade (2011)

    Oliveira, Diogo de Queiroz; Sperling, David Moreno

    Source: Resumos. Conference titles: Simpósio Internacional de Iniciação Científica da Universidade de São Paulo - SIICUSP. Unidade: IAU

    Subjects: CONTEMPORANEIDADE, LINGUAGENS FORMAIS, ARQUITETURA, ARTES, CIDADES

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      OLIVEIRA, Diogo de Queiroz e SPERLING, David Moreno. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade. 2011, Anais.. São Paulo: USP/Pró-Reitoria de Pesquisa, 2011. Disponível em: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210. Acesso em: 19 abr. 2024.

    • APA

      Oliveira, D. de Q., & Sperling, D. M. (2011). Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade. In Resumos. São Paulo: USP/Pró-Reitoria de Pesquisa. Recuperado de https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

    • NLM

      Oliveira D de Q, Sperling DM. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade [Internet]. Resumos. 2011 ;[citado 2024 abr. 19 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

    • Vancouver

      Oliveira D de Q, Sperling DM. Táticas experienciais contemporâneas: um mapeamento por meio das linguagens da arquitetura, da arte e da cidade [Internet]. Resumos. 2011 ;[citado 2024 abr. 19 ] Available from: https://uspdigital.usp.br/siicusp/siicPublicacao.jsp?codmnu=7210

  • Trabalho de evento

    Memórias do WTA 2010: quarto workshop de tecnologia adaptativa (2010)

    Rocha, Ricardo Luis de Azevedo da

    Source: Workshop de Tecnologia Adaptativa. Conference titles: Workshop de Tecnologia Adaptativa. Unidade: EP

    Subjects: ENGENHARIA DE COMPUTAÇÃO, TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ROCHA, Ricardo Luis de Azevedo da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. 2010, Anais.. São Paulo: Escola Politécnica, Universidade de São Paulo, 2010. . Acesso em: 19 abr. 2024.

    • APA

      Rocha, R. L. de A. da. (2010). Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. In Workshop de Tecnologia Adaptativa. São Paulo: Escola Politécnica, Universidade de São Paulo.

    • NLM

      Rocha RL de A da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. Workshop de Tecnologia Adaptativa. 2010 ;[citado 2024 abr. 19 ]

    • Vancouver

      Rocha RL de A da. Memórias do WTA 2010: quarto workshop de tecnologia adaptativa. Workshop de Tecnologia Adaptativa. 2010 ;[citado 2024 abr. 19 ]

  • Tese (Doutorado)

    Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos (2010)

    Martins Junior, José; Caurin, Glauco Augusto de Paula (Orientador)

    Unidade: EESC

    Subjects: ROBÓTICA, INTERAÇÃO HOMEM-MÁQUINA, LINGUAGENS FORMAIS, AMBIENTE COLABORATIVO

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARTINS JUNIOR, José. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos. 2010. Tese (Doutorado) – Universidade de São Paulo, São Carlos, 2010. Disponível em: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/. Acesso em: 19 abr. 2024.

    • APA

      Martins Junior, J. (2010). Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos (Tese (Doutorado). Universidade de São Paulo, São Carlos. Recuperado de http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/

    • NLM

      Martins Junior J. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos [Internet]. 2010 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/

    • Vancouver

      Martins Junior J. Modelagem e aplicação de regras comportamentais em ambientes colaborativos, envolvendo agentes humanos e robóticos [Internet]. 2010 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/18/18149/tde-07022011-135624/

  • Dissertação (Mestrado)

    Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais (2008)

    Oliveira, Valter Castelhano de; Silva, José Reinaldo (Orientador)

    Unidade: EP

    Subjects: ENGENHARIA DE REQUISITOS, NEGÓCIOS (MODELAGEM), LINGUAGENS FORMAIS, UML

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      OLIVEIRA, Valter Castelhano de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/. Acesso em: 19 abr. 2024.

    • APA

      Oliveira, V. C. de. (2008). Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/

    • NLM

      Oliveira VC de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais [Internet]. 2008 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/

    • Vancouver

      Oliveira VC de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais [Internet]. 2008 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/

  • Trabalho de evento

    Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation (2008)

    Martins Junior, José; Camolesi Junior, Luiz; Caurin, Glauco Augusto de Paula

    Source: Proceedings. Conference titles: ACM Symposium on Applied Computing - SAC. Unidade: EESC

    Subjects: ROBÔS, INTERFACE HOMEM-COMPUTADOR, LINGUAGENS FORMAIS, AMBIENTE COLABORATIVO

    Acesso à fonteDOIHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MARTINS JUNIOR, José e CAMOLESI JUNIOR, Luiz e CAURIN, Glauco Augusto de Paula. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation. 2008, Anais.. New York: ACM, 2008. Disponível em: https://doi.org/10.1145/1363686.1364062. Acesso em: 19 abr. 2024.

    • APA

      Martins Junior, J., Camolesi Junior, L., & Caurin, G. A. de P. (2008). Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation. In Proceedings. New York: ACM. doi:10.1145/1363686.1364062

    • NLM

      Martins Junior J, Camolesi Junior L, Caurin GA de P. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation [Internet]. Proceedings. 2008 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1145/1363686.1364062

    • Vancouver

      Martins Junior J, Camolesi Junior L, Caurin GA de P. Scara3D: 3-Dimensional HRI integrated to a distributed control architecture for remote and cooperative actuation [Internet]. Proceedings. 2008 ;[citado 2024 abr. 19 ] Available from: https://doi.org/10.1145/1363686.1364062

  • Trabalho de evento-anais periodico

    First steps towards tevising ontologies (2006)

    Ribeiro, Márcio Moretto ; Wassermann, Renata

    Source: CEUR Workshop Proceedings. Conference titles: Workshop on Ontologies and their Applications - WONTO. Unidade: IME

    Subjects: REPRESENTAÇÃO DE CONHECIMENTO, LINGUAGENS FORMAIS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      RIBEIRO, Márcio Moretto e WASSERMANN, Renata. First steps towards tevising ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-199/wonto-03.pdf. Acesso em: 19 abr. 2024. , 2006

    • APA

      Ribeiro, M. M., & Wassermann, R. (2006). First steps towards tevising ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-199/wonto-03.pdf

    • NLM

      Ribeiro MM, Wassermann R. First steps towards tevising ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-11.[citado 2024 abr. 19 ] Available from: http://ceur-ws.org/Vol-199/wonto-03.pdf

    • Vancouver

      Ribeiro MM, Wassermann R. First steps towards tevising ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-11.[citado 2024 abr. 19 ] Available from: http://ceur-ws.org/Vol-199/wonto-03.pdf

  • Dissertação (Mestrado)

    Sistema computacional de representação e manipulação de redes de Petri (2006)

    Alves, Gustavo Ribeiro; Santos Filho, Diolino Jose dos (Orientador)

    Unidade: EP

    Subjects: REDES DE PETRI, LINGUAGENS FORMAIS, MONTADORES E COMPILADORES

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ALVES, Gustavo Ribeiro. Sistema computacional de representação e manipulação de redes de Petri. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/. Acesso em: 19 abr. 2024.

    • APA

      Alves, G. R. (2006). Sistema computacional de representação e manipulação de redes de Petri (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/

    • NLM

      Alves GR. Sistema computacional de representação e manipulação de redes de Petri [Internet]. 2006 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/

    • Vancouver

      Alves GR. Sistema computacional de representação e manipulação de redes de Petri [Internet]. 2006 ;[citado 2024 abr. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3152/tde-20092023-100504/

  • Trabalho de evento-anais periodico

    Classifying ontologies (2006)

    Kepler, Fábio Natanael ; Paz-Trillo, Christian; Riani, Joselyto; Ribeiro, Márcio Moretto ; Delgado, Karina Valdivia ; Barros, Leliane Nunes de ; Wassermann, Renata

    Source: CEUR Workshop Proceedings. Conference titles: Workshop on Ontologies and their Applications - WONTO. Unidade: IME

    Subjects: LÓGICA, LINGUAGENS FORMAIS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      KEPLER, Fábio Natanael et al. Classifying ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: http://ceur-ws.org/Vol-199/wonto-01.pdf. Acesso em: 19 abr. 2024. , 2006

    • APA

      Kepler, F. N., Paz-Trillo, C., Riani, J., Ribeiro, M. M., Delgado, K. V., Barros, L. N. de, & Wassermann, R. (2006). Classifying ontologies. CEUR Workshop Proceedings. Aachen: Instituto de Matemática e Estatística, Universidade de São Paulo. Recuperado de http://ceur-ws.org/Vol-199/wonto-01.pdf

    • NLM

      Kepler FN, Paz-Trillo C, Riani J, Ribeiro MM, Delgado KV, Barros LN de, Wassermann R. Classifying ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-12.[citado 2024 abr. 19 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf

    • Vancouver

      Kepler FN, Paz-Trillo C, Riani J, Ribeiro MM, Delgado KV, Barros LN de, Wassermann R. Classifying ontologies [Internet]. CEUR Workshop Proceedings. 2006 ; 199 1-12.[citado 2024 abr. 19 ] Available from: http://ceur-ws.org/Vol-199/wonto-01.pdf

  • Relatorio tecnico

    Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto (2005)

    Bravo Pariente, César Alberto; José Neto, João

    Unidade: EP

    Subjects: TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BRAVO PARIENTE, César Alberto e JOSÉ NETO, João. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. . São Paulo: EPUSP. . Acesso em: 19 abr. 2024. , 2005

    • APA

      Bravo Pariente, C. A., & José Neto, J. (2005). Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. São Paulo: EPUSP.

    • NLM

      Bravo Pariente CA, José Neto J. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. 2005 ;[citado 2024 abr. 19 ]

    • Vancouver

      Bravo Pariente CA, José Neto J. Representação gramatical adaptativa com verificação de aparência de linguagens dependentes de contexto. 2005 ;[citado 2024 abr. 19 ]

  • Dissertação (Mestrado)

    Propriedades de algumas classes de relações racionais (2004)

    Souza, Rodrigo Nonamor Pereira Mariano de; Kobayashi, Nami (Orientador)

    Unidade: IME

    Assunto: LINGUAGENS FORMAIS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SOUZA, Rodrigo Nonamor Pereira Mariano de. Propriedades de algumas classes de relações racionais. 2004. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/. Acesso em: 19 abr. 2024.

    • APA

      Souza, R. N. P. M. de. (2004). Propriedades de algumas classes de relações racionais (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/

    • NLM

      Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2024 abr. 19 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/

    • Vancouver

      Souza RNPM de. Propriedades de algumas classes de relações racionais [Internet]. 2004 ;[citado 2024 abr. 19 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-20210729-135448/

  • Tese (Doutorado)

    Gramáticas livres de contexto adaptativas com verificação de aparência (2004)

    Bravo Pariente, César Alberto; José Neto, João (Orientador)

    Unidade: EP

    Subjects: TEORIA DA COMPUTAÇÃO, LINGUAGENS FORMAIS, AUTÔMATOS FINITOS

    Acesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      BRAVO PARIENTE, César Alberto. Gramáticas livres de contexto adaptativas com verificação de aparência. 2004. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2004. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/. Acesso em: 19 abr. 2024.

    • APA

      Bravo Pariente, C. A. (2004). Gramáticas livres de contexto adaptativas com verificação de aparência (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/

    • NLM

      Bravo Pariente CA. Gramáticas livres de contexto adaptativas com verificação de aparência [Internet]. 2004 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/

    • Vancouver

      Bravo Pariente CA. Gramáticas livres de contexto adaptativas com verificação de aparência [Internet]. 2004 ;[citado 2024 abr. 19 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-31032005-134438/

  • Dissertação (Mestrado)

    Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade (2003)

    Mattes, Leonardo; Zuffo, João Antonio (Orientador)

    Unidade: EP

    Subjects: SEGURANÇA DE REDES, MIDDLEWARE, LINGUAGENS FORMAIS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      MATTES, Leonardo. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. . Acesso em: 19 abr. 2024.

    • APA

      Mattes, L. (2003). Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.

    • NLM

      Mattes L. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003 ;[citado 2024 abr. 19 ]

    • Vancouver

      Mattes L. Análise de um gerente de segurança para middleware de multi-serviços sobre redes de alta velocidade. 2003 ;[citado 2024 abr. 19 ]

  • Relatorio tecnico

    Introdução às gramáticas adaptativas (2001)

    Iwai, Margarete Keiko; José Neto, João

    Unidade: EP

    Assunto: LINGUAGENS FORMAIS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      IWAI, Margarete Keiko e JOSÉ NETO, João. Introdução às gramáticas adaptativas. . São Paulo: EPUSP. . Acesso em: 19 abr. 2024. , 2001

    • APA

      Iwai, M. K., & José Neto, J. (2001). Introdução às gramáticas adaptativas. São Paulo: EPUSP.

    • NLM

      Iwai MK, José Neto J. Introdução às gramáticas adaptativas. 2001 ;[citado 2024 abr. 19 ]

    • Vancouver

      Iwai MK, José Neto J. Introdução às gramáticas adaptativas. 2001 ;[citado 2024 abr. 19 ]

  • Trabalho de evento

    Adaptive automata for independent autonomous navigation in unknown environment (2000)

    Almeida Junior, Jorge Rady de ; José Neto, João ; Hirakawa, André Riyuiti

    Source: Proceedings. Conference titles: Iasted International Conference-Applied Simulation and Modelling. Unidade: EP

    Assunto: LINGUAGENS FORMAIS

    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      ALMEIDA JUNIOR, Jorge Rady de e JOSÉ NETO, João e HIRAKAWA, André Riyuiti. Adaptive automata for independent autonomous navigation in unknown environment. 2000, Anais.. Ananheim: IASTED, 2000. . Acesso em: 19 abr. 2024.

    • APA

      Almeida Junior, J. R. de, José Neto, J., & Hirakawa, A. R. (2000). Adaptive automata for independent autonomous navigation in unknown environment. In Proceedings. Ananheim: IASTED.

    • NLM

      Almeida Junior JR de, José Neto J, Hirakawa AR. Adaptive automata for independent autonomous navigation in unknown environment. Proceedings. 2000 ;[citado 2024 abr. 19 ]

    • Vancouver

      Almeida Junior JR de, José Neto J, Hirakawa AR. Adaptive automata for independent autonomous navigation in unknown environment. Proceedings. 2000 ;[citado 2024 abr. 19 ]

1 - 20 (47 records)

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024