Continuity of Lyapunov functions and of energy level for generalized gradient semigroup

The global attractor of a gradient-like semigroup has a Morse decomposition. Associated to this Morse decomposition there is a Lyapunov function (differentiable along solutions)-defined on the whole phase space- which proves relevant information on the structure of the attractor. In this paper we prove the continuity of these Lyapunov functions under perturbation. On the other hand, the attractor of a gradient-like semigroup also has an energy level decomposition which is again a Morse decomposition but with a total order between any two components. We claim that, from a dynamical point of view, this is the optimal decomposition of a global attractor; that is, if we start from the finest Morse decomposition, the energy level decomposition is the coarsest Morse decomposition that still produces a Lyapunov function which gives the same information about the structure of the attractor. We also establish sufficient conditions which ensure the stability of this kind of decomposition under perturbation. In particular, if connections between different isolated invariant sets inside the attractor remain under perturbation, we show the continuity of the energy level Morse decomposition. The class of Morse-Smale systems illustrates our results.

Experimental evidence for the sensitivity of the air-shower radio signal to the longitudinal shower development

We observe a correlation between the slope of radio lateral distributions and the mean muon pseudorapidity of 59 individual cosmic-ray-air-shower events. The radio lateral distributions are measured with LOPES, a digital radio interferometer colocated with the multidetector-air-shower array KASCADE-Grande, which includes a muon-tracking detector. The result proves experimentally that radio measurements are sensitive to the longitudinal development of cosmic-ray air showers. This is one of the main prerequisites for using radio arrays for ultra-high-energy particle physics and astrophysics.

TRANSITIVITY AND ROTATION SETS WITH NONEMPTY INTERIOR FOR HOMEOMORPHISMS OF THE 2-TORUS

We show that if f is a homeomorphism of the 2-torus isotopic to the identity and its lift (f) over tilde is transitive, or even if it is transitive outside the lift of the elliptic islands, then (0,0) is in the interior of the rotation set of (f) over tilde. This proves a particular case of Boyland's conjecture.

Subdivision of Hysteresis Loss in Mn-Zn Ferrite Toroidal Cores

The hysteresis loss subdivision method proved to be a strong tool to help in the analysis of different energy dissipation mechanisms along the quasi-static hysteresis loop measured on electrical steels. This paper used the samemethod to discuss the mechanisms involving the energy loss dissipation in Mn-Zn ferrite toroidal cores. The samples, sintered under controlled atmosphere in industrial conditions, were measured under triangular waveform excitation at very low frequency (5 mHz) and peak flux densities varying from 0.05 T to 0.45 T. The results show a different behavior between the low inductions hysteresis loss (WLI) and the high induction hysteresis loss (WHI) which proves the existence of different energy dissipation mechanisms affecting these loss components.

Origin of the heavy elements in HD 140283 Measurement of europium abundance

Context. HD 140283 is a nearby (V = 7.7) subgiant metal-poor star, extensively analysed in the literature. Although many spectra have been obtained for this star, none showed a signal-to-noise (S/N) ratio high enough to enable a very accurate derivation of abundances from weak lines. Aims. The detection of europium proves that the neutron-capture elements in this star originate in the r-process, and not in the s-process, as recently claimed in the literature. Methods. Based on the OSMARCS 1D LTE atmospheric model and with a consistent approach based on the spectrum synthesis code Turbospectrum, we measured the europium lines at 4129 angstrom and 4205 angstrom, taking into account the hyperfine structure of the transitions. The spectrum, obtained with a long exposure time of seven hours at the Canada-France-Hawaii Telescope (CFHT), has a resolving power of 81 000 and a S/N ratio of 800 at 4100 angstrom. Results. We were able to determine the abundance A(Eu) = -2.35 +/- 0.07 dex, compatible with the value predicted for the europium from the r-process. The abundance ratio [Eu/Ba] = +0.58 +/- 0.15 dex agrees with the trend observed in metal-poor stars and is also compatible with a strong r-process contribution to the origin of the neutron-capture elements in HD 140283.

