Bruno Pinaud University of Bordeaux
|
|
- Samuel Shepherd
- 5 years ago
- Views:
Transcription
1 Strategic Graph Rewriting / Network Analysis / Visual Analytics Challenges and thoughts Bruno Pinaud University of Bordeaux Joint work with : Maribel Fernandez (King s College London, UK) Hélène Kirchner (Inria, France) Guy Melançon (University of Bordeaux) Oana Andrei (during her spare time as a post doc until 2014) Jason Vallet (U. Bordeaux, Phd defended Dec. 2017) Olivier Namet (King s College London, Phd defended in 2013) And many more... 1
2 Graph Rewriting in a nutshell Design of executable specifcations of complex systems Work ofcialy started (frst (small) grant) in 2009 on protein-protein network, interaction nets Very frst paper: protein-protein interaction network, 2011, 6th Int. Workshop on Computing with Terms and Graphs (TERMGRAPH) 2
3 Graph Rewriting in a nutshell Design of executable specifcations of complex systems Work ofcialy started (frst (small) grant) in 2009 on General aim protein-protein network, interaction nets Understand how the interaction behavior of Very frst paper: protein-protein network, the system at a global scale emerges from rules specifying how local modifcations operate. 2011, 6th Int. Workshop on Computing with Terms and Graphs (TERMGRAPH) 3
4 A Challenge Can we built a sort of universal data model to handle all operations of the system? 4
5 Main applications so far Social network : information propagation, build networks like in real life Phd defended Dec (Jason Vallet) J. of Logical and Algebraic Method in Programming (JLAMP, 2018) Protein interaction network Other applications : capital markets, relational databases, interaction nets, graph theory 5
6 Two challenges: Provide a modelling framework for complex systems based on graph rewriting Complex Systems <State, Evolution Step, Control> <Graph, Set of Rules, Strategy> Strategic Graph Program Preserve all computations, start a computation from any existing state, provide interactive visualisation tools to help simulation, analysis and debugging. 6
7 Porgy in a minute Porgy is built with the Tulip Framework 7
8 All available rewrite rules Rewrite rule Porgy is built with the Tulip Framework 8
9 All available rewrite rules A state of the graph under rewriting Rewrite rule Porgy is built with the Tulip Framework 9
10 All available rewrite rules A state of the graph under rewriting Derivation tree Rewrite rule Strategy Program 10
11 11
12 12
13 13
14 14
15 AND MUCH MORE... Shneiderman mantra is not far away 15
16 Another Question for the seminar Can we built a sort of universal data model to handle all operations of the system? Our (partial) answer : Labelled Port Graph : a formal structure for models, computation and visualisation Looks like multilayer graph Looking forward to Dagstuhl Seminar 19061, Visual Analytics of Multilayer Networks Across Disciplines Feb Associated with project BLIZAAR - Hybrid Visualization of Dynamic Multilayer Graphs (collaboration with Luxembourg Institute of Science and Technology (LIST) with applications on Digital Cultural Heritage and bioinformatics (considering all -omics layer). PIs : Bruno Pinaud (Fr) / Mohammad Ghoniem (Lux) Every component of the rewriting system can be expressed as a labelled portgraph Makes computation and storing easier Labels can be colour, text, Boolean equation, code, predicates, 16
17 Problems with labelled portgraph 17
18 Problems with labelled portgraphs Need of a powerful and fexible graph framework Use of a graph hierarchy to handle backtracking and eliminates data duplication when making a new rewriting step Thanks to visualisation, the system is easy to use and intuitive (feedback from users) 18
19 Problems with labelled portgraphs Port graph not handled by default in many software Drawing nice layout for rules and graphs far from easy Bottleneck of the system: graph/subgraph isomorphism 19
20 Beyond port graph rules and graph framework Expression of higher order rule Use of a graph database (many works on graph/subgraph isomorphism) 20
21 Feel free to ask for a live demo of Tulip/Porgy (at your own risk)!!! 21
A visual analytics approach to compare propagation models in social networks
London, April 11-12 2015 A visual analytics approach to compare propagation models in social networks J. Vallet, H. Kirchner, B. Pinaud, G. Melançon LaBRI, UMR 5800 Inria Bordeaux Univ. Bordeaux We want
More informationGraph Creation, Visualisation and Transformation
Graph Creation, Visualisation and Transformation Maribel Fernández and Olivier Namet Kingś College London Department of Computer Science Strand, London WC2R 2LS, U.K. olivier.namet@kcl.ac.uk We describe
More informationLabelled Graph Strategic Rewriting for Social Networks
Labelled Graph Strategic Rewriting for Social Networks Maribel Fernandez, Hélène Kirchner, Bruno Pinaud, Jason Vallet To cite this version: Maribel Fernandez, Hélène Kirchner, Bruno Pinaud, Jason Vallet.
More informationDynamic Information Management and Exchange for Command and Control Applications
AFRL-AFOSR-UK-TR-2015-0026 Dynamic Information Management and Exchange for Command and Control Applications Maribel Fernandez KING S COLLEGE LONDON THE STRAND LONDON WC2R 2LS UNITED KINGDOM EOARD GRANT
More informationPORGY: Strategy-Driven Interactive Transformation of Graphs
PORGY: StrategyDriven Interactive Transformation of Graphs Oana Andrei oana.andrei@glasgow.ac.uk Guy Melançon guy.melancon@inria.fr Maribel Fernández maribel.fernandez@kcl.ac.uk Olivier Namet olivier.namet@kcl.ac.uk
More informationInteraction Nets vs. the ρ-calculus: Introducing Bigraphical Nets
Interaction Nets vs. the ρ-calculus: Introducing Bigraphical Nets Maribel Fernández 1 Ian Mackie 1 François-Régis Sinot 2 1 DCS, King s College London 2 LIX, École Polytechnique Rho-Calculus Workshop,
More informationExtending the Interaction Nets Calculus by Generic Rules
Extending the Interaction Nets Calculus by Generic Rules Eugen Jiresch jiresch@logic.at Institute for Computer Languages Vienna University of Technology Abstract. We extend the textual calculus for interaction
More informationFormalization, User Strategy and Interaction Design: Users Behaviour with Discourse Tagging Semantics
Workshop on Social and Collaborative Construction of Structured Knowledge, 16th International World Wide Web Conference, Banff, Canada, May 8, 2007 Formalization, User Strategy and Interaction Design:
More informationVisualdrives Forensic Tool
Visualdrives Forensic Tool Mustafa Anil Tuncel 1, Hulya Francis 1, Mark Taylor 1, David Llewellyn Jones 1 1 School of Computing and Mathematical Sciences Liverpool John Moores University Liverpool L3 3AF,
More informationPresentation of the book BOOLEAN ARITHMETIC and its Applications
Presentation of the book BOOLEAN ARITHMETIC and its Applications This book is the handout of one Post Graduate Discipline, offered since 1973, named PEA - 5737 Boolean Equations Applied to System Engineering,
More informationLOGICAL OPERATOR USAGE IN STRUCTURAL MODELLING
LOGICAL OPERATOR USAGE IN STRUCTURAL MODELLING Ieva Zeltmate (a) (a) Riga Technical University, Faculty of Computer Science and Information Technology Department of System Theory and Design ieva.zeltmate@gmail.com
More informationISR 2014 Strategies. Hélène KIRCHNER Inria. August Topics, Objectives, Contents. Hélène KIRCHNER Inria ISR 2014 Strategies 1 / 48
ISR 2014 Strategies Hélène KIRCHNER Inria August 2014 Topics, Objectives, Contents Hélène KIRCHNER Inria ISR 2014 Strategies 1 / 48 Computation, Deduction and Strategies Series of workshops since 1997
More informationSIR C R REDDY COLLEGE OF ENGINEERING
SIR C R REDDY COLLEGE OF ENGINEERING DEPARTMENT OF INFORMATION TECHNOLOGY Course Outcomes II YEAR 1 st SEMESTER Subject: Data Structures (CSE 2.1.1) 1. Describe how arrays, records, linked structures,
More informationCybersecurity academic activities in France and Europe A few items. Claude Kirchner Inria
Cybersecurity academic activities in France and Europe A few items Claude Kirchner Inria It will be about: Towards Cyber Peace German strong push on cybersecurity @ Saarbrücken Cartography of the French
More informationCurriculum for the Bachelor's Degree Programme in Software Development National section
Curriculum for the Bachelor's Degree Programme in Software Development National section Contents 1. Programme structure... 3 2. Core areas of study... 3 2.1 Large-scale system development... 3 2.2 Databases
More informationVirtual World Development
ALGEBRAIC SPECIFICATION LANGUAGE The algebraic specification language (ASL) is intended to provide the formal structure needed for modular programming and the flexibility needed for unencumbered design.
More informationAn overview of Graph Categories and Graph Primitives
An overview of Graph Categories and Graph Primitives Dino Ienco (dino.ienco@irstea.fr) https://sites.google.com/site/dinoienco/ Topics I m interested in: Graph Database and Graph Data Mining Social Network
More informationTerminology Management Platform (TMP)
Terminology Management Platform (TMP) Marie-Véronique Leroi Ministry of Culture and Communication (MCC) France 18 th April 2013 Seminar LH, Paris 1 Outline Context Terminology Management Platform (TMP)
More informationIntroduction to Bioinformatics
Introduction to Bioinformatics Biological Networks Department of Computing Imperial College London Spring 2010 1. Motivation Large Networks model many real-world phenomena technological: www, internet,
More informationNetwork visualization techniques and evaluation
Network visualization techniques and evaluation The Charlotte Visualization Center University of North Carolina, Charlotte March 15th 2007 Outline 1 Definition and motivation of Infovis 2 3 4 Outline 1
More informationLearning Analytics. Dr. Bowen Hui Computer Science University of British Columbia Okanagan
Learning Analytics Dr. Bowen Hui Computer Science University of British Columbia Okanagan Last Time: Exercise Given the following code, build its PDG (follow table of vertex types) int sum( int array[]
More informationPersiform: Performance Engineering Based on
Persiform: Performance Engineering Based on Simulation of Formal Functional Models Olivier Constant, Marius Bozga, Susanne Graf -- Verimag, Grenoble Nicolas Moteau, Wei Monin -- France Telecom R&D 2007
More informationIntroduction to GAP. (Groups, Algorithms, Programming) Henry Hutasoit, SSE RWTH Aachen Seminar Language in Scientific Computing
Introduction to GAP (Groups, Algorithms, Programming) Henry Hutasoit, SSE RWTH Aachen Seminar Language in Scientific Computing 24.01.2013 1 Outline What is GAP? Symbolic computation Group theory History
More informationVISO: A Shared, Formal Knowledge Base as a Foundation for Semi-automatic InfoVis Systems
VISO: A Shared, Formal Knowledge Base as a Foundation for Semi-automatic InfoVis Systems Jan Polowinski Martin Voigt Technische Universität DresdenTechnische Universität Dresden 01062 Dresden, Germany
More informationReqView Business Needs
ReqView Business Needs ID Description As a(n) I Want So that Acceptance Criteria 45 45_1_reqview_icon.png (ReqView User_Stories_Example_files/45_1_reqview_icon.png) 1 Introduction 2 46 49 1.1 Purpose This
More informationCommunication & Capitalization. Joint Secretariat
Communication & Capitalization Joint Secretariat 12.03.2018 New period, new context Rising expectations from the European Commission: Make European project results visible to EU citizens Make the most
More informationName of the lecturer Doç. Dr. Selma Ayşe ÖZEL
Y.L. CENG-541 Information Retrieval Systems MASTER Doç. Dr. Selma Ayşe ÖZEL Information retrieval strategies: vector space model, probabilistic retrieval, language models, inference networks, extended
More informationReification of Boolean Logic
Chapter Reification of Boolean Logic Exercises. (a) Design a feedforward network to divide the black dots from other corners with fewest neurons and layers. Please specify the values of weights and thresholds.
More informationAttributed Hierarchical Port Graphs and Applications
Attributed Hierarchical Port Graphs and Applications Nneka Chinelo Ene King s College London nneka.ene@kcl.ac.uk Maribel Fernández King s College London maribel.fernandez@kcl.ac.uk Bruno Pinaud University
More informationHuawei European Research University Partnerships. Michael Hill-King European Research Institute, Huawei
Huawei European Research University Partnerships Michael Hill-King European Research Institute, Huawei Next 20 30 Years: The World Will Become Intelligent All things Sensing All things Connected All things
More informationPanel: Research on Complex Enterprise Systems of Systems. Complex Adaptive Systems Conference 14-NOV-2013
Panel: Research on Complex Enterprise Systems of Systems Complex Adaptive Systems Conference 14-NOV-2013 Dan DeLaurentis School of Aeronautics & Astronautics and Center for Integrated Systems in Aerospace
More informationBackpropagation in Neural Nets, and an Introduction to Vision. CSCI 5582, Fall 2007
Backpropagation in Neural Nets, and an Introduction to Vision CSCI 5582, Fall 2007 Assignments Problem Set 3 is due a week from today The Update Rule for a Weighted Edge of a Perceptron To update the weight
More informationEight units must be completed and passed to be awarded the Diploma.
Diploma of Computing Course Outline Campus Intake CRICOS Course Duration Teaching Methods Assessment Course Structure Units Melbourne Burwood Campus / Jakarta Campus, Indonesia March, June, October 022638B
More informationTrees and Tree Encodings
Trees and Tree Encodings January, 08 Introduction: Today, we are going to be looking at a special class of graph theory called trees. These structures are an important discipline in mathematics and have
More informationADMINISTRATIVE MANAGEMENT COLLEGE
First Semester ADMINISTRATIVE MANAGEMENT COLLEGE BACHELOR OF COMPUTER APPLICATION COURSE OUTCOME (CO) Problem solving techniques Using C CO 1: Understand the basic concepts of programming, software and
More informationCS103 Handout 29 Winter 2018 February 9, 2018 Inductive Proofwriting Checklist
CS103 Handout 29 Winter 2018 February 9, 2018 Inductive Proofwriting Checklist In Handout 28, the Guide to Inductive Proofs, we outlined a number of specifc issues and concepts to be mindful about when
More informationGerman Research Strategy in the Area of Civil Security Research
8th Interdisciplinary Workshop on Global Security WISG 2014 German Research Strategy in the Area of Civil Security Research Eckhart Curtius Federal Ministry of Education and Research Division Security
More informationTRAINING COURSES AND SEMINAR SCHEDULE - JULY MARCH 2019
non Jul-18 3rd-5th An introduction to internal auditing 1,875 2,085 1,575 1,785 York 4th Vendor and supply chain risks - how to provide assurance N/A N/A N/A N/A London 4th-5th IIA Award in the internal
More informationA NEW PROOF-ASSISTANT THAT REVISITS HOMOTOPY TYPE THEORY THE THEORETICAL FOUNDATIONS OF COQ USING NICOLAS TABAREAU
COQHOTT A NEW PROOF-ASSISTANT THAT REVISITS THE THEORETICAL FOUNDATIONS OF COQ USING HOMOTOPY TYPE THEORY NICOLAS TABAREAU The CoqHoTT project Design and implement a brand-new proof assistant by revisiting
More informationJason Bomar, CCIE #9316 Chief Network Architect
Jason Bomar, CCIE #9316 Chief Network Architect Topics We will cover a number of topics, at a high level they are: Hierarchy Resiliency/Redundancy Routing Switching Documentation Management PLEASE feel
More informationAn Evolution of Mathematical Tools
An Evolution of Mathematical Tools From Conceptualization to Formalization Here's what we do when we build a formal model (or do a computation): 0. Identify a collection of objects/events in the real world.
More informationProgramme Specification
Programme Specification 1 Awarding body University of London 2 Teaching Institution Birkbeck College 3 Programme Title(s) MSc Advanced Computing Technologies 4 Programme Code(s) TMSACTEC_ C 5 UCAS code
More informationE R T M S COMMUNICATION PLAN
U I C E R T M S COMMUNICATION PLAN Paolo de Cicco Senior Advisor ERTMS Platform Paris, 14/03/2007-1 Item 16: UIC Workshop Euro-Interlocking Hazard List Methodology for Railway Signalling WORKSHOP HELD
More informationDefining Datalog in Rewriting Logic
M. A. Feliú Universidad Politécnica de Valencia, DSIC / ELP Joint work with María Alpuente, Christophe Joubert and A. Villanueva Coimbra, September 2009 Motivation Recent interest in defining complex interprocedural
More informationInformation Processing Letters Vol. 30, No. 2, pp , January Acad. Andrei Ershov, ed. Partial Evaluation of Pattern Matching in Strings
Information Processing Letters Vol. 30, No. 2, pp. 79-86, January 1989 Acad. Andrei Ershov, ed. Partial Evaluation of Pattern Matching in Strings Charles Consel Olivier Danvy LITP DIKU { Computer Science
More informationProofs-Programs correspondance and Security
Proofs-Programs correspondance and Security Jean-Baptiste Joinet Université de Lyon & Centre Cavaillès, École Normale Supérieure, Paris Third Cybersecurity Japanese-French meeting Formal methods session
More informationEU-TW Partnership. l l
l l EU-TW Partnership To establish formal 5G cooperation between Taiwan and Europe To enable Taiwan s participation in H2020 projects as a strategic partner Eco-system Global Linkage Agreement with EC,
More informationCollege of Sciences Department of Mathematics and Computer Science. Assessment Plan Mathematics
College of Sciences Department of athematics and Computer Science Programs: Assessment Plan athematics athematics offers the following instructional programs: 1. Bachelor of Science in athematics Option
More informationBuilding an Effective Website. Engage and consult with your residents
Building an Effective Website Engage and consult with your residents The project journey Definition and discovery Content Strategy Drive Traffic Creative design Implementation Launch & Beyond Building
More informationENGINEERING AND TECHNOLOGY MANAGEMENT
Engineering and Technology Management 1 ENGINEERING AND TECHNOLOGY MANAGEMENT Master of Science in Engineering Technology Management Tim Hardin, PhD Director Brenda L. Johnson, MS Assistant Director OSU
More informationManaging Exploratory Workflows
Managing Exploratory Workflows Juliana Freire Claudio T. Silva http://www.sci.utah.edu/~vgc/vistrails/ University of Utah Joint work with: Erik Andersen, Steven P. Callahan, David Koop, Emanuele Santos,
More informationModeling and Verification of Deadlock Potentials of a Concurrency Control Mechanism in Distributed Databases Using Hierarchical Colored Petri Net
Modeling and Verification of Deadlock Potentials of a Concurrency Control Mechanism in Distributed Databases Using Hierarchical Colored Petri Net Saeid Pashazadeh, Senior Member, IACSIT Abstract Formal
More informationTULIP 5. To cite this version: HAL Id: hal
TULIP 5 David Auber, Daniel Archambault, Romain Bourqui, Maylis Delest, Jonathan Dubois, Antoine Lambert, Patrick Mary, Morgan Mathiaut, Guy Mélançon, Bruno Pinaud, et al. To cite this version: David Auber,
More informationUnderstanding and Managing Cascading Disasters A Framework for Analysis
Understanding and Managing Cascading Disasters A Framework for Analysis David Alexander and Gianluca Pescaroli Cascading Disasters Research Group Institute for Risk and Disaster Reduction University College
More informationMetabolic Network Visualization Using Constraint Planar Graph Drawing Algorithm.
Metabolic Network Visualization Using Constraint Planar Graph Drawing Algorithm. Romain Bourqui, Université Bordeaux I LaBRI In Collaboration with : David Auber (LaBRI), Vincent Lacroix (INRIA) and Fabien
More informationNeural Nets. CSCI 5582, Fall 2007
Neural Nets CSCI 5582, Fall 2007 Assignments For this week: Chapter 20, section 5 Problem Set 3 is due a week from today Neural Networks: Some First Concepts Each neural element is loosely based on the
More informationThomas Pelaia II, Ph.D. XAL Workshop 2012 December 13, 2012 Managed by UT-Battelle for the Department of Energy
Thomas Pelaia II, Ph.D. XAL Workshop 2012 December 13, 2012 XAL Loose Timeline at SNS 2012 Software Maintenance Neutron Production Operations Software Development Intensity Commissioning Machine Study
More informationEverything in red on the screenshots has been added for the purpose of this user guide and is the context for the words around it.
Huddle for Office What is it? Huddle for Office brings the best collaborative parts of Huddle right into your applications. You are able to take the content that you are working on straight from Huddle,
More informationCOMPASS GRAPHICAL MODELLER
COMPASS GRAPHICAL MODELLER Viet Yen Nguyen Software Modelling and Verification Group RWTH Aachen University Final Presentation Days, April 2012, ESTEC Christian Dehnert, Joost-Pieter Katoen, Thomas Noll
More informationALE Agile Language Engineering
ALE Agile Language Engineering (2017 2019) Thomas Degueule CWI Inria Workshop September 19 20, 2017 CWI, Amsterdam http://gemoc.org/ale/ Context Software intensive systems CWI-Inria Workshop Agile Language
More informationStudent Page. Algebra/ Day #4 90 Minute Class Functions, Patterns and X-Y Tables
Student Page Algebra/ Da #4 90 Minute Class Functions, Patterns and X-Y Tables Definition: A relation is an set of ordered pairs Ex: # {(,), (-7,6), (-,4)} # { (0,8), (-, ), (0,6)} Definition: A function
More informationWebsite Redevelopment Content Information Session. Presentation by
Website Redevelopment Content Information Session Presentation by December 3, 2010 Agenda December 3rd & 10th, 2010 10:00 10:10 Welcome & Introductions 10:10 10:20 Project Status & Development Schedule
More informationAGILE MARKETING WITH KANBAN BOARDS. Created by Femi Olajiga - Agile Marketing Coach and Team Effectiveness Trainer
AGILE MARKETING WITH KANBAN BOARDS Created by Femi Olajiga - Agile Marketing Coach and Team Effectiveness Trainer 1 WHAT IS KANBAN? A BRIEF HISTORY Agile way of working is not restricted to software development
More informationScaling the Semantic Wall with AllegroGraph and TopBraid Composer. A Joint Webinar by TopQuadrant and Franz
Scaling the Semantic Wall with AllegroGraph and TopBraid Composer A Joint Webinar by TopQuadrant and Franz Dean Allemang Chief Scientist, TopQuadrant Inc. Jans Aasman CTO, Franz Inc. July 07 1 This Seminar
More informationYou, Me, Them, Everybody*: OERs and the politics of web annotation
You, Me, Them, Everybody*: OERs and the politics of web annotation John Casey 1, Trevor Collins 2 1. City of Glasgow College 2. The Open University *Everybody Needs Somebody to Love (Burke, Berns & Wrexler).
More informationImplementing Games User Research Processes Throughout Development: Beyond Playtesting
Implementing Games User Research Processes Throughout Development: Beyond Playtesting Graham McAllister Founder, Player Research @grmcall Introduction Founder - Player Research, a User Research studio
More informationLOGIC AND DISCRETE MATHEMATICS
LOGIC AND DISCRETE MATHEMATICS A Computer Science Perspective WINFRIED KARL GRASSMANN Department of Computer Science University of Saskatchewan JEAN-PAUL TREMBLAY Department of Computer Science University
More informationarxiv: v1 [math.ho] 7 Nov 2017
An Introduction to the Discharging Method HAOZE WU Davidson College 1 Introduction arxiv:1711.03004v1 [math.ho] 7 Nov 017 The discharging method is an important proof technique in structural graph theory.
More informationIntroduction to QGIS
Introduction to QGIS David Kramar, Ph.D. Minnesota State University Moorhead Department of Anthropology and Earth Science http://www.qgis.org/en/site/ Overview of Workshop What is QGIS? How do I get QGIS
More informationAFRL-OSR-VA-TR
AFRL-OSR-VA-TR-2013-0130 COMPRESSIVE SENSING AND CODING FOR COMPLEX NETWORKS Olgica Milenkovic, Angelia Nedich University of Illinois March 2013 Final Report DISTRIBUTION A: Approved for public release.
More informationResearch Statement. Daniel R. Licata
Research Statement Daniel R. Licata I study programming languages, with a focus on applications of type theory and logic. I have published papers in major conferences in my area (POPL 2012, MFPS 2011,
More informationGoogle Docs. Making Collaboration Easier. Lynsey Duncan TESL Durham Spring Workshop, 2016
Google Docs Making Collaboration Easier Lynsey Duncan TESL Durham Spring Workshop, 2016 Why use Google Docs 1 document - everyone has access Accessible from where with internet access (computer, smartphone,
More informationLecture 12: Graphs/Trees
Lecture 12: Graphs/Trees Information Visualization CPSC 533C, Fall 2009 Tamara Munzner UBC Computer Science Mon, 26 October 2009 1 / 37 Proposal Writeup Expectations project title (not just 533 Proposal
More informationAcademic Programs and Research
Esfan Haghverdi Executive Associate Dean for Academic Affairs School of Informatics, Computing, and Engineering Indiana University Bloomington March 5, 2018 SICE 2000, School of Informatics 2005, School
More informationCONFERENCE ON SERVICE SCIENCE, MANAGEMENT & ENGINEERING (SSME):
CONFERENCE ON SERVICE SCIENCE, MANAGEMENT & ENGINEERING (SSME): Towards Philippine Global Competitiveness In Offshoring & Outsourcing August 5-8, 2008 Audio-Visual Room, CICT Building C.P. Garcia Ave.,
More informationMinimum grade of C in MAC 1102 or Mac 1104 or 1105 or appropriate score on placement test.
Official Course Outline MAC 1114 College Trigonometry General Course Information Common Course Number: MAC1114 Course Title: College Trigonometry Prerequisite(s): Contact Hour Breakdown: CR 3 CLASS 3 LAB
More informationVisualisation and Work Instructions
Luke Wawrzyniak Majenta PLM Visualisation and Work Instructions Solid Edge University Ireland 2015 Dec 8 th, Dublin SOLID EDGE UNIVERSITY IRELAND 2015 Design Without Boundaries Agenda Who am I What are
More informationCHAPTER 6 DATABASE MANAGEMENT SYSTEMS
CHAPTER 6 DATABASE MANAGEMENT SYSTEMS Management Information Systems, 10 th edition, By Raymond McLeod, Jr. and George P. Schell 2007, Prentice Hall, Inc. 1 Learning Objectives Understand the hierarchy
More informationWebsite Optimizer. Before we start building a website, it s good practice to think about the purpose, your target
Website Optimizer Before we start building a website, it s good practice to think about the purpose, your target audience, what you want to have on the website, and your expectations. For this purpose
More informationYou will choose to study units from one of four specialist pathways depending on the career you wish to pursue. The four pathways are:
Qualification Title: OCR Level 3 Cambridge Technical Diploma in IT Qualification Number: 601/7101/7 Overview This qualification is designed for you if you re 16 years old or over and prefer to study IT
More informationFully Automatic Visualisation of Overlapping Sets
Fully Automatic Visualisation of Overlapping Sets Authors: Paolo Simonetto David Auber Daniel Archambault LaBRI INRIA Bordeaux Sud-Ouest Université Bordeaux 1, France 1/21 The Problem Italian things Monuments
More informationFrom a Museum - TEMPLE... Museums Digital Transformation: e pur si muove. Museu Nacional d Art de Catalunya, Barcelona
Museums Digital Transformation: e pur si muove Conxa Rodà @innova2 Firenze 2 Oct 2018 www.museunacional.cat/en From a Museum - TEMPLE... Museu Nacional d Art de Catalunya, Barcelona @MuseuNac_Cat 1 ...
More informationPERFORMANCE INVESTIGATION TOOLS & TECHNIQUES. 7C Matthew Morris Desynit
PERFORMANCE INVESTIGATION TOOLS & TECHNIQUES 7C Matthew Morris Desynit Desynit > Founded in 2001 > Based in Bristol, U.K > Customers worldwide > Technology Mix 2E/Plex Java &.Net Web & mobile applications
More informationContinuous Integration / Continuous Testing
Bitte decken Sie die schraffierte Fläche mit einem Bild ab. Please cover the shaded area with a picture. (24,4 x 7,6 cm) Continuous Integration / Continuous Testing IIC What s SW Integration? Integration
More informationAutomated Compliance Verification of Business Processes in Apromore
Automated Compliance Verification of Business Processes in Apromore Heerko Groefsema 1, Nick R.T.P. van Beest 2, and Abel Armas-Cervantes 3 1 University of Groningen, The Netherlands h.groefsema@rug.nl
More informationDependability Modeling Based on AADL Description (Architecture Analysis and Design Language)
Dependability Modeling Based on AADL Description (Architecture Analysis and Design Language) Ana Rugina, Karama Kanoun and Mohamed Kaâniche {rugina, kanoun, kaaniche}@laas.fr European Integrated Project
More informationBachelor of Technology (B. Tech.) Electrical Engineering
Bachelor of Technology (B. Tech.) Electrical Engineering Course Structure Academic Year: 2018-19 B. Tech. (Electrical Engineering) Approved by AICTE How will this program be taught? Duration Pattern Credit
More informationEU start-ups cybersecurity trends and feedback from the trenches. Gerome BILLOIS Partner (+33)
EU start-ups cybersecurity trends and feedback from the trenches Gerome BILLOIS Partner gerome.billois@wavestone.fr (+33) 6 10 99 00 60 @gbillois In a world where permanent evolution is key to success,
More informationSharePoint 2016 Site Collections and Site Owner Administration
SharePoint Course - 55234 SharePoint 2016 Site Collections and Site Owner Administration Length 5 days Audience This course is intended for those who provide site collection and site administration and
More informationCourse Information
Course Information 2018-2020 Master of Information Systems: Management and Innovation Institutt for teknologi / Department of Technology Index Index... i 1... 1 1.1 Content... 1 1.2 Name... 1 1.3 Programme
More informationAn approach to introductory programming
An approach to introductory programming Abhiram Ranade April 21, 2014 What should you teach in an introductory programming course? What should you teach in an introductory programming course? Some simple
More informationSection 2.2: Relational Databases
Page 1 Section 2.2: Relational Databases Databases A database is a set of records that can be manipulated by a computer. Database management systems allow users of the system to perform a variety of operations,
More informationOOoCon Marketing OpenOffice.org. by Nick Richards On rendezvous. Right here, right now.
OOoCon 2003 Marketing OpenOffice.org by Nick Richards nedrichards@openoffice.org http://nedrichards.com On rendezvous. Right here, right now. 1 About Nick Who am I? Why Are We Here Why OpenOffice.org Marketing?
More informationInformation System Architecture. Indra Tobing
Indra Tobing What is IS Information architecture is the term used to describe the structure of a system, i.e the way information is grouped, the navigation methods and terminology used within the system.
More informationi* on ADOxx : A Case Study
Fourth International i* Workshop, Hammamet, 7 th -8 th of June 2010 i* on ADOxx : A Case Study an Open Models Project! Authors: Margit Schwab, Dimitris Karagiannis, Alexander Bergmayr Agenda The Open Model
More informationSoftware Development Process Models
Software Development Process Models From classical notions to more agile approaches th@cs.toronto.edu, BA8134 Code & Fix or Cowboy Coding 1) Write program 2) Test and fix program Problems: program users
More informationRenaud Durlin. May 16, 2007
A comparison of different approaches EPITA Research and Development Laboratory (LRDE) http://www.lrde.epita.fr May 16, 2007 1 / 25 1 2 3 4 5 2 / 25 1 2 3 4 5 3 / 25 Goal Transformers:
More informationConstraint Programming 101
Constraint Programming 101 Jacob Feldman, Ph.D. Founder & CTO OpenRules Inc. Shock Troops for Enterprise Decision Management I have concluded that decision making and the techniques and technologies to
More informationMinimally Meets Expectations
athematics 9/10 Rating Scale: Mathematics 9/10 Exceeds Collecting selection of technology tools (webs, clusters, charts, graphs, spreadsheets, databases), sources, and materials selects inappropriate technology
More informationRéseau radio du futur (RRF) Preliminary ideas. ETSI September 29 th Workshop National Case Studies
Réseau radio du futur (RRF) Preliminary ideas ETSI September 29 th Workshop National Case Studies Agenda of FR PPDR networks of national PPDR networks INPT and Rubis Two national networks INPT : Police,
More information