Parametric

Results: 3249



#Item
71

Parametric Quantifiers for Dependent Types Andreas Nuyts1 , Andrea Vezzosi2 , and Dominique Devriese1 1 2

Add to Reading List

Source URL: lirias.kuleuven.be

- Date: 2017-06-30 03:46:13
    72

    Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System

    Add to Reading List

    Source URL: people.cs.kuleuven.be

    - Date: 2017-07-28 06:55:52
      73

      Unfolding of Parametric Logical Regulatory Networks ˇ anek, Stefan Haar, Lo¨ıc Paulev´e Juraj Kolˇca´k, David Safr´ To cite this version: ˇ anek, Stefan Haar, Lo¨ıc Paulev´e. Unfolding of Parametric Logical

      Add to Reading List

      Source URL: www.lsv.ens-cachan.fr

      - Date: 2016-09-26 09:28:41
        74

        FloTHERM® XT Parametric Study Tutorial: Broadband Router Software Version ftxt2.2 June 2015  2015 Mentor Graphics Corporation

        Add to Reading List

        Source URL: s3.mentor.com

        - Date: 2015-11-05 16:23:29
          75

          UnIPaN: Unfoldings and Abstract Interpretation for Parametric Biological Regulatory Networks PhD proposal Advisors • Stefan Haar (DR Inria, Inria Saclay, Mexico team) http://www.lsv.ens-cachan.fr/~haar/ • Loïc Paule

          Add to Reading List

          Source URL: www.lsv.fr

          - Date: 2016-05-10 08:52:04
            76

            Language-Parametric Techniques for Language-Specific Editors PROEFSCHRIFT ter verkrijging van de graad van doctor

            Add to Reading List

            Source URL: repository.tudelft.nl

              77

              Proceedings of the 60th ISI World Statistics Congress, 26-31 July 2015, Rio de Janeiro, Brazil p.3981 Parametric or nonparametric: the FIC approach for stationary time series Gudmund Horn Hermansen*

              Add to Reading List

              Source URL: www.isi2015.org

              - Date: 2016-06-02 10:16:18
                78

                EDA221 – Introduction to Computer Graphics, 2013 Assignment 2 – Tessellation and Interpolation In this assignment you will tessellate your own model from a parametric equation. This task involves setting up appropri

                Add to Reading List

                Source URL: fileadmin.cs.lth.se

                - Date: 2013-09-19 06:26:31
                  79

                  Femtosecond Pumped Narrow Bandwidth Optical Parametric Amplifier System General description FEATURES  Pulse bandwidth <10 cm¯¹

                  Add to Reading List

                  Source URL: preview.blue.shared-server.net

                  - Date: 2015-04-17 10:10:50
                    80

                    White Paper Parametric Analysis: The Key to Rapid, Robust Design Parametric studies can drive significant time and costs out of the development process — while still ensuring design robustness and ultimate product int

                    Add to Reading List

                    Source URL: resource.ansys.com

                    - Date: 2012-08-20 19:32:28
                      UPDATE