Miracle-dz/UniFAR-FTUs huggingface dataset:
Emotion Regulation and Vulnerability to Depression: A Longitudinal Test of the Diathesis-Stress Model

Maladaptive emotion regulation is an established vulnerability marker for depression. Within a diathesis-stress framework individual differences in emotion regulation constitute sensitivity to stress, such that people who are less able to effectively regulate their emotions are more likely to become depressed when stress is encountered. Markers of maladaptive emotion regulation have been examined from affective, neurological, and cognitive perspectives and, for the most part, have been examined in independent lines of research. As such, the independent and interactive contributions of maladaptive emotion regulation markers are still unknown. The current thesis addresses this gap with a longitudinal study. Emotion regulation markers and depression were assessed at the outset of the study (time one) then life stress and depression were measured three months (time two) and twelve months (time three) later. Three trait measures of emotion regulation were assessed: spontaneous emotion regulation (as indexed by startle reactivity following negative images), frontal and parietal resting EEG asymmetries, and brooding rumination. All emotion regulation markers were found to be independent markers of vulnerability to depression. The emotion regulation markers measured at time one were then tested within a diathesis stress framework to predict stress sensitivity at time two. Poorer online regulation interacted with life stress to predict depression. That is, poor online regulators were sensitive to stress at three months, whereas good online regulators were not. Stress sensitivity was tested again at time three, twelve months after the initial assessment. At this time point frontal asymmetry, parietal asymmetry and life stress interacted to predict depression. When right parietal activity was low, rightward frontal asymmetries showed more sensitivity to stress. However, people with leftward asymmetries showed less stress sensitivity. Brooding predicted depression at three months but not at twelve months and did not interact with stress at either time point. The findings of this thesis show that, within the diathesis-stress framework, online regulation measures indicate short-term sensitivity to stress; however, EEG asymmetry measures show sensitivity to stress in the longer term.
Blind Unique Identification of MIMO Channels Using Signal Designs and High-Order Moments

In this letter, a necessary and sufficient condition is developed to check whether a set of polynomial equations is solvable. Furthermore, under the sufficient condition, a closed-form solution is attained using linear Diophantine equation theory. With this, a novel signal design and a row-circular transmission scheme of phase shift keying (PSK) constellations for MIMO flat fading channels are proposed so that the channel coefficients can be uniquely identified. When certain high-order moments of the received signals are available, a closed-form solution to uniquely determine the channel coefficients is given. When only finite received data are available, a numerical algorithm is provided to efficiently and effectively estimate the channel.
An Algorithm for Optimizing Vertical Handoff between WLAN and Cellular Networks

 Abstract— Today, the advent of heterogeneous wireless networks has caused a revolution in the telecommunication systems. As IP- based wireless networking increases in popularity, the handoff issue is taken into the consideration. In the vertical handoff in which users switch between networks under different technologies, many factors should be considered in order to increase the efficiency of the network. An analytical model using absolute signal strength has been previously developed for evaluating the handoff algorithm. In this paper we designed a vertical handoff algorithm and extend that analytical model by adding two different models. The models are for handoff from Wireless Local Area Network (WLAN) to cellular network for the voice session and for handoff from cellular network to WLAN for the data session based on Received Signal Strength (RSS) and application type. Since the RSS is considered in this model, it is predicted this algorithm reduces the number of vertical handoffs. Index Terms—vertical handoff-wireless local area network (WLAN), cellular network, received signal strength (RSS)
Query Classification using LDA Topic Model and Sparse Representation Based Classifier

Users often seek for information by submitting query consisting of keywords may belong to multiple topics, representing overlapping concepts. Objective of the work is to classify the query into a topic class label by considering the query keywords distributed over various topics. The approach effectively reduces the search space in order to retrieve information computationally efficient way. First we apply Latent Dirichlet Allocation (LDA) on the entire corpus to group the documents into topics consisting of unique words. As a next step, a term vocabulary (TRV) has been built with unique words present in the topics. We develop a Topic-Vocabulary Matrix (TVM) by encoding the TRV with respect to each topic. The TVM expresses word distribution among the topics and presented as training data set, which is sparse. The query is encoded by the same way and submitted as test data. We apply sparse representation based classifier (SRC) to classify the query as a topic. The proposed approach shows satisfactory performance with 93% accuracy in classifying query.
Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

