Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Linguagens formais). Showing records 1 – 30 of 41 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Universidade Estadual de Campinas

1. Preto, Sandro Márcio da Silva, 1988-. Lógica, probabilidade e consequência .

Degree: 2015, Universidade Estadual de Campinas

 Resumo: Uma das maneiras conhecidas de representar a incerteza é através das probabilidades. Para estudar o raciocínio sob incerteza deste ponto de vista, mostramos como… (more)

Subjects/Keywords: Lógica; Linguagens formais - Semântica; Probabilidades

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Preto, Sandro Márcio da Silva, 1. (2015). Lógica, probabilidade e consequência . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/279772

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Preto, Sandro Márcio da Silva, 1988-. “Lógica, probabilidade e consequência .” 2015. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/279772.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Preto, Sandro Márcio da Silva, 1988-. “Lógica, probabilidade e consequência .” 2015. Web. 23 Oct 2019.

Vancouver:

Preto, Sandro Márcio da Silva 1. Lógica, probabilidade e consequência . [Internet] [Thesis]. Universidade Estadual de Campinas; 2015. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279772.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Preto, Sandro Márcio da Silva 1. Lógica, probabilidade e consequência . [Thesis]. Universidade Estadual de Campinas; 2015. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279772

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Rio Grande do Norte

2. Costa, Valdigleis da Silva. Linguagens lineares fuzzy .

Degree: 2016, Universidade do Rio Grande do Norte

 Formal languages defined in the late 50’s play an important role in computer science, especially for applications in lexical and syntactic analysis in the construction… (more)

Subjects/Keywords: Linguagens formais; Linguagens lineares; Autômatos lineares; Linguagens fuzzy; Autômatos fuzzy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Costa, V. d. S. (2016). Linguagens lineares fuzzy . (Masters Thesis). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/25642

Chicago Manual of Style (16th Edition):

Costa, Valdigleis da Silva. “Linguagens lineares fuzzy .” 2016. Masters Thesis, Universidade do Rio Grande do Norte. Accessed October 23, 2019. http://repositorio.ufrn.br/handle/123456789/25642.

MLA Handbook (7th Edition):

Costa, Valdigleis da Silva. “Linguagens lineares fuzzy .” 2016. Web. 23 Oct 2019.

Vancouver:

Costa VdS. Linguagens lineares fuzzy . [Internet] [Masters thesis]. Universidade do Rio Grande do Norte; 2016. [cited 2019 Oct 23]. Available from: http://repositorio.ufrn.br/handle/123456789/25642.

Council of Science Editors:

Costa VdS. Linguagens lineares fuzzy . [Masters Thesis]. Universidade do Rio Grande do Norte; 2016. Available from: http://repositorio.ufrn.br/handle/123456789/25642


Universidade Estadual de Campinas

3. Bonifácio, Adilson Luiz. Verificação e sintese de sistemas hibridos .

Degree: 2000, Universidade Estadual de Campinas

 Resumo: Sistemas distribuídos híbridos advêm da interconexão de sistemas de dinâmica contínua com sistemas de dinâmica discreta. A noção de autômatos híbridos oferece meios para… (more)

Subjects/Keywords: Linguagens formais; Modelagem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bonifácio, A. L. (2000). Verificação e sintese de sistemas hibridos . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/275910

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bonifácio, Adilson Luiz. “Verificação e sintese de sistemas hibridos .” 2000. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/275910.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bonifácio, Adilson Luiz. “Verificação e sintese de sistemas hibridos .” 2000. Web. 23 Oct 2019.

Vancouver:

Bonifácio AL. Verificação e sintese de sistemas hibridos . [Internet] [Thesis]. Universidade Estadual de Campinas; 2000. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/275910.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bonifácio AL. Verificação e sintese de sistemas hibridos . [Thesis]. Universidade Estadual de Campinas; 2000. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/275910

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade de Brasília

4. Leandro Antunes Mariosi. Constituição sintética ou analítica? : o risco dos discursos de reescrita legislativa e a dinâmica constitucional brasileira.

Degree: 2010, Universidade de Brasília

Nas últimas duas décadas, a Constituição brasileira tem sido continuamente reescrita. Considerada analítica, ela é amiúde apontada como obstáculo à evolução política e à governabilidade.… (more)

Subjects/Keywords: contituições; linguagens formais; poder constituinte; DIREITO

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mariosi, L. A. (2010). Constituição sintética ou analítica? : o risco dos discursos de reescrita legislativa e a dinâmica constitucional brasileira. (Thesis). Universidade de Brasília. Retrieved from http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6621

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mariosi, Leandro Antunes. “Constituição sintética ou analítica? : o risco dos discursos de reescrita legislativa e a dinâmica constitucional brasileira.” 2010. Thesis, Universidade de Brasília. Accessed October 23, 2019. http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6621.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mariosi, Leandro Antunes. “Constituição sintética ou analítica? : o risco dos discursos de reescrita legislativa e a dinâmica constitucional brasileira.” 2010. Web. 23 Oct 2019.

Vancouver:

