The ongoing population growth is resulting in rapid urbanization, new infrastructure development and increasing demand for the Earth's natural resources (e.g., water, oil/gas, minerals). This, together with the current climate change and increasing impact of natural hazards, imply that the engineering geology profession is called upon to respond to new challenges. It is recognized that these challenges are particularly relevant in the developing and newly industrialized regions.The idea beyond this Volume is to highlight the role of engineering geology and geological engineering in fostering sustainable use of the Earth's resources, smart urbanization and infrastructure protection from geohazards. We selected 19 contributions from across the globe (16 countries, five continents), which cover a wide spectrum of applied interdisciplinary and multidisciplinary research, from geology to engineering. By illustrating a series of practical case studies, the Volume offers a rather unique opportunity to share the experiences of engineering geologists and geological engineers who tackle complex problems working in different environmental and social settings. The specific topics addressed by the papers included in the Volume are the following: pre-design site investigations; physical and mechanical properties of engineering soils; novel, affordable sensing technologies for long-term geotechnical monitoring of engineering structures; slope stability assessments and monitoring in active open-cast mines; control of environmental impacts and hazards posed by abandoned coal mines; assessment of and protection from geohazards (landslides, ground fracturing, coastal erosion); applications of geophysical surveying to investigate active faults and ground instability; numerical modeling of seabed deformations related to active faulting; deep geological repositories and waste disposal; aquifer assessment based on the integrated hydrogeological and geophysical investigation; use of remote sensing and GIS tools for the detection of environmental hazards and mapping of surface geology.

The ongoing population growth is resulting in rapid urbanization, new infrastructure development and increasing demand for the Earth's natural resources (e.g., water, oil/gas, minerals). This, together with the current climate change and increasing impact of natural hazards, imply that the engineering geology profession is called upon to respond to new challenges. It is recognized that these challenges are particularly relevant in the developing and newly industrialized regions. The idea beyond this volume is to highlight the role of engineering geology and geological engineering in fostering sustainable use of the Earth's resources, smart urbanization and infrastructure protection from geohazards. We selected 19 contributions from across the globe (16 countries, five continents), which cover a wide spectrum of applied interdisciplinary and multidisciplinary research, from geology to engineering. By illustrating a series of practical case studies, the volume offers a rather unique opportunity to share the experiences of engineering geologists and geological engineers who tackle complex problems working in different environmental and social settings. The specific topics addressed by the authors of chapters included in the volume are the following: pre-design site investigations; physical and mechanical properties of engineering soils; novel, affordable sensing technologies for long-term geotechnical monitoring of engineering structures; slope stability assessments and monitoring in active open-cast mines; control of environmental impacts and hazards posed by abandoned coal mines; assessment of and protection from geohazards (landslides, ground fracturing, coastal erosion); applications of geophysical surveying to investigate active faults and ground instability; numerical modeling of seabed deformations related to active faulting; deep geological repositories and waste disposal; aquifer assessment based on the integrated hydrogeological and geophysical investigation; use of remote sensing and GIS tools for the detection of environmental hazards and mapping of surface geology. This volume is part of the proceedings of the 1st GeoMEast International Congress and Exhibition on Sustainable Civil Infrastructures, Egypt 2017.

This book constitutes the proceedings of the 12th European Conference on Modelling Foundations and Applications, ECMFA 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016. The 16 papers presented in this volume were carefully reviewed and selected from 47 submissions. The committee decided to accept 16 papers, 12 papers for the Foundations Track and 4 papers for the Applications Track. Papers on a wide range of MBE aspects were accepted, including topics such as multi- and many models, language engineering, UML and meta-modeling, experience reports and case studies, and variability and uncertainty.

This textbook describes the theory and the pragmatics of using and engineering high-level software languages - also known as modeling or domain-specific languages (DSLs) - for creating quality software. This includes methods, design patterns, guidelines, and testing practices for defining the syntax and the semantics of languages. While remaining close to technology, the book covers multiple paradigms and solutions, avoiding a particular technological silo. It unifies the modeling, the object-oriented, and the functional-programming perspectives on DSLs. The book has 13 chapters. Chapters 1 and 2 introduce and motivate DSLs. Chapter 3 kicks off the DSL engineering lifecycle, describing how to systematically develop abstract syntax by analyzing a domain. Chapter 4 addresses the concrete syntax, including the systematic engineering of context-free grammars. Chapters 5 and 6 cover the static semantics - with basic constraints as a starting point and type systems for advanced DSLs. Chapters 7 (Transformation), 8 (Interpretation), and 9 (Generation) describe different paradigms for designing and implementing the dynamic semantics, while covering testing and other kinds of quality assurance. Chapter 10 is devoted to internal DSLs. Chapters 11 to 13 show the application of DSLs and engage with simpler alternatives to DSLs in a highly distinguished domain: software variability. These chapters introduce the underlying notions of software product lines and feature modeling. The book has been developed based on courses on model-driven software engineering (MDSE) and DSLs held by the authors. It aims at senior undergraduate and junior graduate students in computer science or software engineering. Since it includes examples and lessons from industrial and open-source projects, as well as from industrial research, practitioners will also find it a useful reference. The numerous examples include code in Scala 3, ATL, Alloy, C#, F#, Groovy, Java, JavaScript, Kotlin, OCL, Python, QVT, Ruby, and Xtend. The book contains as many as 277 exercises. The associated code repository facilitates learning and using the examples in a course.