Object capabilities are a technique for fine-grained privilege separation in programming languages and systems, with important applications in security. However, current formal characterisations do not fully capture capability-safety of a programming language and are not sufficient for verifying typical applications. Using state-of-the-art techniques from programming languages research, we define a logical relation for a core calculus of JavaScript that better characterises capability-safety. The relation is powerful enough to reason about typical capability patterns and supports evolvable invariants on shared data structures, capabilities with restricted authority over them and isolated components with restricted communication channels. We use a novel notion of effect parametricity for deriving properties about effects. Our results imply memory access bounds that have previously been used to characterise capability-safety.
Fast scheduling of periodic tasks on multiple resources

Given n periodic tasks, each characterized by an execution requirement and a period, and m identical copies of a resource, the periodic scheduling problem is concerned with generating a schedule for the n tasks on the m resources. We present an algorithm that schedules every feasible instance of the periodic scheduling problem, and runs in O(min{mlgn,n}) time per slot scheduled. <<ETX>>
The asthma and chronic obstructive pulmonary disease overlap syndrome in tertiary care setting Thailand

Background Asthma and chronic obstructive pulmonary disease (COPD) overlap syndrome (ACOS) is an increasingly recognized clinical entity. ACOS significantly impacts on patient outcome compared to isolated asthma or COPD. However, ACOS definition and diagnosis criteria have not been well standardized. ACOS prevalence and clinical features in Thailand has never been studied. Objective: To investigate the prevalence and clinical features of ACOS compared to isolated asthma or COPD among patients with clinician-diagnosis of obstructive airway diseases. Objective To investigate the prevalence and clinical features of ACOS compared to isolated asthma or COPD among patients with clinician-diagnosis of obstructive airway diseases. Methods Spirometry, skin prick test (SPT) and allergens specific IgE (sIgE) were done. Serum total IgE, exhaled nitric oxide (FeNO) and blood eosinophils were measured. High resolution computed tomography (HRCT) was performed. Smoking history, pollution, biomass exposure and symptoms (Asthma Control Test [ACT], COPD assessment test [CAT], Modified Medical Research Council Dyspnea Scale [MMCR]) were assessed. Patients were classified to isolated asthma, COPD or ACOS according to predefined definitions for this study. Results A total 92 patients were enrolled: 58 patients with clinician-diagnosed of late onset asthma and 34 with clinician-diagnosed COPD. The mean age was 67.4 years. Thirty-four asthma patients (58.6%) were considered to have ACOS with postbronchodilator forced expiratory volume in 1 second (FEV1)/forced vital capacity ratio <0.7 and/or presence of emphysema on HRCT. In addition, 10 COPD patients (28.6%) were classified as ACOS if they had bronchodilator reversibility (FEV1 ≥ 12% and ≥ 200 mL) and positive SPT or sIgE. Hence, total of 44 from 92 patients (47.8%) with obstructive airway diseases were found to have ACOS, while isolated asthma and COPD were found in 24 patients equally. No difference in symptoms assessed by CAT, ACT, or MMRC was found between 3 groups of patients. Neither serum total IgE nor blood eosinophils counts distinguished ACOS from asthma and COPD (p = 0.83 and p = 0.40). FeNO was higher in pure COPD than ACOS and asthma (p = 0.03). Conclusion ACOS is prevalent in late-onset asthma or clinician-diagnosed COPD who were treated in tertiary care clinic. However, we found no difference in symptoms, blood eosinophils or serum total IgE between groups.
Xanthine metabolism in Bacillus subtilis: characterization of the xpt-pbuX operon and evidence for purine- and nitrogen-controlled expression of genes involved in xanthine salvage and catabolism

