the virtue of vicious circles
play

The Virtue of Vicious Circles Baltasar Trancn y Widemann TU Ilmenau - PowerPoint PPT Presentation

Apr 29, 2023 •253 likes •1.32k views

Introduction Technique Applications Conclusion The Virtue of Vicious Circles Baltasar Trancn y Widemann TU Ilmenau 2016-10-25 Trancn y Widemann The Virtue of Vicious Circles 1 / 34 Introduction Technique Applications Conclusion

  1. Introduction Technique Applications Conclusion Pointers Cycles Details Pointer Coalgebra Memory states are coalgebras Pointers are pointed coalgebras Deep equality is bisimilarity Hierarchy of models initial finite noncircular data – too small rational finite circular data – about right final infinite data – too large Trancón y Widemann The Virtue of Vicious Circles 12 / 34

  2. Introduction Technique Applications Conclusion Pointers Cycles Details Iteration & Coiteration in a Nutshell Consider simpler functor P ( X ) = X + 1 Iteration uses initial model N , [ succ , zero ] Coiteration uses final model N ∪ { ∞ } , pred Trancón y Widemann The Virtue of Vicious Circles 13 / 34

  3. Introduction Technique Applications Conclusion Pointers Cycles Details Iteration & Coiteration in a Nutshell Consider simpler functor P ( X ) = X + 1 Iteration uses initial model N , [ succ , zero ] Coiteration uses final model N ∪ { ∞ } , pred Trancón y Widemann The Virtue of Vicious Circles 13 / 34

  4. Introduction Technique Applications Conclusion Pointers Cycles Details Iteration & Coiteration in a Nutshell Consider simpler functor P ( X ) = X + 1 Iteration uses initial model N , [ succ , zero ] Coiteration uses final model N ∪ { ∞ } , pred Trancón y Widemann The Virtue of Vicious Circles 13 / 34

  5. Introduction Technique Applications Conclusion Pointers Cycles Details Introduction 1 Technique 2 Pointer Coalgebra Cycle Detection & Handling Technical Details Applications 3 Rational Arithmetics Circular Lists Structural Polynomial Subtyping Conclusion 4 Trancón y Widemann The Virtue of Vicious Circles 13 / 34

  6. Introduction Technique Applications Conclusion Pointers Cycles Details Motto Those who cannot remember the past are condemned to repeat it. (Ruiz de Santayana 1906) Trancón y Widemann The Virtue of Vicious Circles 14 / 34

  7. Introduction Technique Applications Conclusion Pointers Cycles Details Call Stack Standard implementation of recursive functions Incarnation = code + (top) stack frame Cycle = identical stacked frames Suffices for cycle detection Handling? Trancón y Widemann The Virtue of Vicious Circles 15 / 34

  8. Introduction Technique Applications Conclusion Pointers Cycles Details Call Stack Standard implementation of recursive functions Incarnation = code + (top) stack frame Cycle = identical stacked frames Suffices for cycle detection Handling? Trancón y Widemann The Virtue of Vicious Circles 15 / 34

  9. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  10. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  11. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  12. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  13. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  14. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 6 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  15. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 4 6 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  16. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 3 4 6 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  17. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations I 3 5 1 2 2 3 4 6 Trancón y Widemann The Virtue of Vicious Circles 16 / 34

  18. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations II 1 2 3 5 Destination-passing style (Minamide 1998) Tail recursion modulo cons(tructor) (Warren 1980) can be used to eliminate tail calls, or alternatively to handle duckling loops! Lazy evaluation similar; consumer- not producer-driven Trancón y Widemann The Virtue of Vicious Circles 17 / 34

  19. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations II 1 2 3 5 Destination-passing style (Minamide 1998) Tail recursion modulo cons(tructor) (Warren 1980) can be used to eliminate tail calls, or alternatively to handle duckling loops! Lazy evaluation similar; consumer- not producer-driven Trancón y Widemann The Virtue of Vicious Circles 17 / 34

  20. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations II 1 2 3 5 2 Destination-passing style (Minamide 1998) Tail recursion modulo cons(tructor) (Warren 1980) can be used to eliminate tail calls, or alternatively to handle duckling loops! Lazy evaluation similar; consumer- not producer-driven Trancón y Widemann The Virtue of Vicious Circles 17 / 34

  21. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations II 1 2 3 5 2 3 Destination-passing style (Minamide 1998) Tail recursion modulo cons(tructor) (Warren 1980) can be used to eliminate tail calls, or alternatively to handle duckling loops! Lazy evaluation similar; consumer- not producer-driven Trancón y Widemann The Virtue of Vicious Circles 17 / 34

  22. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations II 1 2 3 5 2 3 4 Destination-passing style (Minamide 1998) Tail recursion modulo cons(tructor) (Warren 1980) can be used to eliminate tail calls, or alternatively to handle duckling loops! Lazy evaluation similar; consumer- not producer-driven Trancón y Widemann The Virtue of Vicious Circles 17 / 34

  23. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations II 1 2 3 5 2 3 4 6 Destination-passing style (Minamide 1998) Tail recursion modulo cons(tructor) (Warren 1980) can be used to eliminate tail calls, or alternatively to handle duckling loops! Lazy evaluation similar; consumer- not producer-driven Trancón y Widemann The Virtue of Vicious Circles 17 / 34

  24. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations II 1 2 3 5 2 3 4 6 Destination-passing style (Minamide 1998) Tail recursion modulo cons(tructor) (Warren 1980) can be used to eliminate tail calls, or alternatively to handle duckling loops! Lazy evaluation similar; consumer- not producer-driven Trancón y Widemann The Virtue of Vicious Circles 17 / 34

  25. Introduction Technique Applications Conclusion Pointers Cycles Details Order of Operations II 1 2 3 5 2 3 4 6 Destination-passing style (Minamide 1998) Tail recursion modulo cons(tructor) (Warren 1980) can be used to eliminate tail calls, or alternatively to handle duckling loops! Lazy evaluation similar; consumer- not producer-driven Trancón y Widemann The Virtue of Vicious Circles 17 / 34

  26. Introduction Technique Applications Conclusion Pointers Cycles Details Handler #1 Retain stack frames Fix output before recursive call Cycle detected = ⇒ copy outputs Generic algorithm (calling convention) applied to recursive function definition implements coiteration of body as coalgebra Proof by bisimulation construction & graph coloring Trancón y Widemann The Virtue of Vicious Circles 18 / 34

  27. Introduction Technique Applications Conclusion Pointers Cycles Details Handler #1 Retain stack frames Fix output before recursive call Cycle detected = ⇒ copy outputs Generic algorithm (calling convention) applied to recursive function definition implements coiteration of body as coalgebra Proof by bisimulation construction & graph coloring Trancón y Widemann The Virtue of Vicious Circles 18 / 34

  28. Introduction Technique Applications Conclusion Pointers Cycles Details Illustration 1 2 3 YOINK ! 5 Trancón y Widemann The Virtue of Vicious Circles 19 / 34

  29. Introduction Technique Applications Conclusion Pointers Cycles Details Illustration 1 2 3 YOINK ! 5 Trancón y Widemann The Virtue of Vicious Circles 19 / 34

  30. Introduction Technique Applications Conclusion Pointers Cycles Details Illustration 1 2 3 YOINK ! 5 2 Trancón y Widemann The Virtue of Vicious Circles 19 / 34

  31. Introduction Technique Applications Conclusion Pointers Cycles Details Illustration 1 2 3 YOINK ! 5 2 3 Trancón y Widemann The Virtue of Vicious Circles 19 / 34

  32. Introduction Technique Applications Conclusion Pointers Cycles Details Illustration 1 2 3 YOINK ! 5 2 3 4 Trancón y Widemann The Virtue of Vicious Circles 19 / 34

  33. Introduction Technique Applications Conclusion Pointers Cycles Details Illustration 1 2 3 YOINK ! 5 2 3 4 6 Trancón y Widemann The Virtue of Vicious Circles 19 / 34

  34. Introduction Technique Applications Conclusion Pointers Cycles Details Illustration 1 2 3 YOINK ! 5 2 3 4 YOINK ! 6 Trancón y Widemann The Virtue of Vicious Circles 19 / 34

  35. Introduction Technique Applications Conclusion Pointers Cycles Details Handler #2 Boolean function encoded as positive Hilbert calculus Semantics depend on data no cycles unique fixpoint (induction) cycles complete lattice of fixpoints (Tarski) Cycle detected = ⇒ abort with constant value Generic algorithm constant false/true select least/greatest fixpoint, resp. change of strategy safe at stratification boundaries Possibly for other (finite) base lattices? Trancón y Widemann The Virtue of Vicious Circles 20 / 34

  36. Introduction Technique Applications Conclusion Pointers Cycles Details Handler #2 Boolean function encoded as positive Hilbert calculus Semantics depend on data no cycles unique fixpoint (induction) cycles complete lattice of fixpoints (Tarski) Cycle detected = ⇒ abort with constant value Generic algorithm constant false/true select least/greatest fixpoint, resp. change of strategy safe at stratification boundaries Possibly for other (finite) base lattices? Trancón y Widemann The Virtue of Vicious Circles 20 / 34

  37. Introduction Technique Applications Conclusion Pointers Cycles Details More Handlers? Similar approach by Kozen’s group (Jeannin, Kozen, and Silva 2013) Pluggable cycle handlers fixpoints numerical solvers . . . Trancón y Widemann The Virtue of Vicious Circles 21 / 34

  38. Introduction Technique Applications Conclusion Pointers Cycles Details Cycle Handling vs. Laziness Handler #1 for free in lazy evaluation but Final semantics conflate cycles & true infinity Handler #2 impossible in lazy evaluation Combination yields many interesting algorithms General(?) recipe: take ordinary recursive algorithm 1 add cycle handler 2 obtain cycle-aware algorithm – or fail 3 Trancón y Widemann The Virtue of Vicious Circles 22 / 34

  39. Introduction Technique Applications Conclusion Pointers Cycles Details Cycle Handling vs. Laziness Handler #1 for free in lazy evaluation but Final semantics conflate cycles & true infinity Handler #2 impossible in lazy evaluation Combination yields many interesting algorithms General(?) recipe: take ordinary recursive algorithm 1 add cycle handler 2 obtain cycle-aware algorithm – or fail 3 Trancón y Widemann The Virtue of Vicious Circles 22 / 34

  40. Introduction Technique Applications Conclusion Pointers Cycles Details Cycle Handling vs. Laziness Handler #1 for free in lazy evaluation but Final semantics conflate cycles & true infinity Handler #2 impossible in lazy evaluation Combination yields many interesting algorithms General(?) recipe: take ordinary recursive algorithm 1 add cycle handler 2 obtain cycle-aware algorithm – or fail 3 Trancón y Widemann The Virtue of Vicious Circles 22 / 34

  41. Introduction Technique Applications Conclusion Pointers Cycles Details Introduction 1 Technique 2 Pointer Coalgebra Cycle Detection & Handling Technical Details Applications 3 Rational Arithmetics Circular Lists Structural Polynomial Subtyping Conclusion 4 Trancón y Widemann The Virtue of Vicious Circles 22 / 34

  42. Introduction Technique Applications Conclusion Pointers Cycles Details Efficiency Cycle detection by stack inspection is costly Save work by invariant every cycle contains a marked pointer Trivial in pure functional programming mark the YOINK ! pointers For regular functions (homomorphisms) check only upon mark Also for reference-counting garbage collection Trancón y Widemann The Virtue of Vicious Circles 23 / 34

  43. Introduction Technique Applications Conclusion Pointers Cycles Details Efficiency Cycle detection by stack inspection is costly Save work by invariant every cycle contains a marked pointer Trivial in pure functional programming mark the YOINK ! pointers For regular functions (homomorphisms) check only upon mark Also for reference-counting garbage collection Trancón y Widemann The Virtue of Vicious Circles 23 / 34

  44. Introduction Technique Applications Conclusion Pointers Cycles Details Efficiency Cycle detection by stack inspection is costly Save work by invariant every cycle contains a marked pointer Trivial in pure functional programming mark the YOINK ! pointers For regular functions (homomorphisms) check only upon mark Also for reference-counting garbage collection Trancón y Widemann The Virtue of Vicious Circles 23 / 34

  45. Introduction Technique Applications Conclusion Pointers Cycles Details Implementation Requires read/write access to call stack not supported by usual backends (C, JVM, .NET, . . . ) Possible solution: stackless transform add code to load/unload stack frames to heap objects portable implementation of continuations Trancón y Widemann The Virtue of Vicious Circles 24 / 34

  46. Introduction Technique Applications Conclusion Pointers Cycles Details Implementation Requires read/write access to call stack not supported by usual backends (C, JVM, .NET, . . . ) Possible solution: stackless transform add code to load/unload stack frames to heap objects portable implementation of continuations Trancón y Widemann The Virtue of Vicious Circles 24 / 34

  47. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Introduction 1 Technique 2 Pointer Coalgebra Cycle Detection & Handling Technical Details Applications 3 Rational Arithmetics Circular Lists Structural Polynomial Subtyping Conclusion 4 Trancón y Widemann The Virtue of Vicious Circles 24 / 34

  48. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Introduction 1 Technique 2 Pointer Coalgebra Cycle Detection & Handling Technical Details Applications 3 Rational Arithmetics Circular Lists Structural Polynomial Subtyping Conclusion 4 Trancón y Widemann The Virtue of Vicious Circles 24 / 34

  49. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Addition Rational numbers as sequences of digits Addition is not naturally coiterative depends on carry from the infinite right Consider half-addition instead sum/carry digitwise (cf. map) shift & repeat Converges each digit can overflow at most once Trancón y Widemann The Virtue of Vicious Circles 25 / 34

  50. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Addition Rational numbers as sequences of digits Addition is not naturally coiterative depends on carry from the infinite right Consider half-addition instead sum/carry digitwise (cf. map) shift & repeat Converges each digit can overflow at most once Trancón y Widemann The Virtue of Vicious Circles 25 / 34

  51. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Addition Rational numbers as sequences of digits Addition is not naturally coiterative depends on carry from the infinite right Consider half-addition instead sum/carry digitwise (cf. map) shift & repeat Converges each digit can overflow at most once Trancón y Widemann The Virtue of Vicious Circles 25 / 34

  52. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Division Long division compute most significant digit by trial subtraction repeat with remainder Reverse loop structure inner iteration outer coiteration Problem: cycle modulo bisimilarity Trancón y Widemann The Virtue of Vicious Circles 26 / 34

  53. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Division Long division compute most significant digit by trial subtraction repeat with remainder Reverse loop structure inner iteration outer coiteration Problem: cycle modulo bisimilarity Trancón y Widemann The Virtue of Vicious Circles 26 / 34

  54. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Division Long division compute most significant digit by trial subtraction repeat with remainder Reverse loop structure inner iteration outer coiteration Problem: cycle modulo bisimilarity Trancón y Widemann The Virtue of Vicious Circles 26 / 34

  55. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Introduction 1 Technique 2 Pointer Coalgebra Cycle Detection & Handling Technical Details Applications 3 Rational Arithmetics Circular Lists Structural Polynomial Subtyping Conclusion 4 Trancón y Widemann The Virtue of Vicious Circles 26 / 34

  56. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Usual suspects on lists Usual list functions generalize by adding handler #1 append insert/delete (periodically) Trancón y Widemann The Virtue of Vicious Circles 27 / 34

  57. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Filter Filter is not naturally coinductive can delete infinitely many elements straight away Two-phase approach: mark & sweep cross out unwanted elements 1 eight all crossed out or iteratively filterable 2 Trancón y Widemann The Virtue of Vicious Circles 28 / 34

  58. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Filter Filter is not naturally coinductive can delete infinitely many elements straight away Two-phase approach: mark & sweep cross out unwanted elements 1 eight all crossed out or iteratively filterable 2 Trancón y Widemann The Virtue of Vicious Circles 28 / 34

  59. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Quicksort I G O A L W A Y S (O N) Trancón y Widemann The Virtue of Vicious Circles 29 / 34

  60. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Quicksort I G O A L W A Y S (O N) I G O A L W A Y S (O N) � G A A I G O A L W A Y S (O N) � I I G O A L W A Y S (O N) � O L W Y S (O N) Trancón y Widemann The Virtue of Vicious Circles 29 / 34

  61. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Quicksort I G O A L W A Y S (O N) I G O A L W A Y S (O N) � G A A G A A � A A G A A � G G A A � I G O A L W A Y S (O N) � I I G O A L W A Y S (O N) � O L W Y S (O N) Trancón y Widemann The Virtue of Vicious Circles 29 / 34

  62. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Quicksort I G O A L W A Y S (O N) I G O A L W A Y S (O N) � G A A G A A � A A G A A � G G A A � I G O A L W A Y S (O N) � I I G O A L W A Y S (O N) � O L W Y S (O N) O L W Y S (O N) � L (N) O L W Y S (O N) � O (O) O L W Y S (O N) � W Y S Trancón y Widemann The Virtue of Vicious Circles 29 / 34

  63. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Quicksort I G O A L W A Y S (O N) I G O A L W A Y S (O N) � G A A G A A � A A G A A � G G A A � I G O A L W A Y S (O N) � I I G O A L W A Y S (O N) � O L W Y S (O N) O L W Y S (O N) � L (N) O L W Y S (O N) � O (O) O L W Y S (O N) � W Y S W Y S � S W Y S � W W Y S � Y Trancón y Widemann The Virtue of Vicious Circles 29 / 34

  64. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Quicksort I G O A L W A Y S (O N) I G O A L W A Y S (O N) � G A A G A A � A A G A A � G G A A � I G O A L W A Y S (O N) � I I G O A L W A Y S (O N) � O L W Y S (O N) O L W Y S (O N) � L (N) O L W Y S (O N) � O (O) O L W Y S (O N) � W Y S W Y S � S W Y S � W W Y S � Y A A G I L (N) Trancón y Widemann The Virtue of Vicious Circles 29 / 34

  65. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Introduction 1 Technique 2 Pointer Coalgebra Cycle Detection & Handling Technical Details Applications 3 Rational Arithmetics Circular Lists Structural Polynomial Subtyping Conclusion 4 Trancón y Widemann The Virtue of Vicious Circles 29 / 34

  66. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Polynomial Datatypes Sums, Products & Recursion Structural subtyping sum with less variants product with more components transitively closed lifted to functions Dynamic conversion by access operation mapping table format recursive types = ⇒ circular table references Type conversion tables form category cycle-aware algorithms for subtype check & composition constant-time conversion of structured values Trancón y Widemann The Virtue of Vicious Circles 30 / 34

  67. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Polynomial Datatypes Sums, Products & Recursion Structural subtyping sum with less variants product with more components transitively closed lifted to functions Dynamic conversion by access operation mapping table format recursive types = ⇒ circular table references Type conversion tables form category cycle-aware algorithms for subtype check & composition constant-time conversion of structured values Trancón y Widemann The Virtue of Vicious Circles 30 / 34

  68. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Polynomial Datatypes Sums, Products & Recursion Structural subtyping sum with less variants product with more components transitively closed lifted to functions Dynamic conversion by access operation mapping table format recursive types = ⇒ circular table references Type conversion tables form category cycle-aware algorithms for subtype check & composition constant-time conversion of structured values Trancón y Widemann The Virtue of Vicious Circles 30 / 34

  69. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Example � � BinTree [ α ] ::= Branch 2 BinTree [ α ] , BinTree [ α ] 1 | Leaf ( α ) 2 � � 23Tree [ β ] ::= Branch 3 23Tree [ β ] , 23Tree [ β ] , 23Tree [ β ] 1 � � | Branch 2 23Tree [ β ] , 23Tree [ β ] 2 | Leaf ( β ) 3 � � c : ( α < : β ) → BinTree [ α ] < : 23Tree [ β ] � � 2 � � 1 → c ( d ) , c ( d ) c ( d ) = 3 ( d ) 2 → Trancón y Widemann The Virtue of Vicious Circles 31 / 34

  70. Introduction Technique Applications Conclusion Arithmetics Lists Subtyping Example � � BinTree [ α ] ::= Branch 2 BinTree [ α ] , BinTree [ α ] 1 | Leaf ( α ) 2 � � 23Tree [ β ] ::= Branch 3 23Tree [ β ] , 23Tree [ β ] , 23Tree [ β ] 1 � � | Branch 2 23Tree [ β ] , 23Tree [ β ] 2 | Leaf ( β ) 3 � � c : ( α < : β ) → BinTree [ α ] < : 23Tree [ β ] � � 2 � � 1 → c ( d ) , c ( d ) c ( d ) = 3 ( d ) 2 → Trancón y Widemann The Virtue of Vicious Circles 31 / 34

