Nicholas - PDFSEARCH.IO - Document Search Engine

Nicholas
Results: 5905

#	Item
501	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant
502	Microsoft Word - Newsletter EAEE3.doc Add to Reading List Source URL: www.eaee.org Language: English - Date: 2015-12-21 12:56:45 Earthquake engineering Nicholas Ambraseys Seismology Earthquake Seismic analysis Coordinating Committee for Earthquake Prediction Seismic risk Lisbon earthquake San Francisco earthquake Tsunami International Institute of Earthquake Engineering and Seismology National Society for Earthquake Technology - Nepal
503	How Much Anonymity does Network Latency Leak? Nicholas Hopper, Eugene Y. Vasserman, Eric Chan-Tin University of Minnesota 200 Union St SE Minneapolis, MNUSA Add to Reading List Source URL: www.cs.okstate.edu Language: English - Date: 2011-08-15 19:32:40 Dark web Secure communication Internet privacy File sharing Cross-platform software Tor Onion routing Anonymous remailer I2P Proxy server Peer-to-peer Crowds
504	ON A QUESTION OF KEATING AND RUDNICK ABOUT PRIMITIVE DIRICHLET CHARACTERS WITH SQUAREFREE CONDUCTOR NICHOLAS M. KATZ Abstract. We prove equidistribution results, in the function field Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2012-05-02 12:40:16 Algebraic structures Ring theory Algebra Polynomials Commutative algebra Sheaf Conductor Finite field Field extension Integral element tale morphism Ring
505	Microsoft Word - Nicholas Jackson interview Add to Reading List Source URL: www.nativeperspectives.net Language: English - Date: 2010-08-09 00:50:21 English-language films Films Neo-noir Rise: Blood Hunter 11:59 Wakedafucup
506	CORRECTIONS TO "SPACE FILLING CURVES OVER FINITE FIELDS" NICHOLAS M. KATZ 1. Introduction Ofer Gabber has kindly pointed out to me that the proof of Lemma 5 is wrong. The Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2001-07-19 04:35:54 Algebraic number theory Ring Ring theory Frobenius endomorphism
507	RISK Mismanagement - What Led to the Financial Meltdown - NYTimes.com Page 1 of 12 This copy is for your personal, noncommercial use only. You can order presentation-ready copies for distribution to your colleagues, cli Add to Reading List Source URL: www.faculty.idc.ac.il Language: English - Date: 2009-02-19 03:42:13 Financial risk Actuarial science Value at risk RiskMetrics Liquidity risk Time at risk Age at risk Risk Nassim Nicholas Taleb Market risk The Black Swan Diversification
508	2015 IEEE Symposium on Security and Privacy Temporal Lensing and its Application in Pulsing Denial-of-Service Attacks Ryan Rasti∗† , Mukul Murthy∗ , Nicholas Weaver∗† , Vern Paxson∗† ∗ UC Berkeley, † Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:08 Network performance Internet security Denial-of-service attacks Cyberwarfare Denial-of-service attack Internet Relay Chat Packet loss Throughput Transmission Control Protocol Measuring network throughput IP address spoofing TCP congestion control
509	ON TWO QUESTIONS OF ENTIN, KEATING, AND RUDNICK ON PRIMITIVE DIRICHLET CHARACTERS NICHOLAS M. KATZ Abstract. This is Part II of the paper “A question of Keating and Rudnick about primitive Dirichlet characters with squ Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2014-07-12 15:19:21 Dirichlet L-function Conductor Dirichlet character Burnside theorem Clifford theory
510	Exploiting Communication Concurrency on High Performance Computing Systems Nicholas Chaimov University of Oregon Add to Reading List Source URL: crd.lbl.gov Language: English - Date: 2016-02-03 12:11:21 Parallel computing OpenMP Multi-core processor SPMD Unified Parallel C Remote direct memory access Cray Supercomputer Automatic parallelization Thread Blue Gene Parallel programming model

UPDATE