Transformations - PDFSEARCH.IO - Document Search Engine

Transformations
Results: 1247

#	Item
861	UNIVERSAL POLAR STEROGRAPHIC TRANSFORMATIONS Add to Reading List Source URL: www.apd.army.mil Language: English - Date: 2014-08-22 14:32:48 Mathematical physics Mathematics Spectral theory of ordinary differential equations Tukey lambda distribution Operator theory Ordinary differential equations Spectral theory
862	. Volume 9, Issue 2 November[removed]Transformations through Twitter: The England Add to Reading List Source URL: www.participations.org Language: English - Date: 2012-12-08 09:57:13 Twitter Real-time web Social media Text messaging Websites Question Time Audience measurement Channel 5 Broadcast programming Television Broadcasting Technology
863	MetaTT - A Metamodel Based Approach for Writing Textual Transformations Anderson Ledo Franklin Ramalho Add to Reading List Source URL: www.lbd.dcc.ufmg.br Language: English - Date: 2012-10-09 22:48:09 Computing Model-driven architecture Tefkat Metamodeling Acceleo MOF Model to Text Transformation Language Metaclass Automatic programming Software engineering Unified Modeling Language Systems engineering
864	F U RT H E R R E F L E C T I O N S O N A M A Z O N I A N E N V I R O N M E N TA L H I S T O RY: Transformations of Rivers and Streams* Hugh Raffles, University of California, Santa Cruz Antoinette M.G.A. WinklerPrins, Mi Add to Reading List Source URL: www.newschool.edu Language: English - Date: 2008-11-07 15:06:56 Amazon Basin Fluvial landforms Sedimentology Geomorphology Water streams Amazon River Amazon rainforest Floodplain Terra preta Geography of South America Water Physical geography
865	Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking∗ Gabor Madl1,2 Sherif Abdelwahed1 Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 11:23:37 Technology Embedded systems Electronics Scheduling algorithms DREAM Model checking Worst-case execution time Scheduling Uppaal Model Checker Computing Real-time computing Concurrent computing
866	Semantic Information Integration with Transformations for Stream Reasoning Fredrik Heintz Department of Computer and Information Science Link¨oping University, Sweden [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-08-07 07:33:25 Knowledge Ontology Units of measurement Quantity International System of Units Formula Dimensional analysis Geographic information system Physical quantity Measurement Science Information
867	Model transformations in MT Laurence Tratta a Department of Computer Science, King’s College London, Strand, London, WC2R 2LS, U.K. Add to Reading List Source URL: eprints.bournemouth.ac.uk Language: English - Date: 2010-07-28 10:23:41 Computing Internet protocols Type theory Associative array DICT Dictionary Pattern matching Binding Multiplicity Linguistics Data types Software engineering
868	Inégalités reconnaissance Conférence de savoirs féministes Transformations sociétales Add to Reading List Source URL: www.resmarti.ch Language: French - Date: 2013-01-24 10:36:32
869	Limitations on Transformations from Composite-Order to Prime-Order Groups: The Case of Round-Optimal Blind Signatures Sarah Meiklejohn (UC San Diego) Hovav Shacham (UC San Diego) David Mandell Freeman (Stanford Universit Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2014-09-03 04:47:28 Group theory Degenerate form Bilinear map Elliptic curve Cryptography Lie groups Weil pairing BLS Algebra Abstract algebra Mathematics
870	Full version of an extended abstract published in Proceedings of Asiacrypt 2010, Springer-Verlag, 2010. Available from the IACR Cryptology ePrint Archive as Report[removed]Limitations on Transformations from Composite- Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2014-09-03 04:47:28 Digital signature Commitment scheme Random oracle XTR Public-key cryptography BLS Cryptography Blind signature Group signature

UPDATE