A propositional probabilistic logic with discrete linear time for reasoning about evidence

The aim of the paper is to present a sound, strongly complete and decidable probabilistic temporal logic that can model reasoning about evidence. The formal system developed here is actually a solution of a problem proposed by Halpern and Pucella (J Artif Intell Res 26:1–34, 2006).     

Flow profile measurement in microchannel using the optical feedback interferometry sensing technique

The need to accurately measure flow profiles in microfluidic channels is well recognised. In this work, we present a new optical feedback interferometry (OFI) flow sensor that accurately measures local velocity in fluids and enables reconstruction of a velocity profile inside a microchannel. OFI is a self-aligned interferometric technique that uses the laser as both the transmitter and the receiver thus offering high sensitivity, fast response, and a simple and compact optical design. The system described here is based on a commercial semiconductor laser and has been designed to achieve a micrometer-range spatial resolution. The sensor performance was validated by reconstructing the velocity profile inside a circular cross-section flow-channel with 320  $\upmu $ m internal diameter, with a relative error smaller than 1.8 %. The local flow velocity is directly measured, thus avoiding the need for model based profile calculation and uncertainties inherent to this approach. The system was validated by successfully extracting the flow profiles in both Newtonian and shear-thinning liquids.     

Parallel programming for multimedia applications

Computing capabilities are continuing to increase with the availability of multi core and many core processors. The wide availability of multi core processors has made parallel programming possible for end user applications running on desktops, workstations, and mobile devices. While parallel hardware has become common, software that exploits parallel capabilities is just beginning to take hold. Multimedia applications, with their data parallel nature and large computing requirements will benefit significantly from parallel programming. In this paper an overview of parallel programming is presented and languages and tools for parallel programming such as OpenMP and CUDA are introduced within the scope of multimedia applications.     

Adaptive content-based music retrieval system

This paper presents a tunable content-based music retrieval (CBMR) system suitable the for retrieval of music audio clips. The audio clips are represented as extracted feature vectors. The CBMR system is expert-tunable by altering the feature space. The feature space is tuned according to the expert-specified similarity criteria expressed in terms of clusters of similar audio clips. The main goal of tuning the feature space is to improve retrieval performance, since some features may have more impact on perceived similarity than others. The tuning process utilizes our genetic algorithm. The R-tree index for efficient retrieval of audio clips is based on the clustering of feature vectors. For each cluster a minimal bounding rectangle (MBR) is formed, thus providing objects for indexing. Inserting new nodes into the R-tree is efficiently performed because of the chosen Quadratic Split algorithm. Our CBMR system implements the point query and the n-nearest neighbors query with the O(logn) time complexity. Different objective functions based on cluster similarity and dissimilarity measures are used for the genetic algorithm. We have found that all of them have similar impact on the retrieval performance in terms of precision and recall. The paper includes experimental results in measuring retrieval performance, reporting significant improvement over the untuned feature space.     

FM radio for indoor localization with spontaneous recalibration

The position of mobile users has become highly important information in pervasive computing environments. Indoor localization systems based on Wi–Fi signal strength fingerprinting techniques are widely used in office buildings with an existing Wi–Fi infrastructure. Our previous work has proposed a solution based on exploitation of a FM signal to deal with environments not covered with Wi–Fi signal or environments with only a single Wi–Fi access point. However, a general problem of indoor wireless positioning systems pertains to signal degradation due to the environmental factors affecting signal propagation. Therefore, in order to maintain a desirable level of localization accuracy, it becomes necessary to perform periodic calibrations of the system, which is either time consuming or requires dedicated equipment and expert knowledge. In this paper, we present a comparison of FM versus Wi–Fi positioning systems and a combination of both systems, exploiting their strengths for indoors positioning. We also address the problem of recalibration by introducing a novel concept of spontaneous recalibration and demonstrate it using the FM localization system. Finally, the results related to device orientation and localization accuracy are discussed.     

Cholesterol is critical to the integrity of neuronal porosome/fusion pore

