Posibilidades de desbordamiento espacial en la comedia: Luis Vélez de Guevara, entre romances y romancero

En los últimos años un renovado interés por el andaluz Luis Vélez de Guevara ha permitido arrojar nueva luz sobre diferentes aspectos de su vida y obra, rescatándolo del peligroso e injustificado olvido al que se le había relegado durante mucho tiempo, a partir sobre todo del siglo XIX. Vélez, autor del «rumbo, el tropel, el boato» de los que hablara Cervantes en el prólogo a sus Ocho comedias y ocho entremeses (1998: 93), fue considerado a menudo como el dramaturgo que «gusta[ba] mucho de la bambolla y del aparato teatral», como afirmaba Alberto Lista en 1844, excesivamente atento a los efectos escénicos y escenográficos, en detrimento de los aspectos más exquisitamente poéticos de la palabra teatral. En efecto, el estudio del corpus dramático veleciano y de su usus scribendi pone sin dud

¿Las relaciones piden los romances? Métrica y narración en dos comedias de Lope de Vega (1610)

Starting from some observations about ll. 305-312 of Arte nuevo de hacer comedias, this article aims to analyze the relationship between metrics (and more specifically the use of romances) and the dramatic structure in two plays written by Lope in 1610, i.e., La hermosa Ester and La buena guarda. Through the study of the interaction of polymetry and the other criteria of the «cuadros», this article focuses mainly on the semantic, structural and thematic functions of the verses to find out how each stanza reveals its possibilities within the intrinsic versatility of dramatic language.El presente artículo, a partir de unas observaciones sobre los conocidos vv. 305-312 del Arte nuevo de hacer comedias, pretende analizar la relación que se establece entre la métrica (y, más concretamente, el empleo de los romances) y la estructura dramática en dos piezas escritas por Lope en 1610, a saber, La hermosa Ester y La buena guarda. A través del estudio de la interacción del instrumento polimétrico con los demás criterios que constituyen los «cuadros» de la comedia, el artículo se centra principalmente en las funciones semánticas, estructurales y temáticas asociadas al empleo de las diversas formas estróficas para llegar a averiguar cómo cada metro desvela sus dúctiles posibilidades en el ámbito de la poliedricidad intrínseca del lenguaje dramático

Métrica y marcas de segmentación en los autos sacramentales autógrafos de Lope

This article inicially presents a detailed analysis of the metric-dramatic structure of the two extant autograph autos sacramentales by Lope de Vega, Obras son amores and Las hazañas del segundo David. Departing from some considerations about the structural organization of these two texts, mainly using Lope’s polimetry as a guiding tool, this article focuses in its second part on evaluating the segmentation marks that we find in the holographic texts. Our goal is to find out the meaning of the lines that Lope systematically used to divide different blocks in the dramatic action of his plays.Este trabajo presenta inicialmente un análisis detallado de la estructura métrico-dramática de los dos autos sacramentales autógrafos de Lope hoy conservados, Obras son amores y Las hazañas del segundo David. A partir de algunas consideraciones sobre la organización estructural de estos dos textos, sobre todo a través del uso de la herramienta polimétrica por parte del Fénix, el artículo se centra en la segunda parte en la evaluación de las marcas de segmentación que se encuentran en los ológrafos. El objetivo es tratar de averiguar los significados de las rayas que Lope empleaba sistemá-ticamente para deslindar los bloques de la acción dramática

Circuit Based Quantification: Back to State Set Manipulation within Unbounded Model Checking

In this paper a non-canonical circuit-based state set representation is used to efficiently perform quantifier elimination. The novelty of this approach lies in adapting equivalence checking and logic synthesis techniques, to the goal of compacting circuit based state set representations resulting from existential quantification. The method can be efficiently combined with other verification approaches such as inductive and SAT-based pre-image verifications

Saúde e educação ambiental: aprendendo sobre Ascardíase e Giardíase.

EVINCI. Resumo 004