Search alternatives:
formulas one » formulas over, formulas only, formulas coded
Cover Image
Read Now

1
by Sakagami, Hiroshi
Published 2022
MDPI - Multidisciplinary Digital Publishing Institute
Subjects: “...iDrug induced liver injury...”
Cover Image
Read Now

2
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...”
Cover Image
Read Now

3
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

4
by Bohrer, Rainer, Kämpf, Paul, Kalbskopf, Bernd, Nohl, Uwe
Published 1994
Springer Berlin Heidelberg
“...Formula Index...”
Cover Image
Read Now

5
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...”
Cover Image
Read Now

6
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae -- Conditions for Efficiency...”
Cover Image
Read Now

7
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

8
Published 1988
Springer Netherlands
Table of Contents: “... Biological Implications on Drake’S Formula -- Regional Jurisdiction in Our Galaxy -- One More Solution...”
Cover Image
Read Now

9
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

10
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

11
Published 1992
Springer Berlin Heidelberg
Table of Contents: “...Symbolic dynamics for angle-doubling on the circle I. The topology of locally connected Julia sets...”
Cover Image
Read Now

12
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

13
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

14
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

15
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

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

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

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

19
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

20
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... of G3i -- Model Checking General Linear Temporal Logic -- Semantically Guided Evolution of SHI ABoxes...”