Filtros : "TEORIA DOS AUTÔMATOS" Limpar

Filtros



Refine with date range

Vocabulário Controlado do SIBiUSP


  • 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. [S.l: s.n.], 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 ;
    • Vancouver

      Rosa JLG. Essentials of formal languages and automata. 2019 ;
  • Unidade: IME

    Assunto: TEORIA DOS AUTÔMATOS

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

      GINDRI, Letícia; MANDEL, Arnaldo. Autômatos sincronizados e a Conjectura de Cerný. 2013.Universidade de São Paulo, São Paulo, 2013. Disponível em: < http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244 >.
    • APA

      Gindri, L., & Mandel, A. (2013). Autômatos sincronizados e a Conjectura de Cerný. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244
    • NLM

      Gindri L, Mandel A. Autômatos sincronizados e a Conjectura de Cerný [Internet]. 2013 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244
    • Vancouver

      Gindri L, Mandel A. Autômatos sincronizados e a Conjectura de Cerný [Internet]. 2013 ;Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244
  • 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; ROCHA, Ricardo Luis de Azevedo 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.Universidade de São Paulo, São Paulo, 2012. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/pt-br.php >.
    • APA

      Silva Filho, R. I. da, & Rocha, R. L. de A. 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. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/pt-br.php
    • NLM

      Silva Filho RI da, Rocha RL de A 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 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/pt-br.php
    • Vancouver

      Silva Filho RI da, Rocha RL de A 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 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/pt-br.php
  • Unidade: EP

    Subjects: COMPUTAÇÃO RECONFIGURÁVEL, GEOMETRIA E MODELAGEM COMPUTACIONAL, RECONHECIMENTO DE PADRÕES, TEORIA DOS AUTÔMATOS, ERRO (FALHAS COMPUTACIONAIS) (RECUPERAÇÃO)

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

      BARROS NETO, Leoncio Claro de; MASSOLA, Antônio Marcos de Aguirra. Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas. 2011.Universidade de São Paulo, São Paulo, 2011. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082011-135522/pt-br.php >.
    • APA

      Barros Neto, L. C. de, & Massola, A. M. de A. (2011). Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082011-135522/pt-br.php
    • NLM

      Barros Neto LC de, Massola AM de A. Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas [Internet]. 2011 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082011-135522/pt-br.php
    • Vancouver

      Barros Neto LC de, Massola AM de A. Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas [Internet]. 2011 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082011-135522/pt-br.php
  • Unidade: IME

    Assunto: TEORIA DOS AUTÔMATOS

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

      BRAGHETTO, Kelly Rosa; FERREIRA, João Eduardo; VINCENT, Jean-Marc. From business process model and notation to stochastic automata network. [S.l: s.n.], 2011.
    • APA

      Braghetto, K. R., Ferreira, J. E., & Vincent, J. -M. (2011). From business process model and notation to stochastic automata network. São Paulo: IME-USP.
    • NLM

      Braghetto KR, Ferreira JE, Vincent J-M. From business process model and notation to stochastic automata network. 2011 ;
    • Vancouver

      Braghetto KR, Ferreira JE, Vincent J-M. From business process model and notation to stochastic automata network. 2011 ;
  • Source: Lecture Notes on Computer Science. Conference titles: International Conference on Adaptive and Natural Computing Algorithms. Unidade: EP

    Assunto: TEORIA DOS AUTÔMATOS

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

      SILVA FILHO, Reginaldo Inojosa; ROCHA, Ricardo Luis de Azevedo da. Adaptive finite automation: a new algebraic approach. Anais.. Ljubljana: [s.n.], 2011.
    • APA

      Silva Filho, R. I., & Rocha, R. L. de A. da. (2011). Adaptive finite automation: a new algebraic approach. In Lecture Notes on Computer Science. Ljubljana.
    • NLM

      Silva Filho RI, Rocha RL de A da. Adaptive finite automation: a new algebraic approach. Lecture Notes on Computer Science. 2011 ;
    • Vancouver

      Silva Filho RI, Rocha RL de A da. Adaptive finite automation: a new algebraic approach. Lecture Notes on Computer Science. 2011 ;
  • Source: Algebra and Discrete Mathematics. Unidade: IME

    Assunto: TEORIA DOS AUTÔMATOS

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

      DOKUCHAEV, Michael; NOVIKOV, B; ZHOLTKEVYCH, G. Partial actions and automata. Algebra and Discrete Mathematics, Lugansk, v. 11, n. 2, p. 51-63, 2011.
    • APA

      Dokuchaev, M., Novikov, B., & zholtkevych, G. (2011). Partial actions and automata. Algebra and Discrete Mathematics, 11( 2), 51-63.
    • NLM

      Dokuchaev M, Novikov B, zholtkevych G. Partial actions and automata. Algebra and Discrete Mathematics. 2011 ;11( 2): 51-63.
    • Vancouver

      Dokuchaev M, Novikov B, zholtkevych G. Partial actions and automata. Algebra and Discrete Mathematics. 2011 ;11( 2): 51-63.
  • Unidade: EP

    Subjects: ALGORITMOS GENÉTICOS, INTELIGÊNCIA ARTIFICIAL, TEORIA DA COMPUTAÇÃO, TEORIA DOS AUTÔMATOS

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

      LOPES, Victor Dias; ROCHA, Ricardo Luis de Azevedo da. Proposta de integração entre tecnologias adaptativas e algoritmos genéticos. 2009.Universidade de São Paulo, São Paulo, 2009. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-01072009-133614/ >.
    • APA

      Lopes, V. D., & Rocha, R. L. de A. da. (2009). Proposta de integração entre tecnologias adaptativas e algoritmos genéticos. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-01072009-133614/
    • NLM

      Lopes VD, Rocha RL de A da. Proposta de integração entre tecnologias adaptativas e algoritmos genéticos [Internet]. 2009 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-01072009-133614/
    • Vancouver

      Lopes VD, Rocha RL de A da. Proposta de integração entre tecnologias adaptativas e algoritmos genéticos [Internet]. 2009 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-01072009-133614/
  • Unidade: EP

    Assunto: TEORIA DOS AUTÔMATOS

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

      GARANHANI, César Eduardo Cavani; ROCHA, Ricardo Luis de Azevedo da. Um ambiente paralelo para implementação de modelos adaptativos. 2008.Universidade de São Paulo, São Paulo, 2008. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29012009-105609/ >.
    • APA

      Garanhani, C. E. C., & Rocha, R. L. de A. da. (2008). Um ambiente paralelo para implementação de modelos adaptativos. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29012009-105609/
    • NLM

      Garanhani CEC, Rocha RL de A da. Um ambiente paralelo para implementação de modelos adaptativos [Internet]. 2008 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29012009-105609/
    • Vancouver

      Garanhani CEC, Rocha RL de A da. Um ambiente paralelo para implementação de modelos adaptativos [Internet]. 2008 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29012009-105609/
  • Unidade: EP

    Subjects: TRADUÇÃO AUTOMÁTICA, LINGUAGEM NATURAL, ALFABETO FONÉTICO, TEORIA DOS AUTÔMATOS, SÍNTESE DE FALA

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

      SHIBATA, Danilo Picagli; ROCHA, Ricardo Luis de Azevedo da. Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos. 2008.Universidade de São Paulo, São Paulo, 2008. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-30052008-101100/ >.
    • APA

      Shibata, D. P., & Rocha, R. L. de A. da. (2008). Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-30052008-101100/
    • NLM

      Shibata DP, Rocha RL de A da. Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos [Internet]. 2008 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-30052008-101100/
    • Vancouver

      Shibata DP, Rocha RL de A da. Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos [Internet]. 2008 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-30052008-101100/
  • Unidade: EP

    Subjects: LINGUAGEM NATURAL, SINTAXE E SEMÂNTICA DA LINGUAGEM NATURAL, TEORIA DOS AUTÔMATOS, GRAMÁTICAS FORMAIS POR COMPUTADOR

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

      MORAES, Miryam de; JOSÉ NETO, João. Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa. 2006.Universidade de São Paulo, São Paulo, 2006. Disponível em: < http://www.teses.usp.br/teses/disponiveis/3/3141/tde-28052007-174355/ >.
    • APA

      Moraes, M. de, & José Neto, J. (2006). Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa. Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-28052007-174355/
    • NLM

      Moraes M de, José Neto J. Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa [Internet]. 2006 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-28052007-174355/
    • Vancouver

      Moraes M de, José Neto J. Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa [Internet]. 2006 ;Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-28052007-174355/
  • Unidade: EP

    Subjects: ROBÓTICA, TEORIA DOS AUTÔMATOS

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

      SOUSA, Miguel Angelo de Abreu de; HIRAKAWA, André Riyuiti. Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos. 2006.Universidade de São Paulo, São Paulo, 2006.
    • APA

      Sousa, M. A. de A. de, & Hirakawa, A. R. (2006). Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos. Universidade de São Paulo, São Paulo.
    • NLM

      Sousa MA de A de, Hirakawa AR. Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos. 2006 ;
    • Vancouver

      Sousa MA de A de, Hirakawa AR. Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos. 2006 ;
  • Unidade: EP

    Subjects: TEORIA DOS AUTÔMATOS, TRÁFEGO AÉREO

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

      OLIVEIRA, Ítalo Romani de; CUGNASCA, Paulo Sérgio. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. [S.l: s.n.], 2003.
    • APA

      Oliveira, Í. R. de, & Cugnasca, P. S. (2003). Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. São Paulo: EPUSP.
    • NLM

      Oliveira ÍR de, Cugnasca PS. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003 ;
    • Vancouver

      Oliveira ÍR de, Cugnasca PS. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003 ;
  • Unidade: EP

    Subjects: TEORIA DOS AUTÔMATOS, TRÁFEGO AÉREO (SEGURANÇA), CONTROLE (TEORIA DE SISTEMAS E CONTROLE)

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

      OLIVEIRA, Ítalo Romani de; CUGNASCA, Paulo Sérgio. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003.Universidade de São Paulo, São Paulo, 2003.
    • APA

      Oliveira, Í. R. de, & Cugnasca, P. S. (2003). Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. Universidade de São Paulo, São Paulo.
    • NLM

      Oliveira ÍR de, Cugnasca PS. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003 ;
    • Vancouver

      Oliveira ÍR de, Cugnasca PS. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003 ;
  • Unidade: EP

    Subjects: PROCESSAMENTO DE LINGUAGEM NATURAL, TEORIA DOS AUTÔMATOS, ANÁLISE SINTÁTICA DE LINGUAGENS DETERMINÍSTICAS

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

      TANIWAKI, Célia Yumi Okano; JOSÉ NETO, João. Formalismos adaptativos na análise sintática de linguagem natural. 2002.Universidade de São Paulo, São Paulo, 2002.
    • APA

      Taniwaki, C. Y. O., & José Neto, J. (2002). Formalismos adaptativos na análise sintática de linguagem natural. Universidade de São Paulo, São Paulo.
    • NLM

      Taniwaki CYO, José Neto J. Formalismos adaptativos na análise sintática de linguagem natural. 2002 ;
    • Vancouver

      Taniwaki CYO, José Neto J. Formalismos adaptativos na análise sintática de linguagem natural. 2002 ;
  • Source: RAIRO - Theoretical Informatics and Applications. Unidade: IME

    Subjects: SEMIGRUPOS (COMBINATÓRIA), TEORIA DOS AUTÔMATOS

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

      SIMON, Imre. On semigroups of matrices over the tropical semiring. RAIRO - Theoretical Informatics and Applications, Les Ulis, v. 28, n. 3-4, p. 277-294, 1994. Disponível em: < https://dx.doi.org/10.1051/ita/1994283-402771 > DOI: 10.1051/ita/1994283-402771.
    • APA

      Simon, I. (1994). On semigroups of matrices over the tropical semiring. RAIRO - Theoretical Informatics and Applications, 28( 3-4), 277-294. doi:10.1051/ita/1994283-402771
    • NLM

      Simon I. On semigroups of matrices over the tropical semiring [Internet]. RAIRO - Theoretical Informatics and Applications. 1994 ; 28( 3-4): 277-294.Available from: https://dx.doi.org/10.1051/ita/1994283-402771
    • Vancouver

      Simon I. On semigroups of matrices over the tropical semiring [Internet]. RAIRO - Theoretical Informatics and Applications. 1994 ; 28( 3-4): 277-294.Available from: https://dx.doi.org/10.1051/ita/1994283-402771
  • Source: Proceedings. Conference titles: International Colloquium on Automata, Languages, and Programming - ICALP. Unidade: IME

    Subjects: LINGUAGENS FORMAIS, TEORIA DOS AUTÔMATOS

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

      SIMON, Imre. The product of rational languages. Anais.. Berlin: Springer, 1993.Disponível em: DOI: 10.1007/3-540-56939-1_92.
    • APA

      Simon, I. (1993). The product of rational languages. In Proceedings. Berlin: Springer. doi:10.1007/3-540-56939-1_92
    • NLM

      Simon I. The product of rational languages [Internet]. Proceedings. 1993 ;Available from: https://dx.doi.org/10.1007/3-540-56939-1_92
    • Vancouver

      Simon I. The product of rational languages [Internet]. Proceedings. 1993 ;Available from: https://dx.doi.org/10.1007/3-540-56939-1_92
  • Source: Proceedings. Conference titles: Latin American Symposium on Theoretical Informatics - LATIN '92. Unidade: IME

    Subjects: AUTÔMATOS FINITOS, TEORIA DOS AUTÔMATOS, LINGUAGENS FORMAIS

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

      KOBAYASHI, Nami. Properties of recognizable M-subsets of a free monoid. Anais.. Berlin: Springer, 1992.Disponível em: DOI: 10.1007/BFb0023838.
    • APA

      Kobayashi, N. (1992). Properties of recognizable M-subsets of a free monoid. In Proceedings. Berlin: Springer. doi:10.1007/BFb0023838
    • NLM

      Kobayashi N. Properties of recognizable M-subsets of a free monoid [Internet]. Proceedings. 1992 ;Available from: https://dx.doi.org/10.1007/BFb0023838
    • Vancouver

      Kobayashi N. Properties of recognizable M-subsets of a free monoid [Internet]. Proceedings. 1992 ;Available from: https://dx.doi.org/10.1007/BFb0023838
  • Source: Proceedings. Conference titles: GI Conference: Automata Theory and Formal Languages:. Unidade: IME

    Subjects: SEMIGRUPOS (COMBINATÓRIA), TEORIA DOS AUTÔMATOS

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

      SIMON, Imre. Piecewise testable events. Anais.. Berlin: Springer, 1975.
    • APA

      Simon, I. (1975). Piecewise testable events. In Proceedings. Berlin: Springer.
    • NLM

      Simon I. Piecewise testable events. Proceedings. 1975 ;
    • Vancouver

      Simon I. Piecewise testable events. Proceedings. 1975 ;
  • Source: Discrete Mathematics. Unidade: IME

    Assunto: TEORIA DOS AUTÔMATOS

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

      BRZOZOWSKI, Janusz A; SIMON, Imre. Characterizations of locally testable events. Discrete Mathematics, Amsterdam, Elsevier, v. 4, n. 3 , p. 243-271 , 1973. Disponível em: < https://doi.org/10.1016/S0012-365X(73)80005-6 > DOI: 10.1016/S0012-365X(73)80005-6.
    • APA

      Brzozowski, J. A., & Simon, I. (1973). Characterizations of locally testable events. Discrete Mathematics, 4( 3 ), 243-271 . doi:10.1016/S0012-365X(73)80005-6
    • NLM

      Brzozowski JA, Simon I. Characterizations of locally testable events [Internet]. Discrete Mathematics. 1973 ; 4( 3 ): 243-271 .Available from: https://doi.org/10.1016/S0012-365X(73)80005-6
    • Vancouver

      Brzozowski JA, Simon I. Characterizations of locally testable events [Internet]. Discrete Mathematics. 1973 ; 4( 3 ): 243-271 .Available from: https://doi.org/10.1016/S0012-365X(73)80005-6

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