Mariosi LA. Constituição sintética ou analítica? : o risco dos discursos de reescrita legislativa e a dinâmica constitucional brasileira. [Internet] [Thesis]. Universidade de Brasília; 2010. [cited 2019 Oct 23]. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6621.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mariosi LA. Constituição sintética ou analítica? : o risco dos discursos de reescrita legislativa e a dinâmica constitucional brasileira. [Thesis]. Universidade de Brasília; 2010. Available from: http://bdtd.bce.unb.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=6621

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

5. Colle, Cleber Fernando, 1985-. Uma forma alfabética fraca da conjectura de Nivat .

Degree: 2017, Universidade Estadual de Campinas

 Resumo: Neste trabalho, ao considerar a versão alfabética do Teorema de Morse-Hedlund, provamos algumas formas fracas da Conjectura de Nivat e evidenciamos alguns problemas em… (more)

Subjects/Keywords: Análise combinatória; Linguagens formais; Dinâmica simbólica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Colle, Cleber Fernando, 1. (2017). Uma forma alfabética fraca da conjectura de Nivat . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/331611

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Colle, Cleber Fernando, 1985-. “Uma forma alfabética fraca da conjectura de Nivat .” 2017. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/331611.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Colle, Cleber Fernando, 1985-. “Uma forma alfabética fraca da conjectura de Nivat .” 2017. Web. 23 Oct 2019.

Vancouver:

Colle, Cleber Fernando 1. Uma forma alfabética fraca da conjectura de Nivat . [Internet] [Thesis]. Universidade Estadual de Campinas; 2017. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/331611.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Colle, Cleber Fernando 1. Uma forma alfabética fraca da conjectura de Nivat . [Thesis]. Universidade Estadual de Campinas; 2017. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/331611

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

6. de Almeida Xavier, Manuela. Definição e implementação do sistema de tipos da linguagem circus .

Degree: 2006, Universidade Federal de Pernambuco

 A busca constante pelo desenvolvimento de sistemas de software com qualidade vem despertando o interesse das grandes empresas na aplicação de técnicas formais. Dentre as… (more)

Subjects/Keywords: Linguagens formais; Concorrência; Métodos formais; Ferramentas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

de Almeida Xavier, M. (2006). Definição e implementação do sistema de tipos da linguagem circus . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/2613

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

de Almeida Xavier, Manuela. “Definição e implementação do sistema de tipos da linguagem circus .” 2006. Thesis, Universidade Federal de Pernambuco. Accessed October 23, 2019. http://repositorio.ufpe.br/handle/123456789/2613.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

de Almeida Xavier, Manuela. “Definição e implementação do sistema de tipos da linguagem circus .” 2006. Web. 23 Oct 2019.

Vancouver:

de Almeida Xavier M. Definição e implementação do sistema de tipos da linguagem circus . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2006. [cited 2019 Oct 23]. Available from: http://repositorio.ufpe.br/handle/123456789/2613.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

de Almeida Xavier M. Definição e implementação do sistema de tipos da linguagem circus . [Thesis]. Universidade Federal de Pernambuco; 2006. Available from: http://repositorio.ufpe.br/handle/123456789/2613

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Antonio Josefran de Oliveira Bastos. Convergent Sequences of Discrete Structures and Testability.

Degree: Master, 2012, Universidade Federal do Ceará

In this work, we studied the recent theory of convergent graph sequences and its extensions to permutation and partially ordered sets with fix dimension. Weâve… (more)

Subjects/Keywords: CIENCIA DA COMPUTACAO; Teoria dos grafos; Linguagens formais

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bastos, A. J. d. O. (2012). Convergent Sequences of Discrete Structures and Testability. (Masters Thesis). Universidade Federal do Ceará. Retrieved from http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7654 ;

Chicago Manual of Style (16th Edition):

Bastos, Antonio Josefran de Oliveira. “Convergent Sequences of Discrete Structures and Testability.” 2012. Masters Thesis, Universidade Federal do Ceará. Accessed October 23, 2019. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7654 ;.

MLA Handbook (7th Edition):

Bastos, Antonio Josefran de Oliveira. “Convergent Sequences of Discrete Structures and Testability.” 2012. Web. 23 Oct 2019.

Vancouver:

Bastos AJdO. Convergent Sequences of Discrete Structures and Testability. [Internet] [Masters thesis]. Universidade Federal do Ceará 2012. [cited 2019 Oct 23]. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7654 ;.

Council of Science Editors:

Bastos AJdO. Convergent Sequences of Discrete Structures and Testability. [Masters Thesis]. Universidade Federal do Ceará 2012. Available from: http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=7654 ;


Universidade do Rio Grande do Sul

8. Russi, Daniela Tereza Ascencio. Representação e Anáilse de Gramáticas de Grafos.

Degree: 2003, Universidade do Rio Grande do Sul

 Os sistemas computacionais estão tomando proporções cada vez maiores envolvendo situações bastante complexas, onde muitas vezes erros são inaceitáveis, como em sistemas bancários, sistemas de… (more)

