Miracle-dz/UniFAR-FTUs huggingface dataset:
Internet- and Mobile-Based Psychological Interventions: Applications, Efficacy, and Potential for Improving Mental Health A Report of the EFPA E-Health Taskforce

The majority of mental health disorders remain untreated. Many limitations of traditional psychological interventions such as limited availability of evidence-based interventions and clinicians could potentially be overcome by providing Internet- and mobile-based psychological interventions (IMIs). This paper is a report of the Taskforce E-Health of the European Federation of Psychologists’ Association and will provide an introduction to the subject, discusses areas of application, and reviews the current evidence regarding the efficacy of IMIs for the prevention and treatment of mental disorders. Meta-analyses based on randomized trials clearly indicate that therapist-guided stand-alone IMIs can result in meaningful benefits for a range of indications including, for example, depression, anxiety, insomnia, or posttraumatic stress disorders. The clinical significance of results of purely self-guided interventions is for many disorders less clear, especially with regard to effects under routine care conditions. Studies on the prevention of mental health disorders (MHD) are promising. Blended concepts, combining traditional face-to-face approaches with Internet- and mobile-based elements might have the potential of increasing the effects of psychological interventions on the one hand or to reduce costs of mental health treatments on the other hand. We also discuss mechanisms of change and the role of the therapist in such approaches, contraindications, potential limitations, and risk involved with IMIs, briefly review the status of the implementation into routine health care across Europe, and discuss confidentiality as well as ethical aspects that need to be taken into account, when implementing IMIs. Internet- and mobile-based psychological interventions have high potential for improving mental health and should be implemented more widely in routine care.
Long-Term Consequences of Switching Handedness: A Positron Emission Tomography Study on Handwriting in “Converted” Left-Handers

Until some decades ago, left-handed children who attended German schools were forced to learn to write with their right hand. To explore the long-term consequences of switching handedness, we studied the functional neuroanatomy of handwriting in 11 adult “converted” left-handers and 11 age-matched right-handers. All participants had used exclusively their right hand for writing since early childhood. Using [15O]H2O positron emission tomography, changes in normalized regional cerebral blood flow (rCBF) were assessed while participants repetitively wrote a stereotyped word with their right hand. The kinematics of handwriting did not differ between converted left-handers and right-handers. In innate right-handers, handwriting caused a preponderant left-hemispheric activation of parietal and premotor association areas. In contrast, converted left-handers demonstrated a more bilateral activation pattern with distinct activation foci in the right lateral premotor, parietal, and temporal cortex. Moreover, foci in the right rostral supplementary motor area and the right inferior parietal lobule demonstrated a positive linear relationship between the degree of “left-handedness” and normalized rCBF during right-hand writing. Functional activity in the primary sensorimotor cortex was not affected by handedness. Our findings provide evidence for persisting differences in the functional neuroanatomy of handwriting between right-handers and converted left-handers, despite decades of right-hand writing. Right-hemispheric activation in converted left-handers may reflect suppression of unwanted left-hand movements. Alternatively, this activity may represent persistent left-handedness and, as such, demonstrate a hemispheric asymmetry of hand movement representations in cortical motor association areas in relation to the direction and degree of handedness.
Bank Leverage and Monetary Policy's Risk-Taking Channel: Evidence from the United States

We present evidence of a risk-taking channel of monetary policy for the U.S. banking system. We use confidential data on banks' internal ratings on loans to businesses over the period 1997 to 2011 from the Federal Reserve's survey of terms of business lending. We find that ex-ante risk taking by banks (measured by the risk rating of new loans) is negatively associated with increases in short-term interest rates. This relationship is more pronounced in regions that are less in sync with the nationwide business cycle, and less pronounced for banks with relatively low capital or during periods of financial distress.
A literature survey on question answering system in natural language processing

In order to respond to usual free form of questions that is contained in a large collection of informative texts or information. For this to hap-pen one must understand what type of questions are being imposed and thus to also know a few knowledge about the process. The con-straints will include the semantic and syntactic knowledge and framing that sort of question with possible correct answers. Thus this paper gives you a clear vision of how its being worked on question answering and thus it presents a machine learning approach. Also ways a important way of giving answers to closed domain in a different data set of know.
Research on the service enterprise's dynamic ability based on E-learning

E-learning makes it easier for service enterprises to access and update their knowledge. They will adapt to the changing market environment easily. And E-learning also helps enterprises establish long-term core competitiveness and build leading market position. This means that E-learning will have a significant impact on the dynamic ability of the service enterprises. In this paper, the dynamic ability of service enterprises will be divided into four elements: building ability, integrating ability, re-configuring ability and continuously innovating ability. Deep study will be conducted on the basis of this.
Experimental Validation of TCP Performance in GEG Satellite link Conditions

