Find Research outputs

Search results

• Conference contribution

  Verification and validation of computational fluid dynamics simulations of compound channel flow

  Leal, J. G. A. B., 1 Jan 2011, IAHR World Congress. p. 4430-4437

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Verification of Snapshot Isolation in Transactional Memory Java Programs

  Lourenço, J. M. D. S. & Seco, J. R. V. D. C., 1 Jan 2012, Lecture Notes in Computer Science. p. 640-664

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  5 Citations (Scopus)

• Verifying BPMN understandability with novice business managers

  Mendoza, V., Da Silveira, D. S., Albuquerque, M. L. & Araújo, J., 9 Apr 2018, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018. Association for Computing Machinery, p. 94-101 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  3 Citations (Scopus)

• Verifying Concurrent Programs Using Contracts

  Dias, R. J., Ferreira, C., Fiedor, J., Lourenco, J. M., Smrcka, A., Sousa, D. G. & Vojnar, T., 15 May 2017, Proceedings - 10th IEEE International Conference on Software Testing, Verification and Validation, ICST 2017. Institute of Electrical and Electronics Engineers (IEEE), p. 196-206 11 p. 7927975

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  8 Citations (Scopus)

• Verifying real-world software with contracts for concurrency

  Lourenço, J. M., 1 Jan 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 70-73 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  File
  1 Citation (Scopus)

  16 Downloads (Pure)

• Verilog-A Compact Model of Integrated Tapered Spiral Inductors

  Fino, M. H. S., 2 Aug 2016, Proceedings of the 23rd International Conference Mixed Design of Integrated Circuits and Systems, MIXDES 2016. Napieralski, A. (ed.). Institute of Electrical and Electronics Engineers (IEEE), p. 58-61 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Versatility of human body control through low-cost electromyographic interface

  Bernardino, A., Rybarczyk, Y. P. & Barata, J., 2014, Recent Advance in Computer Science. p. 87-92

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Vertebral metrics: development of a third and improved prototype

  Gabriel, A. T., Quaresma, C. R. P., Secca, M. F. & Vieira, P., 2015, World Congress on Medical Physics and Biomedical Engineering, 2015. Jaffray, D. (ed.). Cham: Springer, p. 1286-1289 4 p. (IFMBE Proceedings; vol. 51).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  2 Citations (Scopus)

• Vertebral metrics: Application of a mechanical instrument to evaluate the spinal column in pregnant women

  Quaresma, C., Secca, M. F., O'Neill, J. G. & Branco, J., 10 Sept 2010, BIODEVICES 2010 - 3rd International Conference on Biomedical Electronics and Devices, Proceedings. Fred, A., Filipe, J. & Gamboa, H. (eds.). INSTICC-INST SYST TECHNOLOGIES INFORMATION CONTROL & COMMUNICATION, p. 143-146 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Vertebral metrics: Automation of a non-invasive instrument to analyse the spine

  Gabriel, A. T., Quaresma, C. R. P. & Vieira, P., 2015, BIODEVICES 2015 - 8th International Conference on Biomedical Electronics and Devices, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015. Cliquet Jr., A., Fred, A., Gamboa, H. & Elias, D. (eds.). SciTePress - Science and Technology Publications, p. 150-155 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  1 Citation (Scopus)

• Vertebral metrics application of a non-invasive system to analyse vertebrae position using two seating platforms

  Gabriel, A. T., Quaresma, C., Secca, M. F. & Vieira, P., 2016, BIODEVICES 2016 - 9th International Conference on Biomedical Electronics and Devices, Proceedings; Part of 9th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2016. SciTePress - Science and Technology Publications, p. 235-240 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
  2 Citations (Scopus)

• Vertical Accuracy Assessment of ALOS PALSAR, GMTED2010, SRTM and Topodata Digital Elevation Models

  Ferreira, Z. A. & Cabral, P., May 2021, Proceedings of the 7th International Conference on Geographical Information Systems Theory, Applications and Management (GISTAM 2021). Grueau, C., Laurini, R. & Ragia, L. (eds.). SciTePress - Science and Technology Publications, p. 116-124 9 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  3 Citations (Scopus)

  10 Downloads (Pure)

