Informatics

Results: 44891



#Item
381

Refinement Types and Algebraic Effects Danel Ahman LFCS, School of Informatics, University of Edinburgh 1.

Add to Reading List

Source URL: danelahman.github.io

- Date: 2018-03-25 20:15:13
    382

    Mindfulness, Reflection, and Persuasion in Personal Informatics Sean Munson Abstract

    Add to Reading List

    Source URL: www.personalinformatics.org

    - Date: 2016-12-01 20:04:36
      383

      INFORMATICS Volume 24 No. 1 July 2015 PATRON Tapan Ray, IAS EDITOR-IN-CHIEF Neeta Verma

      Add to Reading List

      Source URL: andaman.nic.in

      - Date: 2015-09-23 07:22:04
        384

        DIFT - Dependent Information Flow Types Typechecker Prototype Draft Release Notes (v1.10) Luisa Lourenço Luis Caires CITI and NOVA Laboratory for Computer Science and Informatics

        Add to Reading List

        Source URL: ctp.di.fct.unl.pt

        - Date: 2015-01-26 04:11:09
          385

          Cross-domain Gender Detection in Twitter Mohsen Sayyadi and Giovanni L. Ciampaglia, Alessandro Flammini School of Informatics and Computing Indiana University, Bloomington, IN Computational Approaches to Social Modeling

          Add to Reading List

          Source URL: glciampaglia.com

          - Date: 2018-03-31 17:50:14
            386

            On Ringads and Foldables (Extended Abstract) James McKinna LFCS, School of Informatics University of Edinburgh UK

            Add to Reading List

            Source URL: tydeworkshop.org

            - Date: 2017-11-13 07:34:26
              387

              SpringLISSocial Informatics FACULTY INFORMATION Colin Rhinesmith, Assistant Professor

              Add to Reading List

              Source URL: crhinesmith.com

              - Date: 2018-01-14 08:43:49
                388

                International Olympiad in Informatics Regulations 1 2 3

                Add to Reading List

                Source URL: www.ioinformatics.org

                - Date: 2016-08-19 15:38:13
                  389

                  Progress in Informatics, No. 10, pp.3–18, (2013)

                  Add to Reading List

                  Source URL: danelahman.github.io

                  - Date: 2018-03-25 20:15:13
                    390

                    Faculty of Physics, Mathematics and Informatics Graduate School of Informatics System and Network Engineering MSc Automated configuration of BGP on edge routers Research Project

                    Add to Reading List

                    Source URL: www.nlnetlabs.nl

                    - Date: 2017-02-21 06:37:52
                      UPDATE