Miracle-dz/UniFAR-FTUs huggingface dataset:
Internet-Delivered Cognitive Control Training as a Preventive Intervention for Remitted Depressed Patients: Evidence From a Double-Blind Randomized Controlled Trial Study

Background: Cognitive control impairments may place remitted depressed (RMD) patients at increased risk for developing future depressive symptomatology by disrupting emotion regulation processes. Research has shown that directly targeting cognitive control has beneficial effects on high trait ruminators and clinically depressed patients. The current study tested whether internet-delivered cognitive control training (CCT) can be used as an intervention to increase resilience to depression in RMD patients. Method: Effects of CCT were assessed using a double-blind randomized controlled design. RMD patients performed 10 sessions of a working memory-based CCT (N = 34) or a low cognitive load training (N = 34; active control condition) over a period of 14 days. Assessments took place prior to training, immediately following 2 weeks of training, and at 3 months follow-up. Brooding and depressive symptomatology were selected as primary outcome measures, alternative indicators for emotion regulation and residual symptomatology were selected as secondary outcome measures, along with indicators of functioning. Results: Compared to an active control condition, CCT demonstrated beneficial effects on a cognitive transfer task, brooding, depressive symptomatology, residual complaints, self-reported use of general maladaptive emotion regulation strategies, and resilience after controlling for intention to treat. Furthermore, completers of the CCT reported a reduction in experienced disability and cognitive complaints. However, no beneficial effects were found for self-reported use of adaptive emotion regulation strategies. Conclusions: These findings demonstrate the effectiveness of CCT as an intervention to reduce cognitive vulnerability, residual symptomatology, and foster resilience following recovery from depression. CCT thus holds potential as a preventive intervention for RMD patients. ClinicalTrials.gov (Identifier: NCT02407652)
A Novel Phase Portrait to Understand Neuronal Excitability

Fifty years ago, Fitzugh introduced a phase portrait that became famous for a twofold reason: it captured in a physiological way the qualitative behavior of Hodgkin-Huxley model and it revealed the power of simple dynamical models to unfold complex firing patterns. To date, in spite of the enormous progresses in qualitative and quantitative neural modeling, this phase portrait has remained the core picture of neuronal excitability. Yet, a major difference between the neurophysiology of 1961 and of 2011 is the recognition of the prominent role of calcium channels in firing mechanisms. We show that including this extra current in Hodgkin-Huxley dynamics leads to a revision of Fitzugh-Nagumo phase portrait that affects in a fundamental way the reduced modeling of neural excitability. The revisited model considerably enlarges the modeling power of the original one. In particular, it captures essential electrophysiological signatures that otherwise require non-physiological alteration or considerable complexication of the classical model. As a basic illustration, the new model is shown to highlight a core dynamical mechanism by which the calcium conductance controls the two distinct firing modes of thalamocortical neurons.
Optimum Power Allocations for Fading Decode-and-Forward Relay Channel

In this paper, for a fading decode-and-forward full-duplex relay channel, we analytically derive optimum power allocations. Individual power constraints for the source and the relay are assumed and the related optimization problem is analyzed for two scenarios. First, optimization is taken over the source power, the relay power, and the correlation coefficient between the transmitted signals of the source and the relay. Then, for a fixed value of correlation coefficient, the optimization problem is analyzed. It is also proven that the optimization problems are convex for these two scenarios. Finally, implications of theoretical results are discussed through simulations for each scenario.
GeoClustering: A web service for geospatial clustering

Geospatial clustering is a very important research topic in the field of „Geospatial Knowledge Discovery. ‟ Its main purpose is to group similar objects, from large geospatial datasets, into clusters, based on the objects‟ spatial and non-spatial attributes. This capability is very useful for better understanding the patterns and distributions of geographical phenomena. With the emerging availability of large amounts of geospatial data on the Internet, the demand for powerful methods of extracting meaningful information from large amounts of web-based geospatial data is thus also rapidly increasing. In this chapter, we present a geospatial clustering web service called GeoClustering. With this service, users are able to cluster online data sources easily and to then conveniently visualize the clustering results through a friendly map-centric user interface. Since it is web-based, GeoClustering offers a platform that can be accessed by anyone from anywhere at any time. To achieve better interoperability, GeoClustering offers an API and follows the OGC standard data format for spatial data exchange.
QoS-QoE correlation neural network modeling for mobile internet services

