Some techniques for automated, resource-aware distributed and mobile computing in a multi-paradigm programming system

Distributed parallel execution systems speed up applications by splitting tasks into processes whose execution is assigned to different receiving nodes in a high-bandwidth network. On the distributing side, a fundamental problem is grouping and scheduling such tasks such that each one involves sufñcient computational cost when compared to the task creation and communication costs and other such practical overheads. On the receiving side, an important issue is to have some assurance of the correctness and characteristics of the code received and also of the kind of load the particular task is going to pose, which can be specified by means of certificates. In this paper we present in a tutorial way a number of general solutions to these problems, and illustrate them through their implementation in the Ciao multi-paradigm language and program development environment. This system includes facilities for parallel and distributed execution, an assertion language for specifying complex programs properties (including safety and resource-related properties), and compile-time and run-time tools for performing automated parallelization and resource control, as well as certification of programs with resource consumption assurances and efñcient checking of such certificates.

The role of computational logic as a hinge paradigm among deduction, problem solving, programming, and parallelism

This paper presents some brief considerations on the role of Computational Logic in the construction of Artificial Intelligence systems and in programming in general. It does not address how the many problems in AI can be solved but, rather more modestly, tries to point out some advantages of Computational Logic as a tool for the AI scientist in his quest. It addresses the interaction between declarative and procedural views of programs (deduction and action), the impact of the intrinsic limitations of logic, the relationship with other apparently competing computational paradigms, and finally discusses implementation-related issues, such as the efficiency of current implementations and their capability for efficiently exploiting existing and future sequential and parallel hardware. The purpose of the discussion is in no way to present Computational Logic as the unique overall vehicle for the development of intelligent systems (in the firm belief that such a panacea is yet to be found) but rather to stress its strengths in providing reasonable solutions to several aspects of the task.

The new cloud computing paradigm: the way to IT seen as a utility

In the present competitive environment, companies are wondering how to reduce their IT costs while increasing their efficiency and agility to react when changes in the business processes are required. Cloud Computing is the latest paradigm to optimize the use of IT resources considering ?everything as a service? and receiving these services from the Cloud (Internet) instead of owning and managing hardware and software assets. The benefits from the model are clear. However, there are also concerns and issues to be solved before Cloud Computing spreads across the different industries. This model will allow a pay-per-use model for the IT services and many benefits like cost savings, agility to react when business demands changes and simplicity because there will not be any infrastructure to operate and administrate. It will be comparable to the well known utilities like electricity, water or gas companies. However, this paper underlines several risk factors of the model. Leading technology companies should research on solutions to minimize the risks described in this article. Keywords - Cloud Computing, Utility Computing, Elastic Computing, Enterprise Agility

Foundations of a New Interaction Paradigm for Immersive 3D Multimedia

Immersion and interaction have been identified as key factors influencing the quality of experience in stereoscopic video systems. The work presented here aims to create a new paradigm for 3D Multimedia consumption exploiting these factors in order to increase user involvement. We use a 5-sided CAVETM environment to support 3D panoramic video reproduction, real-time insertion of synthetic objects into the three-dimensional scene and real-time user interaction with the inserted elements. In this paper we describe our system requirements, functionalities, conceptual design and preliminary implementation results emphasizing the most relevant challenges accomplished. The focus is on three main issues: the generation of stereoscopic video panoramas; the synchronous reproduction of immersive 3D video across multiple screens; and, the real-time insertion algorithm implemented for the integration of synthetic objects into the stereoscopic video. These results have been successfully integrated into the graphic engine managing the operation of the CAVETM infrastructure.

Applying the experimental paradigm to software engineering

En este keynote, la Prof. Juristo describe el paradigma experimental y cómo podría aplicarse a la ingeniería del software, destacando los desafíos de su aplicación y los logros conseguidos hasta el momento.

Functional Brain Networks: beyond the small-world paradigm

This contribution reviews the current state of art comprising the application of Complex Networks Theory to the analysis of functional brain networks. We briefly overview the main advances in this field during the last decade and we explain how graph analysis has increased our knowledge about how the brain behaves when performing a specific task or how it fails when a certain pathology arises. We also show the limitations of this kind of analysis, which have been a source of confusion and misunderstanding when interpreting the results obtained. Finally, we discuss about a possible direction to follow in the next years.

Toward a climate-dependent paradigm of ammonia emission & deposition.

