An explicit Fejér-kernel-power construction yields matrix-exponential distributions with closed-form parameters that asymptotically surpass the Erlang variance bound for unit delay.
Infinite normal forms for the lambda-calculus
4 Pith papers cite this work. Polarity classification is still indexing.
4
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
verdicts
UNVERDICTED 4roles
method 1polarities
use method 1representative citing papers
Extensional Taylor expansion of lambda terms induces exactly the theory H* and provides the untyped counterpart to the known typed correspondence between eta-long resource terms and Hyland-Ong game-semantic plays.
Establishes sufficient more-general conditions for FastTwoSum as an error-free transformation under faithful rounding modes and introduces a configurable ExtractScalar splitting for round-to-odd.
SAFT-GT is a new toolchain that bridges safety and security analysis for self-adaptive systems using Attack-Fault Tree generation and model combination, validated by a domain-expert user study.
citing papers explorer
-
Optimization-Free Concentrated Matrix-Exponentials
An explicit Fejér-kernel-power construction yields matrix-exponential distributions with closed-form parameters that asymptotically surpass the Erlang variance bound for unit delay.
-
Extensional Taylor Expansion
Extensional Taylor expansion of lambda terms induces exactly the theory H* and provides the untyped counterpart to the known typed correspondence between eta-long resource terms and Hyland-Ong game-semantic plays.
-
Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes
Establishes sufficient more-general conditions for FastTwoSum as an error-free transformation under faithful rounding modes and introduces a configurable ExtractScalar splitting for round-to-odd.
-
Bridging Safety and Security in Complex Systems: A Model-Based Approach with SAFT-GT Toolchain
SAFT-GT is a new toolchain that bridges safety and security analysis for self-adaptive systems using Attack-Fault Tree generation and model combination, validated by a domain-expert user study.