Faust - PDFSEARCH.IO - Document Search Engine

Faust
Results: 476

#	Item
181	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
182	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .2cm Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-19 09:47:40 Computing Constraint satisfaction problem Mathematical optimization Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
183	DEPENDENT VECTOR TYPES FOR MULTIRATE FAUST Pierre Jouvelot CRI, Math´ematiques et syst`emes, MINES ParisTech ABSTRACT Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-09-24 04:53:45 Electronic design Electronic circuits Denotational semantics Logic in computer science FAUST Input impedance Electrical impedance Electronic filter Impedance matching Electronic engineering Electronics Electromagnetism
184	Dependent Vector Types for Data Structuring in Multirate FaustI Pierre Jouvelota,∗, Yann Orlareyb a CRI, Math´ematiques et syst`emes, MINES ParisTech, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-09-24 04:59:49 Electronic engineering FAUST Denotational semantics Signal Semantics Vector space Digital-to-analog converter Algebra Mathematics Digital signal processing
185	Type inference in the multirate audio DSP language Faust Pierre Beauguitte Centre de recherche en informatique - MINES ParisTech SYNCHRON 2012 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2013-01-30 08:47:42 FAUST Type system Inference Vector space Type inference Algebra Mathematics Type theory
186	publications of the english goethe society, Vol. lxxvii, No. 2, 2008, 101–112 Faust, the Physicists and the Atomic Bomb P D SMITH London, UK Add to Reading List Source URL: www.peterdsmith.com Language: English - Date: 2008-09-26 06:38:43 European people Leó Szilárd Niels Bohr George Gamow Hans Bethe Faust Copenhagen Szilard Albert Einstein Science Physics Nobel laureates in Physics
187	[scale=0.2]mines-paris-tech-4107050fwhym1713 .4cm A Constraint-Solving Approach to Faust Program Type Checking .4cm Constraint Programming Meets Verification 2014 Workhsop Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:56:08 Type theory Constraint programming Type systems Programming paradigms Declarative programming Type inference Faust ALGOL 68 OCaml Software engineering Computing Computer programming
188	Microsoft Word - PM Faust (Margarete).docx Add to Reading List Source URL: www.landestheater.at Language: German - Date: 2015-04-24 08:31:10
189	UNIX Basics CHRIS FAUST by Peter Collinson, Hillside Systems Add to Reading List Source URL: www.hillside.co.uk Language: English - Date: 2002-03-18 09:31:28 User interface techniques Vi Text Editor and Corrector Mode Emacs Lisp Editor war Control key Ed Yi Software Emacs Text editors
190	Q+Faust+SuperCollider (LACQ+Faust+SuperCollider Albert Gräf Dept. of Music Informatics Add to Reading List Source URL: q-lang.sourceforge.net Language: English - Date: 2006-04-24 01:05:51 Music Software synthesizers Functional languages Electronic music SuperCollider FAUST SQR MUSIC-N MIDI Audio programming languages Computing Software

UPDATE