1
Table of Contents: ...Basic concepts -- Finite elements and Green's functions -- The discretization error -- Modeling...
View full text
Electronic eBook
2
Table of Contents: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Invited Talk 1 -- Recursive Towers of Function Fields over Finite Fields -- Efficient Finite Field...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... Approach to Computer-Assisted Translation Based on Finite-State Transducers -- Finite-State Registered...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
View full text
Electronic eBook
10
Table of Contents: ... and Postprocessing -- Finite Element Equations -- Use of Commands in Ansys -- Linear Structural Analysis -- Linear...
View full text
Electronic eBook
11
Table of Contents: ... of Discretization -- ANSYS® Preprocessor -- ANSYS® Solution And Postprocessing -- Finite Element Equations -- Use...
View full text
Electronic eBook
12
Published 2013
Table of Contents: ... Supporting Attribution (Haskell Can Do It) -- The Blossom of Finite Semantic Trees -- Functional Logic...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...
View full text
Electronic eBook
14
Published 2014
Table of Contents: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...
View full text
Electronic eBook
16
Published 2007
Table of Contents: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... for Computational Effort Comparisons -- Crossover Bias in Genetic Programming -- Density Estimation with Genetic...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...
View full text
Electronic eBook
20
Published 2010
Table of Contents: .... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...
View full text
Electronic eBook