Patricia

Results: 5588



#Item
171

Testimony of Dr. Patricia Dehmer Deputy Director of the Office of Science for Science Programs U.S. Department of Energy Before the Committee on Science, Space, and Technology Subcommittee on Research and Technology

Add to Reading List

Source URL: science.house.gov

- Date: 2016-06-16 09:33:02
    172

    Robustness in Timed Automata Patricia Bouyer1 , Nicolas Markey1 , and Ocan Sankur1,2 1 LSV – CNRS & ENS Cachan – France Universit´e Libre de Bruxelles – Belgium

    Add to Reading List

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

    - Date: 2013-09-06 05:42:30
      173

      Robust Reachability in Timed Automata: A Game-based Approach ? Patricia Bouyer, Nicolas Markey, and Ocan Sankur LSV, CNRS & ENS Cachan, France. {bouyer,markey,sankur}@lsv.ens-cachan.fr

      Add to Reading List

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

      - Date: 2012-05-18 09:46:04
        174

        DIRECTORIO Dra. Patricia E. Alfaro Moctezuma Rectora de la Unidad Lic. Guillermo Joaquín Jiménez Mercado Secretario de Unidad Lic. J. Francisco Javier Huerta Moreno

        Add to Reading List

        Source URL: www.xoc.uam.mx

        - Date: 2016-06-14 14:18:46
          175

          Patti Powers Attorney Advisor, AEquitas Patricia D. Powers is an Attorney Advisor with AEquitas, a prosecutorial resource on violence against women. In this role, Patti presents on trial strategy, legal analysis and poli

          Add to Reading List

          Source URL: higherlogicdownload.s3.amazonaws.com

          - Date: 2016-08-19 15:38:20
            176

            Emptiness and Universality Problems in Timed Automata with Positive Frequency★ Nathalie Bertrand1 , Patricia Bouyer2 , Thomas Brihaye3 , and Am´elie Stainer1 1 2

            Add to Reading List

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

            - Date: 2011-05-03 05:01:55
              177

              Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

              Add to Reading List

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

              - Date: 2016-01-04 08:35:09
                178

                Timed Automata Can Always Be Made Implementable★ Patricia Bouyer1 , Kim G. Larsen2 , Nicolas Markey1 , Ocan Sankur1 , and Claus Thrane2 1

                Add to Reading List

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

                - Date: 2011-06-24 09:42:56
                  179

                  Robust Weighted Timed Automata and Games Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Weighted timed automata extend timed automata with cost variables that can be used to model t

                  Add to Reading List

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

                  - Date: 2013-06-19 03:54:32
                    180

                    Estudo da Estabilidade de Pórticos Planos em Concreto Pré-moldado Patrícia Cândida Souza da Silva¹, Carlos Henrique de Moura Cunha2, Eric Xavier Dutra3, George Lucas Cunha Rezende3 2 1

                    Add to Reading List

                    Source URL: www.abpe.org.br

                    - Date: 2016-07-04 20:53:42
                      UPDATE