Find Research outputs

Search results

• Vergílio Ferreira - Agenda 2016

  Godinho, H. P. L., 2015, Lisboa : INCM.

  Research output: Other contribution

• Vergílio Ferreira e a família Reis Pereira: breve apontamento a propósito de uma carta inédita

  Turíbio, A. I., 2015, In: Boletim Centro de Estudos Regianos. 20/21, p. 91-96 6 p.

  Research output: Contribution to journal › Article › peer-review

• Vergílio Ferreira e o velho Rei

  Godinho, H. P. L., 2017, In: Santa Barbara Portuguese Studies. 1, Digital issue, p. 1-8 8 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  19 Downloads (Pure)

• "Vergilio Ferreira para sempre", romance-synthesis and last frontier of fictional territory * Recensão crítica a «Vergílio Ferreira. Para Sempre, Romance-Síntese e Última Fronteira de Um Território Ficcional', de José Rodrigues de Paiva»

  Godinho, H. P. L., 1 Jan 2011, In: Coloquio-Letras. 176, Jan. 2011, p. 274-276

  Research output: Contribution to journal › Article › peer-review

• Vergonha

  Falcato, A., 13 Jun 2020, Dicionário de Filosofia Moral e Política. Marques, A. & Campos, A. S. (eds.). Lisboa: IFILNOVA, p. 1-10 10 p. (2ª Série).

  Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary › peer-review

  Open Access

  File
  1 Downloads (Pure)

• Vergonha [Scham] e Sentido de Vergonha [Schamhaftigkeit] na Obra de Immanuel Kant

  Falcato, A. C. S., Jul 2019, In: Estudos Kantianos. 7, 2, p. 73-80 8 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  1 Downloads (Pure)

• Vergonha e ideias de si: abordagem genética e perspetivas ética

  Translated title of the contribution: Shame and ideas of oneself: genetic approach and ethical readingsFalcato, A., 8 Aug 2020, In: Filosofia Unisinos. 21, 2, p. 185-198 14 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  2 Citations (Scopus)

  49 Downloads (Pure)

• Ver hacia dentro y ver más allá: la luminosa oscuridad cinematográfica de 'Cités de la plaine' (2000), de Robert Kramer

  Schefer, R., 2021, In: Revista Correspondencias: Cine y Pensamiento. 17, p. 20-35 16 p.

  Research output: Contribution to journal › Article

  Open Access

  File
  3 Downloads (Pure)

• Verifiable and executable logic specifications of concurrent objects in L_π

  Caires, L. & Monteiro, L., 1 Jan 1998, Programming Languages and Systems - 7th European Symposium on Programming, ESOP 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998, Proceedings. Hankin, C. (ed.). Springer Verlag, p. 42-56 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1381).

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

  13 Citations (Scopus)

• 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 Inc., 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)

  15 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.). IEEE, p. 58-61 4 p.

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

• Verilog-A Inductor Compact Model for the Efficient Simulation of Class-D VCOs

  Fino, M. H. S., Dec 2016, In: International Journal of Microelectronics and Computer Science. 7, 3, p. 114-118

  Research output: Contribution to journal › Article › peer-review

• Vérités et légendes d’une « OAS Internationale »

  Victor, P., 1 Jan 2013, Paris: Riveneuve.

  Research output: Book/Report › Book

• Vernacular Caramel´s Adobe Masonry Dwellings – Material Characterization

  Silva, A., Oliveira, I., Silva, V., Mirão, J. & Faria, P., 29 Apr 2020, (E-pub ahead of print) In: International Journal of Architectural Heritage. 17 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  3 Citations (Scopus)

  8 Downloads (Pure)

• Vernacular earthen buildings from Leiria, Portugal – Architectural survey towards their conservation and retrofitting

  Parracha, J. L., Lima, J., Freire, M. T., Ferreira, M. & Faria, P., Mar 2021, In: Journal of Building Engineering. 35, 102115.

  Research output: Contribution to journal › Article › peer-review
  4 Citations (Scopus)

• Vernacular Earthen Buildings from Leiria, Portugal–Material Characterization

  Parracha, J. L., Lima, J., Freire, M. T., Ferreira, M. & Faria, P., 2 Sep 2021, In: International Journal of Architectural Heritage. 15, 9, p. 1285-1300 16 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  7 Citations (Scopus)

  46 Downloads (Pure)

• Vernacular Lamentation: Two puzzling fragments

  Ferreira, M. P. R., 2016.

  Research output: Contribution to conference › Abstract › peer-review

  Open Access

  File
  86 Downloads (Pure)

• Versão Portuguesa do CANE (Camberwell Assessment of Need for the Elderly): Desenvolvimento e dados preliminares

  Gonçalves-Pereira, M., Fernandes, L., Leuschner, A., Barreto, J., Falcão, D., Firmino, H., Mateos, R. & Orrell, M., 2007, In: Revista Portuguesa de Saúde Pública. 5, 1, p. 7-18 12 p.

  Research output: Contribution to journal › Article › peer-review

• Versatile and Tunable Poly(Ethylene Glycol)-Based Hydrogels Crosslinked through the Ugi Reaction

  Padrão, I., Fernandes, C. S. M., Esteves, C., Fernandes, T., Pina, A. S. & Roque, A. C. A., Dec 2020, In: ChemPlusChem. 85, 12, p. 2737-2741 5 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File

• 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

• Verse actuar a sí mismo: la comedia en la Fenomenología del Espíritu

  Carvalho, M. J. P. D. A., 1 Jan 2009, Figuraciones contemporáneas de lo Absoluto. Bicentenario de la Fenomenología del espíritu de Hegel (1807-2007). Valência, Espanha: Universitat de València, p. 177-222

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

