Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
171	STATE OF COLORADO Department of State Wayne W. Williams Secretary of State Add to Reading List Source URL: www.sos.state.co.us Language: English - Date: 2018-10-04 17:29:36 Notary Law Common law Comparative law Notary public Act Email
172	ARCHITECTURES FOR TRANSACTIONAL MEMORY A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: www.austenmcdonald.com Language: English - Date: 2016-01-26 12:43:51 Concurrency control Transaction processing Computing Data management System software Transactional memory Benchmark Lock Parallel computing Linearizability Consistency model
173	PRISM 4.0: Verification of Probabilistic Real-time Systems Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 Department of Computer Science, University of Oxford, Oxford, OX1 3QD, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2011-06-07 19:21:25 Model checkers Application software PRISM model checker Systems science Mathematics Model checking Uppaal Model Checker Probabilistic automaton PAT Hybrid system Markov chain
174	Tradition SEF, Inc. Scot J. Halvorsen Senior Regulatory Counsel and Secretary Legal Department Add to Reading List Source URL: www.traditionsef.com Language: English - Date: 2018-06-19 16:24:34 Swap Execution Facility Commodity Futures Trading Commission Freedom of Information Act CFTC Government Law Administrative law
175	Compositional Controller Synthesis for Stochastic Games Nicolas Basset, Marta Kwiatkowska, and Clemens Wiltsche Department of Computer Science, University of Oxford, United Kingdom Abstract. Design of autonomous systems Add to Reading List Source URL: www.prismmodelchecker.org Language: English - Date: 2015-10-18 19:27:58 Mathematical analysis Measure theory Ergodic theory Lie algebras Stochastic processes
176	Symbolic Music Genre Transfer with CycleGAN Gino Brunner, Yuyi Wang, Roger Wattenhofer and Sumu Zhao* Department of Information Technology and Electrical Engineering ETH Z¨urich Switzerland brunnegi,yuwang,wattenhofer,s Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2018-09-17 07:11:23 Music Computer music Learning Artificial intelligence Unsupervised learning Machine learning Cognitive science Generative adversarial network Generative model Artificial neural network Synthesizer Algorithmic composition
177	Comprehensive Management Plan for Automated Vehicle Initiatives U.S. Department of Transportation July 2018 Add to Reading List Source URL: www.transportation.gov Language: English - Date: 2018-08-13 08:55:25 Transport Land transport Road safety Car safety Internet of things Vehicle telematics Automation Automated driving system Federal Motor Carrier Safety Administration Vehicular automation Vehicular ad hoc network Automobile safety
178	Federal Department of Finance and Swiss National Bank sign MoU on selection of Bank Council members Federal Department of Finance and Swiss National Bank sign MoU on selection of Bank Council members Add to Reading List Source URL: www.snb.ch Language: English Swiss National Bank Philipp Hildebrand Federal Reserve SNB Economy of Switzerland
179	Vector Lane Threading Suzanne Rivoire, Rebecca Schultz, Tomofumi Okuda†, Christos Kozyrakis Electrical Engineering Department Stanford University {rivoire,rschultz,tokuda,kozyraki}@stanford.edu 8 Add to Reading List Source URL: rivoire.cs.sonoma.edu Language: English - Date: 2017-05-29 18:44:50 Computer architecture Concurrent computing Computing Parallel computing Central processing unit Flynn's taxonomy Microprocessors Superscalar processor SIMD Vector processor Scalar processor Automatic vectorization
180	SysPal: System-guided Pattern Locks for Android Geumhwan Cho1 , Jun Ho Huh2 , Junsung Cho1 , Seongyeol Oh1 , Youngbae Song1 , Hyoungshick Kim1 1 Department of Computer Science and Engineering, Sungkyunkwan University, So Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 16:02:19 Computing Computer architecture System software Recall Android Pattern Short-term memory Student's t-test