Work-in

Results: 60684



#Item
11Software engineering / Programming language theory / Computer programming / Functional languages / Debugging / Literate programming / Haskell / Program slicing / Insertion sort

Hat Day 2005: work in progress on the Hat tracing system for Haskell Colin Runciman (Editor)

Add to Reading List

Source URL: community.haskell.org

Language: English - Date: 2013-10-12 04:58:09
12Click consonants / Refugee Olympic Team at the 2016 Summer Olympics / Yusra Mardini / Stephen L. Brusatte / United Nations High Commissioner for Refugees / Dental click / Yusra

ADVANCE INFORMATION Rebel Talent Why it Pays to Break the Rules at Work and in Life Francesca Gino

Add to Reading List

Source URL: panmacmillan.co.in

Language: English - Date: 2018-07-03 04:57:00
13Identity management / Cryptography / Computer security / Identity / Federated identity / Computer access control / Zero-knowledge proof / Credential / Cryptographic protocol / NP / Credit card / Digital identity

ZKProof Standards Applications Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track Chairs:

Add to Reading List

Source URL: zkproof.org

Language: English - Date: 2018-10-25 10:32:39
14Algebra / Geometry / Abstract algebra / Algebraic geometry / Algebraic varieties / Convex geometry / Divisor / Nef line bundle / Projective variety / Abelian variety / Convex cone / Ample line bundle

CONES OF HIGHER-CODIMENSIONAL CYCLES OLIVIER DEBARRE July 14, 2010 This is joint work with L. Ein, R. Lazarsfeld, and C. Voisin (eprint arXiv:, to appear in Compos. Math.).

Add to Reading List

Source URL: www.math.ens.fr

Language: English - Date: 2010-07-14 05:23:13
15Software engineering / Computer programming / Computing / Constraint programming / Benchmark / JavaScript / Constraint satisfaction problem / Mathematical proof / Constraint satisfaction / Non-interactive zero-knowledge proof

ZKProof Standards Implementation Track Proceedings 1 August 2018 + subsequent revisions This document is an ongoing work in progress. Feedback and contributions are encouraged. Track chairs:​​

Add to Reading List

Source URL: zkproof.org

Language: English - Date: 2018-10-25 10:32:39
16Technology / Futurology / Philosophy of artificial intelligence / Computational neuroscience / Future / Metaphysics / Artificial intelligence / Cybernetics / Human genome / Entropy / Moore's law / The Singularity Is Near

The Cost of AI  Matt Mahoney  Draft, Mar. 27, 2013  Abstract  In 2011, we paid people worldwide US $70 trillion to do work that machines did not know how 

Add to Reading List

Source URL: mattmahoney.net

Language: English - Date: 2015-02-02 13:47:58
17Models of computation / Intel / Scientific modelling / Dash / Transition system / Epistemology / Philosophy of science / Writing

DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen

Add to Reading List

Source URL: alloytools.org

Language: English - Date: 2018-06-13 06:07:43
18Employment / Human resource management / Workplace / Employee relations / Employee benefits / Employee engagement

2019 BEST PLACES TO WORK IN FINANCIAL TECHNOLOGY REGISTRATION DEADLINE: SEPTEMBER 28, 2018 What is the Best Places to Work in Financial Technology? The Best Places to Work in Financial Technology is a

Add to Reading List

Source URL: www.bestplacestoworkfintech.com

Language: English - Date: 2018-08-03 19:01:11
19Workplace / Political economy / Social status / Socioeconomic status / Socioeconomics / Intelligence quotient / Workfamily conflict / Psychology / Neuroscience / Personal life

How Socioeconomic Status Shapes Individuals’ Experiences of the Work-Family Interface in Canada by Melissa Holmes Moyser

Add to Reading List

Source URL: tspace.library.utoronto.ca

Language: English - Date: 2015-08-13 00:00:43
20Hashing / Error detection and correction / Information retrieval / Information science / Cryptographic hash functions / Cryptography / Cryptocurrencies / Merkle tree / Blockchain / Hash list / Bitcoin / Hash function

Chainweb Protocol Security Calculations Monica Quaintance, Will Martino, WORK IN PROGRESS - DRAFT v7

Add to Reading List

Source URL: kadena.io

Language: English - Date: 2018-05-11 18:40:04
UPDATE