naming identity and provenance
play

Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard - PowerPoint PPT Presentation

Dec 30, 2022 •47 likes •527 views

Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard University #include <stdApology.h> Identity Central Important Difficult Teach Describe Reference Morning Star Evening Star Venus Discovery Languages == .equals()

  1. Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard University

  2. #include <stdApology.h>

  3. Identity

  4. Central

  5. Important

  6. Difficult

  7. Teach

  8. Describe

  9. Reference

  10. Morning Star

  11. Evening Star

  12. Venus

  13. Discovery

  14. Languages

  15. ==

  16. .equals()

  17. Name

  18. Structural

  19. Time

  20. Versions

  21. Ship of Theseus

  22. What-ifs

  23. Possible worlds

  24. Kripke

  25. Designators

  26. Data

  27. Identity

  28. Reproducability

  29. Software

  30. Systems

  31. Version Control

  32. Same bits

  33. Where to stop?

  34. Proenance

  35. Identity = What + How

  36. Copies

  37. Clones

  38. Why Worry?

  39. Coherence

  40. Science

  41. Reliability

  42. Hard problems

  43. General Case

  44. Special Case

  45. Broader Impact

  46. Naming, Identity, and Provenance Jim Waldo Sun Labs Harvard University

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

The Art of Naming The Art of Naming agentzh ( ) 2006.9 Why

The Art of Naming The Art of Naming agentzh ( ) 2006.9 Why

The Art of Naming The Art of Naming agentzh ( ) 2006.9 Why naming matters ? Good hackers poets and wordsmiths A poetry in Pugs' Main.hs

1.42k views • 109 slides
Agenda Web and Widgets should be the same. Really? Application / actor identity

Agenda Web and Widgets should be the same. Really? Application / actor identity

Agenda Web and Widgets should be the same. Really? Application / actor identity API identity and naming Concrete APIs and API conventions; API discovery Policy description (XACML? sth else?) Policy management

228 views • 12 slides
Scalable Uncertainty Management 03 Provenance Rainer Gemulla May 18, 2012 Overview In this

Scalable Uncertainty Management 03 Provenance Rainer Gemulla May 18, 2012 Overview In this

Scalable Uncertainty Management 03 Provenance Rainer Gemulla May 18, 2012 Overview In this lecture Introduction to datalog What is provenance? Which types of provenance do exist? Lineage Why-provenance How-provenance How to

466 views • 43 slides
Provenance from the data provider view constructing provenance information for the APPLAUSE

Provenance from the data provider view constructing provenance information for the APPLAUSE

Provenance from the data provider view constructing provenance information for the APPLAUSE archive Anastasia Galkin Ole Streicher Kristin Riebe Harry Enke EDP Forum Heidelberg 2018 6 Constructing the provenance Used Used for or the

610 views • 15 slides
VERSIONING, VERSIONING, PROVENANCE, AND PROVENANCE, AND REPRODUCABILITY REPRODUCABILITY

VERSIONING, VERSIONING, PROVENANCE, AND PROVENANCE, AND REPRODUCABILITY REPRODUCABILITY

VERSIONING, VERSIONING, PROVENANCE, AND PROVENANCE, AND REPRODUCABILITY REPRODUCABILITY Christian Kaestner Required reading: Halevy, Alon, Flip Korn, Natalya F. Noy, Christopher Olston, Neoklis Polyzotis, Sudip Roy, and Steven Euijong

755 views • 46 slides
Provenance of astronomical data The IVOA Provenance Working Group: Catherine Boisson Franois

Provenance of astronomical data The IVOA Provenance Working Group: Catherine Boisson Franois

Provenance Data Model Provenance of astronomical data The IVOA Provenance Working Group: Catherine Boisson Franois Bonnarel Johan Bregeon Pierre Le Sidaner Julien Lefaucheur Mireille Louys Markus Nullmeier Ana Palacios Kristin Riebe

360 views • 22 slides
Naming Architecture for Naming Architecture for Object to Object Communications

Naming Architecture for Naming Architecture for Object to Object Communications

