Publications

Export 2364 results:
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 
V
Cardoso, N., M. J. Silva, and M. Antunes, "Validação estat{ística dos resultados do Primeiro HAREM", Reconhecimento de entidades mencionadas em português: Documentação e atas do HAREM, a primeira avaliação conjunta na área, Cap{ítulo, vol. 5, pp. 59–77, 2007.
U
Peneda, J., N. Charro, B. L. Hood, A. Fonseca, M. Hagenfeldt, A. Miranda, F. Zerimech, F. Gomes, D. Neto, T. P. Conrads, et al., Utilidade da Proteómica na Compreensão da Patogenia Molecular Proximal da Doença Cerebral Alcoólica, : Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2011.
Rebele, T., A. Nekoei, and F. M. Suchanek, "Using YAGO for the Humanities", Workshop on Humanities in the Semantic Web-WHiSe II, 2017.
Mourão, H., and P. Antunes, Using Wfms to Support Unstructured Activities, : Handbook of Research on Business Process Modeling, 2009.
Neves, N. Ferreira, and K. W Fuchs, "Using time to improve the performance of coordinated checkpointing", Computer Performance and Dependability Symposium, 1996., Proceedings of IEEE International: IEEE, pp. 282–291, 1996.
Casimiro, A., and P. Verissimo, "Using the timely computing base for dependable qos adaptation", Reliable Distributed Systems, 2001. Proceedings. 20th IEEE Symposium on: IEEE, pp. 208–217, 2001.
Martinho, R., J. Varajao, and D. Domingos, "Using the semantic web to define a language for modelling controlled flexibility in software processes", IET software, vol. 4, no. 6: IET Digital Library, pp. 396–406, 2010.
Noronha, N., and M. J. Silva, Using the semantic web for web searches, : INTERAC{\c{C}}ÃO 2004-1ª Conferência Nacional em Interacção Pessoa-Máquina, 2004.
Cosquer, F. J. N., L. Rodrigues, and P. Verissimo, "Using Tailored Failure Suspectors to Support Distributed Cooperative Applications.", Parallel and Distributed Computing and Systems, pp. 352–358, 1995.
Martins, M. do Carmo, and F. Martins, "ON USING SAGE TO SOLVE CONSTRAINED OPTIMIZATION PROBLEMS APPLYING THE LAGRANGE MULTIPLIERS METHOD", European Scientific Journal, vol. 9, no. 21, 2013.
Domingos, D., A. Respicio, and R. Martinho, "Using Resource Reliability in BPMN Processes", Procedia Computer Science, vol. 100: Elsevier, pp. 1280–1288, 2016.
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, L. Carriço, M. de Sá, and G. Zurita Alarcón, Using PDAs in meetings: Patterns, architecture and components, : GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008.
Zurita, G., P. Antunes, N. Baloian, L. Carriço, F. Baytelman, and M. de Sá, "Using PDAs in Meetings: Patterns, Architecture and Components.", J. UCS, vol. 14, no. 1, pp. 123–147, 2008.
Alarcón, G. Zurita, P. Antunes, N. Baloian, L. Carriço, F. Baytelman, M. de Sá, and , Using PDAs in meetings: Patterns, architecture and components, : GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008.
Kapitza, R., P. Baumann, and H. P. Reiser, "Using object replication for building a dependable version control system", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 86–99, 2008.
Sapateiro, C., A. Ferreira, and P. Antunes, "Using microworlds to study teamwork at the cognitive level", SBSC: 8º simpósio brasileiro de Sistemas colaborativos, 2011.
Sapateiro, C., A. Ferreira, and P. Antunes, Using Microworlds to Study Teamwork at the Cognitive Level, , 2010.
Almeida, C., and P. Verissimo, "Using light-weight groups to handle timing failures in quasi-synchronous systems", Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE: IEEE, pp. 430–439, 1998.
Norman, R., and F. Couto, "Using Google Scholar to predict self citation: A case study in Health Economics", arXiv preprint arXiv:1406.5241, 2014.
Bastos, H., D. Faria, C. Pesquita, and A. O. Falcao, "Using GO terms to evaluate protein clustering", BioOntologies SIG at ISMB/ECCB-15th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB), 2007.
Cardoso, N., D. Cruz, M. Chaves, and M. J. Silva, "Using geographic signatures as query and document scopes in geographic IR", Advances in Multilingual and Multimodal Information Retrieval: Springer Berlin Heidelberg, pp. 802–810, 2008.
Dixit, M., A. Casimiro, N. Laranjeiro, and M. Vieira, "Using experimental measurements to assess dependable adaptation support mechanisms for timed transactions", Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems, with the 27th IEEE Symposium on Reliable Distributed Systems, vol. 77, 2008.
Marques, P., Z. Dabbabi, MM. Mironesc, O. Thonnard, A. Bessani, F. Buontempo, and I. Gashi, Using Diverse Detectors for Detecting Malicious Web Scraping Activity, , 2018.
Antunes, J., and N. Ferreira Neves, "Using behavioral profiles to detect software flaws in network servers", Software Reliability Engineering (ISSRE), 2011 IEEE 22nd International Symposium on: IEEE, pp. 1–10, 2011.
Neves, N. Ferreira, J. Antunes, M. Correia, P. Verissimo, and R. Neves, "Using attack injection to discover new vulnerabilities", Dependable Systems and Networks, 2006. DSN 2006. International Conference on: IEEE, pp. 457–466, 2006.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Using atomic broadcast to implement a posteriori agreement for clock synchronization", Reliable Distributed Systems, 1993. Proceedings., 12th Symposium on: IEEE, pp. 115–124, 1993.
Duarte, L., L. Carriço, and M. de Sá, Using an XML Based System in Group Psychotherapy, : XML: Aplica{\=e}ões e Tecnologias Associadas, 2007.
Cruz, I. F., C. Stroe, F. Caimi, A. Fabiani, C. Pesquita, F. Couto, and M. Palmonari, "Using AgreementMaker to align ontologies for OAEI 2011", Proceedings of the Sixth International Workshop on Ontology Matching, pp. 114–121, 2011.
Miranda, H., and L. Rodrigues, "Using a fairness monitoring service to improve load-balancing in DSR", Distributed Computing Systems Workshops, 2005. 25th IEEE International Conference on: IEEE, pp. 314–320, 2005.
Duarte, C., and L. Carriço, "Users and usage driven adaptation of digital talking books", Proceedings of the 11th International Conference on Human-Computer Interaction: Citeseer, 2005.
Antunes, P., and N. Guimarães, "User-Interface Support to Group Interaction.", CRIWG, pp. 1–10, 1996.
Lacoste, M., M. Miettinen, N. Neves, F. M. V. Ramos, M. Vukolić, F. Charmet, R. Yaich, K. Oborzynski, G. Vernekar, and P. Sousa, "User-Centric Security and Dependability in the Clouds-of-Clouds", IEEE Cloud Computing, vol. 3, no. 5: IEEE, pp. 64–75, 2016.
Dias, R., R. Cunha, and M. J. Fonseca, "A User-centered Music Recommendation Approach for Daily Activities", CBRecSys 2014, pp. 26, 2014.
Dragisic, Z., V. Ivanova, P. Lambrix, D. Faria, E. Jiménez-Ruiz, and C. Pesquita, "User validation in ontology alignment", International Semantic Web Conference: Springer, pp. 200–217, 2016.
Duarte, L., and L. Carriço, "User performance tweaking in videogames: a physiological perspective of player reactions", Proceedings of the 3rd Augmented Human International Conference: ACM, pp. 5, 2012.
Ferreira, J., D. Paolotti, F. Couto, and M. J. Silva, "On the usefulness of ontologies in epidemiology research and practice", Journal of epidemiology and community health: BMJ Publishing Group Ltd, pp. jech–2012, 2012.
Bocchi, L., J. Luiz Fiadeiro, and A. Lopes, "A use-case driven approach to formal service-oriented modelling", Leveraging Applications of Formal Methods, Verification and Validation: Springer Berlin Heidelberg, pp. 155–169, 2008.
Tome, M., J. G. Borges, and A. O. Falcao, "The use of management-oriented growth and yield models to assess and model forest wood sustainability. A case study for eucalyptus plantations in Portugal", Models for Sustainable Management of Temperate Plantation Forests, European Forest Institute, Joensuu, pp. 81–94, 2001.
Asif, M., I.. Conceição, C.. Café, J.. Almeida, S.. Mouga, G.. Oliveira, F. Couto, and A.. Vicente, "Use of machine learning approaches to explore genetic and phenotypic associations for Autism Spectrum Disorder", 18th Meeting of The Portuguese Society of Human Genetics (SPGH), 2014.
Antunes, P., C. J. Costa, and J. Alberto Pi Urtubia, The use of genre analysis in the design of electronic meeting systems, : UNIV SHEFFIELD DEPT INFORMATION STUDIES, 2006.
Costa, C. J., P. Antunes, and J. A. Pino, "The use of genre analysis in the design of electronic meeting systems", Information Research, vol. 11, no. 3: InformationR. net, pp. 1, 2005.
Carvalho, N., A. Correia Jr, J. Pereira, L. Rodrigues, R. Oliveira, and S. Guedes, "On the Use of a Reflective Architecture to Augment Database Management Systems.", J. UCS, vol. 13, no. 8, pp. 1110–1135, 2007.
Matthiesen, E. Vestergaar, M. Radimirsch, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, and L. Falai, Use case scenarios and preliminary reference model, : Department of Informatics, University of Lisbon, 2007.
Radimirsch, M., E. V. Matthiesen, G. Huszerl, M. Reitenspieß, M. Kaaniche, I. Einar Svinnset, A. Casimiro, L. Falai, HIDENETS. Consortium, and , "Use case scenarios and preliminary reference model", EU FP6 IST project HIDENETS, deliverable D, vol. 1, 2006.
Trewin, S., D. H. Marques, and T. Guerreiro, "Usage of Subjective Scales in Accessibility Research", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
Duarte, C., and L. Carriço, "Usability evaluation of digital talking books", Proc. Interacçao, 2004.
Gomes, D., and M. J. Silva, On URL and content persistence, : Department of Informatics, University of Lisbon, 2005.
Silva, M. J., F. Couto, T. Grego, D. Faria, and C. Pesquita, Untangling BioOntologies for Mining Biomedical Information, : Handbook of Research on Text and Web Mining Technologies, IGI Global Publishing, 2008.
Pesquita, C., D. Faria, T. Grego, F. Couto, and M. J. Silva, "Untangling BioOntologies for Mining Biomedical Information", Handbook of research on text and Web mining technologies: Information Science Reference, 2009.
Ferreira, P. M., "Unsupervised entropy-based selection of data sets for improved model fitting", Neural Networks (IJCNN), 2016 International Joint Conference on: IEEE, pp. 3330–3337, 2016.
J Marques, A., P. Guedes, P. Sousa, M. Sequeira, N. Guimarães, J. Monge, A. Zúquete, and P. Ferreira, A Unix Implementation of the Comandos Virtual Machine, , 1993.
Cardoso, N., P. Sousa, and M. J. Silva, "The university of lisbon at geoclef 2008", Working notes of CLEF, 2008.
Martins, B., N. Cardoso, M. Chaves, L. Andrade, and M. J. Silva, "The university of lisbon at geoclef 2006", Evaluation of Multilingual and Multi-modal Information Retrieval: Springer Berlin Heidelberg, pp. 986–994, 2007.
Cardoso, N., M. J. Silva, and B. Martins, "The University of Lisbon at CLEF 2006 ad-hoc task", Evaluation of multilingual and multi-modal information retrieval: Springer Berlin Heidelberg, pp. 51–56, 2007.
Mateus, P., A. Sernadas, and A. Souto, "Universality of quantum Turing machines with deterministic control", Journal of Logic and Computation, vol. 27, no. 1: Oxford University Press, pp. 1–19, 2017.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Understanding the Role of Historical Context in a Point of Interest Recommendation System", International Conference on Information Visualization Theory and Applications, IVAPP 2013, 2013.
Costa, M., and M. J. Silva, "Understanding the information needs of web archive users", Proc. of the 10th International Web Archiving Workshop, vol. 9, no. 16, pp. 6, 2010.
Fonseca, A., and B. Cabral, "Understanding the impact of task granularity in the energy consumption of parallel programs", Sustainable Computing: Informatics and Systems, vol. 17: Elsevier, pp. 69–80, 2018.
Herskovic, V., A. Neyem, S. F. Ochoa, J. A. Pino, and P. Antunes, "Understanding presence awareness information needs among engineering students", Computer Supported Cooperative Work in Design (CSCWD), 2012 IEEE 16th International Conference on: IEEE, pp. 258–264, 2012.
Marques, D. H., T. Guerreiro, L. Duarte, and L. Carriço, "Under the table: Tap authentication for smartphones", Proceedings of the 27th International BCS Human Computer Interaction Conference: British Computer Society, pp. 33, 2013.
Duarte, L., and L. Carriço, "The Unconventional Interaction Library: Tackling the Use of Physiological Interaction Modalities", Creating Connecting and Collaborating through Computing (C5), 2010 Eighth International Conference on: IEEE, pp. 61–67, 2010.
Verissimo, P., "Uncertainty and predictability: Can they be reconciled?", Future Directions in Distributed Computing: Springer Berlin Heidelberg, pp. 108–113, 2003.
Lages, N. F., B. Caetano, M. J. Fonseca, J. D. Pereira, H. Galhardas, and R. Farinha, "Umedicine: A System for Clinical Practice Support and Data Analysis", VLDB Workshop on Data Management and Analytics for Medicine and Healthcare: Springer, pp. 102–120, 2017.
Rodrigues, C., M. Chaves, and M. J. Silva, "Uma representação ontológica da geografia f{ísica de Portugal", IX Encontro de Utilizadores de Informação Geográfica, ESIG-Oeiras, Portugal, 2006.
Silva, M. J., and A. Paula Afonso, Uma Arquitectura de Sistema para Information Appliances, : EPCM'99-Encontro Português de Computação Móvel, 1999.
Mascarenhas, R., and H. Miranda, "Um Sistema Publicador/subscritor com Subscrições Geograficamente Distribuídas para {RSSFs}", Actas do INFORUM - Simpósio de Informática, Braga, Portugal, Universidade do Minho, 2010.
M Monteiro, J., S. Teixeira, H. Miranda, and L. Rodrigues, Um serviço de replicação transparente de servidores CORBA utilizando sincronia virtual, : Department of Informatics, University of Lisbon, 2001.
Jieke, P., M. Correia, N. Ferreira Neves, P. Verissimo, SA. Siemens, and R. Irmãos Siemens, "Um Núcleo de Segurança Distribu{ído para Suporte a Protocolos Tolerantes a Intrusões", 1ª Conferência Nacional sobre Segurança Informática nas Organizações. Covilhã, Portugal, 2005.
de Sousa, I. Dias, and N. Guimarães, Um estudo comparativo da imprensa, rádio e televisão com os modelos PHIMA e ICDT, : Universidade Aberta, 2005.
Dantas, W. Saback, A. Neves Bessani, and J. da Silva Fraga, Um Arcabouço de Simulação e Avaliação de Sistemas de Quóruns Bizantinos, : VIII Workshop de Testes e Tolerância a Falhas, 2007.
Ludovico, J., and H. Miranda, "Um Algoritmo de Difusao Baseado na Troca de Resumos", Atas do INFORUM, pp. 294–305, 2011.
Leal, A.., B.. Martins, and F. Couto, "ULisboa: Recognition and Normalization of Medical Concepts", 8th International Workshop on Semantic Evaluation (SemEval), 2015.
Leal, A., D. Gonçalves, B. Martins, and F. Couto, "ULisboa: Identification and Classification of Medical Concepts", SemEval 2014, pp. 711, 2014.
Lamurias, A., D. Sousa, S. Pereira, L. Clarke, and F. M. Couto, "ULISBOA at SemEval-2017 Task 12: Extraction and classification of temporal expressions and events", Proceedings of the 11th International Workshop on Semantic Evaluation (SemEval-2017), pp. 1019–1023, 2017.
Barros, M., A. Lamurias, G. Figueiró, M. Antunes, J. Teixeira, A. Pinheiro, and F. M. Couto, "ULISBOA at SemEval-2016 Task 12: Extraction of temporal expressions, clinical events and relations using IBEnt.", SemEval@ NAACL-HLT, pp. 1263–1267, 2016.
de Sá, M., L. Carriço, and P. Antunes, "Ubiquitous psychotherapy", IEEE Pervasive Computing, vol. 6, no. 1: IEEE Educational Activities Department, pp. 20–27, 2007.
de Sá, M., L. Carriço, and P. Antunes, "Ubiquitous psychotherapy", IEEE Pervasive Computing: IEEE Computer Society, pp. 20–27, 2007.
de Sá, M., L. Carriço, J. Neca, N. Fernandes, P. Feiteira, R. Pereira, P. Bernardo, J. Faria, and I. Sá, "Ubiquitous geo-referenced social skills therapy", Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing-Adjunct: ACM, pp. 399–400, 2010.
Afonso, A. Paula, F. S. Regateiro, and M. J. Silva, "UbiData: An adaptable framework for information dissemination to mobile users", Object-Oriented Technology: ECOOP'98 Workshop Reader: Springer Berlin Heidelberg, pp. 309–310, 1998.
Nicolau, H., J. Guerreiro, T. Guerreiro, and L. Carriço, "UbiBraille: designing and evaluating a vibrotactile Braille-reading device", Proceedings of the 15th International ACM SIGACCESS Conference on Computers and Accessibility: ACM, pp. 23, 2013.
T
Vieira, H. Torres, and V. T. Vasconcelos, "Typing progress in communication-centred systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 236–250, 2013.
Nicolau, H., K. Montague, T. Guerreiro, A. Rodrigues, and V. L. Hanson, "Typing Performance of Blind Users: An Analysis of Touch Behaviors, Learning Effect, and In-Situ Usage", Proceedings of the 17th International ACM SIGACCESS Conference on Computers &\#38; Accessibility, New York, NY, USA, ACM, 2015.
Padovani, L., V. T. Vasconcelos, and H. Torres Vieira, "Typing liveness in multiparty communicating systems", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 147–162, 2014.
Baltazar, P., V. T. Vasconcelos, and H. Torres Vieira, Typing dynamic roles in multiparty interaction, , 2011.
Martins, F., V. T. Vasconcelos, and T. Cogumbreiro, "Types for X10 Clocks", arXiv preprint arXiv:1110.4165, 2011.
Honda, K., V. T. Vasconcelos, and N. Yoshida, "Type-directed compilation for multicore programming", Electronic Notes in Theoretical Computer Science, vol. 241: Elsevier, pp. 101–111, 2009.
Vasconcelos, V. T., F. Martins, E. R. B. Marques, H. A. López, C. Santos, and N. Yoshida, Type-based verification of message-passing parallel programs, , 2014.
Martins, F., and V. T. Vasconcelos, Type-based approach to multi-core programming, , 2008.
Baltazar, P., L. Caires, V. T. Vasconcelos, and H. Torres Vieira, "A type system for flexible role assignment in multiparty communicating systems", Trustworthy Global Computing: Springer Berlin Heidelberg, pp. 82–96, 2013.
Vasconcelos, V. T., M. Giunti, N. Yoshida, and K. Honda, "Type safety without subject reduction for session types", UNDER CONSIDERATION FOR PUBLICATION IN MATH. STRUCT. IN COMP. SCIENCE, 2010.
Vasconcelos, V. T., F. Martins, and T. Cogumbreiro, "Type inference for deadlock detection in a multithreaded polymorphic typed assembly language", arXiv preprint arXiv:1002.0942, 2010.
Martinho, R., J. Varajao, and D. Domingos, "A two-step approach for modelling flexibility in software processes", Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering: IEEE Computer Society, pp. 427–430, 2008.
Miranda, H., and L. Rodrigues, "A two-side perspective on cooperation in mobile ad hoc networks", Proceedings of the conference on mobile and ubiquitous systems. Escola de Engenharia-Universidade do Minho, Guimaraes, Portugal: Citeseer, pp. 109–118, 2006.
Freitas, F., R. Rodrigues, C. Ribeiro, P. Ferreira, and L. Rodrigues, "Tverme: Worm containment in peer-topeer overlays", in Proceedings of the 6th International Workshop on Peer-to-Peer Systems, Sellevae, 2007.
Coelho, J., P. Biswas, T. Guerreiro, G. Aslan, C. Duarte, and P. Langdon, "TV applications for the elderly: Assessing the acceptance of adaptation and multimodality", ACHI 2013, The Sixth International Conference on Advances in Computer-Human Interactions, pp. 234–242, 2013.
Moniz, H., N. Ferreira Neves, and M. Correia, Turquois: Byzantine Consensus in Wireless Ad hoc Networks (extended version), , 2010.
Moniz, H., N. Ferreira Neves, and M. Correia, "Turquois: Byzantine consensus in wireless ad hoc networks", Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on: IEEE, pp. 537–546, 2010.
Silva, M. J., Tumba!: Relatório de Actividades de 2003 e Plano para 2003, , 2002.
Pereira, T., S. Cardoso, D. Silva, A. de Mendonça, M. Guerreiro, and S. C. Madeira, "Trustworthy Predictions of Conversion from Mild Cognitive Impairment to Dementia: A Conformal Prediction Approach", International Conference on Practical Applications of Computational Biology & Bioinformatics: Springer, pp. 155–163, 2017.
Padhy, S., D. Kreutz, A. Casimiro, and M. Pasin, "Trustworthy and resilient monitoring system for cloud infrastructures", Proceedings of the Workshop on Posters and Demos Track: ACM, pp. 3, 2011.

Pages