• Vertical distribution of dissolved oxygen in gravel-bed streams: impacts of sand transport

  Franca, M. J. R. P. D., 1 Jan 2011, Geophysical Research Abstracts. p. 11825

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Very low frequency dielectric relaxation deduced from time domain measurements

  Neagu, E., Marat-Mendes, J. N., Dias, C. J. M. M. & Neagu, R. M., 1 Jan 2002, KEY ENGINEERING MATERIALS. Vol. 230-2. p. 579-582 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  1 Citation (Scopus)

• Vestígios de produção oleira dos finais do século XV (escadinhas da barroca, Lisboa)

  Henriques, J. P., Filipe, V., Casimiro, T. M. & Krus, A., 2019, Extrair e Produzir: Dos Primeiros Artefactos à Civilização. Senna-Martinez, J. C., Martins, A. C., Caessa, A., Marques, A. & Cameira, I. (eds.). Lisboa: Centro de Arqueologia de Lisboa (CAL) | Sociedade de Geografia de Lisboa (SGL), p. 109-121 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  205 Downloads (Pure)

• Vestir e despir a arquitectura: desmontagem e dispersão de talha barroca nos alvores do século XX, em Portugal

  Ferreira, S., 2019, Vestir la arquitectura: XXII Congresso Nacional de Historia del Arte. Payo Hernanz, R. J., Martínez de Simón, E. M., Matesanz del Barrio, J. & Zaparaín Yáñez, M. J. (eds.). Burgos: Universidade de Burgos, p. 1055-1060 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  2 Downloads (Pure)

• Vestir la arquitectura con piedra: portadas religiosas en Portugal en el siglo XVII

  Pereira Coutinho, M. J., 2019, XXII Congreso Nacional de Historia del Arte: Vestir la Arquitectura. Payo Hernanz, R. J., Martínez de Simón, E. M., Matesánz del Barrio, J. & Zaparaín Yáñez, M. J. (eds.). Burgos: Universidade de Burgos, p. 208-213 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  13 Downloads (Pure)

• Viability of ceramic residues in lime-based mortars

  Faria, P., 1 Jan 2013, Historic Mortars Conference. p. cd

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Viable system architecture applied to maintenance 4.0

  Câmara, R. A., Mamede, H. S. & Dos Santos, V. D., 1 Aug 2019, Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019. Abraham, A. P., Roth, J. & Rodrigues, L. (eds.). IADIS Press, p. 127-134 8 p. (Multi Conference on Computer Science and Information Systems, MCCSIS 2019 - Proceedings of the International Conferences on Big Data Analytics, Data Mining and Computational Intelligence 2019 and Theory and Practice in Modern Computing 2019).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  2 Citations (Scopus)

  22 Downloads (Pure)

• Viagens atlânticas das Festas do Divino: transnacionalidade, etnicidade, sincretismo

  Leal, J., 1 Jan 2013, Anais da VI Jornada Internacional de Políticas Públicas. p. 14-30

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Viagens e expedições na Mauritânia: para uma genealogia das rupturas e continuidades nas representações sobre o território a partir de ‘fora’

  Lucas, J., 2015, Livro de Atas do 1º Congresso da Associação Internacional de Ciências Sociais e Humanas em Língua Portuguesa 2015. Silva, I. C. D., Pignatelli, M. & Viegas, S. D. M. (eds.). Lisboa: Associação Internacional de Ciências Sociais e Humanas em Língua Portuguesa , p. 3651-3664

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Viajar com Branquinho da Fonseca: a obra literária e fotográfica como recurso patrimonial para a valorização de um local

  Almeida, M. M., 2018, Patrimonialização e Sustentabilidade do Património: Reflexão e Prospectiva. Filipe, G., Vale, J. & Castaño, I. (eds.). Lisboa: IHC-FCSH-UNL, p. 316-344 29 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  12 Downloads (Pure)

