الصفحة 1
الصفحة 1
Graph-theoretic concepts in computer science ; 46th International Workshop, WG 2020, Leeds, UK, June 24–26, 2020, Revised Selected Papers
This book constitutes the revised papers of the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2020, held in Leeds, UK, in June 2020. The workshop was held virtually due to the COVID-19 pandemic. The 32 full papers presented in this volume were carefully reviewed and selected from 94 submissions. They cover a wide range of areas, aiming to present emerging research results and to identify and explore directions of future research of concepts on graph theory and how they can be applied to various areas in computer science.
Graph-theoretic concepts in computer science ; 34th International Workshop, WG 2008, Durham, UK, June 30 – July 2, 2008. Revised Papers
This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2008, held in Durham, UK, in June/July 2008.The 30 revised full papers presented together with 3 invited paper were carefully reviewed and selected from 76 submissions. The papers feature original results on all aspects of graph-theoretic concepts in Computer Science, e.g. structural graph theory, sequential, parallel, and distributed graph and network algorithms and their complexity, graph grammars and graph rewriting systems.
Graph Transformations ; 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings
This book constitutes the refereed proceedings of the 4th International Conference on Graph Transformations, ICGT 2008, held in Leicester, UK, in September 2008.The 27 revised full papers presented together with 5 tutorial and workshop papers and 3 invited lectures were carefully selected from 57 submissions. All current aspects in graph drawing are addressed including hypergraphs and termgraph rewriting, applications of graph transformation, execution of graph transformations, compositional systems, validation and verification, graph languages and special transformation concepts, as well as patterns and model transformations.
Graph Transformations ; 3rd International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams and visual sentences) that are useful when describing complex structures and systems in a direct and intuitive way. These structures are often enriched with formalisms that model their evolution via suitable kinds of transformations. The ?eld of the conference was concerned with the theory, applications, and implementation issues of such formalisms. Particularemphasis wasputonmetamodelswhichcanaccommodateavarietyofgraphicalstructures within the same abstract theory.
Graph Transformation ; 13th International Conference, ICGT 2020, Held as Part of STAF 2020, Bergen, Norway, June 25–26, 2020, Proceedings
This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.* The 16 research papers and 4 tool paper presented in this book were carefully reviewed and selected from 40 submissions. One invited paper is also included. The papers deal with the following topics: theoretical advances; application domains; and tool presentations.
Electrochemistry of Immobilized Particles and Droplets
Immobilizing particles or droplets on electrodes is a novel and most powerful technique for studying the electrochemical reactions of three-phase systems. It gives access to a wealth of information, ranging from quantitative and phase analysis to thermodynamic and kinetic data of electrode processes. Three-phase electrodes with immobilized droplets provide information on the electrochemistry of redox liquids and of compounds dissolved in inert organic liquids. Such measurements allow the determination of the Gibbs energies of the transfer of cations and anions between immiscible solvents, and thus make it possible to assess the hydrophobicity of ions – a property that is of great importance for pharmaceutical applications, biological studies, and for many fields of chemistry.The monograph gives, for the first time, a comprehensive overview of the results published in more than 300 papers over the last 15 years. The experiments are explained in detail, applications from many different fields are presented, and the theoretical basis of the systems is outlined.
Control Systems Theory and Applications for Linear Repetitive Processes
After motivating examples, this monograph gives substantial new results on the analysis and control of linear repetitive processes. These include further applications of the abstract model based stability theory which, in particular, shows the critical importance to the dynamics developed of the structure of the initial conditions at the start of each new pass, the development of stability tests and performance bounds in terms of so-called 1D and 2D Lyapunov equations. It presents the development of a major bank of results on the structure and design of control laws, including the case when there is uncertainty in the process model description, together with numerically reliable computational algorithms. Finally, the application of some of these results in the area of iterative learning control is treated --- including experimental results from a chain conveyor system and a gantry robot system.
Calculus and mechanics on two-point homogenous riemannian spaces
The present monograph gives a short and concise introduction to classical and quantum mechanics on two-point homogenous Riemannian spaces, with empahsis on spaces with constant curvature. Chapter 1-4 provide the basic notations from differential geometry for studying two-body dynamics in these spaces. Chapter 5 deals with the problem of finding explicitly invariant expressions for the two-body quantum Hamiltonian. Chapter 6 addresses one-body problems in a central potential. Chapter 7 studies the classical counterpart of the quantum system of chapter 5. Chapter 8 investigates some applications in the quantum realm, namely for the coulomb and oscillator potentials.
Applications of Graph Transformations with Industrial Relevance ; 3rd International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007.
A Computational Differential Geometry Approach to Grid Generation
This monograph gives a detailed treatment of applications of geometric methods to advanced grid technology. It focuses on and describes a comprehensive approach based on the numerical solution of inverted Beltramian and diffusion equations with respect to monitor metrics for generating both structured and unstructured grids in domains and on surfaces.