Recommend

We claim that all circles are similar. Proof. Consider two circles of radius and not

We claim that all circles are similar. Proof. Consider two circles of radius and not

D AY 121 S IMILARITY IN CIRCLES I NTRODUCTION When we talk of similarity, we always think of geometrical figures with sides and vertices, that is, triangles, quadrilaterals, pentagon among others. However, we may also be interesting to

475 views • 10 slides
Accountability Circles Initiation and Youth Empowerment Evolution of the Accountability Circles

Accountability Circles Initiation and Youth Empowerment Evolution of the Accountability Circles

Accountability Circles Initiation and Youth Empowerment Evolution of the Accountability Circles The Accountability Circle Process Wisdom Confidence Courage Respect The Circle Space Check-in Conferences and Plans Necklaces

643 views • 8 slides
LEARNING CIRCLES Presented by: Charmaine Brittain, MSW, Ph.D. Butler Institute for Families

LEARNING CIRCLES Presented by: Charmaine Brittain, MSW, Ph.D. Butler Institute for Families

LEARNING CIRCLES Presented by: Charmaine Brittain, MSW, Ph.D. Butler Institute for Families University of Denver Amy Espinoza, MSW Supervisor Denver Department of Human Services Introduction to Learning Circles Learning Circles are

1.02k views • 17 slides
Vicious Dog Laws Stacey Ober, JD Legislative Analyst and Community Outreach for New England

