Abstract: The present invention provides a computer-implemented method of producing a description of aircraft intent expressed using a formal language. The description may be used to predict aircraft trajectory, for example by air traffic management. Rules are used in association with information provided to generate a set of instructions describing both the aerodynamic configuration of the aircraft and the motion of the aircraft. These instructions are checked to ensure that they describe unambiguously the aircraft's trajectory. The instructions are then expressed using a formal language.

Abstract: Described herein are compositions and methods for the prevention and treatment of hematopoietic malignancies. The compositions are miRNAs and associated nucleic acids.

Abstract: A capsule container of the type used to store non-sealed capsules containing products that are used to prepare hot drinks in self-service machines. The invention is essentially characterised in that it consists of a rigid cup-type container with non-porous walls (1), the mouth of which is closed with a barrier film of aluminum or plastic (2) that can be removed manually from the cup and easily perforated. The interior of the aforementioned cup loosely houses at least one non-sealed capsule (3) in an inert atmosphere, the non-sealed capsule (3) containing food substances (4) suitable for the preparation of hot drinks.

Abstract: An apparatus and method for maintaining the lateral spacing of parallel rows of tortillas while transferring tortillas between two vertically spaced conveyors. The tortilla transfer guide is positioned adjacent to two generally horizontal, vertically spaced endless belt conveyors. The tortilla transfer guide has at least one scalloped section having a center of curvature aligned with the longitudinal axes respectively corresponding to an associated row of tortillas travelling towards the guide on the upper conveyor and an associated row travelling away from the guide on the lower conveyor. Each scalloped section is capable of moving a laterally misaligned tortilla towards its center of curvature, which is aligned with the proper longitudinal row axis on the lower conveyor.