Browsing by Document Type: Report

Jump to: 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
or enter first few letters:  
Showing results 77 to 96 of 441 < previous   next >
Issue DateTitleAuthor(s)TypeAccess Type
Dec-2001Coerência num sistema transaccional de replicação de objectos em grande-escalaMartins, João; Almeida, Ricardo; Miranda, Hugo; Rodrigues, LuísreportopenAccess
Jun-2003Collecting Statistics about the Portuguese WebGomes, Daniel; Silva, Mário J.reportopenAccess
2010Como desenvolver a criatividade do aluno em artes visuaisBrilha, Leonor, 1982-reportopenAccess
2013Comparative Analysis of the public discourse about fusion and nuclear energy before and after Fukushima: WP12-SER-ACIF-1 Final ReportSchmidt, Luísa; Horta, Ana; Pereira, Sérgio; Oliveira, CarlareportopenAccess
2008Competências TIC. Estudo de ImplementaçãoCosta, Fernando Albuquerque; Peralta, Helena; Rodrigues, Ângela; Dias, Paulo; Osório, António José; Gomes, Maria João; Ramos, Altina; Ramos, José Luís; Sebastião, Luís; Maio, Vicência; Valente, LuísreportopenAccess
2009Competências TIC. Estudo de Implementação. Vol. IICosta, Fernando Albuquerque; Rodrigues, Ângela; Peralta, Helena; Ramos, José Luís; Sebastião, Luís; Maio, Vicência; Dias, Paulo; Gomes, Maria João; Osório, António; Ramos, Altina; Valente, Luís; Cruz, Elisabete; Reis, OlgareportopenAccess
May-2008Compiling the $\pi$-calculus into a Multithreaded Typed Assembly LanguageCogumbreiro, Tiago; Martins, Francisco; Vasconcelos, Vasco T.reportopenAccess
Jul-2002Complete Specification of APIs and Protocols for the MAFTIA MiddlewareArmstrong, J.; Cachin, C.; Correia, Miguel; Costa, A.; Miranda, Hugo; Neves, Nuno Ferreira; Neves, Nuno M.; Poritz, J. A.; Randell, B.; Lung, Lau Cheuk; Rodrigues, Luís; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Welch, I. S.reportopenAccess
2009Compostos macrocíclicos do tipo dioxo-tia-tetraaza: síntese, estudos termodinâmicos e espectroscópicosPereira, Daniel Filipe ViriatoreportopenAccess
Sep-2008A Computational Grammar for Deep Linguistic Processing of Portuguese: LXGram, version A.4.1Branco, António Horta; Costa, FranciscoreportopenAccess
2011Concepções sobre Dificuldades na aprendizagem em estudantes do primeiro ano da Universidade de LisboaNovais, CamilareportrestrictedAccess
Feb-2003Conceptual Model and Architecture of MAFTIAAdelsbach, A.; Cachin, C.; Creese, S.; Deswarte, Y.; Kursawe, K.; Laprie, J.-C.; Powell, David; Randell, B.; Riodan, J.; Ryan, P.; Simmionds, W.; Stroud, Robert J.; Veríssimo, Paulo; Waidner, M.; Wespi, A.reportopenAccess
Jul-2002Concretização de Protocolos com Fiabilidade SemânticaCarvalho, Nuno; Pereira, José; Rodrigues, LuísreportopenAccess
Jul-2003Concretização de um cenário de carros cooperantes num ambiente móvel sem fiosSousa, Paulo; Martins, Pedro; Casimiro, António; Veríssimo, PauloreportopenAccess
Mar-2005Concretização de uma Arquitectura de Suporte à Geração de Cenas Animadas com Agentes InteligentesSilvestre, Miguel; Pinto-Albuquerque, Maria; Carmo, Maria Beatriz; Cláudio, Ana Paula; Coelho, HelderreportopenAccess
Sep-2002Configuração do Suporte de Comunicação em Ambientes Multi-Utilizador Orientados aos ObjectosTeixeira, Sandra; Vicente, Pedro; Pinto, Alexandre; Miranda, Hugo; Rodrigues, Luís; Martins, Jorge; Silva, RitoreportopenAccess
Mar-2007Congu, Checking Java Classes Against Property-Driven Algebraic SpecificationsAbreu, João; Caldeira, Alexandre; Lopes, Antónia; Nunes, Isabel; Reis, Luís S.; Vasconcelos, Vasco T.reportopenAccess
2013Conhecer para agir: contributos para o Livro Branco da Juventude - relatório síntese das mesas redondasVieira, Maria Manuel; Pappámikail, Lia; Ferreira, Vítor Sérgio; Rowland, JussarareportopenAccess
Jan-1998Connectors for Mobile ProgramsWermelinger, Michel; Fiadeiro, JoséreportopenAccess
12-May-2014Consistency Anchor Formalization and Correctness ProofsMiguel, Correia; Bessani, AlyssonreportopenAccess