Subjects/Keywords: Linguagens formais; Gramatica : Grafos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Russi, D. T. A. (2003). Representação e Anáilse de Gramáticas de Grafos. (Thesis). Universidade do Rio Grande do Sul. Retrieved from http://hdl.handle.net/10183/5853

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Russi, Daniela Tereza Ascencio. “Representação e Anáilse de Gramáticas de Grafos.” 2003. Thesis, Universidade do Rio Grande do Sul. Accessed October 23, 2019. http://hdl.handle.net/10183/5853.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Russi, Daniela Tereza Ascencio. “Representação e Anáilse de Gramáticas de Grafos.” 2003. Web. 23 Oct 2019.

Vancouver:

Russi DTA. Representação e Anáilse de Gramáticas de Grafos. [Internet] [Thesis]. Universidade do Rio Grande do Sul; 2003. [cited 2019 Oct 23]. Available from: http://hdl.handle.net/10183/5853.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Russi DTA. Representação e Anáilse de Gramáticas de Grafos. [Thesis]. Universidade do Rio Grande do Sul; 2003. Available from: http://hdl.handle.net/10183/5853

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Nova

9. Fonseca, Tiago Daniel Ribeiro da. Análise da qualidade de energia por recurso a análise gramatical.

Degree: 2011, Universidade Nova

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para a obtenção do grau de Mestre em Engenharia Electrotécnica e de… (more)

Subjects/Keywords: Qualidade de energia; Linguagens formais; Inferência gramatical; Reconhecimento de padrões

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fonseca, T. D. R. d. (2011). Análise da qualidade de energia por recurso a análise gramatical. (Thesis). Universidade Nova. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5717

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fonseca, Tiago Daniel Ribeiro da. “Análise da qualidade de energia por recurso a análise gramatical.” 2011. Thesis, Universidade Nova. Accessed October 23, 2019. http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5717.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fonseca, Tiago Daniel Ribeiro da. “Análise da qualidade de energia por recurso a análise gramatical.” 2011. Web. 23 Oct 2019.

Vancouver:

Fonseca TDRd. Análise da qualidade de energia por recurso a análise gramatical. [Internet] [Thesis]. Universidade Nova; 2011. [cited 2019 Oct 23]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5717.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fonseca TDRd. Análise da qualidade de energia por recurso a análise gramatical. [Thesis]. Universidade Nova; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:run.unl.pt:10362/5717

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

10. Silvestrini, Luiz Henrique da Cruz. Uma nova abordagem para a noção de quase-verdade .

Degree: 2011, Universidade Estadual de Campinas

 Resumo: Mikenberg, da Costa e Chuaqui (1986) introduziram a noção de quase-verdade por meio da noção de estruturas parciais, e para tanto, conceberam os predicados… (more)

Subjects/Keywords: Lógica matemática não-clássica; Lógica simbólica e matemática; Linguagens formais - Semântica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Silvestrini, L. H. d. C. (2011). Uma nova abordagem para a noção de quase-verdade . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/280594

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Silvestrini, Luiz Henrique da Cruz. “Uma nova abordagem para a noção de quase-verdade .” 2011. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280594.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Silvestrini, Luiz Henrique da Cruz. “Uma nova abordagem para a noção de quase-verdade .” 2011. Web. 23 Oct 2019.

Vancouver:

Silvestrini LHdC. Uma nova abordagem para a noção de quase-verdade . [Internet] [Thesis]. Universidade Estadual de Campinas; 2011. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280594.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Silvestrini LHdC. Uma nova abordagem para a noção de quase-verdade . [Thesis]. Universidade Estadual de Campinas; 2011. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280594

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

11. Reis, Teofilo de Souza. Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis .

Degree: 2008, Universidade Estadual de Campinas

 Resumo: Neste trabalho apresentamos um novo formalismo de decomposição de Lógicas, as Coberturas por Traduções Possíveis, ou simplesmente CTPs. As CTPs constituem uma versão formal… (more)

Subjects/Keywords: Linguagens formais - Semântica; Lógica simbólica e matemática; Lógica matemática não-clássica; Linguagens formais

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Reis, T. d. S. (2008). Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/278896

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Reis, Teofilo de Souza. “Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis .” 2008. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278896.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Reis, Teofilo de Souza. “Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis .” 2008. Web. 23 Oct 2019.

Vancouver:

Reis TdS. Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis . [Internet] [Thesis]. Universidade Estadual de Campinas; 2008. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/278896.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Reis TdS. Conectivos flexíveis : uma abordagem categorial às semânticas de traduções possíveis . [Thesis]. Universidade Estadual de Campinas; 2008. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/278896

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

12. Mamián López, Esther Sofía, 1985-. Métodos de pontos interiores como alternativa para estimar os parâmetros de uma gramática probabilística livre do contexto .

Degree: 2013, Universidade Estadual de Campinas

 Resumo: Os modelos probabilísticos de uma linguagem (MPL) são modelos matemáticos onde é definida uma função de probabilidade que calcula a probabilidade de ocorrência de… (more)

