Finite - PDFSEARCH.IO - Document Search Engine

Finite
Results: 6380

#	Item
521	KENTRACK 4.0: A RAILWAY TRACKBED STRUCTURAL DESIGN PROGRAM Shushu Liu, Jerry G. Rose, Reginald R. Souleyrette Department of Civil Engineering, University of Kentucky, Lexington, KY The KENTRACK program is a finite elemen Add to Reading List Source URL: www.nurailcenter.org Language: English - Date: 2016-05-12 19:03:17 Transport Land transport Construction Pavements Elasticity Permanent way Materials science Road transport Road surface Asphalt concrete Track bed Subgrade
522	Code generation for polynomial multiplication ´ Ling Ding1 and Eric Schost2 1 Add to Reading List Source URL: www.csd.uwo.ca Language: English - Date: 2009-11-01 20:46:02 Mathematics Arithmetic Computational complexity theory Multiplication Algebra Finite fields Karatsuba algorithm XTR Polynomials Recurrence relation Time complexity Algorithm
523	Parameterized Proof Complexity∗ Stefan Dantchev, Barnaby Martin, and Stefan Szeider Department of Computer Science Durham University, Durham, England, UK [s.s.dantchev,b.d.martin,stefan.szeider]@durham.ac.uk Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-11-10 10:56:36 Computational complexity theory Theory of computation Theoretical computer science NP-complete problems Complexity classes Logic in computer science Finite model theory Parameterized complexity Resolution Exponential time hypothesis Boolean satisfiability problem Conjunctive normal form
524	A Non-Hydrostatic Shallow Water Model on Triangular Meshes in Sam(oa)2 Guided Research Project Philipp Samfaß Fakul¨at f¨ Add to Reading List Source URL: www5.in.tum.de Language: English - Date: 2015-05-20 11:59:54 Calculus Partial differential equations Water waves Physics Mathematical analysis Shallow water equations NavierStokes equations MEMO Model Differential equation Hydrostatics Finite element method Airy wave theory
525	ON A QUESTION OF BROWNING AND HEATH-BROWN NICHOLAS M. KATZ To Klaus Roth, with admiration and respect 1. Introduction, and Statement of the Main Result Let k be a finite field, p its characteristic, and Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2009-03-06 08:49:06 Abstract algebra Algebra Mathematics Algebraic geometry Algebraic varieties Vector bundles Scheme theory Projective geometry Projective variety Ample line bundle Smooth scheme Proj construction
526	CS 150 Lecture Slides Motivation • Automata = abstract computing devices • Turing studied Turing Machines (= computers) before there were any real computers • We will also look at simpler devices than Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:20:52 Formal languages Combinatorics Mathematics Discrete mathematics Alphabet String Finite-state machine Structure Regular expression Induction of regular languages Indexed grammar
527	Arborest – a VISL-Style Treebank Derived from an Estonian Constraint Grammar Corpus Eckhard Bick, Heli Uibo+ and Kaili Müürisep+ Institute of Language and Communication University of Southern Denmark .d Add to Reading List Source URL: visl.sdu.dk Language: English - Date: 2004-11-17 05:48:52 Syntax Linguistics Grammar Syntactic categories Semantics Parts of speech Adverbial Constraint Grammar Clause Non-finite clause Noun phrase Dependency grammar
528	Silent error detection in numerical time-stepping schemes Austin R. Benson1 2 Sven Schmit1 Add to Reading List Source URL: stanford.edu Language: English - Date: 2016-02-02 15:50:15 Mathematical analysis Measurement Numerical analysis Mathematics Coding theory Error detection and correction Numerical methods for ordinary differential equations Truncation error Finite difference method Error Partial differential equation Numerical stability
529	Using the channel profile analysis tool, built by the University of Edinburgh Land Surface Dynamics group Add to Reading List Source URL: csdms.colorado.edu Language: English - Date: 2013-09-06 09:54:59 Data management Computing Data NoSQL Finite automata Trie Column Partition Tree Database index PSpice circuit file B-tree
530	DARNS:A Randomized Multi-modulo RNS Architecture for Double-and-Add in ECC to prevent Power Analysis Side Channel Attacks Jude Angelo Ambrose Hector Pettenghi, Leonel Sousa Add to Reading List Source URL: www.inesc-id.pt Language: English - Date: 2013-03-08 09:35:27 Abstract algebra Algebra Mathematics Finite fields Modular arithmetic Computer arithmetic Complex analysis Residue number system Elliptic curve cryptography Pi Addition XTR

UPDATE