Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
11	Skolemising Blank Nodes while Preserving Isomorphism Aidan Hogan ∗ Department of Computer Science Add to Reading List Source URL: aidanhogan.com Language: English - Date: 2015-03-23 10:08:58 Graph theory Mathematics Discrete mathematics Morphisms Semantic Web Knowledge representation Graph operations Blank node Cograph Graph homomorphism Graph coloring Resource Description Framework
12	3 May 1998 ITERATED RANDOM FUNCTIONS Persi Diaconis Department of Mathematics & ORIE Cornell University Add to Reading List Source URL: www.stat.berkeley.edu Language: English - Date: 2009-02-19 12:18:31 Mathematical analysis Probability theory Statistical theory Asymptotic theory Graph theory Markov chain Random variable Conditional probability distribution Stochastic processes Harris chain Law of large numbers
13	Programming with “Big Code”: Lessons, Techniques and Applications Pavol Bielik1 , Veselin Raychev1 , and Martin Vechev1 1 Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:56:02 Probability and statistics Probability theory Artificial intelligence Machine learning Computational statistics Graphical models Computational linguistics Natural language processing Conditional random field Probabilistic programming language Inference Support vector machine
14	Improving Local Search with Open Geographic Data Chuankai An, Dan Rockmore Department of Computer Science, Dartmouth College, Hanover, NH 03755, USA {chuankai, rockmore}@cs.dartmouth.edu ABSTRACT Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 00:47:38 Software Computing Digital media Internet search engines Geosocial networking Geographic information systems Recommender system Yelp Local search Geocoding Personal Inc. Database
15	Spruce Land Services Standard Fees—New York State Title Premiums: Rates of title insurance premiums are promulgated by the New York State Department of Financial Services. Applicants receive all statutory discounts and Add to Reading List Source URL: spruce.co Language: English - Date: 2018-10-25 00:12:57 Economy Money Finance Insurance in the United States Title insurance Fee Insurance Refinancing
16	Federal Department of Economic Affairs, Education and Research EAER Federal Office for Agriculture FOAG Import and Export Unit English is not an official language of the Swiss Confederation. Add to Reading List Source URL: www.blw.admin.ch Language: English International trade Economy Customs duties International relations Import Quotas Civil aviation Customs declaration Tariff Customs duties in the United States Export Customs
17	DEPARTMENT OF HOMELAND SECURITY AWARDS OCTO CONSULTING GROUP $300M CEILING SERVICES ENABLING AGILE DELIVERY (SEAD) BPA CONTRACT Octo will deliver Agile and DevOps practices through embedded experts to expedite the agency Add to Reading List Source URL: www.octoconsulting.com Language: English - Date: 2018-08-27 12:37:57 Software development Software project management Agile software development United States Department of Homeland Security Capability Maturity Model Integration Agile Scaled agile framework Software development process
18	For more information, visit: www.caci.com/Health Health CACI supports the Department of Defense and civilian health agency Add to Reading List Source URL: www.caci.com Language: English - Date: 2018-06-28 12:52:54 Abu Ghraib torture and prisoner abuse CACI Health informatics Defense Health Agency Health data
19	AerieTM 16 Clutch Teradactyl® provides clients with Enterprise Department Backup solutions in a simple 3U rack mounted conﬁguration. Enjoy the same capabilities as larger central IT services and maintain control of yo Add to Reading List Source URL: www.teradactyl.com Language: English Backup software System software Utility software Computing Backup Incremental backup NetApp Veeam Backup & Replication Backup Exec
20	Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2012-05-10 09:21:59 Mathematics Mathematical analysis Temporal logic Computation tree logic Logic in computer science Distribution Symbol Constructible universe Linear temporal logic Craig interpolation