Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by R. Lieger

Real-Time Recursive Procedures

English

Related publications

Time-Recursive Computation and Real-Time Parallel Architectures: A Framework

IEEE Transactions on Signal Processing
Electronic EngineeringSignal ProcessingElectrical
1995English

Proof Rules for Recursive Procedures

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1993English

Recursive Real Numbers

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1954English

Real-Time Physiological Tremor Estimation Using Recursive Singular Spectrum Analysis

2017English

On the Origin of Recursive Procedures

Computer Journal
Computer Science
2014English

Beyond Recursive Real Functions

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
1996English

Real-Time Interactive Simulator for Percutaneous Coronary Revascularization Procedures

Computer Aided Surgery
1998English

Supplemental Information 4: Detail Procedures of Real Time-Pcr.

English

Predicate Transformers for Recursive Procedures With Local Variables

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy