snu-aidas/HVMap-dataset huggingface dataset:
TASK Channels on Basal Forebrain Cholinergic Neurons Modulate Electrocortical Signatures of Arousal by Histamine.

UNLABELLED
Basal forebrain cholinergic neurons are the main source of cortical acetylcholine, and their activation by histamine elicits cortical arousal. TWIK-like acid-sensitive K(+) (TASK) channels modulate neuronal excitability and are expressed on basal forebrain cholinergic neurons, but the role of TASK channels in the histamine-basal forebrain cholinergic arousal circuit is unknown. We first expressed TASK channel subunits and histamine Type 1 receptors in HEK cells. Application of histamine in vitro inhibited the acid-sensitive K(+) current, indicating a functionally coupled signaling mechanism. We then studied the role of TASK channels in modulating electrocortical activity in vivo using freely behaving wild-type (n = 12) and ChAT-Cre:TASK(f/f) mice (n = 12), the latter lacking TASK-1/3 channels on cholinergic neurons. TASK channel deletion on cholinergic neurons significantly altered endogenous electroencephalogram oscillations in multiple frequency bands. We then identified the effect of TASK channel deletion during microperfusion of histamine into the basal forebrain. In non-rapid eye movement sleep, TASK channel deletion on cholinergic neurons significantly attenuated the histamine-induced increase in 30-50 Hz activity, consistent with TASK channels contributing to histamine action on basal forebrain cholinergic neurons. In contrast, during active wakefulness, histamine significantly increased 30-50 Hz activity in ChAT-Cre:TASK(f/f) mice but not wild-type mice, showing that the histamine response depended upon the prevailing cortical arousal state. In summary, we identify TASK channel modulation in response to histamine receptor activation in vitro, as well as a role of TASK channels on cholinergic neurons in modulating endogenous oscillations in the electroencephalogram and the electrocortical response to histamine at the basal forebrain in vivo.


SIGNIFICANCE STATEMENT
Attentive states and cognitive function are associated with the generation of γ EEG activity. Basal forebrain cholinergic neurons are important modulators of cortical arousal and γ activity, and in this study we investigated the mechanism by which these neurons are activated by the wake-active neurotransmitter histamine. We found that histamine inhibited a class of K(+) leak channels called TASK channels and that deletion of TASK channels selectively on cholinergic neurons modulated baseline EEG activity as well as histamine-induced changes in γ activity. By identifying a discrete brain circuit where TASK channels can influence γ activity, these results represent new knowledge that enhances our understanding of how subcortical arousal systems may contribute to the generation of attentive states.
Promoting physical activity and health literacy: study protocol for a longitudinal, mixed methods evaluation of a cross-provider workplace-related intervention in Germany (The AtRisk study)

BACKGROUND
Physical activity and health literacy are topics of utmost importance in the prevention of chronic diseases. The present article describes the study protocol for evaluating a cross-provider workplace-related intervention promoting physical activity and health literacy.


METHODS
The RE-AIM Framework will be the conceptual framework of the AtRisk study. A controlled natural experiment and a qualitative study will be conducted. The cross-provider intervention is based on the cooperation of the German Pension Fund Rhineland and cooperating German Statutory Health Insurances. It combines two components: a behavior-oriented lifestyle intervention and the assignment of a health coach. The single-provider intervention only includes the behavior-oriented lifestyle intervention. The quantitative study (natural experiment) encompasses three measuring points (T0 = start of the behavior-oriented lifestyle intervention (baseline); T1 = end of the behavior-oriented lifestyle intervention (16 weeks); T2 = 6 month follow-up) and will compare the effectiveness of the cross-provider workplace-related intervention compared with the single provider intervention. Participants are employees with health related risk factors. ANCOVA will be used to evaluate the effect of the intervention on the outcome variables leisure time physical (primary outcome) activity and health literacy (secondary outcome). The qualitative study comprises semi-structured interviews, systematic field notes of stakeholder meetings and document analyses.


DISCUSSION
The AtRisk study will contribute towards the claim for cross-provider interventions and workplace-related approaches described in the new Preventive Health Care Act. The results of this study will inform providers, payers and policy makers about the effectiveness of a cross-provider workplace-related lifestyle intervention compared to a single-provider intervention. Beyond, the study will identify challenges for implementing cross-provider preventive interventions. With respect to the sustainability of preventive interventions the AtRisk study will give insight in the expectations and needs on health coaching from the perspective of different stakeholders.


TRIAL REGISTRATION
DRKS00010693 .
Digital Games in Education: The Design of Games-Based Learning Environments.