Subjects/Keywords: Gramáticas probabilísticas livres de contexto; Linguagens formais; Modelamento da linguagem; Métodos de pontos interiores

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mamián López, Esther Sofía, 1. (2013). Métodos de pontos interiores como alternativa para estimar os parâmetros de uma gramática probabilística livre do contexto . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306757

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mamián López, Esther Sofía, 1985-. “Métodos de pontos interiores como alternativa para estimar os parâmetros de uma gramática probabilística livre do contexto .” 2013. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306757.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mamián López, Esther Sofía, 1985-. “Métodos de pontos interiores como alternativa para estimar os parâmetros de uma gramática probabilística livre do contexto .” 2013. Web. 23 Oct 2019.

Vancouver:

Mamián López, Esther Sofía 1. Métodos de pontos interiores como alternativa para estimar os parâmetros de uma gramática probabilística livre do contexto . [Internet] [Thesis]. Universidade Estadual de Campinas; 2013. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306757.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mamián López, Esther Sofía 1. Métodos de pontos interiores como alternativa para estimar os parâmetros de uma gramática probabilística livre do contexto . [Thesis]. Universidade Estadual de Campinas; 2013. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306757

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

13. Macedo-Costa, Tatiane, 1986-. Um estudo diacrônico das variadas realizações do objeto direto anafórico na imprensa baiana dos séculos XIX e XX = A diachronic study about the varied uses of the anaphoric direct object in Bahia¿s press at nineteenth and twentieth centuries .

Degree: 2012, Universidade Estadual de Campinas

 Resumo: Essa dissertação investiga, sob a perspectiva da linha gerativista diacrônica, as variadas realizações do objeto direto anafórico no Português Brasileiro, mais especificamente, no dialeto… (more)

Subjects/Keywords: Língua portuguesa - Português brasileiro - Bahia; Linguística histórica; Linguagens formais; Língua portuguesa - Objeto direto anafórico

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Macedo-Costa, Tatiane, 1. (2012). Um estudo diacrônico das variadas realizações do objeto direto anafórico na imprensa baiana dos séculos XIX e XX = A diachronic study about the varied uses of the anaphoric direct object in Bahia¿s press at nineteenth and twentieth centuries . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/270499

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Macedo-Costa, Tatiane, 1986-. “Um estudo diacrônico das variadas realizações do objeto direto anafórico na imprensa baiana dos séculos XIX e XX = A diachronic study about the varied uses of the anaphoric direct object in Bahia¿s press at nineteenth and twentieth centuries .” 2012. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/270499.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Macedo-Costa, Tatiane, 1986-. “Um estudo diacrônico das variadas realizações do objeto direto anafórico na imprensa baiana dos séculos XIX e XX = A diachronic study about the varied uses of the anaphoric direct object in Bahia¿s press at nineteenth and twentieth centuries .” 2012. Web. 23 Oct 2019.

Vancouver:

Macedo-Costa, Tatiane 1. Um estudo diacrônico das variadas realizações do objeto direto anafórico na imprensa baiana dos séculos XIX e XX = A diachronic study about the varied uses of the anaphoric direct object in Bahia¿s press at nineteenth and twentieth centuries . [Internet] [Thesis]. Universidade Estadual de Campinas; 2012. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/270499.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Macedo-Costa, Tatiane 1. Um estudo diacrônico das variadas realizações do objeto direto anafórico na imprensa baiana dos séculos XIX e XX = A diachronic study about the varied uses of the anaphoric direct object in Bahia¿s press at nineteenth and twentieth centuries . [Thesis]. Universidade Estadual de Campinas; 2012. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/270499

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

14. 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.

Degree: Mestrado, Sistemas Digitais, 2012, University of São Paulo

Uma sequência de imagens de satélite climático é processada aplicando-se um conjunto de operações de filtros, no intuito de extrair padrões de comportamento das nuvens.… (more)

Subjects/Keywords: Adaptativity; Finite automata; Formal languages; Imageamento de satélite; Linguagens formais; Reconhecimento de padrões; Satelite imaging

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

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. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/ ;

Chicago Manual of Style (16th Edition):

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. Masters Thesis, University of São Paulo. Accessed October 23, 2019. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/ ;.

MLA Handbook (7th Edition):

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. Web. 23 Oct 2019.

Vancouver:

Dalla Valle LEC. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais. [Internet] [Masters thesis]. University of São Paulo; 2012. [cited 2019 Oct 23]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/ ;.

Council of Science Editors:

Dalla Valle LEC. Um modelo para reconhecimento de padrões em imagens de satélites climáticos com base em linguagens formais. [Masters Thesis]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-18072013-145521/ ;

15. 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.

Degree: PhD, Sistemas Digitais, 2012, University of São Paulo

O objetivo deste trabalho é apresentar o modelo dos autômatos adaptativos de segunda ordem e mostrar a forte conexão desse modelo com o aprendizado indutivo… (more)

Subjects/Keywords: Aprendizado computacional; Automata theory; Formal languages; Linguagens formais; Machine learning; Teoria dos autômatos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Silva Filho, R. I. d. (2012). Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. (Doctoral Dissertation). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/ ;

