Find Research Outputs

Search results

• Verbete “Poeta Laureado” no E-Dicionário de Termos Literários (coord. Carlos Ceia)

  Marques, R. M. F., 1 Jan 2011

  Research output: Non-textual form › Digital or Visual Products

• Verdade, ideologia e violência nas primeiras fotografias do povo em Portugal

  Ágoas, F., 1 Jan 2013, In : Lugar Comum. 39, NA, p. 189-200

  Research output: Contribution to journal › Article

• Verdade, ideologia e violência nas primeiras fotografias do povo em Portugal: o realismo científico do Inquérito à Habitação Rural

  Ágoas, F. & Pereira, L., 2016, O Espectro da Pobreza: História, Cultura e Política em Portugal no século XX . Ágoas, F. & Neves, J. (eds.). Lisboa: Editora Mundos Sociais, p. 59-80 21 p.

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

• Verdade, Vida e Philia: O eixo Nietzsche-Deleuze-Kiarostami

  Viegas, S. I. R., 2018, In : ArteFilosofia. 24, p. 217-236 20 p.

  Research output: Contribution to journal › Article

  Open Access

  File
  20 Downloads (Pure)

• Verdade e Enigma. Um ensaio sobre o pensamento estético de Adorno

  Cachopo, J. P., 1 Jan 2013, Lisboa: Edições Vendaval.

  Research output: Book/Report › Book

• Verdades Pobres de Tomás Pinto Brandão: edição crítica e estudo

  Rattner, J., 10 Apr 2018, Riga: Novas Edições Académicas. 542 p.

  Research output: Book/Report › Book

• Verde, gris y blanco: Naturaleza y arquitectura en los planos del Catastro de Ensenada y los croquis del Diccionario Geográfico de Tomás López

  Chinchilla, M. J. O., 2016, In : Cuadernos dieciochistas. 17, p. 149-186 38 p.

  Research output: Contribution to journal › Article

  Open Access

  File
  12 Downloads (Pure)

• Ver e admirar: a viagem de formação de José Félix Henriques Nogueira a Inglaterra em 1853

  Castanheira, M. Z. B. S. V., 1 Jan 2012, In : Revista de Estudos Anglo-Portugueses, Nº21. 21, NA, p. 141-156

  Research output: Contribution to journal › Article

• Vergílio Ferreira: pensando e escrevendo

  Turíbio, A. I., 2015, In : Palavras. Revista da Associação de Professores de Português. 48-49, p. 113-121 8 p.

  Research output: Contribution to journal › Article

• Vergílio Ferreira: Porto 2016

  Godinho, H. P. L., 2016, Reencontro com Vergílio Ferreira. Bochicchio, M. & Ferreira, I. (eds.). Porto: Câmara Municipal do Porto, p. 85-87 3 p.

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

• Vergílio Ferreira: amar de longe

  Godinho, H. P. L., 2016, In : Colóquio Letras. p. 27-34 8 p.

  Research output: Contribution to journal › Article

• 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

• 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

  Open Access

  File
  12 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

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

  Falcato, A., 8 Aug 2020, In : Filosofia Unisinos. 21, 2, p. 185-198 14 p.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Ethical Reading
  • Shame
  • Genealogy
  • Basic Emotions
  • Kantian Ethics
  4 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

  • Concurrent
  • Specification
  • Logic
  • Logic Programs
  • Specifications
  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

• 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

  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

  • Managers
  • Industry
  • Communication
  • Computer science
  • Specifications
  2 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
  7 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

  File

  • Concurrency
  • Software
  • Module
  • Atomicity
  • Open Source Software
  1 Citation (Scopus)

  9 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

  • Integrated
  • Designer
  • Radio Frequency
  • Simulation
  • Layout

• 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

  • Simulation
  • Radio Frequency
  • Integrated
  • Layout
  • Designer

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

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

  Research output: Book/Report › Book

• Vernacular Earthen Buildings from Leiria, Portugal–Material Characterization

  Parracha, J. L., Lima, J., Freire, M. T., Ferreira, M. & Faria, P., 26 Sep 2019, In : International Journal of Architectural Heritage. 16 p.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Adobe
  • Characterization
  • Earth (planet)
  • Capillary
  • Lime
  4 Citations (Scopus)

  1 Downloads (Pure)

• Vernacular Lamentation: Two puzzling fragments

  Ferreira, M. P. R., 2016.

  Research output: Contribution to conference › Abstract

  Open Access

  File

  • Castilian Language
  • Lamentations
  • Vernacular Language
  37 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

• 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

  • Electromyography
  • Artificial limbs
  • End effectors
  • Muscle
  • Costs

• 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 Valencia, p. 177-222

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

• 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

• 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: 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: ETS, p. 21-25 5 p.

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

• 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. Springer-Verlag, Vol. 51. p. 1286-1289 4 p. (IFMBE Proceedings; vol. 51).

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

  • Skin
  • Video recording
  • Stereo vision
  • Dyes
  • Fluorescent Dyes
  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. INSTICC., 2012, p. 376-379. 4 p.

  Research output: Contribution to conference › Paper

  • woman
  • electronics
  • pregnancy
  • quantitative analysis
  • curvature

• 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

  3 Citations (Scopus)

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

  Gabriel, A., 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, p. 150-155 6 p.

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

  • Automation
  • Ultraviolet radiation
  • Semiconductor lasers
  • Stereo vision
  • Medical problems
  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, p. 235-240 6 p.

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

  • Ergonomics
  • Image processing

• 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

• 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

  • landscape change
  • GIS
  • urban growth
  • coastal zone
  • city
  8 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

• 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

  Open Access

  File

  • Health
  • Disease Outbreaks
  • Burial
  • Ebolavirus
  • Western Africa
  3 Citations (Scopus)

  4 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

  • Vertical Specialization
  • Input-output Matrix
  • International Trade
  • East Asia
  • High Technology
  48 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

• 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

  Open Access

  File
  15 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

  • Rutherford backscattering spectroscopy
  • Spectrometry
  • Nitrogen
  • backscattering
  • implantation
  1 Citation (Scopus)

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

  Oliveira, R., Landeiro, L. & Lauterbach, M., 2020, (Accepted/In press) In : Acta Neurologica Belgica.

  Research output: Contribution to journal › Letter
  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

  • very low frequencies
  • charging
  • decay
  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

  Open Access
  39 Citations (Scopus)