The user's loyalty is a key component to be considered by the mobile telecommunication operator into a highly competitive environment with a continuous growth of mobile internet services. For this reason, we propose a methodology to support the network performance decision to provide mobile internet services based in the users perception. The correlation between the Quality of Service parameters and the Quality of Experience is the base of this methodology; we use two different neural network models to obtain the final correlation model. The model is proved gathering information of five different cells using a 3G modem and a 3G mobile phone (Android OS). In this work we are validating the model obtained only with gathering network performance parameters.
A Regularized Nonlinear Discrimination Approach

For nonlinear discrimination analysis technique, there are some key points worthy of further research. One is finding an effective rule to select appropriate kernel function parameter for different sample sets. Another is providing a simple and efficient solution for the singularity problem of within-class scatter matrix. In this paper, we focus on these two points and address a regularized nonlinear discrimination analysis approach. We first present a definition of regularized within-class scatter and provide a very simple solution of regularization parameter. Then, a nonlinear discriminant judgment is proposed to select the parameter of radial basis function. A large public face database is used as the test data. The experimental results demonstrate that the proposed approach outperforms several representative nonlinear discrimination methods.
EFFECTS OF CIGARETTE SMOKE EXPOSURE AND CESSATION ON INFLAMMATORY CELLS AND MATRIX METALLOPROTEINASE ACTIVITY IN MICE

B6C3F1 female mice were exposed to cigarette smoke (CS) (250 mg/m3 total particulate material) or filtered air (FA), 6 hours/day, 5 days/week, for 6, 7, or 10 weeks, or to CS for 6 weeks, then FA for 1 or 4 additional weeks. Exposure to CS increased macrophages, neutrophils, lymphocytes, and matrix metalloproteinase (MMP)-2 and MMP-9 content in bronchoalveolar lavage fluid. Partial recovery of most lavage parameters (except lymphocytes) was observed 1 week after cessation of CS exposure with further reductions after 4 weeks, but interstitial inflammation persisted longer. These results support a role for MMPs in CS-induced emphysema and indicate that smoking cessation allows restoration toward normal homeostasis.
Multicolour Poisson matching

Consider several independent Poisson point processes on R^d, each with a different colour and perhaps a different intensity, and suppose we are given a set of allowed family types, each of which is a multiset of colours such as red-blue or red-red-green. We study translation-invariant schemes for partitioning the points into families of allowed types. This generalizes the 1-colour and 2-colour matching schemes studied previously (where the sets of allowed family types are the singletons {red-red} and {red-blue} respectively). We characterize when such a scheme exists, as well as the optimal tail behaviour of a typical family diameter. The latter has two different regimes that are analogous to the 1-colour and 2-colour cases, and correspond to the intensity vector lying in the interior and boundary of the existence region respectively. We also address the effect of requiring the partition to be a deterministic function (i.e. a factor) of the points. Here we find the optimal tail behaviour in dimension 1. There is a further separation into two regimes, governed by algebraic properties of the allowed family types.
Intellectual Disability: Definition, Classification, and Systems of Supports 11th ed.

