David Ireland

Results: 232



#Item
1

Patterns of play: analysis of data from machines in bookmakers Authors: Heather Wardle, Eleanor Ireland, Stephen Sharman, David Excell and Daniel

Add to Reading List

Source URL: about.gambleaware.org

Language: English - Date: 2016-09-19 11:43:57
    2

    Linked Data Contracts to Support Data Protection and Data Ethics in the Sharing of Scientific Data Ensar Hadziselimovic, Kaniz Fatema, Harshvardhan Pandit, David Lewis Adapt Centre, Trinity College Dublin, Ireland ensar@

    Add to Reading List

    Source URL: semsci.github.io

    - Date: 2017-11-01 00:05:35
      3

      Linked Data Contracts to Support Data Protection and Data Ethics in the Sharing of Scientific Data Ensar Hadziselimovic, Kaniz Fatema, Harshvardhan Pandit, David Lewis Adapt Centre, Trinity College Dublin, Ireland ensar@

      Add to Reading List

      Source URL: ceur-ws.org

      - Date: 2017-09-21 14:02:01
        4

        Satisfiability as a Classification Problem? David Devlin and Barry O’Sullivan Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {d.devlin|b.osullivan}@4c.ucc.ie

        Add to Reading List

        Source URL: www.cs.ucc.ie

        - Date: 2008-08-13 12:55:47
          5

          Equality-Based Uniqueness Typing Edsko de Vries⋆1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Radboud Universiteit Nijmegen, Netherlands,

          Add to Reading List

          Source URL: www.edsko.net

          - Date: 2016-08-23 03:13:56
            6

            Experiences using OCL for Business Rules on Financial Messaging David Garry Nomos Software Rubicon Centre, CIT Campus Cork, Ireland

            Add to Reading List

            Source URL: st.inf.tu-dresden.de

            - Date: 2012-09-25 06:20:13
              7Software engineering / Computer programming / Computing / Type theory / Data types / Functional programming / Subroutines / Lambda calculus / Subtyping / Const / Unification / Type system

              Uniqueness Typing Simplified Edsko de Vries1⋆ , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

              Add to Reading List

              Source URL: www.edsko.net

              Language: English - Date: 2016-08-23 03:13:56
              8David Bleakley / Bleakley / Government of Northern Ireland

              MINUTES OF THE STATE OIL AND GAS COUNCIL Missouri Geological Survey 111 Fairgrounds Road Rolla, Mo. November 23, 2015

              Add to Reading List

              Source URL: dnr.mo.gov

              Language: English - Date: 2016-04-20 16:51:29
              9Software engineering / Software / Computing / Object-oriented programming languages / Scripting languages / Cross-platform software / High-level programming languages / Programming language implementation / PHP / Compiler / Interpreter / Eval

              A Practical Solution for Achieving Language Compatibility in Scripting Language Compilers Paul Biggar, Edsko de Vries, David Gregg Lero@TCD, Trinity College Dublin, Dublin 2, Ireland Abstract

              Add to Reading List

              Source URL: www.edsko.net

              Language: English - Date: 2016-08-23 03:13:56
              10Theoretical computer science / Mathematical logic / Logic / Lambda calculus / Models of computation / Computability theory / Let expression / Symbol / Substitution / Type system / Security type system

              Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie

              Add to Reading List

              Source URL: www.edsko.net

              Language: English - Date: 2016-08-23 03:13:56
              UPDATE