• Vibrações Transversais em Vigas Apoiadas em Fundação Visco-Elástica, Homogénea por Troços

  Dimitrovová, Z., 1 Jan 2009, none. Barcelona, Espanha, p. 113-114

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Vibrations Detection an Analysis in Equipments with MCUSUM Charts and Frequencies Graphs

  Requeijo, J. F. G., 1 Jan 2013, International Conference on Integrity, Reliability & Failure (IRF’2013). p. -

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Vida Artificial das Empresas: Ferramenta de simulação de competividade nas empresas

  Translated title of the contribution: Artificial life of companies: Simulation tool for business competitivenessCapitao, C., Goncalves, R. & Santos, V., 11 Jul 2017, Atas da 12a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2017 / Proceedings of the 12th Iberian Conference on Information Systems and Technologies, CISTI 2017. IEEE Computer Society, 6 p. 7975898

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Vida e morte do caravelão ‘que andava no Castelo e tracto de Arguim': autópsia de um navio dos Descobrimentos

  Monteiro, P. A. & Castro, L. F., 1 Jan 2011, Actas do Colóquio Internacional ´A Herança do Infante´. p. 209-224

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Video Annotation of TV Content using Audiovisual Information

  Cavaco, S. C. F. M. & Correia, N. M. R., 1 Jan 2012, Proceedings of the IEEE International Conference on Multimedia Computing and Systems. p. 113-118

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Video Annotation Tool using Human Pose Estimation for Sports Training

  Diogo, J., Rodrigues, R., Madeira, R. N. & Correia, N., 27 Nov 2022, Proceedings of MUM 2022, the 21st International Conference on Mobile and Ubiquitous Multimedia. Doring, T., Boll, S., Colley, A., Esteves, A. & Guerreiro, J. (eds.). New York: Association for Computing Machinery, p. 262-265 4 p. (ACM International Conference Proceeding Series).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Videoink: a pen-based approach for video editing

  Correia, N. M. R., 1 Jan 2012, UIST Adjunct Proceedings '12. p. 67-68

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access
  1 Citation (Scopus)

• Video Semantics Quality Assessment Using Deep Learning

  Jesus, R., Silveira, B. & Correia, N., 2020, Intelligent Data Engineering and Automated Learning – IDEAL 2020 - 21st International Conference, 2020, Proceedings. Analide, C., Novais, P., Camacho, D. & Yin, H. (eds.). Cham: Springer, p. 165-172 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12490 LNCS).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Vidros, do século XVI, do Poço-Cisterna de Silves

  Gomes, M. V. & Gomes, R. V., May 2017, Proceedings of the 5th GLASSAC International Conference. I. C., T. P., S. C., A. M. & M. V. (eds.). Lisboa: NOVA.FCT Editorial, p. 128 1 p. (Actas e Proceedings).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  21 Downloads (Pure)

• Vie = Jeu Permanent: O Papel da Internacional Situacionista na génese da exposição-jogo e seus desenvolvimentos

  Teixeira, M. R., 2021, Estratégias de exposição: história e práticas recentes. Baião, J. & Matos, L. A. (eds.). Lisboa: Instituto de História da Arte/NOVA FCSH, p. 133-144 11 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  3 Downloads (Pure)

• Vieira da Silva, Desastres de Guerra

  Silva, M. R., 1 Jan 2009, Vieira da Silva, Desastres de Guerra. de, F. D. U. D. L. C. (ed.). Lisboa, Portugal, p. 33-44

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Vieira Guimarães (1864-1939) e a arqueologia em Tomar: uma abordagem sobre o território e as gentes

  Amendoeira, J. & Martins, A. C., 2020, Arqueologia em Portugal: 2020 - Estado da Questão. Arnaud, J. M., Neves, C. & Martins, A. (eds.). Lisboa: Associação dos Arqueólogos Portugueses | CITCEM, p. 101-112 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  38 Downloads (Pure)

• Viewpoint and Goals: Towards an Integrated Approach

  Júnior, J. B. D. S. A., 1 Jan 2010, CIbSE. p. 1-14

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Violence and health care workers: characterization of notified cases in a central hospital

  Translated title of the contribution: Violência e profissionais de saúde: caracterização dos casos comunicados num hospital centralMatoso, T., Leite, E. S., Consciência, S., Shapovalova, O. & Galaio, L., 1 Jan 2013, Occupational Safety and Hygiene: SHO 2013 : Proceedings book. Arezes, P. M. (ed.). Guimarães: Portuguese Society of Occupational Safety and Hygiene (SPOSHO), p. 321-323

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Violência e agressividade: questionamentos teóricos e empíricos

  Alves, M. T. G., 1 Jan 2009, Actas do Encontro “Contextos Educativos na Sociedade Contemporânea”. p. 423-430

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Violencia política: entre legitimidad y legalidad “Terrorismo” y estigmatización de la contestación

  Translated title of the contribution: Political violence: between legitimacy and law “Terrorism” and the criminialization of protestCasanellas, P., 2017, Violência política no século XX: Um balanço. Ferreira, A. S., Madeira, J. & Casanellas, P. (eds.). Lisboa : IHC-Instituto de História Contemporânea, p. 41-46 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  37 Downloads (Pure)

