Euripides’ Critique of Athletics in Autolykus, fr. 282 N2

[ES] Son numerosos los testimonios, tanto en la literatura como en el arte, que dan cuenta del importante papel que el tema del deporte tuvo en la Antigüedad. Aunque la mayor parte de ellos ofrecen una imagen positiva de la figura del atleta, no faltaron tampoco las críticas a su modo de vida por parte de poetas, filósofos y médicos, que mostraban su desacuerdo ante un régimen que ponía en peligro su salud y consideraban escandalosa la excesiva valoración social de la que gozaban. El fr. 282 N2, perteneciente al drama satírico Autólico de Eurípides, resulta muy representativo en este sentido al hacerse eco de todos estos puntos de vista.

Etxebizitza baten kalifikazio energetikoa eta hobekuntzak.

[EU]Garatutako txosten honekin, etxebizitza baten kalifikazio energetikoa burutuko da. Izan ere, gai honek orain dela bi urte sartu zen dekretuaren ondorioz berebiziko garrantzia hartu du etxe bat saldu edo alokatzeko orduan. Aipatutako kalifikazio energetikoa lortu ahal izateko CE3X programa erabiliko da. Horretarako, beharrezko izango da aztertutako etxearen datu aipagarrienak izatea (neurriak, materialak, leihoak...). Lehenik eta behin, proiektuaren helburu den etxebizitzaren kalifikazio energetikoa lortuko da, F letra eskuratuz, oso kalifikazio baxua dena. Ondoren, hobekuntza batzuk aplikatuko zaizkio etxeari energia eraginkortasuna hobetzeko asmoarekin. Hori eginez gero, E letra bat lortzea posible izango da amortizazio epe eta inbertsio nahiko onargarriekin.

Teen-age identity construction in Stephen King: A gendered view

280 p.

El método de reducción en Teoría de la Computabilidad

La Teoría de la Computabilidad es una disciplina encuadrada en la Informática Teórica que tiene como objetivo establecer los límites lógicos que presentan los sistemas informáticos a la hora de resolver problemas mediante el diseño de algoritmos. Estos resultados proporcionan importantes herramientas que se utilizan para demostrar tanto la computabilidad como la incomputabilidad de muchas funciones relevantes. Los primeros problemas incomputables que se encontraron lo fueron allá por la década de los años 30. El problema de parada es el primer y más conocido ejemplo de problema no resoluble mediante técnicas algorítmicas: ningún ordenador, por muy potente que sea, puede anticipar el comportamiento de los programas en ejecución, y decidir de antemano si terminarán o no. Este problema nos proporciona un soporte intuitivo para anticipar la incomputabilidad de otros problemas relacionados y un procedimiento para resolverlos: el método de diagonalización. Sin embargo para determinados problemas también incomputables hay que recurrir a otros métodos. Este texto incluye una descripción de otra técnica básica de Teoría de la Computabilidad: la Reducción. La base del método estriba en demostrar que ciertos pares de problemas están fuertemente relacionados de modo que si el segundo tiene solución algorítmica entonces el primero debe tenerla necesariamente también. Esta relación se establece por medio de funciones transformadoras computables, que permiten convertir de manera automática las instancias positivas del primer problema en instancias positivas del segundo. Esta técnica se utiliza muy a menudo porque resulta comparativamente más sencilla que la diagonalización, ya que en general requiere menos esfuerzo para demostrar la incomputabilidad de un mismo problema.