Armin

Results: 701



#Item
51

PARTICLE DETECTORS CLAUS GRUPEN University of Siegen with the cooperation of ARMIN BO HRER and LUDE K SMOLIK

Add to Reading List

Source URL: www.ihep.su

Language: English - Date: 2015-04-30 04:15:59
    52

    SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2013-12-12 08:42:01
      53

      Polly Polyhedral Optimizations for LLVM Tobias Grosser - Hongbin Zheng - Raghesh Aloor Andreas Simb¨ urger - Armin Gr¨ osslinger - Louis-No¨el Pouchet

      Add to Reading List

      Source URL: perso.ens-lyon.fr

      Language: English - Date: 2011-03-29 07:21:23
        54

        Ontology Search: An Empirical Evaluation Anila Sahar Butt1,2 , Armin Haller1 , and Lexing Xie2 2 1 CSIRO CCI,

        Add to Reading List

        Source URL: www.armin-haller.com

        Language: English - Date: 2017-07-30 02:43:30
          55

          Beamforming and Its Applications to Brain Connectivity Armin Fuchs Center for Complex Systems & Brain Sciences, Department of Physics, Florida Atlantic University, Boca Raton, FL 33487

          Add to Reading List

          Source URL: www.ccs.fau.edu

          Language: English - Date: 2013-07-29 08:52:20
            56

            Flora, 161–177 http://www.urbanfischer.de/journals/flora Cone morphology in Juniperus in the light of cone evolution in Cupressaceae s.l. Christian Schulz, Armin Jagel & Thomas Stützel*

            Add to Reading List

            Source URL: www.ruhr-uni-bochum.de

            Language: English - Date: 2018-07-20 05:12:14
              57

              1 A Taxonomy of General Purpose Approximate Computing Techniques Thierry Moreau† , Joshua San Miguel‡ , Mark Wyse† , James Bornholt† , Armin Alaghi† , Luis Ceze† , Natalie Enright Jerger‡ and Adrian Sampso

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2017-10-06 19:58:51
                58

                BenchBuild: A Large-Scale Empirical-Research Toolkit Andreas Simb¨ urger, Floarian Sattler, Armin Gr¨oßlinger, Christian Lengauer Department of Informatics and Mathematics, University of Passau

                Add to Reading List

                Source URL: www.fim.uni-passau.de

                - Date: 2016-11-10 05:46:54
                  59

                  Peak group analysis for the extraction of pure component spectra. Mathias Sawalla , Christoph Kubisb , Enrico Barschb , Detlef Selentb , Armin B¨ornerb , Klaus Neymeyra,b a Universit¨ at b Leibniz-Institut

                  Add to Reading List

                  Source URL: alf.math.uni-rostock.de

                  - Date: 2016-12-06 11:03:08
                    UPDATE