Transformation by example

La transformation de modèles consiste à transformer un modèle source en un modèle cible conformément à des méta-modèles source et cible. Nous distinguons deux types de transformations. La première est exogène où les méta-modèles source et cible représentent des formalismes différents et où tous les éléments du modèle source sont transformés. Quand elle concerne un même formalisme, la transformation est endogène. Ce type de transformation nécessite généralement deux étapes : l’identification des éléments du modèle source à transformer, puis la transformation de ces éléments. Dans le cadre de cette thèse, nous proposons trois principales contributions liées à ces problèmes de transformation. La première contribution est l’automatisation des transformations des modèles. Nous proposons de considérer le problème de transformation comme un problème d'optimisation combinatoire où un modèle cible peut être automatiquement généré à partir d'un nombre réduit d'exemples de transformations. Cette première contribution peut être appliquée aux transformations exogènes ou endogènes (après la détection des éléments à transformer). La deuxième contribution est liée à la transformation endogène où les éléments à transformer du modèle source doivent être détectés. Nous proposons une approche pour la détection des défauts de conception comme étape préalable au refactoring. Cette approche est inspirée du principe de la détection des virus par le système immunitaire humain, appelée sélection négative. L’idée consiste à utiliser de bonnes pratiques d’implémentation pour détecter les parties du code à risque. La troisième contribution vise à tester un mécanisme de transformation en utilisant une fonction oracle pour détecter les erreurs. Nous avons adapté le mécanisme de sélection négative qui consiste à considérer comme une erreur toute déviation entre les traces de transformation à évaluer et une base d’exemples contenant des traces de transformation de bonne qualité. La fonction oracle calcule cette dissimilarité et les erreurs sont ordonnées selon ce score. Les différentes contributions ont été évaluées sur d’importants projets et les résultats obtenus montrent leurs efficacités.

Squeak by Example

Squeak by Example, intended for both students and developers, will guide you gently through the Squeak language and environment by means of a series of examples and exercises. This book is made available under the Creative Commons Attribution-ShareAlike 3.0 license.

Pharo by Example

Pharo by Example, intended for both students and developers, will guide you gently through the Pharo language and environment by means of a series of examples and exercises. This book is made available under the Creative Commons Attribution-ShareAlike 3.0 license.

An introduction to ordinary differential equations by computer algebra-systems

We report on an elementary course in ordinary differential equations (odes) for students in engineering sciences. The course is also intended to become a self-study package for odes and is is based on several interactive computer lessons using REDUCE and MATHEMATICA . The aim of the course is not to do Computer Algebra (CA) by example or to use it for doing classroom examples. The aim ist to teach and to learn mathematics by using CA-systems.

Forest-related partnerships in Brazilian Amazonia: There is more to sustainable forest management than reduced impact logging

