Laboratory informatics

Results: 550



#Item
1

Simulation of electromagnetic waves propagation in free space using Netlogo multi-agent approach Hamid Bezzout* Laboratory of Informatics, Systems and Optimization (ISO) Department of Computer Science Faculty of sciences

Add to Reading List

Source URL: ccl.northwestern.edu

Language: English - Date: 2018-03-02 17:34:20
    2

    Rigorous Graphical Modelling of Movement in Collective Adaptive Systems N. Zo´ n(B) , S. Gilmore, and J. Hillston Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Edinburgh

    Add to Reading List

    Source URL: blog.inf.ed.ac.uk

    Language: English - Date: 2017-02-23 05:37:24
      3

      Budapest University of Technology and Economics Faculty of Electrical Engineering and Informatics Department of Telecommunications Laboratory of Cryptography and System Security (CrySyS Lab.) Szurdi János

      Add to Reading List

      Source URL: janos.szurdi.com

      Language: Hungarian - Date: 2017-11-10 15:47:05
        4

        In silico target profiling Jordi MESTRES Chemogenomics Laboratory Research Unit on Biomedical Informatics Municipal Institute of Medical Research (IMIM)

        Add to Reading List

        Source URL: infochim.u-strasbg.fr

        Language: English - Date: 2013-10-24 10:39:27
          5

          Dependent Information Flow Types Luísa Lourenço Luís 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:05:30
            6

            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
              7

              Safety Guarantees from Explicit Resource Management David Aspinall, Patrick Maier, and Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland {David.Aspinall

              Add to Reading List

              Source URL: www.dcs.gla.ac.uk

              - Date: 2013-12-19 07:07:16
                8

                Deciding Extensions of the Theories of Vectors and Bags Patrick Maier Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland

                Add to Reading List

                Source URL: www.dcs.gla.ac.uk

                - Date: 2013-12-19 07:07:16
                  9

                  REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh

                  Add to Reading List

                  Source URL: www.dcs.gla.ac.uk

                  - Date: 2013-12-19 07:07:14
                    10

                    Algebraic Combinators for Data Dependencies and Their Applications Eva Burrows∗ Bergen Language Design Laboratory Department of Informatics University of Bergen, Norway

                    Add to Reading List

                    Source URL: icetcs.ru.is

                    - Date: 2015-10-05 07:15:12
                      UPDATE