Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Emotion Recognition from Physiological Signal Analysis: A ReviewEgger, Maria ; Ley, Matthias ; Hanke, StenElectronic notes in theoretical computer science, 2019-05, Vol.343, p.35-55Elsevier B.VTexto completo disponível |
|
2 |
Material Type: Artigo
|
We are happy to organize this issue of the Electronic Notes in Theoretical Computer Science. [Prefácio]Gabriel Coutinho Yoshiharu Kohayakawa; Vinicius dos Santos; Sebastián Urrutia; Latin and American Algorithms, Graphs and Optimization Symposium - LAGOS (10. 2019 Belo Horizonte, MG)Electronic Notes in Theoretical Computer Science Amsterdam v. 346, p.1-2, 2019Amsterdam 2019Localização: IME - Inst. Matemática e Estatística (PROD-3000163 )(Acessar) |
|
3 |
Material Type: Artigo
|
A Multi-Objective Optimization Algorithm for Center-Based ClusteringLeón, Jared ; Chullo-Llave, Boris ; Enciso-Rodas, Lauro ; Soncco-Álvarez, José LuisElectronic notes in theoretical computer science, 2020-06, Vol.349, p.49-67 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
|
4 |
Material Type: Artigo
|
The Design of GP 2Plump, DetlefElectronic proceedings in theoretical computer science, 2012-04, Vol.82 (Proc. WRS 2011), p.1-16Open Publishing AssociationTexto completo disponível |
|
5 |
Material Type: Artigo de Congresso
|
A study on the potential active names of π-agentsAna Cristina Vieira de Melo Brazilian Workshop on Formal Methods - WMF (2003 Campina Grande)Electronic Notes in Theoretical Computer Science Amsterdam v. 95, p. 269-286, 2004Amsterdam 2004Localização: IME - Inst. Matemática e Estatística (PROD-1482363 ) e outros locais(Acessar) |
|
6 |
Material Type: Artigo de Congresso
|
From active names to π-calculus rewriting rulesAna Cristina Vieira de Melo Brazilian Symposium on Formal Methods - SBMF (2004 Recife)Electronic Notes in Theoretical Computer Science Amsterdam v. 130, p. 169-185, 2005Amsterdam 2005Localização: IME - Inst. Matemática e Estatística (PROD-1477195 ) e outros locais(Acessar) |
|
7 |
Material Type: Artigo
|
Extensional and Intensional StrategiesBourdier, Tony ; Cirstea, Horatiu ; Dougherty, Daniel ; Kirchner, HélèneElectronic proceedings in theoretical computer science, 2010-01, Vol.15 (Proc. WRS 2009), p.1-19EPTCSTexto completo disponível |
|
8 |
Material Type: Artigo
|
The Kantorovich Metric in Computer Science: A Brief SurveyDeng, Yuxin ; Du, WenjieElectronic notes in theoretical computer science, 2009-11, Vol.253 (3), p.73-82Elsevier B.VTexto completo disponível |
|
9 |
Material Type: Artigo
|
Lazy AC-Pattern Matching for RewritingBelkhir, Walid ; Giorgetti, AlainElectronic proceedings in theoretical computer science, 2012-01, Vol.82 (Proc. WRS 2011), p.37-51Open Publishing AssociationTexto completo disponível |
|
10 |
Material Type: Artigo
|
Dialogue Systems for Intelligent Human Computer InteractionsMerdivan, Erinc ; Singh, Deepika ; Hanke, Sten ; Holzinger, AndreasElectronic notes in theoretical computer science, 2019-05, Vol.343, p.57-71Elsevier B.VTexto completo disponível |