Univalent multisets. V through the eyes of the identity type. Håkon Robbestad Gylterud. August 2014
|
|
- Camron Rich
- 5 years ago
- Views:
Transcription
1 Univalent multisets V through the eyes of the identity type Håkon Robbestad Gylterud August 2014 Håkon Robbestad Gylterud Univalent multisets Stockholm University 1 / 25
2 Outline of the talk 1 Present common intuition about multisets Håkon Robbestad Gylterud Univalent multisets Stockholm University 2 / 25
3 Outline of the talk 1 Present common intuition about multisets 2 Give a model of multisets in type theory Håkon Robbestad Gylterud Univalent multisets Stockholm University 2 / 25
4 Outline of the talk 1 Present common intuition about multisets 2 Give a model of multisets in type theory 3 A result about W-types Håkon Robbestad Gylterud Univalent multisets Stockholm University 2 / 25
5 Outline of the talk 1 Present common intuition about multisets 2 Give a model of multisets in type theory 3 A result about W-types 4 Apply this result to the model Håkon Robbestad Gylterud Univalent multisets Stockholm University 2 / 25
6 Outline of the talk 1 Present common intuition about multisets 2 Give a model of multisets in type theory 3 A result about W-types 4 Apply this result to the model 5 Outline of current and future work Håkon Robbestad Gylterud Univalent multisets Stockholm University 2 / 25
7 Mathematical context In this talk... We work in Martin-Löf type theory. Håkon Robbestad Gylterud Univalent multisets Stockholm University 3 / 25
8 Mathematical context In this talk... We work in Martin-Löf type theory. The notion of set is that of a type in type theory Håkon Robbestad Gylterud Univalent multisets Stockholm University 3 / 25
9 Mathematical context In this talk... We work in Martin-Löf type theory. The notion of set is that of a type in type theory (or rather element in the type Set in the logical framework). Håkon Robbestad Gylterud Univalent multisets Stockholm University 3 / 25
10 Mathematical context In this talk... We work in Martin-Löf type theory. The notion of set is that of a type in type theory (or rather element in the type Set in the logical framework). We will use the term iterative set to refer to the notion of set which is studied in Set Theory. Håkon Robbestad Gylterud Univalent multisets Stockholm University 3 / 25
11 Mathematical context In this talk... We work in Martin-Löf type theory. The notion of set is that of a type in type theory (or rather element in the type Set in the logical framework). We will use the term iterative set to refer to the notion of set which is studied in Set Theory. Juxtaposition denotes (left associative) function application. That is, f x denotes f applied to x, and f x y := (f x) y Håkon Robbestad Gylterud Univalent multisets Stockholm University 3 / 25
12 Mathematical context In this talk... We work in Martin-Löf type theory. The notion of set is that of a type in type theory (or rather element in the type Set in the logical framework). We will use the term iterative set to refer to the notion of set which is studied in Set Theory. Juxtaposition denotes (left associative) function application. That is, f x denotes f applied to x, and f x y := (f x) y The technical parts are formalized in Agda. Håkon Robbestad Gylterud Univalent multisets Stockholm University 3 / 25
13 What are multisets? Håkon Robbestad Gylterud Univalent multisets Stockholm University 4 / 25
14 What are multisets? Our intuition is that multisets... Consists of elements. Håkon Robbestad Gylterud Univalent multisets Stockholm University 4 / 25
15 What are multisets? Our intuition is that multisets... Consists of elements. Elements are considered to be unordered. Håkon Robbestad Gylterud Univalent multisets Stockholm University 4 / 25
16 What are multisets? Our intuition is that multisets... Consists of elements. Elements are considered to be unordered. For each element the number of occurences is relevant. Håkon Robbestad Gylterud Univalent multisets Stockholm University 4 / 25
17 What are multisets? Our intuition is that multisets... Consists of elements. Elements are considered to be unordered. For each element the number of occurences is relevant. The first two points are applies to sets as well. The third point distinguishes the two notions. Håkon Robbestad Gylterud Univalent multisets Stockholm University 4 / 25
18 Examples The roots of a polynomial is a multiset if we count multiplicity. x 3 2x 2 + x has roots {0, 1, 1}. Håkon Robbestad Gylterud Univalent multisets Stockholm University 5 / 25
19 Examples The roots of a polynomial is a multiset if we count multiplicity. x 3 2x 2 + x has roots {0, 1, 1}. Sequent calculus. A, A φ Håkon Robbestad Gylterud Univalent multisets Stockholm University 5 / 25
20 Examples The roots of a polynomial is a multiset if we count multiplicity. x 3 2x 2 + x has roots {0, 1, 1}. Sequent calculus. A, A φ Bags in computer science. Håkon Robbestad Gylterud Univalent multisets Stockholm University 5 / 25
21 Related work Blizzard (1989), develops a classical, two sorted, first order theory of multisets which, when restricted to sets, is equivalent to ZFC. Håkon Robbestad Gylterud Univalent multisets Stockholm University 6 / 25
22 Elementhood in multisets Blizzard and others use the notation: Notation (Blizzard) x n y denotes that x occurs in y exactly n times. Håkon Robbestad Gylterud Univalent multisets Stockholm University 7 / 25
23 Elementhood in multisets Blizzard and others use the notation: Notation (Blizzard) x n y denotes that x occurs in y exactly n times. Instead of a ternary relation, we will keep the -relation binary and invoke the propositions-as-sets attitude of Martin-Löf type theory. Håkon Robbestad Gylterud Univalent multisets Stockholm University 7 / 25
24 Elementhood in multisets Blizzard and others use the notation: Notation (Blizzard) x n y denotes that x occurs in y exactly n times. Instead of a ternary relation, we will keep the -relation binary and invoke the propositions-as-sets attitude of Martin-Löf type theory. Our notation x y denotes the set of occurences of x in y. Håkon Robbestad Gylterud Univalent multisets Stockholm University 7 / 25
25 Elementhood in multisets Blizzard and others use the notation: Notation (Blizzard) x n y denotes that x occurs in y exactly n times. Instead of a ternary relation, we will keep the -relation binary and invoke the propositions-as-sets attitude of Martin-Löf type theory. Our notation x y denotes the set of occurences of x in y. Example (1 {0, 0, 1, 1, 1}) = 3 Håkon Robbestad Gylterud Univalent multisets Stockholm University 7 / 25
26 Elementhood in multisets Blizzard and others use the notation: Notation (Blizzard) x n y denotes that x occurs in y exactly n times. Instead of a ternary relation, we will keep the -relation binary and invoke the propositions-as-sets attitude of Martin-Löf type theory. Our notation x y denotes the set of occurences of x in y. Example (1 {0, 0, 1, 1, 1}) = 3 ( 2 Roots(x 3 2x 2 + x) ) =. Håkon Robbestad Gylterud Univalent multisets Stockholm University 7 / 25
27 Elementhood in multisets Blizzard and others use the notation: Notation (Blizzard) x n y denotes that x occurs in y exactly n times. Instead of a ternary relation, we will keep the -relation binary and invoke the propositions-as-sets attitude of Martin-Löf type theory. Our notation x y denotes the set of occurences of x in y. Example (1 {0, 0, 1, 1, 1}) = 3 ( 2 Roots(x 3 2x 2 + x) ) =. (3 {3, 3, 3, }) = N. Håkon Robbestad Gylterud Univalent multisets Stockholm University 7 / 25
28 Exensionality In set theory Given two iterative sets x and y, if for each z we have that z x iff z y, then x and y are equal. Håkon Robbestad Gylterud Univalent multisets Stockholm University 8 / 25
29 Exensionality In set theory Given two iterative sets x and y, if for each z we have that z x iff z y, then x and y are equal. The principle of extensionality for multisets Two multisets x and y are considered equal iff for any z, the number of occurences of z in x and the number of occurences of z in y are in bijective correspondence (in our symbolism: (z x) = (z y)). Håkon Robbestad Gylterud Univalent multisets Stockholm University 8 / 25
30 Classical vs Constructive Classically, one can model a multiset as a set X, called the domain, and a function, e : X N. Or if extended into the infinite, a function e : X Card. Håkon Robbestad Gylterud Univalent multisets Stockholm University 9 / 25
31 Classical vs Constructive Classically, one can model a multiset as a set X, called the domain, and a function, e : X N. Or if extended into the infinite, a function e : X Card. Constructively, there might not be many interesting functions into N, and the notion of cardinals is problematic. Håkon Robbestad Gylterud Univalent multisets Stockholm University 9 / 25
32 Classical vs Constructive Classically, one can model a multiset as a set X, called the domain, and a function, e : X N. Or if extended into the infinite, a function e : X Card. Constructively, there might not be many interesting functions into N, and the notion of cardinals is problematic. A solution is to consider a multiset as a family. m : X Set, Håkon Robbestad Gylterud Univalent multisets Stockholm University 9 / 25
33 Classical vs Constructive Classically, one can model a multiset as a set X, called the domain, and a function, e : X N. Or if extended into the infinite, a function e : X Card. Constructively, there might not be many interesting functions into N, and the notion of cardinals is problematic. A solution is to consider a multiset as a family. m : X Set, or m : I X. Håkon Robbestad Gylterud Univalent multisets Stockholm University 9 / 25
34 Iterative multisets Is it possible to parallell the construction of iterative sets? Håkon Robbestad Gylterud Univalent multisets Stockholm University 10 / 25
35 Iterative multisets Is it possible to parallell the construction of iterative sets? For iterative sets, we consider the totality V, consisting of sets where all elements of the sets, them selves are sets. Håkon Robbestad Gylterud Univalent multisets Stockholm University 10 / 25
36 Iterative multisets Is it possible to parallell the construction of iterative sets? For iterative sets, we consider the totality V, consisting of sets where all elements of the sets, them selves are sets. One may then wish for a totality M, consistsing of multisets of multisets, all with with domain M it self. Håkon Robbestad Gylterud Univalent multisets Stockholm University 10 / 25
37 Trees It is well known that (wellfounded) trees can serve as models of (wellfounded) iterative sets. Håkon Robbestad Gylterud Univalent multisets Stockholm University 11 / 25
38 Trees It is well known that (wellfounded) trees can serve as models of (wellfounded) iterative sets. Example The iterative set {{{ }, }, { }} is represented by Håkon Robbestad Gylterud Univalent multisets Stockholm University 11 / 25
39 Trees It is well known that (wellfounded) trees can serve as models of (wellfounded) iterative sets. Example The iterative set {{{ }, }, { }} is represented by but also by Håkon Robbestad Gylterud Univalent multisets Stockholm University 11 / 25
40 Trees It is well known that (wellfounded) trees can serve as models of (wellfounded) iterative sets. Example The iterative set {{{ }, }, { }} is represented by but also by For iterative multisets, we want to keep these two distinct. Håkon Robbestad Gylterud Univalent multisets Stockholm University 11 / 25
41 The W-type Definition Given a family A : Set, B : A Set, the set of all well founded trees with branchings in this family, denoted W a:a Ba is inductively generated by the rule: Håkon Robbestad Gylterud Univalent multisets Stockholm University 12 / 25
42 The W-type Definition Given a family A : Set, B : A Set, the set of all well founded trees with branchings in this family, denoted W a:a Ba is inductively generated by the rule: For each a : A and f : Ba W a:a Ba, there is a unique element (sup a f ) : W a:a Ba. Håkon Robbestad Gylterud Univalent multisets Stockholm University 12 / 25
43 Aczel s model of iterative sets in type theory Håkon Robbestad Gylterud Univalent multisets Stockholm University 13 / 25
44 Aczel s model of iterative sets in type theory Definition (Aczel) Given en a universe U : Set with decoding familty T : U Set, define a setoid (V, = V ) by Håkon Robbestad Gylterud Univalent multisets Stockholm University 13 / 25
45 Aczel s model of iterative sets in type theory Definition (Aczel) Given en a universe U : Set with decoding familty T : U Set, define a setoid (V, = V ) by V : Set V := W a:u Ta Håkon Robbestad Gylterud Univalent multisets Stockholm University 13 / 25
46 Aczel s model of iterative sets in type theory Definition (Aczel) Given en a universe U : Set with decoding familty T : U Set, define a setoid (V, = V ) by V : Set V := W a:u Ta = V : V V Set (sup a f ) = V (sup b g) := i) = V (g j) i:ta j:tb(f (f i) = V (g j) j:tb i:ta Håkon Robbestad Gylterud Univalent multisets Stockholm University 13 / 25
47 Aczel s model of iterative sets in type theory Lemma = V is equivalent to = V : V V Set (sup a f ) = V (sup b g) := (f x) = V (g (α x)) (f (βy)) = V α:ta Tb x:ta β:tb Ta y:tb (g y) Håkon Robbestad Gylterud Univalent multisets Stockholm University 14 / 25
48 Aczel s model of iterative sets in type theory Lemma = V is equivalent to = V : V V Set (sup a f ) = V (sup b g) := (f x) = V (g (α x)) (f (βy)) = V α:ta Tb x:ta β:tb Ta y:tb (g y) Proof. W-induction on V and apply the (type theoretical) axiom of choice twice. Håkon Robbestad Gylterud Univalent multisets Stockholm University 14 / 25
49 Aczel s model of iterative sets in type theory Diagramatically, (sup a f ) is equal, according to = V, to (sup b g) if the diagrams Ta α Tb Ta β Tb f g f g V V commutes up to = V. Håkon Robbestad Gylterud Univalent multisets Stockholm University 15 / 25
50 Aczel s model of iterative sets in type theory Diagramatically, (sup a f ) is equal, according to = V, to (sup b g) if the diagrams Ta α Tb Ta β Tb f g f g V V commutes up to = V. The natural change to make is to require that α and β form an equivalence of types. Håkon Robbestad Gylterud Univalent multisets Stockholm University 15 / 25
51 The model Definition M : Set M := W a:u Ta = M : M M Set (sup a f ) = M (sup b g) := (f x) = M (g (α x)) α:ta =Tb x:ta Håkon Robbestad Gylterud Univalent multisets Stockholm University 16 / 25
52 The model Definition M : Set M := W a:u Ta = M : M M Set (sup a f ) = M (sup b g) := (f x) = M (g (α x)) α:ta =Tb x:ta Ta α = Tb f g V Håkon Robbestad Gylterud Univalent multisets Stockholm University 16 / 25
53 The model Definition Elementhood between multisets is defined by : M M Set x (sup a f ) := i:ta (f a = M x) Håkon Robbestad Gylterud Univalent multisets Stockholm University 17 / 25
54 The identity type and Equivalence In Martin-Löf type theory, every A : Set is equipped with a type Id A : A A Set, which is inductively generated by If a : A then (refl a) : Id A a a. Håkon Robbestad Gylterud Univalent multisets Stockholm University 18 / 25
55 The identity type and Equivalence In Martin-Löf type theory, every A : Set is equipped with a type Id A : A A Set, which is inductively generated by If a : A then (refl a) : Id A a a. This induces a notion of extensional equality on functions, and a notion of equivalence between types, which are essential in Homotopy Type Theory. Håkon Robbestad Gylterud Univalent multisets Stockholm University 18 / 25
56 The identity type and Equivalence In Martin-Löf type theory, every A : Set is equipped with a type Id A : A A Set, which is inductively generated by If a : A then (refl a) : Id A a a. This induces a notion of extensional equality on functions, and a notion of equivalence between types, which are essential in Homotopy Type Theory. If A, B : Set we denote by A = B the type of equivalences from A to B. And if f, g : A B, we denote by f g the type of extensional equalities (homotopies) from f to g. Håkon Robbestad Gylterud Univalent multisets Stockholm University 18 / 25
57 A result on the identity type of W types Håkon Robbestad Gylterud Univalent multisets Stockholm University 19 / 25
58 A result on the identity type of W types Lemma For any A : Set and B : A Set, and all (sup a f ), (sup b g) : W A B, there is an equivalence Id WA B (sup a f ) (sup b g) = α:id A a b Id f (Bα g) Håkon Robbestad Gylterud Univalent multisets Stockholm University 19 / 25
59 A result on the identity type of W types Id WA B (sup a f ) (sup b g) = α:id A a b Id f (Bα g) Proof. There is a map going from left to right by induction on Id WA B. That is, for each (sup a f ) the element (refl a, refl f ) works. Call this map φ. Håkon Robbestad Gylterud Univalent multisets Stockholm University 20 / 25
60 A result on the identity type of W types Id WA B (sup a f ) (sup b g) = α:id A a b Id f (Bα g) Proof. There is a map going from left to right by induction on Id WA B. That is, for each (sup a f ) the element (refl a, refl f ) works. Call this map φ. To show that this map is an equivalence, we need to show that the inverse images of each element is a singleton. Håkon Robbestad Gylterud Univalent multisets Stockholm University 20 / 25
61 A result on the identity type of W types Id WA B (sup a f ) (sup b g) = α:id A a b Id f (Bα g) Proof. There is a map going from left to right by induction on Id WA B. That is, for each (sup a f ) the element (refl a, refl f ) works. Call this map φ. To show that this map is an equivalence, we need to show that the inverse images of each element is a singleton. So assume that p : α:id A a b Id f (Bα g). Håkon Robbestad Gylterud Univalent multisets Stockholm University 20 / 25
62 A result on the identity type of W types Id WA B (sup a f ) (sup b g) = α:id A a b Id f (Bα g) Proof. There is a map going from left to right by induction on Id WA B. That is, for each (sup a f ) the element (refl a, refl f ) works. Call this map φ. To show that this map is an equivalence, we need to show that the inverse images of each element is a singleton. So assume that p : α:id A a b Id f (Bα g). By induction (on the Σ-type and the two Id-types), it is enough to consider the case where p (refl a, refl f ). Håkon Robbestad Gylterud Univalent multisets Stockholm University 20 / 25
63 A result on the identity type of W types Id WA B (sup a f ) (sup b g) = α:id A a b Id f (Bα g) Proof. There is a map going from left to right by induction on Id WA B. That is, for each (sup a f ) the element (refl a, refl f ) works. Call this map φ. To show that this map is an equivalence, we need to show that the inverse images of each element is a singleton. So assume that p : α:id A a b Id f (Bα g). By induction (on the Σ-type and the two Id-types), it is enough to consider the case where p (refl a, refl f ). We check that φ refl (sup a f ) p, by the above definiton. And by induction on Id, we can show that every element in the inverse image of p is equal to refl (sup a f ). Håkon Robbestad Gylterud Univalent multisets Stockholm University 20 / 25
64 The univalence axiom Definition The axiom of extensionality states that for each f, g : A B, the obvious function is an equivalence of types. Id f g f g Definition The axiom of univalence for a universe U : Set with decoding family T : U Set, states that for each a, b : U, the obvious function is an equivalence of types. Id a b Ta = Tb Håkon Robbestad Gylterud Univalent multisets Stockholm University 21 / 25
65 Id is equivalent to = M Theorem The univalence axiom implies that for any m, m : M we have that Id m m = m =M m Håkon Robbestad Gylterud Univalent multisets Stockholm University 22 / 25
66 Proof. By W-induction. Assume a, b : U and f : Ta M and g : Tb M. Then (sup a f ) = M (sup b g) Inducion hypotheis = Definition of α:ta =Tb x:ta α:ta =Tb x:ta α:ta =Tb Extensionality = Univalence α:ta =Tb = α:a=b (fx) = M (g(αx)) Id (f x) (g(αx)) f g α Id f (g α) Id f (g T α) Previous lemma = Id (sup a f ) (sup b g) Håkon Robbestad Gylterud Univalent multisets Stockholm University 23 / 25
67 Axiomatisation of multiset theory Håkon Robbestad Gylterud Univalent multisets Stockholm University 24 / 25
68 Axiomatisation of multiset theory Extensionality xy x = y = z (z x = z y) Håkon Robbestad Gylterud Univalent multisets Stockholm University 24 / 25
69 Axiomatisation of multiset theory Extensionality xy x = y = z (z x = z y) x,y:m (Id x y) = z:m (z x = z y) Håkon Robbestad Gylterud Univalent multisets Stockholm University 24 / 25
70 Axiomatisation of multiset theory Extensionality xy x = y = z (z x = z y) x,y:m (Id x y) = z:m (z x = z y) Pairing xy u z z u = (z = x z = y)) Håkon Robbestad Gylterud Univalent multisets Stockholm University 24 / 25
71 Axiomatisation of multiset theory Extensionality xy x = y = z (z x = z y) x,y:m (Id x y) = z:m (z x = z y) Pairing xy u z z u = (z = x z = y)) Restricted separation x u z z u = (z x φ(z)) Håkon Robbestad Gylterud Univalent multisets Stockholm University 24 / 25
72 Conclusion This is work in progress, but the result on the identity type of M indicates that it is a good model of multisets in type theory. The current project is to give this more substance to this claim by giving an axiomatisation of iterative multiset theory. Håkon Robbestad Gylterud Univalent multisets Stockholm University 25 / 25
Category theory in the Univalent Foundations
Category theory in the Univalent Foundations Benedikt Ahrens joint work with Krzysztof Kapulkin and Michael Shulman Séminaire LDP, I2M, Marseille Univalent Foundations Univalent Foundations a.k.a. Homotopy
More informationA Note on the Efficiency of Indirect Taxes in an Asymmetric Cournot Oligopoly
Submitted on 16/Sept./2010 Article ID: 1923-7529-2011-01-53-07 Judy Hsu and Henry Wang A Note on the Efficiency of Indirect Taxes in an Asymmetric Cournot Oligopoly Judy Hsu Department of International
More informationArgumentation Semantics for Defeasible Logic
Argumentation Semantics for Defeasible Logic Guido Governatori School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, QLD 4072, Australia email: guido@itee.uq.edu.au
More informationA Semantic Decomposition of Defeasible Logics
From: AAAI-99 Proceedings. Copyright 1999, AAAI (www.aaai.org). All rights reserved. A Semantic Decomposition of Defeasible Logics M.J. Maher and G. Governatori School of Computing and Information Technology,
More informationAd-valorem and Royalty Licensing under Decreasing Returns to Scale
Ad-valorem and Royalty Licensing under Decreasing Returns to Scale Athanasia Karakitsiou 2, Athanasia Mavrommati 1,3 2 Department of Business Administration, Educational Techological Institute of Serres,
More informationNetwork Analysis: Minimum Spanning Tree, The Shortest Path Problem, Maximal Flow Problem. Métodos Cuantitativos M. en C. Eduardo Bustos Farías 1
Network Analysis: Minimum Spanning Tree, The Shortest Path Problem, Maximal Flow Problem Métodos Cuantitativos M. en C. Eduardo Bustos Farías 1 Definitions A network consists of a set of nodes and a set
More informationArgumentation Semantics for Defeasible Logics
Argumentation Semantics for Defeasible Logics G. Governatori 1, M.J. Maher 2, G. Antoniou 2, and D. Billington 2 1 School of Information Systems, Queensland University of Technology, GPO Box 2434 Brisbane,
More informationCube Land integration between land use and transportation
Cube Land integration between land use and transportation T. Vorraa Director of International Operations, Citilabs Ltd., London, United Kingdom Abstract Cube Land is a member of the Cube transportation
More informationGiovanni Curi - CV. Last updated: July 21, 2009; see also
Giovanni Curi - CV Last updated: July 21, 2009; see also http://sites.google.com/site/giovannicuri/ I was born in Padova (Italy). I am currently in a research associate position at the Department of Computer
More informationAgents, Epistemic Justification, and Defeasibility
Agents, Epistemic Justification, and Defeasibility Donald Nute Department of Philosophy and Artificial Intelligence Center The University of Georgia Athens, GA 30605, U.S.A. dnute@uga.edu Abstract. As
More informationHedonic Pricing Model Open Space and Residential Property Values
Hedonic Pricing Model Open Space and Residential Property Values Open Space vs. Urban Sprawl Zhe Zhao As the American urban population decentralizes, economic growth has resulted in loss of open space.
More informationRepresentations of Semisimple Lie Algebras in the BGG Category 0
Representations of Semisimple Lie Algebras in the BGG Category 0 James E. Humphreys Graduate Studies in Mathematics Volume 94 American Mathematical Society Providence, Rhode Island Contents Preface Chapter
More informationPart 1. Introduction to the Fundamentals of Separating Real Property, Personal Property, and Intangible Business Assets. Preview...
Table of Contents Overview... ix Course Schedule... xiii SECTION 1 Part 1. Introduction to the Fundamentals of Separating Real Property, Personal Property, and Intangible Business Assets Preview... 1 Course
More informationSmall-Tract Mineral Owners vs. Producers: The Unintended Consequences of Well-Spacing Exceptions
Small-Tract Mineral Owners vs. Producers: The Unintended Consequences of Well-Spacing Exceptions Reid Stevens Texas A&M University October 25, 2016 Introduction to Well Spacing Mineral rights owners in
More informationRichard Garner. Contact details Department of Mathematics, Macquarie University, NSW 2109 Telephone:
Richard Garner Contact details Department of Mathematics, Macquarie University, NSW 2109 Telephone: +61 2 9850 8923 Email: richard.garner@mq.edu.au Employment 2017 ARC Future Fellow, Macquarie University
More informationCrestview Realty. John Doe, Salesperson REALTOR Franchise or office logo
The Canadian Real Estate Association (CREA) owns a number of trademarks. Some of these marks including REALTOR, Multiple Listing Service and MLS are exclusively licensed to members of CREA to use in the
More informationValuation techniques to improve rigour and transparency in commercial valuations
Valuation techniques to improve rigour and transparency in commercial valuations WHY BOTHER? Rational Accurate Good theory is good practice RECESSION. Over rented properties Vacant Properties Properties
More informationService Oriented Architectural Design
Service Oriented Architectural Design R. Bruni 1, A. Lluch Lafuente 1, U. Montanari 1, E. Tuosto 2 Department of Computer Science, University of Pisa {bruni,lafuente,ugo}@di.unipi.it Department of Computer
More informationA Knowledge Representation Language for Defeasible Argumentation 1 2
A Knowledge Representation Language for Defeasible Argumentation 1 2 Guillermo R. Simari Alejandro J. García 3 Grupo de Investigación en Inteligencia Artificial (GIIA) Departamento de Ciencias de la Computación
More informationA Flexible Framework for Defeasible Logics
From: AAAI-00 Proceedings. Copyright 2000, AAAI (www.aaai.org). All rights reserved. A Flexible Framework for Defeasible Logics G. Antoniou and D. Billington and G. Governatori and M.J. Maher School of
More informationMarginalized kernels for biological sequences
Marginalized kernels for biological sequences Koji Tsuda, Taishin Kin and Kiyoshi Asai AIST, 2-41-6 Aomi Koto-ku, Tokyo, Japan Presented by Shihai Zhao May 8, 2014 Koji Tsuda, Taishin Kin and Kiyoshi Asai
More informationA FORMAL APPROACH FOR INCORPORATING ARCHITECTURAL TACTICS INTO THE SOFTWARE ARCHITECTURE
1 A FORMAL APPROACH FOR INCORPORATING ARCHITECTURAL TACTICS INTO THE SOFTWARE ARCHITECTURE Hamid Bagheri & Kevin Sullivan University of Virginia Computer Science 2 How do architects integrate tactics with
More informationThe What, Why and How of Project Work Breakdown Structures (WBS)
PM TUTORIAL The What, Why and How of Project Work Breakdown Structures (WBS) Purpose This document is a guide for understanding, preparing and using a Work Breakdown Structure (WBS) as a part of planning
More informationA Comparison of Sceptical NAF-Free Logic Programming Approaches
A Comparison of Sceptical NAF-Free Logic Programming Approaches G. Antoniou, M.J. Maher, Billington, G. Governatori CIT, Griffith University Nathan, QLD 4111, Australia {ga,mjm,db,guido}@cit.gu.edu.au
More informationNetwork Analysis: Minimum Spanning Tree,
Network Analysis: Minimum Spanning Tree, M. en C. Eduardo Bustos Farías 1 Definitions A network consists of a set of nodes and a set of arcs connecting the nodes Nodes are also called vertices or points
More informationNonlocal methods for image processing
1/29 Nonlocal methods for image processing Lecture note, Xiaoqun Zhang Oct 30, 2009 2/29 Outline 1 Local smoothing Filters 2 Nonlocal means filter 3 Nonlocal operators 4 Applications 5 References 3/29
More informationUNIVALENCE CRITERIA OF CERTAIN INTEGRAL OPERATOR (Kriterium Univalen bagi Pengoperasi Kamiran Tertentu)
Journal of Quality Measurement and Analysis JQMA 12(1-2) 2016 107-114 Jurnal Pengukuran Kualiti dan Analisis UNIVALENCE CRITERIA OF CERTAIN INTEGRAL OPERATOR (Kriterium Univalen bagi Pengoperasi Kamiran
More informationHousing Transfer Taxes and Household Mobility: Distortion on the Housing or Labour Market? Christian Hilber and Teemu Lyytikäinen
Housing Transfer Taxes and Household Mobility: Distortion on the Housing or Labour Market? Christian Hilber and Teemu Lyytikäinen Housing: Microdata, macro problems A cemmap workshop, London, May 23, 2013
More informationDATA APPENDIX. 1. Census Variables
DATA APPENDIX 1. Census Variables House Prices. This section explains the construction of the house price variable used in our analysis, based on the self-report from the restricted-access version of the
More informationGregory W. Huffman. Working Paper No. 01-W22. September 2001 DEPARTMENT OF ECONOMICS VANDERBILT UNIVERSITY NASHVILLE, TN 37235
DO VALUES OF EXISTING HOME SALES REFLECT PROPERTY VALUES? by Gregory W. Huffman Working Paper No. 01-W September 001 DEPARTMENT OF ECONOMICS VANDERBILT UNIVERSITY NASHVILLE, TN 3735 www.vanderbilt.edu/econ
More informationVolume 35, Issue 1. Hedonic prices, capitalization rate and real estate appraisal
Volume 35, Issue 1 Hedonic prices, capitalization rate and real estate appraisal Gaetano Lisi epartment of Economics and Law, University of assino and Southern Lazio Abstract Studies on real estate economics
More informationCENTRAL GOVERNMENT ACCOUNTING STANDARDS
CENTRAL GOVERNMENT ACCOUNTING STANDARDS NOVEMBER 2016 STANDARD 4 Requirements STANDARD 5 INTANGIBLE ASSETS INTRODUCTION... 75 I. CENTRAL GOVERNMENT S SPECIALISED ASSETS... 75 I.1. The collection of sovereign
More informationMatapos ang Pagbubungkag ng Damikay tayo ay tutungo sa Rational Expressions MATH DIVISION, IMSP, UPLB
Matapos ang Pagbubungkag ng Damikay tayo ay tutungo sa Rational Epressions 1 RATIONAL EXPRESSIONS Upon completion, you should be able to Simplify rational epressions Perform addition, subtraction, multiplication,
More informationGrounded Consequence for Defeasible Logic
Grounded Consequence for Defeasible Logic Antonelli applies some of the techniques developed in Kripke s approach to the paradoxes to generalize some of the most popular formalisms for non-monotonic reasoning,
More informationRoboCup Challenges. Robotics. Simulation League Small League Medium-sized League (less interest) SONY Legged League Humanoid League
Robotics (c) 2003 Thomas G. Dietterich 1 RoboCup Challenges Simulation League Small League Medium-sized League (less interest) SONY Legged League Humanoid League (c) 2003 Thomas G. Dietterich 2 Small League
More informationSorting based on amenities and income
Sorting based on amenities and income Mark van Duijn Jan Rouwendal m.van.duijn@vu.nl Department of Spatial Economics (Work in progress) Seminar Utrecht School of Economics 25 September 2013 Projects o
More informationA New Approach to Computing Hedonic Equilibria and Investigating the Properties of Locational Sorting Models
A New Approach to Computing Hedonic Equilibria and Investigating the Properties of Locational Sorting Models Nicolai V. Kuminoff (Corresponding Author) Department of Economics Arizona State University
More informationEssentials of Real Estate Economics
Essentials of Real Estate Economics SIXTH EDITION, Dennis J. McKenzie Richard M. Betts MAI, SRA, ASA (Real Estate) Property Analyst Carol A. Jensen Cabrillo College, Aptos and City College of San Francisco
More informationRelating Concrete Argumentation Formalisms and Abstract Argumentation
Technical Communications of ICLP 2015. Copyright with the Authors. 1 Relating Concrete Argumentation Formalisms and Abstract Argumentation Michael J. Maher School of Engineering and Information Technology
More informationMaximization of Non-Residential Property Tax Revenue by a Local Government
Maximization of Non-Residential Property Tax Revenue by a Local Government John F. McDonald Center for Urban Real Estate College of Business Administration University of Illinois at Chicago Great Cities
More informationVillage of Bremen 9090 Marietta Road, SE Bremen, Ohio (740)
Village of Bremen 9090 Marietta Road, SE Bremen, Ohio 43107 (740) 569-4788 http://bremenvillage.com The Village of Bremen, Ohio invites applications for the position of: Zoning Inspector Part-Time, Permanent
More informationOn the Disutility and Discounting of Imprisonment and the Theory of Deterrence
Journal of Legal Studies, forthcoming January 1999. On the Disutility and Discounting of Imprisonment and the Theory of Deterrence A. Mitchell Polinsky and Steven Shavell * Abstract: This article studies
More informationDialogue Games in Defeasible Logic
Dialogue Games in Defeasible Logic S. Thakur 1, G. Governatori 1, V. Padmanabhan 2 and J. Eriksson Lundström 3 1 School of Information Technology and Electrical Engineering The University of Queensland,
More informationChapter 1. Introduction: Some Representative Problems. CS 350: Winter 2018
Chapter 1 Introduction: Some Representative Problems CS 350: Winter 2018 1 0.1 Prologue Books and Algorithms 1448: Gutenberg invention of printing press 600: Invention of decimal system (India) Gives compact
More informationNBER WORKING PAPER SERIES EMINENT DOMAIN VERSUS GOVERNMENT PURCHASE OF LAND GIVEN IMPERPECT INFORMATION ABOUT OWNERS' VALUATION.
NBER WORKING PAPER SERIES EMINENT DOMAIN VERSUS GOVERNMENT PURCHASE OF LAND GIVEN IMPERPECT INFORMATION ABOUT OWNERS' VALUATION Steven Shavell Working Paper 13564 http://www.nber.org/papers/w13564 NATIONAL
More informationGraphical Representation of Defeasible Logic Rules Using Digraphs
Graphical Representation of Defeasible Logic Rules Using Digraphs Efstratios Kontopoulos and Nick Bassiliades Department of Informatics, Aristotle University of Thessaloniki, GR-54124 Thessaloniki, Greece
More informationSpecial Purpose Properties. Special Valuation Considerations
Special Purpose Properties Special Valuation Considerations 2017 Case Study in Ottawa: New Automobile Dealership Many brand-specific specialties Cost: $4,000,000 (including land and a developer fee) Sales
More informationEconomics Letters 128:
CURRICULUM VITAE DONALD E. CAMPBELL February 6, 2017 Recent publications 2013 A measure of the trade-off between responsiveness and non-dictatorship for Arrovian social welfare functions (With Jerry Kelly)
More informationTHE REAL ESTATE INDUSTRY 3 PERSPECTIVES
THE REAL ESTATE INDUSTRY 3 PERSPECTIVES When someone says the word real estate what typically comes to mind is physical property - one thinks of houses, an apartment building, commercial offices and other
More informationDefeasible Reasoning About Beliefs and Desires
11TH NMR WORKSHOP 5.8 Defeasible Reasoning about Beliefs and Desires Defeasible Reasoning About Beliefs and Desires Nicolás D. Rotstein and Alejandro J. García Department of Computer Science and Engineering,
More informationAcad. Lubomir Iliev. f n [k] (z) = z + a[k] 1 z k+1 + a [k] which are schlicht and regular in the circle z < 1, and let
Acad. Lubomir Iliev 1913 2000 On 6th of June 2000, following prolonged and terminal illness, Acad. L. Iliev, one of the most prominent Bulgarian scientists, died. Acad. Lubomir lliev was born on April
More information3. G. Antoniou, D. Billington, G. Governatori and M.J. Maher. A exible framework
3. G. Antoniou, D. Billington, G. Governatori and M.J. Maher. A exible framework for defeasible logics. In Proc. 17th American National Conference on Articial Intelligence (AAAI-2000), 405-410. 4. G. Antoniou,
More informationOn A Class of Analytic Univalent Function Defined By Ruscheweyh Derivative. Abstract
On A Class of Analytic Univalent Function Defined By Ruscheweyh Derivative A.R.S.Jum a, H. H.Ebrahim ** And SH. I. Ahmed** * * D epartment O f M athematics, A lanbar U niversity ** D epartment O f M athematics,
More informationTable of Contents SECTION 1. Overview... ix. Schedule...xiii. Part 1. Origins of Eminent Domain
Table of Contents Overview... ix Schedule...xiii SECTION 1 Part 1. Origins of Eminent Domain Preview Part 1... 1 Origins of Eminent Domain... 3 Definitions... 4 Sources of Eminent Domain Law... 6 Agencies
More informationCOMPLEX FUNCTION THEORY
COMPLEX FUNCTION THEORY AND APPLICATIONS Proceeding of the International Symposium on Complex Function Theory and Applications 1 5 September 2006, Braşov, Romania - Dedicated to the memory of Professor
More informationThe Analytic Hierarchy Process. M. En C. Eduardo Bustos Farías
The Analytic Hierarchy Process M. En C. Eduardo Bustos Farías Outline of Lecture Summary MADM ranking methods Examples Analytic Hierarchy Process (AHP) Examples pairwise comparisons normalization consistency
More informationTable of Contents SECTION 1. Overview... ix. Schedule...xiii. Part 1. Origins of Eminent Domain
Table of Contents Overview... ix Schedule...xiii SECTION 1 Part 1. Origins of Eminent Domain Preview Part 1... 1 Origins of Eminent Domain... 3 Definitions... 4 Sources of Eminent Domain Law... 5 Agencies
More informationBasic Appraisal Procedures
Hondros Learning Basic Appraisal Procedures Timed Outline Topic Area Reference(s) Learning Objectives The student will be able to identify and/or apply: Teaching Method Time Segment (Minutes) Day 1 Chapter
More informationChapter 150. Commissioner's Rules Concerning Educator Appraisal. Subchapter AA. Teacher Appraisal
Chapter 150. Commissioner's Rules Concerning Educator Appraisal 150.1001. General Provisions. (c) (d) (e) (f) Subchapter AA. Teacher Appraisal All school districts have two choices in selecting a method
More informationThe manuscript diagrams of al-harawī s version of Menelaus Spherics
The manuscript diagrams of al-harawī s version of Menelaus Spherics Research report for Databasing the manuscript diagrams of sources in ancient and medieval mathematics, * Japan Society for the Promotion
More informationThe Effect of Relative Size on Housing Values in Durham
TheEffectofRelativeSizeonHousingValuesinDurham 1 The Effect of Relative Size on Housing Values in Durham Durham Research Paper Michael Ni TheEffectofRelativeSizeonHousingValuesinDurham 2 Introduction Real
More informationHOUSING TECHNICIAN I HOUSING TECHNICIAN II
CITY OF ROSEVILLE HOUSING TECHNICIAN I HOUSING TECHNICIAN II DEFINITION To perform responsible administrative and technical support duties related to affordable housing program eligibility, certification,
More information11.433J / J Real Estate Economics Fall 2008
MIT OpenCourseWare http://ocw.mit.edu 11.433J / 15.021J Real Estate Economics Fall 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. Recitation 9 Real
More informationaddresses fairness in mitigation of development impacts
New Supreme Court decision addresses fairness in mitigation of development impacts Steve C. Morasch Schwabe, Williamson & Wyatt October 2, 2013 Bend, OR Portland, OR Salem, OR Seattle, WA Vancouver, WA
More informationRE: Proposed Accounting Standards Update, Leases (Topic 842): Targeted Improvements (File Reference No )
KPMG LLP Telephone +1 212 758 9700 345 Park Avenue Fax +1 212 758 9819 New York, N.Y. 10154-0102 Internet www.us.kpmg.com 401 Merritt 7 PO Box 5116 Norwalk, CT 06856-5116 RE: Proposed Accounting Standards
More informationProgramme Specification for BA (Hons) Architecture FT + PT 2009/2010
Programme Specification for BA (Hons) Architecture FT + PT 2009/2010 Teaching Institution: London South Bank University Accredited by: The Royal Institute of British Architects Full validation of the BA(Hons)
More informationClick to edit Master title style
Click to edit Master title style Research and Development in Support of the Implementation of PRS92 Data Build-up up and Transformation of Cadastral Maps and Data from Different Local Plane Coordinate
More informationPERFORMANCE APPRAISAL EVALUATION OF TEACHERS
Teacher Appraisal The employment policies adopted by the board must require a written evaluation of each teacher at annual or more frequent intervals. A teacher appraisal must be done at least once during
More informationCAZENOVIA COLLEGE HOUSING & MEAL PLAN SELECTION MANUAL
CAZENOVIA COLLEGE HOUSING & MEAL PLAN SELECTION MANUAL 2017/2018 1 HOUSING & MEAL PLAN SELECTION (2017/2018) Cazenovia College Housing Policy Cazenovia College is primarily a residential community. All
More informationOverview of OR Modeling Approach & Introduction to Linear Programming
Overview of OR Modeling Approach & Introduction to Linear Programming M. En C. Eduardo Bustos Farías 1 What is Operations Research? A field of study that uses computers, statistics, and mathematics to
More informationUniversity of Zürich, Switzerland
University of Zürich, Switzerland Why a new index? The existing indexes have a relatively short history being composed of both residential, commercial and office transactions. The Wüest & Partner is a
More informationFederal Republic of Germany. VI Houses with Balcony Access, Dessau-Roßlau: N 51 48' 3" / E 12 14' 39"
Executive Summary State Party State, Province or Region Name of the serial property Geographical coordinates to the nearest second Federal Republic of Germany Federal State of Saxony-Anhalt; Federal State
More informationProcedures Used to Calculate Property Taxes for Agricultural Land in Mississippi
No. 1350 Information Sheet June 2018 Procedures Used to Calculate Property Taxes for Agricultural Land in Mississippi Stan R. Spurlock, Ian A. Munn, and James E. Henderson INTRODUCTION Agricultural land
More informationBUSINESS PROPERTY THE REAL VALUE OF. New Minnesota law gives appraisers a way to establish minimum compensation in eminent domain cases
THE REAL VALUE OF BUSINESS PROPERTY New Minnesota law gives appraisers a way to establish minimum compensation in eminent domain cases BY JOHN SCHMICK Real estate markets are dynamic in nature, constantly
More informationDamage Measures for Inadvertant Breach of Contract
Damage Measures for Inadvertant Breach of Contract LUCIAN ARYE BEBCHUK Harvard Law School, Cambridge, Massachusetts, USA E-mail: bebchuk@law.harvard.edu and I.P.L. PNG National University of Singapore,
More informationMass appraisal Educational offerings and Designation Requirements. designations provide a portable measurement of your capabilities
Mass appraisal Educational offerings and Designation Requirements designations provide a portable measurement of your capabilities WE are IAAO International Association of Assessing Officers We re a professional
More informationCommon Errors and Issues in Review
Common Errors and Issues in Review February 1, 2018 Copyright 2018 Appraisal Institute. All rights reserved. Printed in the United States of America. No part of this publication may be reproduced, stored
More informationy y x x infinite cloner
Learning Target: Practice simplifying algebraic epressions using algebra tiles and an Epression Comparison Mat to determine which of two epressions is greater. Learn how to record their work in order to
More informationSOLUTIONS Learning Goal 19
S1 Learning Goal 19 Multiple Choice 1. b 2. a 3. c 4. b However, the double-declining-balance method calculates the depreciation expense on the full asset cost until the final year of use. 5. d Total appraised
More informationHauptseminar im Sommersemester 2005 Medizinische Bildverarbeitung
RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN MATHEMATISCH-NATURWISSENSCHAFTLICHE FAKULTÄT LEHRSTUHL FÜR INFORMATIK VI UNIV.-PROF DR. HERMANN NEY RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN
More informationNote: I reserve the right to modify this schedule during the duration of this course. Performance evaluation. Students' grades will be determined by:
Jordan University spring 2014/2015 Faculty of Engineering& Technology Second Semester Department of Architecture Course: Architectural Design 2 Instructors : Dr. Jawdat Goussous 4 Credit Hours / Mon. Wen.
More informationAIC deals with the trade-off between the complexity of the model and the goodness of fit of the model.
1 de 5 21-05-2013 13:24 From Wikipedia, the free encyclopedia The Akaike information criterion is a measure of the relative quality of a statistical model, for a given set of data. As such, AIC provides
More informationWhat Factors Determine the Volume of Home Sales in Texas?
What Factors Determine the Volume of Home Sales in Texas? Ali Anari Research Economist and Mark G. Dotzour Chief Economist Texas A&M University June 2000 2000, Real Estate Center. All rights reserved.
More informationHistory and Theory of Architecture
Western Technical College 10614102 History and Theory of Architecture Course Outcome Summary Course Information Description Career Cluster Instructional Level Total Credits 2.00 Total Hours 54.00 This
More informationSESSION 4B CONDITIONS OR OBLIGATIONS?
SESSION 4B CONDITIONS OR OBLIGATIONS? GRAHAM GOVER SOLICITOR LARTPI RTPI SW DELIVERING DEVELOPMENT CPD DAY 22 MAY 2018 ACHIEVE THE SAME OUTCOME Both overcome objections to the proposal Both are governed
More informationPROPERTY MANAGEMENT OFFICER 1 PROPERTY MANAGEMENT OFFICER 2
L017 L018 Established 11-22-91 PROPERTY MANAGEMENT OFFICER 1 PROPERTY MANAGEMENT OFFICER 2 DEFINITION To perform technical and professional duties related to the appraisal, acquisition, disposition and
More informationManya M. Mooya. Real Estate Valvation. Theory. A Critical Appraisal. A Springer
Manya M. Mooya Real Estate Valvation Theory A Critical Appraisal A Springer Contents 1 Standard Theory of Real Estate Market Value: Concepts and Problems 1 Introduction and Overview 1 Real Estate Valuation
More informationBenchmarking Cadastral Systems Results of the Working Group 7.1
Benchmarking Cadastral Systems Results of the Working Group 7.1 Jürg KAUFMANN, Switzerland Key words: ABSTRACT In 1998, FIG-Commission 7 launched three new working groups for the period 1998-2002. Working
More informationCase Study: HAMONIC + MASSON & Associés BREAKING THROUGH THE PARISIAN SKYLINE
Case Study: HAMONIC + MASSON & Associés BREAKING THROUGH THE PARISIAN SKYLINE Over the last several decades, French law has imposed strict height limits to keep the historic and iconic skyline of Paris
More informationARROW* Right Of Way. *Achieving Results in. Bob Cunningham DelDOT
ARROW* *Achieving Results in Right Of Way Bob Cunningham DelDOT WHY ARROW* 20+ years of controversy 20 YEARS AGO 8 YEARS AGO 5 YEARS AGO News report of a May 2012 real estate deal News article implies
More informationPaul Wollan page 1 of 6
Paul Wollan page 1 of 6 CONTACT INFORMATION Department of Computer Science Voice: +39 347-773-8834 University of Rome La Sapienza Via Salaria 113 E-mail: wollan@di.uniroma1.it 00198 Roma, Italy http://wwwusers.di.uniroma1.it/
More informationTwenty Buildings Twenty Places
Twenty Buildings Twenty Places The relationship between architecture and urban design Alec Tzannes September 2007 Architecture is a cultural proposition in an urban context. Cohesive development controls
More informationShould you have any further queries, we would be pleased to assist.
A TENANT S GUIDE TO RENTING Hilbery Chaplin has specialised in letting residential properties for many years and prides itself on a personal service to both landlord and tenant. This document is designed
More informationCourse outline. Code: PED210 Title: Principles of Property Valuation
Course outline Code: PED210 Title: Principles of Property Valuation Faculty of Arts, Business and Law School of Business Teaching Session: Semester 1 Year: 2017 Course Coordinator: Dr Steven Boyd Office:
More informationPanel discussion. Ane Hejlskov Larsen, Aarhus University Brita Brenna, University of Oslo Lise Skytte Jakobsen, Aarhus University
Panel discussion Disciplinary borders within museology Borders and responsibilities between museums and universities in regard to education and training in museological competences? Ane Hejlskov Larsen,
More informationSupreme Court of Florida
Supreme Court of Florida No. SC01-1459 PER CURIAM. ALLSTATE INSURANCE COMPANY, Petitioner, vs. LUIS SUAREZ and LILIA SUAREZ, Respondents. [December 12, 2002] We have for review the decision in Allstate
More informationGeoWarehouse Land Registry. Teranet Enterprises Inc.
GeoWarehouse Land Registry Teranet Enterprises Inc. TABLE OF CONTENTS Neighoubourhood Sales... 1 Overview... 1 Find Neighbourhood Sales... 1 Neighbourhood Sales and Map... 6 Map Neighbourhood Sales...
More informationDemonstrate knowledge of, and extract, cadastral data from Landonline
Page 1 of 5 Demonstrate knowledge of, and extract, cadastral data from Landonline Level 3 Credits 5 Purpose This unit standard is for people who are working in the surveying industry in jobs which involve
More informationTerms of Reference for the Regional Housing Affordability Strategy
Terms of Reference for the Regional Housing Affordability Strategy Prepared by: CRD Regional Planning Services September, 2001 Purpose The Capital Region is one of the most expensive housing markets in
More informationThey may not represent the best practice for your Council, which should be determined by consultation between the Council s officers and Auditor.
ACCOUNTING FOR LAND UNDER ROADS INTRODUCTION The recognition and valuation of land under roads has been a vexed question ever since the promulgation of Australian Accounting Standard AAS 27 Financial Reporting
More information