Naming Architecture for Naming Architecture for Object to Object Communications &lt;draft-lee-object-naming-00.txt&gt; 75 th IETF Stockholm, July 2009 Gyu Myoung Lee (gmlee@it-sudparis.eu) G M L ( l @it d i ) Jun Kyun Choi

521 views • 11 slides
PASS PASS Provenance-Aware Storage System Provenance-Aware Storage System Margo Seltzer, David

PASS PASS Provenance-Aware Storage System Provenance-Aware Storage System Margo Seltzer, David

PASS PASS Provenance-Aware Storage System Provenance-Aware Storage System Margo Seltzer, David Holland, Kiran-Kumar Muniswamy-Reddy, Uri Braun, and Jonathan Ledlie Harvard University What is Provenance? What is Provenance? What did the

336 views • 12 slides
Provenance -Only Integration Ashish Gehani Dawood Tariq SRI Provenance -Only Integration p.

Provenance -Only Integration Ashish Gehani Dawood Tariq SRI Provenance -Only Integration p.

Provenance -Only Integration Ashish Gehani Dawood Tariq SRI Provenance -Only Integration p. 1/13 Integration Challenges Metadata variation: Abstraction levels Completeness Identifiers Semantics Querying requires: Record assembly

683 views • 13 slides
Provenance for Interactive Visualizations Fotis Psallidas Eugene Wu fotis@cs.columbia.edu

Provenance for Interactive Visualizations Fotis Psallidas Eugene Wu fotis@cs.columbia.edu

Provenance for Interactive Visualizations Fotis Psallidas Eugene Wu fotis@cs.columbia.edu ewu@cs.columbia.edu Provenance Primer Fine-Grained Provenance (Connections between input and output tuples) Provenance Primer Fine-Grained Provenance

392 views • 20 slides
Creating and Naming Variables Note : The creating and naming of variables is also an import part of

Creating and Naming Variables Note : The creating and naming of variables is also an import part of

WS_Workflow Presentation Outline Part 2 Krista K. Payne July 26, 2017 Creating and Naming Variables Note : The creating and naming of variables is also an import part of writing documentation The fundamental principle for creating and naming

440 views • 5 slides
Topology-based naming 2013.06.06 Ikjune Kim 1 Categories of Persistent naming Basic Naming

Topology-based naming 2013.06.06 Ikjune Kim 1 Categories of Persistent naming Basic Naming

Topology-based naming 2013.06.06 Ikjune Kim 1 Categories of Persistent naming Basic Naming Ambiguity Solving [feat1,side1], [1,2] [feat1,side1] - - [feat1,side1], [2,2] Original model Name Matching a pocket Modification of Persistent

702 views • 37 slides
Sun Metro RTS Naming Presentation | 09.13.11 : RTS Naming Presentation 2 assignment Create a

Sun Metro RTS Naming Presentation | 09.13.11 : RTS Naming Presentation 2 assignment Create a

Sun Metro RTS Naming Presentation | 09.13.11 : RTS Naming Presentation 2 assignment Create a name for Sun Metros Rapid Transit System (RTS). The name must have distinct compatibility so that it can feel like an extension of Sun

475 views • 11 slides
Provenance Analytics and Visualization Juliana Freire VisTrails Group &amp; Web and Databases

Provenance Analytics and Visualization Juliana Freire VisTrails Group &amp; Web and Databases

Provenance Analytics and Visualization Juliana Freire VisTrails Group &amp; Web and Databases Lab Provenance Analytics: Opportunities Provenance beyond reproducibility Opportunity for knowledge discovery, sharing and re-use Query

475 views • 13 slides
Provenance Tracking in CXXR Chris A. Silles Andrew R. Runnalls Computing Laboratory, University

Provenance Tracking in CXXR Chris A. Silles Andrew R. Runnalls Computing Laboratory, University

Provenance Tracking in CXXR Chris A. Silles Andrew R. Runnalls Computing Laboratory, University of Kent, UK Introduction Provenance CXXR Provenance-Aware CXXR Conclusion Outline 1 Introduction 2 Provenance CXXR 3 Provenance-Aware

980 views • 97 slides
Naming in Distributed Systems Overview: Names, Identifiers, Addresses, Routes, Name Space,

