Results 61 to 70 of about 34,022 (210)
, 2021 [ES] Entendido como un elemento de transición entre el tejido densificado de la población de Benimámet y la característica huerta valenciana, dentro de una franja de terreno periurbano, se ordena extensivamente el proyecto para el Centro de Estudios Tecnológicos Avanzados, recuperando elementos tan propios del paisaje próximo como son los muros de ...
openaire +2 more sources
ChemSusChem, Volume 19, Issue 5, 13 March 2026.Low‐temperature liquid‐phase methanol synthesis from syngas was demonstrated over CuO/ZnO/Al2O3 catalysts using mixed alcohol solvents. Solvent composition controls ester intermediate and methanol productivity. Methanol is a primary platform chemical for circular manufacturing.
Guanfu Liu +5 more
wiley +1 more source
(Possible) impact of CETA on creation of law
Bratislava Law Review, 2017 The paper brings an analysis, and possible solutions, regarding “threats” to regulatory sovereignty of the parties to the CETA. Hence technical trade barriers, sanitary and phytosanitary measures, regulatory cooperation, liberalization of services and ...
Ondrej Blažo
doaj +1 more source
Certification of Confluence Proofs using CeTA [PDF]
, 2015 CeTA was originally developed as a tool for certifying termination proofs which have to be provided as certificates in the CPF-format. Its soundness is proven as part of IsaFoR, the Isabelle Formalization of Rewriting.
Nagele, Julian, Thiemann, René
core +1 more source
Advanced Functional Materials, Volume 36, Issue 25, 26 March 2026.Tumor‐tropic human mesenchymal stem cells (hMSCs) were used as delivery vehicles for magnetotheranostic gold–iron oxide nanoflowers. Magnetic particle imaging of the iron component demonstrated widespread intratumoral distribution and sustained retention in contrast to injection of naked nanoflowers.
Behnaz Ghaemi +7 more
wiley +1 more source
Welfare Reform: The View from New Hampshire and Massachusetts [PDF]
, 1978 As he promised during his election campaign, President Carter has proposed a major overhaul of the welfare system. Under the Better Jobs and Income Act, unveiled in August 1977, the major components of the current welfare system would be replaced by a ...
Hurd, Richard W, Thompson, Allen
core +1 more source
CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates [PDF]
, 2011 Termination is an important property of programs; notably required for programs formulated in proof assistants. It is a very active subject of research in the Turing-complete formalism of term rewriting systems, where many methods and tools have been ...
ADAM KOPROWSKI +22 more
core +5 more sources
A diachronic approach to scientific lexicon in English: Evidence from Late Modern English corpora
Revista de Lenguas para Fines Específicos, 2015 This research focuses on the Corpus of English Texts on Astronomy (CETA), the first sub-corpus of CC, presenting a diachronic approach to astronomy specific lexicon found in texts from 1710 to 1920.
Pascual Cantos +2 more
doaj
Challenges and opportunities of the China – Gulf Cooperation Council Free Trade Agreement [PDF]
, 2017 The free trade agreement between China and the Gulf Cooperation Council (“the GCC”) currently under negotiation is due to become China’s first comprehensive trade and investment agreement with a supranational customs union.
Villalta Puig, Gonzalo +1 more
core +1 more source
On Investment Law and Questions of Change
, 2018 This article analyses the various ways in which investment law raises questions of change. It distinguishes between changes in international investment norms, and changes in a host state’s regulatory system which is subject to the control of such norms ...
Paine, J.
core +1 more source