1
Published 2010
Table of Contents: ... -- Statistical Methods for Data Mining and Knowledge Discovery -- Regular Contributions -- Formal Concept...
View full text
Electronic eBook
2
by Cammi, Roberto., Cammi, Roberto.
Published 2013
Table of Contents: ... -- The basic energy functional -- The Quantum Mechanical problem -- The Coupled-cluster equations -- Analytical...
View full text
Electronic eBook
3
by Robertz, Daniel., Robertz, Daniel.
Published 2014
Table of Contents: ...Introduction -- Formal Methods for PDE Systems -- Differential Elimination for Analytic Functions...
View full text
Electronic eBook
4
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
5
Table of Contents: ... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...
View full text
Electronic eBook
6
Published 2012
Table of Contents: ... functional equation in quasi-Banach spaces (J. Gao) -- 12. Ulam stability problem for frames (L. Găvruţa, P...
View full text
Electronic eBook
7
Table of Contents: ...Part I. Probability. Basic Notions, Structure, Methods: Introduction; The Probability Space...
View full text
Electronic eBook
8
Table of Contents: ...Sets and Numbers -- Relations and Databases -- Functions -- Boolean Algebra, Logic and Quantifiers...
View full text
Electronic eBook
9
Table of Contents: ...Scattering as a Boundary Value Problem -- Filling the Mathematical Tool Box -- First Approach...
View full text
Electronic eBook
10
Published 2005
Table of Contents: ... of Bipartite Ranking Functions -- Stability and Generalization of Bipartite Ranking Algorithms -- Loss Bounds...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... to Genomics to Proteomics -- Formal Genetics of Humans: Modes of Inheritance* -- Linkage Analysis...
View full text
Electronic eBook
12
Subjects: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
View full text
Electronic eBook
13
Table of Contents: ... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...
View full text
Electronic eBook
14
Table of Contents: ...; -- Enrichment Topic: #x201C;Efficient#x201D; Pairing Functions, with Applications -- Computability Theory...
View full text
Electronic eBook
15
Published 2007
Table of Contents: ...SAT: Past and Future -- Encodings of Problems in Effectively Propositional Logic -- Efficient...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...
View full text
Electronic eBook
17
Table of Contents: ...and Basic Concepts -- Decision Procedures for Propositional Logic -- Equality Logic...
View full text
Electronic eBook
18
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Circuit Value Problem -- The Knaster-Tarski Theorem -- Alternation -- Problems Complete for PSPACE...
View full text
Electronic eBook
19
by Goldreich, Oded., Goldreich, Oded.
Published 2011
Table of Contents: ... Is NP-Hard.- Proving Computational Ability -- On Constructing 1-1 One-Way Functions -- On the Circuit...
View full text
Electronic eBook
20
Published 2006
Table of Contents: ... Computational Complexity -- Algorithm -- On Several Scheduling Problems with Rejection or Discretely...
View full text
Electronic eBook