Interpolation estimate for a finite-element space with embedded discontinuities

We consider a recently proposed finite-element space that consists of piecewise affine functions with discontinuities across a smooth given interface Γ (a curve in two dimensions, a surface in three dimensions). Contrary to existing extended finite element methodologies, the space is a variant of the standard conforming Formula space that can be implemented element by element. Further, it neither introduces new unknowns nor deteriorates the sparsity structure. It is proved that, for u arbitrary in Formula, the interpolant Formula defined by this new space satisfies Graphic where h is the mesh size, Formula is the domain, Formula, Formula, Formula and standard notation has been adopted for the function spaces. This result proves the good approximation properties of the finite-element space as compared to any space consisting of functions that are continuous across Γ, which would yield an error in the Formula-norm of order Graphic. These properties make this space especially attractive for approximating the pressure in problems with surface tension or other immersed interfaces that lead to discontinuities in the pressure field. Furthermore, the result still holds for interfaces that end within the domain, as happens for example in cracked domains.

A further note on the college admission game

When a stable matching rule is used for a college admission market, questions on incentives facing agents of both sides of the market naturally emerge. This note states and proves four important results which fill a gap in the theory of incentives for the college admission model. Two of them have never been demonstrated but have been used along the years and are responsible for the success that this theory has had in explaining empirical economic phenomena.

Fermentative production of ribonucleotides from whey by Kluyveromyces marxianus: effect of temperature and pH

Ribonucleotides have shown many promising applications in food and pharmaceutical industries. The aim of the present study was to produce ribonucleotides (RNA) by Kluyveromyces marxianus ATCC 8,554 utilizing cheese whey, a dairy industry waste, as a main substrate under batch fermentation conditions. The effects of temperature, pH, aeration rate, agitation and initial cellular concentration were studied simultaneously through factorial design for RNA, biomass production and lactose consumption. The maximum RNA production (28.66 mg/g of dry biomass) was observed at temperature 30°C, pH 5.0 and 1 g/l of initial cellular concentration after 2 h of fermentation. Agitation and aeration rate did not influence on RNA concentration (p >0.05). Maximum lactose consumption (98.7%) and biomass production (6.0 g/l) was observed after 12 h of incubation. This study proves that cheese whey can be used as an adequate medium for RNA production by K. marxianus under the optimized conditions at industrial scale.

Origin of the heavy elements in HD 140283: measurement of europium abundance

Context. HD140283 is a nearby (V = 7:7) subgiant metal-poor star, extensively analysed in the literature. Although many spectra have been obtained for this star, none showed a signal-to-noise (S/N) ratio high enough to enable a very accurate derivation of abundances from weak lines. Aims. The detection of europium proves that the neutron-capture elements in this star originate in the r-process, and not in the s-process, as recently claimed in the literature. Methods. Based on the OSMARCS 1D LTE atmospheric model and with a consistent approach based on the spectrum synthesis code Turbospectrum, we measured the europium lines at 4129 Å and 4205 Å, taking into account the hyperfine structure of the transitions. The spectrum, obtained with a long exposure time of seven hours at the Canada-France-Hawaii Telescope (CFHT), has a resolving power of 81 000 and a S/N ratio of 800 at 4100 Å. Results. We were able to determine the abundance A(Eu) =

Measurement and model calculation of the temperature dependence of ligand-to-metal energy transfer rates in lanthanide complexes

Temperature dependent transient curves of excited levels of a model Eu3+ complex have been measured for the first time. A coincidence between the temperature dependent rise time of the 5D0 emitting level and decay time of the 5D1 excited level in the [Eu(tta)3(H2O)2] complex has been found, which unambiguously proves the T1→5D1→5D0 sensitization pathway. A theoretical approach for the temperature dependent energy transfer rates has been successfully applied to the rationalization of the experimental data.

El seudónimo masculino y la androginización de la mujer escritora