There is more to sustainable forest management than reduced impact logging. Partnerships between multiple actors are needed in order to create the institutional context for good forest governance and sustainable forest management and stimulate the necessary local community involvement. The idea behind this is that the parties would be able to achieve more jointly than on their own by combining assets, knowledge, skills and political power of actors at different levels of scale. This article aims to demonstrate by example the nature and variety of forest-related partnerships in Brazilian Amazonia. Based on the lessons learned from these cases and the authors` experience, the principal characteristics of successful partnerships are described, with a focus on political and socioeconomic aspects. These characteristics include fairly negotiated partnership objectives, the active involvement of the public sector as well as impartial brokers, equitable and cost-effective institutional arrangements, sufficient and equitably shared benefits for all the parties involved, addressing socioeconomic drawbacks, and taking measures to maintain sustainable exploitation levels. The authors argue that, in addition to product-oriented partnerships which focus on sustainable forest management, there is also a need for politically oriented partnerships based on civil society coalitions. The watchdog function of these politically oriented partnerships, their awareness-raising campaigns regarding detrimental policies and practices, and advocacy for good forest governance are essential for the creation of the appropriate legal and political framework for sustainable forest management. (C) 2008 Elsevier B.V. All rights reserved.

Marine bioprospecting - Trawling for treasure and pleasure

This Microreview seeks to highlight the molecular diversity present in marine organisms, and illustrate by example some of the challenges encountered in exploring this resource. Marine natural products exhibit an impressive array of structural motifs, many of which are derived from biosynthetic pathways that are uniquely marine, Most importantly some marine metabolites possess noteworthy biological activities, activities that have potential application outside marine ecosystems, such as antibiotics, antiparasitics, anticancer agents etc... The isolation, spectroscopic characterisation and assignment of stereostructures to these unusual metabolites is both challenging and rewarding. Examples featured in this Microreview follow a common theme in that they are all recent accounts of the isolation of natural products from Australian marine sponges, carried out in the laboratories of the author. In addition to presenting brief comments on specific structure elucidation strategies, an effort is made to emphasize techniques for solving stereochemical issues, as well as to speculate on the biosynthetic origins of some of these exotic marine natural products.

Evaluating design proposals for complex systems with work domain analysis

In this paper we propose a new framework for evaluating designs based on work domain analysis, the first phase of cognitive work analysis. We develop a rationale for a new approach to evaluation by describing the unique characteristics of complex systems and by showing that systems engineering techniques only partially accommodate these characteristics. We then present work domain analysis as a complementary framework for evaluation. We explain this technique by example by showing how the Australian Defence Force used work domain analysis to evaluate design proposals for a new system called Airborne Early Warning and Control. This case study also demonstrates that work domain analysis is a useful and feasible approach that complements standard techniques for evaluation and that promotes a central role for human factors professionals early in the system design and development process. Actual or potential applications of this research include the evaluation of designs for complex systems.

Designing teams for first-of-a-kind, complex systems using the initial phases of cognitive work analysis: Case study

We present a technique for team design based on cognitive work analysis (CWA). We first develop a rationale for this technique by discussing the limitations of conventional approaches for team design in light of the special characteristics of first-of-a-kind, complex systems. We then introduce the CWA-based technique for team design and provide a case study of how we used this technique to design a team for a first-of-a-kind, complex military system during the early stages of its development. In addition to illustrating the CWA-based technique by example, the case study allows us to evaluate the technique. This case study demonstrates that the CWA-based technique for team design is both feasible and useful, although empirical validation of the technique is still necessary. Applications of this work include the design of teams for first-of-a-kind, complex systems in military, medical, and industrial domains.

Rock fracture mean trace length estimation and confidence interval calculation using maximum likelihood methods

There has been a resurgence of interest in the mean trace length estimator of Pahl for window sampling of traces. The estimator has been dealt with by Mauldon and Zhang and Einstein in recent publications. The estimator is a very useful one in that it is non-parametric. However, despite some discussion regarding the statistical distribution of the estimator, none of the recent works or the original work by Pahl provide a rigorous basis for the determination a confidence interval for the estimator or a confidence region for the estimator and the corresponding estimator of trace spatial intensity in the sampling window. This paper shows, by consideration of a simplified version of the problem but without loss of generality, that the estimator is in fact the maximum likelihood estimator (MLE) and that it can be considered essentially unbiased. As the MLE, it possesses the least variance of all estimators and confidence intervals or regions should therefore be available through application of classical ML theory. It is shown that valid confidence intervals can in fact be determined. The results of the work and the calculations of the confidence intervals are illustrated by example. (C) 2003 Elsevier Science Ltd. All rights reserved.

O poder e a moda vestimentar

Nas mutações da moda, sendo também Influenciadas por acontecimentos políticos e espirituais, é a acção condicionante de certos indivíduos que é determinante. Limitando-se ao campo do vestuário, investigação das interferências, proporcionais à força dos regimes, do poder sobre a moda, tanto pela lei como pelo exemplo; desde a corte do Duque de Borgonha às legislações sumptuárias e ao caso paradigmático de Luís XIV, até à China de Mao, referindo casos da sociedade portuguesa. ABSTRACT - Mutations in fashion are influenced by the action of certain people. The research is limited to the field of clothing, the connections between power and fashion, both by law and by example, from the court of the Duke of Burgundy to the laws that restraint luxury, and the paradigmatic study cases of Louis XIV and the China under the rule of Mao Tse Tung. Some cases of the Portuguese society are also referred.

Data mining languages for business intelligence

Doctoral Thesis in Information Systems and Technologies Area of Engineering and Manag ement Information Systems

Крупные оползнево-гравитационные явления, как подтверждающий феномен ареала возможного возникновения сильных землетрясений (на примере южного кавказа)

ნაშრომში წარმოდგენილია საქართველოს ტერიტორიაზე ცალკეული მონაკვეთებისათვის არსებული მასალების განზოგადებისა და საველე გეოლოგიურ-გემორფოლოგიური და სეისმოტექნიკური გამოკვლევების რეზულტატები. ამ გამოკვლევების შედეგად გამოვლენილ იქნა აქამდე უცნობი სრულიად ახალგაზრდა ტექტონიკური დეფორმაციული, როგორც ტერასულ დანალექ, ასევე ძირითად კლდოვან ქანებში და მათთან დაკავშირებული სეისმოგენური მეწყერულ-გრავიტაციული წარმონაქმნები.

Exact tests for correlation and for the slope in simple linear regressions without making assumptions

We present an exact test for whether two random variables that have known bounds on their support are negatively correlated. The alternative hypothesis is that they are not negatively correlated. No assumptions are made on the underlying distributions. We show by example that the Spearman rank correlation test as the competing exact test of correlation in nonparametric settings rests on an additional assumption on the data generating process without which it is not valid as a test for correlation.We then show how to test for the significance of the slope in a linear regression analysis that invovles a single independent variable and where outcomes of the dependent variable belong to a known bounded set.

Iowa Plan for Energy Independence, 2007

Iowa’s first annual Energy Independence Plan kicks off a new era of state leadership in energy transformation. Supported by Governor Chet Culver, Lieutenant Governor Patty Judge, and the General Assembly, the Office of Energy Independence was established in 2007 to coordinate state activities for energy independence. The commitment of the state to lead by example creates opportunities for state government to move boldly to achieve its goals, track its progress, measure the results, and report the findings. In moving to energy independence, the active engagement of every Iowan will be sought as the state works in partnership with others in achieving the goals. While leading ongoing efforts within the state, Iowa can also show the nation how to effectively address the critical, complex challenges of shifting to a secure energy future of affordable energy, cost-effective efficiency, reliance on sustainable energy, and enhanced natural resources and environment. In accordance with House File 918, “the plan shall provide cost effective options and strategies for reducing the state’s consumption of energy, dependence on foreign sources of energy, use of fossil fuels, and greenhouse gas emissions. The options and strategies developed in the plan shall provide for achieving energy independence from foreign sources of energy by the year 2025.” Energy independence is a term which means different things to different people. We use the term to mean that we are charting our own course in the emerging energy economy. Iowa can chart its own course by taking advantage of its resources: a well-educated population and an abundance of natural resources, including rich soil, abundant surface and underground water, and consistent wind patterns. Charting our own course also includes further developing our in-state industry, capturing renewable energy, and working toward improved energy efficiency. Charting our own course will allow Iowa to manage its economic destiny while protecting our environment, while creating new, “green collar” industries in every corner of Iowa. Today Iowa is in a remarkable position to capitalize on the current situation globally and at home. Energy drives the economy and has impacts on the environment, undeniable links that are integral for energy security and independence. With the resources available within the state, the combination of significant global changes in energy and research leading to new technologies that continue to drive down the costs of sustainable energy, Iowa can take bold strides toward the goal of energy independence by 2025. The Office of Energy Independence, with able assistance from hundreds of individuals, organizations, agencies, and advisors, presents its plan for Iowa’s Energy Independence.

Kaapeloinnin kannattavuus Fortum Sähkönjakelun keskijänniteverkoissa

Tässä diplomityössä tutkittiin kaapeloinnin kannattavuutta keskijänniteverkossa. Työssä vertailtiin ilmajohto- ja kaapelirakenteen teknisen elinkaaren aikaisia kustannuksia. Myös rakennevaihtoehtojen ympäristöllisiä vaikutuksia tarkasteltiin ja vertailtiin. Kustannusten vertailu tapahtui esimerkkilaskelmin olemassa olevaan verkkoon. Tarkoituksena oli löytää Fortum Sähkönjakelulle mahdollisimman tyypilliset alueet tarkasteltaviksi kohteiksi. Esimerkkialueiksi valittiin Talvisillan haja-asutuslähtö Somerolta, Ruskon maaseututaajama sekä Kaarinan teollisuusalue. Vertailulaskelmat suoritettiin siten, että kullekin alueelle tehtiin sekä ilmajohto- että kaapelisaneeraus ja laskettiin kummankin rakenteen investointi-, ylläpito- ja keskeytyskustannukset. Laskelmissa selvisi, että haja-asutusalueella kaapeli ja ilmajohto olivat lähes yhtä edulliset. Maaseututaajamassa sekä teollisuusalueella ilmajohto oli selvemmin edullisempi nykyisellä kustannustasolla. Lisäksi laskettiin kustannusvertailu tulevaisuudessa mahdollisesti tapahtuvien erilaisten kustannusmuutosten lähtöarvoilla. Useassa skenaariossa kaapeli oli haja-asutusalueella edullisempi. Maaseututaajamassa ja teollisuusalueella ilmajohto pysyi pääasiassa edullisempana vaihtoehtona.