Gamma-hydroxybutyrate enhances mood and prosocial behavior without affecting plasma oxytocin and testosterone.

Gamma-hydroxybutyrate (GHB) is a GHB-/GABAB-receptor agonist. Reports from GHB abusers indicate euphoric, prosocial, and empathogenic effects of the drug. We measured the effects of GHB on mood, prosocial behavior, social and non-social cognition and assessed potential underlying neuroendocrine mechanisms. GHB (20mg/kg) was tested in 16 healthy males, using a randomized, placebo-controlled, cross-over design. Subjective effects on mood were assessed by visual-analogue-scales and the GHB-Specific-Questionnaire. Prosocial behavior was examined by the Charity Donation Task, the Social Value Orientation test, and the Reciprocity Task. Reaction time, memory, empathy, and theory-of-mind were also tested. Blood plasma levels of GHB, oxytocin, testosterone, progesterone, dehydroepiandrosterone (DHEA), cortisol, aldosterone, and adrenocorticotropic-hormone (ACTH) were determined. GHB showed stimulating and sedating effects, and elicited euphoria, disinhibition, and enhanced vitality. In participants with low prosociality, the drug increased donations and prosocial money distributions. In contrast, social cognitive abilities such as emotion recognition, empathy, and theory-of-mind, and basal cognitive functions were not affected. GHB increased plasma progesterone, while oxytocin and testosterone, cortisol, aldosterone, DHEA, and ACTH levels remained unaffected. GHB has mood-enhancing and prosocial effects without affecting social hormones such as oxytocin and testosterone. These data suggest a potential involvement of GHB-/GABAB-receptors and progesterone in mood and prosocial behavior.

Antigüedades mexicanas : Memoria e intertextualidad en la poesía de José Emilio Pacheco

En este trabajo se analizan las diversas formas en que el poemario "Antigüedades mexicanas" de José Emilio Pacheco interroga el pasado y propone la construcción de una memoria a partir de distintos momentos de la historia de México, abordados desde una perspectiva irónico-crítica. Dichas antigüedades mexicanas son también modos de reescribir el archivo americano, gesto que funda la relación con la palabra poética. Construyen así una poética que entrelaza tiempo, memoria y literatura como clave de lectura para el presente.

Miradas al último espejo : La despedida de Fernando Ortiz

Fiel a los temas recurrentes en sus hondos versos elegíacos, en su último libro Miradas al último espejo, Fernando Ortiz recuerda las personas y los lugares de su existencia, canta los efectos del paso del tiempo y la precariedad de la vida, reflexiona sobre la poesía haciendo hincapié en el papel fundamental de la tradición. Lo que pertenece al pasado sobrevive aquí en unas palabras llenas de belleza y emoción, que pretenden abatir la barrera entre el hoy y el ayer: las distintas épocas se mezclan en el sentir de Ortiz y concurren juntas a guiarlo hasta el punto final. El poder lenitivo de los versos, el sarcasmo y la ironía alivian la resignación ante el fluir temporal y le ayudan a aceptar el disgregarse del ser humano en su rápido recorrido por la vida. La única certeza del peregrino es su viaje, razón por la que tiene que aprovecharlo, mostrando gratitud y gozando de los placeres de este mundo entre los que prima indudablemente el amor. Concibiendo la ardua tarea del poeta como una búsqueda de la verdad para transmitirla en sus versos, en Miradas al último espejo Ortiz avisa a sus lectores del destino que todos compartimos, aconseja sobre cómo actuar a lo largo del camino, ofrece el alivio de su poesía y se despide 'con cervantino agradecimiento de la vida'

Antigüedades mexicanas : Memoria e intertextualidad en la poesía de José Emilio Pacheco

En este trabajo se analizan las diversas formas en que el poemario "Antigüedades mexicanas" de José Emilio Pacheco interroga el pasado y propone la construcción de una memoria a partir de distintos momentos de la historia de México, abordados desde una perspectiva irónico-crítica. Dichas antigüedades mexicanas son también modos de reescribir el archivo americano, gesto que funda la relación con la palabra poética. Construyen así una poética que entrelaza tiempo, memoria y literatura como clave de lectura para el presente.

Miradas al último espejo : La despedida de Fernando Ortiz

