Information Visualization Within a Digital Video Library

The Informedia Digital Video Library contains over a thousand hours of video, consuming over a terabyte of disk space. This paper summarizes the multimedia abstractions used to represent this video in prior systems and introduces the visualization techniques employed to browse and navigate multiple video documents at once.     

From LTL to unambiguous Büchi automata via disambiguation of alternating automata

Formal Methods in System Design - Due to the high complexity of translating linear temporal logic (LTL) to deterministic automata, several forms of “restricted” nondeterminism have been...     

Polymerization and characterization of ethylene/propylene and ethylene/1-octene copolymers produced with bridged Zr- and Hf-based metallocenes

Ethylene/propylene (E/P) and ethylene/1-octene (E/O) copolymers were polymerized with two bridged metallocene catalyst systems, Et(Ind)₂ZrCl₂/MAO and Et(Ind)₂HfCl₂/MAO, respectively. The copolymers produced and some commercial reference copolymers were characterized by DSC, SEC, DMA and ¹³C NMR. The Hf-catalysed E/P polymerizations showed much lower activities than the corresponding Zr-catalysed polymerizations but gave polymers with high molar mass. The Hf-based copolymers also showed two melting peaks which may be indicative of several active sites of the catalyst. A comparison of E/P copolymers, containing about 20 mol-% propylene and produced with Zr, Hf and homogeneous V-catalysts, respectively, indicated that the Hf and V-catalysts gave material more similar to each other. The E/O copolymers produced with Zr-catalysts gave very low molar masses and the reactivity ratios, calculated from the NMR data, indicated that the Hf-catalyst has a slightly higher reactivity for 1-octene and the Zr-catalyst some better reactivity for ethylene. Segregation fractionation studies by DSC indicated that a lower 1-octene feed gives more heterogeneous copolymers and the DMA measurements reveal the existence of a linear correlation between the 1-octene content and the intensity of the tan δ_max peak.     

Rheological properties of hyperbranched polymer/poly(ethylene terephthalate) reactive blends

The rheological properties in solution, in shear and in uniaxial elongation of poly(ethylene terephthalate) (PET) reacted together with hyperbranched polymers (HBPs) were investigated. Two different PET grades, of low and high molecular weights, were compounded with sub‐ to over‐stoichiometric concentrations of HBPs of second and fourth pseudo‐generation, and subsequently subjected to a solid‐state polycondensation (SSP). The formation of microgels, which occurs at high HBP concentration, gave rise to a large increase in melt elasticity and a related decrease in melt strength. At low HBP concentrations, the complex viscosity of the unreacted HBP/PET was considerably reduced, thus demonstrating a lubrication effect of the HBP molecules. During SSP, the intrinsic and shear viscosities exhibited a gradual increase, which was similar for both PET and HBP/PET blends, and was correlated to an increase in molecular weight, through linear‐chain extension and branching reactions. The elongational viscosity of the reactive blends was also increased as a function of reaction time, and this increase was much larger in the case of the HBP/PET blends. A 400% increase in melt strength of the PET was obtained by combining SSP and trace amounts of an HBP of second generation, without any decrease in drawability.     

Effect of Molybdenum on the Structure and on the Crystallization of SiO2–Na2O–CaO–B2O3 Glasses

Crystallization of the poorly durable Na₂MoO₄ phase able to incorporate radioactive cesium must be avoided in SiO₂–Al₂O₃–B₂O₃–Na₂O–CaO glasses developed for the immobilization of Mo-rich nuclear wastes. Increasing amounts of B₂O₃ and MoO₃ were added to a SiO₂–Na₂O–CaO glass, and crystallization tendency was studied. Na₂MoO₄ crystallization tendency decreased with the increase of B₂O₃ concentration whereas the tendency of CaMoO₄ to crystallize increased due to preferential charge compensation of BO₄⁻ entities by Na⁺ ions. ²⁹Si MAS NMR showed that molybdenum acts as a reticulating agent in glass structure. Trivalent actinides surrogate (Nd³⁺) were shown to enter into CaMoO₄ crystals formed in glasses.     

Different Involvement of Vimentin during Invasion by Listeria monocytogenes at the Blood–Brain and the Blood–Cerebrospinal Fluid Barriers In Vitro

The human central nervous system (CNS) is separated from the blood by distinct cellular barriers, including the blood–brain barrier (BBB) and the blood–cerebrospinal fluid (CFS) barrier (BCSFB). Whereas at the center of the BBB are the endothelial cells of the brain capillaries, the BCSFB is formed by the epithelium of the choroid plexus. Invasion of cells of either the BBB or the BCSFB is a potential first step during CNS entry by the Gram-positive bacterium Listeria monocytogenes (Lm). Lm possesses several virulence factors mediating host cell entry, such as the internalin protein family—including internalin (InlA), which binds E-cadherin (Ecad) on the surface of target cells, and internalin B (InlB)—interacting with the host cell receptor tyrosine kinase Met. A further family member is internalin (InlF), which targets the intermediate filament protein vimentin. Whereas InlF has been shown to play a role during brain invasion at the BBB, its function during infection at the BCSFB is not known. We use human brain microvascular endothelial cells (HBMEC) and human choroid plexus epithelial papilloma (HIBCPP) cells to investigate the roles of InlF and vimentin during CNS invasion by Lm. Whereas HBMEC present intracellular and surface vimentin (besides Met), HIBCPP cells do not express vimentin (except Met and Ecad). Treatment with the surface vimentin modulator withaferin A (WitA) inhibited invasion of Lm into HBMEC, but not HIBCPP cells. Invasion of Lm into HBMEC and HIBCPP cells is, however, independent of InlF, since a deletion mutant of Lm lacking InlF did not display reduced invasion rates.     

Simulating perfect channels with probabilistic lossy channels

We consider the problem of deciding whether an infinite-state system (expressed as a Markov chain) satisfies a correctness property with probability 1. This problem is, of course, undecidable for general infinite-state systems. We focus our attention on the model of probabilistic lossy channel systems consisting of finite-state processes that communicate over unbounded lossy FIFO channels. Abdulla and Jonsson have shown that safety properties are decidable while progress properties are undecidable for non-probabilistic lossy channel systems. Under assumptions of “sufficiently high” probability of loss, Baier and Engelen have shown how to check whether a property holds of probabilistic lossy channel system with probability 1. In this paper, we consider a model of probabilistic lossy channel systems, where messages can be lost only during send transitions. In contrast to the model of Baier and Engelen, once a message is successfully sent to channel, it can only be removed through a transition which receives the message. We show that checking whether safety properties hold with probability 1 is undecidable for this model. Our proof depends upon simulating a perfect channel, with a high degree of confidence, using lossy channels.