Marian

Results: 1885



#Item
31

Automatic Verification of RMA Programs via Abstraction Extrapolation Cedric Baumann1 , Andrei Marian Dan1 , Yuri Meshman2 , Torsten Hoefler1 , and Martin Vechev1 1

Add to Reading List

Source URL: spcl.inf.ethz.ch

Language: English - Date: 2018-05-26 10:25:42
    32

    Car Safety Protect your Child from Overheating Middlesex District Attorney Marian T. Ryan

    Add to Reading List

    Source URL: middlesexda.com

    Language: English - Date: 2014-07-17 13:01:39
      33

      ERATA : Pe aceasta cale adresez scuzele de rigoare colegilor si prietenilor din UNPR, personal d-lui Presedinte Marian Milut, precum si tuturor celor care au lecturat deja acest document pentru impardonabila greseala inc

      Add to Reading List

      Source URL: www.ugir1903.ro

      - Date: 2012-03-12 03:57:57
        34

        Finding Fix Locations for CFL-Reachability Analyses via Minimum Cuts Andrei Marian Dan1 , Manu Sridharan2? , Satish Chandra2?? , Jean-Baptiste Jeannin2 , and Martin Vechev1 1

        Add to Reading List

        Source URL: manu.sridharan.net

        - Date: 2018-02-03 20:39:22
          35

          Personalized Security Messaging: Nudges for Compliance with Browser Warnings Nathan Malkin∗ , Arunesh Mathur† , Marian Harbach‡ and Serge Egelman∗‡ ∗ University † Princeton University

          Add to Reading List

          Source URL: www.internetsociety.org

          - Date: 2017-05-02 12:12:40
            36

            Expecting to be HIP: Hawkes Intensity Processes for Social Media Popularity Marian-Andrei Rizoiu, Lexing Xie, Scott Sanner† Manuel Cebrian, Honglin Yu, Pascal Van Henteryck‡ arXiv:1602.06033v5 [cs.SI] 21 Dec 2016

            Add to Reading List

            Source URL: arxiv.org

            - Date: 2016-12-22 20:29:24
              37

              Neuro-fuzzy Techniques Used for Steady State Modeling of pH Neutralization Process SANDA FLORENTINA MIHALACHE*, MARIAN POPESCU, GABRIEL RADULESCU Petroleum-Gas University of Ploiesti, Control Engineering, Computers and E

              Add to Reading List

              Source URL: revistadechimie.ro

              - Date: 2015-09-28 02:46:50
                38

                Marian Gorynia Katedra Konkurencyjności Międzynarodowej Wydział Gospodarki Międzynarodowej Uniwersytet Ekonomiczny w Poznaniu Poznań, 8 kwietnia 2013 OCENA

                Add to Reading List

                Source URL: nowa.uek.krakow.pl

                - Date: 2015-09-30 08:52:32
                  39

                  Opponent Testimony on House Bill 69 House Family and Community Advancement Committee Marian Harris on behalf of the National Council of Jewish Women Tuesday, March 10, 2015 Good morning, Chairman Derickson, Ranking Membe

                  Add to Reading List

                  Source URL: search-prod.lis.state.oh.us

                    40

                    Methodology and Culture: Drivers of Mediocrity in Software Engineering? Marian Petre Daniela Damian

                    Add to Reading List

                    Source URL: web.engr.illinois.edu

                    - Date: 2014-10-28 23:47:40
                      UPDATE