Existing descriptions of bi-directional ammonia (NH3) land–atmosphere exchange incorporate temperature and moisture controls, and are beginning to be used in regional chemical transport models. However, such models have typically applied simpler emission factors to upscale the main NH3 emission terms. While this approach has successfully simulated the main spatial patterns on local to global scales, it fails to address the environment- and climate-dependence of emissions. To handle these issues, we outline the basis for a new modelling paradigm where both NH3 emissions and deposition are calculated online according to diurnal, seasonal and spatial differences in meteorology. We show how measurements reveal a strong, but complex pattern of climatic dependence, which is increasingly being characterized using ground-based NH3 monitoring and satellite observations, while advances in process-based modelling are illustrated for agricultural and natural sources, including a global application for seabird colonies. A future architecture for NH3 emission–deposition modelling is proposed that integrates the spatio-temporal interactions, and provides the necessary foundation to assess the consequences of climate change. Based on available measurements, a first empirical estimate suggests that 5°C warming would increase emissions by 42 per cent (28–67%). Together with increased anthropogenic activity, global NH3 emissions may increase from 65 (45–85) Tg N in 2008 to reach 132 (89–179) Tg by 2100.

Changing the paradigm: endoscopic video analysis and information extraction for safer surgeries

Background: Minimally invasive surgery creates two technological opportunities: (1) the development of better training and objective evaluation environments, and (2) the creation of image guided surgical systems.

Beyond the Regional Development Paradigm: The Limits of Transport-Based Policies in Spain

This paper reviews the transport and economic development trends for the last 20 years in Spain at a detailed (province or NUTS3) level. As Spain has sustained a significant transport investment effort in this period, with the support of EU funding, this review offers an excellent perspective to put some further light on how the transport-and-regional-development paradigm has shaped decision-making in the transport sector. The paper reviews changes in gross domestic product (GDP), population and motorway endowment for the 47 provinces in mainland Spain. Regional development trends seem to be closely associated to particular local conditions, not clearly associated to transport (motorway) infrastructure endowment. This is consistent with the fact that transport infrastructure has not generally been a critical bottleneck for trade and economic activity during this period. The paper concludes that, in general terms, transport infrastructure investment does not seem to be clearly associated to the otherwise substantial differences in regional development among Spanish mainland provinces during this period.

Collaborative Engineering Paradigm Applied to the Aerospace Industry

Airbus designs and industrializes aircrafts using Concurrent Engineering techniques since decades. The introduction of new PLM methods, procedures and tools, and the need to reduce time-to-market, led Airbus Military to pursue new working methods. Traditional Engineering works sequentially. Concurrent Engineering basically overlaps tasks between teams. Collaborative Engineering promotes teamwork to develop product, processes and resources from the conceptual phase to the start of the serial production. The CALIPSO-neo pilot project was launched to support the industrialization process of a medium size aerostructure. The aim is to implement the industrial Digital Mock-Up (iDMU) concept and its exploitation to create shop floor documentation. In a framework of a collaborative engineering strategy, the project is part of the efforts to deploy Digital Manufacturing as a key technology for the industrialization of aircraft assembly lines. This paper presents the context, the conceptual approach and the methodology adopted.

Neighbourhood mobility: a longgone Paradigm? Approaching "proximity" and "land use mix" using data from home-based surveys

Policies trying to increase walking within urban mobility modal split usually highlight the importance of the functional patterns and the environmental quality of the urban space as major drivers of citizens modal choices. Functional characteristics would be mainly associated to an appropriate mix of land uses within neighbourhoods, whereas environmental quality would be associated to the characteristics of urban spaces. The purpose of this research is threefold: first, to identify relevant proxy indicators, which could characterize pedestrian-friendly land use mix and environmental quality. Second, to assess, for both traits, existing disparities among neighbourhoods in a major metropolitan area. And finally, to explore the association between both indicators and children mobility patterns: according to their built environment, which neighbourhoods have a greater proportion of children and, how is their mobility? Using data from the 2004 household mobility survey in the 128 neighbourhoods of the municipality of Madrid, this paper concludes that potentially favourable conditions at the neighbourhood level seem to have only a modest influence in,mobility patterns , in terms of both, selection of closer destinations and a higher share of walking within modal split. The city s policy choices, with intensive investment in road and public transport infrastructure may explain why short-distance mobility is not as important as it could have been expected in those neighbourhoods with more pedestrian-friendly conditions. The metropolitan transport system is providing mobility conditions, which make far-away destinations attractive to most citizens.