The xpt and pbuX genes from Bacillus subtilis were cloned, and their nucleotide sequences were determined. The xpt gene encodes a specific xanthine phosphoribosyltransferase, and the pbuX gene encodes a xanthine-specific purine permease. The genes have overlapping coding regions, and Northern (RNA) blot analysis indicated an operon organization. The translation of the second gene, pbuX, was strongly dependent on the translation of the first gene, xpt. Expression of the operon was repressed by purines, and the effector molecules appear to be hypoxanthine and guanine. When hypoxanthine and guanine were added together, a 160-fold repression was observed. The regulation of expression was at the level of transcription, and we propose that a transcription termination-antitermination control mechanism similar to the one suggested for the regulation of the purine biosynthesis operon exists. The expression of the xpt-pbuX operon was reduced when hypoxanthine served as the sole nitrogen source. Under these conditions, the level of the hypoxanthine- and xanthine-degrading enzyme, xanthine dehydrogenase, was induced more than 80-fold. The xanthine dehydrogenase level was completely derepressed in a glnA (glutamine synthetase) genetic background. Although the regulation of the expression of the xpt-pbuX operon was found to be affected by the nitrogen source, it was normal in a glnA mutant strain. This result suggests the existence of different signalling pathways for repression of the transcription of the xpt-pbuX operon and the induction of xanthine dehydrogenase.
Mechanism of apoptosis induction by inhibition of the anti-apoptotic BCL-2 proteins

Normal cellular lifespan is contingent upon preserving outer mitochondrial membrane (OMM) integrity, as permeabilization promotes apoptosis. BCL-2 family proteins control mitochondrial outer membrane permeabilization (MOMP) by regulating the activation of the pro-apoptotic BCL-2 effector molecules, BAX and BAK. Sustainable cellular stress induces proteins (e.g., BID, BIM, and cytosolic p53) capable of directly activating BAX and/or BAK, but these direct activators are sequestered by the anti-apoptotic BCL-2 proteins (e.g., BCL-2, BCL-xL, and MCL-1). In the event of accumulated or marked cellular stress, a coordinated effort between previously sequestered and nascent BH3-only proteins inhibits the anti-apoptotic BCL-2 repertoire to promote direct activator protein-mediated MOMP. We examined the effect of ABT-737, a BCL-2 antagonist, and PUMA, a BH3-only protein that inhibits the entire anti-apoptotic BCL-2 repertoire, with cells and mitochondria that sequestered direct activator proteins. ABT-737 and PUMA cooperated with sequestered direct activator proteins to promote MOMP and apoptosis, which in the absence of ABT-737 or PUMA did not influence OMM integrity or cellular survival. Our data show that the induction of apoptosis by inhibition of the anti-apoptotic BCL-2 repertoire requires “covert” levels of direct activators of BAX and BAK at the OMM.
Text Classification Using Stochastic Keyword Generation

This paper considers improving the performance of text classification, when summaries of the texts, as well as the texts themselves, are available during learning. Summaries can be more accurately classified than texts, so the question is how to effectively use the summaries in learning. This paper proposes a new method for addressing the problem, using a technique referred to as 'stochastic keyword generation' (SKG). In the proposed method, the SKG model is trained using the texts and their associated summaries. In classification, a text is first mapped, with SKG, into a vector of probability values, each of which corresponds to a keyword. Text classification is then conducted on the mapped vector. This method has been applied to email classification for an automated help desk. Experimental results indicate that the proposed method based on SKG significantly outperforms other methods.
Reliable matching of 300 mm defect inspection tools @ sub 60 nm defect size

This paper describes advanced methodologies for defect inspection studies and tool matching at sub 60 nm defect size. The methodologies were affirmed by experimental results achieved on different defect inspection systems designed for non-patterned wafers. The defect inspection has been described successfully by the binomial distribution. The reliability of matching of defect inspection systems was improved by using defect maps. It is anticipated that the methodologies will be applicable for defect inspection of both, patterned and non patterned wafers.
Application Characterization Assisted System Design

