Mostrar resultados 1-20 de 1093.
próximo >
| Data | Título | Autor(es) | Tipo | Acesso |
| Dez-2024 | 3D ACQUISITION, CLASSIFICATION AND VISUALIZATION OF ROOM SCALE SPACES AND OBJECTS FOR MUSEUMS | Francisco, Pedro Dinis Valente | masterThesis |  |
| Fev-2021 | 3D Convolutional Neural Networks for Identifying Protein Interfaces | Pascoal, Cláudio | masterThesis | |
| Dez-2022 | 3D Sensing Character Simulation using Game Engine Physics | Rodrigues, João Filipe Pereira | masterThesis | |
| 2010 | 4Sensing - decentralized processing for participatory sensing data | Ferreira, Heitor José Simões Baptista | masterThesis | |
| 22-Mar-2022 | A Brief History of Updates of Answer-Set Programs | Leite, João; Slota, Martin | article | |
| 2019 | A dynamic difficulty adjustment model for dysphonia therapy games | Lopes, Vanessa; Magalhães, João; Cavaco, Sofia | conferenceObject | |
| 1-Jan-2005 | A general language for evolution and reactivity in the Semantic Web | Alferes, José Júlio Alves; Amador, Ricardo; May, Wolfgang | conferenceObject | |
| Jul-2019 | A mobile system to increase efficiency of the lecturers when preventing academic dishonesty during written exams | Maroco, Pedro; Cambeiro, João; Amaral, Vasco | conferenceObject | |
| 2013 | A Query Tool for EL with Non-monotonic Rules | Ivanov, Vadim; Knorr, Matthias; Leite, João Alexandre Carvalho Pinheiro | conferenceObject | |
| Jan-2023 | A social and technical sustainability requirements catalogue | Moreira, Ana; Araújo, João; Gralha, Catarina; Goulão, Miguel; Brito, Isabel Sofia; Albuquerque, Diogo | article | |
| 1-Nov-2003 | A spatial logic for concurrency (part I) | Caires, Luís; Cardelli, Luca | article | |
| 1-Nov-2019 | A survey of challenges for runtime verification from advanced application domains (beyond software) | Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, Joa̋o M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, José; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander | article | |
| 1-Ago-2018 | A universal session type for untyped asynchronous communication | Balzer, Stephanie; Pfenning, Frank; Toninho, Bernardo | conferenceObject | |
| 1-Jan-2007 | A Well-founded Semantics for Hybrid MKNF Knowledge Bases | Knorr, Matthias; Alferes, José Júlio Alves; Hitzler, Pascal | conferenceObject |  |
| Set-2014 | Uma abordagem ágil para transformar modelos cognitivos em modelos comportamentais e de domínio | Silva, António Pedro Ferreira | masterThesis | |
| Dez-2022 | Uma Abordagem de Engenharia de Requisitos para Inclusão de Género | Pacheco, Joana Fernandes Pinto Ferreira | masterThesis | |
| Nov-2014 | Uma abordagem para derivar modelos de requisitos a partir de mecanismos de reconhecimento de voz | Soares, Fábio Jorge Tavares | masterThesis | |
| Jan-2021 | Accelerating SQL with Complex Visual Querying | Rodrigues, Pedro Santos | masterThesis | |
| 2011 | Acceleration of physics simulation engine through OpenCL | Lagarto, Jorge Miguel Raposeira | masterThesis | |
| Dez-2016 | Access Control in Weakly Consistent Systems | Costa, Tiago Miguel Ferreira da | masterThesis | |
