Work-in - PDFSEARCH.IO - Document Search Engine

Work-in
Results: 60684

#	Item
1	Language and Proofs for Higher-Order SMT (Work in Progress)∗ Haniel Barbosa Jasmin Christian Blanchette Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Theoretical computer science Mathematics Algebra Formal methods Logic in computer science Computability theory Models of computation Lambda calculus Satisfiability modulo theories -ring De Bruijn index
2	The German text is solely decisive. Tripartite declaration on the future of work and social partnership in Switzerland in the digital business age We, as the tripartite representatives of the State, and employer and tr Add to Reading List Source URL: www.newsd.admin.ch Language: English - Date: 2018-10-26 04:17:02 Labour relations Economy Business Employment International Labour Organization United Nations Development Group Tripartism Social dialogue Decent work Guy Ryder Social partners Labour law
3	Finding Errors in Multithreaded GUI Applications Sai Zhang University of Washington Joint work with: Hao Lu, Michael D. Ernst Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:35 Computing Computer programming Software engineering Java Widget toolkits Cross-platform software Concurrent computing Swing Thread Debugging D Event dispatching thread
4	ZKProof Standards Security 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 Cryptography Computational complexity theory Complexity classes Cryptographic protocols Non-interactive zero-knowledge proof Interactive proof system Proof of knowledge Zero-knowledge proof NP Zero knowledge IP Soundness
5	Stochastic arithmetic in multiprecision Stef Graillat Joint work with Fabienne Jézéquel and Yuxiang Zhu LIP6/PEQUAN - Université Pierre et Marie Curie (Paris 6) - CNRS NSV3, Third International Workshop on Numerical Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-07-21 10:31:13 Computer arithmetic Mathematics Arithmetic Theoretical computer science Rounding Division algorithm Expected value
6	Efficient Interpolation for the Theory of Arrays (work in progress) Jochen Hoenicke and Tanja Schindler∗ Department of Computer Science, University of Freiburg Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Software engineering Computer programming Computing Interpolation Video Video signal Craig interpolation Pure Foreach loop
7	Chicken Catcher At Rossdown Farms, you will become part of our family. You will thrive in our team environment who collaboratively works hard to achieve the company’s goals; while maintaining work/life balance. Rossdow Add to Reading List Source URL: www.rossdown.com Language: English - Date: 2018-08-16 15:04:25 Poultry Chicken Subspecies Animal welfare
8	On the no´s and must´s in system design Werner Damm joint work with Bernd Finkbeiner, Universität des Saarlandes, and Astrid Rakow, Carl von Ossietzky Universität Oldenburg Add to Reading List Source URL: www.avacs.org Language: English - Date: 2015-09-28 03:05:32 Modeling and simulation Cognition Systems engineering Experimental psychology Human behavior Motivation Scientific modelling Economic model Business process management ACT-R Conceptual model System
9	Instructions This is a test of your ability to organise and prioritise work. You will be presented with information in timetables, charts and tables and will need to respond to a series of questions based on this informa Add to Reading List Source URL: europa.eu Language: English - Date: 2016-12-08 05:13:28 Time Measurement Kastelli Heraklion Traditional Chinese timekeeping
10	LONG-TERM HISTORY AND EPHEMERAL CONFIGURATIONS CATHERINE GOLDSTEIN Abstract. Mathematical concepts and results have often been given a long history, stretching far back in time. Yet recent work in the history of mathemat Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-28 17:09:47 Mathematics Algebra Abstract algebra Elementary mathematics Algebraic number theory Quadratic forms Real algebraic geometry Number theory Binary quadratic form Ideal number Gaussian integer Complex number

UPDATE