Event-based Monitoring of Process Execution Violations
|
|
- Jemimah Walters
- 5 years ago
- Views:
Transcription
1 Event-based Monitoring of Process Execution Violations M. Weidlich, H. Ziekow, J. Mendling, O. Günther, M. Weske, N. Desai Hasso Plattner Institute, University of Potsdam, Germany AGT Germany Humboldt-Universität zu Berlin, Germany IBM India Research Labs, India
2 What Do We Target? How to detect if activities deviate from the plan?? Click to edit Master text styles Second level Third level Fourth level Fifth level 2
3 Our Approach Set up on CEP to (1) automatically derive monitoring queries and (2) provide structured reports derived queries (behavioural profiles) events CEP Engine! Click to edit Master text st Second level Third level Fourth level Fifth leve aggregated reports 3
4 Monitoring Process Instances Case 12 Seattle Municipal Archive 4
5 Setting Assumptions Events signal activity execution Complex Event Processing (CEP) engine available Requirements Immediate detection of deviations Structured feedback on deviations o5com zeevveez 5
6 Agenda Monitoring process instances Background Complex event processing Causal behavioral profiles Approach Derivation of event queries Feedback on deviations Case study: SIMP 6
7 Complex Event Processing Event a happening of interest Complex Event Queries Correlation between events Logical query over event streams Many dedicated CEP languages exist We rely on an abstract language Atom queries that relate to activity execution and(a,b), seq(a,b), not(a), within(a,t) 7
8 Causal Behavioral Profile B A C D E G F Strict Order between C and D A Exclusiveness between E and G Interleaving Behavioural between B and C Abstraction! Co-occurrence from E to D, but not from D to E A B C D E F G A + A B C D E F G B + A >> >> >> >> C + D + B >> >> >> >> E + F + + C >> >> >> >> G D >> >> >> >> E >> >> >> >> >> >> 8
9 Approach o5com 9
10 Event Query Derivation Exclusiveness violation: observe the joint execution of exclusive activities B Queries: A and(e,g), C and(f,g), D and(c,c) Abortion of queries Time-based E G F By termination activity Optimized queries: within(and(and(e,g),not(end))), t) 10
11 Event Query Derivation cont. Strict order violations: observe the execution of two activities in reversed order Co-occurrence violations: Detection upon completion of the process instance Warning already if a third activity signals that co-occurrence should have been observed B E A C D Query to detect: and(and(b,end),not(c)) Query to warn: and(and(b,d),not(c)) G F 11
12 Approach 12
13 Structured Feedback Problem Fine-granular analysis for pairs of activities Many violations may occur at once Solution Root cause of violations Consecutive violation zeevveez 13
14 Structured Feedback cont. Exclusiveness violations Violation with the earliest observed event: root cause Later violations for which one event is not conflicting with root cause events: consecutive violation B Observed events: A,C,B,D,E,F,G Violations: (E,G), (F,G) A C Root cause: exclusiveness violation (E,G) Consecutive violation: (F,G), E and F are not conflicting D E G F 14
15 Structure Feedback cont. Feedback for strict order as for exclusiveness Co-occurrence violations Characterized by two events One implies the missing event One signals that the missing event should have been observed Violation with the latest observed event: root cause Later violations that hint at the same set of missing events: consecutive violation 15
16 Structured Feedback cont. B A C Violations: (A,D), (B,D) Observed events: A,B,D D E G F Missing events: C Root cause: violation (B,D) Observed events: A,B,D,E Additional violations: (A,E), (B,E) Consecutive violations: (A,E), (B,E) 16
17 SIMP Issue management process as run by an IBM Service Delivery Center Process is not enforced, activities are logged 852 process instances have been logged 17
18 Results Homogenous distribution over violation types Heterogeneous distribution over cases Significant filtering of detected violations 18
19 To Take Home Automatic generation of monitoring queries from process models Monitor process execution in a CEP environment Allows for immediate and structured feedback Limitations & Future Work Only the abstracted control flow is monitored Extend approach towards further behavioral details 19
Meronymy-based Aggregation of Activities in Business Process Models
Meronymy-based Aggregation of Activities in Business Process Models Sergey Smirnov 1, Remco Dijkman 2, Jan Mendling 3, and Mathias Weske 1 1 Hasso Plattner Institute, Germany 2 Eindhoven University of
More informationGeneralised Computation of Behavioural Profiles based on Petri-Net Unfoldings
Generalised Computation of Behavioural Profiles based on Petri-Net Unfoldings Matthias Weidlich, Felix Elliger, and Mathias Weske Hasso Plattner Institute at the University of Potsdam, Germany {Matthias.Weidlich,Mathias.Weske}@hpi.uni-potsdam.de
More informationEfficient Computation of Causal Behavioural Profiles using Structural Decomposition
Efficient Computation of Causal Behavioural Profiles using Structural Decomposition Matthias Weidlich 1, Artem Polyvyanyy 1, Jan Mendling 2, and Mathias Weske 1 1 Hasso Plattner Institute at the University
More informationEfficient Computation of Causal Behavioural Profiles using Structural Decomposition
Efficient Computation of Causal Behavioural Profiles using Structural Decomposition Matthias Weidlich 1, Artem Polyvyanyy 1, Jan Mendling 2, and Mathias Weske 1 1 Hasso Plattner Institute at the University
More informationBusiness 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:
More informationReducing Complexity of Large EPCs
Reducing Complexity of Large EPCs Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske Business Process Technology Group Hasso Plattner Institute at the University of Potsdam D-14482 Potsdam, Germany (artem.polyvyanyy,sergey.smirnov,mathias.weske)@hpi.uni-potsdam.de
More informationThe Projected TAR and its Application to Conformance Checking
The Projected TAR and its Application to Conformance Checking Johannes Prescher 1, Matthias Weidlich 2, Jan Mendling 1 1 Institute for Information Business, Wirtschaftsuniversität Wien, Austria [johannes.prescher
More informationThe Decent Philosophers: An exercise in concurrent behaviour
Fundamenta Informaticae 80 (2007) 1 9 1 IOS Press The Decent Philosophers: An exercise in concurrent behaviour Wolfgang Reisig Humboldt-Universität zu Berlin Institute of Informatics Unter den Linden 6,
More informationHandbook on Online Proficiency Test Evaluation of Shoot-Root Ratio of Seedlings
Handbook on Online Proficiency Test Evaluation of Shoot-Root Ratio of Seedlings 4 th Edition Institute of Plant Breeding, Seed Science and Population Genetics, Division of Seed Science and Technology,
More informationA Global Constraint for Parallelizing the Execution of Task Sets in Non-Preemptive Scheduling
A Global Constraint for Parallelizing the Execution of Task Sets in Non-Preemptive Scheduling 1 Introduction Michael Marte 1 Institut für Informatik, Universität München Oettingenstr. 67, 80538 München,
More informationThe State Explosion Problem
The State Explosion Problem Martin Kot August 16, 2003 1 Introduction One from main approaches to checking correctness of a concurrent system are state space methods. They are suitable for automatic analysis
More informationReasoning about Contracts
University of Malta joint work with Fernando Schapachnik (Universidad de Buenos Aires, Argentina) Gerardo Schneider (Chalmers University, Sweden) June 2013 Introduction I What are contracts, and are they
More informationStandardizing Spatial References Using PPDM AREA Tables
Standardizing Spatial References Using PPDM AREA Tables Volker Hirsinger, Petrosys Pty. Ltd. Acknowledgments to Mike Silva, Rob Bruinsma, Bob Harms, Craig Aldrich, Alec Kelingos. Introduction Building
More informationCausality in Concurrent Systems
Causality in Concurrent Systems F. Russo Vrije Universiteit Brussel Belgium S.Crafa Università di Padova Italy HaPoC 31 October 2013, Paris Causality in Concurrent Systems software, hardware or even physical
More informationLarge-Scale Behavioral Targeting
Large-Scale Behavioral Targeting Ye Chen, Dmitry Pavlov, John Canny ebay, Yandex, UC Berkeley (This work was conducted at Yahoo! Labs.) June 30, 2009 Chen et al. (KDD 09) Large-Scale Behavioral Targeting
More informationHELCOM-VASAB Maritime Spatial Planning Working Group Twelfth Meeting Gdansk, Poland, February 2016
HELCOM-VASAB Maritime Spatial Planning Working Group Twelfth Meeting Gdansk, Poland, 24-25 February 2016 Document title HELCOM database for the coastal and marine Baltic Sea protected areas (HELCOM MPAs).
More informationEHSA Chemical Inventory Guidance. As of 8/15/2018
EHSA Chemical Inventory Guidance As of 8/15/2018 Access PI s Chemical Inventory To access your PI s chemical Inventory, first log into EHSA with your Kerberos ID. Under Inventory and Chemical Inventory,
More informationInstituto de Pesquisas Meteorológicas - IPMet Universidade Estadual Paulista - Unesp
IPMET WEB GIS APPLICATION FOR SEVERE WEATHER ALERT AND DECISION SUPPORT Jaqueline Murakami Kokitsu Instituto de Pesquisas Meteorológicas - IPMet Universidade Estadual Paulista - Unesp IPMet/Unesp Meteorological
More informationA Data Repository for Named Places and Their Standardised Names Integrated With the Production of National Map Series
A Data Repository for Named Places and Their Standardised Names Integrated With the Production of National Map Series Teemu Leskinen National Land Survey of Finland Abstract. The Geographic Names Register
More information19.2 Geographic Names Register General The Geographic Names Register of the National Land Survey is the authoritative geographic names data
Section 7 Technical issues web services Chapter 19 A Data Repository for Named Places and their Standardised Names Integrated with the Production of National Map Series Teemu Leskinen (National Land Survey
More informationMethods for the specification and verification of business processes MPB (6 cfu, 295AA)
Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 20 - Workflow modules 1 Object We study Workflow modules to model interaction
More informationDeadlock Ezio Bartocci Institute for Computer Engineering
TECHNISCHE UNIVERSITÄT WIEN Fakultät für Informatik Cyber-Physical Systems Group Deadlock Ezio Bartocci Institute for Computer Engineering ezio.bartocci@tuwien.ac.at Deadlock Permanent blocking of a set
More information732A61/TDDD41 Data Mining - Clustering and Association Analysis
732A61/TDDD41 Data Mining - Clustering and Association Analysis Lecture 6: Association Analysis I Jose M. Peña IDA, Linköping University, Sweden 1/14 Outline Content Association Rules Frequent Itemsets
More informationScheduling with Constraint Programming. Job Shop Cumulative Job Shop
Scheduling with Constraint Programming Job Shop Cumulative Job Shop CP vs MIP: Task Sequencing We need to sequence a set of tasks on a machine Each task i has a specific fixed processing time p i Each
More informationBoolean and Vector Space Retrieval Models CS 290N Some of slides from R. Mooney (UTexas), J. Ghosh (UT ECE), D. Lee (USTHK).
Boolean and Vector Space Retrieval Models 2013 CS 290N Some of slides from R. Mooney (UTexas), J. Ghosh (UT ECE), D. Lee (USTHK). 1 Table of Content Boolean model Statistical vector space model Retrieval
More informationEstonian Place Names in the National Information System and the Place Names Register *
UNITED NATIONS Working Paper GROUP OF EXPERTS ON No. 62 GEOGRAPHICAL NAMES Twenty-fifth session Nairobi, 5 12 May 2009 Item 10 of the provisional agenda Activities relating to the Working Group on Toponymic
More informationAn object-oriented design process. Weather system description. Layered architecture. Process stages. System context and models of use
An object-oriented design process Process stages Structured design processes involve developing a number of different system models. They require a lot of effort for development and maintenance of these
More informationSynchronous Reactive Systems
Synchronous Reactive Systems Stephen Edwards sedwards@synopsys.com Synopsys, Inc. Outline Synchronous Reactive Systems Heterogeneity and Ptolemy Semantics of the SR Domain Scheduling the SR Domain 2 Reactive
More informationA Benders Algorithm for Two-Stage Stochastic Optimization Problems With Mixed Integer Recourse
A Benders Algorithm for Two-Stage Stochastic Optimization Problems With Mixed Integer Recourse Ted Ralphs 1 Joint work with Menal Güzelsoy 2 and Anahita Hassanzadeh 1 1 COR@L Lab, Department of Industrial
More informationTHE LOGIC OF COMPOUND STATEMENTS
CHAPTER 2 THE LOGIC OF COMPOUND STATEMENTS Copyright Cengage Learning. All rights reserved. SECTION 2.4 Application: Digital Logic Circuits Copyright Cengage Learning. All rights reserved. Application:
More informationFormal Specification and Verification of Task Time Constraints for Real-Time Systems
1 Formal Specification and Verification of Task Time Constraints for Real-Time Systems Ning Ge, Marc Pantel and Xavier Crégut University of Toulouse, IRIT/INPT 2 rue Charles Camichel, BP 7122, 31071 Toulouse
More informationMultimedia analysis and retrieval
Multimedia analysis and retrieval from the masses, and for the masses Lexing Xie IBM T J Watson Research Center xlx@us.ibm.com ICIP-MIR workshop, Oct 12, 2008 2008 IBM Research multimedia information analysis
More informationProblem Set 9 Solutions
CSE 26 Digital Computers: Organization and Logical Design - 27 Jon Turner Problem Set 9 Solutions. For each of the sequential circuits shown below, draw in the missing parts of the timing diagrams. You
More informationMotors Automation Energy Transmission & Distribution Coatings. Servo Drive SCA06 V1.5X. Addendum to the Programming Manual SCA06 V1.
Motors Automation Energy Transmission & Distribution Coatings Servo Drive SCA06 V1.5X SCA06 V1.4X Series: SCA06 Language: English Document Number: 10003604017 / 01 Software Version: V1.5X Publication Date:
More informationRelational-Database Design
C H A P T E R 7 Relational-Database Design Exercises 7.2 Answer: A decomposition {R 1, R 2 } is a lossless-join decomposition if R 1 R 2 R 1 or R 1 R 2 R 2. Let R 1 =(A, B, C), R 2 =(A, D, E), and R 1
More informationSemantics of UML state machines
1 Otto-von-Guericke Universität Magdeburg, Germany May 27, 2015 A Sample State Machine stm ATM Behaviour Idle usercom.card(c) / cardid = c CardEntered usercom.pin(p) / pin = p PINEntered [trialsnum >=
More informationSummary Of General Chemistry Lab Manual Solutions
Summary Of General Chemistry Lab Manual Solutions Welcome to the first semester of General Chemistry Laboratory Manual, by van. General General Chemistry Solution Manual 8. Chemistry 151 Lab Summary for
More information1. sort of tokens (e.g. indistinguishable (black), coloured, structured,...),
7. High Level Petri-Nets Definition 7.1 A Net Type is determined if the following specification is given: 1. sort of tokens (e.g. indistinguishable (black), coloured, structured,...), 2. sort of labeling
More informationIndustrial Automation de Processos Industriais)
Industrial Automation (Automação de Processos Industriais) (Sequential Function Chart) http://users.isr.ist.utl.pt/~jag/courses/api1213/api1213.html Slides 2010/2011 Prof. Paulo Jorge Oliveira Rev. 2011-2013
More informationUsing SPSS for One Way Analysis of Variance
Using SPSS for One Way Analysis of Variance This tutorial will show you how to use SPSS version 12 to perform a one-way, between- subjects analysis of variance and related post-hoc tests. This tutorial
More informationGeodatabase Best Practices. Dave Crawford Erik Hoel
Geodatabase Best Practices Dave Crawford Erik Hoel Geodatabase best practices - outline Geodatabase creation Data ownership Data model Data configuration Geodatabase behaviors Data integrity and validation
More informationOnTheMap for Emergency Management
OnTheMap for Emergency Management Robert Pitts Geographer/Project Manager Longitudinal Employer Household Dynamics (LEHD) Center for Economic Studies U.S. Census Bureau Jody Hoon-Star Geographer/Application
More informationCoulomb s Law Mini-Lab
Setup Name Per Date Coulomb s Law Mini-Lab On a fresh piece of notebook paper, write the above title, name, date, and period. Be sure to put all headings, Roman numerals and regular numbers on your paper.
More informationSecuring the Web of Things
Securing the Web of Things A COMPOSE Perspective Daniel Schreckling University of Passau 1 st W3C WoT IG F2F Open Day April 20, 2015 High- Level COMPOSE Architecture 2 Main Design Decision The situation
More informationIntroduction to Model Checking. Debdeep Mukhopadhyay IIT Madras
Introduction to Model Checking Debdeep Mukhopadhyay IIT Madras How good can you fight bugs? Comprising of three parts Formal Verification techniques consist of three parts: 1. A framework for modeling
More informationMATH 243E Test #3 Solutions
MATH 4E Test # Solutions () Find a recurrence relation for the number of bit strings of length n that contain a pair of consecutive 0s. You do not need to solve this recurrence relation. (Hint: Consider
More informationVMI-PL: A monitoring language for virtual platforms using virtual machine introspection
VMI-PL: A monitoring language for virtual platforms using virtual machine introspection Florian Westphal 1,2 Stefan Axelsson 1 Christian Neuhaus 2 Andreas Polze 2 1 Blekinge Institute of Technology Karlskrona,
More informationCryptanalysis of the Light-Weight Cipher A2U2 First Draft version
Cryptanalysis of the Light-Weight Cipher A2U2 First Draft version Mohamed Ahmed Abdelraheem, Julia Borghoff, Erik Zenner Technical University of Denmark, DK-2800 Kgs. Lyngby, Denmark {M.A.Abdelraheem,J.Borghoff,E.Zenner}@mat.dtu.dk
More informationChantale Bijoux Meteorological Officer
Chantale Bijoux Meteorological Officer Introduction The Seychelles s National Meteorological Services plays a vital role in providing weather and climate information including severe weather changes, therefore
More informationSystems engineering. Organization of the course, background knowledge Systems analysis introduction L E C T U R E. Ing. Zuzana Bělinová, Ph.D.
L E C T U R E 1 Systems engineering Organization of the course, background knowledge Systems analysis introduction Ing., Ph.D. LECTURE 1 - OVERVIEW Organizational Issues Background knowledge - Systems
More informationFAQ about SIMATIC BATCH
FAQ about SIMATIC BATCH How do I Configure Scaled Parameters? FAQ Table of Contents Table of Contents... 2 1 General Information... 3 1.1 Task/motivation... 3 1.2 Definitions... 3 2 Configuring Scaled
More informationModel Checking with CTL. Presented by Jason Simas
Model Checking with CTL Presented by Jason Simas Model Checking with CTL Based Upon: Logic in Computer Science. Huth and Ryan. 2000. (148-215) Model Checking. Clarke, Grumberg and Peled. 1999. (1-26) Content
More informationCBSE 10th Mathematics 2013 Unsolved Paper Summative Assessment - I
Perfect solution to all problems Tips, Tricks, General Knowledge, Current Affairs, Latest Sample, Previous Year, Practice Papers with solutions. CBSE 10th Mathematics 2013 Unsolved Paper Summative Assessment
More informationGIS and Predictive Modeling: Identifying North Carolina s Historic Archaeological Resources
Environmental Services, Inc. GAI Consultants, Inc. GIS and Predictive Modeling: Identifying North Carolina s Historic Archaeological Resources Ben Resnick (GAI) and Scott Seibel (ESI) Historic Archaeological
More informationSpatially Distributed Queues II. M/G/1 2 Servers N servers: Hypercube Queueing Model Approximations
Spatially Distributed Queues II M/G/1 2 Servers N servers: Hypercube Queueing Model Approximations Setup: Hypercube Queueing Model Region comprised of geographical atoms or nodes Each node j is an independent
More informationSpatial Asset Management
Spatial Asset Management What can Maximo do for you? Jeremy Myers www.cohesivesolutions.com Today s Topics What is Maximo Spatial High Level Architecture Using Spatial Configuration Capabilities Use Case
More informationAugust TLE500x TLE501x. GMR-Based Angular Sensor. Application Note GMR Angle Error Extension V 1.2. Sensors
August 2011 TLE500x TLE501x GMR-Based Angular Sensor Application Note V 1.2 Sensors Edition 2011-08-03 Published by Infineon Technologies AG 81726 München, Germany 2007 Infineon Technologies AG All Rights
More informationBusiness Process Management
Business Process Management Theory: The Pi-Calculus Frank Puhlmann Business Process Technology Group Hasso Plattner Institut Potsdam, Germany 1 What happens here? We discuss the application of a general
More informationConstraint Solving for Program Verification: Theory and Practice by Example
Constraint Solving for Program Verification: Theory and Practice by Example Andrey Rybalchenko Technische Universität München Abstract. Program verification relies on the construction of auxiliary assertions
More informationLecture 20. Poisson Processes. Text: A Course in Probability by Weiss STAT 225 Introduction to Probability Models March 26, 2014
Lecture 20 Text: A Course in Probability by Weiss 12.1 STAT 225 Introduction to Probability Models March 26, 2014 Whitney Huang Purdue University 20.1 Agenda 1 2 20.2 For a specified event that occurs
More informationTutorial: Device-independent random number generation. Roger Colbeck University of York
Tutorial: Device-independent random number generation Roger Colbeck University of York Outline Brief motivation of random number generation Discuss what we mean by a random number Discuss some ways of
More informationHypertree-Width and Related Hypergraph Invariants
Hypertree-Width and Related Hypergraph Invariants Isolde Adler, Georg Gottlob, Martin Grohe To cite this version: Isolde Adler, Georg Gottlob, Martin Grohe. Hypertree-Width and Related Hypergraph Invariants.
More informationControlling for Time Invariant Heterogeneity
Controlling for Time Invariant Heterogeneity Yona Rubinstein July 2016 Yona Rubinstein (LSE) Controlling for Time Invariant Heterogeneity 07/16 1 / 19 Observables and Unobservables Confounding Factors
More informationProbability with Engineering Applications ECE 313 Section C Lecture 2. Lav R. Varshney 30 August 2017
Probability with Engineering Applications ECE 313 Section C Lecture 2 Lav R. Varshney 30 August 2017 1 Logistics Text: ECE 313 course notes Hard copy sold through ECE Store Soft copy available on the course
More informationGreen s Functions with Reflection
Green s Functions with Reflection User s manual Alberto Cabada Fernández (USC) José Ángel Cid Araújo (UVIGO) Fernando Adrián Fernández Tojo (USC) Beatriz Máquez Villamarín (USC) Universidade de Santiago
More informationVerification of the linguistic uncertainty of warning uncertainty
Verification of the linguistic uncertainty of warning uncertainty Martin Göber 1,3, Tobias Pardowitz 2,3, Thomas Kox 2,3 1 Deutscher Wetterdienst, Offenbach, Germany 2 Institut für Meteorologie Freie Universität,
More informationThe econ Planning Suite: CPD Maps and the Con Plan in IDIS for Consortia Grantees Session 1
The econ Planning Suite: CPD Maps and the Con Plan in IDIS for Consortia Grantees Session 1 1 Training Objectives Use CPD Maps to analyze, assess, and compare levels of need in your community Use IDIS
More informationChandy-Lamport Snapshotting
Chandy-Lamport Snapshotting COS 418: Distributed Systems Precept 8 Themis Melissaris and Daniel Suo [Content adapted from I. Gupta] Agenda What are global snapshots? The Chandy-Lamport algorithm Why does
More informationINSTITUT FÜR INFORMATIK
INSTITUT FÜR INFORMATIK DER LUDWIGMAXIMILIANSUNIVERSITÄT MÜNCHEN Bachelorarbeit Propagation of ESCL Cardinality Constraints with Respect to CEP Queries Thanh Son Dang Aufgabensteller: Prof. Dr. Francois
More informationCAIM: Cerca i Anàlisi d Informació Massiva
1 / 21 CAIM: Cerca i Anàlisi d Informació Massiva FIB, Grau en Enginyeria Informàtica Slides by Marta Arias, José Balcázar, Ricard Gavaldá Department of Computer Science, UPC Fall 2016 http://www.cs.upc.edu/~caim
More informationCSC 261/461 Database Systems Lecture 12. Spring 2018
CSC 261/461 Database Systems Lecture 12 Spring 2018 Announcement Project 1 Milestone 2 due tonight! Read the textbook! Chapter 8: Will cover later; But self-study the chapter Chapter 14: Section 14.1 14.5
More informationPhysics to PDE. Tutorial
Physics to PDE Tutorial 1 1. Exercise Heat Transfer: Heat conduction in the steady state 2. Exercise Structural Mechanics: Bending test 3. Exercise Electrodynamics: Plate capacitor 4. Exercise Fluid Dynamics:
More informationOn Expressiveness and Behavioural Theory of Attribute-based Communication
On Expressiveness and Behavioural Theory of Attribute-based Communication Rocco De Nicola Joint work with Y. A. Alrahman and M. Loreti Final Meeting CINA Civitanova Marche January 2016 Contents 1 Introduction
More informationPortal 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
More informationUser Manuel. EurotaxForecast. Version Latest changes ( )
User Manuel EurotaxForecast Version 1.23.0771- Latest changes (19.07.2003) Contents Preface 5 Welcome to Eurotax Forecast...5 Using this manual 6 How to use this manual?...6 Program overview 7 General
More informationDistributed ML for DOSNs: giving power back to users
Distributed ML for DOSNs: giving power back to users Amira Soliman KTH isocial Marie Curie Initial Training Networks Part1 Agenda DOSNs and Machine Learning DIVa: Decentralized Identity Validation for
More informationMATERIAL MECHANICS, SE2126 COMPUTER LAB 4 MICRO MECHANICS. E E v E E E E E v E E + + = m f f. f f
MATRIAL MCHANICS, S226 COMPUTR LAB 4 MICRO MCHANICS 2 2 2 f m f f m T m f m f f m v v + + = + PART A SPHRICAL PARTICL INCLUSION Consider a solid granular material, a so called particle composite, shown
More informationGENERALIZATION 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,
More informationStatic Program Analysis using Abstract Interpretation
Static Program Analysis using Abstract Interpretation Introduction Static Program Analysis Static program analysis consists of automatically discovering properties of a program that hold for all possible
More informationOECD QSAR Toolbox v.4.1. Tutorial illustrating new options for grouping with metabolism
OECD QSAR Toolbox v.4.1 Tutorial illustrating new options for grouping with metabolism Outlook Background Objectives Specific Aims The exercise Workflow 2 Background Grouping with metabolism is a procedure
More informationUrban Transportation Planning Prof. Dr.V.Thamizh Arasan Department of Civil Engineering Indian Institute of Technology Madras
Urban Transportation Planning Prof. Dr.V.Thamizh Arasan Department of Civil Engineering Indian Institute of Technology Madras Module #03 Lecture #12 Trip Generation Analysis Contd. This is lecture 12 on
More informationTHE UTP SUITE YOUR ALL-IN-ONE SOLUTION FOR BUILDING MODERN TEST SYSTEM SOFTWARE
THE UTP SUITE YOUR ALL-IN-ONE SOLUTION FOR BUILDING MODERN TEST SYSTEM SOFTWARE UTP Suite THE UTP SUITE DEVELOPING A STANDARD Increasing customer requirements, shorter product cycles and higher time to
More informationCorrectness of Concurrent Programs
Correctness of Concurrent Programs Trifon Ruskov ruskov@tu-varna.acad.bg Technical University of Varna - Bulgaria Correctness of Concurrent Programs Correctness of concurrent programs needs to be formalized:
More informationGeodatabase: Best Practices. Robert LeClair, Senior Instructor
Geodatabase: Best Practices Robert LeClair, Senior Instructor Agenda Geodatabase Creation Data Ownership Data Model Data Configuration Geodatabase Behaviors Data Validation Extending Performance Geodatabase
More information85. Geo Processing Mineral Liberation Data
Research Center, Pori / Pertti Lamberg 15023-ORC-J 1 (23) 85. Geo Processing Mineral Liberation Data 85.1. Introduction The Mineral Liberation Analyzer, MLA, is an automated mineral analysis system that
More informationSynergy between Data Reconciliation and Principal Component Analysis.
Plant Monitoring and Fault Detection Synergy between Data Reconciliation and Principal Component Analysis. Th. Amand a, G. Heyen a, B. Kalitventzeff b Thierry.Amand@ulg.ac.be, G.Heyen@ulg.ac.be, B.Kalitventzeff@ulg.ac.be
More informationPerformance Modeling of Distributed Collaboration Services with Independent Inputs/Outputs
Performance Modeling of Distributed Collaboration Services with Independent Inputs/Outputs Toqeer Israr, Gregor v Bochmann Department of Electrical Engineering and Computer Science University of Ottawa
More informationProgram verification. Hoare triples. Assertional semantics (cont) Example: Semantics of assignment. Assertional semantics of a program
Program verification Assertional semantics of a program Meaning of a program: relation between its inputs and outputs; specified by input assertions (pre-conditions) and output assertions (post-conditions)
More informationRANDOM and REPEATED statements - How to Use Them to Model the Covariance Structure in Proc Mixed. Charlie Liu, Dachuang Cao, Peiqi Chen, Tony Zagar
Paper S02-2007 RANDOM and REPEATED statements - How to Use Them to Model the Covariance Structure in Proc Mixed Charlie Liu, Dachuang Cao, Peiqi Chen, Tony Zagar Eli Lilly & Company, Indianapolis, IN ABSTRACT
More informationCount-Min Tree Sketch: Approximate counting for NLP
Count-Min Tree Sketch: Approximate counting for NLP Guillaume Pitel, Geoffroy Fouquier, Emmanuel Marchand and Abdul Mouhamadsultane exensa firstname.lastname@exensa.com arxiv:64.5492v [cs.ir] 9 Apr 26
More informationModeling User s Cognitive Dynamics in Information Access and Retrieval using Quantum Probability (ESR-6)
Modeling User s Cognitive Dynamics in Information Access and Retrieval using Quantum Probability (ESR-6) SAGAR UPRETY THE OPEN UNIVERSITY, UK QUARTZ Mid-term Review Meeting, Padova, Italy, 07/12/2018 Self-Introduction
More informationIndustrial Automation (Automação de Processos Industriais)
Industrial Automation (Automação de Processos Industriais) (Sequential Function Chart) http://users.isr.ist.utl.pt/~jag/courses/api1415/api1415.html Slides 2010/2011 Prof. Paulo Jorge Oliveira Rev. 2011-2015
More informationMethods for the specification and verification of business processes MPB (6 cfu, 295AA)
Methods for the specification and verification of business processes MPB (6 cfu, 295AA) Roberto Bruni http://www.di.unipi.it/~bruni 20 - Workflow modules 1 Object We study Workflow modules to model interaction
More informationSingle cam type. Double cam type. Grip force N. Type Model/size Stroke Screw type straight style. Screw type tee style
Type Model/size Stroke -SS-0-N. -SS-0-N. Single cam type -SS- 7. -SS-. -SS-4. -SD-0 Double cam type -SD- -SD-4. Screw type straight style Screw type tee style -FS- -FT- -FS- -FT- 0.9 1. 1.. 1. 4 Grip forcen
More informationÖBB Natural Hazard Management
ÖBB Natural Hazard Management Management of Weather Events in the Austrian Federal Railways MOWE-IT, Brussels 17 th of September 2013 DI Günther Kundela Integrated Track Management Integration Technic
More informationRoad to GIS, PSE s past, present and future
Road to GIS, PSE s past, present and future PSE Gas Mapping History 1840 Early 1900 s Gas piping was captured in Field Books which were than converted onto Mylar maps using Pen and Ink. 1955 Washington
More informationTECHNICAL REPORT YL DISSECTING ZAB
TECHNICAL REPORT YL-2010-0007 DISSECTING ZAB Flavio Junqueira, Benjamin Reed, and Marco Serafini Yahoo! Labs 701 First Ave Sunnyvale, CA 94089 {fpj,breed,serafini@yahoo-inc.com} Bangalore Barcelona Haifa
More informationGEOLOGY 100 Planet Earth Spring Semester, 2007
GEOLOGY 100 Planet Earth Spring Semester, 2007 Instructor: Michael A. Stewart, 250 Natural History Building Phone: 244-5025 Email: stewart1@uiuc.edu Office hours: Friday 1:00-2:30 pm by appointment Discussion
More informationFramework for on an open 3D urban analysis platform based on OGC Web Services
Platzhalter für Bild, Bild auf Titelfolie hinter das Logo einsetzen Framework for on an open 3D urban analysis platform based on OGC Web Services Marc-O. Löwner & Thomas Adolphi (née Becker) Technische
More informationSupplementary Information: Three-dimensional quantum photonic elements based on single nitrogen vacancy-centres in laser-written microstructures
Supplementary Information: Three-dimensional quantum photonic elements based on single nitrogen vacancy-centres in laser-written microstructures Andreas W. Schell, 1, a) Johannes Kaschke, 2 Joachim Fischer,
More information