University of Lorraine

Results: 89



#Item
1Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab

Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab

Add to Reading List

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

Language: English - Date: 2017-08-01 10:52:10
2Type-Based Verification of Electronic Voting Protocols Véronique Cortier1 , Fabienne Eigner2 , Steve Kremer1 , Matteo Maffei2 , and Cyrille Wiedling3 1 LORIA, CNRS & INRIA & University of Lorraine, France

Type-Based Verification of Electronic Voting Protocols Véronique Cortier1 , Fabienne Eigner2 , Steve Kremer1 , Matteo Maffei2 , and Cyrille Wiedling3 1 LORIA, CNRS & INRIA & University of Lorraine, France

Add to Reading List

Source URL: eprint.iacr.org

Language: English - Date: 2015-01-15 13:48:11
    3Lorraine Laboratory of Research in Computer Science and its Applications ACTIVITY REPORTPROSPECTIVES FORA research unit from the research department AM2I of Lorraine University: Automatics, Mat

    Lorraine Laboratory of Research in Computer Science and its Applications ACTIVITY REPORTPROSPECTIVES FORA research unit from the research department AM2I of Lorraine University: Automatics, Mat

    Add to Reading List

    Source URL: www.loria.fr

    Language: English - Date: 2018-01-15 03:33:59
      4The Politics of Voter Fraud by Lorraine C. Minnite, Ph.D. Assistant Professor of Political Science Barnard College, Columbia University

      The Politics of Voter Fraud by Lorraine C. Minnite, Ph.D. Assistant Professor of Political Science Barnard College, Columbia University

      Add to Reading List

      Source URL: www.projectvote.org

      - Date: 2015-04-11 18:52:49
        5Agricultural soil monitoring of carbon storage with varying tillage practices Student Researchers: Kenneth Wacha, Lorraine Buckman Advisor: Professor Thanos Papanicolaou The University of Iowa IIHR- Hydroscience and Engi

        Agricultural soil monitoring of carbon storage with varying tillage practices Student Researchers: Kenneth Wacha, Lorraine Buckman Advisor: Professor Thanos Papanicolaou The University of Iowa IIHR- Hydroscience and Engi

        Add to Reading List

        Source URL: tpapanicolaou.engr.utk.edu

        Language: English - Date: 2013-01-09 12:40:06
        6Free and controlled particles in viscous incompressible flows Marius Tucsnak University of Lorraine, Nancy, France email: Lecture 1:

        Free and controlled particles in viscous incompressible flows Marius Tucsnak University of Lorraine, Nancy, France email: Lecture 1:

        Add to Reading List

        Source URL: www.prague-sum.com

        Language: English - Date: 2014-05-12 04:21:25
        7City Commission February 15, 2016 Mayor Mark Warba called the regular meeting of the City Commission to order at 6:30 p.m. Present: Commissioners Lynn Anderson, Tom Hogenson, and Lorraine James; Mayor

        City Commission February 15, 2016 Mayor Mark Warba called the regular meeting of the City Commission to order at 6:30 p.m. Present: Commissioners Lynn Anderson, Tom Hogenson, and Lorraine James; Mayor

        Add to Reading List

        Source URL: cityofbr.org

        Language: English - Date: 2016-03-22 07:32:55
        8Various effets of oscillations in reaction-diffusion equations Thomas Giletti, University of Lorraine A celebrated result of Aronson and Weinberger states that solutions of the reactiondiffusion equation ∂t u = ∆u

        Various effets of oscillations in reaction-diffusion equations Thomas Giletti, University of Lorraine A celebrated result of Aronson and Weinberger states that solutions of the reactiondiffusion equation ∂t u = ∆u

        Add to Reading List

        Source URL: fmsp.ms.u-tokyo.ac.jp

        Language: English - Date: 2016-01-17 23:22:14
        9CV Name Mark R. Wiesner Title (job position)

        CV Name Mark R. Wiesner Title (job position)

        Add to Reading List

        Source URL: www.ttl.fi

        Language: English - Date: 2014-09-04 07:31:12
        10Sarzyniec Luc Software Engineer 182 avenue du général LeclercNancy, France

        Sarzyniec Luc Software Engineer 182 avenue du général LeclercNancy, France

        Add to Reading List

        Source URL: devpool.org

        Language: English