Search alternatives:
formulas one » formulas over, formulas only, formulas coded

1
Published 2012
De Gruyter
... - this is the formula behind the singularly exhaustive survey of some 70,000 scholars currently working in academic...

2
by Sakagami, Hiroshi
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...iDrug induced liver injury...

3
by Yoon, In-Soo
Published 2023
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: ...2-(3,4-dimethoxyphenyl)-1-(5-methoxy-2,2-dimethyl-2H-chromen-6-yl)ethanone...

4
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...

5
by Bohrer, Rainer, Kämpf, Paul, Kalbskopf, Bernd, Nohl, Uwe
Published 1994
Springer Berlin Heidelberg
...Formula Index...

6
Published 1999
Birkhäuser
Table of Contents: ... -- On the operator-norm convergence of the Trotter-Kato product formula -- A particular case of the inverse problem...

7
Published 2002
Springer Berlin Heidelberg
Table of Contents: ... -- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae -- Conditions for Efficiency...

8
Published 1995
Springer Berlin Heidelberg
Table of Contents: ...-Domination problems on homogeneously orderable graphs -- Growing patterns in 1D cellular automata -- Petri...

9
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Point Addition Formulae for ECC Applications -- Explicit Formulas for Real Hyperelliptic Curves of Genus...

10
Published 1997
Springer Berlin Heidelberg
Table of Contents: ...Conflict-free access to templates of trees and hypercubes in parallel memory systems -- Many-to-one...

11
Published 1988
Springer Netherlands
Table of Contents: ... Biological Implications on Drake’S Formula -- Regional Jurisdiction in Our Galaxy -- One More Solution...

12
Published 1997
Springer Berlin Heidelberg
Table of Contents: ... -- Efficient detection of vacuity in ACTL formulas -- Model checking and transitive-closure logic --...

13
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Pattern-Generated LTL Formulas: A Case Study -- Checking Security and Real-Time Properties -- Generic...

14
Published 2005
Springer Berlin Heidelberg
Table of Contents: ... Temporal Observations for a Collection of Objects -- Approximation Algorithms for the Consecutive Ones...

15
Published 1992
Springer Berlin Heidelberg
Table of Contents: ...Symbolic dynamics for angle-doubling on the circle I. The topology of locally connected Julia sets...

16
Published 2023
Springer International Publishing
Table of Contents: ...Part 1: Lie Algebras, Superalgebras and Groups -- 1.Local derivations of classical simple Lie...

17
Published 2007
Springer Berlin Heidelberg
Table of Contents: ... Complementation Saga -- Speed-Up Techniques for Shortest-Path Computations -- Session 1A -- Compact Forbidden-Set...

18
Published 2015
Birkhäuser
Table of Contents: ...Preface -- Partition functions of discrete coalescents: from Cayley’s formula to Frieze ζ(3) limit...

19
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...

20
Published 1987
Springer Berlin Heidelberg
Table of Contents: ... for real-time branching programs -- On the conditions of supplementicity in functional systems -- On one...