Zobrazeno 1 - 10
of 741
pro vyhledávání: '"Manuel A. Martins"'
Autor:
Vitória L. Louros, Liliana M. Ferreira, Valentina G. Silva, Carla Patrícia Silva, Manuel A. Martins, Marta Otero, Valdemar I. Esteves, Diana L. D. Lima
Publikováno v:
Toxics, Vol 9, Iss 12, p 330 (2021)
In this work, carbon dots (CD) were synthesized and coupled to titanium dioxide (TiO2) to improve the photodegradation of antibiotics in aquaculture effluents under solar irradiation. Oxolinic acid (OXA) and sulfadiazine (SDZ), which are widely used
Externí odkaz:
https://doaj.org/article/3bce26c1d17e4a2394830d5d4a23cae0
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 209, Iss Proc. Refine 2015, Pp 40-56 (2016)
Hierarchical transition systems provide a popular mathematical structure to represent state-based software applications in which different layers of abstraction are represented by inter-related state machines. The decomposition of high level states i
Externí odkaz:
https://doaj.org/article/d50583727a4246b39ea8f609ff0f8b4a
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 115, Iss Proc. Refine 2013, Pp 84-98 (2013)
The complexity of modern software systems entails the need for reconfiguration mechanisms gov- erning the dynamic evolution of their execution configurations in response to both external stimulus or internal performance measures. Formally, such syste
Externí odkaz:
https://doaj.org/article/98838af565a64937ba8a826361a15612
Autor:
Manuel A. Martins, Tito Trindade
Publikováno v:
Química Nova, Vol 35, Iss 7, Pp 1434-1446 (2012)
In recent years there has been great progress in the field of nanotechnology largely driven by research into nanomaterials. Chemistry appears in this context for its relevant role in the synthesis and surface modification of nanomaterials. This revie
Externí odkaz:
https://doaj.org/article/4501da32da88426999f09f14802c6231
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 55, Iss Proc. Refine 2011, Pp 53-64 (2011)
The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the refinement-by
Externí odkaz:
https://doaj.org/article/893c16e4d4af4885a3b190f7e5327300
Publikováno v:
Logical Methods in Computer Science, Vol Volume 10, Issue 1 (2014)
Stepwise refinement of algebraic specifications is a well known formal methodology for program development. However, traditional notions of refinement based on signature morphisms are often too rigid to capture a number of relevant transformations in
Externí odkaz:
https://doaj.org/article/e571fee4f66d4d60a068620317a61c94
Autor:
Manuel Neto Martins
Publikováno v:
Revista Portuguesa de Cardiologia, Vol 41, Iss 11, Pp 953-968 (2022)
The left main coronary artery is responsible for most of the irrigation of the left ventricle. Left main coronary artery disease (LMCAD) therefore leads to important morbidity and mortality. Coronary artery bypass grafting (CABG) is considered the st
Externí odkaz:
https://doaj.org/article/03272fe444ae45678a00a7dacd1d20ef
Autor:
Ricardo Manuel Ralha Martins
Introdução Plasma rico em plaquetas tem sido usado na reparação artroscópica da coifa dos rotadores, mas ainda não existem estudos com agregação dos resultados referentes ao impacto da sua concentração. O objetivo primário deste estudo é
Externí odkaz:
https://hdl.handle.net/10216/150346
Autor:
Manuel Neto Martins
O tronco comum é responsável pela maior parte da irrigação do ventrículo esquerdo. Assim, a doença do tronco comum leva a morbilidade e mortalidade importantes. A cirurgia de revascularização do miocárdio (CABG) tem sido o tratamento padrão
Externí odkaz:
https://hdl.handle.net/10216/134423