114,014 research outputs found

    Constructing the cultural repertoire in a natural disaster: The role of social media in the Thailand flood of 2011

    Get PDF
    In 2011, Thailand witnessed its worst flooding catastrophe in half a century. In this study, we explored social media as a new and promising weapon to address the physical and morale challenges caused by the natural disaster. A case study was conducted in the context of crisis response, whichinvestigated the use of social media to contribute to the collective cultural repertoire during the natural disaster. By investigating two paths toward the cultural repertoire construction considering different social groups, this study also identified the roles of social media as an information market and an information threshold in the crisis response

    Relational semantics of linear logic and higher-order model-checking

    Full text link
    In this article, we develop a new and somewhat unexpected connection between higher-order model-checking and linear logic. Our starting point is the observation that once embedded in the relational semantics of linear logic, the Church encoding of any higher-order recursion scheme (HORS) comes together with a dual Church encoding of an alternating tree automata (ATA) of the same signature. Moreover, the interaction between the relational interpretations of the HORS and of the ATA identifies the set of accepting states of the tree automaton against the infinite tree generated by the recursion scheme. We show how to extend this result to alternating parity automata (APT) by introducing a parametric version of the exponential modality of linear logic, capturing the formal properties of colors (or priorities) in higher-order model-checking. We show in particular how to reunderstand in this way the type-theoretic approach to higher-order model-checking developed by Kobayashi and Ong. We briefly explain in the end of the paper how his analysis driven by linear logic results in a new and purely semantic proof of decidability of the formulas of the monadic second-order logic for higher-order recursion schemes.Comment: 24 pages. Submitte

    Eluding SUSY at every genus on stable closed string vacua

    Full text link
    In closed string vacua, ergodicity of unipotent flows provide a key for relating vacuum stability to the UV behavior of spectra and interactions. Infrared finiteness at all genera in perturbation theory can be rephrased in terms of cancelations involving only tree-level closed strings scattering amplitudes. This provides quantitative results on the allowed deviations from supersymmetry on perturbative stable vacua. From a mathematical perspective, diagrammatic relations involving closed string amplitudes suggest a relevance of unipotent flows dynamics for the Schottky problem and for the construction of the superstring measure.Comment: v2, 17 pages, 8 figures, typos corrected, new figure added with 3 modular images of long horocycles,(obtained with Mathematica

    Modafinil-Induced changes in functional connectivity in the cortex and cerebellum of healthy elderly subjects

    Get PDF
    In the past few years, cognitive enhancing drugs (CEDs) have gained growing interest and the focus of investigations aimed at exploring their use to potentiate the cognitive performances of healthy individuals. Most of this exploratory CED-related research has been performed on young adults. However, CEDs may also help to maintain optimal brain functioning or compensate for subtle and or subclinical deficits associated with brain aging or early-stage dementia. In this study, we assessed effects on resting state brain activity in a group of healthy elderly subjects undergoing acute administration of modafinil, a wakefulness-promoting agent. To that aim, participants (n = 24) were investigated with resting state functional Magnetic Resonance Imaging (rs-fMRI) before and after the administration of a single dose (100 mg) of modafinil. Effects were compared to age and size-matched placebo group. Rs-fMRI effects were assessed, employing a graph-based approach and Eigenvector Centrality (EC) analysis, by taking in account topological changes occurring in functional brain networks. The main finding of the study is that modafinil promotes enhanced centrality, a measure of the importance of nodes within functional networks, of the bilateral primary visual (V1) cortex. EC analysis also revealed that modafinil-treated subjects show increased functional connectivity between the V1 and specific cerebellar (Crus I, Crus II, VIIIa lobule) and frontal (right inferior frontal sulcus and left middle frontal gyrus) regions. Present findings provide functional data supporting the hypothesis that modafinil can modulate the cortico-cerebellar connectivity of the aging brai

    Deep Learning Based Vehicle Make-Model Classification

    Full text link
    This paper studies the problems of vehicle make & model classification. Some of the main challenges are reaching high classification accuracy and reducing the annotation time of the images. To address these problems, we have created a fine-grained database using online vehicle marketplaces of Turkey. A pipeline is proposed to combine an SSD (Single Shot Multibox Detector) model with a CNN (Convolutional Neural Network) model to train on the database. In the pipeline, we first detect the vehicles by following an algorithm which reduces the time for annotation. Then, we feed them into the CNN model. It is reached approximately 4% better classification accuracy result than using a conventional CNN model. Next, we propose to use the detected vehicles as ground truth bounding box (GTBB) of the images and feed them into an SSD model in another pipeline. At this stage, it is reached reasonable classification accuracy result without using perfectly shaped GTBB. Lastly, an application is implemented in a use case by using our proposed pipelines. It detects the unauthorized vehicles by comparing their license plate numbers and make & models. It is assumed that license plates are readable.Comment: 10 pages, ICANN 2018: Artificial Neural Networks and Machine Learnin

    Altered Kv2.1 functioning promotes increased excitability in hippocampal neurons of an Alzheimer's disease mouse model.

    Get PDF
    Altered neuronal excitability is emerging as an important feature in Alzheimer's disease (AD). Kv2.1 potassium channels are important modulators of neuronal excitability and synaptic activity. We investigated Kv2.1 currents and its relation to the intrinsic synaptic activity of hippocampal neurons from 3xTg-AD (triple transgenic mouse model of Alzheimer's disease) mice, a widely employed preclinical AD model. Synaptic activity was also investigated by analyzing spontaneous [Ca(2+)]i spikes. Compared with wild-type (Non-Tg (non-transgenic mouse model)) cultures, 3xTg-AD neurons showed enhanced spike frequency and decreased intensity. Compared with Non-Tg cultures, 3xTg-AD hippocampal neurons revealed reduced Kv2.1-dependent Ik current densities as well as normalized conductances. 3xTg-AD cultures also exhibited an overall decrease in the number of functional Kv2.1 channels. Immunofluorescence assay revealed an increase in Kv2.1 channel oligomerization, a condition associated with blockade of channel function. In Non-Tg neurons, pharmacological blockade of Kv2.1 channels reproduced the altered pattern found in the 3xTg-AD cultures. Moreover, compared with untreated sister cultures, pharmacological inhibition of Kv2.1 in 3xTg-AD neurons did not produce any significant modification in Ik current densities. Reactive oxygen species (ROS) promote Kv2.1 oligomerization, thereby acting as negative modulator of the channel activity. Glutamate receptor activation produced higher ROS levels in hippocampal 3xTg-AD cultures compared with Non-Tg neurons. Antioxidant treatment with N-Acetyl-Cysteine was found to rescue Kv2.1-dependent currents and decreased spontaneous hyperexcitability in 3xTg-AD neurons. Analogous results regarding spontaneous synaptic activity were observed in neuronal cultures treated with the antioxidant 6-hydroxy-2,5,7,8-tetramethylchroman-2-carboxylic acid (Trolox). Our study indicates that AD-related mutations may promote enhanced ROS generation, oxidative-dependent oligomerization, and loss of function of Kv2.1 channels. These processes can be part on the increased neuronal excitability of these neurons. These steps may set a deleterious vicious circle that eventually helps to promote excitotoxic damage found in the AD brain
    • …
    corecore