Zobrazeno 1 - 10
of 364
pro vyhledávání: '"P. Carrott"'
Autor:
Carrott, Pedro, Saavedra, Nuno, Thompson, Kyle, Lerner, Sorin, Ferreira, João F., First, Emily
Proof assistants enable users to develop machine-checked proofs regarding software-related properties. Unfortunately, the interactive nature of these proof assistants imposes most of the proof burden on the user, making formal verification a complex,
Externí odkaz:
http://arxiv.org/abs/2405.04282
Autor:
Raquel V. Barrulas, Cristopher Tinajero, Diogo P.N. Ferreira, Carlos Illanes-Bordomás, Victor Sans, Manuela Ribeiro Carrott, Carlos A. García-González, Marcileia Zanatta, Marta C. Corvo
Publikováno v:
Journal of CO2 Utilization, Vol 83, Iss , Pp 102771- (2024)
The atmospheric concentration of CO2 is rising at an alarming pace, creating a pressing need for new and sustainable materials capable of capture and conversion. Poly(ionic liquid)s (PILs) are particularly effective catalysts for processes at or near
Externí odkaz:
https://doaj.org/article/23900eaad5724f2b851acdc3bb613d92
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Luís Filipe, Telma de Sousa, Dário Silva, Miguel M. Santos, Manuela Ribeiro Carrott, Patrícia Poeta, Luís C. Branco, Sandra Gago
Publikováno v:
Pharmaceutics, Vol 15, Iss 7, p 1934 (2023)
The combination of active pharmaceutical ingredients in the form of ionic liquids or organic salts (API-OSILs) with mesoporous silica nanoparticles (MSNs) as drug carriers can provide a useful tool in enhancing the capabilities of current antibiotics
Externí odkaz:
https://doaj.org/article/42d2169179dc4d4a9d83847d523cb7c5
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Carla Queirós, Francisco G. Moscoso, José Almeida, Ana M. G. Silva, Ahmad Sousaraei, Juan Cabanillas-González, Manuela Ribeiro Carrott, Tânia Lopes-Costa, José M. Pedrosa, Luís Cunha-Silva
Publikováno v:
Chemosensors, Vol 10, Iss 12, p 511 (2022)
An efficient strategy to develop porous materials with potential for NO2 sensing was based in the preparation of a metal-organic framework (MOF), UiO-66(Hf), modified with a very small amount of meso-tetrakis(4-carboxyphenyl) N-methylpyrrolidine-fuse
Externí odkaz:
https://doaj.org/article/3a936c87268c4387998a682a1628b6cc
Autor:
Rodrigo V. Santos, Miguel A. A. Mendes, Carlos Alexandre, Manuela Ribeiro Carrott, Abel Rodrigues, Ana F. Ferreira
Publikováno v:
Energies, Vol 15, Iss 16, p 5882 (2022)
Pinewood biomass in Portugal can be considered a major source of biochar for soil physical, chemical, and biological edaphic amendment. This work intended to evaluate the aptitude of lab produced biochar for upgrading soil moisture dynamics’ relati
Externí odkaz:
https://doaj.org/article/d6a548aa979e4a3dbb4447e87e2b1e56