We - PDFSEARCH.IO - Document Search Engine

We
Results: 198498

#	Item
1	Outline SMT: Where Do We Go From Here? Clark Barrett, New York University SMT Workshop, July 17, 2014 Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-21 06:41:07 Theoretical computer science Mathematics Computational complexity theory Logic in computer science NP-complete problems Electronic design automation Formal methods Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Automated reasoning
2	Margin Handbook Presented by Wealthfront Brokerage Corporation Portfolio Line of Credit is a margin lending product offered exclusively to clients of Wealthfront, Inc. by Wealthfront Brokerage Corporation. We want to mak Add to Reading List Source URL: www.wealthfront.com Language: English - Date: 2018-10-25 18:55:50 Economy Finance Money Financial markets United States securities law Stock market Margin Security Securities Investor Protection Corporation Short Brokerage firm Financial Industry Regulatory Authority
3	Lipschitz Robustness of Finite-state Transducers Thomas A. Henzinger, Jan Otop, Roopsha Samanta IST Austria Abstract We investigate the problem of checking if a finite-state transducer is robust to uncertainty in Add to Reading List Source URL: www.cs.purdue.edu Language: English - Date: 2016-07-15 23:00:36 Finite automata Abstract algebra Algebra Finite-state transducer Mathematics Theoretical computer science Finite-state machine Semigroup action Kazhdan's property Tree transducer
4	A Plague of Viruses: Biological, Computer and Marketing12 Jeffrey Boase and Barry Wellman Abstract We analyze the transfer of biological, computer and marketing viruses. Despite differences between these three types of v Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:53 Virology Microbiology Computer viruses Biology Security Virus Influenza HIV Antivirus software Viral marketing Comparison of computer viruses Viral neuronal tracing
5	SKELETONS AND MODULI OF STOKES TORSORS by Jean-Baptiste Teyssier Abstract. — We prove an analogue for Stokes torsors of Deligne’s skeleton conjecture and deduce from it the representability of the functor of relative Add to Reading List Source URL: jbteyssier.com Language: English - Date: 2017-01-10 07:03:57 Algebra Abstract algebra Mathematics Cohomology theories Differential forms Algebraic geometry Algebraic topology Sheaf Divisor De Rham cohomology Ring Proj construction
6	Poster: Browser’s ”search form” issues and countermeasures Yuji Suga Internet Initiative Japan Inc., Iidabashi Grand Bloom, Fujimi, Chiyoda-ku, , Japan Abstract—From 2014, we are con Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-15 11:54:40 Cryptography Transport Layer Security Secure communication E-commerce Cryptographic protocols Internet security HTTPS POODLE Cipher suite RC4 Public key certificate Certificate authority
7	WELCOME MESSAGE Following the success of the inaugural CoinGeek conference in Hong Kong, we are proud to announce that our conference will be coming to London this November and will be held at the stunning Mermaid Theat Add to Reading List Source URL: coingeekweek.com Language: English - Date: 2018-10-04 10:10:35 Bitcoin Cryptocurrencies Sponsor Computing Hong Kong Airlines Blockchain Information Data
8	Guidelines for Special Session Proposers We want to make IEEE I2MTC 2019 an attractive venue, particularly for special sessions, to disseminate state-of-the-art knowledge on a niche topic related to the theme of the conf Add to Reading List Source URL: imtc.ieee-ims.org Language: English - Date: 2018-09-07 09:45:42 Xplore Academic publishing Institute of Electrical and Electronics Engineers Academic conferences
9	AetherWorks 501 Fifth Avenue, New York, NYSENIOR SOFTWARE ENGINEER AETHERWORKS AetherWorks is a Software Research & Venture Development firm. We have been located on Bryant Park for the last 7 years where we have Add to Reading List Source URL: www.aetherworks.com Language: English - Date: 2018-06-25 16:20:00 Computing Engineering Software engineering Software testing Information and communications technology Product development Software development Software engineer Test automation Software quality

UPDATE