No description available.

En este trabajo desarrollaremos dos aspectos de Dinámica: El primero que trata sobre la dinámica de funciones que van de un intervalo en si mismo, introduciremos las cadenas de Markov y algunos resultados previos para alcanzar al final el teorema de Sharkovsky demostrado con grafos, el cual lo haremos en la primera parte de este trabajo. La segunda parte de este trabajo tratará sobre la teoría ergódica, nos enfocaremos en dos de los teoremas fundamentales que son el teorema de recurrencia de Poincaré y el teorema de Birkhoff. / Tesis

Esta tesis describe el modo en el que distintas técnicas de reflectividad pueden ser empleadas para el desarrollo de un sistema computacional de programación extensible y adaptable dinámicamente, sin sufrir dependencia alguna de un lenguaje de programación específico, y empleando para ello una plataforma virtual heterogénea.Se diseña una máquina abstracta, de tamaño y complejidad semántica reducida, como la raíz computacional del sistema, que otorga primitivas básicas de reflectividad. Tanto su tamaño restringido como su capacidad introspectiva, la hacen susceptible de ser implantada en entornos computacionales heterogéneos, constituyendo adicionalmente un entorno computacional independiente de la plataforma.Haciendo uso de las facultades reflectivas ofrecidas por la máquina abstracta su nivel de abstracción computacional podrá ser extendido dinámicamente, utilizando para ello su propio lenguaje de programación sin necesidad de modificar la implementación reducida de la máquina virtual, y, por tanto, sin perder portabilidad de su código. El empleo de su capacidad extensible se utilizará, a modo de ejemplo, en el diseño de abstracciones propias de persistencia, distribución, planificación controlada de hilos y recolección de basura. Todas las abstracciones ofrecidas mediante la extensión de la plataforma, utilizando su propio lenguaje, son adaptables para cualquier aplicación, en tiempo de ejecución.Se diseña un sistema de procesamiento genérico de lenguajes disponiendo de las características reflectivas de la plataforma, dando lugar a una independencia global del lenguaje de programación seleccionado por el programador. Cualquier aplicación podrá interactuar con otra bajo el modelo computacional de objetos ofrecido por la máquina abstracta, independientemente del lenguaje en el que hayan sido creadas.La flexibilidad dinámica del sistema creado es superior, tanto en expresividad como en el espectro de facetas computacionales adaptables, a los actualmente existentes. La estructura de las aplicaciones en ejecución, y la especificación léxica, sintáctica y semántica del lenguaje de programación, son parámetros configurables dinámicamente, tanto por la propia aplicación -en cualquiera que sea su lenguaje de programación-, como por cualquier otro programa. El sistema reflectivo ofrecido no posee restricción alguna respecto a las características computacionales a configurar, ni respecto al modo de expresar su adaptación. Toda la flexibilidad ofrecida es dinámica, no siendo necesario finalizar la ejecución de una aplicación para su configuración, pudiéndose adaptar ésta a requisitos surgidos dinámicamente, imprevisibles en tiempo de desarrollo.

Uppgiften som beställdes av Abstracta gick ut på att omkonstruera ett rackskåp i produktserien Enjoy. En hissanordning avsedd för att höja och sänka samt dölja en Platt-TV skall utvecklas till detta skåp. Slutprodukten skall användas i konferensmiljö där man är i behov av digital bildvisning. Skåp och hisslösning skall inge en viss känsla av stil och elegans då dessa ofta används i kontakt med eventuella kunder. Då skåpet härstammar ur produktserien Enjoy, vilken har en viss form och stil, måste även den nya lösningen uttrycka samma känsla. Några av kraven som ställs för att uppnå denna känsla är bland annat att TV-hissen skall arbeta med en jämn och behaglig hastighet samt att luckan för upphissningen skall öppnas på ett kontrollerat och stilfullt vis. Hissanordningen skall även vara säker och pålitlig samt ha en tyst arbetsgång.

<p>Uppgiften som beställdes av Abstracta gick ut på att omkonstruera ett rackskåp i produktserien Enjoy. En hissanordning avsedd för att höja och sänka samt dölja en Platt-TV skall utvecklas till detta skåp. Slutprodukten skall användas i konferensmiljö där man är i behov av digital bildvisning. Skåp och hisslösning skall inge en viss känsla av stil och elegans då dessa ofta används i kontakt med eventuella kunder. Då skåpet härstammar ur produktserien Enjoy, vilken har en viss form och stil, måste även den nya lösningen uttrycka samma känsla. Några av kraven som ställs för att uppnå denna känsla är bland annat att TV-hissen skall arbeta med en jämn och behaglig hastighet samt att luckan för upphissningen skall öppnas på ett kontrollerat och stilfullt vis. Hissanordningen skall även vara säker och pålitlig samt ha en tyst arbetsgång.</p>

