Generative Temporal Planning with Complex Processes

Autonomous vehicles are increasingly being used in mission-critical applications, and robust methods are needed for controlling these inherently unreliable and complex systems. This thesis advocates the use of model-based programming, which allows mission designers to program autonomous missions at the level of a coach or wing commander. To support such a system, this thesis presents the Spock generative planner. To generate plans, Spock must be able to piece together vehicle commands and team tactics that have a complex behavior represented by concurrent processes. This is in contrast to traditional planners, whose operators represent simple atomic or durative actions. Spock represents operators using the RMPL language, which describes behaviors using parallel and sequential compositions of state and activity episodes. RMPL is useful for controlling mobile autonomous missions because it allows mission designers to quickly encode expressive activity models using object-oriented design methods and an intuitive set of activity combinators. Spock also is significant in that it uniformly represents operators and plan-space processes in terms of Temporal Plan Networks, which support temporal flexibility for robust plan execution. Finally, Spock is implemented as a forward progression optimal planner that walks monotonically forward through plan processes, closing any open conditions and resolving any conflicts. This thesis describes the Spock algorithm in detail, along with example problems and test results.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

Reasoning about Temporal Context using Ontology and Abductive Constraint Logic Programming

The underlying assumptions for interpreting the meaning of data often change over time, which further complicates the problem of semantic heterogeneities among autonomous data sources. As an extension to the COntext INterchange (COIN) framework, this paper introduces the notion of temporal context as a formalization of the problem. We represent temporal context as a multi-valued method in F-Logic; however, only one value is valid at any point in time, the determination of which is constrained by temporal relations. This representation is then mapped to an abductive constraint logic programming framework with temporal relations being treated as constraints. A mediation engine that implements the framework automatically detects and reconciles semantic differences at different times. We articulate that this extended COIN framework is suitable for reasoning on the Semantic Web.

The Influence of Adjacent Segment on the Reliability of Cu Dual Damascene Interconnects

Three terminal ‘dotted-I’ interconnect structures, with vias at both ends and an additional via in the middle, were tested under various test conditions. Mortalities (failures) were found in right segments with jL value as low as 1250 A/cm, and the mortality of a dotted-I segment is dependent on the direction and magnitude of the current in the adjacent segment. Some mortalities were also found in the right segments under a test condition where no failure was expected. Cu extrusion along the delaminated Cu/Si₃N₄ interface near the central via region was believed to cause the unexpected failures. From the time-to-failure (TTF), it is possible to quantify the Cu/Si₃N₄ interfacial strength and bonding energy. Hence, the demonstrated test methodology can be used to investigate the integrity of the Cu dual damascene processes. As conventionally determined critical jL values in two-terminal via-terminated lines cannot be directly applied to interconnects with branched segments, this also serves as a good methodology to identify the critical effective jL values for immortality.

Valoración de una herramienta de apoyo a la orientación temporal en aulas de educación especial.

Seleccionado en la convocatoria: Concurso de proyectos de cooperación en materia de investigación entre departamentos universitarios y departamentos de Institutos de Educación Secundaria o equipos de personal docente, Gobierno de Aragón 2010-2011. Resumen basado en el del autor

Bullying and cyberbullying : Overlapping and predictive value of the co-occurrence

Resumen tomado de la publicaci??n

Variació temporal de paràmetres de qualitat del sòl ocasionada per l’ús i abandó agrícola del Cap de Creus

Estudi i avaluació de les principals propietats del sòl i la dinàmica erosiva relacionades amb l’ús del sòl i l’abandó agrícola en diferents ambients de la península del Cap de Creus. Per dur a terme aquest estudi s’han seleccionat 7 ambients diferents representatius d’una seqüència d’usos fins l’abandó en diferents etapes de successió vegetal. Els ambients són diferenciats entre sòls cultivats (vinya i olivera), sòls forestals (sureda i pineda), pastures (prats) i matollars (Cistus monspeliensis i d’Erica arborea) respectivament cremat reiteradament i no cremat durant 25 anys. En cada ambient s’han instal.lat parcel.les d’erosió que permeten avaluar la producció de sediments i la mobilització de nutrients (carboni i nitrogen) durant els episodis de precipitació que generen escolament superficial

Efectos de la presi??n temporal sobre la cohesi??n grupal en diferentes tipos de tareas y en diferentes canales de comunicaci??n

Resumen tomado de la publicaci??n

Modeling of hybrid systems by piecewise decomposition

Piecewise linear models systems arise as mathematical models of systems in many practical applications, often from linearization for nonlinear systems. There are two main approaches of dealing with these systems according to their continuous or discrete-time aspects. We propose an approach which is based on the state transformation, more particularly the partition of the phase portrait in different regions where each subregion is modeled as a two-dimensional linear time invariant system. Then the Takagi-Sugeno model, which is a combination of local model is calculated. The simulation results show that the Alpha partition is well-suited for dealing with such a system

Spatial and Temporal Hypermedia

Overview of early work on Spatial and Temporal hypermeida

Decreto rectoral No. 1110 : Que el doctor HERNÁN JARAMILLO SALAZAR, Decano de la Facultad de Economía estará fuera del país, por razones de trabajo, entre el 19 y 29 de mayo. Que, a fin de que la Decanatura de Economía esté debidamente atendida, es necesario proveer un encargo temporal

Decano de la Facultad de Economía estará fuera del país, por razones de trabajo, Que, a fin de que la Decanatura de Economía esté debidamente atendida, es necesario proveer un encargo temporal.

Análisis de la actuación de la Autoridad Ejecutiva Temporal de las Naciones Unidas – (UNTEA) en la protección de los derechos políticos de los grupos vulnerables. Estudio de caso: Adhesión de Papúa Occidental a Indonesia (1962-1969)

Estudio de caso en el análisis de la situación afrontada por la población de Papúa Occidental durante el periodo de 1962-1969, época en la que la nueva República de Indonesia y Holanda se disputaban la soberanía sobre el territorio papuano. Dicha disputa tuvo lugar durante la época de Guerra Fría, lo que llevó a que Estados Unidos junto con sus aliados en la región y la Unión Soviética intervinieran en él. Finalmente, Estados Unidos teniendo en cuenta sus intereses favoreció a la República de Indonesia y obligó a Holanda firmar el Acuerdo de Nueva York, en el que se establecía que sería la Autoridad Ejecutiva Temporal de las Naciones Unidas quien administrara y preparara el territorio para un futuro Acto de Libre Elección. En cualquiera que fuese el panorama, las Naciones Unidas no cumplieron con lo establecido en el Acuerdo lo que llevó a que fueran condescendientes con todas las peticiones indonesias sin tener en cuenta los deseos y los derechos de la población papuana, violándose su derecho de auto-determinación de los pueblos.