In recentyears, electronicgames have assumed an importantplace in the lives of children and adolescents. Children acquire digital literacy informally, through plaj and neither schools nor other educational institutions take suficient account of this important aspect. We consider that multimedia design for training and education should combine the mostpowerfulfedtures of interactive multimedia design with the most effective principles of technologically-mediated learning. An examination of the evolution of the design of videogames is a good way to analyze the main contributions and characteristics ofgames-ba~edlearnin~ environments. At the same time, we will discuss the main obstacles and challenges to the use ofgames for learning. (
Municipal Solid Waste Management Problems in Nigeria : Evolving Knowledge Management Solution

The paper attempts a synthesis of problems relating to municipal waste management in Nigeria and proposes a conceptual knowledge management approach for tackling municipal waste problems in cities across Nigeria. The application of knowledge management approach and strategy is crucial for inculcating a change of attitude towards improving the management of waste. The paper is a review of existing literatures, information, policies and data on municipal waste management in Nigeria. The inefficient management of waste by individuals, households, consumers and waste management companies can be attributed to inadequate information on waste management benefits, lack of producers’ involvement in waste management as well as poor implementation of government policies. The paper presents an alternative approach providing solutions promoting efficient municipal waste management. Keywords—Environment, Knowledge management, Municipal waste management, Nigeria.
Fundamentals for Future Mobile-Health (mHealth): A Systematic Review of Mobile Phone and Web-Based Text Messaging in Mental Health

BACKGROUND
Mobile phone text messages (short message service, SMS) are used pervasively as a form of communication. Almost 100% of the population uses text messaging worldwide and this technology is being suggested as a promising tool in psychiatry. Text messages can be sent either from a classic mobile phone or a web-based application. Reviews are needed to better understand how text messaging can be used in mental health care and other fields of medicine.


OBJECTIVE
The objective of the study was to review the literature regarding the use of mobile phone text messaging in mental health care.


METHODS
We conducted a thorough literature review of studies involving text messaging in health care management. Searches included PubMed, PsycINFO, Cochrane, Scopus, Embase and Web of Science databases on May 25, 2015. Studies reporting the use of text messaging as a tool in managing patients with mental health disorders were included. Given the heterogeneity of studies, this review was summarized using a descriptive approach.


RESULTS
From 677 initial citations, 36 studies were included in the review. Text messaging was used in a wide range of mental health situations, notably substance abuse (31%), schizophrenia (22%), and affective disorders (17%). We identified four ways in which text messages were used: reminders (14%), information (17%), supportive messages (42%), and self-monitoring procedures (42%). Applications were sometimes combined.


CONCLUSIONS
We report growing interest in text messaging since 2006. Text messages have been proposed as a health care tool in a wide spectrum of psychiatric disorders including substance abuse, schizophrenia, affective disorders, and suicide prevention. Most papers described pilot studies, while some randomized clinical trials (RCTs) were also reported. Overall, a positive attitude toward text messages was reported. RCTs reported improved treatment adherence and symptom surveillance. Other positive points included an increase in appointment attendance and in satisfaction with management and health care services. Insight into message content, preventative strategies, and innovative approaches derived from the mental health field may be applicable in other medical specialties.
Special Perforated Steel Plate Shear Walls with Reduced Beam Section Anchor Beams . I : Experimental Investigation

This paper presents results of an experimental investigation of specially detailed ductile perforated steel plate shear walls SPSWs designed to accommodate utility passage, and having anchor beams with reduced beam sections connections. Single-story, single-bay SPSW frames are subjected to quasi-static cyclic loading up to their maximum strength and displacement capacity. The tested specimens also had low yield strength steel infill panels. Two specimens make allowances for penetration of the panel by utilities. The first, having multiple holes specially laid out in the steel panel, also has the characteristic of reduced panel strength and stiffness compared to the corresponding SPSW having a solid panel. The second such specimen utilizes quarter-circle cutouts in the panel corners, which are reinforced to transfer the panel forces to the adjacent framing. A SPSW with solid panel is also tested for reference purposes. All specimens resisted an imposed input history of increasing displacements to a minimum drift of 3%. The perforated panel reduced the elastic stiffness and overall strength of the specimen by 15% as compared with the solid panel specimen. DOI: 10.1061/ ASCE 0733-9445 2009 135:3 211 CE Database subject headings: Steel plates; Beams; Anchors; Experimentation; Shear walls.
Cognitive behavioural therapy for major psychiatric disorder: does it really work? A meta-analytical review of well-controlled trials.

BACKGROUND
Although cognitive behavioural therapy (CBT) is claimed to be effective in schizophrenia, major depression and bipolar disorder, there have been negative findings in well-conducted studies and meta-analyses have not fully considered the potential influence of blindness or the use of control interventions.


METHOD
We pooled data from published trials of CBT in schizophrenia, major depression and bipolar disorder that used controls for non-specific effects of intervention. Trials of effectiveness against relapse were also pooled, including those that compared CBT to treatment as usual (TAU). Blinding was examined as a moderating factor.


RESULTS
CBT was not effective in reducing symptoms in schizophrenia or in preventing relapse. CBT was effective in reducing symptoms in major depression, although the effect size was small, and in reducing relapse. CBT was ineffective in reducing relapse in bipolar disorder.


CONCLUSIONS
CBT is no better than non-specific control interventions in the treatment of schizophrenia and does not reduce relapse rates. It is effective in major depression but the size of the effect is small in treatment studies. On present evidence CBT is not an effective treatment strategy for prevention of relapse in bipolar disorder.
2395-1621 Hand Gesture Recognition Using Flex Sensors

ARTICLE INFO In this system an electro-mechanical robot is designed and controlled using hand gesture in real time. The system is designed on microcontroller platform using Keil and MPLAB tools. Hand gesture recognition is done on the principle of resistance change sensed through flex sensor. These sensors are integrated in a hand gloves from which input to the system is given. The designed system is divided into two sections as transmitter and receiver. The transmitter section will be in hand gloves from which the data is sensed and processed through PIC16F7487 and send serially to the receiver section. RF technology is used to transmit the data at the receiver section at the frequency of 2.4 GHz. ARM 7 (LPC2148) processor is used to receive the data. Here from the received data, the character is predicted and matched with the closet character from which the character is identified and displayed on LCD. The various case studies is prepared for the designed system and tested in real time. The proposed system can be used for the various applications such as in unmanned machines, industries, handicapped personnel etc. Keywords— a Sensor gloves, flex sensors, PIC controller, ARM processor etc Article History Received:20 th September 2015 Received in revised form :
A survey of sparse matrix-vector multiplication performance on large matrices

One of the main sources of sparse matrices is the discretization of partial differential equations that govern continuumphysics phenomena such as fluid flow and transport, phase separation, mechanical deformation, electromagnetic wave propagation, and others. Recent advances in high-performance computing area have been enabling researchers to tackle increasingly larger problems leading to sparse linear systems with hundreds of millions to a few tens of billions of unknowns, e.g., [5, 6]. Iterative linear solvers are popular in large-scale computing as they consume less memory than direct solvers. Contrary to direct linear solvers, iterative solvers approach the solution gradually requiring the computation of sparse matrixvector (SpMV) products. The evaluation of SpMV products can emerge as a bottleneck for computational performance within the context of the simulation of large problems. In this work, we focus on a linear system arising from the discretization of the Cahn–Hilliard equation, which is a fourth order nonlinear parabolic partial differential equation that governs the separation of a two-component mixture into phases [3]. The underlying spatial discretization is performed using the discontinuous Galerkin method (e.g. [10]) and Newton’s method. A number of parallel algorithms and strategies have been evaluated in this work to accelerate the evaluation of SpMV products.
Mining and analyzing the enterprise knowledge graph

Today's enterprises hold ever-growing amounts of public data, stemming from different organizational systems, such as development environments, CRM systems, business intelligence systems, and enterprise social media. This data unlocks rich and diverse information about entities, people, terms, and the relationships among them. A lot of insight can be gained through analyzing this knowledge graph, both by individual employees and by the organization as a whole. In this talk, I will review recent work done by the Social Technologies & Analytics group at IBM Research-Haifa to mine these relationships, represent them in a generalized model, and use the model for different aims within the enterprise, including social search [5], expertise location [1], social recommendation [2, 3], and network analysis [4].
Understanding consumers' continuance intention towards mobile purchase: A theoretical framework and empirical study - A case of China

Although mobile purchase is convenient in the age of mobile commerce, many consumers still do not utilize mobile purchase to its full potential. From the mobile vendor’s perspective, retaining current customers and facilitating their continued purchase are crucial to create profitability and achieve a sustainable development. An understanding of the continuance intention towards mobile purchase can provide insights into mobile vendors’ marketing campaigns. Therefore, it is important to examine the determinants that impact continuance intentions of consumers for mobile purchase. Drawing upon information success model, flow theory and trust, this study proposed and empirically tested an integrated model to better understand the determinants of consumers’ continued intention to purchase on mobile sites. Empirical data from 462 users who had experience with mobile purchase were tested against the proposed research model by using structural equation modelling (SEM). The results indicated that information quality, and privacy and security concerns are the main factors affecting trust, whereas service quality is the main factor affecting flow. System quality, and privacy and security concerns affect satisfaction. Trust affects flow, which in turn affects satisfaction. These three factors together affect continued intention towards mobile purchase. The findings of this study provide several important implications for mobile commerce research and practice. 2015 Elsevier Ltd. All rights reserved.
Artificial intelligence framework for simulating clinical decision-making: A Markov decision process approach

OBJECTIVE
In the modern healthcare system, rapidly expanding costs/complexity, the growing myriad of treatment options, and exploding information streams that often do not effectively reach the front lines hinder the ability to choose optimal treatment decisions over time. The goal in this paper is to develop a general purpose (non-disease-specific) computational/artificial intelligence (AI) framework to address these challenges. This framework serves two potential functions: (1) a simulation environment for exploring various healthcare policies, payment methodologies, etc., and (2) the basis for clinical artificial intelligence - an AI that can "think like a doctor".


METHODS
This approach combines Markov decision processes and dynamic decision networks to learn from clinical data and develop complex plans via simulation of alternative sequential decision paths while capturing the sometimes conflicting, sometimes synergistic interactions of various components in the healthcare system. It can operate in partially observable environments (in the case of missing observations or data) by maintaining belief states about patient health status and functions as an online agent that plans and re-plans as actions are performed and new observations are obtained. This framework was evaluated using real patient data from an electronic health record.


RESULTS
The results demonstrate the feasibility of this approach; such an AI framework easily outperforms the current treatment-as-usual (TAU) case-rate/fee-for-service models of healthcare. The cost per unit of outcome change (CPUC) was $189 vs. $497 for AI vs. TAU (where lower is considered optimal) - while at the same time the AI approach could obtain a 30-35% increase in patient outcomes. Tweaking certain AI model parameters could further enhance this advantage, obtaining approximately 50% more improvement (outcome change) for roughly half the costs.


CONCLUSION
Given careful design and problem formulation, an AI simulation framework can approximate optimal decisions even in complex and uncertain environments. Future work is described that outlines potential lines of research and integration of machine learning algorithms for personalized medicine.
On the Margin Theory of Feedforward Neural Networks

Past works have shown that, somewhat surprisingly, over-parametrization can help generalization in neural networks. Towards explaining this phenomenon, we adopt a margin-based perspective. We establish: 1) for multilayer feedforward relu networks, the global minimizer of a weakly-regularized cross-entropy loss has the maximum normalized margin among all networks, 2) as a result, increasing the over-parametrization improves the normalized margin and generalization error bounds for two-layer networks. In particular, an infinite-size neural network enjoys the best generalization guarantees. The typical infinite feature methods are kernel methods; we compare the neural net margin with that of kernel methods and construct natural instances where kernel methods have much weaker generalization guarantees. We validate this gap between the two approaches empirically. Finally, this infinite-neuron viewpoint is also fruitful for analyzing optimization. We show that a perturbed gradient flow on infinite-size networks finds a global optimizer in polynomial time.
Limbic abnormalities in affective processing by criminal psychopaths as revealed by functional magnetic resonance imaging

