Search alternatives:
formulas coded » formulas model, formulas bounded, formulas models
formulas one » formula one, formulas only, formulas other
Cover Image
Read Now

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

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... on Discrete Logarithms -- Attacking the Filter Generator over GF(2 m ) -- Codes -- Cyclic Additive and Quantum...”
Cover Image
Read Now

3
by Ebeling, Wolfgang
Published 2002
Vieweg+Teubner Verlag
Table of Contents: “... Automorphism Groups -- 5 Lattices over Integers of Number Fields and Self-Dual Codes -- 5.1 Lattices over...”
Cover Image
Read Now

4
by Ebeling, Wolfgang
Published 1994
Vieweg+Teubner Verlag
Table of Contents: “... Integers of Number Fields and Self-Dual Codes -- 5.1 Lattices over Integers of Cyclotomic Fields -- 5.2...”
Cover Image
Read Now

5
by Kløve, Torleiv, Korzhik, Valery
Published 1995
Springer US
Table of Contents: “... and Detection -- 2.5 Comments and References -- 3 ERROR DETECTING CODES FOR THE BSC -- 3.1 Basic Formulas...”
Cover Image
Read Now

6
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

7
Published 2017
Springer International Publishing
Table of Contents: “... and G. Sachdeva: Critical values of L-functions for GL3 x GL1 over a totally real field -- 13. M. Raum...”
Cover Image
Read Now

8
Published 1997
Springer Berlin Heidelberg
Table of Contents: “...Conflict-free access to templates of trees and hypercubes in parallel memory systems -- Many-to-one...”
Cover Image
Read Now

9
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

10
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Asynchronous Streams over a Sliding Window -- Session 8B -- Arithmetizing Classes Around NC 1 and L...”
Cover Image
Read Now

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

12
Published 1997
Springer Berlin Heidelberg
Table of Contents: “... for (1, +k)-branching programs with respect to k -- Routing with finite speeds of memory and network...”
Cover Image
Read Now

13
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... -- Towards Efficient Verification of Arithmetic Algorithms over Galois Fields GF(2m) -- Timed Automata -- Job...”
Cover Image
Read Now

14
Published 2010
Springer Berlin Heidelberg
Table of Contents: “... Assessment of Probabilistic Fingerprinting Codes over AWGN Channel -- Validating Security Policy Conformance...”
Cover Image
Read Now

15
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

16
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Resolution Proofs by Lowering Subproofs -- A Tableau System for Right Propositional Neighborhood Logic over...”
Cover Image
Read Now

17
Published 2021
Springer International Publishing
Table of Contents: “...: Probabilistic, Stateful Network Models,. Decision Procedures -- Deciding the Bernays-Schoenfinkel Fragment over...”
Cover Image
Read Now

18
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... to anytime constraint solving for TCSPs -- Dynamic constraint weighting for over-constrained problems -- Time...”
Cover Image
Read Now

19
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

20
Published 2019
Springer International Publishing
Table of Contents: “..., but often not so much in practice! -- Handling Modifiers in Question Answering over Knowledge Graphs -- A...”