[ES] Mediante la adopción del seudónimo masculino, algunas escritoras del siglo XIX y de la primera mitad del XX pudieron introducirse en un ámbito controlado absolutamente por hombres: el de la literatura. La sustitución de su nombre legal por otro ficticio les permitió ganarse el respeto de un elevado porcentaje de lectores que se mostraban todavía reticentes a valorar positivamente las obras escritas por una mujer, consideradas frívolas, sensibleras e intrascendentes. La necesidad de llevar puesta una máscara para alcanzar semejantes objetivos demuestra, no obstante, que las autoras de entonces en cierto modo seguían sometidas a los dictámenes de la sociedad patriarcal, cuyos prejuicios hubieron de asumir si querían que sus textos vieran la luz y fuesen tomados en serio. Con el seudónimo varonil ‒unido ocasionalmente también al travestismo físico, como ejemplifica el caso de George Sand‒, las escritoras forjaron de sí mismas unas imágenes descentradas, ambiguas, andróginas. Al mismo tiempo, la estrategia del cambio de género autoral presuponía el reconocimiento de una «condición masculina» inherente a la escritura.

Ensemble forecasting in the Mediterranean sea

A new methodology is being devised for ensemble ocean forecasting using distributions of the surface wind field derived from a Bayesian Hierarchical Model (BHM). The ocean members are forced with samples from the posterior distribution of the wind during the assimilation of satellite and in-situ ocean data. The initial condition perturbations are then consistent with the best available knowledge of the ocean state at the beginning of the forecast and amplify the ocean response to uncertainty only in the forcing. The ECMWF Ensemble Prediction System (EPS) surface winds are also used to generate a reference ocean ensemble to evaluate the performance of the BHM method that proves to be eective in concentrating the forecast uncertainty at the ocean meso-scale. An height month experiment of weekly BHM ensemble forecasts was performed in the framework of the operational Mediterranean Forecasting System. The statistical properties of the ensemble are compared with model errors throughout the seasonal cycle proving the existence of a strong relationship between forecast uncertainties due to atmospheric forcing and the seasonal cycle.

Constraint handling rules. Compositional semantics and program transformation

This thesis intends to investigate two aspects of Constraint Handling Rules (CHR). It proposes a compositional semantics and a technique for program transformation. CHR is a concurrent committed-choice constraint logic programming language consisting of guarded rules, which transform multi-sets of atomic formulas (constraints) into simpler ones until exhaustion [Frü06] and it belongs to the declarative languages family. It was initially designed for writing constraint solvers but it has recently also proven to be a general purpose language, being as it is Turing equivalent [SSD05a]. Compositionality is the first CHR aspect to be considered. A trace based compositional semantics for CHR was previously defined in [DGM05]. The reference operational semantics for such a compositional model was the original operational semantics for CHR which, due to the propagation rule, admits trivial non-termination. In this thesis we extend the work of [DGM05] by introducing a more refined trace based compositional semantics which also includes the history. The use of history is a well-known technique in CHR which permits us to trace the application of propagation rules and consequently it permits trivial non-termination avoidance [Abd97, DSGdlBH04]. Naturally, the reference operational semantics, of our new compositional one, uses history to avoid trivial non-termination too. Program transformation is the second CHR aspect to be considered, with particular regard to the unfolding technique. Said technique is an appealing approach which allows us to optimize a given program and in more detail to improve run-time efficiency or spaceconsumption. Essentially it consists of a sequence of syntactic program manipulations which preserve a kind of semantic equivalence called qualified answer [Frü98], between the original program and the transformed ones. The unfolding technique is one of the basic operations which is used by most program transformation systems. It consists in the replacement of a procedure-call by its definition. In CHR every conjunction of constraints can be considered as a procedure-call, every CHR rule can be considered as a procedure and the body of said rule represents the definition of the call. While there is a large body of literature on transformation and unfolding of sequential programs, very few papers have addressed this issue for concurrent languages. We define an unfolding rule, show its correctness and discuss some conditions in which it can be used to delete an unfolded rule while preserving the meaning of the original program. Finally, confluence and termination maintenance between the original and transformed programs are shown. This thesis is organized in the following manner. Chapter 1 gives some general notion about CHR. Section 1.1 outlines the history of programming languages with particular attention to CHR and related languages. Then, Section 1.2 introduces CHR using examples. Section 1.3 gives some preliminaries which will be used during the thesis. Subsequentely, Section 1.4 introduces the syntax and the operational and declarative semantics for the first CHR language proposed. Finally, the methodologies to solve the problem of trivial non-termination related to propagation rules are discussed in Section 1.5. Chapter 2 introduces a compositional semantics for CHR where the propagation rules are considered. In particular, Section 2.1 contains the definition of the semantics. Hence, Section 2.2 presents the compositionality results. Afterwards Section 2.3 expounds upon the correctness results. Chapter 3 presents a particular program transformation known as unfolding. This transformation needs a particular syntax called annotated which is introduced in Section 3.1 and its related modified operational semantics !0t is presented in Section 3.2. Subsequently, Section 3.3 defines the unfolding rule and prove its correctness. Then, in Section 3.4 the problems related to the replacement of a rule by its unfolded version are discussed and this in turn gives a correctness condition which holds for a specific class of rules. Section 3.5 proves that confluence and termination are preserved by the program modifications introduced. Finally, Chapter 4 concludes by discussing related works and directions for future work.

