Uppsala model

Results: 27



#Item
1

Approximations for Model Construction Aleksandar Zelji´c1 , Christoph M. Wintersteiger2 , and Philipp R¨ ummer1 1 Uppsala University, Sweden

Add to Reading List

Source URL: www.philipp.ruemmer.org

Language: English - Date: 2014-09-22 06:45:01
    2

    Model-Based Testing of a WAP Gateway: an Industrial Case-Study Anders Hessel and Paul Pettersson Department of Information Technology, Uppsala University, P.O. Box 337, SEUppsala, Sweden. E-mail: {hessel,paupet}@

    Add to Reading List

    Source URL: www.hessel.nu

    Language: English - Date: 2017-06-26 03:03:03
      3

      Progress on Algorithms for Stateless Model Checking (Invited Talk) Kostis Sagonas Uppsala University, Sweden

      Add to Reading List

      Source URL: refal.botik.ru

      - Date: 2018-03-21 12:44:11
        4

        A Dependency Projection Model for Phrase-Based SMT Christian Hardmeier Uppsala University Department of Linguistics and Philology Box 635, Uppsala, Sweden

        Add to Reading List

        Source URL: www2.lingfil.uu.se

        - Date: 2014-10-16 02:36:39
          5

          A Formal Model of the Ada Ravenscar Tasking Pro le; Delay Until Kristina Lundqvist, Lars Asplund Uppsala University, Information Technology Dept. of Computer Systems P.O. Box 325, SUppsala, Sweden

          Add to Reading List

          Source URL: www.sigada.org

          Language: English - Date: 1999-11-26 15:46:20
            6FO / Finite model theory / Finite automata / Models of computation

            Counter-Example Guided Fence Insertion under TSO Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 Uppsala University, Sweden

            Add to Reading List

            Source URL: user.it.uu.se

            Language: English - Date: 2012-07-27 18:17:04
            7

            Uppsala Center for Fiscal Studies Department of Economics Working Paper 2013:11 Using the Discrete Model to Derive Optimal

            Add to Reading List

            Source URL: uu.diva-portal.org

            Language: English - Date: 2014-05-16 07:17:22
              8

              Sweden: Competition in the Pensions Sector – A Low Cost Model Edward Palmer Uppsala University &

              Add to Reading List

              Source URL: www.iopsweb.org

              Language: English - Date: 2014-07-16 09:05:03
                9Health / Childhood psychiatric disorders / Special education / Neurological disorders / Learning disabilities / Attention deficit hyperactivity disorder / Dyslexia / Mental disorder / Medical model / Educational psychology / Psychiatry / Education

                Healthy persons are declared ill in a diagnostic society by Leif Elinder, MD, pediatrician and school doctor in Uppsala When cultural handicaps are classed as medical, nothing prevents new diagnoses like “dysfootballia

                Add to Reading List

                Source URL: www.informath.org

                Language: English - Date: 2007-01-30 13:12:43
                10Charge carriers / Solar cells / Fermi–Dirac statistics / Dye-sensitized solar cell / Renewable energy commercialization / Carrier generation and recombination / Electron / Semiconductor / Fermi level / Physics / Condensed matter physics / Materials science

                Barrier model for nanostructured dye-sensitized solar cells Gerrit Boschloo* and Anders Hagfeldt Uppsala University Department of Physical Chemistry Box 579, Uppsala, Sweden Tel : +

                Add to Reading List

                Source URL: www.quantsol.org

                Language: English - Date: 2009-03-20 11:57:31
                UPDATE