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 
P
de Sá, M., and L. Carriço, Psychological Therapy Artifacts-Usage And Editing With Pdas PDAS, : IADIS International Applied Computing Conference, 2005.
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.
Coelho, J., F. Rito, N. Luz, and C. Duarte, "Prototyping TV and Tablet Facebook Interfaces for Older Adults", Human-Computer Interaction -- INTERACT 2015: 15th IFIP TC 13 International Conference, Bamberg, Germany, Springer International Publishing, 2015.
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.
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.
Vicente, P., H. Miranda, and L. Rodrigues, Protocolo H{íbrido de Ordem Total Uniforme com entrega Optimista, : Department of Informatics, University of Lisbon, 2001.
Marques, E. R. B., F. Martins, V. T. Vasconcelos, C. Santos, N. Ng, and N. Yoshida, Protocol-based verification of MPI programs, , 2014.
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.
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.
Silva, M. J., D. Gedye, R. Katz, and R. Newton, "Protection and versioning for OCT", Proceedings of the 26th ACM/IEEE Design Automation Conference: ACM, pp. 264–269, 1989.
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.
Batista, P., and M. J. Silva, Prospecção dos Dados de Acesso ao Público On-Line, , 2000.
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.
Ignatiev, A., A. Morgado, and J. Marques-Silva, "Propositional Abduction with Implicit Hitting Sets", arXiv preprint arXiv:1604.08229, 2016.
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.
Mostrous, D., Proof Nets in Process Algebraic Form, , 2012.
Mostrous, D., Proof Nets as Processes, , 2012.
da Silva, M. Filipe, Promoção da l{íngua portuguesa no mundo: hipótese de modelo estratégico, , 2005.
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.
Lopes, L., F. Martins, and J. Barros, "Programming Wireless Sensor Networks", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 25–41, 2009.
Guimarães, N., N. Correia, and T. A. Carmo, "Programming time in multimedia user interfaces", Proceedings of the 5th annual ACM symposium on User interface software and technology: ACM, pp. 125–134, 1992.
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.
Couto, F., M. J. Silva, and P. Coutinho, "ProFAL: PROtein Functional Annotation through Literature.", JISBD, pp. 747–756, 2003.
Duarte, C., L. Carriço, T. Chambel, and N. Guimarães, "Producing DTB From Audio Tapes.", ICEIS (3), pp. 582–585, 2003.
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.
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A process calculus approach to sensor network programming", Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on: IEEE, pp. 451–456, 2007.
Ivanova, V., T. Kauppinen, S. Lohmann, S. Mazumdar, C. Pesquita, and K. Xu, "Proceedings of the International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics", International Workshop on Visualizations and User Interfaces for Knowledge Engineering and Linked Data Analytics: CEUR Workshop Proceedings, 2014.
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.
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.
Lanese, I., A. Lluch Lafuente, A. Sokolova, and H. Torres Vieira, Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014), , 2014.
Chambel, T., P. Viana, M. V Bove, S. Strover, and G. Thomas, "Proceedings of the 3rd ACM International Workshop on Immersive Media Experiences", ImmersiveMe'15, at ACM Multimedia'2015: ACM, New York, USA, 2015.
Silva, M. J., P. Fernandes, and F. Couto, Proceedings of Bioinformatics: Knowledge Discovery in Biology Workshop (BKDB 2005), , 2005.
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.
Lanese, I., A. Lluch Lafuente, A. Sokolova, and H. Torres Vieira, "Proceedings 7th Interaction and Concurrency Experience", arXiv preprint arXiv:1410.7013, 2014.
Pereira, J., L. Rodrigues, R. Oliveira, and A-M. Kermarrec, "Probabilistic semantically reliable multicast", Network Computing and Applications, 2001. NCA 2001. IEEE International Symposium on: IEEE, pp. 100–103, 2001.
Mordido, A., and C. Caleiro, Probabilistic Logic over Equations and Domain Restrictions, : PhD Thesis, IST, Universidade de Lisboa, 2016.
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.
Dixit, M., A. Casimiro, and P. Verissimo, Probabilistic Adaptive Time-Aware Consensus, : Eurosys, 2009.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "Proactive resilience through architectural hybridization", Proceedings of the 2006 ACM symposium on Applied computing: ACM, pp. 686–690, 2006.
Sousa, P., N. Ferreira Neves, P. Verissimo, and W. H. Sanders, "Proactive resilience revisited: The delicate balance between resisting intrusions and remaining available", Reliable Distributed Systems, 2006. SRDS'06. 25th IEEE Symposium on: IEEE, pp. 71–82, 2006.
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.
Carriço, L., M. de Sá, and P. Antunes, "Proactive Psychotherapy with Handheld Devices.", ICEIS (5), pp. 27–34, 2006.
Alchieri, E. A. P., A. Neves Bessani, F. Carlos Pereira, and J. da Silva Fraga, "Proactive Byzantine Quorum Systems", On the Move to Meaningful Internet Systems: OTM 2009: Springer Berlin Heidelberg, pp. 708–725, 2009.
Marques, D. H., L. Duarte, and L. Carriço, "Privacy and secrecy in ubiquitous text messaging", Proceedings of the 14th international conference on Human-computer interaction with mobile devices and services companion: ACM, pp. 95–100, 2012.
Rodrigues, L., P. Verissimo, and A. Casimiro, "Priority-based totally ordered multicast", 3rd IFIP/IFAC workshop on Algorithms and Architectures for Real-Time Control (AARTC'95: Citeseer, 1995.
Verissimo, P., L. Rodrigues, and A. Casimiro, Priority-based totally ordered multicast., : University of Bologna, 1995.
Miranda, H., and L. Rodrigues, "Preventing selfishness in open mobile ad hoc networks", Proceedings of the 7th CaberNet Radicals Workshop, Bertinoro - Italy, 2002.
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.
Neves, N. Ferreira, and P. Verissimo, Preliminary specification of services and protocols, : Department of Informatics, University of Lisbon, 2008.
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.
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.
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.
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.
Duarte, L., P. Ribeiro, A. Rodrigues, T. Guerreiro, and L. Carriço, "A Preliminary Assessment of Physical & Virtual Presence in Exergames", Proceedings of the 28th International BCS Human Computer Interaction Conference on HCI 2014-Sand, Sea and Sky-Holiday HCI: BCS, pp. 305–310, 2014.
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.
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.
Carilho, J.., O.. Schnell, J.. Martins, L. Carriço, C. Duarte, F. Couto, and T. Guerreiro, "Predicting Relevant Events in the Life of a Person with Alzheimer", Bioinformatics Open Days, University of Braga, 2014.
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.
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.
Nogueira, A., M. Calha, and , "Predictability and efficiency in contemporary Hard RTOS for multiprocessor systems", Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011 IEEE 17th International Conference on, vol. 2: IEEE, pp. 3–8, 2011.
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.
Oliveira, I., and N. Guimarães, "Practical Neurophysiological Analysis of Readability as a Usability Dimension", Human Factors in Computing and Informatics: Springer Berlin Heidelberg, pp. 194–211, 2013.
Moreira, S., D. S. Batista, P. Carvalho, F. Couto, and M. J. Silva, "POWER-Politics Ontology for Web Entity Retrieval", Advanced Information Systems Engineering Workshops: Springer Berlin Heidelberg, pp. 489–500, 2011.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "A power-aware broadcasting algorithm", Personal, Indoor and Mobile Radio Communications, 2006 IEEE 17th International Symposium on: IEEE, pp. 1–5, 2006.
Duarte, L., and L. Carriço, "Power me Up!: an interactive and physiological perspective on videogames' temporary bonus rewards", Proceedings of the 4th International Conference on Fun and Games: ACM, pp. 55–63, 2012.
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.
Verissimo, P., and L. Rodrigues, "A posteriori agreement for fault-tolerant clock synchronization on broadcast networks", Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers., Twenty-Second International Symposium on: IEEE, pp. 527–536, 1992.
Verissimo, P., and L. Rodrigues, A posteriori Agreement for Fault-tolerant Clock Synchronization on Broadcast Networksb, , 1992.
Rodrigues, L., and P. Verissimo, A posteriori agreement for clock synchronization on broadcast networks, : Citeseer, 1992.
Carmo, M. Beatriz, A. Paula Cláudio, A. Ferreira, A. Paula Afonso, P. Redweik, C. Catita, M. Centeno Brito, and J. Nunes Pedrosa, "[Poster] Visualization of solar radiation data in augmented reality", Mixed and Augmented Reality (ISMAR), 2014 IEEE International Symposium on: IEEE, pp. 255–256, 2014.
Santos, S., J. Rufino, T. Schoofs, C. Tatibana, and J. Windsor, "A portable ARINC 653 standard interface", Digital Avionics Systems Conference, 2008. DASC 2008. IEEE/AIAA 27th: IEEE, pp. 1–E, 2008.
Silva, M. J., "Pólo XLDB da Linguateca: 4 anos", quot; Linguateca: 10 anos (Curia Portugal 11 de Setembro de 2008), 2008.
Rosa, L., A. Lopes, and L. Rodrigues, "Policy-driven adaptation of protocol stacks", Autonomic and Autonomous Systems, 2006. ICAS'06. 2006 International Conference on: IEEE, pp. 5–5, 2006.
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.
Carmo, M. Beatriz, A. Paula Afonso, A. Ferreira, A. Paula Cláudio, and G. Silva, "PoI Awareness, Relevance and Aggregation for Augmented Reality", Information Visualisation (IV), 2016 20th International Conference: IEEE, pp. 300–305, 2016.
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.
Dias, R., D. Gonçalves, and M. J. Fonseca, "PlaylistCreator: An Assisted Approach for Playlist Creation", Proceedings of the 2016 ACM on Multimedia Conference: ACM, pp. 711–713, 2016.
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.
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.
Zurita, G., N. Baloian, F. Baytelman, A. Farias, and P. Antunes, "A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations", Computer Supported Cooperative Work in Design IV: Springer Berlin Heidelberg, pp. 523–533, 2008.
Miranda, H., "Plataforma de suporte ao desenvolvimento e composiçao de malhas de protocolos", Master's thesis, Departamento de Inform atica-Universidade de Lisboa, 2001.
Guedes, S., V. Conceição, N. Carvalho, and L. Rodrigues, Plataforma de Desenvolvimento e Simulação de Protocolos, : Oitava Conferência sobre Redes de Computadores (CRC'05), 2005.
Duarte, L., M. de Sá, and L. Carriço, "Physiological data gathering in mobile environments", Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing-Adjunct: ACM, pp. 405–406, 2010.
Aguiar, H., M. Beatriz Carmo, P. Pombinho, and A. Paula Afonso, Pesquisas Baseadas na Localização e na Orientação em Dispositivos Móveis, : EPCG'2009, 17º Encontro Português de Computação Gráfica, 2009.
Pombinho, P., and A. Paula Afonso, "Pesquisa de Imagens na Web: estudo de Usabilidade", 2nd National Conference in Human Computer Interaction, pp. 167–175, 2006.
Duarte, L., and L. Carriço, "Persuasive Elements in Videogames: Effects on Player Performance and Physiological State", Advances in Computer Entertainment: Springer International Publishing, pp. 45–60, 2013.
Rodolfo, I., N. Correia, C. Duarte, C. Louro, and R. Almeida, "Perspectives on user experience for a nation-wide senior telehealth program", Proceedings of the 30th International BCS Human Computer Interaction Conference: Fusion!: BCS Learning & Development Ltd., pp. 46, 2016.
Bettinger, P., C. J. Cieszewski, and A. O. Falcao, "Perspectives on New Developments of Decision Support Systems for Sustainable Forest Management", Mathematical and Computational Forestry & Natural-Resource Sciences (MCFNS), vol. 3, no. 1, pp. Pages–15, 2011.
Freitas, S., M. Beatriz Carmo, and A. Paula Afonso, "A personalized visualization tool for geo-referenced information", ACM SIGCSE Bulletin, vol. 37, no. 3: ACM, pp. 398–398, 2005.
Prata, A., T. Chambel, and N. Guimarães, "Personalized Content Access in Interactive TV-Based Cross Media Environments", TV Content Analysis: Techniques and Applications: CRC Press, pp. 331, 2012.
Verissimo, P., J. Rufino, H. Fonseca, and L. Rodrigues, The performance of the xAMp protocol on token-bus and fddi nac's, : Technical Report RT/109-91, INESC, Lisboa, Portugal, 1991.
Carreira, P. J. F., H. Galhardas, J. Pereira, F. Martins, and M. J. Silva, "On the performance of one-to-many data transformations.", QDB, pp. 39–48, 2007.
Costa, P., M. Pasin, A. Bessani, and M. Correia, "On the Performance of Byzantine Fault-Tolerant MapReduce", IEEE Transactions on Dependable and Secure Computing, 2013.
Costa, P., M. Pasin, A. Neves Bessani, and M. Correia, "On the Performance of Byzantine Fault-Tolerant MapReduce", IEEE Transactions on Dependable and Secure Computing, no. 5: IEEE, pp. 301–313, 2013.
Carvalho, S., M. de Fátima da Silva, R. Cerutti, R. Kieling, A. de Oliveira, and M. Daleastre, "Performance and live weight components of lambs submitted to different feeding systems", Ciência Rural, vol. 35, no. 3: Universidade Federal de Santa Maria, pp. 650–655, 2005.
Carreira, P. J. F., H. Galhardas, J. Pereira, F. Martins, and M. J. Silva, Performance Analysis of One-to-Many Data Transformations, : Department of Informatics, University of Lisbon, 2006.
Antunes, P., and C. J. Costa, "Perceived value: A low-cost approach to evaluate meetingware", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 109–125, 2003.
Falcao, A. O., D. Faria, and A. Ferreira, "Peptide programs: applying fragment programs to protein classification", Proceedings of the 2nd international workshop on Data and text mining in bioinformatics: ACM, pp. 37–44, 2008.

Pages