Secretion is one of the most fundamental cellular processes. Porosomes have been demonstrated as the universal secretory machinery in cells. Earlier studies determine the presence of a number of proteins in porosomes, among them the N- and P/Q-type calcium channels, actin, syntaxin-1, synaptotagmin-1, vimentin, the N-ethylmaleimide-sensitive factor (NSF), the chloride channel CLC-3, and the alpha subunit of the heterotrimeric GTP-binding protein G(o). Studies demonstrate that t-SNAREs localize at the base of porosomes, and directly interact with calcium channels. In the present study, we demonstrate that Syntaxin-1 co-localizes with cholesterol in solubilized synaptosomal membrane preparations. Depletion of cholesterol, results in the dissociation of both Syntaxin-1 and N-type calcium channel from neuronal porosomes. Thus, cholesterol participates as an integral component of the neuronal porosome complex, and is required for its stability.     

The stress stability of olanzapine: studies of interactions with excipients in solid state pharmaceutical formulations

Stress stability testing represents an important part of the drug development process. It is used as an important tool for the identification of degradation products and degradation pathways, as well as for the assessment of changes in physical form of drug molecules. The impact of excipients on the stability of olanzapine confirms that levels of impurities and degradants are limiting parameters and are therefore used for stability evaluation. The major degradation product of olanzapine was identified as 2-methyl-5,10-dihydro-4H-thieno[2,3-b][1,5]benzodiazepine-4-one (III). The structure of III was determined by using LC-MS, IR and NMR. Compatibility and stress stability results demonstrated that tablet formulations of olanzapine are sensitive to temperature and moisture. In samples protected from moisture, the increase in concentration of III was shown to be highly temperature dependent and the degradation followed zero-order kinetics. In addition, studies of olanzapine with excipients and in formulated tablets revealed polymorphic phase changes in some samples, influenced by a combination of stress temperature and humidity conditions. Polymorphic transitions were monitored using x-ray powder diffraction (XRPD) analysis and exhibited no correlation between the phase change (appearance of a new polymorph) and the degradation process.     

Ultrastructural changes in the cemento‐enamel junction caused by acidic beverages: An in vitro study

The present in vitro study was aimed at evaluating the morphological changes in the cemento‐enamel junction (CEJ) after exposure to acidic beverages using the scanning electron microscopy (SEM). The initial pH and titratable acidity (TA) was analyzed from follow groups: (I) Coca cola, (II) orange juice, (III) Cedevita, (IV) Red Bull, (V) Somersby cider, and (VI) white wine. The CEJ samples (n = 64), obtained from unerupted third molars, were allocated to one control (artificial saliva, n = 16) and six experimental groups (n = 8). The experimental samples were immersed in beverages (50 ml) for 15 min, three times daily, 10 days, and in artificial saliva between immersions. SEM analysis was performed in a blind manner, according to scoring scale. One‐way ANOVA and Tukey's post hoc tests, as well as Kruskal–Wallis and Mann–Whitney U test used for statistical analysis. The pH values of the acidic beverages ranged from 2.65 (Coca cola) to 3.73 (orange juice), and TA ranged from 1.90 ml (Coca cola) to 5.70 ml (orange juice) of NaOH to reach pH 7.0. The SEM analysis indicated statistically significant differences between the control samples and those immersed in acidic beverages. The Groups IV, I, and II, showed the highest CEJ damage grade while those of the Group VI were the lowest. All the tested acidic beverages caused morphological changes in the CEJ with a smaller or larger exposure of dentine surface, and were not always related to the pH or TA of acidic beverages.     

Hydrogen Effervescence from Aluminum Alloy Melts

With expansion of integrated computational materials engineering, new mathematical models are required for the assessment of processes that traditionally were manually monitored on factory production floors. The Richards logistic function is used to describe the total amount of porosity in an as-cast aluminum alloy sample after treatment under near vacuum and atmospheric pressures. The acquired function constants were correlated to the different process parameters during solidification. It is found that the Richards logistic function describes the best formation of porosity in aluminum alloy melts. The maximum porosity (M _P) and lowest porosity level (L _P) constants are directly related to the highest and lowest porosity levels in the analyzed samples, while the rate (r) defines the increase of porosity with respect to an increase in dissolved hydrogen between the threshold and mass transfer limits. The Richards logistic function can be used instead of traditional low-order mathematical equations to predict threshold limit and amount of porosity in solidified aluminum alloys by assessing the hydrogen concentration in aluminum alloy melts.