Chicago Manual of Style (16th Edition):

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. Doctoral Dissertation, University of São Paulo. Accessed October 23, 2019. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/ ;.

MLA Handbook (7th Edition):

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. Web. 23 Oct 2019.

Vancouver:

Silva Filho RId. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. [Internet] [Doctoral dissertation]. University of São Paulo; 2012. [cited 2019 Oct 23]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/ ;.

Council of Science Editors:

Silva Filho RId. Uma nova formulação algébrica para o autômato finito adaptativo de segunda ordem aplicada a um modelo de inferência indutiva. [Doctoral Dissertation]. University of São Paulo; 2012. Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05092012-163421/ ;


Universidade Estadual de Campinas

16. Rodrigues, Tarcísio Genaro. Sobre os fundamentos de programação lógica paraconsistente .

Degree: 2010, Universidade Estadual de Campinas

 Resumo: A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como… (more)

Subjects/Keywords: Lógica matemática não-clássica; Lógica simbólica e matemática; Inconsistencia (Lógica); Programação lógica; Linguagens formais - Semântica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rodrigues, T. G. (2010). Sobre os fundamentos de programação lógica paraconsistente . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/278897

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Rodrigues, Tarcísio Genaro. “Sobre os fundamentos de programação lógica paraconsistente .” 2010. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/278897.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Rodrigues, Tarcísio Genaro. “Sobre os fundamentos de programação lógica paraconsistente .” 2010. Web. 23 Oct 2019.

Vancouver:

Rodrigues TG. Sobre os fundamentos de programação lógica paraconsistente . [Internet] [Thesis]. Universidade Estadual de Campinas; 2010. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/278897.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rodrigues TG. Sobre os fundamentos de programação lógica paraconsistente . [Thesis]. Universidade Estadual de Campinas; 2010. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/278897

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Rio Grande do Norte

17. Antunes, Cleverton Hentz. A family of coverage criteria based on patterns to the test of metaprograms .

Degree: 2017, Universidade do Rio Grande do Norte

 Although there are several techniques for the automatic generation of test data based on grammars, few studies have been proposed to improve the test data… (more)

Subjects/Keywords: Teste de software; Critérios de cobertura de teste; Casamento de padrões; Metaprogramas; Linguagens formais

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Antunes, C. H. (2017). A family of coverage criteria based on patterns to the test of metaprograms . (Doctoral Dissertation). Universidade do Rio Grande do Norte. Retrieved from http://repositorio.ufrn.br/handle/123456789/25054

Chicago Manual of Style (16th Edition):

Antunes, Cleverton Hentz. “A family of coverage criteria based on patterns to the test of metaprograms .” 2017. Doctoral Dissertation, Universidade do Rio Grande do Norte. Accessed October 23, 2019. http://repositorio.ufrn.br/handle/123456789/25054.

MLA Handbook (7th Edition):

Antunes, Cleverton Hentz. “A family of coverage criteria based on patterns to the test of metaprograms .” 2017. Web. 23 Oct 2019.

Vancouver:

Antunes CH. A family of coverage criteria based on patterns to the test of metaprograms . [Internet] [Doctoral dissertation]. Universidade do Rio Grande do Norte; 2017. [cited 2019 Oct 23]. Available from: http://repositorio.ufrn.br/handle/123456789/25054.

Council of Science Editors:

Antunes CH. A family of coverage criteria based on patterns to the test of metaprograms . [Doctoral Dissertation]. Universidade do Rio Grande do Norte; 2017. Available from: http://repositorio.ufrn.br/handle/123456789/25054


Universidade Estadual de Campinas

18. Sette, Antonio Mario Antunes, 1939-. Elementos para uma teoria geometrica das linguagens formais .

Degree: 1983, Universidade Estadual de Campinas

Resumo: Não informado.; Abstract: Not informed.

Subjects/Keywords: Geometria; Linguagens formais; Teoria dos autômatos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sette, Antonio Mario Antunes, 1. (1983). Elementos para uma teoria geometrica das linguagens formais . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/306226

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Sette, Antonio Mario Antunes, 1939-. “Elementos para uma teoria geometrica das linguagens formais .” 1983. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/306226.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Sette, Antonio Mario Antunes, 1939-. “Elementos para uma teoria geometrica das linguagens formais .” 1983. Web. 23 Oct 2019.

Vancouver:

Sette, Antonio Mario Antunes 1. Elementos para uma teoria geometrica das linguagens formais . [Internet] [Thesis]. Universidade Estadual de Campinas; 1983. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306226.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Sette, Antonio Mario Antunes 1. Elementos para uma teoria geometrica das linguagens formais . [Thesis]. Universidade Estadual de Campinas; 1983. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/306226

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

19. Faria, Pablo, 1978-. Um modelo computacional de aquisição de primeira língua .

Degree: 2013, Universidade Estadual de Campinas

 Resumo: Neste trabalho, o fenômeno de aquisição de uma língua natural é investigado através de uma modelagem computacional. O aprendiz modelado - apelidado de IASMIM… (more)