Vicious Dog Laws Stacey Ober, JD Legislative Analyst and Community Outreach for New England

Summary of State Vicious Dog Laws Stacey Ober, JD Legislative Analyst and Community Outreach for New England Complex Polic licy Is Issues States Public Health and Safety Interest Most Dog Bites are of Children Transmission of

442 views • 11 slides
Ethics as a Quality Attribute Michael Keeling IBM @michaelkeeling Virtue Ethics Consider the

Ethics as a Quality Attribute Michael Keeling IBM @michaelkeeling Virtue Ethics Consider the

Ethics as a Quality Attribute Michael Keeling IBM @michaelkeeling Virtue Ethics Consider the character of the individual Its OK to lie if your intentions are virtuous. Aristotle 3 Virtue Ethics Consider the character of the

669 views • 27 slides
Generalized Hough Transform 16-385 Computer Vision Hough Circles Finding Circles by Hough

Generalized Hough Transform 16-385 Computer Vision Hough Circles Finding Circles by Hough

Generalized Hough Transform 16-385 Computer Vision Hough Circles Finding Circles by Hough Transform Equation of Circle: 2 2 2 ( x a ) ( y b ) r + = i i If radius is known: (2D Hough Space) A ( a , b )

396 views • 36 slides
DWI The New World of Videos &amp; Blood Tests Cameras Can Be Vicious First they frame you! Then