Fiel a los temas recurrentes en sus hondos versos elegíacos, en su último libro Miradas al último espejo, Fernando Ortiz recuerda las personas y los lugares de su existencia, canta los efectos del paso del tiempo y la precariedad de la vida, reflexiona sobre la poesía haciendo hincapié en el papel fundamental de la tradición. Lo que pertenece al pasado sobrevive aquí en unas palabras llenas de belleza y emoción, que pretenden abatir la barrera entre el hoy y el ayer: las distintas épocas se mezclan en el sentir de Ortiz y concurren juntas a guiarlo hasta el punto final. El poder lenitivo de los versos, el sarcasmo y la ironía alivian la resignación ante el fluir temporal y le ayudan a aceptar el disgregarse del ser humano en su rápido recorrido por la vida. La única certeza del peregrino es su viaje, razón por la que tiene que aprovecharlo, mostrando gratitud y gozando de los placeres de este mundo entre los que prima indudablemente el amor. Concibiendo la ardua tarea del poeta como una búsqueda de la verdad para transmitirla en sus versos, en Miradas al último espejo Ortiz avisa a sus lectores del destino que todos compartimos, aconseja sobre cómo actuar a lo largo del camino, ofrece el alivio de su poesía y se despide 'con cervantino agradecimiento de la vida'

Antigüedades mexicanas : Memoria e intertextualidad en la poesía de José Emilio Pacheco

En este trabajo se analizan las diversas formas en que el poemario "Antigüedades mexicanas" de José Emilio Pacheco interroga el pasado y propone la construcción de una memoria a partir de distintos momentos de la historia de México, abordados desde una perspectiva irónico-crítica. Dichas antigüedades mexicanas son también modos de reescribir el archivo americano, gesto que funda la relación con la palabra poética. Construyen así una poética que entrelaza tiempo, memoria y literatura como clave de lectura para el presente.

Miradas al último espejo : La despedida de Fernando Ortiz

Fiel a los temas recurrentes en sus hondos versos elegíacos, en su último libro Miradas al último espejo, Fernando Ortiz recuerda las personas y los lugares de su existencia, canta los efectos del paso del tiempo y la precariedad de la vida, reflexiona sobre la poesía haciendo hincapié en el papel fundamental de la tradición. Lo que pertenece al pasado sobrevive aquí en unas palabras llenas de belleza y emoción, que pretenden abatir la barrera entre el hoy y el ayer: las distintas épocas se mezclan en el sentir de Ortiz y concurren juntas a guiarlo hasta el punto final. El poder lenitivo de los versos, el sarcasmo y la ironía alivian la resignación ante el fluir temporal y le ayudan a aceptar el disgregarse del ser humano en su rápido recorrido por la vida. La única certeza del peregrino es su viaje, razón por la que tiene que aprovecharlo, mostrando gratitud y gozando de los placeres de este mundo entre los que prima indudablemente el amor. Concibiendo la ardua tarea del poeta como una búsqueda de la verdad para transmitirla en sus versos, en Miradas al último espejo Ortiz avisa a sus lectores del destino que todos compartimos, aconseja sobre cómo actuar a lo largo del camino, ofrece el alivio de su poesía y se despide 'con cervantino agradecimiento de la vida'

Interval-based resource usage verification: Formalization and prototype

In an increasing number of applications (e.g., in embedded, real-time, or mobile systems) it is important or even essential to ensure conformance with respect to a specification expressing resource usages, such as execution time, memory, energy, or user-defined resources. In previous work we have presented a novel framework for data size-aware, static resource usage verification. Specifications can include both lower and upper bound resource usage functions. In order to statically check such specifications, both upper- and lower-bound resource usage functions (on input data sizes) approximating the actual resource usage of the program which are automatically inferred and compared against the specification. The outcome of the static checking of assertions can express intervals for the input data sizes such that a given specification can be proved for some intervals but disproved for others. After an overview of the approach in this paper we provide a number of novel contributions: we present a full formalization, and we report on and provide results from an implementation within the Ciao/CiaoPP framework (which provides a general, unified platform for static and run-time verification, as well as unit testing). We also generalize the checking of assertions to allow preconditions expressing intervals within which the input data size of a program is supposed to lie (i.e., intervals for which each assertion is applicable), and we extend the class of resource usage functions that can be checked.

The association between continuous naming speed and word reading skill in fourth- to sixth-grade children

A correlational study was designed to examine the general processing speed and orthographic processing speed accounts of the association between continuous naming speed and word reading skill in children from fourth to sixth grade. Children were given two tests of each of the following constructs: word reading skill, alphanumeric symbol naming speed, nonsymbol naming speed, alphanumeric processing speed, and nonsymbol processing speed. Results were not completely consistent with either the general processing speed or the orthographic processing speed accounts. Although an alphanumeric symbol processing efficiency component is clearly involved, it is argued that the particularly strong association between naming speed and word reading also reflects the efficiency of phonological processing in children of this age.

Benchmarking of distributed computing engines spark and GraphLab for big data analytics

