Reuse and integration of specification logics: the hybridisation perspective

Hybridisation is a systematic process along which the characteristic features of hybrid logic, both at the syntactic and the semantic levels, are developed on top of an arbitrary logic framed as an institution. It also captures the construction of first-order encodings of such hybridised institutions into theories in first-order logic. The method was originally developed to build suitable logics for the specification of reconfigurable software systems on top of whatever logic is used to describe local requirements of each system’s configuration. Hybridisation has, however, a broader scope, providing a fresh example of yet another development in combining and reusing logics driven by a problem from Computer Science. This paper offers an overview of this method, proposes some new extensions, namely the introduction of full quantification leading to the specification of dynamic modalities, and exemplifies its potential through a didactical application. It is discussed how hybridisation can be successfully used in a formal specification course in which students progress from equational to hybrid specifications in a uniform setting, integrating paradigms, combining data and behaviour, and dealing appropriately with systems evolution and reconfiguration.

A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Specification of a smart meter/actuator description mechanism & development of a mobile application

Home Automation holds the potential of realizing cost savings for end users while reducing the carbon footprint of domestic energy consumption. Yet, adoption is still very low. High cost of vendor-supplied home automation systems is a major prohibiting factor. Open source systems such as FHEM, Domoticz, OpenHAB etc. are a cheaper alternative and can drive the adoption of home automation. Moreover, they have the advantage of not being limited to a single vendor or communication technology which gives end users flexibility in the choice of devices to include in their installation. However, interaction with devices having diverse communication technologies can be inconvenient for users thus limiting the utility they derive from it. For application developers, creating applications which interact with the several technologies in the home automation systems is not a consistent process. Hence, there is the need for a common description mechanism that makes interaction smooth for end users and which enables application developers to make home automation applications in a consistent and uniform way. This thesis proposes such a description mechanism within the context of an open source home automation system – FHEM, together with a system concept for its application. A mobile application was developed as a proof of concept of the proposed description mechanism and the results of the implementation are reflected upon.

A Coopetition Space for Complex Product Specification

Part 3: Product-Service Systems

Equilibrium profiles of liquids in tilted Taylor-Hauksbee cells

In this work we study theoretically and experimentally the equilibrium profiles attained under spontaneous capillary rise of viscous liquids in the wedge-shaped narrow gap between two vertical plates intersecting at a tight angle α<<1. We contrast the differences among the case with vertical edge and those in which the arista is tilted to the vertical. Our theoretical description agrees well with experimental data for several analyzed inclinations.

Una Epistemología de la matematización del movimiento: caso de predicción y variación con la serie de Taylor y diferencias finitas

El estudio de predicción y variación de R. Cantoral (2001), así como la evolución a través de los marcos epistémícos del movimiento de: Aristóteles, Galileo y Newton (de la predicción de un estado conociendo un estado de facto Muñoz, 2000), proporcionan la base epistemológica para una epistemología inicial de la matematización del movimiento, y la búsqueda de los mecanismos de transición del binomio de Newton a la serie de Taylor; para ello revisamos textos antiguos, artículos relacionados con la investigación y textos escolares vigentes. Lo anterior nos proporcionó referentes para analizar la construcción de significados con los estudiantes de la carrera de Ingeniería Civil, así como incorporar contextos físicos donde las estrategias vertidas por los estudiantes para resolver problemas propios de la física, son de naturaleza tal que las ideas de cambio y variación están presentes (Solís, 1999). Nuestros resultados permitirán que los mecanismos de transición entre el binomio de Newton y la serie de Taylor profundicen las cuestiones teóricas y metodológicas para establecer la reorganización del discurso matemático escolar desde la matematización del movimiento y considerando como eje organizador la noción de predicción.

Testing the link specification in binary choice models. A semiparametric approach.

Doutoramento em Matemática.

La escritora panameña Melanie Taylor Herrera ganó el Premio Centroamericano de Cuento “Rafaela Contreras”, 2009

Con su obra titulada Camino a Mariato, la escritora Melanie Taylor Herrera fue la ganadora del Premio Centroamericano de Cuento “Rafaela Contreras” del año 2009. Dicho premio lo otorga la Asociación Nicaragüense de Escritoras (ANIDE). La obra de Melanie consta de 100 páginas y fue escogida por el jurado por hunanimidad. El Premio Rafaela Contreras promueve la literatura escrita por mujeres.

Ten Year Study on Water Flushing Times and Water Quality in Southern Taylor Slough, Everglades National Park, FL

The purpose of this research was to investigate the effects of wetland restoration on the water balance, flushing time, and water chemistry of southern Taylor Slough, a major water way in Everglades National Park. Water balance and flushing time equations were calculated on a monthly time step from 2001 – 2011. Water chemistry of major ions and nutrients were analyzed and correlated with water flushing times. Results showed that evapotranspiration followed by water volume had the greatest influence on flushing time. The flushing times varied between 3 and 78 days, with longer times observed between October and December, and the shorter times between March and May. Ion concentrations at the coastal areas decreased with increased flushing times. Increased surface water inflow that resulted from restoration projects and water management changes were productive in the rainy season and should result in increased flushing times and decreased ion concentrations in Taylor Slough.

Charles Taylor et la thèse des « langages plus subtils »

La thèse des « langages plus subtils » (subtler languages) constitue l’une des pièces maîtresses de la philosophie herméneutique de Charles Taylor. Elle nous situe à l’intersection de ce qu’il caractérise après Isaiah Berlin comme le tournant « expressiviste » du XVIIIe siècle (Herder, Hamann, Humboldt) ainsi que du tournant ontologique de l’herméneutique contemporaine (Heidegger, Gadamer, Ricoeur). Plus précisément, cette thèse permet d’expliquer pourquoi le tournant ontologique de l’herméneutique ne nous conduit pas au-delà de la tradition expressiviste, mais demeure un tournant au sein même de l’expressivisme. Notre objectif est de montrer, en ce sens, que la « subtilité » spécifique des langages philosophiques modernes devrait être comprise chez Taylor à partir de son interprétation originale de la sécularisation de l’occident chrétien.

Technical report specification, mark scheme

Specification for technical report, mark scheme. A template for a technical report is found at http://www.edshare.soton.ac.uk/14581

Charles Taylor et la thèse des « langages plus subtils »

La thèse des « langages plus subtils » (subtler languages) constitue l’une des pièces maîtresses de la philosophie herméneutique de Charles Taylor. Elle nous situe à l’intersection de ce qu’il caractérise après Isaiah Berlin comme le tournant « expressiviste » du XVIIIe siècle (Herder, Hamann, Humboldt) ainsi que du tournant ontologique de l’herméneutique contemporaine (Heidegger, Gadamer, Ricoeur). Plus précisément, cette thèse permet d’expliquer pourquoi le tournant ontologique de l’herméneutique ne nous conduit pas au-delà de la tradition expressiviste, mais demeure un tournant au sein même de l’expressivisme. Notre objectif est de montrer, en ce sens, que la « subtilité » spécifique des langages philosophiques modernes devrait être comprise chez Taylor à partir de son interprétation originale de la sécularisation de l’occident chrétien.

Audit report on Taylor County, Iowa for the year ended June 30, 2016

Audit report on Taylor County, Iowa for the year ended June 30, 2016