Lara - PDFSEARCH.IO - Document Search Engine

Lara
Results: 1812

#	Item
461	Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3 Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2007-11-16 10:14:07 Mathematical logic Program logic Formal methods Postcondition First-order logic Hoare logic Model checking Separation logic Well-formed formula Theoretical computer science Logic in computer science Logic
462	Decision Procedures for Algebraic Data Types with Abstractions Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-11-10 09:06:44 Model theory Predicate logic Ground expression First-order logic Binary tree Lambda calculus Interpretation Function Tree Mathematical logic Mathematics Logic
463	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
464	T-Cell Checkpoints in RCC: Musings from a non-immunologist Primo N. Lara, Jr., M.D. Professor of Medicine University of California Davis School of Medicine Add to Reading List Source URL: www.euikcs.com Language: English - Date: 2015-05-04 13:05:45 Biology PD-L1 Magnesium in biology
465	Accelerating Interpolants ⋆ Hossein Hojjat1 , Radu Iosif2 , Filip Koneˇcn´y2,4, Viktor Kuncak1, and Philipp R¨ummer3 1 Swiss Federal Institute of Technology Lausanne (EPFL) Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-07-02 15:54:03 Formal methods Abstraction Model theory Predicate transformer semantics Program logic Transitive closure Predicate abstraction Predicate Interpolation Mathematical logic Mathematics Logic
466	Deciding Functional Lists with Sublist Sets Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-18 09:02:21 Higher-order functions Model theory Graph theory Mathematical induction Structural induction Fold Map List Interpretation Software engineering Mathematics Computing
467	Towards Complete Reasoning about Axiomatic Specifications Swen Jacobs and Viktor Kuncak ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-11-10 10:57:45 Model theory Functions and mappings Function Structure Axiom Interpretation First-order logic Mathematics Mathematical logic Logic
468	SB4: Why #Health4All Matters It’s better for everyone when immigrants have coverage May 1, 2015 SB4 (Lara) expands access to comprehensive health care coverage to Californians who are Add to Reading List Source URL: www.health-access.org Language: English - Date: 2015-05-01 13:19:13 Medicaid Health insurance Patient Protection and Affordable Care Act Illegal immigration Politics Government Health policy L.A. Care Health Plan Healthcare reform in the United States Government of California Medi-Cal
469	Characterisation of MEMs mirrors for use in atmospheric and ocular wavefront correction Nicholas Devaney, Derek Coburn, Chris Coleman, J.Christopher Dainty, Eugenie Dalimier, Thomas Farrell, David Lara, David Mackey, Rut Add to Reading List Source URL: www.cosingo.com Language: English - Date: 2009-01-07 12:48:06 Physics Deformable mirror Adaptive optics Wavefront Piston Tilt Optical aberration Mirror Zernike polynomials Optics Atomic molecular and optical physics Electromagnetic radiation
470	Automatic Synthesis of Out-of-Core Algorithms Yannis Klonatos Andres Nötzli Andrej Spielmann Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-04-26 14:52:18 Algorithm Mathematical logic Theoretical computer science Function Fold Stack Divide and conquer algorithm Mathematics Computing Algorithms

UPDATE