Transmission Control Protocol was designed to work over the networks characterized by low delay and negligible bit error rates. Transmission Control Protocol (TCP) performance degrades when TCP traffic is carried over the satellite networks that have large latency, high bit error rates and path asymmetry. To comprehend the effect of satellite conditions over TCP, we have evaluated the TCP performance by three universally accepted methodologies i.e. Simulation, emulation and experimentation. The experimentation has been carried out over actual Geostationary Earth Orbit (GEO) satellite link equipped with tangible hardware at ground station. This paper discusses each of the three methods used to evaluate the TCP and describes the results that clearly bring out the degree of performance degradation and the impact of various link parameters on the TCP performance. Experiments based analysis of the TCP over satellite network assist to gather the more realistic statistics for benchmarking that will be useful guide to understand the protocol limitations that further steer in enhancing its capabilities by make it an efficient protocol for satellite networks. Emulation and Simulation results clearly demonstrate the effect of latency and bit errors of satellite links. Simulation results, in particular bring out the effect of various error levels in satellite links over TCP flavors working in well known operating systems.
Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations

In this paper we present a Gentzen system for reasoning with contrary-to-duty obligations. The intuition behind the system is that a contrary-to-duty is a special kind of normative exception. The logical machinery to formalise this idea is taken from substructural logics and it is based on the definition of a new non-classical connective capturing the notion of reparational obligation. Then the system is tested against well-known contrary-to-duty paradoxes.
Gender difference in publication among recent OR/MS sci-entific publications in top journals

In this paper, we undertake a statistical analysis that uses Estimation Theory in order to measure the participation of women as authors (or co-authors) in top publications in the fields of Operations Research and Management Sciences in recent years. Our results are based on a survey of articles published in top international journals between 2008 and 2013. Our findings show that the participation of women is much lower than their male counterparts. Moreover, we further analyze the papers in our survey in order to obtain insights regarding other aspects such as the subjects in which women tend to focus the most. We also discuss some potential implications of our findings along with future research directions.
Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study

Formal verification through model checking proved to be a very useful validation technique for security protocols: authentication, key agreement, non-repudiation, confidentiality, etc. But it has not been yet fully applied for the security properties of secure routing protocols for ad hoc networks. Few researchers had tried this approach. But they had mainly used Promela and SPIN, a tool that is relatively difficult to use. On the other hand, other researchers used formal analysis, a mathematical approach with good results but that is hard to automate. In this paper we present the use of AVISPA in this purpose. We show that the model under which the verification is made is identical to the models used by the researchers that implemented verification in SPIN or by the ones that used formal analysis. Then we present an actual verification taking as a case study ARAN secure routing protocol.
Tamalin, a PDZ Domain-Containing Protein, Links a Protein Complex Formation of Group 1 Metabotropic Glutamate Receptors and the Guanine Nucleotide Exchange Factor Cytohesins

In this investigation, we report identification and characterization of a 95 kDa postsynaptic density protein (PSD-95)/discs-large/ZO-1 (PDZ) domain-containing protein termed tamalin, also recently named GRP1-associated scaffold protein (GRASP), that interacts with group 1 metabotropic glutamate receptors (mGluRs). The yeast two-hybrid system and in vitro pull-down assays indicated that the PDZ domain-containing, amino-terminal half of tamalin directly binds to the class I PDZ-binding motif of group 1 mGluRs. The C-terminal half of tamalin also bound to cytohesins, the members of guanine nucleotide exchange factors (GEFs) specific for the ADP-ribosylation factor (ARF) family of small GTP-binding proteins. Tamalin mRNA is expressed predominantly in the telencephalic region and highly overlaps with the expression of group 1 mGluR mRNAs. Both tamalin and cytohesin-2 were enriched and codistributed with mGluR1a in postsynaptic membrane fractions. Importantly, recombinant and native mGluR1a/tamalin/cytohesin-2 complexes were coimmunoprecipitated from transfected COS-7 cells and rat brain tissue, respectively. Transfection of tamalin and mutant tamalin lacking a cytohesin-binding domain caused an increase and decrease in cell-surface expression of mGluR1a in COS-7 cells, respectively. Furthermore, adenovirus-mediated expression of tamalin and dominant-negative tamalin facilitated and reduced the neuritic distribution of endogenous mGluR5 in cultured hippocampal neurons, respectively. The results indicate that tamalin plays a key role in the association of group 1 mGluRs with the ARF-specific GEF proteins and contributes to intracellular trafficking and the macromolecular organization of group 1 mGluRs at synapses.
A reinforcement learning algorithm for optimal motion of car-like vehicles

