Andrey

Results: 552



#Item
21Efficient CTL Verification via Horn Constraints Solving Tewodros A. Beyene Corneliu Popeea Andrey Rybalchenko

Efficient CTL Verification via Horn Constraints Solving Tewodros A. Beyene Corneliu Popeea Andrey Rybalchenko

Add to Reading List

Source URL: hcvs2016.it.uu.se

- Date: 2016-04-02 04:10:27
    22OpenCV for Android ECCV 2012 Andrey Pavlenko Itseez • Russian R&D company focused on

    OpenCV for Android ECCV 2012 Andrey Pavlenko Itseez • Russian R&D company focused on

    Add to Reading List

    Source URL: dl.opencv.org

    - Date: 2017-03-07 09:15:31
      23American Economic Review 2016, 106(9): 2552–2581 http://dx.doi.orgaerTiming Decisions in Organizations: Communication and Authority in a Dynamic Environment† By Steven R. Grenadier, Andrey Malenko,

      American Economic Review 2016, 106(9): 2552–2581 http://dx.doi.orgaerTiming Decisions in Organizations: Communication and Authority in a Dynamic Environment† By Steven R. Grenadier, Andrey Malenko,

      Add to Reading List

      Source URL: www2.bc.edu

      - Date: 2016-08-30 13:23:16
        24Dremel: Interactive Analysis of Web-Scale Datasets Sergey Melnik, Andrey Gubarev, Jing Jing Long, Geoffrey Romer, Shiva Shivakumar, Matt Tolton, Theo Vassilakis Google, Inc. {melnik,andrey,jlong,gromer,shiva,mtolton,theo

        Dremel: Interactive Analysis of Web-Scale Datasets Sergey Melnik, Andrey Gubarev, Jing Jing Long, Geoffrey Romer, Shiva Shivakumar, Matt Tolton, Theo Vassilakis Google, Inc. {melnik,andrey,jlong,gromer,shiva,mtolton,theo

        Add to Reading List

        Source URL: www.vldb.org

        - Date: 2010-08-11 17:04:22
          25Online Appendix for Timing Decisions in Organizations: Communication and Authority in a Dynamic Environment By Steven R. Grenadier, Andrey Malenko, and Nadya Malenko American Economic Review

          Online Appendix for Timing Decisions in Organizations: Communication and Authority in a Dynamic Environment By Steven R. Grenadier, Andrey Malenko, and Nadya Malenko American Economic Review

          Add to Reading List

          Source URL: www2.bc.edu

          - Date: 2016-04-03 12:21:05
            26Online Appendix to “A theory of LBO activity based on repeated debt-equity con‡icts” by Andrey Malenko and Nadya Malenko

            Online Appendix to “A theory of LBO activity based on repeated debt-equity con‡icts” by Andrey Malenko and Nadya Malenko

            Add to Reading List

            Source URL: www2.bc.edu

            - Date: 2016-04-03 12:20:46
              27Г-н Андрей Пахомов (Andrey Pakhomov) Руководитель отдела разработки центра исследований и разработок ЕМС по большим данным и об

              Г-н Андрей Пахомов (Andrey Pakhomov) Руководитель отдела разработки центра исследований и разработок ЕМС по большим данным и об

              Add to Reading List

              Source URL: russia.emc.com

                28Online Appendix for “Proxy Advisory Firms: The Economics of Selling Information to Voters” Andrey Malenko and Nadya Malenko 1. Supplementary analysis for the proof of Proposition 1: Proof that for any q, the

                Online Appendix for “Proxy Advisory Firms: The Economics of Selling Information to Voters” Andrey Malenko and Nadya Malenko 1. Supplementary analysis for the proof of Proposition 1: Proof that for any q, the

                Add to Reading List

                Source URL: www2.bc.edu

                - Date: 2017-01-31 15:48:23
                  29SAMPLE CHAPTER Dmitry Jemerov Svetlana Isakova FOREWORD BY Andrey Breslav

                  SAMPLE CHAPTER Dmitry Jemerov Svetlana Isakova FOREWORD BY Andrey Breslav

                  Add to Reading List

                  Source URL: manning-content.s3.amazonaws.com

                  - Date: 2017-02-04 11:23:51
                    30“A network of Hizmet inspired dialogue organisations in Europe” 19 December 2016 Fethullah Gulen Condemns the Assassination of Russian Ambassador to Turkey Andrey Karlov

                    “A network of Hizmet inspired dialogue organisations in Europe” 19 December 2016 Fethullah Gulen Condemns the Assassination of Russian Ambassador to Turkey Andrey Karlov

                    Add to Reading List

                    Source URL: admin.dialogueplatform.eu

                    - Date: 2016-12-19 17:27:41