Percorrer por editoras 2293

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 152-171 de um total de 314 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2022M&M - MONNOM meets MOBEYBOU: digital interfaces for children's embodied interactionKay, Ipek; Sylla, Cristina Maria; Gil, Maitê Moraes, et al.Artigo em ata de conferênciaAcesso aberto
27-Mar-2023Machine learning for VRUs accidents prediction using V2X dataRibeiro, Bruno Daniel Mestre Viana; Nicolau, Maria João; Santos, AlexandreArtigo em ata de conferênciaAcesso restrito UMinho
2019A machine-checked proof of security for AWS key management serviceAlmeida, José Bacelar; Barbosa, Manuel; Barthe, Gilles, et al.Artigo em ata de conferênciaAcesso aberto
2019Machine-checked proofs for cryptographic standards indifferentiability of SPONGE and secure high-assurance implementations of SHA-3Almeida, José Bacelar; Baritel-Ruet, Cecile; Barbosa, Manuel, et al.Artigo em ata de conferênciaAcesso aberto
Nov-2021Machine-checked ZKP for NP relations: formally verified security proofs and implementations of MPC-in-the-headAlmeida, José Bacelar; Barbosa, Manuel; Correia, Manuel L., et al.Artigo em ata de conferênciaAcesso aberto
2014Making justice more accessibleCarneiro, Davide Rua; Novais, PauloArtigo em ata de conferênciaAcesso aberto
2014Making Operation-based CRDTs Operation-basedBaquero, Carlos; Almeida, Paulo Sérgio; Shoker, AliArtigo em ata de conferênciaAcesso aberto
Nov-2011MaLaKuLa: stories inside “magical” seashellsCarvalho, João; Branco, PedroArtigo em ata de conferênciaAcesso aberto
2013Many-objective optimization using differential evolution with variable-wise mutation restrictionDenysiuk, Roman; Costa, Lino; Espírito Santo, I. A. C. P.Artigo em ata de conferênciaAcesso restrito UMinho
2016Measuring user influence in financial microblogs: experiments using stocktwits dataCortez, Paulo; Oliveira, Nuno Miguel Rocha; Ferreira, João Carlos PeixotoArtigo em ata de conferênciaAcesso aberto
2014Merging physical and digital white canvas to unleash children's creativitySylla, Cristina; Figueiredo, Ana Carina; Pinto, Ana Lúcia, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2014Merry Go Round: a physical, virtual, physical… toyFigueiredo, Ana Carina Pinheiro; Branco, Pedro; Sylla, Cristina Maria Santos Moreira Silva, et al.Artigo em ata de conferênciaAcesso aberto
2013MeT: workload aware elasticity for NoSQLCruz, Francisco; Maia, Francisco António Ferraz Martins Almeida; Matos, Miguel, et al.Artigo em ata de conferênciaAcesso aberto
2013Mobile applications for open display networks : common design considerationsJosé, Rui; Cardoso, Jorge C. S.; Alt, Florian, et al.Artigo em ata de conferênciaAcesso aberto
2019Mobile social hybrids and drone artAndrade, Pedro José de OliveiraArtigo em ata de conferênciaAcesso aberto
27-Out-2014Modeling E-Government processes using YAWL: Half-way towards their effective real implementationBelo, O.; Faria, José Luís Oliveira; Ribeiro, António Nestor, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2000Modeling industrial embedded systems with UMLFernandes, João M.; Machado, Ricardo J.; Santos, Henrique Dinis dosArtigo em ata de conferênciaAcesso aberto
7-Jul-2020Modeling tourists' personality in recommender systems: how does personality influence preferences for tourist attractions?Alves, Patrícia; Saraiva, Pedro; Carneiro, João, et al.Artigo em ata de conferênciaAcesso aberto
2016Modelling information resources and their salience in medical device designHarrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas, et al.Artigo em ata de conferênciaAcesso aberto
2017MODUS: model-based user interfaces prototypingMachado, Marina; Couto, Rui; Campos, José C.Artigo em ata de conferênciaAcesso aberto
Mostrar 152-171 de um total de 314 resultados. < anterior   próximo >