Zobrazeno 1 - 10
of 12 045
pro vyhledávání: '"Oliet,A."'
Autor:
Ester Alba Pagán
Publikováno v:
Archivo Español de Arte, Vol 81, Iss 324, Pp 395-414 (2008)
El pintor castellonense Joaquín Oliet Cruella realizó para diversas parroquias valencianas, castellonenses y alicantinas una prolífica decoración mural, en la que es palpable una intensa cultura visual. Especialmente interesante es la serie de Pa
Externí odkaz:
https://doaj.org/article/a388d05a330c4faebb1037f74d746e9e
Publikováno v:
J. Logic. Algebr. Program 134 (2023) article 100887
Rewriting logic is a natural and expressive framework for the specification of concurrent systems and logics. The Maude specification language provides an implementation of this formalism that allows executing, verifying, and analyzing the represente
Externí odkaz:
http://arxiv.org/abs/2402.00275
In previous work, summarized in this paper, we proposed an operation of parallel composition for rewriting-logic theories, allowing compositional specification of systems and reusability of components. The present paper focuses on compositional verif
Externí odkaz:
http://arxiv.org/abs/2307.16537
Autor:
Ignacio Fernández-Moncada, Gianluca Lavanco, Unai B. Fundazuri, Nasrin Bollmohr, Sarah Mountadem, Tommaso Dalla Tor, Pauline Hachaguer, Francisca Julio-Kalajzic, Doriane Gisquet, Roman Serrat, Luigi Bellocchio, Astrid Cannich, Bérénice Fortunato-Marsol, Yusuke Nasu, Robert E. Campbell, Filippo Drago, Carla Cannizzaro, Guillaume Ferreira, Anne-Karine Bouzier-Sore, Luc Pellerin, Juan P. Bolaños, Gilles Bonvento, L. Felipe Barros, Stephane H. R. Oliet, Aude Panatier, Giovanni Marsicano
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-17 (2024)
Abstract Astrocytes control brain activity via both metabolic processes and gliotransmission, but the physiological links between these functions are scantly known. Here we show that endogenous activation of astrocyte type-1 cannabinoid (CB1) recepto
Externí odkaz:
https://doaj.org/article/105107d9032b4f53bd8646353fd2dd81
Autor:
Alba Pagán, Ester
Publikováno v:
Archivo Español de Arte, Vol 81, Iss 324, Pp 395-414 (2008)
ALBA PAGÁN, Ester. Los padres de la iglesia de Joaquín Oliet y la obra de Francisco de Goya. En: Archivo español de arte, 2008, vol. LXXXI, no.324, p. 395-414
RODERIC. Repositorio Institucional de la Universitat de Valéncia
instname
ALBA PAGÁN, Ester. Los padres de la iglesia de Joaquín Oliet y la obra de Francisco de Goya. En: Archivo español de arte, 2008, vol. LXXXI, no.324, p. 395-414
RODERIC. Repositorio Institucional de la Universitat de Valéncia
instname
Esther.Alba@uv.es El pintor castellonense Joaquín Oliet Cruella realizó para diversas parroquias valencianas, castellonenses y alicantinas una prolífica decoración mural, en la que es palpable una intensa cultura visual. Especialmente interesante
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::220bd58d5cf9d6fd12816e462d5548e6
http://xn--archivoespaoldearte-53b.revistas.csic.es/index.php/aea/article/view/130
http://xn--archivoespaoldearte-53b.revistas.csic.es/index.php/aea/article/view/130
We propose B Maude, a prototype executable environment for the Abstract Machine Notation implemented in the Maude language. B Maude is formally defined and results from the implementation of the semantics of AMN as denotations in the $\pi$ Framework,
Externí odkaz:
http://arxiv.org/abs/2108.07878
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:
Oñate, Pablo
Publikováno v:
Reis, 2005 Jan 01(109), 267-270.
Externí odkaz:
https://www.jstor.org/stable/40184676
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.
Publikováno v:
In Swarm and Evolutionary Computation February 2022 68