Munich

Results: 4638



#Item
141

Clustering of Inertial Indoor Positioning Data Lorenz Schauer and Martin Werner Mobile and Distributed Systems Group Ludwig-Maximilians Universit¨at, Munich, Germany ,

Add to Reading List

Source URL: www.cip.ifi.lmu.de

- Date: 2015-08-03 11:35:56
    142

    M PRA Munich Personal RePEc Archive Arthakranti Plan: Noble Intentions but Muddled Thinking Parag Waknis

    Add to Reading List

    Source URL: mpra.ub.uni-muenchen.de

    - Date: 2013-02-20 19:02:05
      143

      Organising Low-Level Programs using Higher Types Ulrich Sch¨opp LMU Munich Abstract

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      - Date: 2014-08-12 04:28:49
        144

        Node Wake-Up via OVSF-Coded Bloom Filters in Wireless Sensor Networks Mirco Sch¨onfeld and Martin Werner Ludwig-Maximilians-University Munich, Germany, ,

        Add to Reading List

        Source URL: publications.mircoschoenfeld.de

        - Date: 2014-05-09 04:15:05
          145

          Pure Pointer Programs and Tree Isomorphism? Martin Hofmann, Ramyaa Ramyaa, and Ulrich Sch¨opp Ludwig-Maximilians Universit¨at M¨unchen Oettingenstraße 67, 80538 Munich, Germany {mhofmann,ramyaa,schoepp}@tcs.ifi.lmu.d

          Add to Reading List

          Source URL: www2.tcs.ifi.lmu.de

          - Date: 2013-04-12 09:28:19
            146

            VLDB2017 43rd International Conference on Very Large Data Bases, Munich, Germany Proceedings of the VLDB Endowment

            Add to Reading List

            Source URL: www.vldb.org

            - Date: 2016-10-01 22:28:43
              147

              Markov Processes in Isabelle/HOL Johannes H¨olzl Technical University of Munich, Germany Abstract

              Add to Reading List

              Source URL: home.in.tum.de

              - Date: 2016-12-02 10:40:04
                148

                Efficient Type-Checking for Amortised Heap-Space Analysis Dulma Rodriguez Department of Computer Science Ludwig-Maximilians-University Munich

                Add to Reading List

                Source URL: www.lama.univ-savoie.fr

                - Date: 2009-05-19 03:31:07
                  149

                  Case Study Munich Municipal Hospital Group “With our customized OvidSP solution, I was able to have our interface created just the way our

                  Add to Reading List

                  Source URL: resourcecenter.ovid.com

                  - Date: 2015-04-08 16:27:55
                    150

                    Computation-by-Interaction with Effects Ulrich Sch¨opp Ludwig-Maximilians-Universit¨at M¨unchen, Munich, Germany Abstract. A successful approach in the semantics of programming languages

                    Add to Reading List

                    Source URL: www2.tcs.ifi.lmu.de

                    - Date: 2011-09-19 12:59:27
                      UPDATE