Establishing a new paradigm for teaching mathematics at engineering schools

This paper analyzes an ideal model of teaching, thinking after 5-10 years in Universities in the world. We propose the collaborative work for a fruitful learning. According with that, we expose some of our previous projects in this area and some ideas for the ?global education?, focused on the teaching and learning of mathematics to engineering students. Furthermore we explain some of our initiatives for implementing the "Bologna process?. Aspects related to the learning and assessments will be analyzed. The establishment of the new teaching paradigm has to change the learning process and we will suggest some possible initiatives for adapting the learning to the new model. The paper ends by collecting some conclusions.

A novel energy-driven computing paradigm for e-health scenarios

A first-rate e-Health system saves lives, provides better patient care, allows complex but useful epidemiologic analysis and saves money. However, there may also be concerns about the costs and complexities associated with e-health implementation, and the need to solve issues about the energy footprint of the high-demanding computing facilities. This paper proposes a novel and evolved computing paradigm that: (i) provides the required computing and sensing resources; (ii) allows the population-wide diffusion; (iii) exploits the storage, communication and computing services provided by the Cloud; (iv) tackles the energy-optimization issue as a first-class requirement, taking it into account during the whole development cycle. The novel computing concept and the multi-layer top-down energy-optimization methodology obtain promising results in a realistic scenario for cardiovascular tracking and analysis, making the Home Assisted Living a reality.

Intermittent pluri-sink model and the emergence of complex heterogeneity patterns: a simple paradigm for explaining complexity in soil chemical distributions

The spatial complexity of the distribution of organic matter, chemicals, nutrients, pollutants has been demonstrated to have multifractal nature (Kravchenco et al. [1]). This fact supports the possibility of existence of some emergent heterogeneity structure built under the evolution of the system. The aim of this note is providing a consistent explanation to the mentioned results via an extremely simple model.

Las casualidades controladas : la primera visibilidad del cambio del paradigma moderno

