Multiple attractors, long chaotic transients, and failure in small-world networks of excitable neurons.

We study the dynamical states of a small-world network of recurrently coupled excitable neurons, through both numerical and analytical methods. The dynamics of this system depend mostly on both the number of long-range connections or ?shortcuts?, and the delay associated with neuronal interactions. We find that persistent activity emerges at low density of shortcuts, and that the system undergoes a transition to failure as their density reaches a critical value. The state of persistent activity below this transition consists of multiple stable periodic attractors, whose number increases at least as fast as the number of neurons in the network. At large shortcut density and for long enough delays the network dynamics exhibit exceedingly long chaotic transients, whose failure times follow a stretched exponential distribution. We show that this functional form arises for the ensemble-averaged activity if the failure time for each individual network realization is exponen- tially distributed

Evolution not revolution of farming systemswill best feed and green the world

The challenge to properly feed a world population of 9.2 billion by 2050, that must be achieved on essentially currently cropped area, requires that food production be increased by 70%. This large increase can only be achieved by combinations of greater crop yields and more intensive cropping adapted to local conditions and availability of inputs. Farming systems are dynamic and continuously adapt to changing ecological, environmental and social conditions, while achieving greater production and resource-use efficiency by application of science and technology. This article argues that the solution to feed and green the world in 2050 is to support this evolution more strongly by providing farmers with necessary information, inputs, and recognition. There is no revolutionary alternative. Proposals to transform agriculture to low-input and organic systems would, because of low productiv- ity, exacerbate the challenge if applied in small part, and ensure failure if applied more widely. The challenge is, however, great. Irrigation, necessary to increase cropping intensity in many areas cannot be extended much more widely than at present, and it is uncertain if the current rate of crop yield increase can be maintained. Society needs greater recognition of the food-supply problem and must increase funding and support for agricultural research while it attends to issues of food waste and over consumption that can make valuable reductions to food demand from agriculture

Dynamic Response of Wind Turbines to Theoretical 3D Seismic Motions Taking into Account the Rotational Component

We study the dynamic response of a wind turbine structure subjected to theoretical seismic motions, taking into account the rotational component of ground shaking. Models are generated for a shallow moderate crustal earthquake in the Madrid Region (Spain). Synthetic translational and rotational time histories are computed using the Discrete Wavenumber Method, assuming a point source and a horizontal layered earth structure. These are used to analyze the dynamic response of a wind turbine, represented by a simple finite element model. Von Mises stress values at different heights of the tower are used to study the dynamical structural response to a set of synthetic ground motion time histories

The Analysis of Airline Business Models in the Development of Possible Future Business Options

Innovations in the current interconnected world of organizations have lead to a focus on business models as a fundamental statement of direction and identity. Although industry transformations generally emanate from technological changes, recent examples suggest they may also be due to the introduction of new business models. In the past, different types of airline business models could be clearly separated from each other. However, this has changed in recent years partly due to the concentration process and partly to reaction caused by competitive pressure. At least it can be concluded that in future the distinction of different business models will remain less clear. To advance the use of business models as a concept, it is essential to be able to compare and perform analyses to identify the business models that may have the highest potential. This can essentially contribute to understanding the synergies and incompatibilities in the case of two airlines that are going in for a merger. This is illustrated by the example of Swiss Air-Lufthansa merger analysis. The idea is to develop quantitative methods and tools for comparing and analyzing Aeronautical/Airline business models. The paper identifies available methods of comparing airline business models and lays the ground work for a quantitative model of comparing airline business models. This can be a useful tool for business model analysis when two airlines are merged

Optical Detection of Surface Defects in Oranges

An optical-based sorting device for oranges is presented. Its design has been based on homogeneity of illumination and detection of the light reflected and scattered by the fruit. Several configurations are studied and compared under semiempirical formulations .A general purpose microprocessor based hardware is proposed. A sorting rate over 10 fruits per second on each channel is achieved.

Use of Schizosaccharomyces pombe to produce stable pigments during red winemaking

This work has studied the production of stable pyranoanthocyanin pigments during fermentation using S. pombe and Saccharomyces cerevisiae. Along the fermentation, anthocyanins were determined by HPLC-DAD/MS, acetaldehyde was measured using GC-FID and pyruvic acid was quantified by enzymatic tests. Results show that S. pombe strains produce higher amounts of pyruvic acid, and therefore also of vitisin A, than Saccharomyces controls.

