SWS

Results: 2096



#Item
451

Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars Ruzica Piskac and Viktor Kuncak LARA - I&C - EPFL emails: INR 318, Station 15, CH-1015 Lausanne, Switzerla

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2008-11-04 08:54:36
    452

    Surge with Service Report Scoring Guidelines  “No Report” “NR” Noted on Cover Sheet = 0 (No SWS Credit)  Report not in Time Frame= 0 (No SWS Credit)  Incorrect Service Area = Contact Grand Knigh

    Add to Reading List

    Source URL: www.kofc-md.org

    - Date: 2015-07-13 21:41:46
      453

      SWS task: Articulatory Phonetic Units and Sliding DTW Gautam Varma Mantena Bajibabu B Kishore Prahallad

      Add to Reading List

      Source URL: ravi.iiit.ac.in

      Language: English - Date: 2012-02-03 06:09:47
        454

        Studien- und Prüfungsleistungen im Nebenfach Mineralogie im Magisterstudiengang Nebenfach-Leistungen für den Magisterstudiengang im Fach Mineralogie: Grundlagen der Geowissenschaften 4 SWS

        Add to Reading List

        Source URL: www.uni-mainz.de

        Language: German - Date: 2006-07-14 04:46:26
          455

          You Are Who You Know: Inferring User Profiles in Online Social Networks Alan Mislove†‡§ , Bimal Viswanath† , Krishna P. Gummadi† , Peter Druschel† † MPI-SWS

          Add to Reading List

          Source URL: www.cse.ust.hk

          Language: English - Date: 2011-02-23 02:11:19
            456

            Deepak Garg MPI-SWS CSF & FCS (Vegetariano)

            Add to Reading List

            Source URL: csf2015.di.univr.it

            - Date: 2015-07-08 13:21:15
              457

              Curriculum Vitae Ruzica Piskac address: Synthesis, Analysis and Automated Reasoning Group

              Add to Reading List

              Source URL: www.mpi-sws.org

              Language: English - Date: 2013-02-14 05:49:51
                458

                IT-Forschung in Kaiserslautern: Ingenieurmäßige Konstruktion von Informatiksystemen MPI-SWS Max Planck Institut für Software Systeme

                Add to Reading List

                Source URL: informatik.uni-kl.de

                - Date: 2013-02-14 08:16:53
                  459

                  A Core Calculus for Provenance Umut A. Acar1 , Amal Ahmed2 , James Cheney3 , and Roly Perera1 1 Max Planck Institute for Software Systems {umut,rolyp}@mpi-sws.org

                  Add to Reading List

                  Source URL: www.ccs.neu.edu

                  Language: English - Date: 2012-04-12 15:52:23
                    460

                    Dual Analysis for Proving Safety and Finding Bugs Corneliu Popeeaa , Wei-Ngan Chinb a Max Planck Institute for Software Systems (MPI-SWS) b National University of Singapore

                    Add to Reading List

                    Source URL: www.comp.nus.edu.sg

                    Language: English - Date: 2013-07-17 21:22:36
                      UPDATE