Publications

Export 2364 results:
Journal Article
Tataryan, N. Baloian, F. Bruno Bayt Pilowsky, P. Antunes, A. Farias, and G. Zurita Alarcón, A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations, : Springer-Verlag, 2008.
Alarcón, G. Zurita, N. Baloian, F. Baytelman, A. Farias, P. Antunes, and , A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations, : Springer-Verlag, 2008.
Duarte, C., L. Carriço, and F. Morgado, "Playback of rich digital books on mobile devices", Human-Computer Interaction. Interaction Platforms and Techniques: Springer, pp. 270–279, 2007.
Santos, JM., E. De Almeida, MJ. Silva, E. Silva, ML. Correia, MA. Costa, MAP. Barbosa, and AG. da Palma-Carlos, "Pneumonia and major airway involvement in primary pulmonary mucormycosis", EUROPEAN JOURNAL OF INTERNAL MEDICINE, vol. 6: EDIZIONI LUIGI POZZI, pp. 123–124, 1995.
Pombinho, P., A. Paula Afonso, and M. Beatriz Carmo, "Point of interest awareness using indoor positioning with a mobile phone", Proceedings of the 1st International Conference on Pervasive and Embedded Computing and Communication Systesm, 2011.
Silva, M. J., "Pólo XLDB da Linguateca: 4 anos", quot; Linguateca: 10 anos (Curia Portugal 11 de Setembro de 2008), 2008.
Rodrigues, L., and P. Verissimo, A posteriori agreement for clock synchronization on broadcast networks, : Citeseer, 1992.
Verissimo, P., and L. Rodrigues, A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networksb, , 1992.
Schmidt, H., R. Kapitza, F. J. Hauck, and H. P. Reiser, "Posters of the 2007 DOA (Distributed Objects and Applications) International Conference-AWSM: Infrastructure for Adaptive Web Service Migration", Lecture Notes in Computer Science, vol. 4805: Berlin: Springer-Verlag, 1973-, pp. 3–4, 2007.
Grandvalet, Y., S. Canu, D. Meizel, and T. Langlois, "PRECONDITIONING FOR IMPROVING CONVERGENCE OF BACK PROPAGATION ALGORITHM IN CONTROL APPLICATIONS", Intelligent engineering systems through artificial neural networks: proceedings of the Artificial Neural Networks in Engineering (ANNIE'91) Conference, held November 10-13, 1991, in St. Louis, Missouri, USA, vol. 1: ASME Press, pp. 89, 1991.
Keller, A., R. C. Gerkin, Y. Guan, A. Dhurandhar, G. Turu, B. Szalai, J. D. Mainland, Y. Ihara, C. Wen Yu, R. Wolfinger, et al., "Predicting human olfactory perception from chemical features of odor molecules", Science: American Association for the Advancement of Science, pp. eaal2014, 2017.
Pereira, T., L. Lemos, S. Cardoso, D. Silva, A. Rodrigues, I. Santana, A. Mendonça, M. Guerreiro, and S. C. Madeira, "Predicting progression of mild cognitive impairment to dementia using neuropsychological data: a supervised learning approach using time windows", BMC medical informatics and decision making, vol. 17, no. 1: BioMed Central, pp. 110, 2017.
Pesquita, C., and F. Couto, "Predicting the extension of biomedical ontologies", PLoS computational biology, vol. 8, no. 9: Public Library of Science, pp. e1002630, 2012.
Eduati, F., L. M. Mangravite, T. Wang, H. Tang, C. J. Bare, R. Huang, T. Norman, M. Kellen, M. P. Menden, J. Yang, et al., "Prediction of human population responses to toxic compounds by a collaborative competition", NATURE BIOTECHNOLOGY, vol. 33, pp. 933-U172, SEP, 2015.
Biegel, G., C. Brudna, A. Casimiro, J. Kaiser, C. Liu, C. Mitidieri, and P. Verissimo, Preliminary definition of CORTEX interaction model, : Department of Informatics, University of Lisbon, 2003.
Barron, P., G. Biegel, V. Cahill, A. Casimiro, S. Clarke, R. Cunningham, A. Fitzpatrick, G. Gaertner, B. Hughes, J. Kaiser, et al., Preliminary definition of CORTEX programming model, : Department of Informatics, University of Lisbon, 2003.
Brudna, C., V. Cahill, A. Casimiro, R. Cunningham, J. Kaiser, R. Meier, and P. Verissimo, Preliminary definition of CORTEX system architecture, : Department of Informatics, University of Lisbon, 2003.
Blair, G., C. Brudna, V. Cahill, A. Casimiro, R. Cunningham, H. Duran-Limon, J. Kaiser, P. Martins, and P. Verissimo, Preliminary Specification of Basic Services and Protocols, : Department of Informatics, University of Lisbon, 2003.
Neves, N. Ferreira, and P. Verissimo, Preliminary specification of services and protocols, : Department of Informatics, University of Lisbon, 2008.
Barbosa, SB., ÂM. Batista, B. R Jatobá, MJ. Silva, and KR. Santoro, "Presence of Somatic Cells in Murrah Buffaloes in Northeast of Brazil.", Revista Veterinaria, vol. 21, no. 1, 2010.
Verissimo, P., L. Rodrigues, and A. Casimiro, Priority-based totally ordered multicast., : University of Bologna, 1995.
Sousa, P., Proactive Resilience, : Department of Informatics, University of Lisbon, 2007.
Sousa, P., "Proactive resilience", Sixth European Dependable Computing Conference (EDCC-6) Supplemental Volume, pp. 27–32, 2006.
Khanna, G., M. Yu Cheng, J. Dyaberi, S. Bagchi, M. Correia, and P. Verissimo, "Probabilistic Diagnosis through Non-Intrusive Monitoring in Distributed Applications", ECE Technical Reports, pp. 72, 2005.
Lanese, I., A. Lluch Lafuente, A. Sokolova, and H. Torres Vieira, "Proceedings 7th Interaction and Concurrency Experience", arXiv preprint arXiv:1410.7013, 2014.
Donaldson, A. F., and V. T. Vasconcelos, "Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software", arXiv preprint arXiv:1406.3313, 2014.
Silva, M. J., P. Fernandes, and F. Couto, Proceedings of Bioinformatics: Knowledge Discovery in Biology Workshop (BKDB 2005), , 2005.
Vasconcelos, V. T., Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, : Department of Informatics, University of Lisbon, 2008.
Correia, M., and N. Ferreira Neves, Proceedings of the First Workshop on Recent Advances on Intrusion-Tolerant Systems, : Department of Informatics, University of Lisbon, 2007.
Duarte, C., L. Carriço, N. Guimarães, and T. Chambel, "Producing DTB from audio tapes", Proceedings of the 5th International Conference in Enterprise Information Systems, ICEIS, vol. 3, 2003.
Borges, JG., and A. O. Falcao, "Programação dinâmica e gestão de povoamentos com estrutura regular e composição pura. Aplicação á Mata Nacional de Leiria", Revista Florestal, vol. 12, no. 1/2, pp. 69–82, 1999.
Antunes, P., N. Ferreira Neves, L. Carriço, P. Verissimo, R. Rocha, and F. Simões, "Projecto de Avaliação de Sistemas de Votação Electrónica–Resultados da Auditoria", Faculdade de Ciências da Universidade de Lisboa, 2004.
da Silva, M. Filipe, Promoção da l{íngua portuguesa no mundo: hipótese de modelo estratégico, , 2005.
Mostrous, D., Proof Nets as Processes, , 2012.
Mostrous, D., Proof Nets in Process Algebraic Form, , 2012.
Cahill, V., A. Casimiro, J. Kaiser, P. Martins, V. Reynolds, P. Sousa, P. Verissimo, and M. Wu, Proof-of-concept prototypes, : Department of Informatics, University of Lisbon, 2003.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Propositional Abduction with Implicit Hitting Sets", arXiv preprint arXiv:1604.08229, 2016.
Batista, P., and M. J. Silva, Prospecção dos Dados de Acesso a um Servidor de Noticias Web, : CRC'99-2ª Conferência de Redes e Computadores, 1999.
Batista, P., and M. J. Silva, Prospecção dos Dados de Acesso ao Público On-Line, , 2000.
Bessani, A. Neves, P. Sousa, M. Correia, N. Ferreira Neves, and P. Verissimo, Protecting CRUTIAL Things, : 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2007.
Faria, D., C. Pesquita, F. Couto, and A. O. Falcao, Proteinon: A web tool for protein semantic similarity, : Department of Informatics, University of Lisbon, 2007.
Canato, S., J. D. Santos, A. S. Carvalho, K. Aloria, M. D. Amaral, R. Matthiesen, A. O. Falcao, and C. M. Farinha, "Proteomic interaction profiling reveals KIFC1 as a factor involved in early targeting of F508del-CFTR to degradation", Cellular and Molecular Life Sciences: Springer, pp. 1–15, 2018.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, C. Santos, N. Ng, and N. Yoshida, Protocol-based verification of MPI programs, , 2014.
Vicente, P., H. Miranda, and L. Rodrigues, Protocolo H{íbrido de Ordem Total Uniforme com entrega Optimista, : Department of Informatics, University of Lisbon, 2001.
Luiz, A. Fernando, C. L Lung, and M. Correia, "Protocolo tolerante a faltas bizantinas para bases de dados transacionais", Anais do XXIX Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos, pp. 559–572, 2011.
Fonseca, A., and B. Cabral, "Prototyping a GPGPU Neural Network for Deep-Learning Big Data Analysis", Big Data Research, vol. 8: Elsevier, pp. 50–56, 2017.
Bessani, A. Neves, E. Adılio Pe Alchieri, M. Correia, J. da Silva Fraga, and C. L Lung, "Provendo confidencialidade em espaços de tuplas tolerantes a intrusoes", Anais do 6o Simpósio Brasileiro em Segurança da Informaç ao e de Sistemas Computacionais-SBSeg 2006, 2006.
de Sá, M., and L. Carriço, Psychological Therapy Artifacts-Usage And Editing With Pdas PDAS, : IADIS International Applied Computing Conference, 2005.
de Sá, M., and L. Carriço, "Psychological Therapy Artifacts–Usage and Editing with PDAs", Proceedings of Applied Computing, International Association for Development of the Information Society, IADIS, Algarve, Portugal, 2005.
Ruano, A., S. Pesteh, S. Silva, H. Duarte, G. Mestre, PM. Ferreira, H. Khosravani, and R. Horta, "PVM-based intelligent predictive control of HVAC systems", IFAC-PapersOnLine, vol. 49, no. 5: Elsevier, pp. 371–376, 2016.
Araujo, F., and L. Rodrigues, On QoS-Aware Publish-Subscribe-Position Paper, : Department of Informatics, University of Lisbon, 2002.
Martinho, R., and D. Domingos, "Quality of Information and Access Cost of IoT Resources in BPMN Processes", Procedia Technology, vol. 16: Elsevier, pp. 737–744, 2014.
Araujo, F., F. Ara Ujo, and L. Rodrigues, Quality of service in indirect communication systems, , 2001.
Ignatiev, A., M. Janota, and J. Marques-Silva, "Quantified maximum satisfiability", Constraints, vol. 21, no. 2: Springer, pp. 277–302, 2016.
Ferreira, A., and P. Antunes, Quantitative Analysis of Shared Workspace Usability, : Department of Informatics, University of Lisbon, 2005.
Ferreira, A., and P. Antunes, "Quantitative Evaluation of Workspace Collaboration.", CSCWD, vol. 6, pp. 1–6, 2006.
Yadav, P., P. Mateus, N. Paunković, and A. Souto, "Quantum contract signing with entangled pairs", arXiv preprint arXiv:1711.09843, 2017.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", Quantum Information Processing, vol. 17, no. 11: Springer, pp. 288, 2018.
Vlachou, C., W. Krawec, P. Mateus, N. Paunkovic, and A. Souto, "Quantum key distribution with quantum walks", arXiv preprint arXiv:1710.07979, 2017.
Mateus, P., D. Qiu, and A. Souto, "Quantum machines with classical control", arXiv preprint arXiv:1709.01387, 2017.
Verissimo, P., and C. Almeida, "Quasi-synchronism: a step away from the traditional fault-tolerant real-time system models", Bulletin of the Technical Committee on Operating Systems and Application Environments (TCOS), vol. 7, no. 4, pp. 35–39, 1995.
Almeida, C., and P. Verissimo, The Quasi-Synchronous approach to Distributed Real-Time Databases, , 1996.
Almeida, C., P. Verissimo, and A. Casimiro, "The quasi-synchronous approach to fault-tolerant and real-time communication and processing", Lisboa, Portugal, jul, 1998.
Janota, M., and J. Marques-Silva, "On the query complexity of selecting minimal sets for monotone predicates", Artificial Intelligence, vol. 233: Elsevier, pp. 73–83, 2016.
Lopes, R., and L. Carriço, "Querying Web Accessibility Knowledge from Web Graphs", Handbook of Research on Social Dimensions of Semantic Technologies, pp. 88–112, 2009.
Teixeira, A. L., J. P. Leal, and A. O. Falcao, "Random forests for feature selection in QSPR Models-an application for predicting standard enthalpy of formation of hydrocarbons.", J. Cheminformatics, vol. 5, pp. 9, 2013.
Denysyuk, O., and L. Rodrigues, "Random walk on directed dynamic graphs", Arxiv preprint, 2006.
Moniz, H., N. Ferreira Neves, M. Correia, and P. Verissimo, "Randomization can be a healer: consensus with dynamic omission failures", Distributed Computing, vol. 24, no. 3-4: Springer-Verlag, pp. 165–175, 2011.
Vavala, B., N. Ferreira Neves, H. Moniz, and P. Verissimo, "Randomized Consensus in Wireless Environments", International Journal On Advances in Intelligent Systems, vol. 4, no. 1 and 2, pp. 1–12, 2011.
Costa, M., and M. J. Silva, Ranking no motor de busca TUMBA, : CRC'01-4ª Conferência de Redes de Computadores, 2001.
Antunes, LF., A. Souto, and PMB. Vitányi, "On the rate of decrease in logical depth", Theoretical Computer Science, vol. 702: Elsevier, pp. 60–64, 2017.
Couto, F., "Rating, recognizing and rewarding metadata integration and sharing on the semantic web", 10th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2014), pp. 67, 2014.
Fonseca, P., and H. Miranda, Reaching Scalability in Unstructured P2P Networks Using a Divide and Conquer Strategy, : Department of Informatics, University of Lisbon, 2008.
Moreira, S., J. Filgueiras, B. Martins, F. Couto, and M. J. Silva, "Reaction: A naive machine learning approach for sentiment classification", Second Joint Conference on Lexical and Computational Semantics (* SEM), vol. 2, pp. 490–494, 2013.
Miranda, H., F. Costa, and L. Rodrigues, "Realizaçao de um serviço de grupos ligeiros para a plataforma de comunicaçao em grupo Ensemble", of: Actas da 1 conferência sobre Redes de Computadores, pp. 65–69, 1998.
Melro, S., P. Verissimo, and , Real-time and dependability comparison of Delta-4/XPA and Mars systems, , 1992.
Verissimo, P., "Real-time communication", Distributed Systems, 2nd Edition, ACM-Press. Addison-Wesley, 1993.
Almeida, C., and P. Verissimo, Real-Time Communication in Quasi-Synchronous Systems. Providing Support for Dynamic Real-Time Applications, : Citeseer, 1996.
Bond, P., D. Seaton, P. Verissimo, and J. Waddington, "Real-time concepts", Springer-Verlag Research Reports ESPRIT Series: Delta-4: a Generic Architecture for Dependable Distributed Computing. Springer-Verlag, 1991.
Almeida, C., and P. Verissimo, Real-Time Group Communication in a Quasi-Synchronous System, : Citeseer, 1995.
Falcao, A. O., M. Próspero Santos, and J. G. Borges, "A real-time visualization tool for forest ecosystem management decision support", Computers and electronics in agriculture, vol. 53, no. 1: Elsevier, pp. 3–12, 2006.
Chadha, R., L. Cruz-Filipe, P. Mateus, and A. Sernadas, "Reasoning about probabilistic sequential programs", Theoretical Computer Science, vol. 379, no. 1: Elsevier, pp. 142–165, 2007.
Couto, F., M. J. Silva, and P. Coutinho, "Rebil: Relating biological information through literature", Intelligent Systems for Molecular Biology, 2003.
Casimiro, A., and M. Correia, "Recent Advances on the Timely Computing Base Model", Fast Abstract at the International Conference on Dependable Systems and Networks, Göteborg, Sweden, 2001.
Mocito, J., and L. Rodrigues, "Reconfigurable architecture for group communication support in hybrid networks", workshop in Sintra, pp. 33, 2006.
Cruz, N., and H. Miranda, "Recurring contact opportunities within groups of devices", EAI Endorsed Transactions on Ambient Systems, vol. 15, 2015.
Cruz, N., and H. Miranda, "Recurring contacts between groups of devices: analysis and application", IEEE Transactions on Mobile Computing, vol. 17, no. 7: IEEE, pp. 1666–1679, 2018.
Freitas, C., D. Santos, H. Gonçalo Oliveira, P. Carvalho, and C. Mota, "Relaçoes semânticas do ReRelEM: além das entidades no Segundo HAREM", Mota and Santos (Mota and Santos, 2008), 2008.
Freitas, C., D. Santos, C. Mota, H. Gonçalo Oliveira, and P. Carvalho, "Relation detection between named entities: report of a shared task", SEW-2009 Semantic Evaluations: Recent Achievements and Future Directions, pp. 129, 2009.
Rodrigues, L., Relatório da Cadeira de SISTEMAS DISTRIBUÍDOS para AMBIENTES INDUSTRIAIS Licenciatura em Engenharia Informática, 4 o Ano, 2 o Semestre, , 1996.
Brandão, L. Teixeira d, and A. Neves Bessani, "On the reliability and availability of replicated and rejuvenating systems under stealth attacks and intrusions", Journal of the Brazilian Computer Society, vol. 18, no. 1: Springer-Verlag, pp. 61–80, 2012.
Respicio, A., and D. Domingos, "Reliability of BPMN Business Processes", Procedia Computer Science, vol. 64, pp. 643–650, 2015.
Domingos, D., A. Respicio, and R. Martinho, "Reliability of IoT-Aware BPMN Healthcare Processes", Internet of Things and Advanced Application in Healthcare: IGI Global, pp. 214, 2016.
Guerraoui, R., and L. Rodrigues, "Reliable Broadcast", Introduction to Reliable Distributed Programming: Springer Berlin Heidelberg, pp. 69–134, 2006.
Verissimo, P., L. Rodrigues, and H. Fonseca, Reliable Computing over Mobile Networks, : University of Bologna, 1995.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "Removing probabilities to improve efficiency in broadcast algorithms", 5 th MiNEMA Workshop, pp. 20, 2007.
Carvalho, N., F. Araújo, and L. Rodrigues, Rendezvous-Based Publish-SuLicribe Systems for Wireless Ad Hoc Networks, : 5th International Workshop on Distributed Event-Based Systems (DEBS), 2006.
Luiz, A. Fernando, A. Neves Bessani, C. L Lung, and T. Filgueiras, "REPEATS: Uma arquitetura para replicaç ao tolerante a faltas bizantinas baseada em espaço de tuplas", Anais do XXVI Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuıdos. SBC, 2008.
Araujo, F., S. Boychenko, R. Barbosa, and A. Casimiro, "Replica placement to mitigate attacks on clouds", Journal of Internet Services and Applications, vol. 5, no. 1: Springer London, pp. 1–13, 2014.
Rodrigues, L., and P. Verissimo, Replicated object management using group technology, , 1993.

Pages