Un área relativamente nueva en la Inteligencia Artificial es la argumentación rebatible, la cual modela el proceso de razona-miento en el cual se producen y se evalúan argumentos a fa-vor y en contra de una proposición para verificar la aceptabi-lidad de dicha proposición. Se han definido diferentes sistemas formales para argumentación rebatible como una forma de representar las características más interesantes del razona-miento de sentido común. La idea central de estos sistemas radica en que una determinada propuesta será aceptada, si el argumento que le da soporte se considera aceptable luego de realizado cierto análisis. Este análisis se realiza teniendo en cuenta a todos los contraargumentos disponibles.Por lo tanto, en el conjunto de los argumentos del sistema, algunos argu-mentos serán aceptables o justificados o garantizados, mien-tras que otros no lo serán. De esta manera, la argumentación rebatible permite razonar con información incompleta e incier-ta, y define una manera adecuada de razonar para el manejo de la inconsistencia presente en los sistemas basados en el conocimiento. Los sistemas argumentativos abstractos son formalismos para lograr razonamiento rebatible donde algunas componentes se mantienen sin especificar. En ellos la principal abstracción está en la estructura de los argumentos. En este tipo de sistemas, el énfasis está puesto en dilucidar cuestio-nes semánticas, tales como encontrar el conjunto de argu-mentos aceptados. La mayoría de ellos está basado en la no-ción abstracta de ataque, representada como una relación entre los miembros del conjunto de argumentos disponibles. Si dos argumentos (A; B) forman parte de una relación de ataque, la aceptación del argumento B depende de la acep-tación de A pero no al revés, i:e:, resulta necesario determi-nar si A es aceptado o no para aceptar a B, pero la aceptabi-lidad de A no depende de la aceptabilidad del argumento B. Aunque en la literatura se encuentran varios marcos de argu-mentación (o frameworksen Inglés) ninguno de ellos incluye la noción de tiempo, a pesar de tratarse de un concepto cotidia-no en el razonamiento de sentido común. La representación del tiempo es una tarea difícil pero necesaria para la resolu-ción de problemas de diversas tareas, tales como Basede Datos, Simulación, Sistemas Expertos e Inteligencia Artificial. El objetivo principal de esta Tesis es brindar una formalización para lograr razonamiento argumentativo temporal. Para ello se tomará como punto de partida alguno de los diversos sistemas argumentativos con diferentes grados de abstracción de-sarrollados. El más abstracto de todos es el sistema desarrolla-do por Dung, que ha sido el marco inicial para muchos otros desarrollos. El framework abstracto de Dung será el sistema de partida elegido para extenderlo y lograr el objetivo plantea-do. En esta Tesis se presentan dos sistemas argumentativos abstractos. Ambos se encuentran basados en el sistema argu-mentativo de Dung y lo extienden agregándole un dimensión temporal. El tiempo aparece asociado a los argumentos indi-cando cuando los mismos están disponibles o son relevantes como piezas de razonamiento. Los sistemas desarrollados utilizan la misma primitiva de representación pero sobre es-tructuras temporales diferentes y adoptan estrategias de disponibilidad con diferentes grados de exibilidad. Los resulta-dos obtenidos permiten contar con la caracterización formal de los sistemas y su vinculación al sistema clásico. En parti-cular, se definen semánticas para los sistemas argumenta-tivos, basadas en las semanticas tradicionales del área; com-parándose las mismas con las definidas para el framework de Dung. Estos resultados están vinculados a áreas relaciona-das de las ciencias de la computación tales como argumen-tación, razonamiento temporal, y razonamiento de sentido común. / Argumentation is a relatively new area in Artificial Intelligence, that models the process of reasoning in which arguments for and against a proposal are analyzed in order to verify the acceptability of the proposal. Diferent formal systems of de-feasible argumentation have been defined as forms of repre-senting interesting characteristics of practical or common sen-se reasoning. The central idea in these systems is that a pro-position will be accepted if there exists an argument that supports it, and this argument is regarded as acceptable with respect to an analysis performed considering all the available counterarguments. Therefore, in the set of arguments of the system, some of them will be acceptable or justified or warranted arguments, while others will be not. In this manner, defeasible argumentation allows reasoning with incomplete and uncertain information and is suitable to handle inconsis-tency in knowledge-based systems. Abstract argumentation systems are formalisms for defeasible reasoning where some components remain unspecified, being the structure of argu-ments the main abstraction. In this type of systems, the emphasis is put on elucidating semantic questions, such as finding the set of accepted arguments. Most of them are ba-sed on the single abstract notion of attack represented as a relation among the set of available arguments. If two argu-ments (A; B) are in the attack relation then in order to accept B it is necessary to find out if A is accepted or not, but not the other way around. From that relation, several argument extensions are dened as sets of possible accepted arguments. Although there are several argumentation frame-works in the literature, none of them includes the notion of time, which is an everyday factor of common sense reaso-ning.Time representation involves a hard but necessary task in knowledge representation and reasoning. Application in several areas required time formalizations, among them we can mention Data Bases, Simulation, Expert Systems and Artificial Intelligence. The main objective of this Thesis is to provide an abstract formalization to address temporal argumentative rea-soning. In order to achieve this objective one of the several argumentative frameworks developed is used as starting point. The most abstract of all was developed by Dung, and precisely for this feature has been the starting point for many other developments. The abstract framework of Dung is the chosen system for being extended in order to achieve our objective. In this Thesis we present two abstract argumenta-tive systems called Timed Argumentative Frameworks. Both are based on Dung argumentative system and are extended to include a time dimension. Time is associated to arguments, indicating when they are available or are relevant as part of reasoning. These systems use the same primitive for time representation but different temporal structures. The strate-gies for representing the availability of arguments have different degrees of exibility. We define several semantic notions for these novel timed argumentation systems. The semantics are based on the traditional, classic ones develo-ped in the area. these new semantics are compared with those dened for the basic framework of Dung. These results are linked to related areas of computer science such as reaso-ning, temporal reasoning and common sense reasoning.

