1
Published 2009
Springer Berlin Heidelberg
Table of Contents: ... Functions -- Session 3. Minimal Unsatisfiability and Automated Reasoning Support -- Axiom Pinpointing...

2
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Diffeomorphic Motion Estimation -- Regional Analysis of Left Ventricle Function Using a Cardiac-Specific...

3
Published 2023
Springer Nature Switzerland
Table of Contents: ...Cardiac multiscale structure -- Cardiac electrophysiology modeling -- Image and shape analysis...

4
Published 2023
Springer Nature Switzerland
Table of Contents: ... -- An experimental analysis on mapping strategies for cepstral coefficients multi-projection in voice spoofing...

5
Published 2024
Springer Nature Switzerland
Table of Contents: .... -- Partial Boolean Functions for QBF Semantics...

6
Published 2004
Springer Berlin Heidelberg
Table of Contents: ... Deduction for Linear Logic -- A Decision Procedure for Equality Logic with Uninterpreted Functions...

7
Published 1995
Springer Berlin Heidelberg
Table of Contents: ...The effect of function noise on GP efficiency -- Genetic approaches to learning recursive relations...

8
Published 2018
Springer International Publishing
Table of Contents: ...Constraints -- Constraint Solving on Hybrid Systems -- Run-time Analysis of Temporal Constrained...

9
Published 2013
Springer Berlin Heidelberg
Table of Contents: ... Restrictions in Social Choice, and Their Consequences -- Weighted Quasi-Arithmetic Means: Utility Functions...

10
Published 2023
Springer Nature Switzerland
Table of Contents: ... learning loop with constrained trust mechanism -- Learning Activation Functions for Adversarial Attack...

11
Published 1986
Springer Berlin Heidelberg
Table of Contents: ... Functional Grammar -- Kognitive Prozesse -- Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven...

12
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... -- How a New Statistical Infrastructure Induced a New Computing Trend in Data Analysis -- Some Remarks...

13
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... segmentation by minimizing vector-valued energy functionals: The Coupled-Membrane model -- Boundary detection...

14
Published 2015
Springer India
Table of Contents: ...Chapter 22. Decision Feedback Equalization for MIMO Systems -- Chapter 23. Fuzzy Logic Based...

15
Published 2009
Springer Berlin Heidelberg
Table of Contents: ...On a New Similarity Analysis in Frequency Domain for Mining Faces within a Complex Background...

16
Published 2024
Springer Nature Switzerland
Table of Contents: ... using Signed Distance Functions -- A Trimodal Dataset: RGB, Thermal, and Depth for Human Segmentation...

17
Published 2024
Springer Nature Switzerland
Table of Contents: ...Complexity and Database Theory -- Functional Dependencies with Predicates: What Makes the g3-error...

18
Published 2013
Springer International Publishing
Table of Contents: ...What Can Fuzzy Cluster Analysis Contribute to Clustering of High-Dimensional Data...

19
Published 2011
Springer Berlin Heidelberg
... image analysis, computer aided diagnosis, diffusion imaging, functional brain analysis, registration...

20
Published 2006
Springer Berlin Heidelberg
Table of Contents: ...On Testing the Missing at Random Assumption -- B-Matching for Spectral Clustering -- Multi-class...