Naming in Distributed Systems Overview: Names, Identifiers, Addresses, Routes, Name Space,

CPSC-662 Distributed Computing Naming Naming in Distributed Systems Overview: Names, Identifiers, Addresses, Routes, Name Space, Name Resolution, ... Implementation of a Naming Service Case Studies: DNS, X.500 Naming and

405 views • 9 slides
Common API for Transparent Hybrid Multicast draft-irtf-samrg-common-api - Status Update

Common API for Transparent Hybrid Multicast draft-irtf-samrg-common-api - Status Update

Common API for Transparent Hybrid Multicast draft-irtf-samrg-common-api - Status Update Matthias Whlisch, Thomas C. Schmidt Stig Venaas {waehlisch, t.schmidt}@ieee.org, stig@cisco.com 1 History of the Draft o Version 00/01 presented

293 views • 10 slides
TOPIC 7 MORE EXCEL Max Fowler (Computer Science)

TOPIC 7 MORE EXCEL Max Fowler (Computer Science)

CS 105: TOPIC 6 LOOPS TOPIC 7 MORE EXCEL Max Fowler (Computer Science) https://pages.github-dev.cs.illinois.edu/cs-105/web/ JULY 5, 2020 Week 4 Video Series Topics for loops (definite loops) and range while loops (indefinite

699 views • 32 slides
Rigorous approximation of invariant measures for IFS Joint work with S. Galatolo e I. Nisoli

Rigorous approximation of invariant measures for IFS Joint work with S. Galatolo e I. Nisoli

Rigorous approximation of invariant measures for IFS Joint work with S. Galatolo e I. Nisoli Maurizio Monge maurizio.monge@im.ufrj.br Universidade Federal do Rio de Janeiro April 8, 2016 Rigorous approximation of invariant measures for IFS

607 views • 21 slides
Iterated Function Systems on the circle Pablo G. Barrientos and Artem Raibekas Universidad de

Iterated Function Systems on the circle Pablo G. Barrientos and Artem Raibekas Universidad de

Iterated Function Systems on the circle Pablo G. Barrientos and Artem Raibekas Universidad de Oviedo (Spain) Universidade Federal Fluminense (Brasil) ICDEA: 27 July 2012 A semigroup with identity generated (w.r.t. the composition) by a family

237 views • 21 slides
Polynomial eigenfunctions associated to affine IFS Helena Pe na, Uni Greifswald 3rd Bremen

Polynomial eigenfunctions associated to affine IFS Helena Pe na, Uni Greifswald 3rd Bremen

Polynomial eigenfunctions associated to affine IFS Helena Pe na, Uni Greifswald 3rd Bremen Winter School and Symposium Universit at Bremen March 28, 2015 Polynomial eigenfunctions associated to affine IFS 1. Bernoulli IFS 2. Transfer

758 views • 52 slides
if-then-else Statements if-then Statements General form of an if-then statement: if [boolean

if-then-else Statements if-then Statements General form of an if-then statement: if [boolean

if-then-else Statements if-then Statements General form of an if-then statement: if [boolean expression &quot;test&quot;]: [then block runs when test is True] if-then is a control statement It can be written anywhere you can write

604 views • 11 slides
COMP 110-003 Introduction to Programming If-Else Statement, Switch Statement and Loops February

COMP 110-003 Introduction to Programming If-Else Statement, Switch Statement and Loops February

COMP 110-003 Introduction to Programming If-Else Statement, Switch Statement and Loops February 5, 2013 Haohan Li TR 11:00 12:15, SN 011 Spring 2013 Announcement Office hour is permanently changed Wednesday, 12:30PM 2:30PM

662 views • 41 slides
17/04/2015 What does it mean? Re spo nse -time a na lysis c o nditio na l

17/04/2015 What does it mean? Re spo nse -time a na lysis c o nditio na l

17/04/2015 What does it mean? Re spo nse -time a na lysis c o nditio na l Response-Time Analysis DAG ta sks of Conditional DAG Tasks multipro c e sso r syste ms in Multiprocessor Systems Alessandra

252 views • 8 slides

More recommend