Cover Image
Read Now

21
Published 1999
Birkhäuser
Table of Contents: “... and the error of Gauss-Kronrod quadrature formulas -- Fast solution of confluent Vandermonde-like linear systems...”
Cover Image
Read Now

22
by Bohrer, Rainer, Hartwig, Helga, Jonuschat, Renate, Kalbskopf, Bernd
Published 1989
Springer Berlin Heidelberg
“...Formula Index...”
Cover Image
Read Now

23
Published 2020
Springer International Publishing
Table of Contents: “... to overlaps -- Regular Expression Length via Arithmetic Formula Complexity -- Crisp-determinization...”
Cover Image
Read Now

24
Published 2001
Springer Berlin Heidelberg
Table of Contents: “...Model Checking with Formula-Dependent Abstract Models -- Verifying Network Protocol Implementations...”
Cover Image
Read Now

25
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...I Reaction Dynamics and Potential Energy Surfaces -- Reaction Dynamics of H2Si: A 5-D Model -- Eley...”
Cover Image
Read Now

26
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

27
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Decryption Exponent -- PA1 and IND-CCA2 Do Not Guarantee PA2: Brief Examples -- A Generic Method for Reducing...”
Cover Image
Read Now

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

29
Published 2007
Springer Berlin Heidelberg
Table of Contents: “...-Limited Inverter for k-Tonic Binary Sequences -- The Existence of Unsatisfiable Formulas in k-LCNF fork...”
Cover Image
Read Now

30
Published 2014
Springer International Publishing
Table of Contents: “... of the Computation Process by Rule 110 -- Cellular Automata and Formulae on Monoids -- A Scalable Method...”
Cover Image
Read Now

31
Published 2011
Springer Berlin Heidelberg
“..., quantified Boolean formulae, model enumeration and local search, and empirical evaluation...”
Cover Image
Read Now

32
Published 2021
Springer International Publishing
Table of Contents: “... and Unit Instances of Quantified Formulas with E-Matching -- On Preprocessing for Weighted MaxSAT...”
Cover Image
Read Now

33
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

34
Published 2022
Springer International Publishing
Table of Contents: “... -- Combining Geometric Semantic GP with Gradient-descent Optimization -- One-Shot Learning of Ensembles...”
Cover Image
Read Now

35
Published 1994
Birkhäuser
“... in the following areas: Szegö-Widom asymptotic formulas for determinants of finite sections of Toeplitz matrices...”
Cover Image
Read Now

36
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

37
Published 2004
Springer Netherlands
Table of Contents: “...Combinatorial Formulas for Cohomology of Spaces of Knots -- On the Homology of Spaces of Long Knots...”
Cover Image
Read Now

38
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

39
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

40
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... to Transitions: Improving Translation of LTL Formulae to Büchi Automata -- A Compositional Sweep-Line State Space...”