• Violência política do Estado contra os “de baixo” no contexto da I Guerra Mundial: Um aviso contra aos opositores à guerra

  Translated title of the contribution: Political Violence of the Government against the “lower classes” in the context of World War I: a warning a gainst the opponents of the war Alho, A. A. C., Nov 2017, Violência política no século XX : Um balanço . Ferreira, A. S., Madeira, J. & Casanellas, P. (eds.). Lisboa: IHC-Instituto de História Contemporânea, p. 183-194 12 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  Open Access

  File
  26 Downloads (Pure)

• Virgínia Victorino, polissemia de representações?

  Monteiro, J. DO. & Ferreira, M. E. D. O., 2019, Actas Colóquio Internacional: Virginia Victorino: Na Cena do Tempo. Lousada, I. & Pereira de Sampaio, J. (eds.). Alcobaça: Associação de Defesa e Valorização do Património Cultural da Região de Alcobaça (ADEPA), p. 167-186 19 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

• Virtual Built Realities: The Case of Geographical Research Induced Knowledge

  Santos, T., Rodrigues, A. M. & Neves, B. M. A., 1 Jan 2011, 7th VCT. p. 547-548

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Virtual Communities of Practice: Investigating Motivations and Constraints in the Processes of Knowledge Creation and Transfer

  Neto, M. D. C. S. F. & Correia, A. M. B. D. S. R., 1 Jan 2009, European Conference on Knowledge Management. Bolisani, E. & Scarso, E. (eds.). Reading: Academic Conferences, p. 188-196

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Virtual enterprise modeling and support infrastructures: Applying multi-agent system approaches

  Camarinha-Matos, L. M. & Afsarmanesh, H., 2001, MULTI-AGENT SYSTEMS AND APPLICATIONS. Luck, M., Marik, V., Stepankova, O. & Trappl, R. (eds.). Springer Verlag, p. 335-364 30 p. (LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; vol. 2086).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Virtual Enterprising: The way to global manufacturing and its challenges

  Camarinha-Matos, L. M., 31 Aug 1998, Telecooperation: Proceedings of the XV IFIP World Computer Congress. Vienna: Austrian Computer Society (OCG), p. 419-424

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Virtual Environment for Simulation of Automation and Control Algorithms

  Rosas, J. A. D., Brito Palma, L. & Gil, P. J. C. D. S., 2019, 15th IEEE China-Europe International Symposium on Software Engineering Education (CEISEE), May 30-31, Caparica – Lisboa - Portugal. Institute of Electrical and Electronics Engineers (IEEE)

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Virtually rebuilding the Palace of Vila Viçosa in Portugal: From the present to the time of D. Teodósio I (16th century)

  Lopes, A., 2016, Virtual Palaces, Part II. Lost Palaces and their Afterlife : Virtual Reconstruction between Science and Media. Hoppe, S. & Breitling, S. (eds.). München: Palatium, p. 209-220 11 p. (PALATIUM e-Publications; vol. 3, no. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access

  File
  93 Downloads (Pure)

• Virtual organizations Breeding Environments: Key results from ECOLEAD

  Afsarmanesh, H., Camarinha-Matos, L. M. & Msanjila, S. S., 2007, IFAC Conference on Cost Effective Automation in Networked Product Development and Manufacturing, IFAC-CEA 2007. PART 1 ed. Vol. 1. p. 199-206 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  10 Citations (Scopus)

• Viseu do Império ao Reino: um projeto, um congresso, um livro

  Tente, C., 2018, Do Império ao Reino: Viseu e o território (séculos IV a XII). Tente, C. (ed.). Viseu: Câmara Municipal de Viseu, p. 14-18 4 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Viseu pensar a cidade: o Couto da Regueira

  Translated title of the contribution: Viseu thinking the city: the Couto da RegueiraCarvalho, P. S. D. & Alves, C. F. P., 2018, Do Império ao Reino: Viseu e o território (séculos IV a XII). Tente, C. (ed.). Viseu: Câmara Municipal de Viseu, p. 163-173 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

• Visible light communication and indoor positioning using a-SiCH device as receiver

  Vieira, M. A., Vieira, M., Louro, P., Vieira, P. & Fantoni, A., 2017, Third International Conference on Applications of Optics and Photonics. Spie -- the Int Soc for Optical Engineering, Vol. 10453. 104530A

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  Open Access