Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Bringing AGM to computer scienceRenata Wassermann Márcio Moretto RibeiroSouth American Journal of Logic Campinas v. 1, n. 2, p. 447-459, 2015Campinas 2015Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Artigo de Congresso
|
![]() |
Structural testing for semaphore-based multithread programsFelipe S. Sarmanho Paulo Sérgio Lopes de Souza; Simone do Rocio Senger de Souza; Adenilso da Silva Simão; International Conference in Computer Science (8. 2008 Krakow)Lecture Notes in Computer Science v. 5101, p. 337-346, 2008Heidelberger Springer 2008Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Artigo de Congresso
|
![]() |
Maximum series-parallel subgraphGruia Calinescu Cristina Gomes Fernandes 1966-; Hemanshu Kaul; International Workshop on Graph-Theoretic Concepts in Computer Science - WG (35. 2009 Montpellier)Proceedings Berlin : Springer, 2010Berlin Springer 2010Localização: IME - Inst. Matemática e Estatística (PROD-1831948 ) e outros locais(Acessar) |
4 |
Material Type: Artigo de Congresso
|
![]() |
Behavioral study of UNIX commands in a faulty environmentCássio M. M. Pereira Rodrigo Fernandes de Mello; International Conference on Ubi-Media Computing Dependable, Autonomic and Secure Computing - DASC (8. 2009 Chengdu)Proceedings Los Alamitos : IEEE Computer Society, 2009Los Alamitos IEEE Computer Science 2009Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1795147 ) e outros locais(Acessar) |
5 |
Material Type: Artigo de Congresso
|
![]() |
A Radial basis function neural network approach to detect novelties applications on health datasetsCássio M. M. Pereira Rodrigo Fernandes de Mello; IEEE International Conference on Ubi-Media Computing (2. (2009 Taiwam)Proceedings Los Alamitos : IEEE Computer Society, 2009Los Alamitos IEEE Computer Science 2009Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1795138 ) e outros locais(Acessar) |
6 |
Material Type: Artigo de Congresso
|
![]() |
MAMCost global and local estimates leading to robust cost estimation of similarity queriesGisele Busichia Baioco Agma Juci Machado Traina; Caetano Traina Junior; International Conference on Scientific and Statistical Database Management (19 2007 Banff)Proceedings Banff, 2007Los Alamitos IEEE Computer Science 2007Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1621741 ) e outros locais(Acessar) |
7 |
Material Type: Artigo de Congresso
|
![]() |
A systematic approach to bound factor revealing LPs and its application to the metric and squared metric facility location problemsCristina Gomes Fernandes 1966- Luis A. A Meira; Flavio Keidi Miyazawa; Lehilton L. C Pedrosa; International Workshop on Approximation Algorithms for Combinatorial Optimization - APPROX (15. 2012 Cambridge, MA); International Workshop on Randomization and Approximation Techniques in Computer Science - RANDOM (16. 2012 Cambridge, MA)Proceedings Berlin : Springer, 2012Berlin Springer 2012Localização: IME - Inst. Matemática e Estatística (PROD-2306003 ) e outros locais(Acessar) |
8 |
Material Type: Artigo de Congresso
|
![]() |
Belief revision and computer scienceRenata Wassermann European Conference on Artificial Intelligence - ECAI (20. 2012 Montpellier, France); Workshop on Belief change, Non-monotonic reasoning and Conflict Resolution (2012 Montpellier, France)Workshop notes Grimstad : Centre for Artificial Intelligence Research (CAIR), 2012Grimstad Centre for Artificial Intelligence Research CAIR 2012Acesso online. A biblioteca também possui exemplares impressos. |
9 |
Material Type: Artigo de Congresso
|
![]() |
Scheduling DAGs with Parallel Tasks in Multi-Clusters Base on Parallel EfficiencyLiria Matsumoto Sato 1953- Silvio Luiz Stanzani; International Conference on Computer Science and its Applications (3. 2011 Jeju Island, Korea); World Convergence Conference (2011 Jeju Island, Korea)Computer science and convergence CSA 2011 & WCC 2001 proceedings eds. James J. (Jong Hyuk) Part ... [et al.]Dordrecht Springer c2012Item não circula. Consulte sua biblioteca.(Acessar) |
10 |
Material Type: Artigo
|
![]() |
BraX-Ray an X-Ray of the Brazilian Computer Science Graduate ProgramsLuciano Antonio Digiampietri Jesús Pascual Mena-Chalco; Pedro O. S. Vaz de Melo; Ana Paula Resende Malheiro; Dânia N. O Meira; Laryssa F Franco; Leonardo B OliveiraPLoS ONE San Francisco v. 9, n. 4, p. e94541-1 - e94541-12, apr. 2014San Francisco 2014Item não circula. Consulte sua biblioteca.(Acessar) |