Cover Image
Read Now

1
Published 2017
Springer International Publishing
Table of Contents: “...1. P. Anamby and S. Das: Sturm-like bound for square-free Fourier coefficients -- 2. N. Andersen, K...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Point Addition Formulae for ECC Applications -- Explicit Formulas for Real Hyperelliptic Curves of Genus...”
Cover Image
Read Now

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Pattern-Generated LTL Formulas: A Case Study -- Checking Security and Real-Time Properties -- Generic...”
Cover Image
Read Now

4
Published 2005
Springer Berlin Heidelberg
Table of Contents: “... Temporal Observations for a Collection of Objects -- Approximation Algorithms for the Consecutive Ones...”
Cover Image
Read Now

5
Published 2023
Springer International Publishing
Table of Contents: “...Part 1: Lie Algebras, Superalgebras and Groups -- 1.Local derivations of classical simple Lie...”
Cover Image
Read Now

6
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Complementation Saga -- Speed-Up Techniques for Shortest-Path Computations -- Session 1A -- Compact Forbidden-Set...”
Cover Image
Read Now

7
Published 2015
Birkhäuser
Table of Contents: “...Preface -- Partition functions of discrete coalescents: from Cayley’s formula to Frieze ζ(3) limit...”
Cover Image
Read Now

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

9
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

10
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

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

12
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

13
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

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

15
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

16
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

17
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

18
Published 2014
Springer International Publishing
Table of Contents: “... processing -- The Fractal Dimension of SAT Formulas -- A Gentle Non-disjoint Combination of Satisfiability...”
Cover Image
Read Now

19
Published 2017
Springer Berlin Heidelberg
Table of Contents: “... -- APLicative Programming with Naperian Functors -- Verified Characteristic Formulae for CakeML -- Unified...”
Cover Image
Read Now

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