OCP effects in catalan cliticization

In Catalan, sequences of sibilants are never pronounced as such. In most contexts all varieties coincide in the «strategies» used to avoid these sequences, namely epenthesis or deletion. Variation is only found in the domain of pronominal clitics (but not with other types of clitics). One source of variation is accounted for by decomposing a general constraint into two specific ones, which implies partial constraint reranking. The other source of variation, which involves a case of apparent opacity, is explained through an Output-Output constraint that makes reference to paradigmatic relations.

Role of structural saturation and geometry in the luminescence of silicon-based nanostructured materials

The structural saturation and stability, the energy gap, and the density of states of a series of small, silicon-based clusters have been studied by means of the PM3 and some ab initio (HF/6-31G* and 6-311++G**, CIS/6-31G* and MP2/6-31G*) calculations. It is shown that in order to maintain a stable nanometric and tetrahedral silicon crystallite and remove the gap states, the saturation atom or species such as H, F, Cl, OH, O, or N is necessary, and that both the cluster size and the surface species affect the energetic distribution of the density of states. This research suggests that the visible luminescence in the silicon-based nanostructured material essentially arises from the nanometric and crystalline silicon domains but is affected and protected by the surface species, and we have thus linked most of the proposed mechanisms of luminescence for the porous silicon, e.g., the quantum confinement effect due to the cluster size and the effect of Si-based surface complexes.

Estudi de viabilitat econòmica i ambiental per a l'aprofitament del residu de poda de l'olivera als municipis del Segrià sud

Les comarques del Segrià i les Garrigues disposen d’un elevat potencial energètic de la biomassa procedent del residu de poda de l’olivera. No obstant, aquesta biomassa agrícola no s’està valoritzant energèticament a la zona. Per tal d’aprofitar aquest recurs és necessari realitzar un estudi de viabilitat econòmica i ambiental per conèixer quines podrien ser les diferents alternatives per a l’aprofitament energètic, així com, conèixer com s’hauria de gestionar el residu per tal que esdevingués un recurs energètic disponible.

Dessalinització nuclear : estudi preliminar per l'aplicació a Catalunya

Aquest document pretén donar a conèixer el concepte de dessalinització nuclear, determinar els avantatges i inconvenients a nivell ambiental, així com els costos econòmics i energètics que poden suposar. Podem definir dessalinització nuclear com una planta de dessalinització d’aigua marina que és alimentada pel seu complet funcionament per un reactor nuclear. La planta utilitza tant l’energia elèctrica que es produeix com l’energia calorífica retinguda en l’aigua que surt del reactor. S’ha estructurat el treball en tres parts. La primera és una anàlisi de quin és l’ús que se’n fa a nivell mundial de la tecnologia de dessalinització. S’ofereixen dades de la producció mundial d’aigua dolça a partir d’aquesta tecnologia, en quins països se’n fa més ús i perquè. També es defineixen els tipus de plantes de dessalinització que es poden construir. El segon apartat és un anàlisi històric i d’actualitat de la dessalinització nuclear mundial. S’analitza el perquè del desenvolupament d’aquesta tecnologia i s’estudien les necessitats hídriques que es podran tenir en un futur. Es planteja si aquesta tecnologia pot satisfer-les. S’estudien les onze plantes de dessalinització nuclear que han funcionat. El tercer apartat és un estudi de la possible transformació de les dues plantes dessalinitzadores catalanes en dessalinitzadores nuclears. Es fa un anàlisi de costos energètics i de producció, sense tenir en compte els d’instal·lació. També s’investiga els possibles impactes per contaminació radiològica que podria generar l’aigua produïda amb aquesta tecnologia.

Entrenament d'un ciclista esprinter mitjançant la força explosiva: avaluació dels efectes d'un entrenament específic

La principal fita dels ciclistes ha estat sempre l’entrenament per millorar les seves condicions i prestacions fisiològiques. Al llarg dels anys, el ciclisme com pràcticament tot l’esport s’ha anat modernitzant, no només tecnològicament. Això ha provocat l’aparició d’especialistes, corredors destinats a destacar, només en unes determinades condicions, per sobre els demés. Una d’aquestes condicions més restringides son les arribades massives, terreny dels anomenats esprinters, els quals brillen per sobre els demés degut a la seva potència, velocitat punta i arrancada. L’entrenament d’aquesta tipologia d’especialitat ha deixat entreveure varies ambigüitats i algunes problemàtiques de fonament teòric. L’esprint en el ciclisme es dona després d’un gran desgast de les reserves energètiques i de fatiga muscular. Per tant, entrenar-lo amb blocs de velocitat no té lògica. Tampoc es una opció viable el recurs que molts equips utilitzen: agafar corredors joves de la pista, i que la seva genètica (fibres ràpides) i les seves característiques de pistard1 facin la resta, perquè al pas dels anys perden aquesta exclusivitat. Aquest estudi es proposa buscar una manera de treballar i potenciar l’esprint del ciclista a partir de la força explosiva, garantint preservar les condicions aeròbiques per tal de que no perjudiqui per altra banda la seva resistència. Per tal d’aconseguir-ho, s’efectuaran uns tests. Un focalitzat en mesurar les prestacions en un esprint dels subjectes. L’altra es basarà en avaluar la força explosiva d’aquets, a partir de salts verticals. Un cop obtinguts els resultats de la primera tanda, els subjectes seran sotmesos a un entrenament combinat de sobrecàrrega, per tal de observar, en la segona tanda, si els resultats son significatius. Com a conclusió, es podria destacar el fet de millora en la majoria d’aspectes en tots els tests per part de tots els subjectes, i que probablement, hi ha una correlació significativa entre la força explosiva i la capacitat per esprintar, tot i que s’haurien de corroborar els resultats amb una mostra més gran.

