KIELER Kiel Integrated Environment for Layout Eclipse RichClient
|
|
|
- Helena Baldwin
- 6 years ago
- Views:
Transcription
1 Light-Weight Synthesis of Ptolemy Diagrams with KIELER Ulf Rüegg, Christian Schneider, Christoph Daniel Schulze, Miro Spönemann, Christian Motika, and Reinhard von Hanxleden Real-Time Systems and Embedded Systems Group Department of Computer Science Christian-Albrechts-Universität zu Kiel, Germany KIELER Kiel Integrated Environment for Layout Eclipse RichClient 10th Ptolemy Miniconference Berkeley, 7 Nov Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 1 / 17
2 Ptolemy & KIELER Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 2 / 17
3 Graphical Modeling Short learning curve (palette, Drag&Drop) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 3 / 17
4 Graphical Modeling Short learning curve (palette, Drag&Drop) Readability (inspecting/understanding, mental map) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 3 / 17
5 Graphical Modeling Short learning curve (palette, Drag&Drop) Readability (inspecting/understanding, mental map) Visualization of dynamics: Simulation Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 3 / 17
6 Graphical Modeling Short learning curve (palette, Drag&Drop) Readability (inspecting/understanding, mental map) Visualization of dynamics: Simulation Validation (detect obvious model errors) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 3 / 17
7 Graphical Modeling (cont d) Widely used in today s industrial tool chains (e.g., SCADE) and academia (e.g., Ptolemy) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 4 / 17
8 Graphical Modeling (cont d) Widely used in today s industrial tool chains (e.g., SCADE) and academia (e.g., Ptolemy) Readability (overview gets lost quickly) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 4 / 17
9 Graphical Modeling (cont d) Widely used in today s industrial tool chains (e.g., SCADE) and academia (e.g., Ptolemy) Readability (overview gets lost quickly) Maintenance (requires lots of manual effort) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 4 / 17
10 Graphical Modeling (cont d) Readability (layout critical for understanding semantics) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 5 / 17
11 Graphical Modeling (cont d) - Model Browsing Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 6 / 17
12 Graphical Modeling (cont d) - Model Browsing Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 6 / 17
13 Graphical Modeling (cont d) - Model Browsing Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 6 / 17
14 Graphical Modeling (cont d) - Model Browsing Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 6 / 17
15 Graphical Modeling (cont d) - Model Browsing Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 6 / 17
16 Graphical Modeling (cont d) - Model Browsing Fokus&Context, inner and outer ports vs. performance Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 6 / 17
17 Graphical Modeling vs. Textual Modeling Emerging trend: Textual Modeling Concrete syntax is text Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 7 / 17
18 Graphical Modeling vs. Textual Modeling Emerging trend: Textual Modeling Concrete syntax is text Rapid Development (good tooling support, e.g., Xtext) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 7 / 17
19 Graphical Modeling vs. Textual Modeling Emerging trend: Textual Modeling Concrete syntax is text Rapid Development (good tooling support, e.g., Xtext) Handling (model diffs, version control, tool interchange) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 7 / 17
20 Graphical Modeling vs. Textual Modeling Emerging trend: Textual Modeling Concrete syntax is text Rapid Development (good tooling support, e.g., Xtext) Handling (model diffs, version control, tool interchange) Readability, Maintenance (formatter) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 7 / 17
21 Graphical Modeling vs. Textual Modeling Emerging trend: Textual Modeling Concrete syntax is text Rapid Development (good tooling support, e.g., Xtext) Handling (model diffs, version control, tool interchange) Readability, Maintenance (formatter) Readability (harder to inspect a larger model, mental map) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 7 / 17
22 Graphical Modeling vs. Textual Modeling Emerging trend: Textual Modeling Concrete syntax is text Rapid Development (good tooling support, e.g., Xtext) Handling (model diffs, version control, tool interchange) Readability, Maintenance (formatter) Readability (harder to inspect a larger model, mental map) Validation (harder to see model errors) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 7 / 17
23 Graphical Modeling vs. Textual Modeling Emerging trend: Textual Modeling Concrete syntax is text Rapid Development (good tooling support, e.g., Xtext) Handling (model diffs, version control, tool interchange) Readability, Maintenance (formatter) Readability (harder to inspect a larger model, mental map) Validation (harder to see model errors) Visualization of dynamics: Simulation Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 7 / 17
24 Get all benefits from graphical modeling Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 8 / 17
25 Get all benefits from graphical modeling Preserve all the benefits from textual modeling Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 8 / 17
26 Get all benefits from graphical modeling Preserve all the benefits from textual modeling Automatic synthesis of diagrams: KIELER Light-Weight Diagram (KLighD) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 8 / 17
27 Foundations & Concept Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 9 / 17
28 Functionality Details Synthesis of Diagrams m odel KLighD diagram [C. Schneider et al., VL/HCC 13] Input: Model (dsl, xml, moml) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 10 / 17
29 Functionality Details Synthesis of Diagrams m odel KLighD diagram [C. Schneider et al., VL/HCC 13] Input: Model (dsl, xml, moml) Output: Configurable diagram Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 10 / 17
30 Functionality Details Synthesis of Diagrams m odel KLighD diagram [C. Schneider et al., VL/HCC 13] Input: Model (dsl, xml, moml) Output: Configurable diagram Diagram options: E.g., show transition labels Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 10 / 17
31 Functionality Details Synthesis of Diagrams m odel KLighD diagram [C. Schneider et al., VL/HCC 13] Input: Model (dsl, xml, moml) Output: Configurable diagram Diagram options: E.g., show transition labels Layout options: E.g., direction or spacing Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 10 / 17
32 Functionality Details Synthesis of Diagrams m odel KLighD diagram [C. Schneider et al., VL/HCC 13] Input: Model (dsl, xml, moml) Output: Configurable diagram Diagram options: E.g., show transition labels Layout options: E.g., direction or spacing Requirement: Automatic Layout ( KIML) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 10 / 17
33 Functionality Details KLighD Architecture transformation A transformation B transformation... model KGraph & KRendering data KLighD KIML KGraph, KRendering & layout data KGraph, KRendering & layout data diagram [C. Schneider et al., VL/HCC 13] Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 11 / 17
34 KLighD Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 12 / 17
35 Ptolemy Case Study KIELER Case Study Ptolemy Case Study: Model Browsing Readability (normalized diagrams with fixed layout settings, configurable settings) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 13 / 17
36 Ptolemy Case Study KIELER Case Study Ptolemy Case Study: Model Browsing Readability (normalized diagrams with fixed layout settings, configurable settings) Hierarchy (no new windows, inner and outer ports) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 13 / 17
37 Ptolemy Case Study KIELER Case Study Ptolemy Case Study: Model Browsing Readability (normalized diagrams with fixed layout settings, configurable settings) Hierarchy (no new windows, inner and outer ports) Large models (Focus&Context, collapse & expand) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 13 / 17
38 Ptolemy Case Study KIELER Case Study Ptolemy Case Study: Model Browsing Readability (normalized diagrams with fixed layout settings, configurable settings) Hierarchy (no new windows, inner and outer ports) Large models (Focus&Context, collapse & expand) Complex models (filter details, e.g., transition labels) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 13 / 17
39 Ptolemy Case Study KIELER Case Study Ptolemy Case Study: Model Browsing Readability (normalized diagrams with fixed layout settings, configurable settings) Hierarchy (no new windows, inner and outer ports) Large models (Focus&Context, collapse & expand) Complex models (filter details, e.g., transition labels) Maintenance / Handling (create/edit the model in Vergil, generate it, use a textual DSL,...) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 13 / 17
40 Ptolemy Case Study KIELER Case Study Ptolemy Case Study: Model Browsing Readability (normalized diagrams with fixed layout settings, configurable settings) Hierarchy (no new windows, inner and outer ports) Large models (Focus&Context, collapse & expand) Complex models (filter details, e.g., transition labels) Maintenance / Handling (create/edit the model in Vergil, generate it, use a textual DSL,...) Light-Weight (no editing, no transactions just transient views) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 13 / 17
41 Ptolemy Case Study KIELER Case Study Model Editing & Simulation Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 14 / 17
42 Ptolemy Case Study KIELER Case Study Model Editing & Simulation Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 14 / 17
43 Summary and Outlook The End Summary and Outlook Models are created once but read many times Large and complex, hierarchical models are hard to read and maintain Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 15 / 17
44 Summary and Outlook The End Summary and Outlook Models are created once but read many times Large and complex, hierarchical models are hard to read and maintain Automatic light-weight diagrams help browsing/reading and maintaining models Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 15 / 17
45 Summary and Outlook The End Summary and Outlook Models are created once but read many times Large and complex, hierarchical models are hard to read and maintain Automatic light-weight diagrams help browsing/reading and maintaining models Models can be textual or graphical Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 15 / 17
46 Summary and Outlook The End To Go Further KLAUSKE, L. K., SCHULZE, C. D., SPÖNEMANN, M., AND VON HANXLEDEN, R. Improved layout for data flow diagrams with port constraints. In Proceedings of the 7th International Conference on the Theory and Application of Diagrams (DIAGRAMS 12) (2012), vol of LNAI, Springer, pp SCHNEIDER, C., SPÖNEMANN, M., AND VON HANXLEDEN, R. Just model! Putting automatic synthesis of node-link-diagrams into practice. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 13) (San Jose, CA, USA, Sept. 2013). With accompanying poster. SUGIYAMA, K., TAGAWA, S., AND TODA, M. Methods for visual understanding of hierarchical system structures. IEEE Transactions on Systems, Man and Cybernetics 11, 2 (Feb. 1981), UNI KIEL, REAL-TIME AND EMBEDDED SYSTEMS GROUP. KIELER webpage. VON HANXLEDEN, R., LEE, E. A., MOTIKA, C., AND FUHRMANN, H. Multi-view modeling and pragmatics in 2020 position paper on designing complex cyber-physical systems. In Proceedings of the 17th International Monterey Workshop on Development, Operation and Management of Large-Scale Complex IT Systems, LNCS (Oxford, UK, Dec. 2012), vol Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 16 / 17
47 Summary and Outlook The End Thank you for your attention and participation! Any questions or suggestions? Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 17 / 17
48 Ptolemy Case Study: Model Browsing Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 18 / 17
49 Ptolemy Case Study: Model Browsing (cont d) Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 19 / 17
50 General Data Structure Visualization KRendering KYPosition KPlacement absolute : EFloat relative : EFloat KBottomPosition KTopPosition KContainerRendering KGridPlacement KRightPosition numcolumns : EInt KPlacementData KXPosition absolute : EFloat relative : EFloat KPosition KAreaPlacementData KPointPlacementData KLeftPosition horizontalalignment : HorizontalAlignment verticalalignment : VerticalAlignment horizontalmargin : EFloat verticalmargin : EFloat minwidth : EFloat minheight : EFloat Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 20 / 17
51 KLighDning - Collaborative Browser-Based Viewer Christian Motika Light-Weight Synthesis of Ptolemy Diagrams with KIELER 21 / 17
Design of Embedded Systems: Models, Validation and Synthesis (EE 249) Lecture 9
Design of Embedded Systems: Models, Validation and Synthesis (EE 249) Lecture 9 Prof. Dr. Reinhard von Hanxleden Christian-Albrechts Universität Kiel Department of Computer Science Real-Time Systems and
Embedded Real-Time Systems
Embedded Real-Time Systems Reinhard von Hanxleden Christian-Albrechts-Universität zu Kiel Based on slides kindly provided by Edward A. Lee & Sanjit Seshia, UC Berkeley, Copyright 2008-11, All rights reserved
Intelligent GIS: Automatic generation of qualitative spatial information
Intelligent GIS: Automatic generation of qualitative spatial information Jimmy A. Lee 1 and Jane Brennan 1 1 University of Technology, Sydney, FIT, P.O. Box 123, Broadway NSW 2007, Australia janeb@it.uts.edu.au
Local SDI Collaboration on SOA
Institute of Geodesy Local SDI Collaboration on SOA Dr.-Ing. Jörg Blankenbach Dipl.-Ing. Christian Hickel FIG Commission 3 Workshop Paris, 27.10.2011 Agenda Local SDI in Hesse: GDI-Südhessen Overview Service
Biology 559R: Introduction to Phylogenetic Comparative Methods Topics for this week:
Biology 559R: Introduction to Phylogenetic Comparative Methods Topics for this week: Course general information About the course Course objectives Comparative methods: An overview R as language: uses and
Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. Bujorianu, M.C. and Bujorianu, M.L. MIMS EPrint:
Towards Co-Engineering Communicating Autonomous Cyber-physical Systems Bujorianu M.C. and Bujorianu M.L. 009 MIMS EPrint: 00.53 Manchester Institute for Mathematical Sciences School of Mathematics The
Text and multimedia languages and properties
Text and multimedia languages and properties (Modern IR, Ch. 6) I VP R 1 Introduction Metadata Text Markup Languages Multimedia Trends and Research Issues Bibliographical Discussion I VP R 2 Introduction
GIS-based Smart Campus System using 3D Modeling
GIS-based Smart Campus System using 3D Modeling Smita Sengupta GISE Advance Research Lab. IIT Bombay, Powai Mumbai 400 076, India smitas@cse.iitb.ac.in Concept of Smart Campus System Overview of IITB Campus
Ecco: A Hybrid Diff Tool for OWL 2 ontologies
Ecco: A Hybrid Diff Tool for OWL 2 ontologies Rafael S. Gonçalves, Bijan Parsia, and Ulrike Sattler School of Computer Science, University of Manchester, Manchester, United Kingdom Abstract. The detection
Code Clone Detection using Graphs and Adjacency Structures
Code Clone Detection using Graphs and Adjacency Structures Mukesh Kumar a, Lalit Kumar Sagar b, Saurabh Kumar c a, b, c Assistant Professor, Dr. K.N.M.I.E.T, India Abstract: - Code clone detection is the
Towards a traceability framework for model transformations in Kermeta
Towards a traceability framework for model transformations in Kermeta Jean-Rémy Falleri, Marianne Huchard, and Clémentine Nebut LIRMM, CNRS and Université de Montpellier 2, 161, rue Ada, 34392 Montpellier
Overview of Geospatial Open Source Software which is Robust, Feature Rich and Standards Compliant
Overview of Geospatial Open Source Software which is Robust, Feature Rich and Standards Compliant Cameron SHORTER, Australia Key words: Open Source Geospatial Foundation, OSGeo, Open Standards, Open Geospatial
Trade Space Exploration with Ptolemy II
Trade Space Exploration with Ptolemy II Shanna-Shaye Forbes Electrical Engineering and Computer Sciences University of California at Berkeley Technical Report No. UCB/EECS-2009-102 http://www.eecs.berkeley.edu/pubs/techrpts/2009/eecs-2009-102.html
Alexander Klippel and Chris Weaver. GeoVISTA Center, Department of Geography The Pennsylvania State University, PA, USA
Analyzing Behavioral Similarity Measures in Linguistic and Non-linguistic Conceptualization of Spatial Information and the Question of Individual Differences Alexander Klippel and Chris Weaver GeoVISTA
Formal Analysis of UML/OCL Models
Formal Analysis of UML/OCL Models Achim D. Brucker Vincenz-Priessnitz-Str. 1, 76131 Karlsruhe, Germany achim.brucker@sap.com University Bremen Computer Science Colloqium Bremen, 29th October 2008 Outline
Stochastic Petri Net. Ben, Yue (Cindy) 2013/05/08
Stochastic Petri Net 2013/05/08 2 To study a formal model (personal view) Definition (and maybe history) Brief family tree: the branches and extensions Advantages and disadvantages for each Applications
A Graph Rewriting Semantics for the Polyadic π-calculus
A Graph Rewriting Semantics for the Polyadic π-calculus BARBARA KÖNIG Fakultät für Informatik, Technische Universität München Abstract We give a hypergraph rewriting semantics for the polyadic π-calculus,
ZFL, Center of Remote Sensing of Land Surfaces, University of Bonn, Germany. Geographical Institute, University of Bonn, Germany
Communication of Research Results The IMPETUS Atlas H.-P. Thamm 1, M. Judex 1, O.Schultz 2, S.Krüger 1 & M. Christoph 3 1 ZFL, Center of Remote Sensing of Land Surfaces, University of Bonn, Germany 2 Geographical
Automatic Differentiation Equipped Variable Elimination for Sensitivity Analysis on Probabilistic Inference Queries
Automatic Differentiation Equipped Variable Elimination for Sensitivity Analysis on Probabilistic Inference Queries Anonymous Author(s) Affiliation Address email Abstract 1 2 3 4 5 6 7 8 9 10 11 12 Probabilistic
Lecture 9: DC Implementables II
Real-Time Systems Lecture 9: DC Implementables II 2017-11-28 Dr. Bernd Westphal Albert-Ludwigs-Universität Freiburg, Germany 9 2017-11-28 main Content Correctness Proof for the Gas Burner Implementables
WEB-BASED SPATIAL DECISION SUPPORT: TECHNICAL FOUNDATIONS AND APPLICATIONS
WEB-BASED SPATIAL DECISION SUPPORT: TECHNICAL FOUNDATIONS AND APPLICATIONS Claus Rinner University of Muenster, Germany Piotr Jankowski San Diego State University, USA Keywords: geographic information
Announcements PA2 due Friday Midterm is Wednesday next week, in class, one week from today
Loop Transformations Announcements PA2 due Friday Midterm is Wednesday next week, in class, one week from today Today Recall stencil computations Intro to loop transformations Data dependencies between
A set theoretic view of the ISA hierarchy
Loughborough University Institutional Repository A set theoretic view of the ISA hierarchy This item was submitted to Loughborough University's Institutional Repository by the/an author. Citation: CHEUNG,
Understanding Interlinked Data
Understanding Interlinked Data Visualising, Exploring, and Analysing Ontologies Olaf Noppens and Thorsten Liebig (Ulm University, Germany olaf.noppens@uni-ulm.de, thorsten.liebig@uni-ulm.de) Abstract Companies
GENERALIZATION IN THE NEW GENERATION OF GIS. Dan Lee ESRI, Inc. 380 New York Street Redlands, CA USA Fax:
GENERALIZATION IN THE NEW GENERATION OF GIS Dan Lee ESRI, Inc. 380 New York Street Redlands, CA 92373 USA dlee@esri.com Fax: 909-793-5953 Abstract In the research and development of automated map generalization,
Pysynphot: A Python Re Implementation of a Legacy App in Astronomy
Pysynphot: A Python Re Implementation of a Legacy App in Astronomy Vicki Laidler 1, Perry Greenfield, Ivo Busko, Robert Jedrzejewski Science Software Branch Space Telescope Science Institute Baltimore,
Mathematical Modelling Using SimScape (Electrical Systems)
Experiment Three Mathematical Modelling Using SimScape (Electrical Systems) Control Systems Laboratory Dr. Zaer Abo Hammour Dr. Zaer Abo Hammour Control Systems Laboratory 1. Model and simulate MultiDomain
Agilent MassHunter Profinder: Solving the Challenge of Isotopologue Extraction for Qualitative Flux Analysis
Agilent MassHunter Profinder: Solving the Challenge of Isotopologue Extraction for Qualitative Flux Analysis Technical Overview Introduction Metabolomics studies measure the relative abundance of metabolites
Portal for ArcGIS: An Introduction. Catherine Hynes and Derek Law
Portal for ArcGIS: An Introduction Catherine Hynes and Derek Law Agenda Web GIS pattern Product overview Installation and deployment Configuration options Security options and groups Portal for ArcGIS
A Novel Technique to Extract Statechart Representations of FSMs (Synopsis Report)
A Novel Technique to Extract Statechart Representations of FSMs (Synopsis Report) A report submitted in partial fulfillment of the requirements for the degree of Master of Technology In Computer Science
Linguistics and logic of common mathematical language I. Peter Koepke and Merlin Carl, Mathematical Institute Universität Bonn
The NAPROCHE Project Linguistics and logic of common mathematical language I Peter Koepke and Merlin Carl, Mathematical Institute Universität Bonn Mathematical texts are formulated in a semi-formal language,
Business Process Technology Master Seminar
Business Process Technology Master Seminar BPT Group Summer Semester 2008 Agenda 2 Official Information Seminar Timeline Tasks Outline Topics Sergey Smirnov 17 April 2008 Official Information 3 Title:
Agent-Based HOL Reasoning 1
Agent-Based HOL Reasoning 1 Alexander Steen Max Wisniewski Christoph Benzmüller Freie Universität Berlin 5th International Congress on Mathematical Software (ICMS 2016) 1 This work has been supported by
Why Is Cartographic Generalization So Hard?
1 Why Is Cartographic Generalization So Hard? Andrew U. Frank Department for Geoinformation and Cartography Gusshausstrasse 27-29/E-127-1 A-1040 Vienna, Austria frank@geoinfo.tuwien.ac.at 1 Introduction
Computation Tree Logic (CTL) & Basic Model Checking Algorithms
Computation Tree Logic (CTL) & Basic Model Checking Algorithms Martin Fränzle Carl von Ossietzky Universität Dpt. of Computing Science Res. Grp. Hybride Systeme Oldenburg, Germany 02917: CTL & Model Checking
Collaborative topic models: motivations cont
Collaborative topic models: motivations cont Two topics: machine learning social network analysis Two people: " boy Two articles: article A! girl article B Preferences: The boy likes A and B --- no problem.
F. Deubzer and U. Lindemann Institute of Product Development, Technische Universität München
10 TH INTERNATIONAL DESIGN STRUCTURE MATRIX CONFERENCE, DSM 08 11 12 NOVEMBER 2008, STOCKHOLM, SWEDEN FUNCTIONAL MODELLING FOR DESIGN SYNTHESIS USING MDM METHODOLOGY F. Deubzer and U. Lindemann Institute
Pushing the Standards Edge: Collaborative Testbeds to Accelerate Standards Development and Implementation
Pushing the Standards Edge: Collaborative Testbeds to Accelerate Standards Development and Implementation Mark E. Reichardt President mreichardt@opengeospatial.org 31 October 2006 2006 Open Geospatial
Performing Advanced Cartography with Esri Production Mapping
Esri International User Conference San Diego, California Technical Workshops July 25, 2012 Performing Advanced Cartography with Esri Production Mapping Tania Pal & Madhura Phaterpekar Agenda Outline generic
Inducing syntactic cut-elimination for indexed nested sequents
Inducing syntactic cut-elimination for indexed nested sequents Revantha Ramanayake Technische Universität Wien (Austria) IJCAR 2016 June 28, 2016 Revantha Ramanayake (TU Wien) Inducing syntactic cut-elimination
Recent Advances in Bayesian Inference Techniques
Recent Advances in Bayesian Inference Techniques Christopher M. Bishop Microsoft Research, Cambridge, U.K. research.microsoft.com/~cmbishop SIAM Conference on Data Mining, April 2004 Abstract Bayesian
Introduction. How to use this book. Linear algebra. Mathematica. Mathematica cells
Introduction How to use this book This guide is meant as a standard reference to definitions, examples, and Mathematica techniques for linear algebra. Complementary material can be found in the Help sections
Introduction to ArcMap
Introduction to ArcMap ArcMap ArcMap is a Map-centric GUI tool used to perform map-based tasks Mapping Create maps by working geographically and interactively Display and present Export or print Publish
Structure and Reaction querying in Reaxys
Structure and Reaction querying in Reaxys A short history Dr. Jürgen Swienty-Busch, Derrick Umali April 5 2017 1 2 Agenda The History: where do we come from? The Present: Reaxys content today Indexing
DEKDIV: A Linked-Data-Driven Web Portal for Learning Analytics Data Enrichment, Interactive Visualization, and Knowledge Discovery
DEKDIV: A Linked-Data-Driven Web Portal for Learning Analytics Data Enrichment, Interactive Visualization, and Knowledge Discovery Yingjie Hu, Grant McKenzie, Jiue-An Yang, Song Gao, Amin Abdalla, and
Leveraging Web GIS: An Introduction to the ArcGIS portal
Leveraging Web GIS: An Introduction to the ArcGIS portal Derek Law Product Management DLaw@esri.com Agenda Web GIS pattern Product overview Installation and deployment Configuration options Security options
Spatial analysis in XML/GML/SVG based WebGIS
Spatial analysis in XML/GML/SVG based WebGIS Haosheng Huang, Yan Li huang@cartography.tuwien.ac.at and yanli@scnu.edu.cn Research Group Cartography, Vienna University of Technology Spatial Information
EEOS 381 -Spatial Databases and GIS Applications
EEOS 381 -Spatial Databases and GIS Applications Lecture 5 Geodatabases What is a Geodatabase? Geographic Database ESRI-coined term A standard RDBMS that stores and manages geographic data A modern object-relational
An Introduction to GLIF
An Introduction to GLIF Mor Peleg, Ph.D. Post-doctoral Fellow, SMI, Stanford Medical School, Stanford University, Stanford, CA Aziz A. Boxwala, M.B.B.S, Ph.D. Research Scientist and Instructor DSG, Harvard
Extension of Electronical Nautical Charts for 3D interactive Visualization via CityGML
Extension of Electronical Nautical Charts for 3D interactive Visualization via CityGML Kristine HAASE und Reinhard KOCH Multimedia Information Processing Group, Department of Computer Science Christian-Albrechts-University
From the Venice Lagoon Atlas towards a collaborative federated system
From the Venice Lagoon Atlas towards a collaborative federated system City of Venice Alessandro Mulazzani CORILA Consortium for Coordination of Research Activities Concerning the Venice Lagoon System ISMAR-CNR
CASPA - A Tool for Symbolic Performance Evaluation and Stochastic Model Checking
CASPA - A Tool for Symbolic Performance Evaluation and Stochastic Model Checking Boudewijn R. Haverkort 1, Matthias Kuntz 1, Martin Riedl 2, Johann Schuster 2, Markus Siegle 2 1 : Universiteit Twente 2
Roark s Formulas for Excel Superposition Wizard
Universal Technical Systems Inc. Roark s Formulas for Excel Superposition Wizard UTS are proud to announce the introduction of Roark s Formulas for Excel. The 7 th Edition of Roark s Formulas for Stress
Practical Tips for Modelling Lot-Sizing and Scheduling Problems. Waldemar Kaczmarczyk
Decision Making in Manufacturing and Services Vol. 3 2009 No. 1 2 pp. 37 48 Practical Tips for Modelling Lot-Sizing and Scheduling Problems Waldemar Kaczmarczyk Abstract. This paper presents some important
The Geo Web: Enabling GIS on the Internet IT4GIS Keith T. Weber, GISP GIS Director ISU GIS Training and Research Center.
The Geo Web: Enabling GIS on the Internet IT4GIS Keith T. Weber, GISP GIS Director ISU GIS Training and Research Center In the Beginning GIS was independent The GIS analyst or manager was typically a oneperson
CSE370: Introduction to Digital Design
CSE370: Introduction to Digital Design Course staff Gaetano Borriello, Brian DeRenzi, Firat Kiyak Course web www.cs.washington.edu/370/ Make sure to subscribe to class mailing list (cse370@cs) Course text
BEHAVIORAL MODELING AND TRANSIENT ANALYSIS WITH ANALOG INSYDES
BEHAVIORAL MODELING AND TRANSIENT ANALYSIS WITH ANALOG INSYDES Thomas Halfmann, Eckhard Hennig, Manfred Thole ITWM Institut für Techno- und Wirtschaftsmathematik, Kaiserslautern, Germany {halfmann, hennig,
Visual Network Analysis of Dynamic Metabolic Pathways
Visual Network Analysis of Dynamic Metabolic Pathways Markus Rohrschneider 1, Alexander Ullrich 1, Andreas Kerren 2, Peter F. Stadler 1, and Gerik Scheuermann 1 1 Leipzig University, Department of Computer
Environment (Parallelizing Query Optimization)
Advanced d Query Optimization i i Techniques in a Parallel Computing Environment (Parallelizing Query Optimization) Wook-Shin Han*, Wooseong Kwak, Jinsoo Lee Guy M. Lohman, Volker Markl Kyungpook National
GEOG 508 GEOGRAPHIC INFORMATION SYSTEMS I KANSAS STATE UNIVERSITY DEPARTMENT OF GEOGRAPHY FALL SEMESTER, 2002
GEOG 508 GEOGRAPHIC INFORMATION SYSTEMS I KANSAS STATE UNIVERSITY DEPARTMENT OF GEOGRAPHY FALL SEMESTER, 2002 Course Reference #: 13210 Meeting Time: TU 2:05pm - 3:20 pm Meeting Place: Ackert 221 Remote
Safety and Reliability of Embedded Systems. (Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Obscurities and Open Issues
(Sicherheit und Zuverlässigkeit eingebetteter Systeme) Fault Tree Analysis Obscurities and Open Issues Content What are Events? Examples for Problematic Event Semantics Inhibit, Enabler / Conditioning
CS229 Project: Musical Alignment Discovery
S A A V S N N R R S CS229 Project: Musical Alignment iscovery Woodley Packard ecember 16, 2005 Introduction Logical representations of musical data are widely available in varying forms (for instance,
Homework 3 COMS 4705 Fall 2017 Prof. Kathleen McKeown
Homework 3 COMS 4705 Fall 017 Prof. Kathleen McKeown The assignment consists of a programming part and a written part. For the programming part, make sure you have set up the development environment as
How to Make or Plot a Graph or Chart in Excel
This is a complete video tutorial on How to Make or Plot a Graph or Chart in Excel. To make complex chart like Gantt Chart, you have know the basic principles of making a chart. Though I have used Excel
E-EROS TUTORIAL Encyclopedia of Reagents for Organic Synthesis at the UIUC Chemistry Library
E-EROS TUTORIAL Encyclopedia of Reagents for Organic Synthesis at the UIUC Chemistry Library For any questions about e-eros please contact Tina Chrzastowski or call (217) 333-3737. Introduction About e-eros:
Similarity for Conceptual Querying
Similarity for Conceptual Querying Troels Andreasen, Henrik Bulskov, and Rasmus Knappe Department of Computer Science, Roskilde University, P.O. Box 260, DK-4000 Roskilde, Denmark {troels,bulskov,knappe}@ruc.dk
Modelica An Object-Oriented Language for Physical System Modeling
Modelica An Object-Oriented Language for Physical System Modeling by Steven Xu Feb 19, 2003 Overview The Modelica design was initiated by Hilding Elmqvist in Sept. 1996 Has been designed by the developers
On Rewrite Constraints and Context Unification
On Rewrite Constraints and Context Unification Joachim Niehren 1,2,3 Universität des Saarlandes, Postfach 15 11 50, D-66041 Saarbrücken, Germany Sophie Tison 1,2 LIFL, Unicersité Lille 1, F-59655 Villeneuve
UNIT 4: USING ArcGIS. Instructor: Emmanuel K. Appiah-Adjei (PhD) Department of Geological Engineering KNUST, Kumasi
UNIT 4: USING ArcGIS Instructor: Emmanuel K. Appiah-Adjei (PhD) Department of Geological Engineering KNUST, Kumasi Getting to Know ArcGIS ArcGIS is an integrated collection of GIS software products ArcGIS
Partial model checking via abstract interpretation
Partial model checking via abstract interpretation N. De Francesco, G. Lettieri, L. Martini, G. Vaglini Università di Pisa, Dipartimento di Ingegneria dell Informazione, sez. Informatica, Via Diotisalvi
Introduction to Embedded Systems
Introduction to Embedded Systems Edward A. Lee & Sanjit A. Seshia UC Berkeley EECS 124 Spring 2008 Copyright 2008, Edward A. Lee & Sanjit A. Seshia, All rights reserved Lecture 7: Modeling Modal Behavior,
4CitySemantics. GIS-Semantic Tool for Urban Intervention Areas
4CitySemantics GIS-Semantic Tool for Urban Intervention Areas Nuno MONTENEGRO 1 ; Jorge GOMES 2 ; Paulo URBANO 2 José P. DUARTE 1 1 Faculdade de Arquitectura da Universidade Técnica de Lisboa, Rua Sá Nogueira,
University of Washington Department of Electrical Engineering EE512 Spring, 2006 Graphical Models
University of Washington Department of Electrical Engineering EE512 Spring, 2006 Graphical Models Jeff A. Bilmes Lecture 1 Slides March 28 th, 2006 Lec 1: March 28th, 2006 EE512
Lab 1 Uniform Motion - Graphing and Analyzing Motion
Lab 1 Uniform Motion - Graphing and Analyzing Motion Objectives: < To observe the distance-time relation for motion at constant velocity. < To make a straight line fit to the distance-time data. < To interpret
Formal Methods in Software Engineering
Formal Methods in Software Engineering Modeling Prof. Dr. Joel Greenyer October 21, 2014 Organizational Issues Tutorial dates: I will offer two tutorial dates Tuesdays 15:00-16:00 in A310 (before the lecture,
PV ESA, Villafranca del Castillo December 2, Structuring and Visualizing Microgravity Material Science Data in a Topic Maps Ontology (1)
PV 2009 ESA, Villafranca del Castillo December 2, 2009 Structuring and Visualizing Microgravity Material Science Data in a Topic Maps Ontology Alois Grimbach (1) Philipp Wever (1) Stephan Schneider (1)
Natural Language Processing
Natural Language Processing Info 59/259 Lecture 4: Text classification 3 (Sept 5, 207) David Bamman, UC Berkeley . https://www.forbes.com/sites/kevinmurnane/206/04/0/what-is-deep-learning-and-how-is-it-useful
Slope Fields and Differential Equations. Copyright Cengage Learning. All rights reserved.
Slope Fields and Differential Equations Copyright Cengage Learning. All rights reserved. Objectives Review verifying solutions to differential equations. Review solving differential equations. Review using
Declarative Merging of and Reasoning about Decision Diagrams
Declarative Merging of and Reasoning about Decision Diagrams Thomas Eiter Thomas Krennwallner Christoph Redl {eiter,tkren,redl}@kr.tuwien.ac.at September 12, 2011 Eiter T., Krennwallner T., Redl C. (TU
Seamless Model Driven Development and Tool Support for Embedded Software-Intensive Systems
Seamless Model Driven Development and Tool Support for Embedded Software-Intensive Systems Computer Journal Lecture - 22nd June 2009 Manfred Broy Technische Universität München Institut für Informatik
Using Matrix Decompositions in Formal Concept Analysis
Using Matrix Decompositions in Formal Concept Analysis Vaclav Snasel 1, Petr Gajdos 1, Hussam M. Dahwa Abdulla 1, Martin Polovincak 1 1 Dept. of Computer Science, Faculty of Electrical Engineering and
A Model of GIS Interoperability Based on JavaRMI
A Model of GIS Interoperability Based on Java Gao Gang-yi 1 Chen Hai-bo 2 1 Zhejiang University of Finance & Economics, Hangzhou 310018, China 2 College of Computer Science and Technology, Zhejiang UniversityHangzhou
ECE 407 Computer Aided Design for Electronic Systems. Simulation. Instructor: Maria K. Michael. Overview
407 Computer Aided Design for Electronic Systems Simulation Instructor: Maria K. Michael Overview What is simulation? Design verification Modeling Levels Modeling circuits for simulation True-value simulation
Imago: open-source toolkit for 2D chemical structure image recognition
Imago: open-source toolkit for 2D chemical structure image recognition Viktor Smolov *, Fedor Zentsev and Mikhail Rybalkin GGA Software Services LLC Abstract Different chemical databases contain molecule
A new chapter. medicacorp.com
A new chapter. \EDIC@ medicacorp.com Same operational reliability. Reliable performance, test after test. The photometer s xenon fl ash lamp typically has a 5-year use life and is maintenance-free. No
Shared Segmentation of Natural Scenes. Dependent Pitman-Yor Processes
Shared Segmentation of Natural Scenes using Dependent Pitman-Yor Processes Erik Sudderth & Michael Jordan University of California, Berkeley Parsing Visual Scenes sky skyscraper sky dome buildings trees
Overview, cont. Overview, cont. Logistics. Optional Reference #1. Optional Reference #2. Workload and Grading
Course staff CS389L: Automated Logical Reasoning Lecture 1: ntroduction and Review of Basics şıl Dillig nstructor: şil Dillig E-mail: isil@cs.utexas.edu Office hours: Thursday after class until 6:30 pm
A Probabilistic Relational Model for Characterizing Situations in Dynamic Multi-Agent Systems
A Probabilistic Relational Model for Characterizing Situations in Dynamic Multi-Agent Systems Daniel Meyer-Delius 1, Christian Plagemann 1, Georg von Wichert 2, Wendelin Feiten 2, Gisbert Lawitzky 2, and
Machine Learning for Interpretation of Spatial Natural Language in terms of QSR
Machine Learning for Interpretation of Spatial Natural Language in terms of QSR Parisa Kordjamshidi 1, Joana Hois 2, Martijn van Otterlo 1, and Marie-Francine Moens 1 1 Katholieke Universiteit Leuven,
FHP_GTOPO30: User Interface to Geo-Referenced Data on the Web
FHP_GTOPO30: User Interface to Geo-Referenced Data on the Web Rolf Däßler Fachhochschule Potsdam Pappelallee 8-10 D-14467 Potsdam, Germany daessler@fh-potsdam.de Günther Neher Fachhochschule Potsdam Pappelallee
A Refined Tableau Calculus with Controlled Blocking for the Description Logic SHOI
A Refined Tableau Calculus with Controlled Blocking for the Description Logic Mohammad Khodadadi, Renate A. Schmidt, and Dmitry Tishkovsky School of Computer Science, The University of Manchester, UK Abstract
DEVS Simulation of Spiking Neural Networks
DEVS Simulation of Spiking Neural Networks Rene Mayrhofer, Michael Affenzeller, Herbert Prähofer, Gerhard Höfer, Alexander Fried Institute of Systems Science Systems Theory and Information Technology Johannes
Iterative Laplacian Score for Feature Selection
Iterative Laplacian Score for Feature Selection Linling Zhu, Linsong Miao, and Daoqiang Zhang College of Computer Science and echnology, Nanjing University of Aeronautics and Astronautics, Nanjing 2006,
Web-Based 3D Geospatial Facility Model Data Interfaces
Web-Based 3D Geospatial Facility Model Interfaces Federal Facilities Council Symposia October 31, 2006 BIM: Grass Root Experiences Alex Viana Naval Facilities Engineering Command Washington Navy Yard,
OECD QSAR Toolbox v.3.3. Step-by-step example of how to build a userdefined
OECD QSAR Toolbox v.3.3 Step-by-step example of how to build a userdefined QSAR Background Objectives The exercise Workflow of the exercise Outlook 2 Background This is a step-by-step presentation designed
Diagram-based Formalisms for the Verication of. Reactive Systems. Anca Browne, Luca de Alfaro, Zohar Manna, Henny B. Sipma and Tomas E.
In CADE-1 Workshop on Visual Reasoning, New Brunswick, NJ, July 1996. Diagram-based Formalisms for the Verication of Reactive Systems Anca Browne, Luca de Alfaro, Zohar Manna, Henny B. Sipma and Tomas
RS 1700/1900/2300/2900 High Density Reticle Stockers
RS 1700/1900/2300/2900 High Density Reticle Stockers CONTAMINATION CONTROL SOLUTIONS Benefits Secure reticle storage Tec-Cell technology Prolongs the reticle lifetime Fast reticle access time High storage
THE LIGHT SIDE OF TRIGONOMETRY
MATHEMATICAL METHODS: UNIT 2 APPLICATION TASK THE LIGHT SIDE OF TRIGONOMETRY The earth s movement around the sun is an example of periodic motion. The earth s tilt on its axis and corresponding movement
An Automotive Case Study ERTSS 2016
Institut Mines-Telecom Virtual Yet Precise Prototyping: An Automotive Case Study Paris Sorbonne University Daniela Genius, Ludovic Apvrille daniela.genius@lip6.fr ludovic.apvrille@telecom-paristech.fr
Improving Plagiarism Detection in Coding Assignments by Dynamic Removal of Common Ground
Improving Plagiarism Detection in Coding Assignments by Dynamic Removal of Common Ground Christian Domin University of Hannover Hannover, Germany christian.domin@hci.uni-hannover.de Henning Pohl University