Systems of Parallel Communicating Restarting Automata

In der vorliegenden Dissertation werden Systeme von parallel arbeitenden und miteinander kommunizierenden Restart-Automaten (engl.: systems of parallel communicating restarting automata; abgekürzt PCRA-Systeme) vorgestellt und untersucht. Dabei werden zwei bekannte Konzepte aus den Bereichen Formale Sprachen und Automatentheorie miteinander vescrknüpft: das Modell der Restart-Automaten und die sogenannten PC-Systeme (systems of parallel communicating components). Ein PCRA-System besteht aus endlich vielen Restart-Automaten, welche einerseits parallel und unabhängig voneinander lokale Berechnungen durchführen und andererseits miteinander kommunizieren dürfen. Die Kommunikation erfolgt dabei durch ein festgelegtes Kommunikationsprotokoll, das mithilfe von speziellen Kommunikationszuständen realisiert wird. Ein wesentliches Merkmal hinsichtlich der Kommunikationsstruktur in Systemen von miteinander kooperierenden Komponenten ist, ob die Kommunikation zentralisiert oder nichtzentralisiert erfolgt. Während in einer nichtzentralisierten Kommunikationsstruktur jede Komponente mit jeder anderen Komponente kommunizieren darf, findet jegliche Kommunikation innerhalb einer zentralisierten Kommunikationsstruktur ausschließlich mit einer ausgewählten Master-Komponente statt. Eines der wichtigsten Resultate dieser Arbeit zeigt, dass zentralisierte Systeme und nichtzentralisierte Systeme die gleiche Berechnungsstärke besitzen (das ist im Allgemeinen bei PC-Systemen nicht so). Darüber hinaus bewirkt auch die Verwendung von Multicast- oder Broadcast-Kommunikationsansätzen neben Punkt-zu-Punkt-Kommunikationen keine Erhöhung der Berechnungsstärke. Desweiteren wird die Ausdrucksstärke von PCRA-Systemen untersucht und mit der von PC-Systemen von endlichen Automaten und mit der von Mehrkopfautomaten verglichen. PC-Systeme von endlichen Automaten besitzen bekanntermaßen die gleiche Ausdrucksstärke wie Einwegmehrkopfautomaten und bilden eine untere Schranke für die Ausdrucksstärke von PCRA-Systemen mit Einwegkomponenten. Tatsächlich sind PCRA-Systeme auch dann stärker als PC-Systeme von endlichen Automaten, wenn die Komponenten für sich genommen die gleiche Ausdrucksstärke besitzen, also die regulären Sprachen charakterisieren. Für PCRA-Systeme mit Zweiwegekomponenten werden als untere Schranke die Sprachklassen der Zweiwegemehrkopfautomaten im deterministischen und im nichtdeterministischen Fall gezeigt, welche wiederum den bekannten Komplexitätsklassen L (deterministisch logarithmischer Platz) und NL (nichtdeterministisch logarithmischer Platz) entsprechen. Als obere Schranke wird die Klasse der kontextsensitiven Sprachen gezeigt. Außerdem werden Erweiterungen von Restart-Automaten betrachtet (nonforgetting-Eigenschaft, shrinking-Eigenschaft), welche bei einzelnen Komponenten eine Erhöhung der Berechnungsstärke bewirken, in Systemen jedoch deren Stärke nicht erhöhen. Die von PCRA-Systemen charakterisierten Sprachklassen sind unter diversen Sprachoperationen abgeschlossen und einige Sprachklassen sind sogar abstrakte Sprachfamilien (sogenannte AFL's). Abschließend werden für PCRA-Systeme spezifische Probleme auf ihre Entscheidbarkeit hin untersucht. Es wird gezeigt, dass Leerheit, Universalität, Inklusion, Gleichheit und Endlichkeit bereits für Systeme mit zwei Restart-Automaten des schwächsten Typs nicht semientscheidbar sind. Für das Wortproblem wird gezeigt, dass es im deterministischen Fall in quadratischer Zeit und im nichtdeterministischen Fall in exponentieller Zeit entscheidbar ist.

K.O. Apel: transcendentalisme i praxi de la veritat.

L'objectiu d'aquest treball és explicar i fer la crítica de la Teoria de la Veritat recentment defensada per Apel. En primer lloc, el consens i pragmàtica de la Teoria de la Veritat d'Apel es presenta en relació amb el projecte de la Teoria Crítica de la Societat de Habermas i el problema dels fonaments en el raonament ètic. En segon lloc, la seva versió idealitzada i transcendental de la Veritat que invoca la noció de convergència en una comunitat ideal d'investigadors lliures és analitzada. Finalment, les entranyes de l'esperit wingensteinià i després de l'últim anàlisi de Putnam, s’ha intentat fer una avaluació crítica. El resultat de tot això serà una més modesta concepció de la Veritat com a tan sols una qualitat de la praxi lingüística humana, però no la seva primera pedra

Studies about the atomic capabilities concept for linear control systems in physical multi-agent environments

This paper shows the impact of the atomic capabilities concept to include control-oriented knowledge of linear control systems in the decisions making structure of physical agents. These agents operate in a real environment managing physical objects (e.g. their physical bodies) in coordinated tasks. This approach is presented using an introspective reasoning approach and control theory based on the specific tasks of passing a ball and executing the offside manoeuvre between physical agents in the robotic soccer testbed. Experimental results and conclusions are presented, emphasising the advantages of our approach that improve the multi-agent performance in cooperative systems

En Carrefour el conocimiento y la complejidad : dos aspectos fuerza para el equipo de organización y proyectos

Este artículo presenta la generación y conceptualización de información, producto de relaciones entre factores o elementos que conforman a las empresas. Sostenemos que este entendimiento se encuentra en el camino de la gestión del conocimiento y la teoría de complejidad. Se toma como estudio de caso a Carrefour Grandes Superficies de Colombia, y se expone de manera descriptiva y reflexiva cómo la compañía opera la información y el impacto de ésta en el área de organización y proyectos. Se presenta el marco teórico compuesto por dos teorías: la gestión del conocimiento y la complejidad. La tesis que sostengo es que en Carrefour el conocimiento y la complejidad dos aspectos fuerza, líderes para el equipo de Organización y Proyectos.

COMP3016 Web Technology - Strand 3 "History" Lecture 6

Lecture 6: Where are all the links taking us: Web Science Contains Powerpoint Lecture slides and Hypertext Research Papers: The Literati (The Cyberspace and critical theory website) (Eastgate website); Pervasive Hypertext at Southampton and at Aarhus; Adaptive Hypertext - The Next Big Thing: (De Bra & Chepegin, 2004); Web Science: Creating a Science of the Web (Berners-Lee, Hall, Hendler, Shadbolt & Weitzner, 2006).

Consideración moral de los animales. Un enfoque filosófico y ecoético orientado hacia la política

Aceptando hipotéticamente que se ha de considerar moralmente a los animales el texto se pregunta por las razones que validan dicha tesis y, además, por los mecanismos a través de los cuales dicha consideración sería efectiva. Frente a estas preguntas se revisarán tres enfoques teóricos que ofrecen respuestas diversas a los interrogantes planteados: el enfoque de los intereses de Peter Singer, la perspectiva de los derechos de Salt y Regan, y la teoría de las capacidades de Martha Nussbaum. No obstante, en el curso de la reconstrucción mencionada el texto evidenciará algunos problemas de estos planteamientos y su alcance a la hora de impulsar la transformación de las prácticas cotidianas de los humanos con los animales ya que carecen de fuerza política para validar y extender nuevas formas de relacionarnos con los animales. El texto sostendrá que una alianza de los mejores elementos de estas tres teorías puede conformar una base sólida para la creación y fundamentación de movimientos sociales y políticos que impulsen la renovación de la relación de los hombres con los animales.

Análisis de las tensiones geopolíticas entre Kirguistán y Uzbekistán por el Valle de Fergana y sus recursos energéticos durante el periodo 2001-2010

Las tensiones geopolíticas entre Kirguistán y Uzbekistán por el Valle de Fergana durante el periodo 2001-2010 a partir de un análisis histórico de la formación de la población y la influencia de los diferentes imperios en la región. Adicionalmente, los aspectos relativos a la importancia de los recursos energéticos en el Valle de Fergana como la configuración de las tensiones generadas entre estos dos países, haciendo énfasis en el conflicto étnico latente que se ha generado en la zona. De se utilizarán la teoría constructivista de Alexander Wendt y la teoría de la geopolítica de Yves Lacoste.

La sabiduría como competencia gerencial

Aunque el concepto de sabiduría ha sido ampliamente estudiado por expertos de áreas como la filosofía, la religión y la psicología, aún enfrenta limitaciones en cuanto a su definición y evaluación. Por esto, el presente trabajo tiene como objetivo, formular una definición del concepto de sabiduría que permita realizar una propuesta de evaluación del concepto como competencia en los gerentes. Para esto, se realizó un análisis documental de tipo cualitativo. De esta manera, se analizaron diversos textos sobre la historia, las definiciones y las metodologías para evaluar tanto la sabiduría como las competencias; diferenciando la sabiduría de otros constructos y analizando la diferencia entre las competencias generales y las gerenciales para posteriormente, definir la sabiduría como una competencia gerencial. Como resultado de este análisis se generó un prototipo de prueba denominado SAPIENS-O, a través del cuál se busca evaluar la sabiduría como competencia gerencial. Como alcances del instrumento se pueden identificar la posibilidad de medir la sabiduría como competencia en los gerentes, la posibilidad de dar un nuevo panorama a las dificultades teóricas y empíricas sobre la sabiduría y la posibilidad de facilitar el estudio de la sabiduría en ambientes reales, más específicamente en ambientes organizacionales.

La influencia de factores educativos y familiares sobre el aprendizaje de una segunda lengua, y los efectos sobre la inteligencia y cognición

Actualmente, la investigación científica acerca de la influencia de los factores educativos y familiares en el aprendizaje de una segunda lengua (L2) es limitada. En comparación, los efectos que tiene la L2 en la inteligencia y cognición han sido más estudiados. Por esta razón, el artículo presenta una revisión de la literatura empírica existente que relaciona lo mencionado anteriormente, ampliando así la temática del bilingüismo. Se buscaron artículos en cuatro bases de datos (PSICODOC, ISI Web of knowledge y SCOPUS), usando palabras claves específicas, en el periodo de 1990 hasta el 2012. De 79 artículos encontrados, 34 cumplieron con los criterios de inclusión para la revisión. Asimismo, se tuvieron en cuenta dos libros, de los cuales se revisó un capítulo por cada uno según los mismos criterios. En conjunto, los resultados arrojaron importantes datos teóricos y de investigación que relacionan el éxito en el aprendizaje de una L2 con la inteligencia y cognición, según la influencia de los factores educativos y familiares. En conclusión, se identificaron más factores educativos que familiares; lo cual a concepto de la autora evidencia la limitada investigación que se ha hecho sobre los factores familiares en el bilingüismo actualmente.

Protocolo de investigación

Este documento es una breve reseña explicativa de la evolución del Grupo de Investigación en Perdurabilidad Empresarial (GIPE) de la Facultad de Administración de la Universidad del Rosario, cuyo código de registro en el GrupLac de Colciencias es COL0004854, con página web que se puede consultar en http://201.234.78.173:8080/gruplac/jsp/visualiza/visualizagr. jsp?nro=00000000001029. El presente documento se preparó sobre la base del ejercicio realizado por el profesor Hugo Rivera para la conformación de la línea de investigación en perdurabilidad, a partir del protocolo de investigación del Grupo como requerimiento de la Decanatura en el primer semestre del 2011 y la revisión histórica del proceso de investigación en la Facultad de Administración, realizado por el profesor Diego Cardona al asumir las funciones de director de investigación de la Facultad en el mismo semestre. El documento contiene un inventario de elementos importantes para el estudio de la perdurabilidad como son las metodologías utilizadas para estudiar la perdurabilidad, los investigadores con los cuales se podrían hacer acercamientos para trabajos conjuntos y las publicaciones donde se explora el tema. Luego el lector encuentra la relación de algunas temáticas particulares por estudiar en la línea, la relación del trabajo con el grupo de investigación, los resultados esperados y las referencias bibliográficas. Las empresas, en contraste con los seres vivos, que tienen una forma física tangible, son vistas como una abstracción económica y legal, cuyos alcances y ciclo de vida constituyen representaciones intangibles. La permanencia de las empresas en el tiempo de manera exitosa se constituye en un tema de preocupación para el Gobierno, las empresas y la academia de la Administración. Se han realizado varias investigaciones, materializadas en libros, artículos y ponencias, tratando de explicar por qué unas organizaciones perduran y otras desaparecen. Sin embargo, ninguno de los campos de estudio vinculados a la Academy of Management ha decidido estudiar de manera exclusiva dentro de sus divisiones o grupos de interés el tema de la perdurabilidad; aunque podría decirse que existen divisiones dentro de dicha asociación que guardan más afinidad con el tema como son Business Policy and Strategy y Organization and Management Theory. Por fuera de la Academy of Management se encuentra la comunidad de la historia empresarial, que se ha dedicado a estudiar la manera como las empresas se han perpetuado en el tiempo. En Estados Unidos las universidades de Stanford y Wharton abanderaron a comienzos de los años 1990 la misión de realizar investigaciones donde se estudien casos de empresas exitosas. En Europa la escuela de negocios Esade y la Universidad de Innsbruck en Austria han efectuado estudios similares, y en América Latina los intentos por establecer los motivos que pueden llevar a una empresa a pasar de la longevidad a la perdurabilidad son escasos. Se resalta en este sentido el trabajo de la Universidad Externado de Colombia en el periodo 1997-2000 y la investigación de DelaCerda-Gastélum (2009).

WAIS seminar:Mathematics for Web Science Part3-1

ABSTRACT In the first two seminars we looked at the evolution of Ontologies from the current OWL level towards more powerful/expressive models and the corresponding hierarchy of Logics that underpin every stage of this evolution. We examined this in the more general context of the general evolution of the Web as a mathematical (directed and weighed) graph and the archetypical “living network” In the third seminar we will analyze further some of the startling properties that the Web has as a graph/network and which it shares with an array of “real-life” networks as well as some key elements of the mathematics (probability, statistics and graph theory) that underpin all this. No mathematical prerequisites are assumed or required. We will outline some directions that current (2005-now) research is taking and conclude with some illustrations/examples from ongoing research and applications that show great promise.

WAIS seminar:Mathematics for Web Science Part 3-2

ABSTRACT In the first two seminars we looked at the evolution of Ontologies from the current OWL level towards more powerful/expressive models and the corresponding hierarchy of Logics that underpin every stage of this evolution. We examined this in the more general context of the general evolution of the Web as a mathematical (directed and weighed) graph and the archetypical “living network” In the third seminar we will analyze further some of the startling properties that the Web has as a graph/network and which it shares with an array of “real-life” networks as well as some key elements of the mathematics (probability, statistics and graph theory) that underpin all this. No mathematical prerequisites are assumed or required. We will outline some directions that current (2005-now) research is taking and conclude with some illustrations/examples from ongoing research and applications that show great promise.

WAIS seminar: Mathematics for Web Science: Part 3-3

ABSTRACT In the first two seminars we looked at the evolution of Ontologies from the current OWL level towards more powerful/expressive models and the corresponding hierarchy of Logics that underpin every stage of this evolution. We examined this in the more general context of the general evolution of the Web as a mathematical (directed and weighed) graph and the archetypical “living network” In the third seminar we will analyze further some of the startling properties that the Web has as a graph/network and which it shares with an array of “real-life” networks as well as some key elements of the mathematics (probability, statistics and graph theory) that underpin all this. No mathematical prerequisites are assumed or required. We will outline some directions that current (2005-now) research is taking and conclude with some illustrations/examples from ongoing research and applications that show great promise.

Anfibios Culturales y Sistemas de Regulación Ley, Moral y Cultura en la producción audiovisual colombiana Estudio de caso: Sin Tetas no hay Paraíso

La Teoría de la Acción Humana desarrollada por Antanas Mockus, parte del principio de que la acción humana es multimotivada y multiregulada. Entre las multiples regulaciones se encuentran los Sistemas de Regulación Social Ley, Moral y Cultura quienes en cierta medida explican el accionar y la interacción social. No obstante dado que la sociedad contemporánea se caracteriza por ubicarse en un contexto intercultural de contactos y fricciones permanentes, entre distintas perspectivas culturales en distintos grados de hibridación, el divorcio entre los sistemas regulatorios parece inevitable. Entendiendo al Espacio Público habermasiano ya no reservado únicamente a los actores institucionales, sino a la sociedad civil y los medios masivos. Es en este nuevo espacio deliberativo donde el Anfibio Cultural se desenvuelve a fin de resolver la problemática del divorcio entre los sistemas regulatorios. El anfibio valiéndose de sus herramientas camaleónicas y traductoras buscará por vías dialógicas la reducción así sea parcial, a mínimos aceptables de discusión e interrelación cultural. La imagen articulada a un mecanismo cultural por un lado reconstruye realidades pero por el otro alimenta el ciclo de producción y aceptación de imaginarios colectivos. De esta manera la presente investigación propone evidenciar los conceptos de Mockus en el desarrollo de una producción audiovisual, así como también realiza un aporte conceptual a la teoría al incluir la Dialéctica del Reconocimiento como una herramienta eficaz a la hora de buscar generar acuerdos. La presente investigación propone evidenciar cómo a partir del análisis de una producción audiovisual se promueven valores, cultural, ideas y costumbres que incentivan tanto el divorcio como la armonización entre los sistemas regulatorios.

El problema de la referencia vacía de términos universales en Ockham: un estudio proposicional desde la teoría de las descripciones de Bertrand Russell

El objetivo general del presente trabajo monográfico es realizar un análisis de aquellas proposiciones significativas que contienen universales vacíos de referencia, análisis que parte de la Teoría de la suposición de Guillermo de Ockham y de la Teoría de las descripciones de Bertrand Russell. Se intenta abordar la pregunta: ¿cómo puede una proposición como "me encontré con un unicornio" ser significativa, incluso cuando no existe nada que se refiera a la descripción de "unicornio”? El análisis se hace examinando el carácter referencial de los términos universales y de las proposiciones desde las mencionadas teorías de Ockham y las descripciones de Russell. Esta última es compatible y da solución en parte a la cuestión planteada de la referencia vacía de términos universales. El desarrollo de este trabajo monográfico se ha dividido en tres partes. En la primera se hace una reconstrucción sistemática del problema filosófico de los universales, enfatizando la cuestión de la referencia de dichos términos, tal y como se plantea en la teoría de la significación expuesta en la Suma de lógica de Ockham. En la segunda se hace un análisis de los términos universales y las proposiciones, tomando como base la obra La filosofía del atomismo lógico de Russell. Por último, se examinan los términos universales con referencia vacía que forman parte de las proposiciones de la forma de “un tal y tal” y que constituyen la solución que da Russell en su Teoría de las descripciones al problema planteado en la Teoría de la suposición de Ockham.