Vries - PDFSEARCH.IO - Document Search Engine

Vries
Results: 602

#	Item
41	Thomas Trogdon Department of Mathematics University of California, Irvine Rowland Hall Irvine, CA Add to Reading List Source URL: www.cims.nyu.edu Language: English - Date: 2016-07-21 18:30:47 Mathematical analysis Calculus Mathematics Partial differential equations Solitons Scattering theory Dynamical systems Guggenheim Fellows Inverse scattering transform Kortewegde Vries equation Inverse scattering problem Percy Deift
42	Reasoning about Explicit Resource Management∗ (Abstract) Edsko de Vries Trinity College Dublin, Ireland 1 Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Differential geometry Connection
43	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
44	Reverse Hoare Logic? Edsko de Vries and Vasileios Koutavas Trinity College Dublin, Ireland {Edsko.de.Vries,Vasileios.Koutavas}@cs.tcd.ie Abstract. We present a novel Hoare-style logic, called Reverse Hoare Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Logic Theoretical computer science Mathematics Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Hoare logic Predicate transformer semantics Permutation Closed and exact differential forms
45	Design and Implementation of a PHP Compiler Front-end Edsko de Vries∗ and John Gilbert {devriese, gilberj}@cs.tcd.ie Department of Computer Science School of Computer Science and Statistics Trinity College Dublin, Irel Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software Computing Compiler construction Compiling tools Formal languages Cross-platform software Parser generators Syntax GNU bison Parsing Lexical analysis PHP
46	From SIAM News, Volume 46, Number 5, JuneNonlinear Ocean-Wave Interactions on Flat Beaches By M.J. Ablowitz and D.E. Baldwin People have always been fascinated by waves, particularly water and ocean waves. The mat Add to Reading List Source URL: www.siam.org Language: English - Date: 2013-06-03 12:07:57 Calculus Multivariable calculus Partial differential equations Mathematical analysis Solitons Fluid dynamics Water waves Wave mechanics Kortewegde Vries equation KadomtsevPetviashvili equation Cnoidal wave Dispersion
47	Contents Preface xi Notation and Abbreviations Add to Reading List Source URL: www.siam.org Language: English - Date: 2015-12-22 12:23:43 Mathematical analysis Calculus Mathematics Partial differential equations Scattering theory Solitons Bernhard Riemann Ordinary differential equations Kortewegde Vries equation RiemannHilbert problem Inverse scattering transform Inverse scattering problem
48	Global Growth Accounting: The role of shifting investment patterns Abdul A Erumban Robert Inklaar Klaas de Vries World KLEMS Conference, May, Madrid Add to Reading List Source URL: www.worldklems.net Language: English - Date: 2016-07-07 10:10:56 National accounts Economics Economy Capital Gross fixed capital formation Capital formation Fixed capital Depreciation Gross domestic product Investment Productivity Asset
49	VU Library scientific information specialists Arts and Humanities • • • Add to Reading List Source URL: www.ub.vu.nl Language: English - Date: 2016-07-29 14:19:36 Dutch language De Vries Andr Hazes Geert Hofstede De Zwaan Zwaan
50	Doing Applied Math with Mathematica Here n_ is a ‘pattern object’: whenever Mathematica sees fiboBad with a single object enclosed in square brackets, it Douglas E. Baldwin — August 19, 2010 associates that object Add to Reading List Source URL: www.douglasbaldwin.com Language: English - Date: 2010-10-05 01:02:14 Calculus Mathematical analysis Solitons Partial differential equations Kortewegde Vries equation Lambert W function

UPDATE