A people-oriented paradigm for smart cities

Most works in the literature agree on considering the Internet of Things (IoT) as the base technology to collect information related to smart cities. This information is usually offered as open data for its analysis, and to elaborate statistics or provide services which improve the management of the city, making it more efficient and more comfortable to live in. However, it is not possible to actually improve the quality of life of smart cities’ inhabitants if there is no direct information about them and their experiences. To address this problem, we propose using a social and mobile computation model, called the Internet of People (IoP) which empowers smartphones to recollect information about their users, analyze it to obtain knowledge about their habits, and provide this knowledge as a service creating a collaborative information network. Combining IoT and IoP, we allow the smart city to dynamically adapt its services to the needs of its citizens, promoting their welfare as the main objective of the city.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A Formal Analysis of a Business Contract Language

This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language, called Business Contract Language (BCL), previously developed to express contract conditions for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL

Soliton model for proton conductivity in Langmuir films

A soliton model for proton conductivity in Langmuir films is presented. The model contains three real scalar fields describing the hydrogen involved in the conduction, the hydrophilic head of the Langmuir film, and the water. Soliton solutions that describe proton motion along the hydrogen bonds are found. Under compression of the film, the distance between the minima of the proton potential and the strength of the hydrogen bonds between the film molecule and the water are changed. Such changes increase the probability of soliton creation. The model presented allows proton conductivity data in Langmuir films to be explained.Comment: Revtex, 07 pages, 2 eps figures, to be published in Chem. Phys. Let

Self-diffusion in granular gases

The coefficient of self-diffusion for a homogeneously cooling granular gas changes significantly if the impact-velocity dependence of the restitution coefficient $\epsilon$ is taken into account. For the case of a constant $\epsilon$ the particles spread logarithmically slow with time, whereas the velocity dependent coefficient yields a power law time-dependence. The impact of the difference in these time dependences on the properties of a freely cooling granular gas is discussed.Comment: 6 pages, no figure

Artificial Intelligence

Contains research objectives and reports on five research projects.Computation Center, M.I.T

Automatic generation of hardware/software interfaces

Enabling new applications for mobile devices often requires the use of specialized hardware to reduce power consumption. Because of time-to-market pressure, current design methodologies for embedded applications require an early partitioning of the design, allowing the hardware and software to be developed simultaneously, each adhering to a rigid interface contract. This approach is problematic for two reasons: (1) a detailed hardware-software interface is difficult to specify until one is deep into the design process, and (2) it prevents the later migration of functionality across the interface motivated by efficiency concerns or the addition of features. We address this problem using the Bluespec Codesign Language~(BCL) which permits the designer to specify the hardware-software partition in the source code, allowing the compiler to synthesize efficient software and hardware along with transactors for communication between the partitions. The movement of functionality across the hardware-software boundary is accomplished by simply specifying a new partitioning, and since the compiler automatically generates the desired interface specifications, it eliminates yet another error-prone design task. In this paper we present BCL, an extension of a commercially available hardware design language (Bluespec SystemVerilog), a new software compiling scheme, and preliminary results generated using our compiler for various hardware-software decompositions of an Ogg Vorbis audio decoder, and a ray-tracing application.National Science Foundation (U.S.) (NSF (#CCF-0541164))National Research Foundation of Korea (grant from the Korean Government (MEST) (#R33-10095)

Events, Neural Systems and Time Series

Different types of events occurring in computer, neural, business, and environmental systems are discussed. Though events in these different domains do differ, there are also important commonalities. We discuss the issues arising from automating complex event handling systems

Expressing Confidence in Models and in Model Transformation Elements.

The expression and management of uncertainty, both in the information and in the operations that manipulate it, is a critical issue in those systems that work with physical environments. Measurement uncertainty can be due to several factors, such as unreliable data sources, tolerance in the measurements, or the inability to determine if a certain event has actually happened or not. In particular, this contribution focuses on the expression of one kind of uncertainty, namely the confidence on the model elements, i.e., the degree of belief that we have on their occurrence, and on how such an uncertainty can be managed and propagated through model transformations, whose rules can also be subject to uncertainty