TY - JOUR AU - Trächtler, Ansgar AU - Wernsdörfer, Andreas ID - 23361 JF - Frontiers in Industrial Process Tomography, Engineering Foundation TI - Direct Algebraic Reconstruction in Electromagnetic Flow Tomography ER - TY - JOUR AU - Trächtler, Ansgar ID - 23362 JF - Frontiers in Industrial Process Tomography, Engineering Foundation TI - Stress Tensor Tomography Using Integrated Photoelasticity ER - TY - CONF AU - Kienegger-Domik, Gitta ED - Maurer, H. ID - 21786 T2 - Proceedings of ED-MEDIA `95 TI - Intelligent visualization systems in educational environments ER - TY - CONF AU - Meyer auf der Heide, Friedhelm AU - Scheideler, Christian ID - 2187 T2 - ESA TI - Routing with Bounded Buffers and Hot-Potato Routing in Vertex-Symmetric Networks ER - TY - CONF AU - Meyer auf der Heide, Friedhelm AU - Scheideler, Christian ID - 2207 T2 - SPAA TI - Space-Efficient Routing in Vertex-Symmetric Networks (Extended Abstract) ER - TY - CONF AU - Meyer auf der Heide, Friedhelm AU - Scheideler, Christian AU - Stemann, Volker ID - 2208 T2 - STACS TI - Exploiting Storage Redundancy to Speed Up Randomized Shared Memory Simulations ER - TY - CONF AB - We present a combination of recent extensions to single-pushout graph transformations, as there are attribution, application conditions and amalgamated graph transformations and add a simple transaction concept on top of this formalism. Thereby, we provide the formal basis for several examples, where these concepts are used in combination. AU - Heckel, Reiko AU - Müller, Jürgen AU - Taentzer, Gabriele AU - Wagner, Annika ID - 7831 IS - B-19 T2 - Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science TI - Attributed Graph Transformations with Controlled Application of Rules ER - TY - CONF AU - Thoben, Wilfried AU - Appelrath, Hans-Jürgen AU - Sauer, Stefan ID - 7832 T2 - Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany) TI - Record Linkage of Anonymous Data by Control Numbers ER - TY - CONF AB - Single pushout graph transformations at injective matches are extended by negative application conditions. It is shown, how right-sided application conditions can be transformed into equivalent left-sided ones. Based on this result, conditional derived rules are introduced and a theorem, similiar to the double pushout embedding theorem is shown. Finally, three variants of contextual application conditions are discussed with respect to their expressive power and expected results. AU - Heckel, Reiko ID - 7833 IS - B-19 T2 - Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science TI - Embedding of Conditional Graph Transformations ER - TY - CHAP AU - Kremer, H.-Hugo ED - Braukmann, U. ED - Euler, D. ED - Kremer, H.-H. ED - Theis, M. ID - 7976 T2 - Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung. TI - Planung und Durchführung der Ausbildung ER - TY - CHAP AU - Euler, D. AU - Kremer, H.-Hugo AU - Theis, M. ED - Braukmann, U. ED - Euler, D. ED - Kremer, H.-H. ED - Theis, M ID - 8076 T2 - Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk. Dozentenhandbuch für Teil IV der Meisterausbildung. TI - Grundfragen der Berufsbildung ER - TY - CHAP AU - Euler, D. AU - Kremer, H.-Hugo AU - Theis, M. ED - Euler, D. ED - Kremer, H.-Hugo ED - Theis, M. ID - 8077 T2 - Meisterprüfung - Lernen für die Praxis, Ausbilden im Handwerk TI - Grundfragen der Berufsbildung ER - TY - CHAP AU - Kremer, H.-Hugo ED - Braukmann, U. ED - Diettrich, A. ED - Kremer, H.-H. ED - Sloane, P.F.E. ED - Stickling, E. ID - 8078 T2 - Meisterprüfung - Lernen für die Praxis - Unternehmensführung 1 TI - Existenzgründung ER - TY - CONF AU - Krauter, Stefan ID - 8097 T2 - Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995. TI - Solar Electricity up to 30% less expensive by optical and thermal enhanced PV modules ER - TY - CONF AU - Onneken, K. AU - Krauter, Stefan ID - 8098 T2 - Proceedings of the 1995 ISES Solar World Congress, Harare (Simbabwe), 11.–15. September 1995 TI - STOPV: A Development Tool for Thermal and Optical Optimization of PV Module Encapsulations ER - TY - CONF AU - Krauter, Stefan ID - 8099 T2 - Proceedings of the ISES Solar World Congress 1995, Harare (Simbabwe), 11.–15. September 1995 TI - Actual Optical and Thermal Performance of PV-Modules ER - TY - CONF AU - Krauter, Stefan ID - 8100 T2 - Proceedings of the 13th European Photovoltaic Solar Energy Conference, Nizza (Frankreich), 23.–27. Oktober 1995, S. 2306–2309. TI - Thermal and Optical Enhanced PV-Modules ER - TY - GEN AU - Conrad, Mirko AU - Gajewsky, Magdalena AU - Holl-Biniasz, Rainer AU - Rudolf, Michael AU - Demuth, Jochen AU - Weber, Stephan AU - Heckel, Reiko AU - Müller, Jürgen AU - Taentzer, Gabriele AU - Wagner, Annika ID - 8194 TI - Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem ER - TY - GEN AB - Several object-oriented modeling approaches propose to describe the dynamic behaviour of objects by state transition diagrams. None of them provides precise rules or conditions for the interrelation between the behaviour description of classes and those of their subclasses. In this paper, we discuss this interrelation in detail. It turns out that one has to distinguish between the observable and the invocable behaviour of objects and that different compatibility requirements between the diagrams exist depending on the type of behaviour. AU - Ebert, Jürgen AU - Engels, Gregor ID - 8195 TI - Specialization of Object Life Cycle Definitions ER - TY - GEN AU - Engels, Gregor AU - Schürr, Andy ID - 8196 TI - Encapsulated Hierarchical Graphs, Graph Types, and Meta Types ER -