Stream - PDFSEARCH.IO - Document Search Engine

Stream
Results: 13549

#	Item
641	Friends with Benefits Implementing Foundational Corecursion in Proof Assistants Jasmin Christian Blanchette Aymeric Bouzy Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-07-18 12:57:54 Declarative programming Software engineering Computer programming Functional programming Theoretical computer science Category theory Recursion Type theory Corecursion Symbol Stream Constructible universe
642	The Holy Bible r e c o v e r y Living Stream Ministry 2431 W. La Palma Avenue Anaheim, CA 92801 Add to Reading List Source URL: www.recoveryversion.org Language: English - Date: 2009-10-14 01:50:03 Christian theology Christianity Religion Christian philosophy Local Church movement Christology Evangelists Witness Lee Grace in Christianity Union with Christ Image of God God in Christianity
643	Stream Processing in “Big Data” world Jags Ramnarayan, Chief Architect, GemFire Pivotal Add to Reading List Source URL: hpts.ws Language: English - Date: 2013-10-09 03:08:05 Computing Hadoop Cloud computing Apache Hadoop Cloudera Impala Cloudera Hortonworks MapR Apache HBase Sqoop Pig Apache Hive
644	Proceedings - NN - RFIDSec08 Add to Reading List Source URL: events.iaik.tugraz.at Language: English - Date: 2008-07-17 01:40:17 Cryptography Radio-frequency identification Data Encryption Standard Automatic identification and data capture Wireless Feistel cipher Singulation Advanced Encryption Standard Stream cipher Digital signature Digital signature transponder
645	Low-Head Hydropower Assessment for the State of São Paulo G. Artan1, W.M. Cushing2, M. Mathis3, and L. Tieszen2 1 ASRC Research and Technology Solutions, contractor to the U.S. Geological Survey (USGS) Earth Resources O Add to Reading List Source URL: www.geosur.info Language: English - Date: 2015-08-19 15:15:20 Hydrology Water Physical geography Streamflow Hydrograph Stream gauge Drainage basin Flood Hydropower Discharge Hydroelectricity
646	Vol 453 \| 5 June 2008 \| doi:nature06990 LETTERS Simultaneous teleseismic and geodetic observations of the stick–slip motion of an Antarctic ice stream Douglas A. Wiens1, Sridhar Anandakrishnan2, J. Paul Winber Add to Reading List Source URL: epsc.wustl.edu Language: English - Date: 2010-06-22 12:55:50 Seismology Mechanics Solid mechanics Whillans Ice Stream Earthquake Rayleigh wave Seismogram Seismic wave Synthetic seismogram Seismic scale Glacial earthquake Moment magnitude scale
647	Health PEI Guide to Laboratory Services How to Collect a First Stream Urine (Chlamydia/GC Testing) Note: This is NOT the same as collecting a midstream urine specimen (MSU). Add to Reading List Source URL: www.gov.pe.ca Language: English - Date: 2015-10-14 10:54:03 Urine Medicine Clinical medicine Biology Urination Chlamydia infection Biological specimen
648	Large-Scale Click-stream and transaction log mining in practice Add to Reading List Source URL: www.ischool.drexel.edu Language: English - Date: 2014-02-06 12:27:24 Computing Free software Software Cloud infrastructure Data management Apache Hadoop Apache Software Foundation Big data Petabyte Clickstream
649	Cold Season Outlook for Winterover Japan Akio Narui Tokyo Climate Center Japan Meteorological Agency (JMA) Add to Reading List Source URL: ds.data.jma.go.jp Language: English - Date: 2015-11-16 20:17:41 Atmospheric sciences Meteorology Physical oceanography Tropical meteorology Effects of global warming Atmospheric dynamics Climatology El NioSouthern Oscillation El Nio Sea surface temperature Rain Jet stream
650	Estimating knickpoint migration in the Deep Add to Reading List Source URL: tpapanicolaou.engr.utk.edu Language: English - Date: 2013-01-09 10:34:09 Physical geography Earth Nature Hydrology Transport phenomena Geomorphology Fluvial landforms Knickpoint Bridge scour Stream Advection Sediment transport

UPDATE