Marko

Results: 664



#Item
21Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

Tackling Real-Life Relaxed Concurrency with FSL++ Marko Doko and Viktor Vafeiadis Max Planck Institute for Software Systems (MPI-SWS) Abstract. We extend fenced separation logic (FSL), a program logic for

Add to Reading List

Source URL: plv.mpi-sws.org

- Date: 2017-01-19 08:43:04
    22Boundary integral equations on unbounded rough surfaces: Fredholmness and the finite section method Simon N. Chandler-Wilde and Marko Lindner ABSTRACT. We consider a class of boundary integral equations that arise in the

    Boundary integral equations on unbounded rough surfaces: Fredholmness and the finite section method Simon N. Chandler-Wilde and Marko Lindner ABSTRACT. We consider a class of boundary integral equations that arise in the

    Add to Reading List

    Source URL: www.personal.rdg.ac.uk

    - Date: 2006-10-03 05:22:00
      23Paul Lillrank Marko Hamilo Elina Lepomäki The Life Account REFORMING THE NORDIC SOCIAL SECURITY MODEL TO ENCOURAGE WORK, EMPLOYMENT

      Paul Lillrank Marko Hamilo Elina Lepomäki The Life Account REFORMING THE NORDIC SOCIAL SECURITY MODEL TO ENCOURAGE WORK, EMPLOYMENT

      Add to Reading List

      Source URL: libera.fi

      - Date: 2014-12-25 12:31:05
        24Predicting the rise of right-wing populism in response to unbalanced immigration Boris Podobnik,1, 2, 3, 4 Marko Jusup,5 and H. Eugene Stanley1 1 arXiv:1612.00270v2 [physics.soc-ph] 4 Dec 2016

        Predicting the rise of right-wing populism in response to unbalanced immigration Boris Podobnik,1, 2, 3, 4 Marko Jusup,5 and H. Eugene Stanley1 1 arXiv:1612.00270v2 [physics.soc-ph] 4 Dec 2016

        Add to Reading List

        Source URL: arxiv.org

        - Date: 2016-12-05 20:07:14
          25Condition Number Estimates for Combined Potential Boundary Integral Operators in Acoustic Scattering Simon N. Chandler-Wilde‡∗, Ivan G. Graham‡†, Stephen Langdon∗‡, and Marko Lindner∗‡ Dedicated to Rainer

          Condition Number Estimates for Combined Potential Boundary Integral Operators in Acoustic Scattering Simon N. Chandler-Wilde‡∗, Ivan G. Graham‡†, Stephen Langdon∗‡, and Marko Lindner∗‡ Dedicated to Rainer

          Add to Reading List

          Source URL: www.personal.rdg.ac.uk

          - Date: 2008-10-16 12:14:57
            26Sufficiency of Favard’s condition for a class of band-dominated operators on the axis Simon N Chandler-Wilde a,1 a Department and Marko Lindner a,2,∗

            Sufficiency of Favard’s condition for a class of band-dominated operators on the axis Simon N Chandler-Wilde a,1 a Department and Marko Lindner a,2,∗

            Add to Reading List

            Source URL: www.personal.rdg.ac.uk

            - Date: 2007-09-20 03:38:30
              27What Happened to Bob? Semantic Data Mining of Context Histories Michael Wessel1 , Marko Luther2 and Ralf M¨oller3 1 3

              What Happened to Bob? Semantic Data Mining of Context Histories Michael Wessel1 , Marko Luther2 and Ralf M¨oller3 1 3

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2009-07-07 04:46:34
                28CATEGORIES IN TOPICS I.9 Marko Malink 1. Topics’ categories vs. Categories’ categories In the first sentence of Topics I.9, Aristotle proposes to determine the gšnh tîn kathgoriîn. These are the ten categories he

                CATEGORIES IN TOPICS I.9 Marko Malink 1. Topics’ categories vs. Categories’ categories In the first sentence of Topics I.9, Aristotle proposes to determine the gšnh tîn kathgoriîn. These are the ten categories he

                Add to Reading List

                Source URL: www.nyu.edu

                - Date: 2013-04-03 03:30:50
                  29Classical Quarterly–Printed in Great Britain doi:S0009838811000565 MARKO MALINK 163

                  Classical Quarterly–Printed in Great Britain doi:S0009838811000565 MARKO MALINK 163

                  Add to Reading List

                  Source URL: www.nyu.edu

                  - Date: 2013-04-03 03:26:10
                    30Inferring static non-monotonically sized types through testing Ron van Kesteren, Olha Shkaravska, Marko van Eekelen {R.vanKesteren, O.Shkaravska, M.vanEekelen}@cs.ru.nl Institute for Computing and Information Sciences Ra

                    Inferring static non-monotonically sized types through testing Ron van Kesteren, Olha Shkaravska, Marko van Eekelen {R.vanKesteren, O.Shkaravska, M.vanEekelen}@cs.ru.nl Institute for Computing and Information Sciences Ra

                    Add to Reading List

                    Source URL: www.cs.ru.nl

                    - Date: 2015-04-11 11:05:04