Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is devoted to one of the most critical areas of applied mathematics, namely the Laplace transform technique for linear time invariance systems arising from the fields of electrical and mechanical engineering. It focuses on introducing Laplace transformation and its operating properties, finding inverse Laplace transformation through different methods, and describing transfer function applications for mechanical and electrical networks to develop input and output relationships. It also discusses solutions of initial value problems, the state-variables approach, and the solution of boundary value problems connected with partial differential equations.

Laplace transformation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Epithelial cells. --- Cell transformation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Laplace transformation. --- Transformation, Laplace --- Calculus, Operational --- Differential equations --- Transformations (Mathematics)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Model Transformation Consistency Synchronisation Language --- Modell Transformation Konsistenz Synchronisierung Sprache

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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