DWI The New World of Videos &amp; Blood Tests Cameras Can Be Vicious First they frame you! Then

DWI The New World of Videos &amp; Blood Tests Cameras Can Be Vicious First they frame you! Then they shoot you! Then they hang you on the wall! AND THEY ARE EVERYWHERE 1984 Was 35 Years Ago In-Car Cameras BODY CAMERAS Welcome to

545 views • 26 slides
CIRCLES AND DOTS 3 SOURCE:

CIRCLES AND DOTS 3 SOURCE:

CIRCLES AND DOTS 3 SOURCE: http://www.architecturaldigest.com/story/yayoi-kusama-david-zwirner-new-york AUTHOR: YAYOI KUSAMA CIRCLES AND DOTS 3 SOURCE: SOURCE: SOURCE: https://lh3.googleuser https://aladyinthecity.word http://theredlist.c

1.54k views • 14 slides
Restricted Practices Our Role in Stopping Vicious Cycles T om Traae Senior Practitioner

Restricted Practices Our Role in Stopping Vicious Cycles T om Traae Senior Practitioner

Restricted Practices Our Role in Stopping Vicious Cycles T om Traae Senior Practitioner (Behaviour Support) Sunnyfield Overview RP systems in QLD and NSW Key differences, strengths and weaknesses Case 1 Gary - A case of mistaken