depressive symptoms: relationships with child outcomes at age 5. Dev Psychol. 2000;36:759–766. 53. Hay DF, Pawlby S, Sharp D, Asten P, Mills A, Kumar R. Intellectual problems shown by 11-year-old children whose mothers had postnatal depression. J Child Psychol Psychiatry. 2001;42:871–889. 54. Larroque B, Bertrais S, Czernichow P, Léger J. School difficulties in 20-year-olds who were born small for gestational age at term in a regional cohort study. Pediatrics. 2001;108:111–115. 55. Hollo O, Rautava P, Korhonen T, Helenius H, Kero P, Sillanpää M. Academic achievement of small-for-gestational-age children at age 10 years. Arch Pediatr Adolesc Med. 2002;156:179–187. 56. Strauss RS. Adult functional outcome of those born small for gestational age: twenty-six-year follow-up of the 1970 British Birth Cohort. JAMA. 2000;283:625–632. 57. Boulet SL, Schieve LA, Boyle CA. Birth weight and health and developmental outcomes in US children, 1997–2005. Matern Child Health J. 2011;15:836–844. 58. Chaikind S, Corman H. The impact of low birthweight on special education costs. J Health Econ. 1991;10:291–311. 59. Goldschmidt L, Richardson GA, Willford JA, Severtson SG, Day NL. School achievement in 14-year-old youths prenatally exposed to marijuana. Neurotoxicol Teratol. 2012;34:161–167. 60. Goldschmidt L, Richardson GA, Cornelius MD, Day NL. Prenatal marijuana and alcohol exposure and academic achievement at age 10. Neurotoxicol Teratol. 2004;26:521–532. 61. Jacobson SW, Chiodo LM, Sokol RJ, Jacobson JL. Validity of maternal report of prenatal alcohol, cocaine, and smoking in relation to neurobehavioral outcome. Pediatrics. 2002;109:815–825. 62. Tu YK, West R, Ellison GT, Gilthorpe MS. Why evidence for the fetal origins of adult disease might be a statistical artifact: the “reversal paradox” for the relation between birth weight and blood pressure in later life. Am J Epidemiol. 2005;161:27–32.
QoE-aware distributed carrier aggregation in cognitive small cell networks: A game-theory approach

Consider the diversity of users' traffic types, we investigate the problem of distributed carrier aggregation in cognitive small cell networks. In most existing carrier aggregation (CA) researches, they aimed to optimize the throughput or to mitigate the interference. However, in practical wireless communication users' quality of experience (QoE) is the ultimate concerning. Different QoE functions for different traffic types, which consider not only the throughput demand of users but also the distinct cost of different CA types, are defined in this paper. These QoE functions consider not only the throughput demand of users but also the distinct cost of different CA types. The problem of spectrum allocation for CA is formulated as a QoE-aware game model. The utility function is designed considering the current user's QoE and the QoE of the neighbor ones jointly. It is proved to be an exact potential game. Based on stochastic learning automata (SLA), we propose a multiple players carrier aggregation learning algorithm. It is proved to converge towards Nash equilibrium (NE) of the game. Simulation results validate the effectiveness of the proposed game-theoretic CA approach.
Optimal wire shape with consideration of coupling capacitance under Elmore delay model

In this paper, by using calculus of variations, we determine the optimal shape for a wire under the Elmore delay model. Coupling capacitance has been taken into consideration explicitly by treating it as another source of grounded capacitance. Given two wires in parallel, one has uniform width and the other has non-uniform width whose shape is described by a function f(x). Let T/sub D/ be the delay through the non-uniform wire. We determine f(x) such that T/sub D/ is minimized. We also extend our study to the case where a non-uniform wire has two neighboring wires. Our study shows that the optimal shape function satisfies an integral equation. Numerical methods are employed to solve the corresponding differential equation and carry out the integration. We provide an efficient algorithm to find the optimal solution. Experiments show that it only takes several iterations to get the optimal results by using our algorithm. Our experiments also show that the wire delay T/sub D/ is a convex function of the wire width at the driver end.
Cell-Demanded Liberation of VEGF121 From Fibrin Implants Induces Local and Controlled Blood Vessel Growth

