Results 31 to 40 of about 89,849 (289)

Constraint LTL Satisfiability Checking without Automata [PDF]

, 2014
This paper introduces a novel technique to decide the satisfiability of formulae written in the language of Linear Temporal Logic with Both future and past operators and atomic formulae belonging to constraint system D (CLTLB(D) for short). The technique
Bersani, Marcello M., Frigeri, Achille, Morzenti, Angelo, Pietro, Pierluigi San, Pradella, Matteo, Rossi, Matteo   +5 more
core   +2 more sources

Gascón Cuenca, Andrés. El discurso del odio en el ordenamiento jurídico español: su adecuación a los estándares internacional de protección (Navarra: Thomsom Reuters Aranzadi, 2016)

, 2016
Gascon Cuenca, Andres. El discurso del odio en el ordenamiento juridico espanol: su adecuacion a los estandares internacional de proteccion (Navarra: Thomsom Reuters Aranzadi, 2016)
V. M. Sancho
semanticscholar   +1 more source

The effect of residential urban greenness on allergic respiratory diseases in youth: A narrative review [PDF]

, 2020
Background: Environmental exposures across the life course may be a contributor to the increased worldwide prevalence of respiratory and allergic diseases occurring in the last decades.
Asta F, Cilluffo G, De Sario M, Ferrante G, La Grutta S, Michelozzi P   +5 more
core   +1 more source

Turismo residencial y gentrificación rural

Investigaciones Turísticas, 2017
Reseña del libro: Jordi Gascón y Ernest Cañada (20216). Turismo residencial y gentrificación rural. Pasos Edita. ISBN: 978-84-88429-31-5, 126 pp.
Francesc Xavier Roig-Munar
doaj   +1 more source

A prepaus de Les interférences linguistiques entre gascon et languedocien dans les parlers du Comminges et du Couserans : essai d’aréologie systématique (Pierre Bec, 1968)

Lengas, 2017
In this paper, Christian Lagarde offers his own reading of Bec's Work, Les interférences linguistiques entre gascon et languedocien dans les parlers du Comminges et du Couserans : essai d’aréologie systématique.
Cristian Lagarda
doaj   +1 more source

Ferroptosis: A Regulated Cell Death Nexus Linking Metabolism, Redox Biology, and Disease.

Cell, 2017
Ferroptosis is a form of regulated cell death characterized by the iron-dependent accumulation of lipid hydroperoxides to lethal levels. Emerging evidence suggests that ferroptosis represents an ancient vulnerability caused by the incorporation of ...
B. Stockwell, J. Angeli, H. Bayır, A. Bush, M. Conrad, S. Dixon, S. Fulda, S. Gascón, Stavroula K. Hatzios, V. Kagan, Kay Noel, Xuejun Jiang, A. Linkermann, M. Murphy, M. Overholtzer, Atsushi Oyagi, G. Pagnussat, Jason Park, Qitao Ran, C. Rosenfeld, K. Salnikow, Daolin Tang, Daolin Tang, F. Torti, S. Torti, S. Toyokuni, K. Woerpel, Donna D. Zhang   +27 more
semanticscholar   +1 more source

The Current Status of MOF and COF Applications.

Angewandte Chemie, 2021
The amalgamation of different disciplines is at the heart of reticular chemistry and has broadened the boundaries of chemistry by opening up an infinite space of chemical composition, structure, and material properties.
R. Freund, Orysia Zaremba, Giel Arnauts, R. Ameloot, Grigorii Skorupskii, M. Dincǎ, Anastasiya V. Bavykina, J. Gascón, Aleksander Ejsmont, J. Gościanska, Markus J. Kalmutzki, Ulrich Lächelt, E. Ploetz, C. Diercks, S. Wuttke   +14 more
semanticscholar   +1 more source

UO2 surface oxidation by mixtures of water vapor and hydrogen as a function of temperature [PDF]

, 2015
In the present work, X-Ray Photoelectron Spectroscopy (XPS) was used to study the effect of water vapor on the UO2 surface as a function of temperature. The experiments were performed in situ inside a high pressure chamber attached to the XPS instrument.
Casas Pons, Ignasi, Domínguez Escalante, Montserrat, Espriu Gascon, Alexandra, Giménez Izquierdo, Francisco Javier, Llorca Piqué, Jordi, Pablo Ribas, Joan de   +5 more
core   +1 more source

Metal-Organic Frameworks in Heterogeneous Catalysis: Recent Progress, New Trends, and Future Perspectives.

Chemical Reviews, 2020
More than 95% (in volume) of all of today's chemical products are manufactured through catalytic processes, making research into more efficient catalytic materials a thrilling and very dynamic research field.
Anastasiya V. Bavykina, Nikita Kolobov, I. Khan, Jeremy A. Bau, A. Ramírez, J. Gascón   +5 more
semanticscholar   +1 more source

Clusters and complex segments in Strict CV

Isogloss
This article examines the extent to which complex segments are reanalayzable as two separate segments by examining /ʎ/ in two varieties of Occitan: Gascon and Languedocien.
Kaitlyn Owens
doaj   +1 more source