BACKGROUND
Psychopathy is a complex personality disorder of unknown etiology. Central to the disorder are anomalies or difficulties in affective processing.


METHODS
Functional magnetic resonance imaging was used to elucidate the neurobiological correlates of these anomalies in criminal psychopaths during performance of an affective memory task.


RESULTS
Compared with criminal nonpsychopaths and noncriminal control participants, criminal psychopaths showed significantly less affect-related activity in the amygdala/hippocampal formation, parahippocampal gyrus, ventral striatum, and in the anterior and posterior cingulate gyri. Psychopathic criminals also showed evidence of overactivation in the bilateral fronto-temporal cortex for processing affective stimuli.


CONCLUSIONS
These data suggest that the affective abnormalities so often observed in psychopathic offenders may be linked to deficient or weakened input from limbic structures.
Modelling of Mechanical and Mechatronic Systems MMaMS 2014 Pressure Distribution in Transtibial Prostheses Socket and the Stump Interface

The paper deals with the problem of a biomechanical solution for human locomotion after amputation of a lower limb. With an inappropriately designed transtibial prostheses socket, the interaction between the socket and the stump occurs, leading to increased friction and subsequent surface damage to the soft tissue. In individual types of transtibial prostheses, locations are defined which can be loaded and which cannot be loaded. On the basis of the study of the anterior side of the stump, three loadable and two non-loadable areas were monitored using the TACTILUS tactile pressure sensor (Sensor Products Inc., Madison, New Jersey, USA). Methods of measuring individual values were proposed for the purpose of sensing the pressure in the socket and the liner interface, the stump and the liner interface. Each method includes the methodological preparation of the patient, the preparation of the room, the preparation of the measuring system, and the subsequent method of data processing. In the submitted paper, 11 stumps were non-invasively monitored. The method of assessing the pressure exerted on the stumps was focused on the monitoring of the pressure distribution in the selected areas. The results obtained by the pressure measurements were statistically processed. In both cases of the pressure system placement, the p-value was higher than 0.05; therefore, we can state that the sets are equal. © 2014 The Authors. Published by Elsevier Ltd. Peer-review under responsibility of organizing committee of the Modelling of Mechanical and Mechatronic Systems MMaMS 2014.