Transformations - PDFSEARCH.IO - Document Search Engine

Transformations
Results: 1247

#	Item
351	arXiv:0706.2452v1 [physics.optics] 17 JunDesign of Electromagnetic Cloaks and Concentrators Using Form-Invariant Coordinate Transformations of Maxwell’s Equations Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-12 09:29:00
352	Development of New Catalytic Performances of Nanoporous Metals for Molecular Transformations （分子変換反応におけるナノポーラス金属触媒機能の開発）顔美 Add to Reading List Source URL: www.sci.tohoku.ac.jp Language: English - Date: 2013-04-05 04:16:50
353	Efficient Probabilistic Testing of Model Transformations using Search Louis M. Rose and Simon Poulding Department of Computer Science University of York Deramore Lane, Heslington, York, YO10 5GH, UK Add to Reading List Source URL: www.simonpoulding.net Language: English - Date: 2014-11-30 01:30:28
354	Fixed Domain Transformations and Split–Step Finite Difference Schemes for Nonlinear Black–Scholes Equations for American Options Julia Ankudinova and Matthias Ehrhardt Institut für Mathematik, TU Berlin, Strasse des Add to Reading List Source URL: www-amna.math.uni-wuppertal.de Language: English - Date: 2014-07-08 02:18:10
355	About Transformations, Inc. Since 1988, Transformations, Inc has been an innovative developer and provider of business solutions for manufacturing and distribution centers throughout the country. Its software development Add to Reading List Source URL: transfrm.com Language: English - Date: 2013-06-18 17:28:08
356	VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2014-01-16 13:38:07
357	Proteomics in the Light of Integral Value Transformations Add to Reading List Source URL: www.omicsonline.org Language: English - Date: 2014-05-18 16:14:53
358	Efficient Synthesis for Concurrency by Semantics-Preserving Transformations? ˇ Pavol Cern´ y1 , Thomas A. Henzinger2 , Arjun Radhakrishna2 , Leonid Ryzhyk3 , and Thorsten Tarrach2 Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2013-05-08 18:03:44
359	VeriMAP: A Tool for Verifying Programs through Transformations Emanuele De Angelis1? , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 Add to Reading List Source URL: www.sci.unich.it Language: English - Date: 2014-01-22 12:57:06
360	Towards a Framework for Multidirectional Model Transformations Nuno Macedo Alcino Cunha Add to Reading List Source URL: alfa.di.uminho.pt Language: English - Date: 2014-11-03 12:05:24

UPDATE