839 views • 36 slides
Contemporary Mathematical Realism Kurt Gdel THE VICIOUS - CIRCLE PRINCIPLE Ti e principle

Contemporary Mathematical Realism Kurt Gdel THE VICIOUS - CIRCLE PRINCIPLE Ti e principle

Contemporary Mathematical Realism Kurt Gdel THE VICIOUS - CIRCLE PRINCIPLE Ti e principle which enables us to avoid illegitimate totalities may be stated as follows: Whatever involves all of a collection must not be one of the

599 views • 20 slides
Reading Circles as Adult Literacy Education Dr Sam Duncan NRDC May 2013

Reading Circles as Adult Literacy Education Dr Sam Duncan NRDC May 2013

Reading Circles as Adult Literacy Education Dr Sam Duncan NRDC May 2013 http://www.ioe.ac.uk/study/CPEN_13.html s.duncan@ioe.ac.uk Reading Circles... are centred around a written text involve reading are non-hierarchical

596 views • 17 slides
Solution Circles Dr Lucy Ball Senior Practitioner Educational Psychologist, Merton Kim Bulman

Solution Circles Dr Lucy Ball Senior Practitioner Educational Psychologist, Merton Kim Bulman

Solution Circles Dr Lucy Ball Senior Practitioner Educational Psychologist, Merton Kim Bulman Assistant Head Teacher &amp; Behaviour Lead, Perseid School Overview What are Solution Circles A Case Study Wider Applications 2 What

