Inter-modelling: From Theory to Practice

Proocedings of: ACM/IEEE 13 th International Conference on Model Driven Engineering Languages and Systems. Oslo, Norway, October 3-8, 2010.We define inter-modelling as the activity of building models that describe how modelling languages should be related. This includes many common activities in Model Driven Engineering, like the specification of model-to-model transformations, the definition of model matching and model traceability constraints, the development of inter-model consistency maintainers and exogenous model management operators. Recently, we proposed a formal approach to specify the allowed and forbidden relations between two modelling languages by means of bidirectional declarative patterns. Such specifications were used to generate graph rewriting rules able to enforce the relations in (forward and backward) model-to-model transformation scenarios. In this paper we extend the usage of patterns for two further inter-modelling scenarios &- model matching and model traceability &- and report on an EMF-based tool implementing them. The tool allows a high-level analysis of specifications based on the theory developed so far, as well as manipulation of traces by compilation of patterns into the Epsilon Object Language.Work funded by the Spanish Ministry of Science (project TIN2008-02081 and grants JC2009-00015, PR2009-0019), the R&D programme of the Madrid Region (project S2009/TIC-1650), the European Commission’s 7th Framework programme (grant #248864 (MADES)), and the Engineering and Physical Sciences Research Council (EPSRC) (grant EP/E034853/1).Publicad

The mean field theory of spin glasses: the heuristic replica approach and recent rigorous results

The mathematically correct computation of the spin glasses free energy in the infinite range limit crowns 25 years of mathematic efforts in solving this model. The exact solution of the model was found many years ago by using a heuristic approach; the results coming from the heuristic approach were crucial in deriving the mathematical results. The mathematical tools used in the rigorous approach are quite different from those of the heuristic approach. In this note we will review the heuristic approach to spin glasses in the light of the rigorous results; we will also discuss some conjectures that may be useful to derive the solution of the model in an alternative way.Comment: 12 pages, 1 figure; lecture at the Flato Colloquia Day, Thursday 27 November, 200

transML: A Family of Languages to Model Model Transformations

Proceedings of: 13th International Conference on Model Driven Engineering Languages and Systems, MODELS 2010, Oslo, Norway, October 3-8, 2010Model transformation is one of the pillars of Model-Driven Engineering (MDE). The increasing complexity of systems and modelling languages has dramatically raised the complexity and size of model transformations. Even though many transformation languages and tools have been proposed in the last few years, most of them are directed to the implementation phase of transformation development. However, there is a lack of cohesive support for the other phases of the transformation development, like requirements, analysis, design and testing. In this paper, we propose a unified family of languages to cover the life-cycle of transformation development. Moreover, following an MDE approach, we provide tools to partially automate the progressive refinement of models between the different phases and the generation of code for specific transformation implementation languages.Work funded by the Spanish Ministry of Science (project TIN2008-02081 and grants JC2009-00015,PR2009-0019), the R&Dprogramme of the Madrid Region (project S2009/TIC-1650), and the European Commission’s 7th Framework programme (grants #218575 (INESS), #248864 (MADES))

Spin glass models with Kac interactions

In this paper I will review my work on disordered systems -spin glass model with two body and $p>2$ body interactions- with long but finite interaction range $R$. I will describe the relation of these model with Mean Field Theory in the Kac limit and some attempts to go beyond mean field.Comment: Proceedings of the Stat-phys23 conferenc

Morphophysiological Plasticity Of Plagiotropic Branches In Response To Change In The Coffee Plant Spacing Within Rows

Changes in spacing within rows may alter the morphology of the coffee plant by affecting the physiological constituents of its productivity. Even though some common plant responses to crop spacing variation are known, there is yet no scientific evidence that elucidates the effects of decreased spacing on the sourcesink relation in plagiotropic branches and, its association with both productivity and eco-physiological aspects of coffee leaves, mainly for new coffee cultivars in the Brazilian savannah. The aim of this work was to characterize the morphophysiological responses of Coffea arabica L. cultivars subjected to different spacing between plants within rows. Four Arabica coffee cultivars (Catuaí Vermelho IAC 144, Catuaí Amarelo IAC 62, Catuaí Amarelo IAC 32, and Tupi RN IAC 1669-13) were transplanted in January 2010. A row spacing of 0.40, 0.50, 0.60, 0.70, and 0.80 m was adopted between plants, maintaining a 3.80-m constant between rows. A randomized block design with four replicates was applied. During the experimental period, several morphophysiological characteristics of plagiotropic fruiting branches were evaluated in the months of April and December in 2013 and, in April 2014. The evaluation was conducted based on two canopy positions; canopy toward the rows, representing low exposure to light or toward the inter-row spacing, representing high light exposure. Leaf gas exchange, chlorophyll fluorescence, and photosynthetic pigments levels were minimally or not at all affected by changing either the coffee cultivars or plant spacing. During the first evaluation, the leaf-to-fruitratio linearly increased, regardless of the cultivar. Light-exposed branches showed higher content of carotenoids and chlorophyll a in leaves and lower leaf-to-fruit-ratio as compared to those within the plant canopy. A major reduction in the number of fruits per branch was observed which was closely related to a parallel decrease in the number of fruits per node but not in the number of fruiting nodes per branch. Although this response was largely cultivar-dependent, it also changed according to the branch position in the hedgerow. Our results suggest that all tested cultivars exhibit high morphophysiological plasticity and have the potential to grow under different plant spacing within rows.3763819383

Real spin glasses relax slowly in the shade of hierarchical trees

The Parisi solution of the mean-field spin glass has been widely accepted and celebrated. Its marginal stability in 3d and its complexity however raised the question of its relevance to real spin glasses. This paper gives a short overview of the important experimental results which could be understood within the mean-field solution. The existence of a true phase transition and the particular behaviour of the susceptibility below the freezing temperature, predicted by the theory, are clearly confirmed by the experimental results. The behaviour of the complex order parameter and of the Fluctuation Dissipation ratio are in good agreement with results of spontaneous noise measurements. The very particular ultrametric symmetry, the key feature of the theory, provided us with a simple description of the rejuvenation and memory effects observed in experiment. Finally, going a step beyond mean-field, the paper shortly discusses new analyses in terms of correlated domains characterized by their length scales, as well as new experiments on superspin glasses which compare well with recent theoretical simulations.Comment: To appear in the proceedings of "Wandering with Curiosity in Complex Landscapes", a scientific conference in honour of Giorgio Parisi for his 60th birthday, Roma, September 8-10 2008 (submitted for the special issue of the Journal of Statistical Physics, 2009

Observational Constraints on Chaplygin Quartessence: Background Results

We derive the constraints set by several experiments on the quartessence Chaplygin model (QCM). In this scenario, a single fluid component drives the Universe from a nonrelativistic matter-dominated phase to an accelerated expansion phase behaving, first, like dark matter and in a more recent epoch like dark energy. We consider current data from SNIa experiments, statistics of gravitational lensing, FR IIb radio galaxies, and x-ray gas mass fraction in galaxy clusters. We investigate the constraints from this data set on flat Chaplygin quartessence cosmologies. The observables considered here are dependent essentially on the background geometry, and not on the specific form of the QCM fluctuations. We obtain the confidence region on the two parameters of the model from a combined analysis of all the above tests. We find that the best-fit occurs close to the $\Lambda$CDM limit ($\alpha=0$). The standard Chaplygin quartessence ($\alpha=1$) is also allowed by the data, but only at the $\sim2\sigma$ level.Comment: Replaced to match the published version, references update

Desempenho do inhame (taro) em plantio direto e no consórcio com crotalária, sob manejo orgânico.

Estudaram-se os efeitos do plantio direto em cobertura morta de aveia-preta e do consórcio com Crotalaria juncea, em sistema orgânico de produção de inhame, em ensaio na EE de Nova Friburgo(Pesagro-Rio), região serrana do estado do Rio de Janeiro. Utilizouse o delineamento de blocos ao acaso com quatro repetições, em esquema fatorial 2 x 2, onde os tratamentos corresponderam ao: modo de plantio (direto ou convencional) e modo de cultivo (monocultivo ou consórcio com crotalária). O cultivo consorciado com a leguminosa promoveu maior altura nas plantas do inhame, assim como reduziu a queima de folhas pelos raios solares. A população infestante de ervas espontâneas foi mais efetivamente controlada com a combinação entre consórcio e plantio direto. Nenhum dos tratamentos influenciou a produtividade do inhame, que foi considerada satisfatória, indicando o potencial do manejo orgânico adotado

Strange particle production in proton-proton collisions at s=0.9\sqrt{s}=0.9 TeV with ALICE at the LHC

The production of mesons containing strange quarks (K$^0_s$, $\phi$) and both singly and doubly strange baryons ($\Lambda$, Anti-$\Lambda$, and $\Xi$+Anti-$\Xi$) are measured at central rapidity in pp collisions at $\sqrt{s}$ = 0.9 TeV with the ALICE experiment at the LHC. The results are obtained from the analysis of about 250 k minimum bias events recorded in 2009. Measurements of yields (dN/dy) and transverse momentum spectra at central rapidities for inelastic pp collisions are presented. For mesons, we report yields () of 0.184 $\pm$ 0.002 stat. $\pm$ 0.006 syst. for K$^0_s$ and 0.021 $\pm$ 0.004 stat. $\pm$ 0.003 syst. for $\phi$. For baryons, we find = 0.048 $\pm$ 0.001 stat. $\pm$ 0.004 syst. for $\Lambda$, 0.047 $\pm$ 0.002 stat. $\pm$ 0.005 syst. for Anti-$\Lambda$ and 0.0101 $\pm$ 0.0020 stat. $\pm$ 0.0009 syst. for $\Xi$+Anti-$\Xi$. The results are also compared with predictions for identified particle spectra from QCD-inspired models and provide a baseline for comparisons with both future pp measurements at higher energies and heavy-ion collisions.Comment: 33 pages, 21 captioned figures, 10 tables, authors from page 28, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/387