University of Lorraine - PDFSEARCH.IO - Document Search Engine

University of Lorraine
Results: 89

#	Item
1	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 Theoretical computer science Software engineering Mathematical software Formal methods Logic in computer science Proof assistants Automated theorem proving Automated reasoning Satisfiability modulo theories E theorem prover ACL2 Isabelle
2	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
3	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
4	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
5	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 Land management Soil science Soil Carbon Nature Agricultural soil science Soil biology Soil carbon Tillage Soil biodiversity Index of soil-related articles
6	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 Aerodynamics Piping Continuum mechanics Chemistry Fluid dynamics Mechanics Fluid mechanics Chemical engineering Reynolds number Incompressible flow NavierStokes equations
7	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 Parking Big Rapids Michigan Parking violation Parking space Ferris State University
8	Various eﬀets of oscillations in reaction-diﬀusion equations Thomas Giletti, University of Lorraine A celebrated result of Aronson and Weinberger states that solutions of the reactiondiﬀusion 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 Partial differential equations Wave mechanics Multivariable calculus Wave equation
9	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 University of Lorraine Nanotechnology Chemical education cole nationale suprieure des industries chimiques Impact of nanotechnology
10	Sarzyniec Luc Software Engineer 182 avenue du général LeclercNancy, France Add to Reading List Source URL: devpool.org Language: English Hardware virtualization Software distribution Parallel computing Nancy France Telecom Nancy University of Lorraine Libvirt Docker LXC Computer cluster Vagrant Computing

UPDATE