Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Agent Based Modelling of Urban Systems First International Workshop, ABMUS 2016, Held in Conjunction with AAMAS, Singapore, Singapore, May 10, 2016, Revised, Selected, and Invited PapersAna Bazzan; Kai Nagel; Mohammad-Reza Namazi-Rad; Lin Padgham; Pascal PerezCham Springer 2017Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.8 Ag36 )(Acessar) |
|
2 |
Material Type: Livro
|
Inductive synthesis of functional programs universal planning, folding of finite programs, and schema abstraction by analogical reasoningU. Schmid (Ute)Berlin Springer New York 2003Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.2654 )(Acessar) |
|
3 |
Material Type: Livro
|
Artificial intelligence and computational intelligence third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, proceedings Part IIInternational Conference on Artificial Intelligence and Computational Intelligence (3rd 2011 Taiyuan Shi, China) Hepu DengBerlin Springer New York c2011Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Fundamentals of human-computer interactionAndrew MonkLondon Orlando Academic Press 1984Localização: IME - Inst. Matemática e Estatística (QA752.C3 M745f )(Acessar) |
|
5 |
Material Type: Livro
|
Human-computer interaction the agency perspectiveMarielba Zacarias; J. Valente de Oliveira (José Valente)Berlin Springer c2012Localização: IME - Inst. Matemática e Estatística (QA752 Z13h )(Acessar) |
|
6 |
Material Type: Artigo
|
Data Quality: Some Comments on the NASA Software Defect DatasetsShepperd, M. ; Qinbao Song ; Zhongbin Sun ; Mair, C.IEEE transactions on software engineering, 2013-09, Vol.39 (9), p.1208-1215 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
7 |
Material Type: Ata de Congresso
|
Enhancing Genetic Improvement of Software with Regression Test SelectionGuizzo, Giovani ; Petke, Justyna ; Sarro, Federica ; Harman, Mark2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, p.1323-1333IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
Software Engineering for AI-Based Systems: A SurveyMartínez-Fernández, Silverio ; Bogner, Justus ; Franch, Xavier ; Oriol, Marc ; Siebert, Julien ; Trendowicz, Adam ; Vollmer, Anna Maria ; Wagner, StefanACM transactions on software engineering and methodology, 2022-04, Vol.31 (2), p.1-59, Article 37e [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
9 |
Material Type: Livro
|
Fundamental Approaches to Software Engineering: 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, ProceedingsCavalcanti, Ana ; Beyer, DirkCham: Springer Nature 2024Texto completo disponível |
|
10 |
Material Type: Ata de Congresso
|
Testing Framework for Black-box AI ModelsAggarwal, Aniya ; Shaikh, Samiulla ; Hans, Sandeep ; Haldar, Swastik ; Ananthanarayanan, Rema ; Saha, Diptikalyan2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, p.81-84IEEETexto completo disponível |