This book constitutes the proceedings of the 19th International Conference on Fundamental Approaches to Software Engineering, FASE 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification.

Change is never easy. For seventeen year old Nicolette Vanelle, life is about to change... Relocating to California, Nicolette finds herself starting over. A new high school. New friends. New life. Attending her first Hollywood event, Nicolette meets bad boy Michael St. Clair, and unknowingly becomes the object of his obsession. Feeling overwhelmed by Michael's attention, she escapes the party to go to the beach where she meets Simon Paulson. He takes her breath away, an inevitable connection leading to romance between the young couple. Nicolette and Simon's happiness is short lived and their relationship is put to the ultimate test when tragedy befalls Nicolette. Can Nicolette find the strength and courage to emerge from the darkness she fell into? Will Simon's unconditional love be enough to bring her back into the light? Life can change in an instant, leaving you changed forever.

Following her larger than life best friend to NYU was a dream come true. Modeling part-time to pay the bills, while she earned her teaching degree, Reese Mitchell never imagined her Nana's prediction of finding her future husband could be possible. Then she met...HIM Walker Reed, her handsome stranger. He was sexy as sin and one look from him, she was hooked. Loving Walker was effortless. He captured her heart with one touch making Reese lose herself in him. From strangers to lovers, they became two hearts...one love. Outside forces conspire to tear their love apart leaving her to wonder if two people from different worlds should stay together? When promised "Forever" from the man who loves her, Reese is left with only one thing to do. She trusts the promises made. She believes in the happily ever after. She believes in...FOREVER.

Studienarbeit aus dem Jahr 2007 im Fachbereich Organisation und Verwaltung, Note: 100 Punkte, Universitat Kassel, Veranstaltung: Innovationstechnische Informationen (IT), 9 Quellen im Literaturverzeichnis, Sprache: Deutsch, Abstract: Diese Arbeit befasst sich mit den Einsatzgebieten elektronischer Signaturen am Beispiel von Sozialversicherungstragern. Die sich rasant entwickelnde Informationstechnik bietet die Moglichkeit von grundlegenden Veranderungen im Ablauf und in der generellen Ausrichtung von Verwaltungsprozessen und - strukturen. Dieses Potenzial kann dazu genutzt werden, nicht nur die Kommunikation zwischen Verwaltung und Burger effizienter zu gestalten. Ein weiterer Aspekt ist die Modellierung verwaltungsinterner Ablaufe, die it-gestutzt straffer gestaltet werden konnen. Im Gegensatz zur Privatwirtschaft, dort konnen Rechtsgeschafte vielfach sozusagen per Mausklick (Stichwort: Click & Buy") abgewickelt werden, ist die vollstandige elektronische Abwicklung eines Verwaltungsverfahren eher als Ausnahme zu betrachten. Als Beispiel sei an dieser Stelle die Deutsche Emissionshandelsstelle genannt, die vollstandige elektronische Verfahren anbietet . Grund hierfur ist, dass bei vielen Ablaufen, auf Grund von Schriftformerfordernissen bzw. zur beweiskraftigen Dokumentation von Willenserklarungen, eigenhandige Unterschriften notwendig sind. Diese mussen bei elektronischen Verfahren entsprechend abgebildet werden konnen. Zur Losung dieses Problems sieht der Gesetzgeber die Verwendung von elektronischen Signaturen (nach SigG) vor, die je nach Niveau materiellrechtlich eigenhandigen Unterschriften gleichgestellt sind (vgl. FormanpassungsG). Innerhalb der Sozialversicherung haben Dokumentenmanagementsysteme seit Ende der 90er Jahre des vorherigen Jahrhunderts eine weite Verbreitung. Ohne zu sehr auf spatere Ausfuhrungen vorweg zugreifen, elektronische Signaturen werden dort im Rahmen der Beweissicherung dieser sog. optischen Archiv verwendet. Die vorliegende Arbei