450 views • 31 slides
Angry Thunder and Vicious Frost: Remarks on the Unaccusativity of Chinese Weather Verbs Sicong

Angry Thunder and Vicious Frost: Remarks on the Unaccusativity of Chinese Weather Verbs Sicong

Angry Thunder and Vicious Frost: Remarks on the Unaccusativity of Chinese Weather Verbs Sicong Dong 1 , Jie Xu 2 , Chu-Ren Huang 3 1 School of Humanities and Social Sciences, Harbin Institute of Technology, Shenzhen, 518055 Shenzhen, China 2

315 views • 8 slides
VOCABULARY Circles It is the path that is traced when a point moves around a fixed point while

VOCABULARY Circles It is the path that is traced when a point moves around a fixed point while

D AY 128 E QUATION OF A CIRCLE CENTERED AT THE ORIGIN I NTRODUCTION Circles are among the most common geometric figures we encounter in geometry. A circle can be drawn on the Cartesian plane; and coordinates used to describe the position

356 views • 12 slides
Harnessing the Power of the Purposeful Task Graham Fletcher gfletchy@gmail.com @gfletchy

Harnessing the Power of the Purposeful Task Graham Fletcher gfletchy@gmail.com @gfletchy

Harnessing the Power of the Purposeful Task Graham Fletcher gfletchy@gmail.com @gfletchy www.gfletchy.com ? 3 Questions ? 1 Billion Circles 1 Billion Circles 100 circles : minute 144,000 circles : day