Interconnection systems for highly integrated computation devices

The sustained demand for faster,more powerful chips has beenmet by the availability of chip manufacturing processes allowing for the integration of increasing numbers of computation units onto a single die. The resulting outcome, especially in the embedded domain, has often been called SYSTEM-ON-CHIP (SOC) or MULTI-PROCESSOR SYSTEM-ON-CHIP (MPSOC). MPSoC design brings to the foreground a large number of challenges, one of the most prominent of which is the design of the chip interconnection. With a number of on-chip blocks presently ranging in the tens, and quickly approaching the hundreds, the novel issue of how to best provide on-chip communication resources is clearly felt. NETWORKS-ON-CHIPS (NOCS) are the most comprehensive and scalable answer to this design concern. By bringing large-scale networking concepts to the on-chip domain, they guarantee a structured answer to present and future communication requirements. The point-to-point connection and packet switching paradigms they involve are also of great help in minimizing wiring overhead and physical routing issues. However, as with any technology of recent inception, NoC design is still an evolving discipline. Several main areas of interest require deep investigation for NoCs to become viable solutions: • The design of the NoC architecture needs to strike the best tradeoff among performance, features and the tight area and power constraints of the on-chip domain. • Simulation and verification infrastructure must be put in place to explore, validate and optimize the NoC performance. • NoCs offer a huge design space, thanks to their extreme customizability in terms of topology and architectural parameters. Design tools are needed to prune this space and pick the best solutions. • Even more so given their global, distributed nature, it is essential to evaluate the physical implementation of NoCs to evaluate their suitability for next-generation designs and their area and power costs. This dissertation focuses on all of the above points, by describing a NoC architectural implementation called ×pipes; a NoC simulation environment within a cycle-accurate MPSoC emulator called MPARM; a NoC design flow consisting of a front-end tool for optimal NoC instantiation, called SunFloor, and a set of back-end facilities for the study of NoC physical implementations. This dissertation proves the viability of NoCs for current and upcoming designs, by outlining their advantages (alongwith a fewtradeoffs) and by providing a full NoC implementation framework. It also presents some examples of additional extensions of NoCs, allowing e.g. for increased fault tolerance, and outlines where NoCsmay find further application scenarios, such as in stacked chips.

Las pardelas pleistocenas de Hueso del Caballo

[EN] Osseous remains of numerous shearwaters and of eggshells of the only egg laid and often undamaged appear in the sand dunes of Jandía Península and more specifically in "Hueso del Caballo" which was one of their breeding si tes. Toe bones also visible in the sandy walls of a quarry were uncovered by the present aeolian erosion and are found in a layerwith Hymmenoptera nests and terrestrial mollusc shells in a dune dated by radiocarbon as being more than 30.000 years old. This fact proves there was a halt in the aeolian processes during a humid interval, probably related to the African aterían pluvial in Upper Pleistocene and a fixation of the dunes by vegetation.