SAT Modulo Linear Arithmetic for Solving Polynomial

Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g., termination proving, program invariant generation and hybrid system verification, to name a few. In this paper we propose a new method for solving non-linear constraints based on encoding the problem into an SMT problem considering only linear arithmetic. Unlike other existing methods, our method focuses on proving satisfiability of the constraints rather than on proving unsatisfiability, which is more relevant in several applications as we illustrate with several examples. Nevertheless, we also present new techniques based on the analysis of unsatisfiable cores that allow one to efficiently prove unsatisfiability too for a broad class of problems. The power of our approach is demonstrated by means of extensive experiments comparing our prototype with state-of-the-art tools on benchmarks taken both from the academic and the industrial world.

Influence on present-day coastal dynamics and evolution of a relict subaqueous delta lobe: Sol de Riu lobe, Ebro Delta. Continental Shelf Research, 74: 94-104. doi:10.1016/j.csr.2013.11.021

We used high-resolution swath-bathymetry data to characterise the morphology of the abandoned subaqueous Sol de Riu delta lobe in the Ebro Delta, Western Mediterranean Sea. This study aims to assess the influence of an abandoned delta lobe on present-day coastal dynamics in a micro-tidal environment. Detailed mapping of the relict Sol de Riu lobe also showed a set of bedforms interpreted as footprints of human activities: seasonal V-shaped depressions on the middle shoreface due to boat anchoring and old trawling marks between 16 and 18 m water depth. Estimations of the mobility of bottom sediment showed that the shallowest shoreface (i.e. less than 7 m depth) is the most dynamic part of the relict lobe, while the middle shoreface experienced significant morphological changes since the lobe was abandoned. The deepest shoreface (i.e. water depth in excess of 15 m), which corresponds to the front of the lobe, is defined by a very small potential for morphological change. Simulations showed that while the relict lobe does not significantly affect the typical short period waves (Tp ≈4 s) in the study area, it does interfere with the most energetic wave conditions (Tp ≥ 7 s) acting as a shoal leading to the concentration of wave energy along the shoreline northwest of the lobe. The consequence of such modification of the high-energy wave propagation pattern by the relict lobe is an alteration of the wave-induced littoral sediment dynamics with respect to a situation without the lobe.

Energy relaxation in nonlinear one-dimensional lattices

We study energy relaxation in thermalized one-dimensional nonlinear arrays of the Fermi-Pasta-Ulam type. The ends of the thermalized systems are placed in contact with a zero-temperature reservoir via damping forces. Harmonic arrays relax by sequential phonon decay into the cold reservoir, the lower-frequency modes relaxing first. The relaxation pathway for purely anharmonic arrays involves the degradation of higher-energy nonlinear modes into lower-energy ones. The lowest-energy modes are absorbed by the cold reservoir, but a small amount of energy is persistently left behind in the array in the form of almost stationary low-frequency localized modes. Arrays with interactions that contain both a harmonic and an anharmonic contribution exhibit behavior that involves the interplay of phonon modes and breather modes. At long times relaxation is extremely slow due to the spontaneous appearance and persistence of energetic high-frequency stationary breathers. Breather behavior is further ascertained by explicitly injecting a localized excitation into the thermalized arrays and observing the relaxation behavior.

Toward partial redirection of energy policy for responsible development

This paper addresses the surprising lack of quality control on the analysis and selection on energy policies observable in the last decades. As an example, we discuss the delusional idea that it is possible to replace fossil energy with large scale ethanol production from agricultural crops. But if large scale ethanol production is not practical in energetic terms, why huge amount of money has been invested in it and is it still being invested? In order to answer this question we introduce two concepts useful to frame, in general terms, the predicament of quality control in science: (i) the concept of “granfalloons” proposed by K. Vonnegut (1963) flagging the danger of the formation of “crusades to save the world” void of real meaning. These granfalloons are often used by powerful lobbies to distort policy decisions; and (ii) the concept of Post-Normal science by S. Funtowicz and J. Ravetz (1990) indicating a standard predicament faced by science when producing information for governance. When mixing together uncertainty, multiple-scale and legitimate but contrasting views it becomes impossible to deal with complex issue using the conventional scientific approach based on reductionism. We finally discuss the implications of a different approach to the assessment of alternative energy sources by introducing the concept of Promethean technology.

Propuesta de ecoetiqueta para espacios de interés natural. Prueba piloto en la Vall d'Alinyà