Abstract— Although vascular endothelial growth factor (VEGF) has been described as a potent angiogenic stimulus, its application in therapy remains difficult: blood vessels formed by exposure to VEGF tend to be malformed and leaky. In nature, the principal form of VEGF possesses a binding site for ECM components that maintain it in the immobilized state until released by local cellular enzymatic activity. In this study, we present an engineered variant form of VEGF, &agr;2PI1–8- VEGF121, that mimics this concept of matrix-binding and cell-mediated release by local cell–associated enzymatic activity, working in the surgically-relevant biological matrix fibrin. We show that matrix-conjugated &agr;2 PI1–8- VEGF121 is protected from clearance, contrary to native VEGF121 mixed into fibrin, which was completely released as a passive diffusive burst. Grafting studies on the embryonic chicken chorioallantoic membrane (CAM) and in adult mice were performed to assess and compare the quantity and quality of neovasculature induced in response to fibrin implants formulated with matrix-bound &agr;2 PI1–8- VEGF121 or native diffusible VEGF121. Our CAM measurements demonstrated that cell-demanded release of &agr;2 PI1–8- VEGF121 increases the formation of new arterial and venous branches, whereas exposure to passively released wild-type VEGF121 primarily induced chaotic changes within the capillary plexus. Specifically, our analyses at several levels, from endothelial cell morphology and endothelial interactions with periendothelial cells, to vessel branching and network organization, revealed that &agr;2 PI1–8- VEGF121 induces vessel formation more potently than native VEGF121 and that those vessels possess more normal morphologies at the light microscopic and ultrastructural level. Permeability studies in mice validated that vessels induced by &agr;2 PI1–8- VEGF121 do not leak. In conclusion, cell-demanded release of engineered VEGF121 from fibrin implants may present a therapeutically safe and practical modality to induce local angiogenesis.
Detecting and fixing precision-specific operations for measuring floating-point errors

The accuracy of the floating-point calculation is critical to many applications and different methods have been proposed around floating-point accuracies, such as detecting the errors in the program, verifying the accuracy of the program, and optimizing the program to produce more accurate results. These approaches need a specification of the program to understand the ideal calculation performed by the program, which is usually approached by interpreting the program in a precision-unspecific way. However, many operations programmed in existing code are inherently precision-specific, which cannot be easily interpreted in a precision-unspecific way. In fact, the semantics used in existing approaches usually fail to interpret precision-specific operations correctly. In this paper, we present a systematic study on precision-specific operations. First, we propose a detection approach to detect precision-specific operations. Second, we propose a fixing approach to enable the tuning of precisions under the presence of precision-specific operations. Third, we studied the precision-specific operations in the GNU C standard math library based on our detection and fixing approaches. Our results show that (1) a significant number of code fragments in the standard C math library are precision-specific operations, and some large inaccuracies reported in existing studies are false positives or potential false positives due to precision-specific operations; (2) our detection approach has high precision and recall; (3) our fixing approach can lead to overall more accurate result.
Survivability Models for Global Software Engineering

Software projects that are engineered using global software development techniques are required to deploy processes and tools to support collaboration over large geographies. Specifically, these projects involve the deployment of processes and tools to support project management, communication, and risk management. Whereas a traditional software development effort can use standard processes and tools to support communication and collaboration, global software development efforts require a unified and holistic project management, development process, collaboration, and communication approach taking into consideration the interplay of time zones, number of sites and cultural diversity. In this paper, we introduce a novel approach for modeling and quantification of global software engineering frameworks. In our approach, we apply transient survivability metrics to support the design of global software engineering projects. Therefore, our approach combines survivability analysis and global software engineering frameworks analysis. The survivability metric used in this paper is the time required to recover from a software project disaster (e.g., break down in communication between remote teams) for a given global software engineering framework. The global software engineering modeling framework we use is composed of models supporting the evaluation of communication tools, software development processes and cultural diversity management. We illustrate the application of our approach by applying it to the analysis of an example derived from a real global software engineering project. Our results indicate that the combination of survivability analysis and modeling of global software engineering frameworks can provide meaningful insights when designing global software engineering frameworks.
Data uncertainties in material flow analysis: Municipal solid waste management system in Maputo City, Mozambique