The understanding of application characteristics such as hardware resource requirements and communication patterns is key in building highly utilized high performance computing systems for target workloads at a reasonable cost and with available technology. The characterization drives the design decision of both hardware and software. Memory access pattern is a key factor as data movement is a major challenge in today's system design. In this paper, we describe how memory characterization unveils key differences among applications and helps to shape the system design space. With examples, it is shown how memory characterization can be used in the hardware architecture design and application enablement to achieve better performance and system utilization.
Sparse 2-D arrays for 3-D phased array imaging - design methods

One of the most promising techniques for limiting complexity for real-time 3-D ultrasound systems is to use sparse 2-D layouts. For a given number of channels, optimization of performance is desirable to ensure high quality volume images. To find optimal layouts, several approaches have been followed with varying success. The most promising designs proposed are Vernier arrays, but also these suffer from high peaks in the sidelobe region compared with a dense array. In this work, we propose new methods based on the principles of suppression of grating lobes to form symmetric and non-symmetric regular sparse periodic and radially periodic designs. The proposed methods extend the concept of sparse periodic layouts by exploiting either an increased number of symmetry axes or radial symmetry. We also introduce two new strategies to form designs with nonoverlapping elements. The performance of the new layouts range from the performance of Vernier arrays to almost that of dense arrays. Our designs have simplicity in construction, flexibility in the number of active elements, and the possibility of trade off sidelobe peaks against sidelobe energy.
Biology of the sugar-fermenting Sarcinae.

In 1842, John Goodsir observed a microorganism "of an undescribed form" in the stomach contents of an individual suffering from an affliction of the digestive tract (35). He described the organism as having "the appearance of a wool-pack, or of a soft bundle bound with cord" and, accordingly, proposed the generic term Sarcina (Latin for package, bundle) to designate it. In consideration of its occurrence in the stomach, he named it S. ventriculi (ventriculi, Latin, of the stomach). Goodsir (35), and later Suringar (83), found that the bundles were composed of cells shaped like rounded rectangular parallelepipeds or somewhat flattened spheres. In addition, Suringar (83) established that the organism did not form plates consisting of a single layer of cells, as some authors had come to believe, but that the bundles or packets were approximately cubical. He concluded that the cuboid shape was a result of the organism's characteristic cell division which occurred "alternativement dans les trois directions de 'espace" (83). Neither Goodsir nor Suringar cultivated S. ventriculi, but both conducted their morphological studies on specimens obtained from the stomach. Cultivation of the organism, first from garden soil (11, 12) and then from stomach contents (13), was achieved by Beijerinck. This author used a procedure involving inoculation of these materials in a sugar-containing, strongly acidified medium which he incubated anaerobically. Under such conditions, S. ventriculi grew abundantly, whereas growth of other microorganisms was largely inhibited. Furthermore, Beijerinck established that S. ventriculi is an obligate anaerobe. After the discovery of the first sarcina, numerous other packet-forming cocci, many of them aerobic, were described and cultured. Some of these organisms were isolated from stomach contents and were erroneously thought to be identical with S. ventriculi (see 78). In 1888, Lindner (P. Lindner, Ph.D. Dissertation, Berlin, 1888) observed a large sarcina, morphologically similar to S. ventriculi, in spontaneously souring flour paste. The organism was named S. maxima and was later isolated in pure culture by Smit (78), who found that it was a strict anaerobe and that it fermented carbohydrates mainly to butyrate, acetate, C02, and H2. Its fermentation differed from that of S. ventriculi, which formed no butyrate but accumulated ethyl alcohol as a major product. Smit (78) mentioned another packet former, S. paludosa, similar to S. ventriculi in appearance, and probably anaerobic. S. paludosa was observed in sewage and in the sludge of polluted rivers, but it was not isolated. Thus, its relationship to other anaerobic sarcinae remains uncertain. This review is concerned with the biology of the sugar-fermenting, strictly anaerobic sarcinae, namely S. maxima and S. ventriculi. As will be discussed later, these are the only known species appropriately included in the genus Sarcina and
Dynamic and Stochastic Job Shop Scheduling Problems Using Ant Colony Optimization Algorithm

