University - PDFSEARCH.IO - Document Search Engine

University
Results: 634567

#	Item
161	ECM on Graphics Cards Daniel J. Bernstein1 , Tien-Ren Chen2 , Chen-Mou Cheng3 , Tanja Lange4 , and Bo-Yin Yang2 1 Department of Computer Science University of Illinois at Chicago, Chicago, IL 60607–7045, USA Add to Reading List Source URL: precision.moscito.org Language: English - Date: 2011-03-20 04:03:43 Video cards Computer architecture Computing Graphics hardware CUDA GeForce Graphics processing unit Nvidia GeForce 500 series GeForce 400 series
162	THE 3N+1 PROBLEM: SCOPE, HISTORY, AND RESULTS by T. Ian Martiny B.S., Virginia Commonwealth University, 2012 Add to Reading List Source URL: d-scholarship.pitt.edu Language: English - Date: 2015-05-07 11:45:35 Mathematics Integer sequences Arithmetic Number theory Conjectures Collatz conjecture Lothar Collatz Counterexample Mathematical proof 3x + 1 semigroup Juggler sequence
163	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
164	c Cambridge University Press 2014 JFP: page 1 of 32. ⃝ 1 doi:S0956796813000282 Add to Reading List Source URL: cakeml.org Language: English - Date: 2014-08-07 06:01:48 Software engineering Computer programming Computing Logic in computer science Functional languages Procedural programming languages Proof assistants Theoretical computer science Standard ML ML Monad Lambda calculus
165	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
166	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
167	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
168	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
169	An extensible ad hoc interface between Lean and Mathematica Robert Y. Lewis Carnegie Mellon University Pittsburgh, PA, USA Add to Reading List Source URL: pxtp.github.io Language: English - Date: 2017-09-19 19:50:55 Computing Software engineering Computer programming Functional programming Subroutines Computability theory Theoretical computer science Computer algebra systems Pattern matching Wolfram Mathematica Expr Anonymous function
170	Ontological Networks: Mapping Ontological Knowledge Bases into Graphs Lucas Fonseca Navarro Federal University of Sao Carlos Sao Carlos - SP, Brazil Add to Reading List Source URL: gdac.uqam.ca Language: English - Date: 2017-10-04 01:03:26 Graph theory Mathematics Discrete mathematics Graph Ear decomposition Connectivity Ontology Connected component Line graph

UPDATE