Chen - PDFSEARCH.IO - Document Search Engine

Chen
Results: 5791

#	Item
51	Fast Exhaustive Search for Polynomial Systems in F2 Charles Bouillaguet1, Hsieh-Chung Chen2 , Chen-Mou Cheng3 , Tung Chou3 , Ruben Niederhagen3,4, Adi Shamir1,5, and Bo-Yin Yang2 1 2 Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:41 Mathematics Algebra Abstract algebra Computer algebra Algebraic geometry Polynomials Equations Grbner basis Equation solving System of polynomial equations Factorization Resultant
52	Informational Substitutes Yiling Chen Bo Waggoner Harvard Add to Reading List Source URL: www.bowaggoner.com Language: English - Date: 2017-07-12 06:16:56 Submodular set function Information theory
53	On Stochastic Games with Multiple Objectives Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, Aistis Simaitis, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. We stud Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-06-19 11:02:11 Mathematical analysis Measure theory Mathematics Probability and statistics Determinacy Stochastic game Strategy Markov chain Stochastic process Support Mathematical optimization Statistical model
54	05 - Chen & Chendvi Add to Reading List Source URL: experimentaleconreplications.com Language: English - Date: 2016-04-04 16:18:25 Group processes Identity Metaphysics Discrimination Authoritarianism Dichotomies Ingroups and outgroups Outgroup Sociology Behavioural sciences Experiment
55	Big data and AI Proxy Benchmarks for Simulation Chen Zheng http://prof.ict.ac.cn ASPLOS 2018, Williamsburg, VA, USA Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-04-01 06:23:46 Modeling and simulation Simulation Computer performance Benchmark Big data Computing Data Information
56	1 Postquantum SSL/TLS for embedded systems Yun-An Chang† , Ming-Shing Chen†‡ , Jong-shian Wu† , Bo-Yin Yang‡ , of Electrical Engineering, National Taiwan University, Taiwan ‡ Institute of Information Science Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2014-12-08 15:44:41 Cryptography Public-key cryptography Transport Layer Security Cryptographic software Secure communication Cryptographic protocols Mbed TLS Cipher suite OpenSSL Forward secrecy Post-quantum cryptography HTTPS
57	Could SFLASH be repaired ? Jintai Ding1 , Bo-Yin Yang2,4 , Chen-Mou Cheng3 , Owen Chen4 , and Vivien Dubois5 1 Dept. of Mathematics and Computer Sciences, University of Cincinnati 2 Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:34 Algebra Mathematics Polynomials Multivariate cryptography Multivariable calculus Linear algebra Matrices Function of several real variables Symmetry in mathematics Symmetric polynomial Trace Antisymmetric
58	Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2013-10-04 14:48:40 Mathematics Temporal logic Mathematical analysis Theoretical computer science Linear temporal logic Mathematical logic Formal languages Computation tree logic Constructible universe Markov decision process Well-formed formula IP
59	dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to Add to Reading List Source URL: scungao.github.io Language: English - Date: 2018-09-27 16:37:21 Theoretical computer science Mathematics Dynamical systems Systems science Control theory Hybrid system Systems theory Satisfiability modulo theories
60	05 - Chen & Chendvi Add to Reading List Source URL: experimentaleconreplications.com Language: English - Date: 2016-04-04 16:18:25 Group processes Cognitive biases Metaphysics Identity Sociology Discrimination Critical thinking Design of experiments Ingroups and outgroups Outgroup Experiment In-group favoritism

UPDATE