Department - PDFSEARCH.IO - Document Search Engine

Department
Results: 775307

#	Item
61	Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign. Add to Reading List Source URL: publish.illinois.edu Language: English - Date: 2016-01-22 19:21:52 Circuit complexity NC Mathematics Theoretical computer science Numerical software Lemmas Numerical linear algebra
62	Stochastic Analysis of Chemical Reaction Networks Using Linear Noise ApproximationI Luca Cardellia,b,∗, Marta Kwiatkowskaa,∗, Luca Laurentia,∗ a Department of Computer Science, University of Oxford Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-11-02 05:37:42 Mathematical analysis Statistical randomness Metaphysics Stochastic processes Generalized functions Stochastic simulation Distribution Dynamical system Markov chain
63	SAN BENITO COUNTY DEPARTMENT OF ELECTIONS Candidate Handbook STATEWIDE GENERAL ELECTION Add to Reading List Source URL: sbcvote.us Language: English - Date: 2018-07-17 23:45:41 Elections Write-in candidate Elections in California Political campaign Government Ballot access Politics Democracy Elections in the United States
64	Virginia Department of Education Superintendent’s Regions Region 1 – Central Virginia Charles City County Add to Reading List Source URL: doe.virginia.gov Language: English - Date: 2018-05-07 14:42:56 Virginia Democratic primary United States presidential election in Virginia
65	Poster: Design of Backdoor on Android Devices Junsung Cho, Geumhwan Cho, Sangwon Hyun and Hyoungshick Kim Department of Computer Science and Engineering, Sungkyunkwan University, Republic of Korea Email: {js.cho, geumhwa Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-13 08:11:56 Computing Cyberwarfare Computer security Cryptography Cybercrime Computer network security Backdoor Rootkits Google Play Android Firebase Password
66	An alternative approach to Freiman’s theorem in p-groups Matthew C. H. Tointon∗ Department of Pure Mathematics and Mathematical Statistics, Centre for Mathematical Sciences, University of Cambridge, Wilberforce Road, Add to Reading List Source URL: tointon.neocities.org Language: English - Date: 2017-05-18 16:55:58 Lie groups Mathematics Algebra Abstract algebra Nilpotent group Approximate group Lie algebra Exponential map BakerCampbellHausdorff formula Quotient group
67	Curriculum Vitae Kerri Milita Assistant Professor, Department of Politics & Government Illinois State University. Normal, ILwww.kerrimilita.com Add to Reading List Source URL: www.kerrimilita.com Language: English - Date: 2018-10-01 15:02:09 Political science Illinois United States
68	Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-02-20 06:08:48 Dynamic programming Markov processes Stochastic control Markov decision process Approximation algorithms Probability Computational complexity theory
69	Thursday, October 5, 2000 Part VI Department of the Add to Reading List Source URL: otexa.trade.gov Language: English - Date: 2000-10-05 09:54:54
70	Software Bug Localization with Markov Logic Sai Zhang Congle Zhang Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Logic Mathematical logic Non-classical logic Markov logic network Software testing Probabilistic logic Software bug Code coverage Debugging Inference First-order logic Buggy

UPDATE