Dmitry

Results: 773



#Item
71

Empirical Study of Logic-Based Modules: Cheap Is Cheerful Chiara Del Vescovo1 , Pavel Klinov2 , Bijan Parsia1 , Ulrike Sattler1 , Thomas Schneider3 , and Dmitry Tsarkov1 1 University of Manchester, UK

Add to Reading List

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

- Date: 2015-02-05 09:51:06
    72

    PRESENT: Lemons, C.J., Goodwyn, Mims, McClanahan, Powell, and Kelsey, JJ., and Lacy, S.J. DMITRY MIKHAYLOV OPINION BY JUSTICE D. ARTHUR KELSEY April 21, 2016

    Add to Reading List

    Source URL: www.courts.state.va.us

    - Date: 2016-04-21 10:26:59
      73

      OWLlink: DIG for OWL 2 Thorsten Liebig† , Marko Luther‡ , Olaf Noppens† , Mariano Rodriguez‡‡ , Diego Calvanese‡‡ , Michael Wessel? , Ralf M¨oller◦ , Matthew Horridge∗ , Sean Bechhofer∗ , Dmitry Tsar

      Add to Reading List

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

      - Date: 2015-02-05 09:51:07
        74

        ON FRACTAL MEASURES AND DIOPHANTINE APPROXIMATION DMITRY KLEINBOCK, ELON LINDENSTRAUSS, AND BARAK WEISS Abstract. We study diophantine properties of a typical point with respect to measures on Rn . Namely, we identify ge

        Add to Reading List

        Source URL: www.ma.huji.ac.il

        - Date: 2003-02-04 11:05:58
          75

          FaCT++ Description Logic Reasoner: System Description Dmitry Tsarkov and Ian Horrocks School of Computer Science The University of Manchester Manchester, UK

          Add to Reading List

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

          - Date: 2015-02-05 09:51:10
            76

            Informed Trading with Dynamic Information Dissemination∗ Alex Boulatov†and Dmitry Livdan‡ March 18, 2010 Abstract

            Add to Reading List

            Source URL: www.hec.unil.ch

            - Date: 2010-03-19 04:05:48
              77

              ON THE CRITICAL LINE OF CONVEX CO-COMPACT HYPERBOLIC SURFACES ´ ERIC ´ DMITRY JAKOBSON AND FRED NAUD

              Add to Reading List

              Source URL: fredericnaud.perso.sfr.fr

              - Date: 2011-09-20 04:12:59
                78

                Writing Nice Regular Expressions Dmitry Shiltsov April 14, 2015 Me and regular expressions

                Add to Reading List

                Source URL: wellington.pm.org

                - Date: 2015-05-07 03:39:31
                  79

                  +++ 123energie.de +++ aral-heizoel.de +++ eon.de +++ erdgas-suedwest.de +++ naturstrom.de +++ newenergie.de +++ polarstern-energie.de +++ swm.de +++ yellostrom.de +++ und weitere 255 Energieanbieter ©Dmitry Kalinovsky/

                  Add to Reading List

                  Source URL: research-tools.net

                  - Date: 2016-07-19 06:39:31
                    80

                    Incremental and Persistent Reasoning in FaCT++ Dmitry Tsarkov School of Computer Science The University of Manchester

                    Add to Reading List

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

                    - Date: 2015-02-05 09:51:09
                      UPDATE