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
Fernandes, C., D. Domingos, and A. Paula Cláudio, Peer intervention as a mean to promote inclusion in high education, : II International Conference of Community, work and family, 2007.
Waldron, D. L., A. Preske, J. M. Zawodny, T. D. Krauss, and M. C. Gupta, "PbSe quantum dot based luminescent solar concentrators", Nanotechnology, vol. 28, no. 9: IOP Publishing, pp. 095205, 2017.
Lopes, R., and L. Carriço, "Patterns for Time-based Hypermedia Artifacts.", EuroPLoP, pp. 247–276, 2006.
Gonçalves, T., A. Rita Vieira, A. Paula Afonso, and A. Ferreira, "PATH - Visualização de Percursos Pessoais com Mapas Animados em Dispositivos Móveis", INForum 2015 – Simpósio de Informática, 2015.
Rufino, J., and J. Craveiro, Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems, , 2008.
Rodrigues, L., and K. Guo, "Partitionable Light-Weight Groups", Distributed Computing Systems, 2000. Proceedings. 20th International Conference on: IEEE, pp. 38–45, 2000.
Lima, D., H. Miranda, and F. Taïani, "Partial Replication Policies for Dynamic Distributed Transactional Memory in Edge Clouds", Proceedings of The 1st Workshop on Middleware for Edge Clouds & Cloudlets, Colocated with ACM/IFIP/USENIX Middleware 2016, Trento, Italy, ACM, 2016.
Cardoso, N., M. J. Silva, and B. Martins, "Part I-Multilingual Textual Document Retrieval (Ad Hoc)-Cross-Language-The University of Lisbon at CLEF 2006 Ad-Hoc Task", Lecture Notes in Computer Science, vol. 4730: Berlin: Springer-Verlag, 1973-, pp. 51–56, 2007.
Almeida, L. B., T. Langlois, JD. Amaral, and A. Plakhov, "Parameter adaptation in stochastic optimization", On-Line Learning in Neural Networks, Publications of the Newton Institute, pp. 111–134, 1998.
Kapitza, R., T. Zeman, F. J. Hauck, and H. P. Reiser, "Parallel state transfer in object replication systems", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 167–180, 2007.
Verissimo, P., and L. Rodrigues, "Paradigms For Real-Time", Distributed Systems for System Architects: Springer US, pp. 289–320, 2001.
Verissimo, P., and L. Rodrigues, "Paradigms for Distributed Systems Management", Distributed Systems for System Architects: Springer US, pp. 531–540, 2001.
Verissimo, P., and L. Rodrigues, "Paradigms for Distributed Fault Tolerance", Distributed Systems for System Architects: Springer US, pp. 193–234, 2001.
Winstanley, C., R. Ramdhany, iv, F. Taiani, B. Porter, and H. Miranda, "{PAMPA} in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family", Journal of Internet Services and Applications, vol. 5, 2014.
Winstanley, C., R. Ramdhany, iv, F. Ta\"ıani, B. Porter, and H. Miranda, "PAMPA in the wild: a real-life evaluation of a lightweight ad-hoc broadcasting family", Proceedings of the 7th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks: ACM, pp. 3, 2012.
Danelutto, M., M. Pasin, M. Vanneschi, P. Dazzi, D. Laforenza, and L. Presti, "PAL: exploiting Java annotations for parallelism", Achievements in European Research on Grid Systems: Springer US, pp. 83–96, 2008.
Carvalho, T., H. S. Kim, and N. Ferreira Neves, "PACE your network: Fair and controllable multi-tenant data center networks", Communications (ICC), 2013 IEEE International Conference on: IEEE, pp. 3726–3731, 2013.
O
Gonçalves, T., A. Paula Afonso, M. Beatriz Carmo, and P. Pombinho, "Overview "vs" Detail on mobile devices: a struggle for screen space", British Computer Society Conference on Human-Computer Interaction, BCS HCI 2012: British Computer Society, pp. 333–338, 2012.
Rufino, J., "An overview of the controller area network", Proceedings of the CiA Forum CAN for Newcomers, 1997.
Fonseca, A., and B. Cabral, "Overcoming the No Free Lunch Theorem in Cut-off Algorithms for Fork-Join programs", Parallel Computing, vol. 76: Elsevier, pp. 42–56, 2018.
Garcia, M., A. Neves Bessani, I. Gashi, N. Ferreira Neves, and R. Obelheiro, "OS diversity for intrusion tolerance: Myth or reality?", Dependable Systems & Networks (DSN), 2011 IEEE/IFIP 41st International Conference on: IEEE, pp. 383–394, 2011.
Sousa, P., A. Zúquete, N. Ferreira Neves, and J. Alves Marques, "Orthogonal persistence in a heterogeneous distributed object-oriented environment", The Computer Journal, vol. 37, no. 6: Br Computer Soc, pp. 531–541, 1994.
Antunes, P., J. Ferreira Dias, and , Organizational Integration of Meeting Results, : 2000 Industry, Engineering, and Management Systems International Conference, 2000.
Gonçalves, N. Pina, and P. Antunes, Organização Participada de Informação Hipertextual Sobre Cadeiras, , 1999.
Costa, C. J., P. Antunes, and J. Ferreira Dias, "Organisational Integration of Meeting Results", Advances in Concurrent Engineering (CE 2000). Technomic Publishing Co., Inc, pp. 265–271, 2000.
Verissimo, P., "Ordering and timeliness requirements of dependable real-time programs", Real-time systems, vol. 7, no. 2: Kluwer Academic Publishers, pp. 105–128, 1994.
Verissimo, P., and L. Rodrigues, Order and synchronism properties of reliable broadcast protocols, : Technical Report RT/66-89, INESC, Lisboa, Portugal, 1989.
Fernandes, N., T. Guerreiro, D. H. Marques, and L. Carriço, "Optimus Web: Selective Delivery of Desktop or Mobile Web Pages", Proceedings of the 12th Web for All Conference, New York, NY, USA, ACM, 2015.
Costa, M., and M. J. Silva, "Optimizing Ranking Calculation in Web Search Engines: a Case Study.", SBBD, pp. 298–308, 2004.
Agapi, A., S. Soudan, M. Pasin, PV-B. Primet, and T. Kielmann, "Optimizing deadline-driven bulk data transfers in overlay networks", Computer Communications and Networks, 2009. ICCCN 2009. Proceedings of 18th Internatonal Conference on: IEEE, pp. 1–8, 2009.
Reiser, H. P., and A. Casimiro, "Optimizing Byzantine Consensus for Fault-Tolerant Embedded Systems with Ad-Hoc and Infrastructure Networks", 4th International Workshop on Dependable Embedded Systems (WDES'07), Bejing, China, 2007.
Verissimo, P., Optimisation de la Réponse aux menaces basée sur les coûts dans des systèmes pour la Sécurité de l'Information et la Gestion des Evénements (SIEMs), : Télécom SudParis, 2014.
Santos, A. L., "An open-ended environment for teaching Java in context", Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education: ACM, pp. 87–92, 2012.
Cardoso, J., M. Bakhshandeh, D. Faria, C. Pesquita, and J. Borbinha, "Ontology-Based Approach for Heterogeneity Analysis of EA Models", International Conference on Business Process Management: Springer, pp. 131–142, 2016.
Santos, E., D. Faria, C. Pesquita, and F. Couto, "Ontology alignment repair through modularization and confidence-based heuristics", arXiv preprint arXiv:1307.5322, 2013.
Bakhshandeh, M., C. Pesquita, and J. Borbinha, "An Ontological Matching Approach for Enterprise Architecture Model Analysis", International Conference on Business Information Systems: Springer, pp. 315–326, 2016.
Silva, M. J., "Ontologias & Terminologias: Perspectivas da engenharia", quot; Material de ensino na Primeira Escola de Verão da Linguateca (UP Porto Portugal 10-14 Julho de 2006), 2006.
Almeida, T. Langlois L., A. D José, and , "On-line step size adaptation", INESC. 9 Rua Alves Redol, 1000, 1997.
Almeida, L., P. Pedreiras, J. Ferreira, M. Calha, J. Alberto Fonseca, R. Marau, V. Silva, and E. Martins, "Online QoS Adaptation with the flexible time-triggered (FTT) communication paradigm", Handbook of real-time and embedded systems: Chapman & Hall/CRC, 2008.
Carreira, P., H. Galhardas, A. Lopes, and J. Pereira, "One-to-many data transformations through data mappers", Data & Knowledge Engineering, vol. 62, no. 3: Elsevier, pp. 483–503, 2007.
Alves, F., V. Cogo, S. Wandelt, U. Leser, and A. Bessani, "On-Demand Indexing for Referential Compression of DNA Sequences", PLOS ONE, vol. 10, pp. 1-17, 07, 2015.
de Sá, M., L. Carriço, and , "OmniSCOPE: composing universal therapies", Methods Inf Med, vol. 49, no. 1, pp. 81–87, 2010.
Rodrigues, J., P. Mateus, N. Paunkovic, and A. Souto, "Oblivious transfer based on single-qubit rotations", Journal of Physics A: Mathematical and Theoretical, vol. 50, no. 20: IOP Publishing, pp. 205301, 2017.
Penz, F., and L. Carriço, "Objects feeling objects in a multiview object space", Human Computer Interaction: Springer Berlin Heidelberg, pp. 25–36, 1993.
Faria, D., C. Pesquita, B. S. Balasubramani, C. Martins, J. Cardoso, H. Curado, F. M. Couto, and I. F. Cruz, "OAEI 2016 results of AML.", OM@ ISWC, pp. 138–145, 2016.
Pinho, T., E. Monteiro, G. Moreira, MJ. Silva, A. Gonçalves, F. Santos, and E. Fonseca, "O26 Lymphoproliferative disease of natural killer cells–case report", European Journal of Internal Medicine, vol. 14: Elsevier, pp. S8, 2003.
Ferreira, P. Lopes, P. Antunes, and S. Portugal, "O valor dos cuidados primários: perspectiva dos utilizadores das USF-2009", Lisboa: VFBM Comunicação Ltda, 2010.
Martins, B., M. Chaves, and M. J. Silva, "O sistema CaGE para Reconhecimento de referências geográficas em textos na l{íngua portuguesa", quot; Encontro do HAREM (Porto Portugal 15 de Julho de 2006), 2006.
Martins, B., M. J. Silva, and M. Chaves, "O sistema CaGE no HAREM-reconhecimento de entidades geográficas em textos em l{íngua portuguesa", Reconhecimento de entidades mencionadas em português: Documentação e actas do HAREM, a primeira avaliação conjunta na área, pp. 199–215, 2007.
Mota, C., and P. Carvalho, "O passar do TEMPO no HAREM", Linguamática, vol. 3, no. 1, pp. 45–58, 2011.
Silva, M. J., O Papel da Meta-informação na Estratégia de Comunicação da Administração Pública, : 1o. Congresso Nacional da Administração Pública: os Vectores da Mudança, 2003.
Cruz, N., H. Miranda, and P. Ribeiro, "O Impacto dos Smartphones nos Modelos de Mobilidade Tradicionais", INForum 2014 - Atas do 6$^o$ Simpósio de Informática, Porto, Portugal, Universidade do Porto, 2014.
Azevedo, J. Nuno, J. Alves, A. Teixeira, and A. Souto, "O impacto das medidas de combate à evasão fiscal nos resultados", European Journal of Applied Business and Management, 2017.
Lopes, R., and L. Carriço, O Impacto da Avaliaç ao de Acessibilidade em Estudos de Larga Escala sobre a Usabilidade Universal da Web, , 2008.
Martins, B., and M. J. Silva, O HAREM e a avaliação de sistemas para o reconhecimento de entidades geográficas em textos em l{íngua portuguesa, : Reconhecimento de entidades mencionadas em português: Documentação e actas do HAREM, a primeira avaliação conjunta na área, 2007.
N
Marques, E. R. B., M. Ribeiro, J. Pinto, J. B. Sousa, and F. Martins, "NVL: a coordination language for unmanned vehicle networks", ACM Symposium on Applied Computing (SAC'15): ACM, 2015.
Leitao, J., M. Correia, L. Rodrigues, and , "N-party BAR transfer", Proceedings of the 15th international conference on Principles of Distributed Systems: Springer-Verlag, pp. 392–408, 2011.
Vilaça, X., J. Leitao, M. Correia, and L. Rodrigues, "N-party BAR transfer", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 392–408, 2011.
Dantas, W. Saback, A. Neves Bessani, and M. Correia, "Not quickly, just in time: Improving the timeliness and reliability of control traffic in utility networks", networks, vol. 9, pp. 12, 2009.
Rufino, J., A. Casimiro, A. Lopes, F. Singhoff, S. Rubini, V-A. Nicolas, M. Lallali, M. Dridi, J. Boukhobza, and L. Allache, "NORTH-Non-intrusive Observation and RunTime verification of cyber-pHysical systems", Ada User Journal, 2018.
Silva, MB., R. Carlier, C. Parlier-Cuau, G. Schaison, and D. Doyon, "[Normal and pathologic imaging of the pituitary stalk]", Journal de radiologie, vol. 74, no. 6-7, pp. 355–362, 1992.
Marques, D., T. Guerreiro, L. Carriço, K. Beznosov, and I. Beschastnikh, "Non-Stranger Danger: Examining the Effectiveness of Smartphone Locks in Preventing Intrusions by Socially-Close Adversaries", WAY 2018 - Who are you? Adventures in Authentication Workshop at SOUPS, 2018.
Verissimo, P., KT. Timenetsky, E. Colucci, LHG. Rodrigues, DM. May, and RA. Caserta, "NONINVASIVE VENTILATION INSIDE THE CATH LAB CAN BE AN EFFECTIVE AND SAFE ALTERNATIVE FOR PATIENTS WITH ACUTE RESPIRATORY FAILURE", INTENSIVE CARE MEDICINE, vol. 40: SPRINGER 233 SPRING ST, NEW YORK, NY 10013 USA, pp. S72–S72, 2014.
Colucci, E., DR. Alves, DHR. Goncalves, KT. Timenetsky, RAC. Eid, and P. Verissimo, "Noninvasive Ventilation Inside The Cath Lab Can Be An Effective And Safe Alternative For Patients With Acute Respiratory Failure", Am J Respir Crit Care Med, vol. 185, pp. A3115, 2012.
Teixeira, A. L., and A. O. Falcao, "Noncontiguous atom matching structural similarity function", Journal of chemical information and modeling, vol. 53, no. 10: American Chemical Society, pp. 2511–2524, 2013.
Rufino, J., P. Verissimo, and G. Arroz, "Node failure detection and membership in CANELy", 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN): IEEE Computer Society, pp. 331–331, 2003.
Antunes, P., and N. Guimarães, "NGTool-Exploring Mechanisms of Support to Interactivity in the Group Process.", CRIWG, pp. 163–171, 1995.
Couto, F., and S. H Pinto, "The next generation of similarity measures that fully explore the semantics in biomedical ontologies", Journal of bioinformatics and computational biology, vol. 11, no. 05: The Authors, 2013.
Maria, N., and M. J. Silva, NewsSearch: An Architecture for Information Retrieval of Online News, : Department of Informatics, University of Lisbon, 1999.
Rodrigues, M., L. Carriço, C. Duarte, N. Guimarães, A. Serralheiro, and I. Trancoso, "New Ways to Read Digital Talking Books", Proceedings of the IADIS International Applied Computing Conference, San Sebastian, Spain: Citeseer, 2006.
Lima, D., H. Miranda, and F. Taïani, "A New System Model for Cloud Offloading", INForum 2014 - Atas do 6º Simpósio de Informática, Porto, Portugal, Universidade do Porto, 2014.
Martins, P., P. Sousa, A. Casimiro, and P. Verissimo, "A new programming model for dependable adaptive real-time applications", Distributed Systems Online, IEEE, vol. 6, no. 5: IEEE, 2005.
Correia, J. Vitor, L. Romão, S. Rosado Ganhão, M. Couceiro da Costa, A. Santos Guerreiro, D. Pereira Henriques, S. Garcia, C. Albuquerque, M. Beatriz Carmo, A. Paula Cláudio, et al., "A New Extended Perspective System for Architectural Drawings", Global Design and Local Materialization: Springer Berlin Heidelberg, pp. 63–75, 2013.
Khosravani, H., A. Ruano, and PM. Ferreira, "A New Convex Hull, Sliding Window Based Online Adaptation Method", IFAC-PapersOnLine, vol. 51, no. 10: Elsevier, pp. 211–216, 2018.
Sousa, P., N. Ferreira Neves, and P. Verissimo, "A New Approach to Proactive Recovery", Fifth European Dependable Computing Conference (EDCC-5) Supplemental Volume. Budapest, Hungary, pp. 35–40, 2005.
Ruano, A.E.., G.. Mestre, H.. Duarte, S.. Silva, S.. Pesteh, H.. Khosravani, P. M. Ferreira, and R.. Horta, "A neural-network based intelligent weather station", Intelligent Signal Processing (WISP), 2015 IEEE 9th International Symposium on, May, 2015.
Araujo, F., B. Ribeiro, and L. Rodrigues, "A neural network for shortest path computation", Neural Networks, IEEE Transactions on, vol. 12, no. 5: IEEE, pp. 1067–1073, 2001.
Ferreira, P. M., J. M. Gomes, I. A. C. Martins, and A. E. Ruano, "A Neural Network Based Intelligent Predictive Sensor for Cloudiness, Solar Radiation and Air Temperature", Sensors, vol. 13, no. 7: Multidisciplinary Digital Publishing Institute, pp. 9547–9548, 2013.
Ruano, A. E., and P. M. Ferreira, "Neural Network based HVAC Predictive Control", IFAC World Congress, vol. 19, no. 1: International Federation for Automatic Control, pp. 3617–3622, 2014.
Linhares, G. B. R., M. R. S. Borges, and P. Antunes, "Negotiation-collaboration in formal technical reviews", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 344–356, 2009.
Linhares, G. Brandão R., M. Borges, and P. Antunes, "Negociação-Colaboração nas Revisões Técnicas Formais de Especificações Funcionais", Sistemas Colaborativos, 2008 Simp&\# x0F3; sio Brasileiro de: IEEE, pp. 122–133, 2008.
Ramires, J., and P. Antunes, "Negociação de Requisitos no modelo SQFD-Software Quality Function Deployment", 1ª Conferência Nacional em Interacção Pessoa-Máquina-INTERAC{\c{C}}ÃO, 2004.
Pereira, J., do. U Minho, L. Rodrigues, U. De Lisboa, MJ. Monteiro, R. Oliveira, and A-M. Kermarrec, "Neem: Network-friendly epidemic multicast", Reliable Distributed Systems, 2003. Proceedings. 22nd International Symposium on: IEEE, pp. 15–24, 2003.
Ferreira, A., and P. Antunes, "On the need for a framework for attentive groupware systems", SOCIUM: 1st workshop on Adaptation and personalization in social systems, pp. 5–15, 2007.
Miguel, R., S. Signorello, and F. M. V. Ramos, "Named Data Networks using Programmable Switches", 1st P4 Workshop in Europe, 2018.
M
Pereira, J., and R. Oliveira, "The mutable consensus protocol", Reliable Distributed Systems, 2004. Proceedings of the 23rd IEEE International Symposium on: IEEE, pp. 218–227, 2004.
Langlois, T., and G. Marques, "A Music Classification Method based on Timbral Features.", ISMIR, pp. 81–86, 2009.
Tomek, I., A. Diaz, R. Melster, A. Rito Silva, M. Antunes, V. Cahill, Z. Choukair, A. Fernandez, M. Haahr, E. Jul, et al., "Multi-user object-oriented environments", Object-Oriented Technology ECOOP'99 Workshop Reader: Springer Berlin Heidelberg, pp. 80–96, 1999.
Antunes, P., and N. Guimarães, "Multiuser Interface Design in CSCW Systems", ESPRIT Basic, 1994.
Domaschka, J., T. Bestfleisch, F. J. Hauck, H. P. Reiser, and R. Kapitza, "Multithreading strategies for replicated objects", Proceedings of the 9th ACM/IFIP/USENIX International Conference on Middleware: Springer-Verlag New York, Inc., pp. 104–123, 2008.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, "Multi-purpose proactive m-Artifacts", Proceedings of the 2008 ACM symposium on Applied computing: ACM, pp. 1629–1633, 2008.
de Sá, M., L. Carriço, L. Duarte, and T. Reis, Multi-Purpose Mobile Artefacts, : International Journal of Smart Home, 2008.
Mostrous, D., "Multiparty Sessions based on Proof Nets", Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES), 2014.
Duarte, C., T. Chambel, L. Carriço, N. Guimarães, and H. Simoes, A multimodal interface for digital talking books, : WWW/Internet'2003, International Association for Development of the Information Society, 2003.
Reis, T., M. de Sá, and L. Carriço, "Multimodal interaction: Real context studies on mobile digital artefacts", Haptic and Audio Interaction Design: Springer Berlin Heidelberg, pp. 60–69, 2008.
Schnelle-Walka, D., C. Duarte, and S. Radomski, "Multimodal Fusion and Fission within the W3C MMI Architectural Pattern", Multimodal Interaction with W3C Standards: Springer, pp. 393–415, 2017.
Biswas, P., C. Duarte, P. Langdon, L. Almeida, and C. Jung, A Multimodal End-2-End Approach to Accessible Computing, : Springer, 2013.
Reis, T., M. de Sá, and L. Carriço, "Multimodal artefact manipulation: Evaluation in real contexts", Pervasive Computing and Applications, 2008. ICPCA 2008. Third International Conference on, vol. 2: IEEE, pp. 570–575, 2008.
Biswas, P., P. Langdon, C. Duarte, and J. Coelho, "Multimodal adaptation through simulation for digital TV interface", Proceddings of the 9th international interactive conference on Interactive television: ACM, pp. 231–234, 2011.
Serra, S., A. Jorge, and T. Chambel, "Multimodal Access to Georeferenced Mobile Video through Shape, Speed and Time", Proceedings of the 28th International BCS Human Computer Interaction Conference on HCI 2014-Sand, Sea and Sky-Holiday HCI: BCS, pp. 347–352, 2014.

Pages