Investigate

Results: 2328



#Item
91

A Undecidability of propositional separation logic and its neighbours JAMES BROTHERSTON, University College London and MAX KANOVICH, Queen Mary, University of London In this paper, we investigate the logical structure o

Add to Reading List

Source URL: www.lsv.ens-cachan.fr

- Date: 2014-01-21 06:29:06
    92

    CONFINEMENT BY BIASED VELOCITY JUMPS: AGGREGATION OF ESCHERICHIA COLI ¨ RAOUL, AND CHRISTIAN SCHMEISER VINCENT CALVEZ, GAEL Abstract. We investigate a linear kinetic equation derived from a velocity jump process modell

    Add to Reading List

    Source URL: homepage.univie.ac.at

    - Date: 2014-04-03 07:35:45
      93

      1. The Kato-Rellich Theorem For orientation, consider the formal example −∆ + V (x) as an operator on Cc∞ (Rd ) ⊂ L2 (Rd ). We investigate the problem of extending this operator to a self adjoint operator. We hav

      Add to Reading List

      Source URL: people.math.gatech.edu

      - Date: 2014-04-01 09:03:32
        94

        Some Oregon Assisted Suicide Abuses and Complications "We are not given the resources to investigate [assisted-suicide cases] and not only do we not have the resources to do it, but we do not have any legal authority to

        Add to Reading List

        Source URL: dredf.org

        - Date: 2014-03-07 21:28:44
          95

          On Boundedness in Depth in the π-Calculus⋆ Roland Meyer University of Oldenburg Abstract. We investigate the class PBD of π-Calculus processes that are bounded in the function

          Add to Reading List

          Source URL: concurrency.cs.uni-kl.de

          - Date: 2016-02-22 03:32:16
            96

            On Nominal Regular Languages with Binders? Extended version Alexander Kurz, Tomoyuki Suzuki?? , and Emilio Tuosto Department of Computer Science, University of Leicester, UK Abstract. We investigate regular languages on

            Add to Reading List

            Source URL: www.cs.le.ac.uk

            - Date: 2012-01-09 10:51:24
              97

              VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms Adrien Lebre, Jonathan Pastor, Mario S¨ udholt ASCOLA Research Group (Mines Nantes, Inria, LINA), Nantes, France

              Add to Reading List

              Source URL: people.rennes.inria.fr

              - Date: 2015-05-20 08:26:46
                98

                FROM LAX MONAD EXTENSIONS TO TOPOLOGICAL THEORIES MARIA MANUEL CLEMENTINO AND WALTER THOLEN To Manuela, teacher and friend Abstract. We investigate those lax extensions of a Set-monad T =

                Add to Reading List

                Source URL: people.math.yorku.ca

                - Date: 2015-01-08 11:40:52
                  99

                  Update of time-invalid information in Knowledge Bases through Mobile Agents Ilaria Tiddi, Enrico Daga, Emanuele Bastianelli, Mathieu d’Aquin1 Abstract— In this paper, we investigate the use of a mobile, autonomous ag

                  Add to Reading List

                  Source URL: aass.oru.se

                  - Date: 2016-09-08 16:03:45
                    100

                    2016 ASPECT CONSUMER EXPERIENCE INDEX October 26, 2016 A national study of 1,000 American consumers to investigate the attitudes, preferences and behaviors regarding customer touchpoints and

                    Add to Reading List

                    Source URL: www.aspect.com

                    - Date: 2016-12-02 11:05:29
                      UPDATE