20. Theorietag der GI-Fachgruppe "Automaten und Formale Sprachen''

Die Fachgruppe AFS (früher Fachgruppe 0.1.5) der Gesellschaft für Informatik veranstaltet seit 1991 einmal im Jahr ein Treffen der Fachgruppe im Rahmen eines Theorietags, der traditionell eineinhalb Tage dauert. Seit dem Jahr 1996 wird dem eigentlichen Theorietag noch ein eintägiger Workshop zu speziellen Themen der theoretischen Informatik vorangestellt. In diesem Jahr wurde der Theorietag vom Fachgebiet "Theoretische Informatik" des Fachbereichs Elektrotechnik/Informatik der Universität Kassel organisiert. Er fand vom 29.9. bis 1.10.2010 in Baunatal bei Kassel statt. Dabei stand der begleitende Workshop unter dem allgemeinen Thema "Ausgewählte Themen der Theoretischen Informatik". Als Vortragende für diesen Workshop konnten Carsten Damm (Göttingen), Markus Holzer (Giessen), Peter Leupold (Kassel), Martin Plátek (Prag) und Heribert Vollmer (Hannover) gewonnen werden. Das Programm des eigentlichen Theorietags bestand aus 20 Vorträgen sowie der Sitzung der Fachgruppe AFS. In diesem Band finden sich die Zusammenfassungen aller Vorträge sowohl des Workshops als auch des Theorietags. Desweiteren enthält er das Programm und die Liste aller Teilnehmer.

Programmable Self-Assembly: Constructing Global Shape using Biologically-inspire

In this thesis I present a language for instructing a sheet of identically-programmed, flexible, autonomous agents (``cells'') to assemble themselves into a predetermined global shape, using local interactions. The global shape is described as a folding construction on a continuous sheet, using a set of axioms from paper-folding (origami). I provide a means of automatically deriving the cell program, executed by all cells, from the global shape description. With this language, a wide variety of global shapes and patterns can be synthesized, using only local interactions between identically-programmed cells. Examples include flat layered shapes, all plane Euclidean constructions, and a variety of tessellation patterns. In contrast to approaches based on cellular automata or evolution, the cell program is directly derived from the global shape description and is composed from a small number of biologically-inspired primitives: gradients, neighborhood query, polarity inversion, cell-to-cell contact and flexible folding. The cell programs are robust, without relying on regular cell placement, global coordinates, or synchronous operation and can tolerate a small amount of random cell death. I show that an average cell neighborhood of 15 is sufficient to reliably self-assemble complex shapes and geometric patterns on randomly distributed cells. The language provides many insights into the relationship between local and global descriptions of behavior, such as the advantage of constructive languages, mechanisms for achieving global robustness, and mechanisms for achieving scale-independent shapes from a single cell program. The language suggests a mechanism by which many related shapes can be created by the same cell program, in the manner of D'Arcy Thompson's famous coordinate transformations. The thesis illuminates how complex morphology and pattern can emerge from local interactions, and how one can engineer robust self-assembly.

LBD LOCAL: un sistema para la recuperación de documentos con referencias geográficas

Tanto los Sistemas de Información Geográfica como la Recuperación de Información han sido campos de investigación muy importantes en las últimas décadas. Recientemente, un nuevo campo de investigación llamado Recuperación de Información Geográfica ha surgido fruto de la confluencia de estos dos campos. El objetivo principal de este campo es definir estructuras de indexación y técnicas para almacenar y recuperar documentos de manera eficiente empleando tanto las referencias textuales como las referencias geográficas contenidas en el texto. En este artículo presentamos la arquitectura de un sistema para recuperación de información geográfica y definimos el flujo de trabajo para la extracción de las referencias geográficas de los documentos. Presentamos además una nueva estructura de indexación que combina un índice invertido, un índice espacial y una ontología. Esta estructura mejora las capacidades de consulta de otras propuestas

Networked Life: Module CIS 112, University of Pennsylvania, Spring 2008

What kind of science is appropriate for understanding the Facebook? How does Google find what you're looking for... ...and exactly how do they make money doing so? What structural properties might we expect any social network to have? How does your position in an economic network (dis)advantage you? How are individual and collective behavior related in complex networks? What might we mean by the economics of spam? What do game theory and the Paris subway have to do with Internet routing? What's going on in the pictures to the left and right? Networked Life looks at how our world is connected -- socially, economically, strategically and technologically -- and why it matters. The answers to the questions above are related. They have been the subject of a fascinating intersection of disciplines including computer science, physics, psychology, mathematics, economics and finance. Researchers from these areas all strive to quantify and explain the growing complexity and connectivity of the world around us, and they have begun to develop a rich new science along the way. Networked Life will explore recent scientific efforts to explain social, economic and technological structures -- and the way these structures interact -- on many different scales, from the behavior of individuals or small groups to that of complex networks such as the Internet and the global economy. This course covers computer science topics and other material that is mathematical, but all material will be presented in a way that is accessible to an educated audience with or without a strong technical background. The course is open to all majors and all levels, and is taught accordingly. There will be ample opportunities for those of a quantitative bent to dig deeper into the topics we examine. The majority of the course is grounded in scientific and mathematical findings of the past two decades or less.

