DCS - PDFSEARCH.IO - Document Search Engine

DCS
Results: 1966

#	Item
181	AIMS Born-Digital Collections: An Inter-Institutional Model for Stewardship January 2012 University of Hull Stanford University Add to Reading List Source URL: dcs.library.virginia.edu Language: English - Date: 2015-02-16 14:11:41 Archival science Museology Library science Digital libraries Information science Digital preservation Records management Free software Archivist Archive Preservation Open Archival Information System
182	The Computer Journal Advance Access published March 6, 2008 # The AuthorPublished by Oxford University Press on behalf of The British Computer Society. All rights reserved. For Permissions, please email: journals. Add to Reading List Source URL: terrierteam.dcs.gla.ac.uk Language: English - Date: 2010-03-05 12:05:33 Information science Information retrieval Information retrieval evaluation Natural language processing Ranking Document retrieval Relevance Electronic voting Evaluation measures Search engine indexing Learning to rank
183	Drift Analysis A Tool for Analysing Randomised Search Heuristics1 Per Kristian Lehre ASAP Research Group School of Computer Science Add to Reading List Source URL: staffwww.dcs.shef.ac.uk Language: English - Date: 2014-04-25 12:10:39 Probability theory Mathematical analysis Probability Mathematics Probability axioms Event Sigma-algebra Stochastic process Martingale Markov chain Probability space
184	AIMS: An Inter-Institutional Model for Stewardship Appendix C: Contributor Biographies Nicole Bouché Director of the Albert and Shirley Small Special Collections Library, at the University of Virginia Library Add to Reading List Source URL: dcs.library.virginia.edu Language: English - Date: 2015-02-16 14:11:39 Archival science Museology Information science Library science Digital preservation Archive Digital library Archivist Preservation Special collections Archival appraisal
185	A New Approach to Quantum Logic K.Engesser D.M. Gabbay dov.gabbay @kcl.ac.uk D. Lehmann 2 Add to Reading List Source URL: www.dcs.kcl.ac.uk Language: English - Date: 2006-10-09 09:59:03 Quantum mechanics Physics Mathematics Academia Quantum logic Mathematical formulation of quantum mechanics Measurement in quantum mechanics John von Neumann Operator algebra David Hilbert Quantum entanglement Hilbert space
186	Microsoft Worddoc Add to Reading List Source URL: terrierteam.dcs.gla.ac.uk Language: English - Date: 2010-03-05 12:05:33 Information retrieval Information science Software Database Search engine indexing Query throughput Database management systems NoSQL Vector space model
187	A Analyzing Runtime and Size Complexity of Integer Programs Marc Brockschmidt, Microsoft Research Fabian Emmes, RWTH Aachen University Stephan Falke, Karlsruhe Institute of Technology Carsten Fuhs, Birkbeck, University o Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2016-08-06 17:53:41 Nuclear magnetic resonance Relaxation
188	Deutschland_05all_decks_X.eps Add to Reading List Source URL: www.dcs-amethyst.de Language: German - Date: 2016-06-28 03:51:21
189	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Proving Termination by Dependency Pairs and Inductive Theorem Proving Carsten Fuhs · J¨ Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2011-06-16 09:07:59 Theoretical computer science Logic Mathematical logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Nqthm Rewrite order Symbol
190	Alternating Runtime and Size Complexity Analysis of Integer Programs? M. Brockschmidt1 , F. Emmes2 , S. Falke3 , C. Fuhs4 , and J. Giesl2 1 3 Add to Reading List Source URL: www.dcs.bbk.ac.uk Language: English - Date: 2014-01-19 15:07:33

UPDATE