Bronchitis Overview. Acute bronchitis is the sudden inflammation of the tracheobronchial tree, which comprises the trachea, or windpipe (tube that leads from the throat to the lungs) and the bronchi (bronchial tubes, air passages of the lungs).
Freebase(0.00 / 0 votes)Rate this definition: ProQuest. ProQuest LLC is an Ann Arbor, Michigan-based global information-content and technology company that provides solutions, applications, and products for libraries. Its resources and tools support research and learning, publishing and dissemination, and the acquisition, management and discovery of library collections.
PRISM model checker. PRISM is a probabilistic model checker, a formal verification software tool for the modelling and analysis of systems that exhibit probabilistic behaviour. One source of such systems is the use of randomization, for example in communication protocols like Bluetooth and FireWire, or in security protocols such as Crowds and Onion routing.