University of Technology - PDFSEARCH.IO - Document Search Engine

University of Technology
Results: 48361

#	Item
1	The Anatomy of Web Censorship in Pakistan Zubair Nabi Information Technology University, Pakistan Abstract Add to Reading List Source URL: www.usenix.org Language: English - Date: 2013-10-25 08:52:50 Computing Internet Content-control software Internet privacy Information and communications technology Computer networking Internet censorship Privacy Great Firewall OpenDNS Public recursive name server Google Public DNS
2	Exploring Adaptive Reconfiguration to Optimize Energy Efficiency in Large-Scale Battery Systems Liang He1 , Lipeng Gu2 , Linghe Kong1, Yu Gu1 , Cong Liu3 , Tian He4 1 Singapore University of Technology and Design, Singap Add to Reading List Source URL: wirelesslab.sjtu.edu.cn Language: English - Date: 2015-04-14 12:02:14 Electromagnetism Energy Electrical engineering Rechargeable batteries Analog circuits Battery charging Energy conversion Electric battery Electric power Battery charger Lithium-ion battery Voltage
3	PNCOIRank: Evaluating the Impact of Scholarly Articles with Positive and Negative Citations Xiaomei Bai, Jun Zhang, Hai Cui, Zhaolong Ning and Feng Xia School of Software, Dalian University of Technology, Dalian, Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:00:13 Reference Information science Mathematical analysis Google Search PageRank Reputation management Search engine optimization Knowledge Citation network Citation Cai Gao Pi
4	A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden Add to Reading List Source URL: cakeml.org Language: English - Date: 2017-07-03 06:09:00 Computing Software engineering Memory management Computer programming Pointer Garbage collection Heap C dynamic memory allocation Region-based memory management Go Garbage Sort
5	Education Sharif University of Technology, Tehran, Iran BS in Computer Engineering - Software Engineering Grade Point Average: 18.29 out of 20 GPAKasra Edalat Nejad Add to Reading List Source URL: ce.sharif.edu Language: English - Date: 2018-07-11 05:37:17 Provinces of Iran Sharif University of Technology Tehran Province Nejad Mohammad Ghodsi Tehran SUT
6	SLIM: Mmap from the Cloud to Device, and Back Jinghao Shi◦ Mingyuan Xia† Ming Wu‡ Lintao Zhang‡ Zheng Zhang‡ ◦ University of Science and Technology of China Add to Reading List Source URL: apsys11.ucsd.edu Language: English - Date: 2011-07-04 13:02:25 Computing Open formats RSS Computer file formats Data types Cloud computing Atom News aggregator Pointer swizzling Pointer Computer data storage Cloudlet
7	Bloom Filter Encryption and Applications to Efficient Forward-Secret 0-RTT Key Exchange David Derler1 , Kai Gellert2 , Tibor Jager2 , Daniel Slamanig3 , and Christoph Striecks3 1 Graz University of Technology Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-03-27 10:44:26 Cryptography Public-key cryptography Ciphertext indistinguishability ID-based encryption Chosen-plaintext attack RSA Ciphertext Proxy re-encryption Homomorphic encryption XTR Key encapsulation Semantic security
8	Active Automata Learning in Practice An Annotated Bibliography of the Years 2011 to 2016 Falk Howar1 and Bernhard Steffen2 1 Dortmund University of Technology and Fraunhofer ISST, Dortmund, Germany Add to Reading List Source URL: www.falkhowar.de Language: English - Date: 2018-09-30 08:43:02 Finite automata Machine learning Artificial intelligence Dana Angluin Finite-state machine Active learning Theoretical computer science Formal languages Learning Model checking Cellular automata Induction of regular languages
9	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle
10	NetSpectre: Read Arbitrary Memory over Network Michael Schwarz Martin Schwarzl Graz University of Technology Add to Reading List Source URL: gruss.cc Language: English - Date: 2018-07-26 17:58:17 Computer hardware Computer architecture Computing Side-channel attacks Computer security X86 architecture Central processing unit Computer memory Spectre Microarchitecture CPU cache Meltdown