Moura

Results: 268



#Item
11

Generalized, Efficient Array Decision Procedures Leonardo de Moura, Nikolaj Bjørner Abstract—The theory of arrays is ubiquitous in the context of software and hardware verification and symbolic analysis. The basic arr

Add to Reading List

Source URL: research.microsoft.com

- Date: 2009-09-21 16:41:38
    12

    The Pulse of Allegheny County and Pittsburgh   FINAL RESEARCH REPORT José M F Moura (PI), Evgeny Toropov, Joya Deri, Satwik Kottur

    Add to Reading List

    Source URL: www.utc.ices.cmu.edu

    - Date: 2016-04-20 09:36:36
      13

      Cambridge University Press5 - Big Data Over Networks Edited by Shuguang Cui, Alfred O. Hero III, Zhi-quan Luo and José M. F. Moura Index More information

      Add to Reading List

      Source URL: assets.cambridge.org

      - Date: 2015-12-29 10:30:15
        14

        BANC: Sensibilidade e Especificidade no Diagnóstico da Dislexia e PHDA Octávio Moura, Marcelino Pereira, Cláudia Alfaiate, Eva Fernandes, Boavida Fernandes, Susana Nogueira e Mário R. Simões III Congresso Internacio

        Add to Reading List

        Source URL: octaviomoura.com

        - Date: 2016-06-27 12:34:17
          15

          Cambridge University Press5 - Big Data Over Networks Edited by Shuguang Cui, Alfred O. Hero III, Zhi-quan Luo and José M. F. Moura Excerpt More information

          Add to Reading List

          Source URL: assets.cambridge.org

          - Date: 2015-12-29 10:30:15
            16

            Children’s Perception of Interparental Conflict Scale (CPIC) Grych, Seid & FinchamVersão Portugue sa: Octávio Moura Rute Andrade dos Santos

            Add to Reading List

            Source URL: octaviomoura.com

            - Date: 2016-06-27 12:34:17
              17

              Cambridge University Press5 - Big Data Over Networks Edited by Shuguang Cui, Alfred O. Hero III, Zhi-quan Luo and José M. F. Moura Copyright Information More information

              Add to Reading List

              Source URL: assets.cambridge.org

              - Date: 2015-12-29 10:30:15
                18

                Cambridge University Press5 - Big Data Over Networks Edited by Shuguang Cui, Alfred O. Hero III, Zhi-quan Luo and José M. F. Moura Table of Contents More information

                Add to Reading List

                Source URL: assets.cambridge.org

                - Date: 2015-12-29 10:30:15
                  19

                  Moura, OA consciência fonológica e as dificuldades específicas de leitura. Revista Formação ao Centro, 16, A Consciência Fonológica e as Dificuldades Específicas de Leitura Octávio Moura

                  Add to Reading List

                  Source URL: octaviomoura.com

                  - Date: 2016-06-27 12:34:17
                    20

                    Cambridge University Press5 - Big Data Over Networks Edited by Shuguang Cui, Alfred O. Hero III, Zhi-quan Luo and José M. F. Moura Frontmatter More information

                    Add to Reading List

                    Source URL: assets.cambridge.org

                    - Date: 2015-12-29 10:30:15
                      UPDATE