Functions as proofs as processes

Functions Definable by Numerical Set-Expressions

Functions of Prognoz-10: Intercosmos' station explained

Functions of the Coacervate Droplets

Functions that preserve p-randomness

Functions to Support Input and Output of Intervals

Functor is to Lens as Applicative is to Biplate: Introducing Multiplate

Functorial Data Migration

Fundamental and Torsional Combination Bands of N_{2}O-C_2H_2 and N_{2}O-C_2D_2 in the N_{2}O ν_{1} Region

Fundamental characteristics of a laser-diode-pumped rubidium maser with an external feedback loop

Fundamental Constraints on Multicast Capacity Regions

Fundamental delay bounds in peer-to-peer chunk-based real-time streaming systems

Fundamental Evolutionary Parameters of B-Supergiants in the POST Main Sequence Gap of the HR Diagram: CYCLE4 Medium

Fundamental frequencies of elastic gravitational vibrations of a neutron star.

Fundamental limit of sample generalized eigenvalue based detection of signals in noise using relatively few signal-bearing and noise-only samples

Fundamental limitations on off-axis performance of phased telescope arrays

Fundamental Limits and Scaling Behavior of Cooperative Multicasting in Wireless Networks

Fundamental limits in resolution of double star targets

Fundamental Limits of Cooperation

Fundamental Limits of Infinite Constellations in MIMO Fading Channels