Reduction of 4-ethylphenol contents in red wines using HCDC+ yeasts and cinnamyl esterases

In this work we have studied the combined effect of using cinnamyl esterases (CE) and HCDC+ yeast strains of S. cerevisiae to transform TE-HCAs into vinylphenols to condense them with grape anthocyanins forming VPAs. These VPAs improve the color stability of the wine and at the same time remove EP precursors of the wine.

Using Knowledge Modelling Tools for Agent-Based Systems: The Experience of KSM

The aim of this chapter is to discuss the applicability of recently proposed knowledge modelling tools to the development of agent-based systems. The discussion is derived from the real world experience of a particular software tool called KSM (Knowledge Structure Manager). The chapter provides details about this tool and then proceeds to show in which forms the software may be used to support the development of agent-based systems. Two multiagent systems, one in the field of telecommunications management and the other one in the field of flood control, are described. Conclusions about these studies are presented, summarizing the main contributions that knowledge modelling tools can bring to the development of agent-based systems.

Flammability properties of thermally dried sewage sludge

The treatment and disposal of sewage sludge is becoming an urgent need whereby different technologies were developed and integrated into the waste cycle all over the world. One of the most used technologies is the thermal drying of the sludge. Thermally dried sewage sludge has interesting properties that allow its use as an alternative fuel, but also needs some consideration from the point of view of its safe operation. The aim of this study was the research on the flammability properties of sewage sludge, including ignition sensitivity, explosion severity, thermal sensitivity and thermal stability. Furthermore relationships among those properties and composition parameters have been determined, added to the study of their variation depending on their origin or season. Finally, properties related to spontaneous combustion were determined. To study these relationships and characteristics sludge samples were selected from different locations in Spain and taken during different seasons.

Operational Aspects of Full Reduction in Lambda Calculi

Esta tesis estudia la reducción plena (‘full reduction’ en inglés) en distintos cálculos lambda. 1 En esencia, la reducción plena consiste en evaluar los cuerpos de las funciones en los lenguajes de programación funcional con ligaduras. Se toma el cálculo lambda clásico (i.e., puro y sin tipos) como el sistema formal que modela el paradigma de programación funcional. La reducción plena es una técnica fundamental cuando se considera a los programas como datos, por ejemplo para la optimización de programas mediante evaluación parcial, o cuando algún atributo del programa se representa a su vez por un programa, como el tipo en los demostradores automáticos de teoremas actuales. Muchas semánticas operacionales que realizan reducción plena tienen naturaleza híbrida. Se introduce formalmente la noción de naturaleza híbrida, que constituye el hilo conductor de todo el trabajo. En el cálculo lambda la naturaleza híbrida se manifiesta como una ‘distinción de fase’ en el tratamiento de las abstracciones, ya sean consideradas desde fuera o desde dentro de si mismas. Esta distinción de fase conlleva una estructura en capas en la que una semántica híbrida depende de una o más semánticas subsidiarias. Desde el punto de vista de los lenguajes de programación, la tesis muestra como derivar, mediante técnicas de transformación de programas, implementaciones de semánticas operacionales que reducen plenamente a partir de sus especificaciones. Las técnicas de transformación de programas consisten en transformaciones sintácticas que preservan la equivalencia semántica de los programas. Se ajustan las técnicas de transformación de programas existentes para trabajar con implementaciones de semánticas híbridas. Además, se muestra el impacto que tiene la reducción plena en las implementaciones que utilizan entornos. Los entornos son un ingrediente fundamental en las implementaciones realistas de una máquina abstracta. Desde el punto de vista de los sistemas formales, la tesis desvela una teoría novedosa para el cálculo lambda con paso por valor (‘call-by-value lambda calculus’ en inglés) que es consistente con la reducción plena. Dicha teoría induce una noción de equivalencia observacional que distingue más puntos que las teorías existentes para dicho cálculo. Esta contribución ayuda a establecer una ‘teoría estándar’ en el cálculo lambda con paso por valor que es análoga a la ‘teoría estándar’ del cálculo lambda clásico propugnada por Barendregt. Se presentan resultados de teoría de la demostración, y se sugiere como abordar el estudio de teoría de modelos. ABSTRACT This thesis studies full reduction in lambda calculi. In a nutshell, full reduction consists in evaluating the body of the functions in a functional programming language with binders. The classical (i.e., pure untyped) lambda calculus is set as the formal system that models the functional paradigm. Full reduction is a prominent technique when programs are treated as data objects, for instance when performing optimisations by partial evaluation, or when some attribute of the program is represented by a program itself, like the type in modern proof assistants. A notable feature of many full-reducing operational semantics is its hybrid nature, which is introduced and which constitutes the guiding theme of the thesis. In the lambda calculus, the hybrid nature amounts to a ‘phase distinction’ in the treatment of abstractions when considered either from outside or from inside themselves. This distinction entails a layered structure in which a hybrid semantics depends on one or more subsidiary semantics. From a programming languages standpoint, the thesis shows how to derive implementations of full-reducing operational semantics from their specifications, by using program transformations techniques. The program transformation techniques are syntactical transformations which preserve the semantic equivalence of programs. The existing program transformation techniques are adjusted to work with implementations of hybrid semantics. The thesis also shows how full reduction impacts the implementations that use the environment technique. The environment technique is a key ingredient of real-world implementations of abstract machines which helps to circumvent the issue with binders. From a formal systems standpoint, the thesis discloses a novel consistent theory for the call-by-value variant of the lambda calculus which accounts for full reduction. This novel theory entails a notion of observational equivalence which distinguishes more points than other existing theories for the call-by-value lambda calculus. This contribution helps to establish a ‘standard theory’ in that calculus which constitutes the analogous of the ‘standard theory’ advocated by Barendregt in the classical lambda calculus. Some prooftheoretical results are presented, and insights on the model-theoretical study are given.

