Matti

Results: 546



#Item
121

*Manuscript Click here to view linked References Curvelet-based method for orientation estimation of particles Jouni Sampoa,b , Jouni Takaloa,c , Samuli Siltanena , Matti Lassasa , Arttu

Add to Reading List

Source URL: www.siltanen-research.net

Language: English - Date: 2011-10-31 05:08:29
    122Transport / Land transport / Road traffic management / Road transport / Road safety / Evaluation / Traffic congestion / Air pollution / Noise pollution / Traffic / Road / Sustainable development

    Evaluationen lokaler Verkehrslösungen: Verträglichkeitsindikatoren unter dem Aspekt der Entwicklung in Richtung Nachhaltigkeit Daniel Matti, University of Bern, IKAÖ

    Add to Reading List

    Source URL: www.strc.ch

    Language: English - Date: 2009-01-19 11:36:44
    123

    Depth-Driven Circuit-Level Stochastic Local Search for SAT Anton Belov∗ University College Dublin Ireland Matti J¨arvisalo†

    Add to Reading List

    Source URL: anton.belov-mcdowell.com

    Language: English
      124

      Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability Anton Belov1⋆ and Matti J¨arvisalo2⋆⋆ 1 Complex and Adaptive Systems Laboratory, University College Dublin, Ireland

      Add to Reading List

      Source URL: anton.belov-mcdowell.com

      Language: English
        125

        Rules of the 2011 SAT Competition ¨ Matti J ARVISALO , Daniel L E B ERRE and Olivier ROUSSEL

        Add to Reading List

        Source URL: www.satcompetition.org

        Language: English - Date: 2014-01-09 15:41:26
          126

          Automatizing Android Unit and User Interface Testing Juha-Matti Vanhatupa, Ph.D. Mikko Heikkinen

          Add to Reading List

          Source URL: www.xp2015.org

          Language: English - Date: 2015-05-28 08:04:08
            127

            Jääkiekon MM kisat 2012 Event Bank – Tapahtumapankki Pikaohje Matti Toivonen Tommi Kolehmainen

            Add to Reading List

            Source URL: eb-2016-world-juniors.promid.fi

              128

              Formula Preprocessing in MUS Extraction? Anton Belov1 , Matti J¨arvisalo2 , and Joao Marques-Silva1,3 1 Complex and Adaptive Systems Laboratory, University College Dublin, Ireland 2

              Add to Reading List

              Source URL: anton.belov-mcdowell.com

              Language: English
                129

                Gradient-based Models of Multitier Systems Shuyi Chen1 , Kaustubh R. Joshi2 , Matti A. Hiltunen2 , Richard D. Schlichting2 , and William H. Sanders1 1 Coordinated 2 AT&T

                Add to Reading List

                Source URL: webspn.hit.bme.hu

                Language: English - Date: 2009-08-25 07:35:04
                  130

                  Citizens’ observations as part of Baltic Sea monitoring Heidi Hällfors, Eija Rantajärvi, Outi Setälä, Matti Lindholm Finnish Environment Institute SYKE, MARMONI project Timo Toivanen and Markku Huttunen

                  Add to Reading List

                  Source URL: www.gof2014.fi

                  Language: English - Date: 2014-10-03 04:22:48
                    UPDATE