CiteSeerX SmealSearch Francis X. Diebold Control-X Lee Giles X-type asteroid Statistical semantics Acknowledgment index Fuhito Kojima Theory X and Theory Y HyperNEAT Ran Raz Memory-level parallelism Raphael Rom MUMPS (software) Richard J. Cole X-inefficiency X Window System Abstract rewriting machine Kalai Prize Linked timestamping Tatum (music) Program dependence graph Associative classifier ProVerif Rachid Guerraoui Unsatisfiable core Mikołaj Bojańczyk Single address space operating system Matthew K. Franklin Burstsort Noncoherent STC Hui Zou Xyridacma ustaria Artyom Shneyerov Gad Landau WENO methods Ofer …

Dekel (researcher) Gödel Prize Velocity obstacle Scirus Petra Mutzel Consensus dynamics John Regehr Group-based cryptography Compressed pattern matching Laurie A. Rudman Platyallabes tihoni Pattern search (optimization) Recursive neural network List of PPAD-complete problems Einstein–Cartan–Evans theory Eating Disorder Diagnostic Scale Econometrica Applicative programming language Space–time code Lazy deletion Nevada Bureau of Mines and Geology Brodal queue Tachyon (software) Ontology versioning List of aperiodic sets of tiles Software diversity Virtual output

queueing Phoenix network coordinates David G. Lowe Klee–Minty cube Arthur Zimek Structure-based assignment Dynamic texture Ron Shamir Georgios Alogoskoufis Joint Approximation Diagonalization of Eigen-matrices Jimscaline Category of finite-dimensional Hilbert spaces Continuous Acquisition and Life-cycle Support Stanford Digital Library Project Corosync Cluster Engine Kjetil Storesletten Uegitglanis zammaranoi DREAM (protocol) Martin Farach-Colton Haesun Park Paramorphism Harald Garcke Frank Ruskey Go! (programming language) Object-Z Michael A. Bender Brown clustering Trace tree Jump process Smale's problems Xmove Matti Pietikäinen (academic) Faruk Gül Gua language KHAZAD Stabs Experimental philosophy Esko Ukkonen App