Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Formal Modelling and Analysis of a Self-Adaptive Robotic SystemPässler, Juliane Linda ; ter Beek, Maurice H ; Damiani, Ferruccio ; Tapia Tarifa, Silvia Lizeth ; Johnsen, Einar BrochLecture notes in computer science, 2023 [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Livro
|
![]() |
Audio System for Technical ReadingsT. V. RamanSpringer Berlin Heidelberg 1998Acesso online. A biblioteca também possui exemplares impressos. |
3 |
Material Type: Artigo
|
![]() |
A Comprehensive Computer-Aided Polyp Detection System for Colonoscopy VideosTajbakhsh, Nima ; Gurudu, Suryakanth R. ; Liang, Jianming Alexander, Daniel C. ; Westin, Carl-Fredrik ; Cardoso, M. Jorge ; Ourselin, SebastienInformation Processing in Medical Imaging, p.327-338 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Sustainable Social Shopping SystemChung, Claris Yee Seung ; Proskuryakov, Roman ; Sundaram, David Jung, Jason J. ; Nguyen, Ngoc-Thanh ; Hwang, DosamComputational Collective Intelligence. Technologies and Applications, p.114-124 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Information System Design Theory: A Lifecycle PerspectiveAlturki, Ahmad Helfert, Markus ; Kenneally, Jim ; Venable, John ; Donnellan, Brian ; Tuunanen, Tuure ; Parsons, JeffreyTackling Society's Grand Challenges with Design Science, p.186-194 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Kademlia: A peer-to-peer information system based on the XOR metricMAYMOUNKOV, Petar ; MAZIERES, DavidLecture notes in computer science, 2002, p.53-65 [Periódico revisado por pares]Berlin: SpringerTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Reasoning about Dynamic Normative SystemsKnobbout, Max ; Dastani, Mehdi ; Meyer, John-Jules Ch Fermé, Eduardo ; Leite, JoãoLogics in Artificial Intelligence, p.628-636 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A Cognitive Integrated Management Support System for EnterprisesHernes, Marcin Jung, Jason J. ; Nguyen, Ngoc-Thanh ; Hwang, DosamComputational Collective Intelligence. Technologies and Applications, p.252-261 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Designing a Competence Management System ‘Knome’ for a Knowledge-Intensive Project OrganizationNiemi, Erkka ; Laine, Sami Helfert, Markus ; Kenneally, Jim ; Venable, John ; Donnellan, Brian ; Tuunanen, Tuure ; Parsons, JeffreyTackling Society's Grand Challenges with Design Science, p.217-222 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Simplification and Quality of the Legal SystemMartino, Antonio A. Nissan, Ephraim ; Dershowitz, NachumLanguage, Culture, Computation. Computing of the Humanities, Law, and Narratives, p.696-720 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |