Method - PDFSEARCH.IO - Document Search Engine

Method
Results: 50491

#	Item
21	Solving Nonlinear Integer Arithmetic with MCSAT? Dejan Jovanovi´c SRI International Abstract. We present a new method for solving nonlinear integer arithmetic constraints. The method relies on the MCSat approach to sol Add to Reading List Source URL: csl.sri.com Language: English - Date: 2016-11-28 15:21:09 Theoretical computer science Mathematical logic Mathematics Logic in computer science Constraint programming Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Satisfiability modulo theories Boolean algebra Local consistency
22	Mining Method Handle Graphs for Efficient Dynamic JVM Languages Shijie Xu, David Bremner Daniel Heidinga Add to Reading List Source URL: xushijie.github.io Language: English - Date: 2018-09-18 22:05:07 Computing Object-oriented programming languages Scripting languages Programming languages Java platform Java specification requests Da Vinci Machine Java bytecode JRuby Java virtual machine Java class file Scala
23	Fuse Method Handles for Dynamic JVM Languages Shijie Xu David Bremner Daniel Heidinga Add to Reading List Source URL: xushijie.github.io Language: English - Date: 2018-09-18 22:05:07 Computing Java virtual machine Object-oriented programming languages Programming languages Scripting languages Computing platforms Da Vinci Machine Just-in-time compilation Java bytecode Bytecode JRuby Java
24	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–484) CHARACTERISTIC SUBSETS AND THE POLYNOMIAL METHOD Miguel N. Walsh Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:42 Algebra Mathematics Abstract algebra Polynomials Finite field Algebraic geometry Algebraic curve Irreducible polynomial Projective variety Field Permutation polynomial SchwartzZippel lemma
25	HLBPR:A Hybrid Local Bayesian Personal Ranking Method Xu Chen1 13 Pengfei Wang2 Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:28:57 Collective intelligence Information science Recommender systems Collaboration Information retrieval Collaborative filtering
26	An Efficient Hardware Architecture for Factoring Integers with the Elliptic Curve Method Jens Franke1 , Thorsten Kleinjung1 , Christof Paar2 , Jan Pelzl2 , 4 ˇ Christine Priplata3 , Martin Simka Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-13 11:15:55 Integer factorization algorithms Mathematics Abstract algebra Algebra Lenstra elliptic-curve factorization Quadratic sieve Montgomery modular multiplication Elliptic curve Exceptional case-marking Division algorithm General number field sieve
27	PDF Document Add to Reading List Source URL: www.geosci-instrum-method-data-syst-discuss.net - Date: 2018-02-06 12:37:07
28	PDF Document Add to Reading List Source URL: www.geosci-instrum-method-data-syst-discuss.net - Date: 2018-02-06 01:21:13
29	PDF Document Add to Reading List Source URL: method.nchtdm.by - Date: 2015-11-18 08:57:15
30	PDF Document Add to Reading List Source URL: www.geosci-instrum-method-data-syst-discuss.net - Date: 2017-12-29 13:55:09