En este trabajo desarrollaremos dos aspectos de Dinámica: El primero que trata sobre la dinámica de funciones que van de un intervalo en si mismo, introduciremos las cadenas de Markov y algunos resultados previos para alcanzar al final el teorema de Sharkovsky demostrado con grafos, el cual lo haremos en la primera parte de este trabajo. La segunda parte de este trabajo tratará sobre la teoría ergódica, nos enfocaremos en dos de los teoremas fundamentales que son el teorema de recurrencia de Poincaré y el teorema de Birkhoff. / Tesis

Aborda el análisis de la obra pictórica abstracta de Charo Noriega como también, aspectos de su vida y prolífica trayectoria como referente importante del arte peruano contemporáneo del último tercio del siglo XX, y su constante labor artística. El problema general de investigación es analizar los factores que inciden en la obra pictórica abstracta de Charo Noriega y establecer la importancia de la artista para el arte peruano. Los problemas específicos planteados son identificar el aporte de su técnica pictórica abstracta, y determinar cómo el material influye en el resultado de su obra. La importancia de la tesis radica en demostrar las particularidades y los aportes de la obra de Charo Noriega. Para ello se aplicará el análisis plástico-formal a una selección de obras de su pintura abstracta del período en estudio, en el cual se observa el manejo técnico y los cambios estilísticos, pues durante ese período realizó aproximadamente 204 pinturas, de las cuales 129 son abstractas, mientras que las restantes 75 son figurativas. Busca establecer las características de la obra abstracta de la artista a partir del trabajo de aplicación del color y el empleo de la variedad de herramientas que usa, las mismas que, además de la elección del color y modo de aplicación, contribuyen al resultado final, el que también depende del material empleado en los soportes y herramientas preparadas para ello (cartones, lienzos, reglas de albañil metálicas como herramientas, que luego ella misma confeccionó con otros materiales). Asimismo, la investigación busca aclarar la obra abstracta de Noriega, pues no existe un trabajo de análisis formal precedente; ni tampoco se ha tratado debidamente su trayectoria individual al margen de su participación en el colectivo E.P.S. Huayco de 1979 a 1981. La hipótesis que se plantea sostiene que la obra abstracta de Charo Noriega es determinar la apropiación de estilos europeos y de diseños nativos para elaborar una propuesta personal en función de sus intereses temáticos y estéticos, según ciertos períodos coyunturales, sean internos o externos. Se han empleado los siguientes ejes metodológicos: el método histórico crítico en lo relativo al análisis de las fuentes. Asimismo, se han adaptado algunos aspectos del método biográfico de Giorgio Vasari para tratar lo referente a la vida y trayectoria de la artista, pues se ha tomado como fuente directa la información proporcionada en base a entrevistas realizadas a Charo Noriega entre los años 2014 al 2016, donde se abordaron aspectos biográficos de su vida personal, trayectoria y producción artística. Del mismo modo, la aplicación del Método Sistema Forma de Oscar Morriña, para analizar los aspectos plásticos de su pintura abstracta. / Tesis