Material flow analysis can effectively trace and quantify the flows and stocks of materials such as solid wastes in urban environments. However, the integrity of material flow analysis results is compromised by data uncertainties, an occurrence that is particularly acute in low-and-middle-income study contexts. This article investigates the uncertainties in the input data and their effects in a material flow analysis study of municipal solid waste management in Maputo City, the capital of Mozambique. The analysis is based on data collected in 2007 and 2014. Initially, the uncertainties and their ranges were identified by the data classification model of Hedbrant and Sörme, followed by the application of sensitivity analysis. The average lower and upper bounds were 29% and 71%, respectively, in 2007, increasing to 41% and 96%, respectively, in 2014. This indicates higher data quality in 2007 than in 2014. Results also show that not only data are partially missing from the established flows such as waste generation to final disposal, but also that they are limited and inconsistent in emerging flows and processes such as waste generation to material recovery (hence the wider variation in the 2014 parameters). The sensitivity analysis further clarified the most influencing parameter and the degree of influence of each parameter on the waste flows and the interrelations among the parameters. The findings highlight the need for an integrated municipal solid waste management approach to avoid transferring or worsening the negative impacts among the parameters and flows.
Ambipolar MoTe2 Transistors and Their Applications in Logic Circuits

We report ambipolar charge transport in α-molybdenum ditelluride (MoTe2 ) flakes, whereby the temperature dependence of the electrical characteristics was systematically analyzed. The ambipolarity of the charge transport originated from the formation of Schottky barriers at the metal/MoTe2 contacts. The Schottky barrier heights as well as the current on/off ratio could be modified by modulating the electrostatic fields of the back-gate voltage (Vbg) and drain-source voltage (Vds). Using these ambipolar MoTe2 transistors we fabricated complementary inverters and amplifiers, demonstrating their feasibility for future digital and analog circuit applications.
Cognitive function affects trainability for physical performance in exercise intervention among older adults with mild cognitive impairment

Background Although much evidence supports the hypothesis that cognitive function and physical function are interrelated, it is unclear whether cognitive decline with mild cognitive impairment influences trainability of physical performance in exercise intervention. The purpose of this study was to examine the association between cognitive function at baseline and change in physical performance after exercise intervention in older adults with mild cognitive impairment. Methods Forty-four older adults diagnosed with mild cognitive impairment based on the Peterson criteria (mean age 74.8 years) consented to and completed a 6-month twice weekly exercise intervention. The Timed Up and Go (TUG) test was used as a measure of physical performance. The Mini-Mental State Examination (MMSE), Trail Making Test Part B, Geriatric Depression Scale, baseline muscle strength of knee extension, and attendance rate of intervention, were measured as factors for predicting trainability. Results In the correlation analysis, the change in TUG showed modest correlations with attendance rate in the exercise program (r = −0.354, P = 0.027) and MMSE at baseline (r = −0.321, P = 0.034). A multiple regression analysis revealed that change in TUG was independently associated with attendance rate (β = −0.322, P = 0.026) and MMSE score (β = −0.295, P = 0.041), controlling for age and gender. Conclusion General cognitive function was associated with improvements in physical performance after exercise intervention in subjects with mild cognitive impairment. Further research is needed to examine the effects of exercise programs designed to address cognitive obstacles in older adults with mild cognitive impairment.
Deletion of the immunoglobulin domain of IL1RAPL1 results in nonsyndromic X‐linked intellectual disability associated with behavioral problems and mild dysmorphism

X‐Linked intellectual disability accounts for a significant fraction of males with cognitive impairment. Many of these males present with a non‐syndromic phenotype and presently mutations in 17 X‐linked genes are associated with these patients. Mutations in IL1RAPL1 have been found in multiple families with non‐syndromic X‐linked intellectual disability. All of the published mutations predict loss of function of the protein. We have identified an additional two families with deletions of a portion of the gene that give rise to cognitive impairment, as well as some behavioral problems and mild dysmorphism. Our clinical findings better delineate the phenotypic spectrum associated with IL1RAPL1 mutations. © 2011 Wiley‐Liss, Inc.