• Versions and variants of Fernando Pessoa's publications and projects at personaldigital.pt

  Sepulveda, P., Uribe, J. & Henny-Krahmer, U., Dec 2021, In: Hispania - A Journal Devoted to the Teaching of Spanish and Portuguese. 104, 4, p. 705-720 15 p.

  Research output: Contribution to journal › Article › peer-review

• Vers la romanisation de la liturgie épiscopale: une approche des pontificaux castillans du XIe, XIIe et XIIIe siècles

  López-mayán, M., 2015, In: Revue d’Auvergne. 614, p. 41-58

  Research output: Contribution to journal › Article › peer-review

• Versões e variantes das publicações e dos projetos de Fernando Pessoa em pessoadigital.pt

  Sepúlveda, P., Uribe, J. & Henny-Krahmer, U., Dec 2021, In: Hispania - A Journal Devoted to the Teaching of Spanish and Portuguese. 104, 4, p. 705-720 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• Verso il mare di Pisa

  Molder, M. F. G. V., 2015, Prospettive. Omaggio a Giulano Campioni. Fornari, M. C., D'Iorio, P., Lupo, L. & Piazzezzi, C. (eds.). Pisa: Edizioni ETS, p. 31-37 7 p.

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

• Verso una ‘resa dei conti con la morale’

  Gori, P., 2015, La Genealogia della morale. Letture e interpretazioni. Giacomini, B., Gori, P. & Grigenti, F. (eds.). Pisa: Edizioni ETS, p. 21-25 5 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › 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 instrument to evaluate the spinal column in pregnant women: International Conference on Biomedical Electronics and Devices, BIODEVICES 2012

  Quaresma, C., Fonseca, M., Secca, M. F., O'Neill, J. G., Branco, J. & Inst. Syst. Technol. Inf., C. C., 2012, p. 376-379. 4 p.

  Research output: Contribution to conference › Paper › peer-review

• 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 Sep 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

  3 Citations (Scopus)

• 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
  1 Citation (Scopus)

• Vertente geopolítica nas políticas públicas para a Amazônia

  Ribas, L. M. L. R. & Santos, A. D., 2021, In: Revista Brazilian Journal of Development. 7, p. 116467-116485 18 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

• 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). 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
  1 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

• Vertical growth in a coastal city: an analysis of Boa Viagem (Recife, Brazil)

  Magarotto, M. G., da Costa, M. F., Tenedório, J. A. & Silva, C. M. P. P. D., 1 Feb 2016, In: Journal of Coastal Conservation. 20, 1, p. 31-42 12 p.

  Research output: Contribution to journal › Article › peer-review
  14 Citations (Scopus)

• Vertical integration experience: the impact on avoidable hospital admissions

  Santana, R., Sarmento, J., Ferreira, M., Marques, A. & Perelman, J., 1 Jan 2014.

  Research output: Contribution to conference › Abstract › peer-review

• Vertical interventions and system effects; have we learned anything from past experiences?

  Oliveira, C. & Russo, G., 7 Aug 2015, In: The Pan African medical journal. 21, p. 262-266 4 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  3 Citations (Scopus)

  6 Downloads (Pure)

• Vertical specialization across the world: A relative measure

  Amador, J. & Cabral, S., 1 Dec 2009, In: North American Journal of Economics and Finance. 20, 3, p. 267-280 14 p.

  Research output: Contribution to journal › Article › peer-review
  56 Citations (Scopus)

• Vertigem na urgência

  Araújo, P. & Escada, P., 2006, In: Medicina Temas Actuais Urgencia em Otorrinolaringologia. Lisboa: Laboratorios Atral-Cipan. p. 163-173

  Research output: Contribution to journal › Article

• Vertigos: Climates of Philosophy

  Tusa, G., Feb 2022, In: Philosophies. 7, 1, p. 1-10 10 p., 7.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  1 Downloads (Pure)

• Ver tudo: Màmía Roque Gameiro (1901-1996) Pintura e Ilustração

  Leandro, S., 2018, 1 ed. Amadora: Câmara Municipal da Amadora. 52 p.

  Research output: Book/Report › Book

• Verum/Veritas: le vrai à l’épreuve de la fiction chez saint Augustin et dans la tradition poétique du Moyen Âge

  Carreto, C., 2016, In: Sigila. p. 37-51 15 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  File
  22 Downloads (Pure)

• Very high fluence nitrogen implantations in metals studied by Rutherford Backscattering Spectrometry

  Cruz, J., Silva, H., Lopes, J., Rocha, J. & Jesus, A. P., 15 Dec 2018, In: Surface and Coatings Technology. 355, p. 169-173

  Research output: Contribution to journal › Conference article › peer-review
  2 Citations (Scopus)

• Very late onset of myasthenia gravis: case report and brief review of the literature

  Oliveira, R., Landeiro, L. & Lauterbach, M., 1 Aug 2020, In: Acta Neurologica Belgica. 120, 4, p. 981-982 2 p.

  Research output: Contribution to journal › Letter › peer-review
  1 Citation (Scopus)

• 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)

• Very Small Array observations of the anomalous microwave emission in the Perseus region

  Del Burgo, C. & DEE Group Author, 1 Jan 2010, In: Monthly Notices Of The Royal Astronomical Society. 402, 3, p. 1969-1979

  Research output: Contribution to journal › Article › peer-review

  Open Access
  43 Citations (Scopus)