Subjects/Keywords: Aquisição de linguagem; Gramática gerativa; Aprendizado de máquina; Linguagens formais; Linguistica - Processamento de dados

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Faria, Pablo, 1. (2013). Um modelo computacional de aquisição de primeira língua . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/268869

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Faria, Pablo, 1978-. “Um modelo computacional de aquisição de primeira língua .” 2013. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/268869.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Faria, Pablo, 1978-. “Um modelo computacional de aquisição de primeira língua .” 2013. Web. 23 Oct 2019.

Vancouver:

Faria, Pablo 1. Um modelo computacional de aquisição de primeira língua . [Internet] [Thesis]. Universidade Estadual de Campinas; 2013. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/268869.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Faria, Pablo 1. Um modelo computacional de aquisição de primeira língua . [Thesis]. Universidade Estadual de Campinas; 2013. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/268869

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

20. Bueno-Soler, Juliana, 1976-. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo .

Degree: 2009, Universidade Estadual de Campinas

 Resumo: O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a… (more)

Subjects/Keywords: Modalidade (Lógica); Lógica matemática não-clássica; Lógica simbólica e matemática; Linguagens formais - Semântica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bueno-Soler, Juliana, 1. (2009). Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/280387

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bueno-Soler, Juliana, 1976-. “Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo .” 2009. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280387.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bueno-Soler, Juliana, 1976-. “Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo .” 2009. Web. 23 Oct 2019.

Vancouver:

Bueno-Soler, Juliana 1. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo . [Internet] [Thesis]. Universidade Estadual de Campinas; 2009. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280387.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bueno-Soler, Juliana 1. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo . [Thesis]. Universidade Estadual de Campinas; 2009. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/280387

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

21. Silva, Robson dos Santos e. A rigorous methodology for developing GUI-based DSL formal tools .

Degree: 2013, Universidade Federal de Pernambuco

 A Engenharia Dirigida a Modelos ou (MDE—Model-Driven Engineering) é uma metodologia de desenvolvimento de software que se concentra na criação e manipulação de modelos específicos… (more)

Subjects/Keywords: Engenharia Dirigida a Modelos (MDE); Métodos Formais; Linguagens específicas de domínio; Ferramentas formais com interface gráfica; Model-Driven Engineering; Formal Methods; Domain-Specific Languages; GUI-based formal tools

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Silva, R. d. S. e. (2013). A rigorous methodology for developing GUI-based DSL formal tools . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/12366

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Silva, Robson dos Santos e. “A rigorous methodology for developing GUI-based DSL formal tools .” 2013. Thesis, Universidade Federal de Pernambuco. Accessed October 23, 2019. http://repositorio.ufpe.br/handle/123456789/12366.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Silva, Robson dos Santos e. “A rigorous methodology for developing GUI-based DSL formal tools .” 2013. Web. 23 Oct 2019.

Vancouver:

Silva RdSe. A rigorous methodology for developing GUI-based DSL formal tools . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2013. [cited 2019 Oct 23]. Available from: http://repositorio.ufpe.br/handle/123456789/12366.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Silva RdSe. A rigorous methodology for developing GUI-based DSL formal tools . [Thesis]. Universidade Federal de Pernambuco; 2013. Available from: http://repositorio.ufpe.br/handle/123456789/12366

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Instituto Tecnológico de Aeronáutica

22. João Pedro Cerveira Cordeiro. Álgebra de Mapas e Regiões.

Degree: 2010, Instituto Tecnológico de Aeronáutica

 Um importante componente de um sistema de informação geográfica (SIG), a álgebra de mapas consiste de uma linguagem e uma estruturação algébrica sôbre mapas em… (more)

Subjects/Keywords: Sistema de informação geográfica - GIS; Álgebra; Mapeamento; Topologia; Linguagens formais; Teoria de autômatos; Autômatos celulares; Matemática aplicada; Computação

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cordeiro, J. P. C. (2010). Álgebra de Mapas e Regiões. (Thesis). Instituto Tecnológico de Aeronáutica. Retrieved from http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1130

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cordeiro, João Pedro Cerveira. “Álgebra de Mapas e Regiões.” 2010. Thesis, Instituto Tecnológico de Aeronáutica. Accessed October 23, 2019. http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1130.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cordeiro, João Pedro Cerveira. “Álgebra de Mapas e Regiões.” 2010. Web. 23 Oct 2019.

Vancouver:

Cordeiro JPC. Álgebra de Mapas e Regiões. [Internet] [Thesis]. Instituto Tecnológico de Aeronáutica; 2010. [cited 2019 Oct 23]. Available from: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1130.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cordeiro JPC. Álgebra de Mapas e Regiões. [Thesis]. Instituto Tecnológico de Aeronáutica; 2010. Available from: http://www.bd.bibl.ita.br/tde_busca/arquivo.php?codArquivo=1130

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

23. Oliveira, Valter Castelhano de. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais.

Degree: Mestrado, Engenharia Naval e Oceânica, 2008, University of São Paulo

