AC-3 - PDFSEARCH.IO - Document Search Engine

AC-3
Results: 8778

#	Item
941	Augmented Secure Channels and the Goal of the TLS 1.3 Record Layer Christian Badertscher1, Christian Matt1, Ueli Maurer1, Phil Rogaway2, Björn Tackmann3 1ETH Add to Reading List Source URL: security-lab.jaist.ac.jp Language: English - Date: 2015-11-22 02:25:24 Computing Cryptography Internet Secure communication Cryptographic protocols Data transmission Handshaking Network architecture Authenticated encryption Transport Layer Security
942	Formalising GPU memory models John Wickerson 1 / Tyler Sorensen 2,3 / Daniel Poetzl 2,4 / Mark Batty 5 / Jade Alglave 2 / Alastair Donaldson 1 1 Imperial College London / 2 University College London / 3 University of Uta Add to Reading List Source URL: carp.doc.ic.ac.uk Language: English - Date: 2014-01-20 09:48:39 Computing Concurrent computing Parallel computing GPGPU Computer architecture Graphics hardware Video cards OpenCL CUDA Graphics processing unit Thread General-purpose computing on graphics processing units
943	AmbientTalk: programming responsive mobile peer-to-peer applications with actors Tom Van Cutsema,1,∗, Elisa Gonzalez Boixa,2 , Christophe Scholliersa,3 , Andoni Lombide Carretona , Dries Harniea,2 , Kevin Pintea , Wolf Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2014-05-21 02:06:23 Software engineering Computing Computer programming Inter-process communication Concurrent programming languages Object-oriented programming languages Subroutines AmbientTalk Software design patterns Futures and promises Actor model Message passing
944	Feuille d’activité 3: Identification des solutions pour réduire les obstacles d’accès à l’eau potable, à l’assainissement et à l’hygiène Objectif: Identifier les solutions pour éliminer ou réduire les Add to Reading List Source URL: wedc.lboro.ac.uk Language: French - Date: 2012-12-20 12:12:16
945	A novel multiplex-PCR assay for detection of some major virulence genes of Salmonella enterica serovars from diverse sources Mridusmita Choudhury1,3, Probodh Borah* 1,4, Hridip Kumar Sarma3, Luit Moni Barkalita4, Naba Ku Add to Reading List Source URL: www.currentscience.ac.in Language: English - Date: 2016-07-04 02:34:19 Bacteria Biology Molecular biology Chemistry Polymerase chain reaction Laboratory techniques Enterobacteria Gram-negative bacteria Salmonella Real-time polymerase chain reaction Multiplex polymerase chain reaction Serotype
946	【理学研究科地球熱学研究施設研究員】平成 28 年 12 月 3 日 Add to Reading List Source URL: www.vgs.kyoto-u.ac.jp Language: Japanese - Date: 2015-12-04 06:16:09
947	Continuous Deep Q-Learning with Model-based Acceleration arXiv:1603.00748v1 [cs.LG] 2 Mar 2016 Shixiang Gu1 2 3 SG 717@ CAM . AC . UK Add to Reading List Source URL: arxiv.org Language: English - Date: 2016-03-02 20:31:58 Artificial intelligence Machine learning Computational neuroscience Learning Applied mathematics Artificial neural network Mathematical psychology Q-learning Reinforcement learning Supervised learning Feature learning Temporal difference learning
948	Analysis III/IV (Math 3011, MathExercise SheetDo Exercises 2 and 3 as homework for this week. These homework Add to Reading List Source URL: maths.dur.ac.uk Language: English - Date: 2011-12-01 10:58:47 DX1 Operator theory Complex analysis
949	シベリアプロジェクトＷＳ２０１２ Siberia Project Workshop 2012 年 7 月 6 日(金)－7 日(土) セミナー室 3・4 7 月 6 日(金) 13:00～15:30 Add to Reading List Source URL: www.chikyu.ac.jp Language: Japanese - Date: 2012-06-11 03:45:08
950	Algorithmic Techniques for Geometric Optimization? Pankaj K. Agarwal1 and Micha Sharir2;3 1 Department of Computer Science Box 90129, Duke University, Durham, NC, USA. Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2012-06-29 03:18:26 Computer science Mathematics Computational complexity theory Analysis of algorithms Combinatorial optimization Theoretical computer science Parametric search Computational geometry Algorithm Time complexity Selection algorithm Bounding sphere

UPDATE