DeScribe

Results: 6373



#Item
1Computing / Software / Data management / Cross-platform software / High-level programming languages / JavaScript libraries / JavaScript / Web programming / MongoDB / Internet privacy / Data / Subscriber identity module

Reading sensor data for 4-digit PINs using JavaScript Author: Maryam Mehrnezhad (), Apr 2017 In this help file, we describe the details of our JavaScript code used for reading sensor data (motion an

Add to Reading List

Source URL: homepages.cs.ncl.ac.uk

Language: English - Date: 2017-04-25 15:12:56
2Quantum information science / Theoretical computer science / Quantum mechanics / Quantum computing / Quantum error correction / Quantum logic gate / Controlled NOT gate / GottesmanKnill theorem / Stabilizer code / Superdense coding / Quantum circuit / Quantum teleportation

Lecture 28, Tues May 2: Stabilizer Formalism Today we’ll see a beautiful formalism that was originally invented to describe quantum-error correcting codes, but now plays many different roles in quantum computation. Fir

Add to Reading List

Source URL: www.scottaaronson.com

Language: English - Date: 2018-08-26 18:24:02
3Mathematical logic / Theoretical computer science / Mathematics / Type theory / Logic in computer science / Dependently typed programming / Formal methods / Logical framework / Proof theory / First-order logic / Lambda calculus / Calculus of constructions

Analyzing individual proofs as the basis of interoperability between proof systems Gilles Dowek? Abstract. We describe the first results of a project to analyze in which theories formal proofs can be expressed and use th

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
4Geometry / Algebra / Abstract algebra / Algebraic geometry / Fano variety / Projective variety / Hyperelliptic curve / Moduli space / DeligneMumford stack / Hypersurface / Ample line bundle / Stack

MODULI SPACES FOR CERTAIN FANO VARIETIES OLIVIER DEBARRE Abstract. It is yet unknown whether quasiprojective moduli spaces exist for all Fano varieties with finite automorphism groups. In this talk, we will describe a cl

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2014-03-30 09:31:34
5Behavior modification / Behaviorism / Token economy / Token coin / Cryptocurrencies / Economy / Psychology / Money / Computer access control

The attached white paper is meant to describe the currently anticipated plans of Messari Inc. (“​Messari​”) for developing a new blockchain token mechanism (“​Token​”) that will be used on the network spo

Add to Reading List

Source URL: messari.github.io

Language: English - Date: 2018-10-11 11:52:47
6Cryptocurrencies / Bitcoin / Blockchains / Computing / Alternative currencies / Money / Economy / Cryptography / SegWit / Ethereum / Merkle tree / Bitcoin Unlimited

ZEN: Technical notes on a financial engine Nathan Cook July 18th 2017 Summary We describe the Zen Protocol, the basis for a decentralized financial

Add to Reading List

Source URL: www.zenprotocol.com

Language: English - Date: 2018-10-19 06:12:25
7Computing / Hacking / Human behavior / Information and communications technology / Telephone tapping / Computer programming / Hacker / Internet security / Wargame / Security hacker

Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t

Add to Reading List

Source URL: afnom.net

Language: English - Date: 2018-10-16 09:54:50
8Differential geometry / Mathematical analysis / Connection / Geometry / Topology / Holomorphic vector bundle / Connection form / Hermitian manifold / Curvature form / Sheaf / Affine connection / Torsion tensor

LOCAL RRH THOMAS WILLWACHER Abstract. In [6] Engeli and Felder describe a generalized Riemann-RochHirzebruch formula to compute the Lefschetz numbers of differential operators on holomorphic vector bundles. Essentially,

Add to Reading List

Source URL: people.math.ethz.ch

Language: English - Date: 2016-05-02 09:25:10
9Data security / Law / Data protection / Privacy law / Information privacy / Privacy / Europe / General Data Protection Regulation / Privacy policy / Data retention / Personally identifiable information / Data Protection Act

NOTICE pursuant to and in accordance with article 13 of EU Regulation 27 April 2016 no. 679 "General Data Protection Regulation" Introduction This Privacy Policy is intended to describe the modes of management of this si

Add to Reading List

Source URL: www.opacgroup.com

Language: English - Date: 2018-07-19 10:44:11
10Mathematical optimization / Mechanics / Physics / Dynamical systems / Mechanical engineering / Contact dynamics / Linear complementarity problem / Multibody system / Trajectory optimization / Constraint / Degrees of freedom / Inverse dynamics

MuJoCo: A physics engine for model-based control Emanuel Todorov, Tom Erez and Yuval Tassa University of Washington Abstract— We describe a new physics engine tailored to model-based control. Multi-joint dynamics are r

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2012-07-24 02:47:44
UPDATE