ReP USP - Resultado da busca

Dissertação (Mestrado)
Reconhecimento de padrões em redes complexas usando caminhadas determinísticas do turista (2023)
Merenda, João Vitor Bevilacqua de Souza; Bruno, Odemir Martinez (Orientador)
Unidade: IFSC
Assuntos: TEORIA DOS AUTÔMATOS, RECONHECIMENTO DE PADRÕES, REDES COMPLEXAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MERENDA, João Vitor Bevilacqua de Souza. Reconhecimento de padrões em redes complexas usando caminhadas determinísticas do turista. 2023. Dissertação (Mestrado) – Universidade de São Paulo, São Carlos, 2023. Disponível em: https://www.teses.usp.br/teses/disponiveis/76/76135/tde-12062023-084122/. Acesso em: 27 nov. 2025.
APA
Merenda, J. V. B. de S. (2023). Reconhecimento de padrões em redes complexas usando caminhadas determinísticas do turista (Dissertação (Mestrado). Universidade de São Paulo, São Carlos. Recuperado de https://www.teses.usp.br/teses/disponiveis/76/76135/tde-12062023-084122/
NLM
Merenda JVB de S. Reconhecimento de padrões em redes complexas usando caminhadas determinísticas do turista [Internet]. 2023 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/76/76135/tde-12062023-084122/
Vancouver
Merenda JVB de S. Reconhecimento de padrões em redes complexas usando caminhadas determinísticas do turista [Internet]. 2023 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/76/76135/tde-12062023-084122/
Monografia/livro
Essentials of formal languages and automata (2019)
Rosa, João Luís Garcia
Unidade: ICMC
Assuntos: LINGUAGENS FORMAIS, TEORIA DOS AUTÔMATOS
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: 27 nov. 2025. , 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 2025 nov. 27 ]
Vancouver
Rosa JLG. Essentials of formal languages and automata. 2019 ;[citado 2025 nov. 27 ]
Dissertação (Mestrado)
Autômatos sincronizados e a Conjectura de Cerný (2013)
Gindri, Letícia; Mandel, Arnaldo (Orientador)
Unidade: IME
Assunto: TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GINDRI, Letícia. Autômatos sincronizados e a Conjectura de Cerný. 2013. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244. Acesso em: 27 nov. 2025.
APA
Gindri, L. (2013). Autômatos sincronizados e a Conjectura de Cerný (Dissertação (Mestrado). 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. Autômatos sincronizados e a Conjectura de Cerný [Internet]. 2013 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244
Vancouver
Gindri L. Autômatos sincronizados e a Conjectura de Cerný [Internet]. 2013 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-28082013-101244
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
Assuntos: TEORIA DOS AUTÔMATOS, APRENDIZADO COMPUTACIONAL, LINGUAGENS FORMAIS
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: 27 nov. 2025.
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 2025 nov. 27 ] 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 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/
Tese (Doutorado)
Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas (2011)
Barros Neto, Leoncio Claro de; Massola, Antônio Marcos de Aguirra (Orientador)
Unidade: EP
Assuntos: COMPUTAÇÃO RECONFIGURÁVEL, GEOMETRIA E MODELAGEM COMPUTACIONAL, RECONHECIMENTO DE PADRÕES, TEORIA DOS AUTÔMATOS, ERRO (FALHAS COMPUTACIONAIS) (RECUPERAÇÃO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BARROS NETO, Leoncio Claro de. Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082011-135522/. Acesso em: 27 nov. 2025.
APA
Barros Neto, L. C. de. (2011). Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082011-135522/
NLM
Barros Neto LC de. Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas [Internet]. 2011 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082011-135522/
Vancouver
Barros Neto LC de. Modelagem em geometria digital aprimorada por técnicas adaptativas de segmentos de retas [Internet]. 2011 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082011-135522/
Trabalho de evento
Adaptive finite automation: a new algebraic approach (2011)
Silva Filho, Reginaldo Inojosa; Rocha, Ricardo Luis de Azevedo da
Fonte: Lecture Notes on Computer Science. Nome do evento: International Conference on Adaptive and Natural Computing Algorithms. Unidade: EP
Assunto: TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA FILHO, Reginaldo Inojosa e ROCHA, Ricardo Luis de Azevedo da. Adaptive finite automation: a new algebraic approach. 2011, Anais.. Ljubljana: Escola Politécnica, Universidade de São Paulo, 2011. . Acesso em: 27 nov. 2025.
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: Escola Politécnica, Universidade de São Paulo.
NLM
Silva Filho RI, Rocha RL de A da. Adaptive finite automation: a new algebraic approach. Lecture Notes on Computer Science. 2011 ;[citado 2025 nov. 27 ]
Vancouver
Silva Filho RI, Rocha RL de A da. Adaptive finite automation: a new algebraic approach. Lecture Notes on Computer Science. 2011 ;[citado 2025 nov. 27 ]
Artigo de periodico
Partial actions and automata (2011)
Dokuchaev, Michael ; Novikov, B; Zholtkevych, G
Fonte: Algebra and Discrete Mathematics. Unidade: IME
Assunto: TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DOKUCHAEV, Michael e NOVIKOV, B e ZHOLTKEVYCH, G. Partial actions and automata. Algebra and Discrete Mathematics, v. 11, n. 2, p. 51-63, 2011Tradução . . Disponível em: http://www.mathnet.ru/links/b80448f0a1cf0a3e9b5985cebb71332e/adm10.pdf. Acesso em: 27 nov. 2025.
APA
Dokuchaev, M., Novikov, B., & Zholtkevych, G. (2011). Partial actions and automata. Algebra and Discrete Mathematics, 11( 2), 51-63. Recuperado de http://www.mathnet.ru/links/b80448f0a1cf0a3e9b5985cebb71332e/adm10.pdf
NLM
Dokuchaev M, Novikov B, Zholtkevych G. Partial actions and automata [Internet]. Algebra and Discrete Mathematics. 2011 ;11( 2): 51-63.[citado 2025 nov. 27 ] Available from: http://www.mathnet.ru/links/b80448f0a1cf0a3e9b5985cebb71332e/adm10.pdf
Vancouver
Dokuchaev M, Novikov B, Zholtkevych G. Partial actions and automata [Internet]. Algebra and Discrete Mathematics. 2011 ;11( 2): 51-63.[citado 2025 nov. 27 ] Available from: http://www.mathnet.ru/links/b80448f0a1cf0a3e9b5985cebb71332e/adm10.pdf
Relatorio tecnico
From business process model and notation to stochastic automata network (2011)
Braghetto, Kelly Rosa ; Ferreira, João Eduardo ; Vincent, Jean-Marc
Unidade: IME
Assunto: TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
BRAGHETTO, Kelly Rosa e FERREIRA, João Eduardo e VINCENT, Jean-Marc. From business process model and notation to stochastic automata network. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/2216952.pdf. Acesso em: 27 nov. 2025. , 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. Recuperado de https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/2216952.pdf
NLM
Braghetto KR, Ferreira JE, Vincent J-M. From business process model and notation to stochastic automata network [Internet]. 2011 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/2216952.pdf
Vancouver
Braghetto KR, Ferreira JE, Vincent J-M. From business process model and notation to stochastic automata network [Internet]. 2011 ;[citado 2025 nov. 27 ] Available from: https://repositorio.usp.br/directbitstream/e59c91f4-9e40-4d65-b65a-725c030f2041/2216952.pdf
Dissertação (Mestrado)
Proposta de integração entre tecnologias adaptativas e algoritmos genéticos (2009)
Lopes, Victor Dias; Rocha, Ricardo Luis de Azevedo da (Orientador)
Unidade: EP
Assuntos: ALGORITMOS GENÉTICOS, INTELIGÊNCIA ARTIFICIAL, TEORIA DA COMPUTAÇÃO, TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
LOPES, Victor Dias. Proposta de integração entre tecnologias adaptativas e algoritmos genéticos. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-01072009-133614/. Acesso em: 27 nov. 2025.
APA
Lopes, V. D. (2009). Proposta de integração entre tecnologias adaptativas e algoritmos genéticos (Dissertação (Mestrado). 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. Proposta de integração entre tecnologias adaptativas e algoritmos genéticos [Internet]. 2009 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-01072009-133614/
Vancouver
Lopes VD. Proposta de integração entre tecnologias adaptativas e algoritmos genéticos [Internet]. 2009 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-01072009-133614/
Dissertação (Mestrado)
Um ambiente paralelo para implementação de modelos adaptativos (2008)
Garanhani, César Eduardo Cavani; Rocha, Ricardo Luis de Azevedo da (Orientador)
Unidade: EP
Assunto: TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GARANHANI, César Eduardo Cavani. Um ambiente paralelo para implementação de modelos adaptativos. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29012009-105609/. Acesso em: 27 nov. 2025.
APA
Garanhani, C. E. C. (2008). Um ambiente paralelo para implementação de modelos adaptativos (Dissertação (Mestrado). 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. Um ambiente paralelo para implementação de modelos adaptativos [Internet]. 2008 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29012009-105609/
Vancouver
Garanhani CEC. Um ambiente paralelo para implementação de modelos adaptativos [Internet]. 2008 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29012009-105609/
Dissertação (Mestrado)
Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos (2008)
Shibata, Danilo Picagli; Rocha, Ricardo Luis de Azevedo da (Orientador)
Unidade: EP
Assuntos: TRADUÇÃO AUTOMÁTICA, LINGUAGEM NATURAL, ALFABETO FONÉTICO, TEORIA DOS AUTÔMATOS, SÍNTESE DE FALA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SHIBATA, Danilo Picagli. Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos. 2008. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2008. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-30052008-101100/. Acesso em: 27 nov. 2025.
APA
Shibata, D. P. (2008). Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos (Dissertação (Mestrado). 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. Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos [Internet]. 2008 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-30052008-101100/
Vancouver
Shibata DP. Tradução grafema-fonema para a língua portuguesa baseada em autômatos adaptativos [Internet]. 2008 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-30052008-101100/
Tese (Doutorado)
Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa (2006)
Moraes, Miryam de; José Neto, João (Orientador)
Unidade: EP
Assuntos: LINGUAGEM NATURAL, SINTAXE E SEMÂNTICA DA LINGUAGEM NATURAL, TEORIA DOS AUTÔMATOS, GRAMÁTICAS FORMAIS POR COMPUTADOR
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MORAES, Miryam de. Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa. 2006. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-28052007-174355/. Acesso em: 27 nov. 2025.
APA
Moraes, M. de. (2006). Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa (Tese (Doutorado). 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. Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa [Internet]. 2006 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-28052007-174355/
Vancouver
Moraes M de. Alguns aspectos de tratamento de dependências de contexto em linguagem natural empregando tecnologia adaptativa [Internet]. 2006 ;[citado 2025 nov. 27 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-28052007-174355/
Dissertação (Mestrado)
Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos (2006)
Sousa, Miguel Angelo de Abreu de; Hirakawa, André Riyuiti (Orientador)
Unidade: EP
Assuntos: ROBÓTICA, TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Miguel Angelo de Abreu de. Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102024-105359/pt-br.php. Acesso em: 27 nov. 2025.
APA
Sousa, M. A. de A. de. (2006). Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102024-105359/pt-br.php
NLM
Sousa MA de A de. Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos [Internet]. 2006 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102024-105359/pt-br.php
Vancouver
Sousa MA de A de. Mapeamento de ambientes desconhecidos por robôs móveis utilizando autômatos adaptativos [Internet]. 2006 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102024-105359/pt-br.php
Trabalho de evento-anais periodico
From active names to π-calculus rewriting rules (2005)
Melo, Ana Cristina Vieira de
Fonte: Electronic Notes in Theoretical Computer Science. Nome do evento: Brazilian Symposium on Formal Methods - SBMF. Unidade: IME
Assuntos: TEORIA DOS AUTÔMATOS, MODELOS MATEMÁTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELO, Ana Cristina Vieira de. From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. Disponível em: https://doi.org/10.1016/j.entcs.2005.03.010. Acesso em: 27 nov. 2025. , 2005
APA
Melo, A. C. V. de. (2005). From active names to π-calculus rewriting rules. Electronic Notes in Theoretical Computer Science. Amsterdam: Instituto de Matemática e Estatística, Universidade de São Paulo. doi:10.1016/j.entcs.2005.03.010
NLM
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010
Vancouver
Melo ACV de. From active names to π-calculus rewriting rules [Internet]. Electronic Notes in Theoretical Computer Science. 2005 ; 130 169-185.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1016/j.entcs.2005.03.010
Relatorio tecnico
Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos (2003)
Oliveira, Ítalo Romani de ; Cugnasca, Paulo Sérgio
Unidade: EP
Assuntos: TEORIA DOS AUTÔMATOS, TRÁFEGO AÉREO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Ítalo Romani de e CUGNASCA, Paulo Sérgio. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. . São Paulo: EPUSP. . Acesso em: 27 nov. 2025. , 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 ;[citado 2025 nov. 27 ]
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 ;[citado 2025 nov. 27 ]
Dissertação (Mestrado)
Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos (2003)
Oliveira, Ítalo Romani de ; Cugnasca, Paulo Sérgio (Orientador)
Unidade: EP
Assuntos: TEORIA DOS AUTÔMATOS, TRÁFEGO AÉREO (SEGURANÇA), CONTROLE (TEORIA DE SISTEMAS E CONTROLE)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Ítalo Romani de. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos. 2003. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2003. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17102024-113659/pt-br.php. Acesso em: 27 nov. 2025.
APA
Oliveira, Í. R. de. (2003). Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17102024-113659/pt-br.php
NLM
Oliveira ÍR de. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos [Internet]. 2003 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17102024-113659/pt-br.php
Vancouver
Oliveira ÍR de. Verificação de segurança em confluência de trajetórias de aeronaves utilizando autômatos híbridos [Internet]. 2003 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-17102024-113659/pt-br.php
Dissertação (Mestrado)
Formalismos adaptativos na análise sintática de linguagem natural (2002)
Taniwaki, Célia Yumi Okano; José Neto, João (Orientador)
Unidade: EP
Assuntos: PROCESSAMENTO DE LINGUAGEM NATURAL, TEORIA DOS AUTÔMATOS, ANÁLISE SINTÁTICA DE LINGUAGENS DETERMINÍSTICAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TANIWAKI, Célia Yumi Okano. Formalismos adaptativos na análise sintática de linguagem natural. 2002. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2002. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-25092024-113235/pt-br.php. Acesso em: 27 nov. 2025.
APA
Taniwaki, C. Y. O. (2002). Formalismos adaptativos na análise sintática de linguagem natural (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3141/tde-25092024-113235/pt-br.php
NLM
Taniwaki CYO. Formalismos adaptativos na análise sintática de linguagem natural [Internet]. 2002 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-25092024-113235/pt-br.php
Vancouver
Taniwaki CYO. Formalismos adaptativos na análise sintática de linguagem natural [Internet]. 2002 ;[citado 2025 nov. 27 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-25092024-113235/pt-br.php
Artigo de periodico
On semigroups of matrices over the tropical semiring (1994)
Simon, Imre
Fonte: RAIRO - Theoretical Informatics and Applications. Unidade: IME
Assuntos: SEMIGRUPOS (COMBINATÓRIA), TEORIA DOS AUTÔMATOS
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, v. 28, n. 3-4, p. 277-294, 1994Tradução . . Disponível em: https://doi.org/10.1051/ita/1994283-402771. Acesso em: 27 nov. 2025.
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.[citado 2025 nov. 27 ] Available from: https://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.[citado 2025 nov. 27 ] Available from: https://doi.org/10.1051/ita/1994283-402771
Trabalho de evento
The product of rational languages (1993)
Simon, Imre
Fonte: Proceedings. Nome do evento: International Colloquium on Automata, Languages, and Programming - ICALP. Unidade: IME
Assuntos: LINGUAGENS FORMAIS, TEORIA DOS AUTÔMATOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIMON, Imre. The product of rational languages. 1993, Anais.. Berlin: Springer, 1993. Disponível em: https://doi.org/10.1007/3-540-56939-1_92. Acesso em: 27 nov. 2025.
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 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/3-540-56939-1_92
Vancouver
Simon I. The product of rational languages [Internet]. Proceedings. 1993 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/3-540-56939-1_92
Trabalho de evento
Properties of recognizable M-subsets of a free monoid (1992)
Kobayashi, Nami
Fonte: Proceedings. Nome do evento: Latin American Symposium on Theoretical Informatics - LATIN '92. Unidade: IME
Assuntos: AUTÔMATOS FINITOS, TEORIA DOS AUTÔMATOS, LINGUAGENS FORMAIS
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. 1992, Anais.. Berlin: Springer, 1992. Disponível em: https://doi.org/10.1007/BFb0023838. Acesso em: 27 nov. 2025.
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 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/BFb0023838
Vancouver
Kobayashi N. Properties of recognizable M-subsets of a free monoid [Internet]. Proceedings. 1992 ;[citado 2025 nov. 27 ] Available from: https://doi.org/10.1007/BFb0023838

Unidades USP

ReP

Filtros

Tipo de material

Departamento

Autores

Autores USP

Ano de publicação

Assuntos

Título da fonte

Editora

Nome do evento

País de publicação

Agência de fomento

Área de concentração