Alexander - PDFSEARCH.IO - Document Search Engine

Alexander
Results: 15570

#	Item
1	Security Champions 2.0 OWASP Bucharest AppSec 2017 Alexander Antukh Whoami • Head of Appsec Add to Reading List Source URL: www.owasp.org Language: English - Date: 2017-10-16 15:02:20 Computer network security Computing Software development Security engineering OWASP DevOps Computer security
2	MATHEMATICS OF COMPUTATION Volume 00, Number 0, Pages 000–000 SXXBETTER POLYNOMIALS FOR GNFS SHI BAI, CYRIL BOUVIER, ALEXANDER KRUPPA, AND PAUL ZIMMERMANN Add to Reading List Source URL: cosweb1.fau.edu Language: English - Date: 2018-10-24 18:51:52 Algebra Mathematics Polynomials Computer algebra Polynomial General number field sieve Resultant Irreducible polynomial Factorization Polynomial greatest common divisor Degree of a polynomial
3	Survey of Approaches for Handling Static Analysis Alarms Tukaram Muske Alexander Serebrenik Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2016-08-12 05:00:49 Alarms Warning systems Change detection False alarm Alarm device Prevention Abstract interpretation Euthenics Change Safety
4	Advanced Topics in Communication Networks Programming Network Data Planes Alexander Dietmüller nsg.ee.ethz.ch Add to Reading List Source URL: adv-net.ethz.ch Language: English - Date: 2018-10-11 06:03:09 Hashing Information retrieval Information science Computer programming Bloom filter Search algorithms Filter theory Streaming algorithm Hash function Filter Hello
5	Quantifying information and uncertainty Alexander Frankel and Emir Kamenica∗ University of Chicago JuneAbstract Add to Reading List Source URL: faculty.chicagobooth.edu Language: English - Date: 2018-06-26 11:37:45 Mathematical analysis Thermodynamics Mathematics Entropy Information theory Statistical randomness KullbackLeibler divergence Omega Analysis Info-gap decision theory Sobolev spaces for planar domains
6	System Feature Description: Importing Refutations into the GAPT Framework PxTP Workshop, Manchester Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller and Bruno Woltzenlogel-Pal Add to Reading List Source URL: www.logic.at Language: English - Date: 2012-07-25 07:17:52 Mathematical logic Metalogic Logic Proof theory X0 First-order logic Leitsch Sequent calculus
7	School District Grants AwardedSubdivision ALEXANDER PSD #2 ANAMOOSE PSD #14 BEACH PSD #3 Add to Reading List Source URL: land.nd.gov Language: German - Date: 2017-09-08 11:44:49
8	Proc. Int. Cong. of Math. – 2018 Rio de Janeiro, Vol–2378) QUANTITATIVE PROPAGATION OF SMALLNESS FOR SOLUTIONS OF ELLIPTIC EQUATIONS Alexander Logunov and Eugenia Malinnikova Add to Reading List Source URL: eta.impa.br Language: English - Date: 2018-07-25 13:17:43 Mathematical analysis Mathematics Partial differential equations Fourier analysis Differential operators Dimension theory Metric geometry Harmonic function Elliptic operator Eigenfunction Elliptic curve Hausdorff measure
9	Defining Recursive Functions in Isabelle/HOL Alexander Krauss Abstract This tutorial describes the use of the function package, which provides general recursive function definitions for Isabelle/HOL. We start with very Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2018-08-15 07:18:36 Computer programming Recursion Mathematical logic Software engineering Computability theory Theory of computation Theoretical computer science -recursive function Recursive definition Well-founded relation Functional programming Pattern matching
10	Selective Exploration of Commercial Documents in Web Search Alexander Shishkin, Ekaterina Gladkikh, Aleksandr Vorobev Yandex 16 Leo Tolstoy St., Moscow, Russia Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:22:08 Information science Information retrieval Information retrieval evaluation Machine learning Natural language processing Discounted cumulative gain Ranking Algorithm Web search engine Multi-armed bandit Relevance feedback