El arquitecto práctico, civil, militar y agrimensor

UANL

A Virtual Machine for a Type-omega Denotational Proof Language

In this thesis, I designed and implemented a virtual machine (VM) for a monomorphic variant of Athena, a type-omega denotational proof language (DPL). This machine attempts to maintain the minimum state required to evaluate Athena phrases. This thesis also includes the design and implementation of a compiler for monomorphic Athena that compiles to the VM. Finally, it includes details on my implementation of a read-eval-print loop that glues together the VM core and the compiler to provide a full, user-accessible interface to monomorphic Athena. The Athena VM provides the same basis for DPLs that the SECD machine does for pure, functional programming and the Warren Abstract Machine does for Prolog.

La interferencia lingüística escolar. Estudio etnográfico en un contexto asturiano.

1) Comprobar si existen interferencias de elementos del sistema lingüístico asturiano en el lenguaje hablado y escrito de un grupo de alumnos. 2) Analizar e interpretar sus características. 3) Proponer alternativas didácticas. 52 alumnos de segundo de EGB del CP Teodoro Cuesta de Mieres (Asturias), divididos en dos grupos muy homogéneos en cuanto a su configuración. El estudio se prolonga a lo largo de los cursos escolares 1989-90 y 1990-91. Se analiza: la detección de interferencias orales, consciencia subjetiva de las mismas, situaciones en las que se producen, interferencias escritas y consecuencias didácticas. Se elige un diseño etnográfico. Se analizan las interferencias lingüísticas en relación con: profesión de los padres, procedencia geográfica familiar y calificaciones finales de ciclo. Diario semiestructurado de interacciones verbales. Producciones escritas de los alumnos. Encuesta a informantes clave, colegas del centro y padres de alumnos. Estudio de documentos oficiales del centro. Registros magnetofónicos. La información recogida se organiza desde los aspectos más generales a los más específicos. El análisis de los datos se centra en la descripción e interpretación de unos hechos estudiados en su contexto natural. Para validar los resultados obtenidos se utilizan las técnicas de saturación, triangulación, validación respondente y posibilidades de confirmación externa de los datos. 1) Una gran parte del colectivo de alumnos ve interferida su expresión castellana por el sistema lingüístico asturiano. 2) Existen grandes diferencias individuales en cuanto al uso lingüístico escolar con interferencias que han de relacionarse, fundamentalmente, con la procedencia geográfica de los padres. 3) La competencia oral castellana de los alumnos estudiados se ve interferida por expresiones asturianas, sobre todo en los niveles fonológico, fonético y sintáctico y con gran fidelidad a las características más relevantes de la variante central del asturiano. Las interferencias léxicas se ponen de manifiesto, en menor medida, por formas asturianas puras o híbridas de asturiano-castellano que hacen referencia a las formas tradicionales de la cultura asturiana. 4) En general los alumnos no son conscientes de las interferencias asturianas que forman parte de su competencia comunicativa usual. 5) Las situaciones que, en mayor medida, producen interferencia se relacionan con la espontaneidad comunicativa, con las referencias al mundo ambiental y contextual conocido y con la evocación de vivencias familiares cotidianas. 6) Las interferencias escritas, aunque están presentes en casi todos los alumnos, son cualitativa y cuantitativamente de mucha menos entidad que las interferencias orales. Se plantean una serie de propuestas iniciales.

Usos y abusos del litoral : campaña Coastwatch Asturies 1995.

La campaña Coastwatch Asturies es un programa europeo en el que participan diversos grupos de alumnos de 12 a 18 años, de los concejos costeros asturianos, cuyo objetivo es informar del estado actual de la costa de Asturias y elfomento de la educación ambiental. Participaron 1314 observadores de 27 centros de Primaria y Secundaria y 11 asociaciones, que repartida la costa asturiana en tramos de 500 metros, recogieron muestras en uno o varios de ellos según la metodología y técnicas establecidas en el proyecto, cubriendo un protocolo de observación. Este proyecto viene desarrollándose en España desde 1990 y en Asturias desde 1992 y pretende vigilar, observar la costa, constatando todos sus cambios, determinando el estado ambiental del litoral en cuanto a su conservación y gestión; tras la captación de los participantes, se mantuvieron reuniones en los CEPs para informar, asesorar y documentar sobre la campaña y su realización práctica en los centros educativos; se distribuyeron las encuestas, kits analíticos, documentación para la realización de las observaciones, coordinando los diferentes grupos, recopilación de datos, su informatización y finalmente la elaboración del informe que se envia al centro coordinador de la campaña a nivel estatal.

Téléphone, microphone et radiophone

