Arias - PDFSEARCH.IO - Document Search Engine

Arias
Results: 533

#	Item
161	Verifying Faust in Coq Progress report Emilio J. Gallego Arias, Pierre Jouvelot, Olivier Hermant, Arnaud Spiwack MINES ParisTech, PSL Research University, France Add to Reading List Source URL: feever.fr Language: English - Date: 2015-01-21 07:20:49 IRCAM Folklore Music Culture Audio programming languages FAUST Mephisto
162	A Taste of (formal) Sound Reasoning A Tutorial Emilio J. Gallego Arias, Pierre Jouvelot, Olivier Hermant MINES ParisTech, PSL Research University, France Add to Reading List Source URL: feever.fr Language: English - Date: 2015-04-14 15:09:46 Electronic engineering Electronics Infinite impulse response Filter Electronic filter Confidence interval Linear Question Filter theory Statistics Digital signal processing
163	A Taste of Sound Reasoning in Faust Emilio Jesús Gallego Arias, Olivier Hermant, Pierre Jouvelot MINES ParisTech, PSL Research University, France {emilio.gallego_arias, olivier.hermant, pierre.jouvelot}@mines-paristech. Add to Reading List Source URL: feever.fr Language: English - Date: 2015-04-28 05:48:33 Type theory Functional languages Mathematical logic FAUST Eval Mathematical proof Nyquist–Shannon sampling theorem Coq Dependent type Mathematics Computing Theoretical computer science
164	An atemporal approach to Piranesi and his designs Adam Lowe The Grotto Chair was modeled by hand by Juan Carlos Andrés Arias Add to Reading List Source URL: www.factum-arte.com Language: English - Date: 2013-10-25 03:39:04 Santa Maria del Priorato Magnificence Piranesi Tripod Technology Visual arts Aesthetics Knights Hospitaller Ancient Roman architecture Giovanni Battista Piranesi
165	Smart Nest Thermostat A Smart Spy in Your Home Grant Hernandez, Orlando Arias, Daniel Buentello, and Yier Jin Security in Silicon Laboratory, University of Central Florida Outline Add to Reading List Source URL: www.blackhat.com Language: English - Date: 2014-12-16 19:06:07 Tony Fadell Nest Labs Firmware Home automation Privacy Computing Ethics Ambient intelligence Internet of Things
166	PROVIDING SCORM WITH ADAPTIVITY Marta Rey-López, Ana Fernández-Vilas, Rebeca P. Díaz-Redondo, José J. Pazos-Arias Department of Telematic Engineering University of Vigo, Spain {mrey,avilas,rebeca,jose}@det.uvigo.es Add to Reading List Source URL: www2006.org Language: English - Date: 2006-09-05 12:42:59 Standards Technical communication Authoring systems Sharable Content Object Reference Model Adaptation Learning management system E-learning Education Educational technology Distance education
167	EDUCACIÓN Eduardo Sibaja Arias Año Add to Reading List Source URL: www.conare.ac.cr - Date: 2014-10-15 15:48:21
168	Leonard Bernstein Arias and Barcarolles (Bright Sheng version) 31 min 1988 Add to Reading List Source URL: www.boosey.com Language: English - Date: 2015-03-29 03:12:26 Shorthand for orchestra instrumentation Music Boosey & Hawkes Classical music
169	Media, Common Knowledge, and Violence Against Women: A Field Experiment on Norms Change in Mexico∗ Eric Arias† November 19, 2014 Abstract Add to Reading List Source URL: www.ucema.edu.ar Language: English - Date: 2015-04-08 13:37:18 Consumer behaviour Social Norms Approach Norm Social philosophy Violence Conformity Role Knowledge Theory of planned behavior Social psychology Sociology Sociological terms
170	PDF Document Add to Reading List Source URL: www.abronsartscenter.org Language: English - Date: 2014-11-25 12:55:17 New York City New York Henry Street Settlement Joey Arias Alwin Nikolais Murray Louis Irene Lewisohn Henry Street Gotham Chamber Opera Manhattan Abrons Arts Center Lower East Side

UPDATE