Method - PDFSEARCH.IO - Document Search Engine

Method
Results: 50491

#	Item
11	Producing Skolem Expansion Trees with the CERESω method: A Case Study Martin Riener, joint work with Alexander Leitsch Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Logic Mathematics Model theory Proof theory Quantification Predicate logic Thoralf Skolem Skolem normal form Soundness Quantifier Sequent calculus
12	Poster: A DDoS Peak Traffic Volume Prediction Method Based on Machine Learning Shuang Wei† , Yijing Ding† , Tongxin Li† , Shuaifu Dai‡ , Xinfeng Wu† and Xinhui Han†∗ † Peking University ‡ CNCERT/CC Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-27 07:43:28 Denial-of-service attacks Statistical inference Cyberwarfare Estimation theory Computing Denial-of-service attack Internet Relay Chat Domain name system Anycast Cross-validation Regression analysis Prediction
13	Herpetological Conservation and Biology 13(2):423–432. Submitted: 9 May 2018; Accepted: 3 July 2018; Published: 31 AugustA New, Noninvasive Method of Batch-Marking Amphibians Across Developmental Stages A. Z. An Add to Reading List Source URL: www.herpconbio.org Language: English - Date: 2018-09-10 23:36:38 Chemistry Organic chemistry Fluorone dyes Amines Calcein Lactones Zoology Amphibian Frog Larva Metamorphosis Fish physiology
14	Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-27 19:23:46 Temporal logic Algebraic structures Mathematics Mathematical logic Theoretical computer science Linear temporal logic Logic in computer science Computation tree logic MVS Boolean domain Boolean algebra Finite-state machine
15	On the Efficiency of Pollard’s Rho Method for Discrete Logarithms Shi Bai1 1 2 Add to Reading List Source URL: maths-people.anu.edu.au Language: English - Date: 2007-10-10 03:07:41 Abstract algebra Algebra Mathematics Group theory Computational hardness assumptions Logarithms Modular arithmetic Finite fields Discrete logarithm Randomized algorithm Pollard's rho algorithm Index calculus algorithm
16	MHDeS: Deduplicating Method Handle Graphs for Efficient Dynamic JVM Language Implementations Shijie Xu and David Bremner Daniel Heidinga Add to Reading List Source URL: xushijie.github.io Language: English - Date: 2018-09-18 22:05:07 High German languages Middle High German MHG Equivalence relation Just-in-time compilation
17	What is stable homology? The results A general method Add to Reading List Source URL: irma.math.unistra.fr Language: English - Date: 2014-09-15 04:38:28 Algebra Monoidal categories Category theory Mathematics Homology Symmetric monoidal category Monoid
18	CONTINUED FRACTIONS AND LATTICE SIEVING JENS FRANKE, THORSTEN KLEINJUNG Abstract. We present a new method of lattice sieving which we expect to be faster by a constant factor than the method of Pollard, and which has bee Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-19 07:30:03 Integer factorization algorithms Mathematics Computing Quadratic sieve Software engineering NC General number field sieve Pure Euclidean algorithm
19	COLLOQUIUM Shakhawat Hossain University of Winnipeg Shrinkage estimation method of exponentiated Weibull regression model Add to Reading List Source URL: www.uregina.ca Language: English - Date: 2018-03-28 19:06:03 Estimation theory Statistical inference Econometrics Estimator Shrinkage estimator Maximum likelihood estimation Regression analysis Mean squared error Efficient estimator
20	An Efficient Hardware Architecture for Factoring Integers with the Elliptic Curve Method Jens Franke, Thorsten Kleinjung - University of Bonn Christof Paar, Jan Pelzl - University of Bochum Christine Priplata, Colin Stah Add to Reading List Source URL: www.hyperelliptic.org Language: English - Date: 2005-03-13 11:15:51 Cryptography Integer factorization algorithms Lenstra elliptic-curve factorization Quadratic sieve Elliptic-curve cryptography Elliptic curve Integer factorization General number field sieve RSA Trial division