We propose a new reinforcement learning algorithm to obtain the optimal motion of a vehicle considering kinematic and obstacle constraints. The algorithm is an extension of the CACM technique for learning the dynamic behaviour of the vehicle instead of using its analytical state equations. The method overcomes some limitations of reinforcement learning techniques when they are employed in applications with continuous non-linear systems, such as car-like vehicles. In particular, a good approximation to the optimal behaviour is obtained by a lookup table without of using function approximation. Simulation results of learning optimal motion in the presence of obstacles are reported to show the satisfactory performance of the method compared with the popular Q-learning algorithm.
A smarter way to manage asthma with a combination of a long-acting β2-agonist and inhaled corticosteroid

Symbicort SMART® (Symbicort Maintenance and Reliever Therapy) represents a new and unique way of treating patients with moderate-to-severe asthma, ie, those patients who require combination treatment with an inhaled corticosteroid and a long-acting inhaled β2-agonist. Symbicort SMART enables patients to use only one inhaler, the budesonide-formoterol combination inhaler, for both maintenance and reliever therapy. The maintenance dose is adjustable, but should be a minimum of two doses per day which can be administered as two doses once daily or as one dose twice daily. It is important that the temporary reliever medication includes not only a bronchodilator but also an antiinflammatory drug because worsening of asthma includes not only more airway narrowing, but also an increase in airway inflammation. The Symbicort SMART concept therefore ensures that the patient gets an antiinflammatory drug at the time of the first signs of asthma worsening. Clinical results show that Symbicort SMART prolongs the time to the first severe asthma exacerbation, reduces the rate of exacerbations, and maintains day-to-day asthma control at a reduced load of corticosteroids (inhaled plus systemic) when compared with higher fixed maintenance doses of combination inhalers. Symbicort SMART consequently offers a more effective and simple approach to asthma management for physicians and patients. Symbicort SMART is also easier for the patient as only one inhaler is required. The positive results with Symbicort SMART can be explained by the early as-needed use on the inhaled corticosteroid component, which puts out the early flames of inflammation, together with the interaction between the β2-agonist, formoterol, and the inhaled corticosteroid, budesonide.
Workload modeling using pseudo2D-HMM

In this paper, we present a novel approach for accurate modeling of computer workloads. According to this approach, the sequences of features generated by a program during its execution are considered as time series and are processed with signal processing techniques both for feature extraction and statistical pattern matching. In the feature extraction phase we used spectral analysis for describing the sequence and to retain the important information. In the pattern matching phase we used a simplified form of bidimensional Hidden Markov Model, called pseudo2D-HMM, as Statistical Machine Learning Algorithm. Several processes of the same workload are necessary to obtain a 2D-HMM model of the workload. In this way, the models are obtained in an initial training phase; we developed techniques for on-line workload classification of a running process and for synthetic traces generation. The proposed algorithms is evaluated via trace-driven simulations using the SPEC 2000 workloads. We show that pseudo2D-HMMs accurately describe memory references sequences; the classification accuracy is about 92% with six different workloads.
The basic model and some results from Martin Lettau and Harald Uhlig ( 1999 ) : “ Rules of Thumb versus Dynamic Programming

Lettau and Uhlig (1999) motivate their analysis by the observation that standard macroeconomic theory has difficulties to explain the empirically observed high sensitivity of consumption to transitory income. Standard modern macro theory describes the consumption-and-saving decisions of economic agents as the solution to a dynamic optimisation problem of maximising a concave utility function (usually assumed to be additively separable over time) subject to a sequence of budget restrictions. One (well-known) result is that agents are predicted to smooth consumption over time as well as across different states of the world. Some researchers (e.g., Campbell and Mankiw, 1990) have proposed “rulesof-thumb” consumers as an explanation.1 Various crucial questions arise, however, when assuming rule-of-thumb behaviour: What are the rules that researchers should endow their artificial agents with? If the agents are equipped with several rules, how do they decide which one to use in a given situation? In this context, it may become important to model the agents’ evaluation of their rules, such that they can learn which rules are useful and which are not. Consequently and very importantly: why should the agents stick to rules of thumb which make them worse off compared to what they would be if they engaged in dynamic optimisation? 2
Quality of signaling (QoSg) metrics for evaluating SIP transaction performance

