Vries - PDFSEARCH.IO - Document Search Engine

Vries
Results: 602

#	Item
51	The ISM seen at unprecedented resolution Elisa Costantini (SRON) C. Pinto, C. de Vries, J. Kaastra (SRON) Add to Reading List Source URL: ixo.gsfc.nasa.gov Language: English - Date: 2011-03-25 11:25:15 Physics Nature Chemistry Astrochemistry Atomic physics Electromagnetic spectrum Radiation Nuclear physics Interstellar medium Pyroxene Olivine X-ray
52	Jack Kooistra Sjoerd Bakker, Dirk de Vries, Jochem Kazemier, Nelly de Bode, Leendert de Geus… Het zijn slechts enkele namen van de vele, vele oorlogsslachtoffers die u heeft geregistreerd, meneer Kooistra. Tien- en tie Add to Reading List Source URL: cultuurfonds.nl Language: Dutch - Date: 2016-06-17 04:36:21
53	Making Uniqueness Typing Less Unique Thesis submitted for the degree of Doctor in Philosophy December 14, 2008 Edsko Jacob Jelle de Vries Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Software engineering Theoretical computer science Mathematical logic Lambda calculus System F Type system Uniqueness type Functional programming Polymorphism Clean
54	Modelling Unique and Affine Typing using Polymorphism Edsko de Vries Abstract. Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Data types Software engineering Object-oriented programming Computing Polymorphism Functional programming Type system Subtyping Symbol Uniqueness type
55	AGENDA MEETING OF THE FINANCE COMMITTEE OF THE SANTA BARBARA METROPOLITAN TRANSIT DISTRICT A PUBLIC AGENCY Add to Reading List Source URL: www.sbmtd.gov Language: English - Date: 2015-09-18 14:05:43 Kortewegde Vries equation Solitons
56	DE ECONOMIST 148, NO. 4, 2000 DUTCH ECONOMIC GROWTH IN COMPARATIVE-HISTORICAL PERSPECTIVE, 1500–2000 BY JAN DE VRIES* Add to Reading List Source URL: pseudoerasmus.files.wordpress.com Language: English - Date: 2016-07-15 08:35:07 Economy of the Netherlands Economic growth Economic history of the Netherlands Angus Maddison Gross domestic product Economic stagnation Simon Kuznets Economy Economic inequality Netherlands
57	Polytypic Properties and Proofs 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 Type theory Generic programming Polytypic NP Polymorphism Functor Dependent type Map
58	Dealing with extreme storm surges in The Netherlands Hans de Vries KNMI Add to Reading List Source URL: www.waveworkshop.org Language: English - Date: 2013-10-28 17:41:08 Statistical forecasting Forecasting Time series analysis Surge
59	SPECIAL SESSIONSpecial Session 4: Nonlinear PDEs and Control Theory with Applications Barbara Kaltenbacher, University of Alpen-Adria, Klagenfurt, Austria Add to Reading List Source URL: www.aimsciences.org Language: English - Date: 2012-06-23 07:34:45 Partial differential equations Differential equations Wave mechanics Solitons Multivariable calculus Nonlinear system Hyperbolic partial differential equation Heat equation Wave equation Kortewegde Vries equation Weak solution Euler equations
60	SYMBOLIC ALGORITHMS AND SOFTWARE FOR THE ´ TEST AND RECURSION OPERATORS FOR PAINLEVE NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS by Add to Reading List Source URL: www.douglasbaldwin.com Language: English - Date: 2010-10-05 00:49:38 Partial differential equations Solitons Scattering theory Integrable systems Ordinary differential equations Inverse scattering transform Differential equation CamassaHolm equation Kortewegde Vries equation KaupKupershmidt equation Inverse scattering problem Equation solving

UPDATE