And

Results: 4618951



#Item
1Cryptography / Computational complexity theory / Complexity classes / Interactive proof system / Zero-knowledge proof / NP / Probabilistically checkable proof / IP / Soundness / Commitment scheme / NEXPTIME / P versus NP problem

The Complexity of Zero Knowledge Salil Vadhan∗ School of Engineering and Applied Sciences Harvard University Cambridge, MA 02138

Add to Reading List

Source URL: people.seas.harvard.edu

Language: English - Date: 2010-03-21 22:20:21
2Social information processing / Collaboration / Digital media / Wikipedia / Mass media / Wikis / Wiki / Aaron Halfaker / Criticism of Wikipedia

The Rise and Decline of an Open Collaboration System: How Wikipedia’s reaction to popularity is causing its decline Aaron Halfaker1 R. Stuart Geiger2

Add to Reading List

Source URL: www-users.cs.umn.edu

Language: English - Date: 2013-04-18 14:06:53
3Digital audio / Streaming music services / SoundCloud / Dubset

⏲ 19 October 2018, 06:56 (EDT) SoundCloud and Dubset Partner to Develop Next-Generation Approach to Clearing Remixes to Unlock More Value for Creators and Rights Holders

Add to Reading List

Source URL: d21buns5ku92am.cloudfront.net

Language: English - Date: 2018-10-19 06:56:39
43D computer graphics / Computer graphics / Computer-aided engineering / Polygon mesh / STL / Constructive solid geometry / 3D modeling / Mesh / Geometry processing

Functional Programming for Compiling and Decompiling Computer-Aided Design

Add to Reading List

Source URL: ttaylorr.com

Language: English - Date: 2018-10-18 11:59:59
5Computing / Information and communications technology / Computer network security / Data transmission / Network architecture / Computer networking / Internet architecture / Networking hardware / OpenFlow / Open vSwitch / Middlebox / Forwarding information base

SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2016-06-22 03:22:28
6I1 / Garbage collection

A Story of Parametric Trace Slicing, Garbage and Static Analysis Giles Reger School of Computer Science, University of Manchester, UK PrePost 2017

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-09-19 11:02:58
7Social media / Adolescence / Educational psychology / Puberty / Human behavior / Culture / New media / Human development / Children's culture / Media consumption

YOUTH AND THE MEDIA NATIONAL PROGRAMME FOR THE PROMOTION OF MEDIA SKILLS

Add to Reading List

Source URL: www.jugendundmedien.ch

Language: English - Date: 2018-05-04 06:35:34
8Automated theorem proving / Concolic testing / Software testing / Equations / Z3 / Solver / Equation solving / Mathematics / Abstraction / Software engineering

DryadSynth: A Concolic SyGuS Solver Xiaokang Qiu (joint work with Kangjing Huang and Yanjun Wang) Purdue University SYNT Workshop

Add to Reading List

Source URL: www.react.uni-saarland.de

Language: English - Date: 2017-08-02 04:54:12
9Computing / System software / Information and communications technology / Network protocols / Computer configuration / Humancomputer interaction / Control Panel / Ubiquitous computing / Universal Plug and Play / Home network / Ambient intelligence / Zero-configuration networking

Providing an Integrated User Experience of Networked Media, Devices, and Services Through End-User Composition Mark W. Newman1, Ame Elliott2, Trevor F Smith3 ∗ 1

Add to Reading List

Source URL: trevor.smith.name

Language: English - Date: 2012-11-23 14:19:46
10Competition / Marketing / Pricing

Dear Customer, Please be advised below service charge item will be added into Tariff of Accounts and Services (for Corporate Customers). Service Item:Domestic Documentary Credit (DC) Transfer Services including:Domes

Add to Reading List

Source URL: www.hsbc.com.cn

Language: English - Date: 2016-10-11 01:59:45
UPDATE