Chalmers

Results: 1415



#Item
391

¨ Kurs: MAN321/TMV026 Andliga automater och formella spr˚ ak Plats: M-huset Tid:

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2009-06-09 10:35:51
    392

    A Formalized Proof of Strong Normalization for Guarded Recursive Types (Long Version) Andreas Abel and Andrea Vezzosi Computer Science and Engineering, Chalmers and Gothenburg University, Rännvägen 6, 41296 Göteborg,

    Add to Reading List

    Source URL: www.cse.chalmers.se

    Language: English - Date: 2014-08-29 18:51:51
      393

      Well-founded Recursion over Contextual Objects Brigitte Pientka1 and Andreas Abel2 1 2

      Add to Reading List

      Source URL: www.cse.chalmers.se

      Language: English - Date: 2015-04-27 15:52:55
        394

        DRAFT of March 29, 2013 Wellfounded Recursion with Copatterns A Unified Approach to Termination and Productivity Andreas Abel

        Add to Reading List

        Source URL: www.cse.chalmers.se

        Language: English - Date: 2013-12-18 10:49:52
          395

          Design Life Level quantifying risk in a changing climate Holger Rootzén http://www.math.chalmers.se/~rootzen/ Rick Katz

          Add to Reading List

          Source URL: www.math.chalmers.se

          Language: English - Date: 2013-10-29 06:39:28
            396

            S´eminaire BOURBAKI 66`eme ann´ee, , no 1085 Juin 2014 ´

            Add to Reading List

            Source URL: www.cse.chalmers.se

            Language: French - Date: 2014-09-14 11:27:11
              397

              Personalised Differential Privacy Summary of POPL’15 paper “Differential Privacy: Now It’s Getting Personal” Hamid Ebadi and David Sands Department of Computer Science and Engineering, Chalmers University of Tech

              Add to Reading List

              Source URL: tpdp.computing.dundee.ac.uk

              Language: English - Date: 2015-01-23 14:24:28
                398

                High Frequency Trading Jonathan Ahlstedt, Johan Villysson December 1, 2012 Contribution declaration This report has been written and edited jointly by both authors.

                Add to Reading List

                Source URL: www.math.chalmers.se

                Language: English - Date: 2012-12-01 15:20:23
                  399

                  Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole

                  Add to Reading List

                  Source URL: www.cse.chalmers.se

                  Language: English - Date: 2011-03-20 10:27:36
                    400

                    Optimal discrete hedging and approximation of stochastic integrals Carl Lindberg Holger Rootzén, Mathematical Sciences, Chalmers

                    Add to Reading List

                    Source URL: www.math.chalmers.se

                    Language: English - Date: 2012-07-01 01:52:09
                      UPDATE