Exposición histórica sobre el teléfono, la producción de corriente y las leyes eléctricas que sirven de base a la telefonía. Aplicaciones de los aparatos telefónicos y microfónicos a los estudios técnicos y científicos

Análisis del alcance y las limitaciones de las políticas de seguridad interior de la Unión Europea, frente a las acciones de grupos armados no estatales como ETA desde la entrada en vigor del Tratado de Maastricht en 1993 a la luz de la teoría de los Complejos de Seguridad Regional

La Unión Europea es una institución sui generis, es un proceso avanzado desde lo estructural y necesita hacer frente a las amenazas que cuestionan su existencia, es por eso que ha demandado a los Estados concesiones políticas para potenciar su crecimiento.

Incidencia de la política migratoria de España sobre los migrantes colombianos y su efecto en las relaciones diplomáticas binacionales. 2005-2010

El presente estudio de caso pretende explicar los mecanismos de respuesta que incorpora la política migratoria de España, específicamente la Ley Orgánica 4/2000. Este tipo de investigación permite observar el grado de incidencia entre las variables frente a las relaciones diplomáticas binacionales Colombia - España y tiene como objetivo analizar los mecanismos de respuesta de los migrantes colombianos frente a la política migratoria de España en el periodo 2005-2010. Se explican las acciones, proyectos y dimensiones de esta política migratoria y se analiza la posición de los migrantes colombianos frente a dicha política, que incide en aspectos relacionados con el empleo, la calidad de vida y la salud, mediante la teoría Push-Pull de Ernst Georg Ravenstein que permite establecer los mecanismos y las razones de aquellos que emigran. Finalmente, se determinan las acciones utilizadas por los grupos de presión que influyen en la articulación de las relaciones diplomáticas binacionales.

Análisis de la política petrolera venezolana durante el gobierno de Hugo Chávez como factor determinante de la Revolución Bolivariana (período 1999-2012)

Desde 1999, la política petrolera se constituyó como base del proyecto político chavista conocido como la Revolución Bolivariana, e incluso se convirtió en el eje de la participación, polarización y de las relaciones entre los principales actores del oficialismo y de la oposición venezolana.

“De la primera sangre de este reino” Las elites dirigentes de Santa Fe (1700-1750)

El objetivo de esta obra consiste en analizar la composición de las principales instituciones de la capital del virreinato del Nuevo Reino de Granada con el fin de conocer quiénes formaban parte de las altas instancias rectoras de Santa Fe durante una época caracterizada por los cambios administrativos. La adscripción a determinadas instituciones era un elemento más de la condición social de los individuos y permite hallar entre ellos rasgos y características comunes que les otorgaron una fuerte cohesión interna. Identificar las redes sociales y los grupos de poder en los que se inscribieron los actores sociales permite identificar tanto los vínculos establecidos entre ellos como los conflictos suscitados por intereses contrarios. Así, se comprueba que la elite de la capital estaba profundamente interrelacionada a través de una complejidad de vínculos y que su principal objetivo consistía en hacer prevalecer sus intereses para obtener una mayor relevancia social, económica y política.

La venganza como prototipo legal en la Ilíada

Que Homero haya compuesto su poema para "recomendar la virtud y la justicia" , como sugirió Anaxágoras, nos parece hoy una sentencia imprudente y desmedida. Por boca de Sócrates dijo Platón, aparentemente con mejores fundamentos, que la épica trata de la "discrepancia de parecer entre lo justo y lo injusto" y de las "batallas y muertes que tuvieron lugar entre los aqueos y los troyanos precisamente por esta discrepancia". … ¿Cómo considerar la reacción del héroe? ¿Es su venganza, en efecto, excesiva? ¿Bajo qué parámetros debe ser analizada y, si es el caso, juzgada? ¿Hay justicia en la venganza de Aquiles?

¿Unificaçao ou diversificaçao? Notas sobre a evoluçao do ensino secundário em Portugal, 1970-1990. '¿Unificación o diversificación? Notas sobre la evolución de la enseñanza secundaria en Portugal, 1970-1990.

Resumen en catalán, castellano e inglés

Torrijos, ciudad educadora.

Descripción de las características de Torrijos (Toledo), por pertenecer a la Red Internacional de Ciudades Educadoras desde 2003. Se comentan los programas educativos y culturales puestos en marcha y los proyectos futuros.

Diversión y comedores escolares.

El momento de la comida es tan educativo como cualquier otra actividad de enseñanza-aprendizaje que se plantee dentro del aula, puesto que es el momento más importante de socialización y relación entre iguales.

La magia del lenguaje de los niños.

Resumen tomado de la revista

Modelo sociocognitivo, pragmalingüístico y didáctico para la producción de textos escritos.

Resumen tomado del autor. Resumen también en francés e inglés