Service quality and user-perceived experience has been a networking research topic for many years. Whereas most related work concentrates on the quality of media, only very few papers, however, discuss the performance of the signaling for those media. This paper addresses the performance of the Session Initiation Protocol (SIP) which is very popular with Next Generation Networks (NGN). A collection of metrics, the so-called Quality of Signalling (QoSg), is introduced for measuring SIP signaling delays. In contrast to traditional end-to-end performance metrics, QoSg aims at evaluating individual SIP transactions. Therefore, this approach can be applied anywhere in the SIP network and allows for additional insight, for instance regarding congestion detection or SLA monitoring.
Temporal Forces and Type Coercion in Strings

Durative forces are introduced to Finite State Temporality (the application of Finite State Methods to Temporal Semantics). Punctual and durative forces are shown to have natural representations as fluents which place certain constraints on strings. These forces are related to previous work on stative explanations of aspectual classification. Given this extended ontology, it is shown how type coercion can be handled in this framework.
In vitro comparison of the effects of rough and polished stem surface finish on pressure generation in cemented hip arthroplasty

Background and purpose High pressures around implants can cause bone lysis and loosening. We investigated how pressures are generated around cemented femoral stems. Method We compared the pressures generated by rough and polished tapered stems at their cement interfaces, in an in vitro model, before and after 1 million load cycles. Results At the start of the study, the loading of both polished and rough stems generated interface pressures that were not statistically significantly different. After 1 million load cycles, the rough stems generated greater interface pressures than at the start (p = 0.03), with maximum pressure wave amplitudes of 450,000 Pa or 3,375 mm Hg. The pressures generated by polished stems were similar before and after 1 million load cycles, and were lower than the pressures generated by the rough stems (p = 0.01). Stem loading caused micromotion between the stem and cement. Polished stems migrated distally in the cement but retained rotational and axial stability. The rough stems also migrated distally and wore the cement mantle, leading to increased rotational instability. Interpretation The change in the rotational micromotion of the rough stem is likely to be the principal cause of the increased stem pump output and to be a key factor in the longevity of cemented femoral implants.
Policy Reforms , Housing , and Wealth Inequality ∗

I develop a quantitative, dynamic general equilibrium model of life cycle behavior to study the effects of several policy reforms on assets composition over the life cycle, wealth distribution and aggregate saving. Privatizing social security increases aggregate saving, decreases overall wealth inequality, and generates large welfare gain, especially for agents with high initial productivity. Lowering down payment encourages income poor households to hold more housing assets and generates a welfare gain for agents with low initial productivity. Lowering transaction costs encourages households to hold more housing assets and generates a welfare gain for agents of every initial productivity. JEL Classification: E21, H31, J14, R21
EHDViz: clinical dashboard development using open-source technologies

Objective To design, develop and prototype clinical dashboards to integrate high-frequency health and wellness data streams using interactive and real-time data visualisation and analytics modalities. Materials and methods We developed a clinical dashboard development framework called electronic healthcare data visualization (EHDViz) toolkit for generating web-based, real-time clinical dashboards for visualising heterogeneous biomedical, healthcare and wellness data. The EHDViz is an extensible toolkit that uses R packages for data management, normalisation and producing high-quality visualisations over the web using R/Shiny web server architecture. We have developed use cases to illustrate utility of EHDViz in different scenarios of clinical and wellness setting as a visualisation aid for improving healthcare delivery. Results Using EHDViz, we prototyped clinical dashboards to demonstrate the contextual versatility of EHDViz toolkit. An outpatient cohort was used to visualise population health management tasks (n=14 221), and an inpatient cohort was used to visualise real-time acuity risk in a clinical unit (n=445), and a quantified-self example using wellness data from a fitness activity monitor worn by a single individual was also discussed (n-of-1). The back-end system retrieves relevant data from data source, populates the main panel of the application and integrates user-defined data features in real-time and renders output using modern web browsers. The visualisation elements can be customised using health features, disease names, procedure names or medical codes to populate the visualisations. The source code of EHDViz and various prototypes developed using EHDViz are available in the public domain at http://ehdviz.dudleylab. org. Conclusions Collaborative data visualisations, wellness trend predictions, risk estimation, proactive acuity status monitoring and knowledge of complex disease indicators are essential components of implementing data-driven precision medicine. As an open-source visualisation framework capable of integrating health assessment, EHDViz aims to be a valuable toolkit for rapid design, development and implementation of scalable clinical data visualisation dashboards.