Brainstorm/J: a Java Framework for Intelligent Agents

Branch Flow Model: Relaxations and Convexification

Branch-and-Prune Search Strategies for Numerical Constraint Solving

Branching Bisimilarity with Explicit Divergence

Branching proofs of infeasibility in low density subset sum problems

Branching-time model checking of one-counter processes

Branching-time model checking of one-counter processes

Branching: the Essence of Constraint Solving

Brane Calculi Systems: A Static Preview of their Possible Behaviour

Brazil ignites telescope race

Brazil in space

Brazil Nuts on Eros: Size-Sorting of Asteroid Regolith

Brazilian continental cretaceous

Brazilian Microgravity Program: challenges and perspectives

BRC36/IC1396 as a Testbed of Triggered Star Formation (GO part)

BRDF history of a relay mirror used in the High-Speed Photometer on the Hubble Space Telescope

Breadboard stellar tracker system test report, volume 2

Break-up spots: Could the Pacific open as a consequence of plate kinematics?

Breakdown of librational invariant surfaces.

Breakdown of scaling and means of modifying the elementary-event model to ultrahigh energies