To assess the value of satellite photographs in resource evaluation on a national scale

The author has identified the following significant results. Small scale ERTS-1 imagery has enabled investigators to study large areas at a time. The imagery appears to confirm a new theory that Archean greenstone belts in NE Botswanna and SW Rhodesia are co-extensive and that these so-called schist relics formerly covered a much wider area than is apparent now. The central parts of the region bounded by the schist relics are believed to have suffered granitization. A remnant of an older drainage system to the southwest of the Okavango Swamps, which seems to have been newly discovered on the imagery, may be an indication of the seismic instability of the region. Even quite small earth movements in the swamps could radically affect the direction of water flow. The imagery has proved successful in showing areas infested by the water weed Salvinia Auriculata in the Chobe and Zambesi rivers. This will be immensely valuable in later surveys on the ground. If the satellite was to have continued working, the imagery would have enabled workers to determine the extent of encroachment of the weed without recourse to field observations

SIGMA: Scala Internal Domain-Specific Languages for Model Manipulations

International audienceModel manipulation environments automate model operations such as model consistency checking and model transformation. A number of external model manipulation Domain-Specific Languages (DSL) have been proposed, in particular for the Eclipse Modeling Framework (EMF). While their higher levels of abstraction result in gains in expressiveness over general-purpose languages, their limitations in versatility, performance, and tool support together with the need to learn new languages may significantly contribute to accidental complexities. In this paper, we present Sigma, a family of internal DSLs embedded in Scala for EMF model consistency checking, model-to-model and model-to-text transformations. It combines the benefits of external model manipulation DSLs with general-purpose programming taking full advantage of Scala versatility, performance and tool support. The DSLs are compared to the state-of-the-art Epsilon languages in non-trivial model manipulation tasks that resulted in 20% to 70% reduction in code size and significantly better performance

Pattern-based model-to-model transformation: Handling attribute conditions

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-02408-5_7Proceedings of Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on patterns describing allowed or forbidden relations between two models, which are compiled into operational mechanisms to perform forward and backward transformations. In this paper, we extend the approach for handling attribute conditions expressed in some suitable logic, adapt the operational mechanisms based on graph transformation to relax attribute handling by constraint solving, and discuss heuristics for the compilation of patterns into rules.Work supported by the Spanish Ministry of Science and Innovation, projects METEORIC (TIN2008-02081),MODUWEB (TIN2006-09678) and FORMALISM (TIN2007-66523).Moreover, part of this work was done during a sabbatical leave of the third author at TU Berlin, with financial support from the Ministerio de Ciencia e Innovaci´on (grant ref. PR2008-0185). We thank the referees for their useful comment

Correctness, completeness and termination of pattern-based model-to-model transformation

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-03741-2_26Proceedings of Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009.Model-to-model (M2M) transformation consists in trans- forming models from a source to a target language. Many transformation languages exist, but few of them combine a declarative and relational style with a formal underpinning able to show properties of the transformation. Pattern-based transformation is an algebraic, bidirectional, and relational approach to M2M transformation. Specifications are made of patterns stating the allowed or forbidden relations between source and target models, and then compiled into low level operational mechanisms to perform source-to-target or target-to-source transformations. In this paper, we study the compilation into operational triple graph grammar rules and show: (i) correctness of the compilation of a specification without negative patterns; (ii) termination of the rules, and (iii) completeness, in the sense that every model considered relevant can be built by the rules.Work supported by the Spanish Ministry of Science and Innovation, projects METEORIC (TIN2008-02081), MODUWEB (TIN2006-09678) and FORMALISM (TIN2007-66523). Moreover, part of this work was done during a sabbatical leave of the first author at TU Berlin, with financial support from the Spanish Ministry of Science and Innovation (grant ref. PR2008-0185). We thank the referees for their useful comment

HLA gene expression is altered in whole blood and placenta from women who later developed preeclampsia

© The American Physiological Society.Preeclampsia is a multisystem disease that significantly contributes to maternal and fetal morbidity and mortality. In this study, we used a non-biased microarray approach to identify dysregulated genes in maternal whole blood samples which may be associated with the development of preeclampsia. Whole blood samples were obtained at 28 wk of gestation from 5 women who later developed preeclampsia (cases) and 10 matched women with normotensive pregnancies (controls). Placenta samples were obtained from an independent cohort of 19 women with preeclampsia matched with 19 women with normotensive pregnancies. We studied gene expression profiles using Illumina microarray in blood and validated changes in gene expression in whole blood and placenta tissue by qPCR. We found a transcriptional profile differentiating cases from controls; 336 genes were significantly dysregulated in blood from women who developed preeclampsia. Functional annotation of microarray results indicated that most of the genes found to be dysregulated were involved in inflammatory pathways. While general trends were preserved, only HLA-A was validated in whole blood samples from cases using qPCR (2.30-± 0.9-fold change) whereas in placental tissue HLA-DRB1 expression was found to be significantly increased in samples from women with preeclampsia (5.88-± 2.24-fold change). We have identified that HLA-A is upregulated in the circulation of women who went on to develop preeclampsia. In placenta of women with preeclampsia we identified that HLA-DRB1 is upregulated. Our data provide further evidence for involvement of the HLA gene family in the pathogenesis of preeclampsia

Smart Tourism Destinations: Can the Destination Management Organizations Exploit Benefits of the ICTs? Evidences from a Multiple Case Study

Recent developments of ICTs enable new ways to experience tourism and conducted to the concept of smart tourism. The adoption of cutting-edge technologies and its combination with innovative organizational models fosters cooperation, knowledge sharing, and open innovation among service providers in tourism destination. Moreover, it offers innovative services to visitors. In few words, they become smart tourism destinations. In this paper, we report first results of the SMARTCAL project aimed at conceiving a digital platform assisting Destination Management Organizations (DMOs) in providing smart tourism services. A DMO is the organization charged with managing the tourism offer of a collaborative network, made up of service providers acting in a destination. In this paper, we adopted a multiple case studies approach to analyze five Italian DMOs. Our aims were to investigate (1) if, and how, successful DMOs were able to offer smart tourism services to visitors; (2) if the ICTs adoption level was related to the collaboration level among DMO partners. First results highlighted that use of smart technologies was still in an embryonic stage of development, and it did not depend from collaboration levels