Processing of grapes by high hydrostatic pressure. Influence on wine quality

The aim of this work is to evaluate the influence of S. pombe and T. delbrueckii species on the sensory quality of red wine when used in sequential and mixed fermentations with S. cerevisiae.

Effects of soil management in vineyard on soil physical and chemical characteristics

Cover crops in Mediterranean vineyards are scarcely used due to water competition between the cover crop and the grapevine; however, bare soil management through tillage or herbicides tends to have negative effects on the soil over time (organic matter decrease, soil structure and soil fertility degradation, compaction, etc). The objective of this study was to understand how soil management affects soil fertility, compaction and infiltration over time. To this end, two bare soil techniques were compared, tillage (TT) and total herbicide (HT) with two cover crops; annual cereal (CT) and annual grass (AGT), established for 8 years. CT treatment showed the highest organic matter content, having the biggest amount of biomass incorporated into the soil. The annual adventitious vegetation in TT treatment (568 kg dry matter ha-1) that was incorporated into the soil, kept the organic matter content higher than HT levels and close to AGT level, in spite of the greater aboveground annual biomass production of this treatment (3632 kg dry matter ha-1) whereas only its roots were incorporated into the soil. TT presented the highest bulk density under the tractor track lines and a greatest resistance to penetration (at 0.2 m depth). AGT presented bulk density values (upper 0.4 m) lower than TT and penetration resistance in CT lower (at 0.20 m depth) than TT too. Effects of soil management in vineyard on soil physical and chemical characteristics - ResearchGate. Available from: http://www.researchgate.net/publication/268520480_Effects_of_soil_management_in_vineyard_on_soil_physical_and_chemical_characteristics [accessed May 20, 2015].

Influence of sequential and mixed fermentations with non-Saccharomyces yeasts on the sensory profile of red wine

The aim of this work is to evaluate the influence of S. pombe and T. delbrueckii species on the sensory quality of red wine when used in sequential and mixed fermentations with S. cerevisiae.

Mixed-criticality design of a satellite software system

The continuous increment of processors computational power and the requirements on additional functionality and services are motivating a change in the way embedded systems are built. Components with different criticality level are allocated in the same processor, which give rise to mixed-criticality systems. The use of partitioned systems is a way of preventing undesirable interferences between components with different criticality level. An hypervisor provides these partitions or virtual machines, ensuring spatial, temporal and fault isolation between them. The purpose of this paper is to illustrate the development of a mixed-critical system. The attitude control subsystem is used for showing the different steps, which are supported by a toolset developed in the context of the MultiPARTES research project.

Gender differences of the spanish adult population in barriers to active living

Social research on the needs, barriers and innovations in sport and physical activities to adult women in Spain