Este artículo, presenta una propuesta de ecoetiqueta que evalúa la calidad de los espacios de interés natural. Debido a la inexistencia de una ecoetiqueta de servicios de estas características, se han estudiado antecedentes de certificados ecológicos de servicios y sistemas de evaluación de espacios naturales y urbanos. A partir de este estudio, se han evaluado 110 indicadores preexistentes, de los cuales se han adaptado 59 indicadores, 29 de cumplimiento obligatorio y 30 recomendables, divididos en tres flujos: Flujo Humano, Flujo Natural y Flujo de Gestión, y 17 vectores; con los cuales se ha elaborado un sistema de evaluación adaptado a esta ecoetiqueta. Con la determinación del reglamento y las condiciones generales para la concesión de la propuesta de ecoetiqueta, se ha realizado una Prueba Piloto en la Vall d’Alinyà (Provincia de Lérida) centrada en el Flujo Humano, verificando de forma positiva la aplicación de la certificación en este espacio. Los resultados indican una adecuación de más del 90% de los indicadores seleccionados, mientras que se ha observado, principalmente, deficiencias en los sistemas hídricos y energéticos de la Vall d’Alinyà. Por ello, se han elaborado una serie de propuestas de mejora.

δ15N value does not reflect fasting in mysticetes.

The finding that tissue δ15N values increase with protein catabolism has led researchers to apply this value to gauge nutritive condition in vertebrates. However, its application to marine mammals has in most occasions failed. We investigated the relationship between δ15N values and the fattening/fasting cycle in a model species, the fin whale, a migratory capital breeder that experiences severe seasonal variation in body condition. We analyzed two tissues providing complementary insights: one with isotopic turnover (muscle) and one that keeps a permanent record of variations in isotopic values (baleen plates). In both tissues δ15N values increased with intensive feeding but decreased with fasting, thus contradicting the pattern previously anticipated. The apparent inconsistency during fasting is explained by the fact that a) individuals migrate between different isotopic isoscapes, b) starvation may not trigger significant negative nitrogen balance, and c) excretion drops and elimination of 15N-depleted urine is minimized. Conversely, when intensive feeding is resumed in the northern grounds, protein anabolism and excretion start again, triggering 15N enrichment. It can be concluded that in whales and other mammals that accrue massive depots of lipids as energetic reserves and which have limited access to drinking water, the δ15N value is not affected by fasting and therefore cannot be used as an indicatior of nutritive condition.

How we experience immersive virtual environments: the concept of presence and its measurement

This paper reviews the concept of presence in immersive virtual environments, the sense of being there signalled by people acting and responding realistically to virtual situations and events. We argue that presence is a unique phenomenon that must be distinguished from the degree of engagement, involvement in the portrayed environment. We argue that there are three necessary conditions for presence: the (a) consistent low latency sensorimotor loop between sensory data and proprioception; (b) statistical plausibility: images must be statistically plausible in relation to the probability distribution of images over natural scenes. A constraint on this plausibility is the level of immersion;(c) behaviour-response correlations: Presence may be enhanced and maintained over time by appropriate correlations between the state and behaviour of participants and responses within the environment, correlations that show appropriate responses to the activity of the participants. We conclude with a discussion of methods for assessing whether presence occurs, and in particular recommend the approach of comparison with ground truth and give some examples of this.

JPEG standard uniform quantization error modeling with applications to sequential and progressive operation modes

In this paper we propose a method for computing JPEG quantization matrices for a given mean square error or PSNR. Then, we employ our method to compute JPEG standard progressive operation mode definition scripts using a quantization approach. Therefore, it is no longer necessary to use a trial and error procedure to obtain a desired PSNR and/or definition script, reducing cost. Firstly, we establish a relationship between a Laplacian source and its uniform quantization error. We apply this model to the coefficients obtained in the discrete cosine transform stage of the JPEG standard. Then, an image may be compressed using the JPEG standard under a global MSE (or PSNR) constraint and a set of local constraints determined by the JPEG standard and visual criteria. Secondly, we study the JPEG standard progressive operation mode from a quantization based approach. A relationship between the measured image quality at a given stage of the coding process and a quantization matrix is found. Thus, the definition script construction problem can be reduced to a quantization problem. Simulations show that our method generates better quantization matrices than the classical method based on scaling the JPEG default quantization matrix. The estimation of PSNR has usually an error smaller than 1 dB. This figure decreases for high PSNR values. Definition scripts may be generated avoiding an excessive number of stages and removing small stages that do not contribute during the decoding process with a noticeable image quality improvement.

An Improved Hybrid Model for the Generic Hoist Scheduling Problem

Peer-reviewed

Toward Synchronous Extensible Dependency Grammar

Extensible Dependency Grammar (XDG; Debusmann, 2007) is a flexible, modular dependency grammarframework in which sentence analyses consist of multigraphs and processing takes the form of constraint satisfaction. This paper shows how XDGlends itself to grammar-driven machine translation and introduces the machinery necessary for synchronous XDG. Since the approach relies on a shared semantics, it resembles interlingua MT.It differs in that there are no separateanalysis and generation phases. Rather, translation consists of the simultaneousanalysis and generation of a single source-target sentence.