Exercise sheet 1

Exercises and solutions in LaTex

La arte-terapia como camino de transformación espiritual

Desde el abordaje de la arte-terapia y de la espiritualidad, es posible hallar la relación que ambos conceptos entrañan, relacionado con el significado simbólico y universal que el arte (a través de todas su manifestaciones), puede brindar al espíritu para alcanzar su transformación (personal y transpersonal), sea ésta comprendida desde un marco de intervención en patología o en disfuncionalidad, así como desde el marco de promoción en salud, teniendo en cuenta el carácter holístico de todo ser humano. ¿Qué tiene el arte que "cura" a los pacientes? Mediante una revisión de la literatura que tiene en cuenta las características específicas de la intersección de estos dos campos, tales como la relación terapéutica, el acto creativo, los niveles transpersonales del desarrollo y la imaginación, se aborda este interrogante.

Exercise sheet 1 pdf

Exercises and solutions in PDF

Tissue- specific DNA methylation profiles in newborns

Experimental and epidemiological studies demonstrate that fetal growth restriction and low birth weight enhance the risk of chronic diseases in adulthood. Derangements in tissue-specific epigenetic programming of fetal and placental tissues are a suggested mechanism of which DNA methylation is best understood. DNA methylation profiles in human tissue are mostly performed in DNA from white blood cells. The objective of this study was to assess DNA methylation profiles of IGF2 DMR and H19 in DNA derived from four tissues of the newborn. We obtained from 6 newborns DNA from fetal placental tissue (n = 5), umbilical cord CD34+ hematopoietic stem cells (HSC) and CD34- mononuclear cells (MNC) (n = 6), and umbilical cord Wharton jelly (n = 5). HCS were isolated using magnetic-activated cell separation. DNA methylation of the imprinted fetal growth genes IGF2 DMR and H19 was measured in all tissues using quantitative mass spectrometry. ANOVA testing showed tissue-specific differences in DNA methylation of IGF2 DMR (p value 0.002) and H19 (p value 0.001) mainly due to a higher methylation of IGF2 DMR in Wharton jelly (mean 0.65, sd 0.14) and a lower methylation of H19 in placental tissue (mean 0.25, sd 0.02) compared to other tissues. This study demonstrates the feasibility of the assessment of differential tissue specific DNA methylation. Although the results have to be confirmed in larger sample sizes, our approach gives opportunities to investigate epigenetic profiles as underlying mechanism of associations between pregnancy exposures and outcome, and disease risks in later life.

Multidisciplinary Guest Lectures

A series of lectures by experts across the University, talking about the intersection of Web science and their discipline.

Management social del no equilibrio. Complejidad y ciencias del comportamiento: aportes teóricos y metodológicos a las ciencias de la dirección

El presente texto busca exponer algunos de los aportes que la disciplina del Management puede tomar para su desarrollo en cuanto a teoría, metodología, concepto y práctica administrativa a partir del estudio de las Ciencias de la Complejidad. Para esto se centrará en las Ciencias del Comportamiento, principalmente en las Ciencias Sociales del No Equilibrio. Ellas establecerán el puente entre el Management y las Ciencias de la Complejidad. El resultado de esta unión será la aparición de una nueva disciplina de estudio y un nuevo campo de acción para el management, a saber: El Management Social del No Equilibrio. El texto es, en sí mismo, solo una introducción al tema y se plantea como objeto de estudio para una nueva disciplina de investigación. Para comenzar se hará una introducción al problema de las Ciencias de la Complejidad. Seguidamente, se definirán las Ciencias de la Dirección y los aprovechamientos que han tenido con respecto a las Ciencias de la Complejidad y las Ciencias Sociales Aplicadas. A continuación, se hará una aproximación a lo que este texto entiende por Ciencias del Comportamiento y su relación con las Ciencias de la Complejidad, dando a luz a las Ciencias Sociales del No-Equilibrio. Para concluir se hará una intersección entre las tres (3) disciplinas usando las Ciencias del Comportamiento como puente para la aparición del Management Social del No Equilibrio. Finalmente, se termina con una conclusión con la invitación de generar nuevas discusiones e investigaciones con respecto al tema.

Social housing and land use planning in Medellin during the period 2006-2011. Steps towards socio economic and residential segregation