Reactive scheduling is often been criticized for its inability to provide timely optimized and stable schedules. So far, the extant literature has focused on generating schedules that optimize shop floor efficiency. Only a few have considered optimizing both shop floor efficiency and schedule stability. This paper applies a unique self- adaptation mechanism of the ant colony optimization (ACO) algorithm to enable the reactive scheduling approach to generate better and timely stable and quality schedules for dynamic and stochastic job shop scheduling problems.
Integrating planning for task-completion dialogue policy learning

Training a task-completion dialogue agent with real users via reinforcement learning (RL) could be prohibitively expensive, because it requires many interactions with users. One alternative is to resort to a user simulator, while the discrepancy of between simulated and real users makes the learned policy unreliable in practice. This paper addresses these challenges by integrating planning into the dialogue policy learning based on Dyna-Q framework, and provides a more sample-efficient approach to learn the dialogue polices. The proposed agent consists of a planner trained on-line with limited real user experience that can generate large amounts of simulated experience to supplement with limited real user experience, and a policy model trained on these hybrid experiences. The effectiveness of our approach is validated on a movie-booking task in both a simulation setting and a human-in-the-loop setting.
Neuronal Morphogenesis Is Regulated by the Interplay between Cyclin-Dependent Kinase 5 and the Ubiquitin Ligase Mind Bomb 1

Neuronal communication requires the coordinated assembly of polarized structures including axons, dendrites, and synapses. Here, we report the identification of a ubiquitin ligase mind bomb 1 (Mib1) in the postsynaptic density and the characterization of its role in neuronal morphogenesis. Expression of Mib1 inhibits neurite outgrowth in cell culture and its gene deletion enhances synaptic growth at the neuromuscular junction in Drosophila. The analysis of Mib1 interactome by mass spectrometry revealed that Mib1 primarily interacts with membrane trafficking proteins [e.g., EEA1 (early endosomal antigen 1), Rab11-interacting proteins, and SNAP25 (synaptosomal-associated protein of 25 kDa)-like protein] and cell adhesion components (e.g., catenin, coronin, dystrobrevin, and syndecan), consistent with its previously reported function in protein sorting. More interestingly, Mib1 is associated with deubiquitinating enzymes, BRCC36 and the mammalian ortholog of fat facets, and a number of kinases, such as casein kinase II, MARK (microtubule affinity regulating kinase)/PAR1, and cyclin-dependent kinase 5 (CDK5). Further characterization of the Mib1-CDK5 interaction indicated that the N-terminal domain of Mib1 directly binds to the regulatory subunit p35 of the CDK5 complex. In cell culture, Mib1 induces the relocalization of p35/CDK5 without affecting its degradation. Surprisingly, p35/CDK5 downregulates the protein level of Mib1 by its kinase activity, and completely rescues the Mib1-induced inhibitory effect on neurite morphology. p35/CDK5 also genetically interacts with Mib1 in the fly according to the rough-eye phenotype. The data strongly support that the negative interplay between Mib1 and p35/CDK5 may integrate the activities of multiple pathways during neuronal development.
Reinforcement learning for a biped robot to climb sloping surfaces

A neural network mechanism is proposed to modify the gait of a biped robot that walks on sloping surfaces using sensory inputs. The robot climbs a sloping surface from a level surface with no priori knowledge of the inclination of the surface. By training the neural network while the robot is walking, the robot adjusts its gait and finally forms a gait that is as stable as when it walks on the level surface. The neural network is trained by a reinforcement learning mechanism while proportional and integral (PI) control is used for position control of the robot joints. Experiments of static and pseudo dynamic learning are performed to show the validity of the proposed reinforcement learning mechanism.  1997 John Wiley & Sons, Inc.