Cover Image
Read Now

1
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... of G3i -- Model Checking General Linear Temporal Logic -- Semantically Guided Evolution of SHI ABoxes...”
Cover Image
Read Now

2
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Among Linear Constraints -- A Search Engine for Mathematical Formulae -- Hierarchical Representations...”
Cover Image
Read Now

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- Coherence measure based on average use of formulas -- A decision-theoretic approach for pre-sending...”
Cover Image
Read Now

4
Published 1993
Springer Berlin Heidelberg
Table of Contents: “... on partial predicate mappings -- Learning k-term monotone Boolean formulae -- Some improved sample complexity...”
Cover Image
Read Now

5
Published 2019
Springer International Publishing
Table of Contents: “... -- On the Configuration of SAT Formulae -- Towards Effective Device-Aware Federated Learning -- Machine Learning for AI...”
Cover Image
Read Now

6
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for Optimizing Multi-paradigm Declarative Programs -- Polynomial Classes of Boolean Formulas for Computing...”
Cover Image
Read Now

7
Published 2018
Springer International Publishing
Table of Contents: “...Readability Formula for Russian Texts: a Modified Version.-Timed automaton RVT-grammar for workflow...”
Cover Image
Read Now

8
Published 2021
Springer Nature Singapore
Table of Contents: “... Network -- Image Compressed Sensing using Neural Architecture Search -- Discovery of Sparse Formula Based...”
Cover Image
Read Now

9
Published 2023
Springer Nature Singapore
Table of Contents: “...Type-Augmented Link Prediction Based on Bayesian Formula -- Multitask Graph Neural Network...”
Cover Image
Read Now

10
Published 2018
Springer International Publishing
Table of Contents: “... for Unbound Aggregate Materials: A Theoretical Explanation of an Empirical Formula -- Development of NARX...”
Cover Image
Read Now

11
by Moniuszko, Andrzej, Patel, Dharmesh
Published 2011
Springer New York
Table of Contents: “...-- Tackling the Multiple-Choice Test -- Test I -- Test II -- Test III -- Formulas, Numbers...”
Cover Image
Read Now

12
by Salencon, Jean
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- XII. Thermoelastic Structural Analysis -- Appendices -- I. Element of Tensor Calculus -- 1 Tensors...”
Cover Image
Read Now

13
by Brand, John R.
Published 1992
Springer US
Table of Contents: “... -- 2.1 Static Conditions -- 2.2 Small Signal Conditions -- Section 3 Operational Amplifiers -- 3.1...”
Cover Image
Read Now

14
by Lloyd, John W.
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...1. Preliminaries -- §1. Introduction -- §2. First Order Theories -- §3. Interpretations and Models...”
Cover Image
Read Now

15
by Friedman, R.
Published 1991
Springer US
Table of Contents: “... -- 1.6 When Will the Puddle Evaporate? -- 2 Some “Elementary” Problems -- 2.1 When Do I Add the Cream...”
Cover Image
Read Now

16
by Buckley, James J.
Published 2003
Physica
Table of Contents: “...1 Introduction -- 1.1 Introduction -- 1.2 References -- 2 Fuzzy Sets -- 2.1 Introduction -- 2.2...”
Cover Image
Read Now

17
by Bamberg, Lennart, Joseph, Jan Moritz, García-Ortiz, Alberto, Pionteck, Thilo
Published 2022
Springer International Publishing
Table of Contents: “...Part I Introduction -- 1 Introduction to 3D Technologies -- 1.1 Motivation for Heterogenous 3D ICs...”
Cover Image
Read Now

18
by Pham, Duc, Karaboga, D.
Published 2000
Springer London
Table of Contents: “... -- 2 Genetic Algorithms -- 2.1 New Models -- 2.2 Engineering Applications -- 2.3 Summary -- 3 Tabu...”
Cover Image
Read Now

19
by Leger, Dawn L.
Published 1999
Springer New York
Table of Contents: “...1 Introduction -- 2 Force Vector -- 3 Moment and Torque -- 4 Statics: Analyses of Systems...”
Cover Image
Read Now

20
Published 2012
Springer Berlin Heidelberg
Table of Contents: “... Search in a Space of Simple Closed-form Formulas: Towards Interpretability of Reinforcement Learning...”