El objetivo principal de esta tesis doctoral es estudiar el tipo de Arte que hemos denominado "Escultura Matemática", y clasificar ésta de forma tan exhaustiva y completa como sea posible. No existe en la literatura científica ningún estudio que haya conseguido clasificar desde el punto de vista matemático este tipo de escultura. Esto nos llevó a elegir el desarrollo de esta taxonomía como objetivo fundamental de esta investigación. Además, ello le confiere la característica de innovación que se exige a todas las tesis doctorales. Empezamos por investigar de forma general los antecedentes históricos de las relaciones entre las Matemáticas y el Arte, y en particular entre la Escultura y las Matemáticas. Para lograrlo hemos efectuado un análisis histórico sistemático. A continuación y para desarrollar la taxonomía de un conjunto de elementos el primer paso es definir los objetos que se incluyen. Para este fin hemos tenido que definir el término,"Escultura Matemática". Pertenecen a esta tipología todos aquellos trabajos escultóricos en los que en su concepción, diseño, desarrollo o ejecución resulta necesaria la utilización de las Matemáticas. Estas características pueden variar desde las relacionadas con la geometría más sencilla, hasta la geometría no euclidiana o la topología más compleja. Por otro lado, creemos que el mejor criterio para realizar una estructura de la clasificación de la Escultura Matemática será plantear como grupos principales, diferentes áreas de las Matemáticas, y subdividir éstos, a su vez, según los conceptos matemáticos más importantes utilizados en los diferentes tipos de diseño de obras escultóricas. Los grupos principales que hemos establecido son: Escultura Geométrica, Escultura con Conceptos de Cálculo, Escultura con Conceptos de Álgebra, Escultura Topológica y Escultura con Conceptos Matemáticos Varios. El principal interés de esta investigación es ayudar a formalizar el estudio de la Escultura Matemática, lo que creemos que fomenta / Zalaya Baez, R. (2005). Escultura matemática: definición, antecedentes en la historia del arte, desarrollo, perspectivas de evolución y clasificación por conceptos matemáticos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2661 / Palancia

A proposition ontology occupies a potentially rich and foundational place in a good deal of contemporary philosophical theorizing. Some of the biggest roadblocks to a wider acceptance and employment of propositions have been legitimate worries about their nature, or ontological "explanatory" power of theories that employ them. This dissertation attempts to understand and construct a deflationary or minimalist understanding of the notion of a proposition and its theoretical roles. On the basis of this understanding, following Stephen Schiffer (2003), I attempt to construct an ontology of propositions -focusing on general propositions- which avoids or dissolves the most pressing worries about their ontological nature, and the epistemological and explanatory statuses of propositions. In chapter one, I discuss the primary theoretical motivations for positing propositions, and argue for a general set of ontological constraints that fall out of a consideration of entities posited according to these motivations. In chapter two, after arguing that propositions are substantially ontologically independent of mind and language, I argue that propositions are conceptually mind- dependent, but that conceptual dependence of this kind does not amount to any sort of ontological dependence. In chapter three, drawing heavily on the work of Stephen Schiffer (2003), I substantially address the epistemological worries about propositions, arguing that propositions are pleonastic entities whose natures and existence we can know simply by reflecting on our proposition- introducing linguistic practices. In chapter four, I argue that propositions may or may not, in virtue of their status as pleonastic entities, play any substantial explanatory role, but that by utilizing the notion of a proposition, which, according to the pleonastic conception of them, guarantees their existence independent of our practices, is useful and perhaps indispensable to certain of our communicative and epistemic practices. Our propositional linguistic practices, involving essentially our reference to propositions, are thus pragmatically justified.