CS - PDFSEARCH.IO - Document Search Engine

CS
Results: 61295

#	Item
261	RebalancCov(FCLinx).qxd:52 AM Page 2 fa20547 Products:CS-Consulting Services:2-broqe:CS ArtRebalancingWP(Ret): smithbarney.com THE ART OF REBALANCING Add to Reading List Source URL: www.retailinvestor.org Language: English - Date: 2010-05-29 13:17:40 Economy Finance Money Investment Rebalancing investments Asset allocation Asset classes Beta Diversification Portfolio Financial risk William J. Bernstein
262	FRANGOUDIS LAYOUT:11 PM Add to Reading List Source URL: www.cs.columbia.edu Language: English - Date: 2016-09-29 11:09:39 Wireless networking Wireless Information and communications technology Computing Local area networks Athens Wireless Metropolitan Network Wireless LAN Wireless mesh network Wireless community network Mesh networking Wi-Fi Wireless access point
263	arXiv:1805.03418v1 [cs.SC] 9 MayComputing an LLL-reduced basis of the orthogonal lattice Jingwei Chen Chongqing Key Lab of Automated Reasoning & Cognition, Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-05-09 20:20:33 Cryptography Algebra Mathematics Linear algebra Computational number theory Lattice points Lattice-based cryptography Post-quantum cryptography LenstraLenstraLovsz lattice basis reduction algorithm Lattice reduction Lattice GramSchmidt process
264	COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 1) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-10 11:45:28 Circuit complexity Complexity classes Theory of computation Theoretical computer science Computer science NC Circuit Computer IP NP Multiplication algorithm Matrix multiplication algorithm
265	COSC 544 Probabilistic Proof SystemsThe GKR Protocol and Its Efficient Implementation Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-06 11:09:52 Computational complexity theory Mathematics Complexity classes IP Circuit complexity True quantified Boolean formula NP SchwartzZippel lemma NC
266	Nash Social Welfare Approximation for Strategic Agents∗ Simina Brˆanzei Hebrew U. of Jerusalem Vasilis Gkatzelis Add to Reading List Source URL: www.cs.drexel.edu Language: English - Date: 2016-06-17 20:21:23 Microeconomics Game theory Economics Market Auction theory Mechanism design General equilibrium theory Competitive equilibrium Mathematical economics Pareto efficiency Price of anarchy Fisher market
267	Calculating Quantitative Integrity and Security for Imperative Programs Tom Chothia1 , Chris Novakovic1 , and Rajiv Ranjan Singh2 1 2 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2017-06-07 20:45:26 Information theory Information Information flow Mutual information Conditional entropy Conditional mutual information Quicken Interchange Format Metaphysics Knowledge
268	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces ´ Erika Abrah´ am1 , John Abbott10 , Bernd Becker2 , Anna M. Bigatti3 , Martin Brain9 , Alessandro Cimatti4 , James H. Davenport5 , Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2017-07-30 15:11:06 Theoretical computer science Logic in computer science Computational complexity theory Formal methods Mathematics Electronic design automation NP-complete problems Constraint programming Satisfiability modulo theories Boolean satisfiability problem Solver Model checking
269	Opportunities and Research Challenges of Hybrid Software Defined Networks Stefano Vissicchio⇤ Laurent Vanbever Princeton University Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2016-11-17 12:53:02 Network architecture Emerging technologies Computing Computer architecture Information and communications technology Configuration management Software-defined networking OpenFlow Network function virtualization Routing Big Switch Networks Computer network
270	Motivation FO-LTLf Slicing Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2016-07-20 12:52:41 Mathematical logic Logic Quantification Complexity classes Finite model theory Mathematics Predicate logic Philosophical logic Quantifier FO Universal quantification Well-formed formula

UPDATE