This paper presents an approach to the relationship between land use planning and socioeconomic residential segregation, from the location of social housing in Medellin, Colombia, during the period 2006-2011. The first part introduces the land use regulations regarding the location of social housing, identifying ambiguities in the current spatial plan. Next, we present the intersection of  regulatory information and the location of the projects that were under construction during the  study period, highlighting the need to consider the location as an important characteristic of social housing and residential segregation as a phenomenon that must be recognized and worked on land  use planning in our cities.

Amenaza Interdependiente en la Región de los Grandes Lagos

El objetivo de esta monografía es analizar los alcances de la presencia de grupos armados ilegales como elementos determinantes en el origen de un subcomplejo de seguridad regional entre la República Democrática del Congo, Ruanda y Burundi. Se busca explicar cómo un conflicto étnico se traduce en la presencia de grupos insurgentes, y a su vez, establece una amenaza interdependiente entre los líderes políticos de dichos países, que permite hablar del subcomplejo de seguridad. Para lograr lo anterior, son pertinentes los postulados teóricos de los Complejos de Seguridad Regional de Barry Buzan, ya que identifican la manera como se estructuran, localizan, y evolucionan estas unidades de análisis. Finalmente, este análisis se complementa con el método de estudio propuesto por Jeremy M. Weinstein para comprender por qué y para qué se crean grupos insurgentes.

Estado situacional de los modelos basados en agentes y su impacto en la investigación organizacional

En un mundo hiperconectado, dinámico y cargado de incertidumbre como el actual, los métodos y modelos analíticos convencionales están mostrando sus limitaciones. Las organizaciones requieren, por tanto, herramientas útiles que empleen tecnología de información y modelos de simulación computacional como mecanismos para la toma de decisiones y la resolución de problemas. Una de las más recientes, potentes y prometedoras es el modelamiento y la simulación basados en agentes (MSBA). Muchas organizaciones, incluidas empresas consultoras, emplean esta técnica para comprender fenómenos, hacer evaluación de estrategias y resolver problemas de diversa índole. Pese a ello, no existe (hasta donde conocemos) un estado situacional acerca del MSBA y su aplicación a la investigación organizacional. Cabe anotar, además, que por su novedad no es un tema suficientemente difundido y trabajado en Latinoamérica. En consecuencia, este proyecto pretende elaborar un estado situacional sobre el MSBA y su impacto sobre la investigación organizacional.

Análisis del modelo de Internacionalización de e-Tech Simulation según la teoría de redes

La teoría de redes de Johanson y Mattson (1988) explica como las pequeñas empresas, también conocidas como PyMes, utilizan las redes de negocio para desarrollar sus procesos de internacionalización. Es así que a través de las redes pueden superar sus limitaciones de tamaño para encontrar cierto tipo de fluidez y dinamismo en su gestión, con el fin de aprovechar los beneficios de la internacionalización. A partir del desarrollo y fortalecimiento de las relaciones dentro de la red la organización puede posicionarse en una instancia competitiva cada vez más fuerte (Jarillo, 1988). Según Forsgren y Johanson (1992), para los gerentes es importante coordinar la interacción entre los diferentes actores de la red, ya que a través de estas su posición dentro de la red mejora y así mismo el flujo de recursos será mayor. El propósito de este trabajo es analizar el modelo de internacionalización según la teoría de redes, desde una perspectiva cultural, de e-Tech Simulation una PyME “Born to be global” norteamericana. Esta empresa ha minimizado su riesgo de internacionalización, a través del desarrollo de acuerdos entre los diferentes actores. Al mejorar su posición dentro de la red, es decir al fortalecer aún más los lazos existentes y crear nuevas relaciones, la empresa ha obtenido mayores beneficios de la misma y ha logrado ser aún más flexible con sus clientes. Es por esto que a partir de este análisis se planteó una serie de recomendaciones para mejorar los procesos de negociación dentro de la red, bajo un contexto cultural. De igual forma se evidencio la importancia del papel del emprendimiento del gerente en los procesos de internacionalización, así como su habilidad para mezclar los recursos obtenidos de diferentes mercados internacionales para satisfacer las necesidades de los clientes.

Automatic generation of active coordinates for quantum dynamics calculations: application to the dynamics of benzene photochemistry

A new practical method to generate a subspace of active coordinates for quantum dynamics calculations is presented. These reduced coordinates are obtained as the normal modes of an analytical quadratic representation of the energy difference between excited and ground states within the complete active space self-consistent field method. At the Franck-Condon point, the largest negative eigenvalues of this Hessian correspond to the photoactive modes: those that reduce the energy difference and lead to the conical intersection; eigenvalues close to 0 correspond to bath modes, while modes with large positive eigenvalues are photoinactive vibrations, which increase the energy difference. The efficacy of quantum dynamics run in the subspace of the photoactive modes is illustrated with the photochemistry of benzene, where theoretical simulations are designed to assist optimal control experiments