FOR-A - PDFSEARCH.IO - Document Search Engine

FOR-A
Results: 646152

#	Item
321	Package ‘textfeatures’ March 6, 2018 Type Package Title Extracts Features from Text VersionDescription A tool for extracting some generic features (e.g., number of Add to Reading List Source URL: cran.r-project.org Language: English - Date: 2018-03-06 13:48:57 Application software Free statistical software Literate programming Mathematics Mathematical software Knitr R Vector Euclidean vector
322	FUNCTOR CATEGORIES AND STABLE HOMOLOGY VIA FUNCTOR HOMOLOGY CHRISTINE VESPA Abstract. This text is a preliminary version of material used for a course at the University of Tokyo, January 18-22, 2016. These lectures conce Add to Reading List Source URL: irma.math.unistra.fr Language: English - Date: 2016-01-15 11:21:52 Algebra Abstract algebra Mathematics Homological algebra Functors Category theory Additive categories Equivalence Exact functor Natural transformation Adjoint functors Hochschild homology
323	THE OS SCHEDULER: A PERFORMANCE-CRITICAL COMPONENT IN LINUX CLUSTER ENVIRONMENTS KEYNOTE FOR BPOE-9 @ ASPLOS2018 THE NINTH WORKSHOP ON BIG DATA BENCHMARKS, Add to Reading List Source URL: prof.ict.ac.cn Language: English - Date: 2018-04-01 04:31:32 Concurrent computing System software Computing Scheduling Free software Parallel computing Planning Completely Fair Scheduler Thread Windows Task Scheduler Multi-core processor Apache Hadoop
324	Noise-contrastive estimation: A new estimation principle for unnormalized statistical models Michael Gutmann Dept of Computer Science and HIIT, University of Helsinki Add to Reading List Source URL: proceedings.mlr.press Language: English - Date: 2018-07-14 18:55:46 Estimation theory Econometrics Statistical inference Estimator Probability distribution fitting M-estimators Maximum likelihood estimation Fisher information Gamma distribution Maximum spacing estimation
325	Splitting on Demand in SAT Modulo Theories Clark Barrett? , Robert Nieuwenhuis?? , Albert Oliveras??, and Cesare Tinelli? ? ? Abstract. Lazy algorithms for Satisfiability Modulo Theories (SMT) combine a generic DPLL-base Add to Reading List Source URL: www.lsi.upc.edu Language: English - Date: 2006-07-31 08:38:18 Theoretical computer science Mathematical logic Mathematics Constraint programming Automated theorem proving Logic in computer science Formal methods Propositional calculus Satisfiability modulo theories DPLL algorithm Unit propagation Solver
326	Professional Indemnity Insurance for financial service providers offered by Liberty Mutual Insurance Europe Ltd. For financial service providers a Professional Indemnity Insurance is becoming more and more important, par Add to Reading List Source URL: www.vqf.ch Language: English - Date: 2016-03-10 16:06:44 Types of insurance Insurance Economy Finance Mutual insurance Professional liability insurance
327	Ray GunsPart I -- History ) by Robert A. Nelson Before you can purchase or use a Ray Gun, you must qualify for Federal Exemption from the BATF as follows: 1) Read this Confidential Report, and watch the Safety and Add to Reading List Source URL: www.rexresearch.com Language: English - Date: 2018-06-18 02:28:53 Optics Fringe physics Physics Death ray Harry Grindell Matthews The Death Ray Raygun Ray Laser Collimated beam
328	Robust fault-recovery in Software-Defined Networks IBSDN: IGP as a Backup in SDN Master’s thesis presented in partial fulfillment of the requirements for the degree of Add to Reading List Source URL: inl.info.ucl.ac.be Language: English - Date: 2018-05-31 05:55:27 Network architecture Computing Computer architecture Information and communications technology Emerging technologies Internet architecture Configuration management Software-defined networking Network protocols OpenFlow Open vSwitch Computer network
329	Integrating zChaff with Isabelle/HOL A Fast Decision Procedure for Propositional Logic Tjark Weber Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2005-09-13 07:36:04 Proof assistants Logic in computer science Theoretical computer science HOL Logic programming Isabelle Constructible universe

UPDATE