A Backward Analysis for Constraint Logic Programs
A Backyard CCD Photometric Study of the Neglected W UMa Binary EQ Tauri
A Baffle Design for an Airglow Photometer onboard the Korea Sounding Rocket-III
A ballon-borne far-infrared telescope with a new azimuth stabilization system
A balloon borne 19-GHz radiometer
A balloon borne instrument to induce corona currents as a measure of electric fields in thunderclouds
A balloon observation of diffuse far-infrared emission from the galactic plane
A balloon observation of the diffuse cosmic X-radiation above 20 keV
A balloon-borne microwave limb sounder for stratospheric measurements.
A Balloon-delivered Subsurface Sample Acquisition and Transfer Mechanism
A Bandwidth Characterization Tool For MPEG-2 File
A bandwidth efficient coding scheme for the Hubble Space Telescope
A Barotropic Envelope Rossby Soliton Model for Block-Eddy Interaction. Part II: Role of Westward-Traveling Planetary Waves.
A barotropic model of the Ekman planetary boundary layer based on the geostrophic momentum approximation
A Barzilai-Borwein $l_1$-Regularized Least Squares Algorithm for Compressed Sensing
A base on the Moon: The earth global changes
A baseline for content-based blog classification
A Baseline Spectroscopic Study of the Infrared Auroras of Jupiter
A Basic Framework for the Cryptanalysis of Digital Chaos-Based Cryptography
A basic gesture and motion format for virtual reality multisensory applications