Yannick - PDFSEARCH.IO - Document Search Engine

Yannick
Results: 336

#	Item
201	Detecting Outlier Sections in US Congressional Legislation Elif Aktolga Irene Ros, Yannick Assogba [removed] Add to Reading List Source URL: clome.info Language: English - Date: 2011-10-30 20:52:52 Data mining Outlier Statistical theory Anomaly detection RANSAC Information retrieval Kullback–Leibler divergence Information theory Statistics Robust statistics Data analysis
202	System to Software Integrity: A Case Study1 Matteo Bordin, Cyrille Comar, Ed Falis, Franco Gasperoni, Yannick Moy, Elie Richa, Jérôme Hugues {bordin, comar, falis, gasperoni, moy, richa}@adacore.com, jerome.hugue Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-01-23 04:27:02 Simulation software Software architecture Systems architecture Cross-platform software Simulink Architecture Analysis & Design Language SPARK Formal verification Design by contract Software engineering Computing Design
203	Rail, Space, Security: Three Case Studies for SPARK 2014 Claire Dross4 , Pavlos Efstathopoulos1 , David Lesens2 , David Mentr´e3 and Yannick Moy4 1: Altran UK Limited, 22 St Lawrence Street, Bath BA1 1AN (United Kingdom Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2013-12-05 09:31:12 Ada programming language SPARK Ada Monitor Formal methods Subroutine Vienna Development Method Computing Software engineering Computer programming
204	Explicit Assumptions - A Prenup for Marrying Static and Dynamic Program Verification Johannes Kanig2 , Rod Chapman1 , Cyrille Comar2 , Jerˆome Guitton2 , Yannick Moy2 , and Emyr Rees1 1 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-06-16 09:55:02 Formal methods Ada programming language SPARK Formal verification Ada KeY Sheaf Computing Software engineering Computer programming
205	Self-Contained Semantic Hypervideos Using Web Components Thomas Steiner1? , Pierre-Antoine Champin1 , Benoˆıt Encelle1 , and Yannick Pri´e2 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2014-10-15 08:40:22 Web standards HTML Web development Web services Semantic Web HTML5 Linked data Hypervideo Web application Computing World Wide Web Markup languages
206	Land surface contribution to seasonal climate predictability: Growing evidence but unfulfilled expectations Hervé Douville, Yannick Peings, Eric Brun Météo-France/CNRM-GAME Add to Reading List Source URL: www.meteo.fr Language: English - Date: 2013-06-17 04:36:53 Predictability Prediction Global climate model Vegetation Soil Rain Atmospheric sciences Biology Science
207	Accounting for an imperfect model in 4D-Var ´ Yannick TREMOLET ECMWF - NASA/GMAO July 2007 Add to Reading List Source URL: www.jcsda.noaa.gov Language: English - Date: 2007-07-26 16:23:04 Data assimilation Estimation theory Weather prediction Variance Covariance Statistics Covariance and correlation Control theory
208	Paris, 30 January[removed]is a pivotal year for le coq sportif, which is celebrating both its 130th anniversary and the signing of its partnership with the Tour de France. The company was founded in 1882 by Émile Cam Add to Reading List Source URL: www.lecoqsportif.com Language: English - Date: 2012-02-22 09:50:01 Coq Yannick Noah Software Sports Le Coq Sportif Joakim Noah Tennis
209	Maestro With the Turtle Tattoo By DANIEL J. WAKIN Published: January 11, 2013 New York Times The young and charismatic Mr. N Add to Reading List Source URL: www.wildvoicesmusictheatre.com Language: English - Date: 2013-08-19 04:33:14 Orchestre Métropolitain Yannick Nézet-Séguin Philadelphia Orchestra Yannick
210	Towards a longer assimilation window in 4D-Var Yannick Tr´emolet Thanks to Paul Poli ECMWF October 2011 Add to Reading List Source URL: gmao.gsfc.nasa.gov Language: English - Date: 2011-10-19 10:14:51 Systems theory Data assimilation Estimation theory Statistical forecasting Weather prediction Kalman filter Variance Statistics Control theory Cybernetics

UPDATE