953 research outputs found

    Beyond the current noise limit in imaging through turbulent medium

    Full text link
    Shift-and-add is an approach employed to mitigate the phenomenon of resolution degradation in images acquired through a turbulent medium. Using this technique, a large number of consecutive short exposures is registered below the coherence time of the atmosphere or other blurring medium. The acquired images are shifted to the position of the brightest speckle and stacked together to obtain high-resolution and high signal-to-noise frame. In this paper we present a highly efficient method for determination of frames shifts, even if in a single frame the object cannot be distinguished from the background noise. The technique utilizes our custom genetic algorithm, which iteratively evolves a set of image shifts. We used the maximal energy of stacked images as an objective function for shifts estimation and validate the efficiency of the method on simulated and real images of simple and complex sources. Obtained results confirmed, that our proposed method allows for the recovery of spatial distribution of objects even only 2% brighter than their background. The presented approach extends significantly current limits of image reconstruction with the use of shift-and-add method. The applications of our algorithm include both the optical and the infrared imaging. Our method may be also employed as a digital image stabilizer in extremely low light level conditions in professional and consumer applications.Comment: 8 pages, 4 figure

    Impulsive noise removal from color images with morphological filtering

    Full text link
    This paper deals with impulse noise removal from color images. The proposed noise removal algorithm employs a novel approach with morphological filtering for color image denoising; that is, detection of corrupted pixels and removal of the detected noise by means of morphological filtering. With the help of computer simulation we show that the proposed algorithm can effectively remove impulse noise. The performance of the proposed algorithm is compared in terms of image restoration metrics and processing speed with that of common successful algorithms.Comment: The 6th international conference on analysis of images, social networks, and texts (AIST 2017), 27-29 July, 2017, Moscow, Russi

    Analytic Tableaux for Simple Type Theory and its First-Order Fragment

    Full text link
    We study simple type theory with primitive equality (STT) and its first-order fragment EFO, which restricts equality and quantification to base types but retains lambda abstraction and higher-order variables. As deductive system we employ a cut-free tableau calculus. We consider completeness, compactness, and existence of countable models. We prove these properties for STT with respect to Henkin models and for EFO with respect to standard models. We also show that the tableau system yields a decision procedure for three EFO fragments

    Probing the statistical properties of Anderson localization with quantum emitters

    Get PDF
    Wave propagation in disordered media can be strongly modified by multiple scattering and wave interference. Ultimately, the so-called Andersonlocalized regime is reached when the waves become strongly confined in space. So far, Anderson localization of light has been probed in transmission experiments by measuring the intensity of an external light source after propagation through a disordered medium. However, discriminating between Anderson localization and losses in these experiments remains a major challenge. In this paper, we present an alternative approach where we use quantum emitters embedded in disordered photonic crystal waveguides as light sources. Anderson-localized modes are efficiently excited and the analysis of the photoluminescence spectra allows us to explore their statistical properties, for example the localization length and average loss length. With increasing the amount of disorder induced in the photonic crystal, we observe a pronounced increase in the localization length that is attributed to changes in the local density of states, a behavior that is in stark contrast to entirely random systems. The analysis may pave the way for accurate models and the control of Anderson localization in disordered photonic crystalsWe thank P T Kristensen and N A Mortensen for fruitful discussions on the simulations and theoretical model and gratefully acknowledge financial support from the Villum Foundation, the Danish Council for Independent Research (Natural Sciences and Technology and Production Sciences) and the European Research Council (ERC consolidator grant). LSFP acknowledges financial support from the Spanish MICINN Consolider Nanolight project (CSD2007-00046

    The neural basis of video gaming

    Get PDF
    Video game playing is a frequent recreational activity. Previous studies have reported an involvement of dopamine-related ventral striatum. However, structural brain correlates of video game playing have not been investigated. On magnetic resonance imaging scans of 154 14-year-olds, we computed voxel-based morphometry to explore differences between frequent and infrequent video game players. Moreover, we assessed the Monetary Incentive Delay (MID) task during functional magnetic resonance imaging and the Cambridge Gambling Task (CGT). We found higher left striatal grey matter volume when comparing frequent against infrequent video game players that was negatively correlated with deliberation time in CGT. Within the same region, we found an activity difference in MID task: frequent compared with infrequent video game players showed enhanced activity during feedback of loss compared with no loss. This activity was likewise negatively correlated with deliberation time. The association of video game playing with higher left ventral striatum volume could reflect altered reward processing and represent adaptive neural plasticity. Translational Psychiatry (2011) 1, e53; doi: 10.1038/tp.2011.53; published online 15 November 2011</p

    Towards the integration of functions, relations and types in an AI programming language

    Get PDF
    This paper describes the design and implementation of the programming language PC-Life. This language integrates the functional and the Logic-oriented programming style and feature types supporting inheritance. This combination yields a language particularly suited to knowledge representation, especially for application in computational linguistics

    The natural history of primary sclerosing cholangitis in 781 children. A multicenter, international collaboration

    Get PDF
    There are limited data on the natural history of primary sclerosing cholangitis (PSC) in children. We aimed to describe the disease characteristics and long-term outcomes of pediatric PSC. We retrospectively collected all pediatric PSC cases from 36 participating institutions and conducted a survival analysis from the date of PSC diagnosis to dates of diagnosis of portal hypertensive or biliary complications, cholangiocarcinoma, liver transplantation, or death. We analyzed patients grouped by disease phenotype and laboratory studies at diagnosis to identify objective predictors of long-term outcome. We identified 781 patients, median age 12 years, with 4,277 person-years of follow-up; 33% with autoimmune hepatitis, 76% with inflammatory bowel disease, and 13% with small duct PSC. Portal hypertensive and biliary complications developed in 38% and 25%, respectively, after 10 years of disease. Once these complications developed, median survival with native liver was 2.8 and 3.5 years, respectively. Cholangiocarcinoma occurred in 1%. Overall event-free survival was 70% at 5 years and 53% at 10 years. Patient groups with the most elevated total bilirubin, gamma-glutamyltransferase, and aspartate aminotransferase-to-platelet ratio index at diagnosis had the worst outcomes. In multivariate analysis PSC-inflammatory bowel disease and small duct phenotypes were associated with favorable prognosis (hazard ratios 0.6, 95% confidence interval 0.5-0.9, and 0.7, 95% confidence interval 0.5-0.96, respectively). Age, gender, and autoimmune hepatitis overlap did not impact long-term outcome. CONCLUSION: PSC has a chronic, progressive course in children, and nearly half of patients develop an adverse liver outcome after 10 years of disease; elevations in bilirubin, gamma-glutamyltransferase, and aspartate aminotransferase-to-platelet ratio index at diagnosis can identify patients at highest risk; small duct PSC and PSC-inflammatory bowel disease are more favorable disease phenotypes

    impulsivity and the impact of contextual cues on instrumental behavior in alcohol dependence

    Get PDF
    Alcohol-related cues acquire incentive salience through Pavlovian conditioning and then can markedly affect instrumental behavior of alcohol-dependent patients to promote relapse. However, it is unclear whether similar effects occur with alcohol-unrelated cues. We tested 116 early-abstinent alcohol- dependent patients and 91 healthy controls who completed a delay discounting task to assess choice impulsivity, and a Pavlovian-to-instrumental transfer (PIT) paradigm employing both alcohol-unrelated and alcohol-related stimuli. To modify instrumental choice behavior, we tiled the background of the computer screen either with conditioned stimuli (CS) previously generated by pairing abstract pictures with pictures indicating monetary gains or losses, or with pictures displaying alcohol or water beverages. CS paired to money gains and losses affected instrumental choices differently. This PIT effect was significantly more pronounced in patients compared to controls, and the group difference was mainly driven by highly impulsive patients. The PIT effect was particularly strong in trials in which the instrumental stimulus required inhibition of instrumental response behavior and the background CS was associated to monetary gains. Under that condition, patients performed inappropriate approach behavior, contrary to their previously formed behavioral intention. Surprisingly, the effect of alcohol and water pictures as background stimuli resembled that of aversive and appetitive CS, respectively. These findings suggest that positively valenced background CS can provoke dysfunctional instrumental approach behavior in impulsive alcohol- dependent patients. Consequently, in real life they might be easily seduced by environmental cues to engage in actions thwarting their long-term goals. Such behaviors may include, but are not limited to, approaching alcohol

    Design and optimization of index-guiding photonic crystal fiber gas sensor

    Get PDF
    Globalization is becoming an important issue for most businesses in the world. Since globalization changes business trends and shortens product life cycles, it requires companies to be more innovative in developing new ideas, products and processes. Clustering is one of ways to promote innovation by facilitating sharing information and ideas between firms, attracting buyers and suppliers, and providing opportunities for joint training. Many researches in developed countries found that the proximity between companies facilitated collaboration and provided a more conducive environment for R&amp;D and knowledge sharing which can develop culture of entrepreneurship and innovation. Then, the success of clusters in developed countries has led many government and companies to establish new clusters.Since products from China have been dominated Indonesia's market share with lower price, it is very difficult for Indonesian Small and Medium Enterprises to compete with lower price also. Therefore, to face the competition, innovation is perhaps as an alternative strategy for Indonesian SMEs. In facts, more than 50% of small and medium enterprises in Indonesia are located in clusters and most of them are located in Java, Bali and Nusa Tenggara. Even though they located in cluster but their innovations still very low and judging from technology perspective, most of them have low level of technologies and still remain in the underdeveloped stage. Therefore, in this research, the author tries to find (1). To what extend do cluster Indonesia promote innovation, (2). To find the reasons why clusters in Indonesia has not been working well in promoting innovation and (3). To investigate what aspects can be improved by Indonesian SMEs to boost their innovation
    corecore