Como no pocos proyectos, el origen de esta tesis es fruto de una casualidad. Hace unos años me topé en Londres, en la librería Walden Books del 38 de Harmood St., con una primera edición de la conocida monografía de Mies a cargo de Philip Johnson. El librito, en realidad catálogo de la exposición que en 1947 el MoMA de Nueva York dedicara a la obra de Mies Van der Rohe a los diez años del desembarco del arquitecto en Estados Unidos, tiene un tamaño de 10 x 7,5 pulgadas, es decir, la mitad del formato americano Crown (20x15 pulgadas), equivalente a 508 x 381 mm. Se imprimieron, en su primera tirada, editada por The Plantin Press, 12.000 ejemplares. Ese mismo año, con edición al cuidado de Reynal y Hitchcock, se publicaría la primera traducción al inglés de Cuando las catedrales eran blancas de Le Corbusier y una selección de poemas de Lorca, siete años después de su Poeta en Nueva York. En la monografía, en la página 109, aparece el conocido croquis de Mies Sketch for a glass house on a hillside. c. 1934, escasamente unas líneas, aunque precisas y llenas de matices, de la casa en una ladera que rápidamente nos remite a aquella primera propuesta de Saarinen para una casa en el aire, primero en 1941 en Pensilvania y después, en 1945, con Charles Eames, en Los Angeles, que nunca llegarían a construirse, sino en su aliteraciones posteriores realizadas por Harry Seidler (Julian Rose House, Wahroonga, Sydney, 1949), Philip Johnson (Leonhardt house, Long Island, Nueva York, 1956) o Craig Ellwood (Smith House, Crestwood Hills, 1958; Frank & Polly Pierson House, Malibú, 1962; Chamorro House, Hollywood Hills, 1963, o la serie Weekend House, con Gerald Horn, entre 1964 y 1970, hasta el magnífico Art Center College of Design de Pasadera, su puente habitado de 1977). El relato que da origen al texto discurre en un estricto período de tiempo, desde los primeros dibujos de la Case Study House nº8, dentro del programa promovido por John Entenza y su revista Arts & Architecture en California, realizados en el estudio de Saarinen en Bloomfield Hills, Michigan, hasta que el proyecto de la casa Eames finaliza cinco años después de acabar la obra en 1955, en la versión conocida, radicalmente distinta al proyecto original, cuando la pareja Charles y Ray Eames edita el corto House After Five Years of Living. La discusión original en torno a esta casita, o mejor, a las circunstancias, casualidades controladas, que rodean su construcción, se produce estrictamente cuando rastreamos aquellos invariantes que se mantienen en las dos versiones y las reconcilian. En este corto período de tiempo se producen en el proyecto una serie de decisiones que permiten descubrir, tanto en la forma como en el mismo proceso transformador del proyecto, en su obsesivo registro, en los nuevos referentes asumidos y propuestos, la primera visibilidad del cambio del paradigma moderno. Pero este momento germinal que cristaliza el paso a la postmodernidad no es inédito en la historia de la arquitectura americana. Así, el relato abre su ámbito temporal hasta un nuevo período de cincuenta años que arranca en 1893, año de la celebración en Chicago de la Exposición Internacional Colombina. En la White City de Hunt & McKim y del traidor Burham, Louis Sullivan construye su Golden Doorway en el pabellón de los Transportes. Aquella que visitará Adolf Loos antes de volver, renovado, a Viena; la misma que admirará André Bouillet, representante de la Union Centrale des Arts Decoratifs de Paris, y que deslumbrará en los museos de toda Europa, de París a Moscú en grandes fotografías y maquetas. Hasta que en Finlandia alguien muestra una de esas fotografías a un joven estudiante de diecinueve años en el Instituto Politécnico. Eliel Saarinen queda fascinado por la poderosa novedad de la imagen. Cuelga la fotografía frente a su tablero de dibujo, consciente de que la Golden Doorway, esa puerta de la aventura y la catarsis que Sullivan acuñaría como distintivo y que resolvería como único elemento complejo sus proyectos más maduros, desprovistos de todo ornamento; la misma que repetirían más tarde, con profundo reconocimiento, Ladovsky, Wright, Scarpa o Moneo, puerta dentro de puerta, fuelle y umbral, contenía, en sus propias palabras emocionadas, todo el futuro de la arquitectura. Desde ahí, pasando por el año 1910, momento de la huida de Wright a La Toscana y el descubrimiento de su arquitectura en Europa, entre otros por un joven Mies van der Rohe, meritorio en el estudio de Peter Behrens, a través del Wasmuth Portfolio; y así como algo después, en 1914, Schindler y en 1923 Neutra, harán el camino inverso, hasta que Mies les siga en 1937, animado por un Philip Johnson que había viajado a Europa en 1930, volviendo a 1945 y el inicio del programa Case Study House en California, hasta 1949, momento de la construcción de la CSH#8, y, por fin, al año 1955, after 5 years of living, en el que Julius Shulman fotografía la casa de Ray y Charles Eames en el prado de Chautauqua sobre las Pacific Palisades de Los Angeles, lanzando sus finas líneas amarillas hasta Alison y Peter Smithson y su tardomoderno heroico, hasta el primer Foster y su poético hightech y hasta el O-riginal Ghery, deconstruyendo el espacio esencial de su casa desde el espacio mismo, abiertas ya las puertas al nuevo siglo. Y en estos cambios de paradigma, desde el rígido eclecticismo de los estilos al lirismo moderno en el gozne secular y de ahí a la frivolidad, ligereza, exhibicionismo y oportunismo cultos del hecho postmoderno, hay algo que se mantiene invariante en los bandazos de la relación del hombre contemporáneo con su entorno. Como la escultura, que según Barnett Newman no es sino aquello contra lo que uno choca cuando retrocede para mirar un cuadro, en estos prístinos lugares, comunes y corrientes, recorrido, puerta, umbral, recinto y vacío, te topas con la arquitectura antes de darte cuenta de que es arquitectura. ABSTRACT As with many other projects, the origin of this doctoral thesis is the result of a chance. A few years ago I found in a bookstore in London, 38 Harmood st., Walden Books, a first edition of the well-known monograph about Mies by Philip Johnson. The tiny book, in fact a catalog of the exhibition that the MoMA of New York devoted to the work of Mies van der Rohe in 1947, ten years after his landing in the United States, has a size of 10 x 7.5 inches, that is, half of Crown American format (20 x 15 inches), equivalent to 508 x 381 mm. In the first printing, published by The Plantin Press, 12,000 copies were released. That same year, produced by Reynal and Hitchcock, both the first English translation of When the cathedrals were white by Le Corbusier and a selection of poems by Lorca were published, seven years after his Poet in New York. Inside the book, the famous drawing from Mies Sketch for a glass house on a hillside c. 1934 appears on page 109, barely a few lines, precise and nuanced though, the house on a hillside that quickly reminds us of the proposals of Eero Saarinen for a house in the air, first in 1941, in Pennsylvania, and later, in 1945, with Charles Eames, in Los Angeles, that would never be built, but in their later alliterations made by Harry Seidler (Julian Rose House, Wahroonga, Sydney, 1949), Philip Johnson (Leonhardt house, Long Island, New York, 1956) or Craig Ellwood (Smith House, Crestwood Hills, 1958; Frank Pierson & Polly House, Malibu, 1962, Chamorro House, Hollywood Hills, 1963, or the Weekend House series, with Gerald Horn, between 1964 and 1970, to the magnificent Art Center College of Design Pasadena, the inhabited bridge, in 1977). The story that gives rise to the text flows in a short amount of time, from the first drawings of the Case Study House No. 8, within the program promoted by John Entenza and his magazine Arts & Architecture in California, made in the study of Saarinen in Bloomfield Hills, Michigan, until the project of the Eames house is completed five years after finishing the construction in 1955, in the final version we know, radically different from the initial state, when the couple, Charles and Ray, published the film House after Five Years of Living. The original discussion around this house, or better, about the circumstances, controlled coincidences, regarding its construction, appears when one takes account of those that remain, the invariants, in the two versions, drawn and built, which precisely allow the reconciliation between both projects. In this short period of time a series of decisions made in the transformation process of the project reveal, in the obsessive record made by Charles Eames and in the new proposed references, the first visibility of the changing of the modern paradigm. But this germinal moment that crystallizes the transition to postmodernism is not unprecedented in the history of American architecture. So, the story opens its temporal scope to a fifty-year period that started in 1893, date of the celebration of the Chicago World´s Columbian Exposition. In the White City by Hunt & McKim and Burnham, the traitor, Louis Sullivan builds his Golden Doorway in the Transportation Building. That visited by a renovated Adolf Loos before his coming back to Vienna; the same that André Bouillet, Head of the Union Centrale des Arts Decoratifs in Paris, admired and dazzled in museums all over Europe, from Paris to Moscow, in large photographs and models. Until someone in Finland showed one of those photos to a young nineteen-years-old student at the Polytechnic Institute. Eliel Saarinen became fascinated by the powerful new image: he hanged the picture in front of his drawing board, aware that the Golden Doorway, that door of adventure and catharsis Sullivan coined as distinctive and as a single complex element which would solve their most mature projects, devoid of all ornament; the same that would repeat later, with deep appreciation, Ladovsky, Wright, Scarpa, or Moneo, a door inside a door, a threshold, a gap that contained, in its own moving words, the whole future of architecture. From there, through 1910, when Wright's flight to Tuscany allows Europe to discover his architecture, including a young Mies van der Rohe, meritorious in the studio of Peter Behrens, via the Wasmuth Portfolio; and as a little bit later, in 1914, Schindler and Neutra in 1923, made the travel in opposite direction, until Mies follows them in 1937, led by a Philip Johnson who had traveled to Europe in 1930, we return to 1945 and the beginning of the program Case Study House in California, and from 1949, when construction of the CSH # 8 begins, and finally, to 1955, after five years of living, when Julius Shulman photographs the inside of the house with Ray and Charles Eames, and all their belongins, at the Chautauqua meadows on Pacific Palisades in Los Angeles, launching its fine yellow lines to Alison and Peter Smithson and his heroic late modern, up to the first Foster and his poetic hightech and even the O-riginal Gehry, deconstructing the essential space of his home from the space itself, opening the doors to the new century. And these paradigm shifts, from the hard eclectic styles to modern secular lyricism in the hinge and then overcoming the cultured frivolity, lightness, exhibitionism, and opportunism of the postmodern skeptical focus, something remains intense, invariant in the lurching relationship of contemporary man and his environment. As the sculpture, which according to Barnett Newman is what you bump into when you back up to see a painting, in these pristine, ordinary places, promenade, door, threshold, enclosure and emptiness, you stumble upon the architecture even before realizing that it is architecture.