Informatics

Results: 44891



#Item
431

Principles and Practice of Bidirectional Programming in BiGUL Draft manuscript (19 AprilZhenjiang Hu and Hsiang-Shang Ko National Institute of Informatics, Japan {hu,hsiang-shang}@nii.ac.jp

Add to Reading List

Source URL: bitbucket.org

- Date: 2017-08-05 06:17:17
    432

    Steps toward reproducible research Karl Broman Biostatistics & Medical Informatics Univ. Wisconsin–Madison kbroman.org github.com/kbroman

    Add to Reading List

    Source URL: www.biostat.wisc.edu

    - Date: 2017-06-02 10:45:26
      433

      Steps toward reproducible research Karl Broman Biostatistics & Medical Informatics Univ. Wisconsin–Madison kbroman.org github.com/kbroman

      Add to Reading List

      Source URL: www.biostat.wisc.edu

      - Date: 2017-03-23 11:08:57
        434

        Open Ph.D. research assistantships in data science The Computational Open Data Exploration and Design (CODED) lab in the Department of Information Science at Drexel University’s College of Computing and Informatics (C

        Add to Reading List

        Source URL: www.pages.drexel.edu

        - Date: 2016-11-16 09:47:52
          435

          Efficient and Effective Handling of Exceptions in Java Points-To Analysis George Kastrinis and Yannis Smaragdakis Dept. of Informatics, University of Athens, Greece {gkastrinis,smaragd}@di.uoa.gr

          Add to Reading List

          Source URL: yanniss.github.io

          - Date: 2016-12-22 12:58:04
            436

            Open and Closed World Assumptions in Data Exchange Leonid Libkin1 and Cristina Sirangelo2 1 School of Informatics, University of Edinburgh

            Add to Reading List

            Source URL: ceur-ws.org

            - Date: 2009-07-07 04:46:34
              437

              Preference Grammars and Soft Syntactic Constraints for GHKM Syntax-based Statistical Machine Translation Matthias Huck and Hieu Hoang and Philipp Koehn School of Informatics University of Edinburgh 10 Crichton Street

              Add to Reading List

              Source URL: www.aclweb.org

              - Date: 2014-10-20 22:52:45
                438

                Exponential Speedup in U L Subsumption Checking Relative to General TBoxes for the Constructive Semantics Michael Mendler and Stephan Scheele Informatics Theory Group University of Bamberg, Germany

                Add to Reading List

                Source URL: ceur-ws.org

                - Date: 2009-07-07 04:46:34
                  439

                  1 Lecture 0: Seminar Overview DTU Informatics FM 2012 Tutorial Lecture Notes

                  Add to Reading List

                  Source URL: www2.imm.dtu.dk

                  - Date: 2012-04-30 10:39:29
                    440

                    See the Difference: Direct Pre-Image Reconstruction and Pose Estimation by Differentiating HOG Wei-Chen Chiu Mario Fritz Max Planck Institute for Informatics, Saarbr¨ucken, Germany {walon,mfritz}@mpi-inf.mpg.de

                    Add to Reading List

                    Source URL: www.cv-foundation.org

                    - Date: 2015-10-24 15:01:49
                      UPDATE