1
Published 2006
Table of Contents: ... of Sets of Operators -- On the Equation div u = g and Bogovskii’s Operator in Sobolev Spaces of Negative...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...
View full text
Electronic eBook
4
Published 2008
Table of Contents: ... Completeness of Equations over Sets of Natural Numbers -- Placement Inference for a Client-Server Calculus...
View full text
Electronic eBook
5
Published 2006
Table of Contents: ... and Signatures -- Efficient Zero Knowledge on the Internet -- Independent Zero-Knowledge Sets -- An Efficient...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... -- Edit Distance for Pushdown Automata -- Solution Sets for Equations over Free Groups Are EDT0L Languages...
View full text
Electronic eBook
7
Published 2007
Table of Contents: ... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...
View full text
Electronic eBook
10
Published 2012
Table of Contents: ... programming -- Using piecewise linear functions for solving MINLPs -- An algorithmic framework for MINLP...
View full text
Electronic eBook
11
Table of Contents: ...Finite Element Formulation -- Finite Element Equations for Heat Transfer -- FEM for Solid Mechanics...
View full text
Electronic eBook
12
Published 2005
Table of Contents: ... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...
View full text
Electronic eBook
13
Published 2013
Table of Contents: ... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...
View full text
Electronic eBook
14
Table of Contents: ... Differential Equation Project -- Programming of Differential Equations -- Debugging -- Migrating Python...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Based on Extremal Functions -- Exponential Propagation for Set Variables -- Applications Track...
View full text
Electronic eBook
16
Published 2015
Table of Contents: ...A Conic Representation of the Convex Hull of Disjunctive Sets and Conic Cuts for Integer Second...
View full text
Electronic eBook
17
Published 2015
Table of Contents: ... A Proposal to Measure the Functional Efficiency of Futures Markets: M. Consuegra et al -- 12...
View full text
Electronic eBook
18
Table of Contents: ...Introduction to Numbers and Set Theory -- Sequences and Series -- Limits and Continuity...
View full text
Electronic eBook
19
by Chesi, Graziano., Chesi, Graziano.
Published 2011
Table of Contents: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
View full text
Electronic eBook
20
Table of Contents: ...Operators and Equations -- The Newton Kantorovich (NK) Method -- Applications of the Weaker Version...
View full text
Electronic eBook