Laboratory informatics

Results: 550



#Item
1Simulation 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

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
    2Rigorous 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

    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
      3Budapest 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

      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
        4In silico target profiling Jordi MESTRES Chemogenomics Laboratory Research Unit on Biomedical Informatics Municipal Institute of Medical Research (IMIM)

        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
          5Dependent Information Flow Types Luísa Lourenço Luís Caires CITI and NOVA Laboratory for Computer Science and Informatics

          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
            6DIFT - 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

            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
              7Safety 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

              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
                8Deciding Extensions of the Theories of Vectors and Bags Patrick Maier Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh, Scotland

                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
                  9REMMonitoring External Resources in Java MIDP David Aspinall Patrick Maier1 Ian Stark Laboratory for Foundations of Computer Science School of Informatics, The University of Edinburgh

                  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
                    10Algebraic Combinators for Data Dependencies and Their Applications Eva Burrows∗ Bergen Language Design Laboratory Department of Informatics University of Bergen, Norway

                    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