Work - PDFSEARCH.IO - Document Search Engine

Work
Results: 156439

#	Item
41	Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2006-03-05 21:15:02
42	Optimizing S-box Implementations for Several Criteria using SAT Solvers Ko Stoffelen About this work Add to Reading List Source URL: ko.stoffelen.nl Language: English - Date: 2018-02-09 07:39:36
43	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 Algebra Geometry Abstract algebra Algebraic geometry Algebraic varieties Convex geometry Divisor Nef line bundle Projective variety Abelian variety Convex cone Ample line bundle
44	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 Software engineering Computer programming Computing Constraint programming Benchmark JavaScript Constraint satisfaction problem Mathematical proof Constraint satisfaction Non-interactive zero-knowledge proof
45	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 Technology Futurology Philosophy of artificial intelligence Computational neuroscience Future Metaphysics Artificial intelligence Cybernetics Human genome Entropy Moore's law The Singularity Is Near
46	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 Models of computation Intel Scientific modelling Dash Transition system Epistemology Philosophy of science Writing
47	A NEW FAMILY OF SYMPLECTIC FOURFOLDS OLIVIER DEBARRE This is joint work with Claire Voisin. 1. Irreducible symplectic varieties It follows from work of Beauville and Bogomolov that any smooth Add to Reading List Source URL: www.math.ens.fr Language: English - Date: 2009-12-04 07:35:13 Geometry Algebra Abstract algebra Algebraic geometry Differential geometry Birational geometry Hilbert scheme Moduli theory Scheme theory Hodge theory Kodaira dimension Hodge structure
48	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 Employment Human resource management Workplace Employee relations Employee benefits Employee engagement
49	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 Workplace Political economy Social status Socioeconomic status Socioeconomics Intelligence quotient Workfamily conflict Psychology Neuroscience Personal life
50	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 Hashing Error detection and correction Information retrieval Information science Cryptographic hash functions Cryptography Cryptocurrencies Merkle tree Blockchain Hash list Bitcoin Hash function

UPDATE