Analytic Tableaux for Simple Type Theory and its First-Order Fragment

Analytic theory of orbit contraction

Analytic vibration-rotational matrix elements for high Delta-v infrared transitions of diatomic molecules

Analytical aberration model for an infrared telescope

Analytical and Learning-Based Spectrum Sensing Time Optimization in Cognitive Radio Systems

Analytical and numerical approaches of a solar array thermal analysis in a low-earth orbit satellite

Analytical approximation of electron density profiles near the main maximum of the ionosphere

Analytical approximations of the empirical laws governing noise intensity distribution in the short-wave range

Analytical Bounds on Maximum-Likelihood Decoded Linear Codes with Applications to Turbo-Like Codes: An Overview

Analytical calculation of muon intensities under deep sea-water

Analytical calculation of optimal POVM for unambiguous discrimination of quantum states using KKT method

Analytical calculation of the derivatives of lateral and wave aberrations with respect to the structural parameters of optical systems.

Analytical calculation of the excitation of an ionospheric MHD waveguide by a magnetic dipole

Analytical Classification of Multimedia Index Structures by Using a Partitioning Method-Based Framework

Analytical comparative study of spacecraft injection systems

Analytical continuation from imaginary to real chemical potential in two-color QCD under scrutiny

Analytical correlation of routing table length index and routing path length index in hierarchical routing model

Analytical developments concerning the inverse of a distance in celestial mechanics

Analytical electron microscope study of eight ataxites

Analytical electron microscopy study of the plessite structure in four IIICD iron meteorites