Aria

Results: 1485



#Item
1Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Add to Reading List

Source URL: www.prismmodelchecker.org

Language: English - Date: 2016-04-24 16:51:40
2Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Quantitative Verification and Strategy Synthesis for Stochastic Games M´aria Svoreˇnov´a and Marta Kwiatkowska Abstract— Design and control of computer systems that operate in uncertain, competitive or adversarial,

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2016-04-25 05:07:53
3<SVG XMLNS=”HTTP://WWW.W3.ORG/2000/SVG” VIEWBOX=”” ARIA-LABELLEDBY=”TITLE” ARIA-DESCRIBEDBY=”DESC” ROLE=”IMG” XMLNS:XLINK=”HTTP://WWW.W3.ORG/1999/XLINK” WIDTH=”64” HEIGHT=”64”> <

<

Add to Reading List

Source URL: www.growbots.com

Language: English - Date: 2018-06-19 06:08:59
4

PDF Document

Add to Reading List

Source URL: www.asso-aria.org

- Date: 2017-11-24 00:32:09
    5Osservazioni alla Bozza di Strategia Energetica Nazionale C1 Sulla mancanza dell’obiettivo principale “qualità dell’aria”

    Osservazioni alla Bozza di Strategia Energetica Nazionale C1 Sulla mancanza dell’obiettivo principale “qualità dell’aria”

    Add to Reading List

    Source URL: www.aspoitalia.it

    Language: Italian - Date: 2014-03-07 05:01:21
      6ACQUARIA – 22 ottobre, Verona Ritorna a Veronafiere l’appuntamento con le Tecnologie per Analisi, Distribuzione e Trattamento dell’Acqua e dell’Aria Milano, 12 dicembre 2008 – La seconda edizione di ACQ

      ACQUARIA – 22 ottobre, Verona Ritorna a Veronafiere l’appuntamento con le Tecnologie per Analisi, Distribuzione e Trattamento dell’Acqua e dell’Aria Milano, 12 dicembre 2008 – La seconda edizione di ACQ

      Add to Reading List

      Source URL: www.eiomfiere.it

      Language: Italian - Date: 2009-01-15 11:48:02
        7Toward Practical Homomorphic Evaluation of Block Ciphers Using Prince Yarkın Dor¨oz, Aria Shahverdi, Thomas Eisenbarth, and Berk Sunar Worcester Polytechnic Institute {ydoroz,ashahverdi,teisenbarth,sunar}@wpi.edu

        Toward Practical Homomorphic Evaluation of Block Ciphers Using Prince Yarkın Dor¨oz, Aria Shahverdi, Thomas Eisenbarth, and Berk Sunar Worcester Polytechnic Institute {ydoroz,ashahverdi,teisenbarth,sunar}@wpi.edu

        Add to Reading List

        Source URL: www.chi.uni-hannover.de

        Language: English - Date: 2014-03-07 11:05:16
          8I MPULSE -R ESPONSE AND CAD-M ODEL -B ASED P HYSICAL M ODELING IN FAUST P.-A. G RUMIAUX , R. M ICHON , E. G ALLEGO A RIAS AND P. J OUVELOT , , {emilio.gallego_aria

          I MPULSE -R ESPONSE AND CAD-M ODEL -B ASED P HYSICAL M ODELING IN FAUST P.-A. G RUMIAUX , R. M ICHON , E. G ALLEGO A RIAS AND P. J OUVELOT , , {emilio.gallego_aria

          Add to Reading List

          Source URL: www.cri.mines-paristech.fr

          Language: English - Date: 2018-02-07 05:02:15
            9ARIA Roman Turovsky-Savchuk À c

            ARIA Roman Turovsky-Savchuk À c

            Add to Reading List

            Source URL: polyhymnion.org

            Language: Romanian - Date: 2017-04-30 13:23:22
              10ARIA Gotthold Ephraim.Sautscheck À Á

              ARIA Gotthold Ephraim.Sautscheck À Á

              Add to Reading List

              Source URL: polyhymnion.org

              Language: Romanian - Date: 2008-08-04 08:08:07