Listing 1 - 10 of 445 | << page >> |
Sort by
|
Choose an application
Choose an application
When complex IT systems are being developed, the usage of several programming and modelling languages can lead to inconsistencies that yield faulty designs and implementations. To address this problem, this work contributes a classification of consistency preservation challenges and an approach for preserving consistency. It is formalized using set theory and monitors changes to avoid matching and diffing problems. Three new languages that follow this preservation approach are presented.
Choose an application
This thesis is about a new model querying and transformation approach called FunnyQT which is realized as a set of APIs and embedded domain-specific languages (DSLs) in the JVM-based functional Lisp-dialect Clojure. Founded on a powerful model management API, FunnyQT provides querying services such as comprehensions, quantified expressions, regular path expressions, logic-based, relational model querying, and pattern matching. On the transformation side, it supports the definition of unidirectional model-to-model transformations, of in-place transformations, it supports defining bidirectional transformations, and it supports a new kind of co-evolution transformations that allow for evolving a model together with its metamodel simultaneously. Several properties make FunnyQT unique. Foremost, it is just a Clojure library, thus, FunnyQT queries and transformations are Clojure programs. However, most higher-level services are provided as task-oriented embedded DSLs which use Clojure's powerful macro-system to support the user with tailor-made language constructs important for the task at hand. Since queries and transformations are just Clojure programs, they may use any Clojure or Java library for their own purpose, e.g., they may use some templating library for defining model-to-text transformations. Conversely, like every Clojure program, FunnyQT queries and transformations compile to normal JVM byte-code and can easily be called from other JVM languages. Furthermore, FunnyQT is platform-independent and designed with extensibility in mind. By default, it supports the Eclipse Modeling Framework and JGraLab, and support for other modeling frameworks can be added with minimal effort and without having to modify the respective framework's classes or FunnyQT itself. Lastly, because FunnyQT is embedded in a functional language, it has a functional emphasis itself. Every query and every transformation compiles to a function which can be passed around, given to higher-order functions, or be parametrized with other functions.
Computer science. --- model transformation --- model querying --- Clojure --- FunnyQT --- graph transformation
Choose an application
Das Buch Urbane Orte beleuchtet einen der wohl populärsten Begriffe der Stadtplanung: Urbanität. Das Konzept der urbanen Orte ist eine Zusammenfassung der Qualitäten und Elemente, die einen urbanen Ort im europäischen Kontext ausmachen. Eine Anwendung findet dieses Konzept an ausgewählten zwischen- oder umgenutzten Konversionsflächen. Die Untersuchungen geben Einblicke in die Transformationsstrategien und erläutern jene Parameter und Akteure, welche für die Entwicklung entscheidend waren.
Umnutzung --- Transformation --- Konversion --- Urbanität --- Strategien
Choose an application
Art --- Cultural studies --- transformation --- métamorphose --- anamorphose
Choose an application
In the year we celebrate the fifteenth anniversary of the PhD programme in International Politics and Conflict Resolution, this book gathers contributions from the first nine PhDs who successfully completed their studies. The chapters now published are a synthesis of the doctoral theses defended within the context of the PhD programme, noting the patrimony of reflection that has been built, and which since the very beginning has been widening and deepening in thematic and methodological terms. Through these nine studies, we share with the readers’ community a reading of the world that has at its core the building of a multidimensional peace and that expresses the paths taken by this laboratory of debate and reflection that is this PhD programme. Expressing the plurality of approaches that the PhD embraces, these chapters adopt diverse angles regarding approaches to this multidimensional and demanding peace in the contemporary international system.
violence:conflict resolution|transformation --- international politics --- Peace
Choose an application
Cet ouvrage, publié grâce au concours des collectivités territoriales concernées, décrit, dans une perspective évolutive, les forces qui expliquent les transformations de la structure urbaine et de l'espace péri-urbain et régional que gouverne la ville. Redécouvertes par les aménageurs dans les années soixante-dix, aux temps d'un développement démographique effréné, ces villes ont-elles, à terme, répondu aux vœux du VIe Plan : devenir, avec l'arbitrage des métropoles, un nouveau relais dans la distribution de la croissance mais aussi symboliser le bonheur d'habiter ? Pour répondre à cette question l'auteur produit une méthodologie novatrice, qui relie à partir d'un corpus de données originales les parcours migratoires aux trajectoires sociales et professionnelles d'ex-ruraux venus à la ville, sur l'espace de plusieurs générations. Si l'évolution joue en faveur de l'uniformisation sociale à hauteur des groupes sociaux intermédiaires, la ville moyenne fait figure de plaque tournante de la société, et particulièrement Chalon, Mâcon et Bourg.
Urban Studies --- bourg --- urbanisme --- transformation urbaine --- démographie --- ville moyenne --- ville
Choose an application
The 7th Bandung Creative Movement conference presented the theme "Dynamics of Industrial Revolution 4.0" which discussed how the digital world and connectivity changed human culture in various aspects of life, and transformed in accordance to human needs and social culture. Digital technology has transformed society to serve people from manufacturing needs to smart cities, from network connectivity to people connectivity. The application of information technology has helped in improving live quality and environmental sustainability. Digital transformation is revolutionizing how businesses and workers interconnect to be more productive and efficient. The result is improved collaboration, faster processes and time-to-market, lower costs and better products. Devices are getting smarter, meaning they are able to perform more and more tasks without human intervention; moreover, these devices generate data that provide insights to further improve processes and gain greater efficiencies. Moreover, with the Internet of Things (IoT), all these smart devices are interconnected in ways that not only help make them even smarter, but also enhances the intelligence of the overall system. Digital technology is a formidable driver for the transformation of a highly carbon-dependent world into one that is more ecologically ‘smart.’ We are entering a new era of environmental innovation that is driving better alignment between technology and environmental goals. Since its first announcement in 2011, industrial revolution 4.0 has dynamically changed and transformed to adjust itself to the human needs and to serve more efficiency and effectiveness of everyday life as well as environmental enhancement. The 7th Bandung Creative Movement has brought forward discussions on dynamic changes, ups and downs, innovations, relations of industrial revolution of the internet of thing, data, automation, to human physical world, new art and aesthetic, business, product innovation, built environment, and education.
Choose an application
Des enseignes commerciales identiques, la ségrégation sociale et ethnique des quartiers, une pollution grandissante, l’émergence d’une élite internationale navigant d’une « ville globale » à une autre : c’est vers un même modèle que les cités du monde semblent se diriger. Si les raisons de s’inquiéter de cette tendance ne manquent pas, on peut s’interroger sur la réalité d’une figure unique, de standards imposant à terme une uniformité urbaine parfaite. Car la diversité des architectures, la pesanteur des héritages matériels et immatériels, la particularité persistante des modes de vie, impriment aux villes d’aujourd’hui des formes qui restent extraordinairement variées. Pour comprendre cette diversité, ce livre propose un nouveau modèle d’analyse invitant à s’intéresser aux transferts. Nous savons depuis longtemps que les villes se transforment à la faveur des migrations. Mais les déplacements d’autres acteurs – administrateurs, universitaires ou experts – font aussi voyager les mots et les choses. Le succès des modèles d’organisation sociale et spatiale qu’ils promeuvent, souvent à travers de grands organismes internationaux, dépend des contextes locaux de réception. Et les habitants – migrants et autochtones – viennent inscrire de façon singulière dans l’espace leurs manières de faire, leurs normes du vivre ensemble et leurs interprétations de labels internationaux. Éternels réceptacles et fabriques d’inégalités, les villes se conjuguent néanmoins au pluriel, sous des formes hybrides. Ce sont ces dynamiques que ce livre invite à explorer.
Urban Studies --- urbanisme --- transformation urbaine --- habitant --- ville moderne --- déplacement --- migration
Choose an application
In dieser Arbeit wird ein neuartiges Konzept für die Gefahrenanalyse als Teil eines aktiven Sicherheitssystems entwickelt. Die Überwachung der Gefahrenbereiche erfolgt berührungslos, mit Infrarot-, kapazitiven Sensoren und einem Kamerasystem. Die einzelnen Informationen werden in einem Bayesschen Netz fusioniert. Parallel hierzu läuft die Gefahrenanalyse. Das System arbeitet zuverlässig und ausreichend schnell. Das vorgestellte System ermöglicht eine Steigerung der Arbeitssicherheit.
Bildverarbeitung --- Sensortechnik --- Stochastisches Modell --- Datenfusion --- Objektverfolgung --- Hough-Transformation --- Bayes-Netz
Listing 1 - 10 of 445 | << page >> |
Sort by
|