1.17k views • 101 slides
Computational Geometry Lecture 6: Smallest enclosing circles and more Computational Geometry

Computational Geometry Lecture 6: Smallest enclosing circles and more Computational Geometry

Smallest enclosing circles and more Computational Geometry Lecture 6: Smallest enclosing circles and more Computational Geometry Lecture 6: Smallest enclosing circles and more Facility location Given a set of houses and farms in an isolated

882 views • 61 slides
CSE 255 Lecture 3 Data Mining and Predictive Analytics Detecting Social Circles Social

CSE 255 Lecture 3 Data Mining and Predictive Analytics Detecting Social Circles Social

CSE 255 Lecture 3 Data Mining and Predictive Analytics Detecting Social Circles Social circles Communities in ego-networks What are the interest groups or communities among my friends? NIPS 2012, TKDD 2014 (w/ Leskovec) Data Why are

389 views • 15 slides
Cognitive Virtue and Cognitive Self-Determination M. M. Merritt References to McDowell are to

Cognitive Virtue and Cognitive Self-Determination M. M. Merritt References to McDowell are to

Cognitive Virtue and Cognitive Self-Determination M. M. Merritt References to McDowell are to Self - Determining Subjectivity and External Constraint (in Having the World in View: Essays on Kant, Hegel, and Sellars [Cambridge, MA and London:

296 views • 3 slides
Quality Circles a realist approach DPhil Project Department of Continuing Education, University

Quality Circles a realist approach DPhil Project Department of Continuing Education, University

27/04/2015 EQUiP Spring Meeting 2015 Quality Circles a realist approach DPhil Project Department of Continuing Education, University of Oxford Adrian Rohrbasser, MSc Evidence Based Health Care Quality Circles (QC) in Primary Care ''Small

633 views • 17 slides
SHALL NOT NOT EVERY EVERY MAN MAN HOLD HOLD SELF ELF- CONTRO CONTROL TO TO BE BE THE

SHALL NOT NOT EVERY EVERY MAN MAN HOLD HOLD SELF ELF- CONTRO CONTROL TO TO BE BE THE

SHALL NOT NOT EVERY EVERY MAN MAN HOLD HOLD SELF ELF- CONTRO CONTROL TO TO BE BE THE THE FOUNDA FOUNDATION TION OF OF ALL ALL VIRTUE VIRTUE, AND AND FIRST FIRST LAY THIS THIS FOUND FOUNDATI TION ON FIR FIRML MLY IN IN

515 views • 18 slides
The Use of Duty, Virtue and Utilitarian Ethics in Environmental Communication - Based on an

The Use of Duty, Virtue and Utilitarian Ethics in Environmental Communication - Based on an

The Use of Duty, Virtue and Utilitarian Ethics in Environmental Communication - Based on an example from a Danish energy company Mette Mosgaard, www.plan.aau.dk/~mette Department of Development and Planning, The Division of Technology,

240 views • 10 slides
A GREAT VIRTUE THE FOUNDATION OF TRUST THE HEART OF RELATIONSHIPS AUTHENTICITY

A GREAT VIRTUE THE FOUNDATION OF TRUST THE HEART OF RELATIONSHIPS AUTHENTICITY

A GREAT VIRTUE THE FOUNDATION OF TRUST THE HEART OF RELATIONSHIPS AUTHENTICITY INTEGRITY SINCERITY SAFETY HELEN.STREET@UWA.EDU.AU POSITIVESCHOOLS.COM.AU WHAT IT MEANS TO BE HONEST TRUTH, SINCERITY, LAW ABIDING,

574 views • 24 slides
Parent Talking Circles Parents gather together and use research based Protective Factors to build

Parent Talking Circles Parents gather together and use research based Protective Factors to build

Parent Talking Circles Parents gather together and use research based Protective Factors to build a strong parenting community Parent Talking Circles Objectives Gather with Parents/ Caregivers/ Guardians Explore relevant questions

439 views • 12 slides
Intermediate Math Circles - When You Arrive If you have been here before Check your name on the

Intermediate Math Circles - When You Arrive If you have been here before Check your name on the

Intermediate Math Circles - When You Arrive If you have been here before Check your name on the attendance sheet Pick up this weeks handout While you are waiting try this question. Find the sum of the following series. 22 + 23 + 24 + 25 +

940 views • 68 slides

More recommend