Results 81 to 90 of about 18,446,598 (185)

If ; ; =) A + then ; =) A.

, 2007
r each one separately. In a realistic application, such as general theorem proving, logic programming, model checking, many of these high-level optimizations may need to be applied simultaneously and their interaction considered.
If Then Proof
core  

Consórcio de sorgo com espécies forrageiras

Agro@mbiente On-line, 2016
Um experimento de campo foi realizado para avaliar a produção de biomassa no consórcio entre a cultura do sorgo com espécies forrageiras e a produção da pastagem subsequente, após a ensilagem.
Bernardo Piccolo Moreira Resende, Adriano Jakelaitis, Cássio Jardim Tavares, Rogério Ernani Marangoni, Paulo César Ribeiro da Cunha   +4 more
doaj  

Cerdà, geómetra

Ciudad y Territorio Estudios Territoriales
Cerdà, además de aportar una novedosa reflexión sobre la Construcción de ciudades que le lleva a la formulación de una Teoría, nos introduce en la técnica del trazado regulador. Este paso de la teoría a la práctica hace aún mas valiosa su aportación a la urbanística moderna.
openaire   +1 more source

Mass spectrometry-based proteomic analysis of the epitope-tag affinity purified protein complexes in eukaryotes.

, 2010
Chang, IF;
core   +1 more source

as if here about Marcus Matt's and Samaneh Reyhani's art

the first presentation of artists Marcus Matt and Samaneh ReyhaniText i utställningskatalog till utställningen: AS IF HERE – Samaneh Reyhani & Marcus Matt på Trelleborgs museer 8 June 2024- 1 September ...
Sandqvist, Gertrud,, Lund University.
core  

2.6 Estrategia de vacunación frente a COVID-19 en Navarra

Anales del Sistema Sanitario de Navarra
Fundamento. La COVID-19 tuvo un impacto importante en la salud de la población. Desde enero de 2021, una proporción creciente de la población ha recibido vacunas frente a la COVID-19 (vacunación COVID) que han demostrado una alta efectividad para prevenir formas graves de esta enfermedad.
Castilla, Jesús, Martínez-Baz, Ivan, Casado, Itziar, García Cenoz, Manuel, Marquinez, Sara, Trobajo-Sanmartín, Camino, Guevara, Marcela   +6 more
openaire   +1 more source

Los efectos vinculantes de las sentencias del Tribunal Constitucional sobre el legislador: ¿puede éste reiterar preceptos legales que previamente han sido declarados inconstitucionales?

Revista Española de Derecho Constitucional
En este Trabajo se analizan los efectos vinculantes de las sentencies del Tribunal Constitucional sobre los poderes públicos y, más concretamente, si el legislador puede legítimamente reiterar preceptos legales declarados inconstitucionales. Se constata la ausencia de una posición doctrinal mínimamente compartida al respecto; se analizan los peligros ...
openaire   +1 more source

Call for Papers: How attractive are political parties and trade unions to young people?

Intergenerational Justice Review, 2018
The IGJR publishes articles from the social sciences/humanities, reflecting the current state of research on intergenerational justice. Its editorial board consists of about 50 internationally renowned experts from ten different countries.
IF and FRFG
doaj  

Functional endoscopy : the physiological and pathophysiological basis of reflux disease, diagnosis and therapy

, 2009
SCARPIGNATO, Carmelo, Herrmann IF
core   +1 more source

IGJR 2/2019: Open topic issue on intergenerational justice

Intergenerational Justice Review, 2018
The Intergenerational Justice Review (www.igjr.org) is a peer-reviewed English language journal, reflecting the current state of research on intergenerational justice.
IF and FRFG
doaj