Apesar das novas e efetivas técnicas de engenharia de software, os projetos de desenvolvimento de sistemas estão propensos a ter os mesmos problemas que acometem… (more)

Subjects/Keywords: Business modeling; Engenharia de requisitos; Formal languages; Linguagens formais; Negócio (modelagem); Requirements engineering; SysML; UML; UML

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Oliveira, V. C. d. (2008). Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/ ;

Chicago Manual of Style (16th Edition):

Oliveira, Valter Castelhano de. “Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais.” 2008. Masters Thesis, University of São Paulo. Accessed October 23, 2019. http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/ ;.

MLA Handbook (7th Edition):

Oliveira, Valter Castelhano de. “Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais.” 2008. Web. 23 Oct 2019.

Vancouver:

Oliveira VCd. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. [Internet] [Masters thesis]. University of São Paulo; 2008. [cited 2019 Oct 23]. Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/ ;.

Council of Science Editors:

Oliveira VCd. Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais. [Masters Thesis]. University of São Paulo; 2008. Available from: http://www.teses.usp.br/teses/disponiveis/3/3135/tde-27022009-104608/ ;


Universidade Estadual de Campinas

24. Rodella, Ednilson Cesar. Metodologia para analise de cenas e geração de cenas prototipicas utilizando a teoria computacional das percepções .

Degree: 2002, Universidade Estadual de Campinas

Subjects/Keywords: Lógica fuzzy; Linguagens formais; Visão por computador; Algoritmos

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Rodella, E. C. (2002). Metodologia para analise de cenas e geração de cenas prototipicas utilizando a teoria computacional das percepções . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/260123

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Rodella, Ednilson Cesar. “Metodologia para analise de cenas e geração de cenas prototipicas utilizando a teoria computacional das percepções .” 2002. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/260123.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Rodella, Ednilson Cesar. “Metodologia para analise de cenas e geração de cenas prototipicas utilizando a teoria computacional das percepções .” 2002. Web. 23 Oct 2019.

Vancouver:

Rodella EC. Metodologia para analise de cenas e geração de cenas prototipicas utilizando a teoria computacional das percepções . [Internet] [Thesis]. Universidade Estadual de Campinas; 2002. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/260123.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Rodella EC. Metodologia para analise de cenas e geração de cenas prototipicas utilizando a teoria computacional das percepções . [Thesis]. Universidade Estadual de Campinas; 2002. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/260123

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

25. Almeida, João Marcos de. Semanticas de traduções possiveis .

Degree: 1999, Universidade Estadual de Campinas

Subjects/Keywords: Linguagens formais - Semântica; Lógica matemática não-clássica; Logica - Filosofia

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Almeida, J. M. d. (1999). Semanticas de traduções possiveis . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/279642

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Almeida, João Marcos de. “Semanticas de traduções possiveis .” 1999. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/279642.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Almeida, João Marcos de. “Semanticas de traduções possiveis .” 1999. Web. 23 Oct 2019.

Vancouver:

Almeida JMd. Semanticas de traduções possiveis . [Internet] [Thesis]. Universidade Estadual de Campinas; 1999. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279642.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Almeida JMd. Semanticas de traduções possiveis . [Thesis]. Universidade Estadual de Campinas; 1999. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279642

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

26. Guerzoni, Jose Alexandre Durry, 1958-. Semantica nominativa e logicas modais .

Degree: 1989, Universidade Estadual de Campinas

Resumo: Não informado; Abstract: Not informed. Advisors/Committee Members: Lungarzo, Carlos Alberto, 1942- (advisor).

Subjects/Keywords: Semântica (Filosofia); Linguagens formais - Semântica; Modalidade (Lógica)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Guerzoni, Jose Alexandre Durry, 1. (1989). Semantica nominativa e logicas modais . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/279896

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Guerzoni, Jose Alexandre Durry, 1958-. “Semantica nominativa e logicas modais .” 1989. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/279896.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Guerzoni, Jose Alexandre Durry, 1958-. “Semantica nominativa e logicas modais .” 1989. Web. 23 Oct 2019.

Vancouver:

Guerzoni, Jose Alexandre Durry 1. Semantica nominativa e logicas modais . [Internet] [Thesis]. Universidade Estadual de Campinas; 1989. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279896.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Guerzoni, Jose Alexandre Durry 1. Semantica nominativa e logicas modais . [Thesis]. Universidade Estadual de Campinas; 1989. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/279896

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

27. Gracio, Maria Claudia Cabrini. Logicas moduladas e raciocinio sob incerteza .

Degree: 1999, Universidade Estadual de Campinas

 Resumo: Este trabalho introduz uma ampla família de extensões monotônicas da lógica de primeira ordem, denominada lógicas moduladas, construída estendendo a lógica clássica por meio… (more)

Subjects/Keywords: Lógica matemática não-clássica; Raciocínio; Linguagens formais - Semântica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gracio, M. C. C. (1999). Logicas moduladas e raciocinio sob incerteza . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/281056

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Gracio, Maria Claudia Cabrini. “Logicas moduladas e raciocinio sob incerteza .” 1999. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/281056.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Gracio, Maria Claudia Cabrini. “Logicas moduladas e raciocinio sob incerteza .” 1999. Web. 23 Oct 2019.

