Export 2364 results:
Journal Article
Couto, F., M. J. Silva, V. Lee, E. Dimmer, E. Camon, R. Apweiler, H. Kirsch, and D. Rebholz-Schuhmann, "GOAnnotator: linking protein GO annotations to evidence text", Journal of Biomedical Discovery and Collaboration, vol. 1, no. 1: BioMed Central Ltd, pp. 19, 2006.
Faria, D., C. Pesquita, F. Couto, and A. O. Falcao, "GOclasses: molecular function as viewed by proteins", The 12th Annual Bio-Ontologies, 2009.
Miranda, H., Gossip-based data distribution in mobile ad hoc networks, : Department of Informatics, University of Lisbon, 2007.
Rodrigues, L., Gossiping in the mobile world, , 2005.
Friedman, R., D. Gavidia, L. Rodrigues, A. Carneiro Viana, and S. Voulgaris, "Gossiping on MANETs: the Beauty and the Beast", ACM SIGOPS Operating Systems Review, vol. 41, no. 5: ACM, pp. 67–74, 2007.
Weatherspoon, H., H. Miranda, K. Iwanicki, A. Ghodsi, and Y. Busnel, "Gossiping over storage systems is practical", ACM SIGOPS Operating Systems Review, vol. 41, no. 5: ACM, pp. 75–81, 2007.
Kock, N., and P. Antunes, "Government funding of e-collaboration research in the European Union: A comparison with the United States model", International Journal of e-Collaboration (IJeC), vol. 3, no. 2: IGI Global, pp. 36–47, 2007.
Igarashi, A., P. Thiemann, V. T. Vasconcelos, and P. Wadler, "Gradual session types", Proceedings of the ACM on Programming Languages, vol. 1, no. ICFP: ACM, pp. 38, 2017.
Miranda, H., M. Antunes, L. Rodrigues, and R. A Silva, "Group communication support for dependable multi-user object-oriented environments", SRDS Workshop on Dependable System Middleware and Group Communication (DSMGC 2000), 2000.
Zamite, J., D. Domingos, M. J. Silva, and C. Santos, "Group-based discretionary access control for epidemiological resources", Procedia Technology, vol. 9: Elsevier, pp. 1149–1158, 2013.
Zamite, J., D. Domingos, M. J. Silva, and C. Santos, "Group-Based Discretionary Access Control in Health Related Repositories", Journal of Information Technology Research (JITR), vol. 7, no. 1: IGI Global, pp. 78–94, 2014.
Antunes, P., Groupware: conceitos fundamentais e caracterização dos principais blocos construtivos, : Department of Informatics, University of Lisbon, 2002.
Antunes, P., Groupware: Conceitos Fundamentais e Caracteriza$η$$\gamma$o dos Principais Blocos Construtivos, , 2002.
Briggs, R. O., P. Antunes, G-J. de Vreede, and A. S. Read, "Groupware: Design, implementation, and use", Lecture Notes in Computer Science, vol. 5411, 2008.
MEIRELLES, ML., RC. OLIVEIRA, JF. RIBEIRO, LJ. VIVALDI, LA. RODRIGUES, and GP. SILVA, Grupo de especies asociadas en un gradiente de campo humedo (Maranhao, Brasil).., : In: CONGRESO LATIONOAMERICANO DE ECOLOGIA, 4.; CONGRESO PERUANO DE ECOLOGIA, 2., 1998.
Bastos, H., L.. Sousa, L.. Clarke, and F. Couto, "GRYFUN: A Web Application for GO Term Annotation Visualization and Analysis in Protein Sets", PLoS ONE, vol. 10, pp. 1-20, 2015.
Verissimo, P., J. Arlat, A. Bondavalli, and B. Haverkort, "Guest Editorial for the Special Issue on the 2005 IEEE/IFIP Conference on Dependable Systems and Networks, including the Dependable Computing and Communications and Performance and Dependability Symposia", IEEE Transactions on Dependable and Secure Computing, vol. 3, no. 3: IEEE Computer Society, pp. 0169–171, 2006.
Thomas, G., S. Strover, VM. Bove, T. Chambel, and P. Viana, Guest Editorial: Immersive Media Experiences, , 2016.
Santos, A. L., "GUI code tracing through direct program interaction", Journal of Software: Evolution and Process, vol. 26, no. 6, pp. 552–568, 2014.
Duarte, C., P. Langdon, C. Jung, J. Coelho, P. Biswas, and P. Hamisu, "GUIDE: creating accessible TV applications", Everyday Technology for Independence and Care, AAATE, pp. 905–912, 2011.
Jung, C., P. Hamisu, C. Duarte, P. Biswas, and L. Almeida, "GUIDE: Personalisable Multi-Modal User Interfaces for Web Applications on TV", eBook and USB produced by Sigma Orionis, pp. 35, 2012.
Caspi, P., A. Sangiovanni-Vincentelli, L. Almeida, A. Benveniste, B. Bouyssounouse, G. Buttazzo, I. Crnkovic, W. Damm, J. Engblom, G. Folher, et al., "Guidelines for a graduate curriculum on embedded software and systems", ACM Transactions on Embedded Computing Systems (TECS), vol. 4, no. 3: ACM, pp. 587–611, 2005.
Carriço, L., and M. de Sá, "Hand-held psychotherapy artifacts", Proceedings of the 11th Human Computer Interaction International Conference, HCII05, Las Vegas, USA, 2005.
Bidarra, J., N. Guimarães, and P. Kommers, Handling hypermedia complexity: Fractal hyperscapes and mind mapping, , 2000.
Martins, B., M. J. Silva, S. Freitas, and A. Paula Afonso, "Handling Locations in Search Engine Queries.", GIR, vol. 6, pp. 1–6, 2006.
Couto, F., T. Grego, C. Pesquita, and P. Verissimo, Handling self-citations using Google Scholar, : International Journal of Scientometrics, Informetrics and Bibliometrics, 2009.
Rufino, J., and P. Verissimo, "Hard real-time operation of CAN", TechnicalReport CSTC RT-97-02, Centro de Sistemas Telematicos e Computacionais do Instituto Superior Tecnico, Lisboa, Portugal, 1997.
Vasconcelos, V. T., A. Lopes, and F. Martins, "HeadREST: A Specification Language for RESTful APIs", TYPES 2018, pp. 80, 2018.
Grunberg, A., R. Carlier, F. Bekkali, M. J. Silva, P. Chemouilli, and D. Doyon, "Hématomes sous-duraux rachidiens: présentation de deux cas explorés en IRM", Journal de radiologie, vol. 74, no. 5: Masson, pp. 291–295, 1993.
Fiadeiro, J. L., and A. Lopes, "Heterogeneous and asynchronous networks of timed systems", Theoretical Computer Science, vol. 663: Elsevier, pp. 1–33, 2017.
Craveiro, J., and J. Rufino, "Heterogeneous multiprocessor compositional real-time scheduling", RTSOPS 2012, pp. 21, 2012.
Borges, JG., JA. Gomes, A. O. Falcao, and HM. Hoganson, "[Heuristics based on dynamic programming and adjacency restrictions in forest management: an example in a cork-oak grove and its application in a eucalyptus plantation]", Revista Florestal (Portugal), 1999.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Hidden problems of asynchronous proactive recovery", Proceedings of the Workshop on Hot Topics in System Dependability, 2007.
Casimiro, A., and P. Verissimo, HIDENETS–Highly Dependable IP-based Networks and Services, , 2008.
Wichert, A., and M. J. Silva, Hierarchical linear subspace indexing method, : Department of Informatics, University of Lisbon, 2006.
Sousa, P., A. Neves Bessani, M. Correia, N. Ferreira Neves, and P. Verissimo, "Highly available intrusion-tolerant services with proactive-reactive recovery", Parallel and Distributed Systems, IEEE Transactions on, vol. 21, no. 4: IEEE, pp. 452–465, 2010.
Veronese, G. Santos, M. Correia, A. Neves Bessani, and C. L Lung, "Highly-resilient services for critical infrastructures", Proceedings of the Embedded Systems and Communications Security Workshop, 2009.
Saraiva, A. João, M. José Damásio, and T. Chambel, Hiperv{ídeo na Preservação e Partilha de Memória Cultural e Etnográfica, : Interacção'2008, 3ª Conferência Nacional em Interfaces Pessoa-Máquina, 2008.
Marques-Silva, J., A. Ignatiev, and A. Morgado, "Horn Maximum Satisfiability: Reductions, Algorithms & Applications", arXiv preprint arXiv:1705.05335, 2017.
Jr, W. S. Melo, A. Bessani, and L. F. R. C. Carmo, How Blockchains can help Legal Metrology, , 2017.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/intrusion-tolerant systems?, : Department of Informatics, University of Lisbon, 2005.
Sousa, P., N. Ferreira Neves, and P. Verissimo, How dependable are distributed f fault/tolerant systems?, , 2005.
Obelheiro, R. R., A. Neves Bessani, C. L Lung, and M. Correia, How practical are intrusion-tolerant distributed systems?, : Department of Informatics, University of Lisbon, 2006.
Craveiro, J., R. Ormonde Silveira, and J. Rufino, "hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator", 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, 2012.
Guimarães, N., and L. Carriço, "Hypermedia genes: an evolutionary perspective on concepts, models, and architectures", Synthesis Lectures on Information Concepts, Retrieval, and Services, vol. 4, no. 1: Morgan & Claypool Publishers, pp. 1–86, 2009.
Chambel, T., C. Zahn, and M. Finke, "Hypervideo and cognition: Designing video-based hypermedia for individual learning and collaborative knowledge building", Cognitively Informed Systems: Utilizing Practical Approaches to Enrich Information Presentation and Transfert, pp. 26–49, 2006.
Chambel, T., N. Correia, and N. Guimarães, "Hypervideo on the web: Models and techniques for video integration", International Journal of Computers & Applications, vol. 23, no. 2: Acta Press, pp. 90–98, 2001.
Verissimo, P., J. Gomes Almeida, P. Antunes, R. Bravo, J. Pina Miranda, P. Verdelho, and A. Zúquete, A Identidade Digital1, , 2007.
Grego, T., P. Pęzik, F. Couto, and D. Rebholz-Schuhmann, "Identification of chemical entities in patent documents", Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: Springer, pp. 942–949, 2009.
Alarcao, S. M., and M. J. Fonseca, "Identifying Emotions in Images from Valence and Arousal Ratings", Multimedia Tools and Applications, 2017.
Pesquita, C., T. Grego, and F. Couto, "Identifying Gene Ontology Areas for Automated Enrichment", Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: Springer, pp. 934–941, 2009.
Lobo, M., A. Lamurias, and F. M. Couto, "Identifying Human Phenotype Terms by Combining Machine Learning and Validation Rules", BioMed Research International, vol. 2017: Hindawi, 2017.
Lamurias, A., J. Ferreira, and F. Couto, "Identifying interactions between chemical entities in biomedical text", Journal of integrative bioinformatics, vol. 11, no. 3, pp. 247, 2014.
Lamurias, A., Identifying interactions between chemical entities in text, , 2014.
Arlat, J., A. Bondavalli, BRHM. Haverkort, and P. Verissimo, IEEE Transactions on Dependable and Secure Computing, : IEEE Computer Society, 2006.
Schoofs, T., S. Santos, C. Tatibana, J. Anjos, J. Rufino, and J. Windsor, An IMA development environment, : Eurospace Data Systems in Aerospace Conference (DASIA 2009), 2009.
Oliveira, I., N. Correia, and N. Guimarães, "Image processing techniques for video content extraction", Proceedings of 4th Dellos Workshop, 1997.
Silva, MB., R. Carlier, C. Parlier-Cuau, G. Schaison, and D. Doyon, "Imagerie normale et pathologique de la tige pituitaire", Journal de radiologie, vol. 74, no. 6-7: Masson, pp. 355–362, 1993.
Marques, JA., L. Simões, N. Guimarães, L. Carriço, and M. Sequeira, "Images-An Approach to an Object Oriented UIMS", Proceedings of the Autumn 1988 EUUG Conference, 1988.
Ruano, A. E., S. Pesteh, S. Silva, H. Duarte, G. Mestre, P. M. Ferreira, H. R. Khosravani, and R. Horta, "The IMBPC HVAC system: A complete MBPC solution for existing HVAC systems", Energy and Buildings, vol. 120: Elsevier, pp. 145–158, 2016.
Campos, L., V. Pedro, and F. Couto, "Impact of translation on named-entity recognition in radiology texts", Database, vol. 2017: Oxford University Press, 2017.
Rodrigues, J., J. Ventura, AM. de Campos, and L. Rodrigues, "Implementation and analysis of real-time communication protocol compositions", Real-Time Systems, vol. 37, no. 1: Springer US, pp. 45–76, 2007.
Couto, F., M. J. Silva, and P. M. Coutinho, Implementation of a functional semantic similarity measure between gene-products, : Department of Informatics, University of Lisbon, 2003.
Correia, M., A. Neves Bessani, N. Ferreira Neves, C. L Lung, and P. Verissimo, Improving Byzantine Protocols with Secure Computational Components, : Department of Informatics, University of Lisbon, 2005.
Lamurias, A., J. Ferreira, and F. Couto, "Improving chemical entity recognition through h-index based semantic similarity", Journal of Cheminformatics, vol. 7, pp. S13, 1-20, 2015.
Ferreira, A., P. Antunes, and V. Herskovic, "Improving group attention: An experiment with synchronous brainstorming", Group Decision and Negotiation, vol. 20, no. 5: Springer, pp. 643–666, 2011.
Couto, F., M. J. Silva, and P. Coutinho, "Improving information extraction through biological correlation", Data Mining and Text Mining for Bioinformatics, pp. 8, 2003.
Costa, D., and C. Duarte, "Improving Interaction with TV-Based Applications through Adaptive Multimodal Fission", Emerging Research and Trends in Interactivity and the Human-Computer Interface: IGI Global, pp. 54, 2013.
Senger, H., and , "Improving scalability of Bag-of-Tasks applications running on master–slave platforms", Parallel Computing, vol. 35, no. 2: North-Holland, pp. 57–71, 2009.
Pesquita, C., Improving semantic similarity for proteins based on the gene ontology, , 2007.
Oliveira, D., and C. Pesquita, "Improving the interoperability of biomedical ontologies with compound alignments", Journal of biomedical semantics, vol. 9, no. 1: BioMed Central, pp. 1, 2018.
Magalhães, J., S. Strover, T. Chambel, P. Viana, T. Andrade, F. Francisco-Revilla, F. Martins, and N. Correia, "ImTV: Towards an Immersive TV Experience", 3rd International Workshop on Future Television: Making Television Integrated and Interactive, Adjunct Proceeding of EuroiTV, vol. 12, 2012.
Horimoto, A. Magno Coel, E. Naomi Naka Matos, M. Reis da Costa, F. Takahashi, M. Cruz Rezende, L. Barrios Kanomata, E. Possebon P. Locatelli, L. Tavares Finotti, F. Kamy Macie Maegawa, R. Maria Ribe Rondon, et al., "Incidência e prevalência de esclerose sistêmica em Campo Grande, Estado de Mato Grosso do Sul, Brasil", Revista Brasileira de Reumatologia, vol. 57, no. 2: Elsevier, pp. 107–114, 2017.
Costa, M., and M. J. Silva, "Indexação distribu{ída de colecções Web de larga escala", IEEE Latin America Transactions, 2005.
Andrade, L., and M. J. Silva, "Indexing Structures for Geographic Web Retrieval", Proceedings of the Conference on Mobile and Ubiquitous Systems (CSMU'06), Guimarães, Portugal, 2006.
Araujo, F., and L. Rodrigues, The IndiQoS Message Broker: an Instantiation Using RSVP, : Department of Informatics, University of Lisbon, 2002.
Cardoso, P., D. Domingos, and A. Paula Cláudio, "Indoor Navigation Systems for Reduced Mobility Users: The w4all Case Study", Procedia Computer Science, vol. 100: Elsevier, pp. 1200–1207, 2016.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Indoor positioning using a mobile phone with an integrated accelerometer and digital compass", INForum, 2010.
Deliveryce, O., P. Vicente, and L. Rodrigues, An Indulgent Uniform Total Order Algorithm with, , 2002.
Martins, F., V. Thudichum Vasconcelos, and H. Hüttel, "Inferring Types for Parallel Programs", arXiv preprint arXiv:1704.03096, 2017.
Miragaia, C., JG. Borges, A. O. Falcao, and M. Tome, "InFlor, a management information system in forest resources", Modelling the growth of tree plantations and agroforestry systems in South and East Africa, University of Joensuu, Faculty of Forestry Research Notes, vol. 80, pp. 131–142, 1998.
Bellovin, S. M., T. V. Benzel, B. Blakley, D. E. Denning, W. Diffie, J. Epstein, and P. Verissimo, "Information assurance technology forecast 2008", IEEE Security & Privacy, no. 1: IEEE, pp. 16–23, 2008.
Barraca, J. Paulo, H. Rodrigues, A. Teixeira, and J. Maria Fernandes, INForum 2017: Atas do Nono Simpósio de Informática, : UA Editora, 2017.
Alchieri, E. Adílio, A. Neves Bessani, and J. da Silva Fraga, Infra-Estrutura com Segurança de Funcionamento para Cooperação de Web Services, : 26º Simpósio Brasileiro de Redes de Computadores, 2007.
Favarim, F., G. Santos, M. Correia, and , An Infrastructure for Adaptive Fault Tolerance on FT-CORBA, : 9th IEEE International Symposium on Object and component-oriented Real-time distributed Computing, 2006.
Carriço, L., N. Guimarães, and P. Antunes, INGRID: A Graphical Tool for User Interface Construction, : Citeseer, 1990.
Guimarães, N., L. Carriço, and P. Antunes, "INGRID: An Object Oriented Interface Builder", Fifth International Conference on the Technology of Object-Oriented Language and Systems, Proceedings of the Tools, vol. 91, pp. 291–300, 1991.
Guimarães, N., "INGRID: Interactive Graphical Interface Designer", Tutorial presented at the 5th Annual X Technical Conference, Boston, 1991.
Duarte, C., D. Costa, and L. Carriço, "Innovative Accessible Interfaces", The Wiley Handbook of Human Computer Interaction, vol. 2: Wiley Online Library, pp. 715–730, 2018.
Marques, C. Gonçalo C., A. Amélia Am Carvalho, and N. Guimarães, "INTEGRA{\c{C}}ÃO DOS PRINCÍPIOS DA TEORIA DA FLEXIBILIDADE COGNITIVA NO HIPERDOCUMENTO "ARQUITECTURA DE COMPUTADORES": TESTES DE USABILIDADE REALIZADOS Revista Portuguesa de Educação, año/vol. 17, número 001 Universidade do Minho", Revista Portuguesa de Educação, vol. 17, no. 1, pp. 151–189, 2004.
Falcao, A. O., "{Integração de um visualizador interactivo de paisagens florestais num sistema de apoio á decisão em gestão de recursos naturais–aplicação á Serra da Lousã", Silva Lusitana. Nº Especial, pp. 89–102, 2004.
M Monteiro, J., J. Pereira, and L. Rodrigues, Integração do Flight Simulator 2002 com um protocolo de difusão epidémica, : Department of Informatics, University of Lisbon, 2003.
Correia, N., and T. Chambel, "Integração Multimédia em Meios e Ambientes Aumentados nos Contextos Educativos e Culturais", Arte e Ciência, vol. 2, 2004.
Antunes, P., J. Ferreira Dias, and , Integração organizacional de resultados de reuniões, : CoopMedia'2000, Workshop de Sistemas Multimédia Cooperativos e Distribu{ídos, 2000.
Gagliardi, H. F., F. Silva, D. Stringhini, F. S. Lopes, and R. M. Pereira, The Integra-Model Service: enabling the simulation of multiple epidemiological models and scenarios on the grid, : Second EELA-2 Conference 2009., 2009.
CARRIÇO, LUIS., and , "Integrated multi-views", Journal of Visual Languages & Computing, vol. 9, no. 3: Academic Press, pp. 287–297, 1998.
Antunes, P., J. Ferreira Dias, and , Integrating Meeting Results in Organizations, : Second International Conference on Enterprise Information Systems, ICEIS 2000, 2000.
M Monteiro, J., J. Pereira, and L. Rodrigues, "Integration of flight simulator 2002 with an epidemic multicast protocol", International Workshop on Large-Scale Group Communication,(in conjuction with The 22nd Symposium on Reliable Distributed Systems), 2003.
Asif, M., C. Rasga, H. Martiniano, JX. Santos, AR. Marques, FM. Couto, and AM. Vicente, "An integrative system biology approach for dissecting Autism Spectrum Disorder", 2º Dia do Jovem Investigador do Instituto Nacional de Saúde Doutor Ricardo Jorge, 8 maio 2017: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2017.
Asif, M., H. F. Martiniano, C. Rasga, A. R. Marques, J. X. Santos, F. M. Couto, A. M. Vicente, and , "An integrative system biology approach to delineate complex genotype-phenotype associations in Autism Spectrum Disorder", 2nd BioSys Retreat 2017, 6-7 October, 2017: Instituto Nacional de Saúde Doutor Ricardo Jorge, IP, 2017.