In this paper we evaluate and compare two representativeand popular distributed processing engines for large scalebig data analytics, Spark and graph based engine GraphLab. Wedesign a benchmark suite including representative algorithmsand datasets to compare the performances of the computingengines, from performance aspects of running time, memory andCPU usage, network and I/O overhead. The benchmark suite istested on both local computer cluster and virtual machines oncloud. By varying the number of computers and memory weexamine the scalability of the computing engines with increasingcomputing resources (such as CPU and memory). We also runcross-evaluation of generic and graph based analytic algorithmsover graph processing and generic platforms to identify thepotential performance degradation if only one processing engineis available. It is observed that both computing engines showgood scalability with increase of computing resources. WhileGraphLab largely outperforms Spark for graph algorithms, ithas close running time performance as Spark for non-graphalgorithms. Additionally the running time with Spark for graphalgorithms over cloud virtual machines is observed to increaseby almost 100% compared to over local computer clusters.

“Niemand zeugt für den Zeugen”. Temporalidad y memoria en la poesía de Paul Celan

El artículo analiza cómo Paul Celan, utilizando recursos arreferenciales y antimiméticos propios de la poésie pure y la poesía absoluta, desarrolla un modelo poético en el que la temporalidad y la memoria son determinantes. En el nuevo modelo, el lenguaje no constituye una realidad autónoma e inmanente; antes bien, se concreta en una acción dialógica y remite a una realidad extralingüística. El mismo texto poético configura un espacio del recuerdo, se erige en un lugar de memoria que, a través de las sedimentaciones históricas que arrastra el lenguaje, da testimonio de lo ocurrido.

Uma cidade no caos: as águas de março e os relatos de professores acerca da enxurrada de 2011 no município de São Lourenço do Sul/RS

O presente trabalho tem a intenção de estudar o desastre ambiental ocorrido em março de 2011 em São Lourenço do Sul, uma enxurrada que afetou a parte sul do estado do Rio Grande do Sul. Em São Lourenço do Sul, mais da metade da cidade foi atingida, afetando bairros inteiros, deixando grande parte da população desabrigada, inclusive causando óbitos. As óticas dos professores das redes públicas da cidade, através de suas sofridas memórias sobre aquele momento, juntamente com outras fontes, serão de suma importância para que se aproxime ainda mais do fato. A História Ambiental, juntamente com a História Oral, dentro dos domínios da História do Tempo Presente, serão as diretrizes norteadoras do processo.

Response time analysis of COTS-Based multicores considering the contention on the shared memory bus

The current industry trend is towards using Commercially available Off-The-Shelf (COTS) based multicores for developing real time embedded systems, as opposed to the usage of custom-made hardware. In typical implementation of such COTS-based multicores, multiple cores access the main memory via a shared bus. This often leads to contention on this shared channel, which results in an increase of the response time of the tasks. Analyzing this increased response time, considering the contention on the shared bus, is challenging on COTS-based systems mainly because bus arbitration protocols are often undocumented and the exact instants at which the shared bus is accessed by tasks are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. This paper makes three contributions towards analyzing tasks scheduled on COTS-based multicores. Firstly, we describe a method to model the memory access patterns of a task. Secondly, we apply this model to analyze the worst case response time for a set of tasks. Although the required parameters to obtain the request profile can be obtained by static analysis, we provide an alternative method to experimentally obtain them by using performance monitoring counters (PMCs). We also compare our work against an existing approach and show that our approach outperforms it by providing tighter upper-bound on the number of bus requests generated by a task.

Finding an upper bound on the increase in execution time due to contention on the memory bus in COTS-based multicore systems

Contention on the memory bus in COTS based multicore systems is becoming a major determining factor of the execution time of a task. Analyzing this extra execution time is non-trivial because (i) bus arbitration protocols in such systems are often undocumented and (ii) the times when the memory bus is requested to be used are not explicitly controlled by the operating system scheduler; they are instead a result of cache misses. We present a method for finding an upper bound on the extra execution time of a task due to contention on the memory bus in COTS based multicore systems. This method makes no assumptions on the bus arbitration protocol (other than assuming that it is work-conserving).

Managing contention of software transactional memory in real-time systems

The foreseen evolution of chip architectures to higher number of, heterogeneous, cores, with non-uniform memory and non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as an alternative to lock-based synchronisation. However, STM relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upperbounded and task sets can be feasibly scheduled. In this paper we defend the role of the transaction contention manager to reduce the number of transaction retries and to help the real-time scheduler assuring schedulability. For such purpose, the contention management policy should be aware of on-line scheduling information.