Vancouver:

Gracio MCC. Logicas moduladas e raciocinio sob incerteza . [Internet] [Thesis]. Universidade Estadual de Campinas; 1999. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/281056.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Gracio MCC. Logicas moduladas e raciocinio sob incerteza . [Thesis]. Universidade Estadual de Campinas; 1999. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/281056

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

28. Pinto, Guilherme Albuquerque. Grau de indecidibilidade da universidade para subclasses de automatos temporizados .

Degree: 2003, Universidade Estadual de Campinas

Subjects/Keywords: Linguagens formais; Teoria dos autômatos; Funções recursivas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pinto, G. A. (2003). Grau de indecidibilidade da universidade para subclasses de automatos temporizados . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/276408

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pinto, Guilherme Albuquerque. “Grau de indecidibilidade da universidade para subclasses de automatos temporizados .” 2003. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/276408.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pinto, Guilherme Albuquerque. “Grau de indecidibilidade da universidade para subclasses de automatos temporizados .” 2003. Web. 23 Oct 2019.

Vancouver:

Pinto GA. Grau de indecidibilidade da universidade para subclasses de automatos temporizados . [Internet] [Thesis]. Universidade Estadual de Campinas; 2003. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/276408.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pinto GA. Grau de indecidibilidade da universidade para subclasses de automatos temporizados . [Thesis]. Universidade Estadual de Campinas; 2003. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/276408

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

29. Cleverton Hentz Antunes. Geração automática de testes a partir de descrições de linguagens.

Degree: 2010, Universidade Federal do Rio Grande do Norte

Alguns programas podem ter sua entrada formalizada através de gramáticas livres de contexto. Esta formalização facilita a utilização de ferramentas na sistematização e na elevação… (more)

Subjects/Keywords: ASF; SDF; Teste; Teste de caixa-preta; Linguagens formais; Linguagem lua; Geração automática; ASF; SDF; SISTEMAS DE COMPUTACAO; Test, Black-box testing; Formal languages; Lua language; Automatic generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Antunes, C. H. (2010). Geração automática de testes a partir de descrições de linguagens. (Thesis). Universidade Federal do Rio Grande do Norte. Retrieved from http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=3162

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Antunes, Cleverton Hentz. “Geração automática de testes a partir de descrições de linguagens.” 2010. Thesis, Universidade Federal do Rio Grande do Norte. Accessed October 23, 2019. http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=3162.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Antunes, Cleverton Hentz. “Geração automática de testes a partir de descrições de linguagens.” 2010. Web. 23 Oct 2019.

Vancouver:

Antunes CH. Geração automática de testes a partir de descrições de linguagens. [Internet] [Thesis]. Universidade Federal do Rio Grande do Norte; 2010. [cited 2019 Oct 23]. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=3162.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Antunes CH. Geração automática de testes a partir de descrições de linguagens. [Thesis]. Universidade Federal do Rio Grande do Norte; 2010. Available from: http://bdtd.bczm.ufrn.br/tedesimplificado//tde_busca/arquivo.php?codArquivo=3162

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade Estadual de Campinas

30. Romero Navarrete, Lise Rommel, 1975-. Alinhamento de sequências restrito por expressão regular usando padrões PROSITE .

Degree: 2016, Universidade Estadual de Campinas

 Resumo: Na biologia molecular o alinhamento de sequências é uma ferramenta para caracterizar similaridade ou distância entre sequências. O problema do alinhamento restrito por expressão… (more)

Subjects/Keywords: Alinhamento de sequências restrito (Biologia molecular); Alinhamento de sequências (Biologia molecular); Teoria dos autômatos; Expressão regular (Linguagens formais); Casamento de padrões (Computação); Bioinformática; Proteínas; Proteins

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Romero Navarrete, Lise Rommel, 1. (2016). Alinhamento de sequências restrito por expressão regular usando padrões PROSITE . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/321195

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Romero Navarrete, Lise Rommel, 1975-. “Alinhamento de sequências restrito por expressão regular usando padrões PROSITE .” 2016. Thesis, Universidade Estadual de Campinas. Accessed October 23, 2019. http://repositorio.unicamp.br/jspui/handle/REPOSIP/321195.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Romero Navarrete, Lise Rommel, 1975-. “Alinhamento de sequências restrito por expressão regular usando padrões PROSITE .” 2016. Web. 23 Oct 2019.

Vancouver:

Romero Navarrete, Lise Rommel 1. Alinhamento de sequências restrito por expressão regular usando padrões PROSITE . [Internet] [Thesis]. Universidade Estadual de Campinas; 2016. [cited 2019 Oct 23]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/321195.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Romero Navarrete, Lise Rommel 1. Alinhamento de sequências restrito por expressão regular usando padrões PROSITE . [Thesis]. Universidade Estadual de Campinas; 2016. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/321195

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2]

.