Miracle-dz/UniFAR-FTUs huggingface dataset:
Binary multi-objective PSO and GA for adding new features into an existing product line

Software product line evolution is a decision-making problem where it is determined that which features are the best candidates for the different product. In this paper, we analysis two popular optimization technique for finding qualified features for next release. In this case, the qualification of features is determined by the product value, product integrity, and AND dependencies between features. This study may help a software manager in feature selection. For this purpose, first, we encoded the feature model into a binary string. Then we able to find possible alternatives by using binary multi-objective genetic search algorithm NSGA-II and particle swarm optimization PSO. From these options, the product line manager can quickly select the best-fitted solutions according to the requirements. In this implementation, a feature model called ONLINE ELECTRONIC SHOPPING from Software Product Line Online Tool SPLOT is used where the total number of features is 290 assuming that 136 features are already implemented in the existing software. Finally, 30 out of 154 features are selected successfully in five product variants. The empirical result shows that GA performs better than PSO.
Performance Comparison Between Switching-Flux and IPM Machines With Rare-Earth and Ferrite PMs

Switching-flux permanent magnet (PM) machines compared with interior PM machines are presented to be interesting-solutions in terms of torque per volume density, compactness, active material layout, and cooling capability. The flux linkage is bidirectional, and the voltage is almost sinusoidal. These machines are then interesting for ac drives and field-weakening operation. Despite the lack of torque density, the adoption of low-cost magnets is investigated. Demagnetization in PMs is a critical issue and influences the choice of the machine.
Telephone-Based Cognitive-Behavioral Intervention for Distressed Rural Dementia Caregivers

Abstract Despite the growing use of telecommunication technologies in delivering psychological interventions for family caregivers (CGs) of older adults with dementia, this development has been restricted primarily to large metropolitan areas. Twenty percent of dementia CGs live in small rural communities where Internet transmission services do not exist or are difficult to obtain. The purpose of the present study was to conduct a preliminary evaluation of the efficacy of telephone-based cognitive-behavioral (CB) intervention versus routine education and support (ES) in reducing CGs' psychological distress and subjective burden, as well as improving their perceived self-efficacy and specific caregiving-related problems. Although the results are preliminary, partial support was obtained for the differential benefits of CB intervention over ES for this population.
Design optimization of a direct-drive linear actuator assistive device for stroke

We present the conceptual design for a single degree-of-freedom shoulder assistive robot powered by a direct-drive linear electric motor. Such actuators offer high bandwidth and inherent force transparency, advantageous properties for an assistive device, but traditionally have inadequate force densities. We develop a model to describe the interaction between the robot kinematics and the actuator performance, and find the optimal actuator configuration. We also demonstrate the ability of a single design of such a device to fit a wide range of patients, and determine indicative power and mass specifications for the actuator. The resulting power and mass levels of approximately 1 kg and 130 W are well within the feasible range for a wearable device.
Regulation by Polyamines of Ornithine Decarboxylase Activity and Cell Division in the Unicellular Green Alga Chlamydomonas reinhardtii 1

Polyamines are required for cell growth and cell division in eukaryotic and prokaryotic organisms. In the unicellular green algaChlamydomonas reinhardtii, biosynthesis of the commonly occurring polyamines (putrescine, spermidine, and spermine) is dependent on the activity of ornithine decarboxylase (ODC, EC 4.1.1.17) catalyzing the formation of putrescine, which is the precursor of the other two polyamines. In synchronized C. reinhardtiicultures, transition to the cell division phase was preceded by a 4-fold increase in ODC activity and a 10- and a 20-fold increase, respectively, in the putrescine and spermidine levels. Spermine, however, could not be detected in C. reinhardtii cells. Exogenous polyamines caused a decrease in ODC activity. Addition of spermine, but not of spermidine or putrescine, abolished the transition to the cell division phase when applied 7 to 8 h after beginning of the light (growth) phase. Most of the cells had already doubled their cell mass after this growth period. The spermine-induced cell cycle arrest could be overcome by subsequent addition of spermidine or putrescine. The conclusion that spermine affects cell division via a decreased spermidine level was corroborated by the findings that spermine caused a decrease in the putrescine and spermidine levels and that cell divisions also could be prevented by inhibitors ofS-adenosyl-methionine decarboxylase and spermidine synthase, respectively, added 8 h after beginning of the growth period. Because protein synthesis was not decreased by addition of spermine under our experimental conditions, we conclude that spermidine affects the transition to the cell division phase directly rather than via protein biosynthesis.
The Role of MicroRNAs as Predictors of Response to Tamoxifen Treatment in Breast Cancer Patients

Endocrine therapy is a key treatment strategy to control or eradicate hormone-responsive breast cancer. However, resistance to endocrine therapy leads to breast cancer relapse. The recent extension of adjuvant tamoxifen treatment up to 10 years actualizes the need for identifying biological markers that may be used to monitor predictors of treatment response. MicroRNAs are promising biomarkers that may fill the gap between preclinical knowledge and clinical observations regarding endocrine resistance. MicroRNAs regulate gene expression by posttranscriptional repression or degradation of mRNA, most often leading to gene silencing. MicroRNAs have been identified directly in the primary tumor, but also in the circulation of breast cancer patients. The few available studies investigating microRNA in patients suggest that seven microRNAs (miR-10a, miR-26, miR-30c, miR-126a, miR-210, miR-342 and miR-519a) play a role in tamoxifen resistance. Ingenuity Pathway Analysis (IPA) reveals that these seven microRNAs interact more readily with estrogen receptor (ER)-independent pathways than ER-related signaling pathways. Some of these pathways are targetable (e.g., PIK3CA), suggesting that microRNAs as biomarkers of endocrine resistance may have clinical value. Validation of the role of these candidate microRNAs in large prospective studies is warranted.
Reaching Available Public Parking Spaces in Urban Environments Using Ad Hoc Networking

A fundamental application in vehicular ad-hoc networks (VANETs) is the discovery of available parking spaces as vehicles navigate through urban road networks. Vehicles are now capable of finding such parking spots using their on-board sensing and computational infrastructure and then they can disseminate this information for use by other members of the travelling community in the geographic vicinity. In this context, we examine the problem of locating an available parking space for a vehicle entering an urban network of roads. Upon its entry, a vehicle has to determine the best way to visit parking spots reported to be free. In deciding this, the vehicle has to consider the time required to reach each candidate position, its distance from the final destination should the driver walk, and of course, the probability that the spot(s) will be still-free once the vehicle shows up at location. We formulate the question at hand as a Time-Varying Travelling Salesman problem and we propose an approach for computing the route that a vehicle must traverse in order to visit all parking spaces known to be available. Our method takes into account the limited computational resources of vehicles and attempts to find the best feasible trip. This is done in conjunction with a cost function that estimates the probability to find a space filled. In order to ascertain the effectiveness of our proposal, we compare it with a best-first approach and examine computational overheads. We also investigate how close to optimal results our approach comes.
Imaging evaluation of demyelinating processes of the central nervous system

Demyelinating processes involving the central nervous system have a variety of aetiologies and can be separated into primary and secondary demyelinating processes. The classic example of primary demyelination is multiple sclerosis. Secondary demyelination, where the aetiology is known, includes infectious, metabolic and toxic disease processes. The underlying component of all demyelinating disorders is damage to the myelin sheath and/or the oligodendrocyte, the cell forming the myelin sheath. These processes often have similar imaging findings, making knowledge of the patient's history, physical examination and laboratory evaluation imperative for developing a differential diagnosis. This pictorial essay provides a review of the imaging of these diverse disorders.
Book Review: Changing Minds: The Art and Science of Changing Our Own and Other People’s Minds

1 The Contents of the Mind 2 The Forms of the Mind 3 The Power of Early Theories Leading a Diverse Population 5 Leading an Institution: How to Deal with a Uniform Population 6 The Creative Geniuses Change Minds Indirectly-Through Science, Scholarly Breakthroughs, and Works of Art 7 Mind Changing in a Formal Setting 8 Mind Changing Up Close 9 Changing One's Own Mind 10 Epilogue: The Future of Mind Changing Notes Index About the Author
Decompilation into logic — Improved

This paper presents improvements to a technique which aids verification of machine-code programs. This technique, called decompilation into logic, allows the verifier to only deal with tractable extracted models of the machine code rather than the concrete code itself. Our improvements make decompilation simpler, faster and more generally applicable. In particular, the new technique allows the verifier to avoid tedious reasoning directly in the underlying machine-code Hoare logic or the model of the instruction set architecture. The method described in this paper has been implemented in the HOL4 theorem prover.
Linguistic Based Matching of Local Ontologies

This paper describes an automatic algorithm of meaning negotiation that enables semantic interoperability between local overlapping and heterogeneous ontologies. Rather than reconciling differences between heterogeneous ontologies, this algorithm searches for mappings between concepts of different ontologies. The algorithm is composed of three main steps: (i) computing the linguistic meaning of the label occurring in the ontologies via natural language processing, (ii) contextualization of such a linguistic meaning by considering the context, i.e. the ontologies, where a label occurs; (iii) comparing contextualized linguistic meaning of two ontologies in in order to find a possible matching between them.
The Effects of Exchange Rate Change on the Trade Balance in Croatia

A reduced-form model approach was used to estimate the trade balance response to permanent domestic currency depreciation. For this purpose, long-run and short-run effects were estimated, using three modeling methods along with two real effective exchange rate measures. On average, a 1 percent permanent depreciation improves the equilibrium trade balance by between 0.94 percent and 1.3 percent. The new equilibrium is established after approximately 2.5 years. Evidence of the J-curve is also found. Overall, in the light of the results obtained, it is questionable whether permanent depreciation is desirable to improve the trade balance, taking into account potential adverse effects on the rest of the economy.
Women, body and eating : a social representational study in British and Tobagonian cultural contexts

In this thesis I explore women's engagement with body, weight and eating from a socio-cultural perspective. I discuss the limitations of current research on body dissatisfaction and propose that women's negative appraisal of their body needs to be understood as an active engagement with their social context. Research that focuses on the interaction of ethnic/cultural differences and body dissatisfaction seeks to clarify the interrelationship between femininity, gender and culture and suggests that women's dissatisfaction with their body is linked to levels of global Westernisation. My criticism of this research is that it conceptualises culture and social knowledge in a simplistic way. I propose social representations theory and the principles of dialogicality as an alternative research paradigm and argue that such an approach can overcome the dichotomy of individual and social, inner and outer. In order to explore the interaction of the subjective with the social in relation to the negative and positive appraisal of the body an interview study was conducted in two distinct cultural contexts. In depth interviews were conducted with 14 women in the UK and 12 women in Tobago, WI. The thema recognition/disrespect was used as an interpretative frame. The results show that the meanings that were assigned to the body interlinked with socially enacted representations of self, other and femininity. While the thema recognition/disrespect could be seen to be problematised through contradictory conditions of worth in the UK, it was the notion of 'disrespect' in interrelation with representations of others that was foregrounded in women's reflections in Tobago. In both research locations women negotiated constraining or contradictory demands of femininity and 're-presented' themselves through the construction of alternative identities.
3-D Edge Termination Design and ${R}_{ \mathrm{\scriptscriptstyle ON},\text {sp}}$ -BV Model of A 700-V Triple RESURF LDMOS With N-Type Top Layer

3-D edge termination design and analytic model for specific on-resistance (<inline-formula> <tex-math notation="LaTeX">${R}_{ \mathrm{\scriptscriptstyle ON},\text {sp}})$ </tex-math></inline-formula> versus breakdown voltage (BV) of a 700-V triple reduced surface field lateral double-diffused MOSFET (LDMOS) with n-type top layer are presented in this paper. To eliminate the premature avalanche breakdown induced by the electric field crowding and the local charge imbalance in the transition region of the source-centered edge termination structure, 3-D numerical simulations and experiments are performed to investigate two crucial parameters <inline-formula> <tex-math notation="LaTeX">${L}_{1}$ </tex-math></inline-formula> and <inline-formula> <tex-math notation="LaTeX">${L}_{2}$ </tex-math></inline-formula> in the layout of the transition region. It is observed that optimal electric field distribution is obtained and breakdown positions are transferred to the active region at <inline-formula> <tex-math notation="LaTeX">${L}_{1} = 30~\mu \text{m}$ </tex-math></inline-formula> and <inline-formula> <tex-math notation="LaTeX">${L}_{2} = 1~\mu \text{m}$ </tex-math></inline-formula>. On the other hand, an analytic model is developed to describe the relation between <inline-formula> <tex-math notation="LaTeX">${R}_{ \mathrm{\scriptscriptstyle ON},\text {sp}}$ </tex-math></inline-formula> and BV, which is obtained as <inline-formula> <tex-math notation="LaTeX">${R}_{ \mathrm{\scriptscriptstyle ON},\text {sp}} = 5.93 \times 10^{-6} \times 22({T}/298)^{1.7} \times \text {BV}^{2}$ </tex-math></inline-formula> and theoretically verifies that the fabricated device has achieved optimized <inline-formula> <tex-math notation="LaTeX">${R}_{ \mathrm{\scriptscriptstyle ON},\text {sp}}$ </tex-math></inline-formula> and BV. Compared with our previous paper, the LDMOS experimentally demonstrated improved performance with <inline-formula> <tex-math notation="LaTeX">${R}_{ \mathrm{\scriptscriptstyle ON},\text {sp}}$ </tex-math></inline-formula> of 86.49 <inline-formula> <tex-math notation="LaTeX">$\text{m}\Omega ~\cdot $ </tex-math></inline-formula> cm<sup>2</sup> and BV of 805 V, which is leading performance for the 700-V applications in published data.
1 THE PERFORMANCE IMPACT OF ADDRESS RELATION CACHING

An important portion of end–to–end latency in data transfer is spent in address computation, determining a relation between sender and receiver addresses. In deposit model communication, this computation happensonly on the senderand some of its results are embeddedin the message. Conventionally, address computation takes place on–line, as the message is assembled. If the amount of address computation is significant, and the communication is repeated, it may make sense to remove address computation from the critical path by caching its results. However, assembling a message using the cache uses additional memory bandwidth. We present a fine grain analytic model for simple address relation caching in deposit model communication. The model predicts how many times a communication must be repeated in order for the average end–to–end latency of an implementation which caches to break even with that of an implementation which doesn’t cache. The model also predicts speedup and those regimes where a caching implementation never breaks even. The model shows that the effectiveness of caching depends on CPU speed, memory bandwidth and the complexity of the address computation. We verify the model on the iWarp and the Paragon and find that, for both machines, caching can improve performance even when address computation is quite simple (one instruction per data word on the iWarp and 16 instructions per data word on the Paragon.) To show the practical benefit of address relation caching, we examine the performance of an HPF distributed array communication library that can be configured to use caching. In some cases, caching can double the performance of the library. Finally, we discuss other benefits to caching and several open issues. This research was sponsored in part by the Advanced Research Projects Agency/CSTO monitored by SPAWAR under contract N00039-93-C-0152, in part by the National Science Foundation under Grant ASC-9318163, and in part by a grant from the Intel Corporation. The authors’ email addresses are: pdinda@cs.cmu. edu and droh@cs.cmu. edu.
Prediction of structural domains of TAP reveals details of its interaction with p15 and nucleoporins

Vertebrate TAP is a nuclear mRNA export factor homologous to yeast Mex67p. The middle domain of TAP binds directly to p15, a protein related to the nuclear transport factor 2 (NTF2), whereas its C‐terminal domain interacts with various nucleoporins, the components of the nuclear pore complex (NPC). Here, we report that the middle domain of TAP is also similar to NTF2, as well as to regions in Ras‐GAP SH3 domain binding protein (G3BP) and some plant protein kinases. Based on the known three‐dimensional structure of NTF2 homodimer, a heterodimerization model of TAP and p15 could be inferred. This model was confirmed by site‐directed mutagenesis of residues located at the dimer interface. Furthermore, the C‐terminus of TAP was found to contain a ubiquitin‐associated (UBA) domain. By site‐directed mutagenesis we show that a conserved loop in this domain plays an essential role in mediating TAP–nucleoporin interaction.
EtherCAT Tutorial: An Introduction for Real-Time Hardware Communication on Windows [Tutorial]

ï»¿<p>Setting up real-time hardware communication for applications such as precise motion control can be time consuming and confusing. Therefore, this tutorial introduces the deployment of an Ethernet for control automation technology (EtherCAT) protocol. We situate EtherCAT, briefly discuss the origins and working principles, and mention advantages over other widely used protocols. Additionally, the main objectives of the tutorial and the required software to complete it are presented. Online supplements are included, explaining all steps to run a Simulink model in real time on a Windows machine within a few hours. </p>
A 1-1-1-1 MASH Delta-Sigma Modulator With Dynamic Comparator-Based OTAs

A dynamic comparator-based OTA is introduced as a replacement for a conventional OTA. It performs charge transfer in a switched-capacitor circuit by repeatedly evaluating the polarity of the differential input using a dynamic clocked comparator and injecting current pulses at the output to move the input voltage toward zero. The amplitude of the current pulse is reduced each time the input voltage crosses zero to provide fast but accurate settling of the output voltage. Dynamic comparator-based OTAs are applied to the design of a 1-1-1-1 MASH delta-sigma modulator. The 65-nm CMOS prototype achieves a 70.4 dB peak SNDR over a 2.5-MHz bandwidth while consuming 3.73 mW from a 1.2-V supply. The 276-fJ/conv-step FoM represents a four times improvement over previously-reported delta-sigma modulators using zero-crossing-based circuits or comparator-based switched capacitors. Because of the dynamic operation of the OTAs and discrete-time delta-sigma modulator architecture, both bandwidth and power consumption linearly scale with the sampling frequency without any reconfiguration of the modulator.
The Impact of Acute Phase Domain-Specific Cognitive Function on Post-stroke Functional Recovery

Objective To assess whether the cognitive function in the acute stage evaluated by domain-specific neuropsychological assessments would be an independent predictor of functional outcome after stroke. Methods Forty patients underwent 4 domain-specific neuropsychological examinations about 3 weeks after the onset of stroke. The tests included the Boston Naming Test (BNT), the construction recall test (CRT), the construction praxis test (CPT), and the verbal fluency test (VFT). The Korean version of Modified Barthel Index (K-MBI) at 3 months and the modified Rankin Scale (mRS) at 6 months were investigated as functional outcome after stroke. Functional improvement was assessed using the change in K-MBI during the first 3 months and subjects were dichotomized into 'good status' and 'poor status' according to mRS at 6 months. The domain-specific cognitive function along with other possible predictors for functional outcome was examined using regression analysis. Results The z-score of CPT (p=0.044) and CRT (p<0.001) were independent predictors for functional improvement measured by the change in K-MBI during the first 3 months after stroke. The z-score of CPT (p=0.049) and CRT (p=0.048) were also independent predictors of functional status at post-stroke 6 months assessed by mRS. Conclusion Impairment in visuospatial construction and memory within one month after stroke can be an independent prognostic factor of functional outcome. Domain-specific neuropsychological assessments could be considered in patients with stroke in the acute phase to predict long-term functional outcome.
Identifying Basketball Plays from Sensor Data; Towards a Low-Cost Automatic Extraction of Advanced Statistics

Advanced statistics have proved to be a crucial tool for basketball coaches in order to improve training skills. Indeed, the performance of the team can be further optimized by studying the behaviour of players under certain conditions. In the United States of America, companies such as STATS or Second Spectrum use a complex multi-camera setup to deliver advanced statistics to all NBA teams, but the price of this service is far beyond the budget of the vast majority of European teams. For this reason, a first prototype based on positioning sensors is presented. An experimental dataset has been created and meaningful basketball features have been extracted. 97.9% accuracy is obtained using Support Vector Machines when identifying 5 different classic plays: floppy offense, pick and roll, press break, post-up situation and fast breaks. After recognizing these plays in video sequences, advanced statistics could be extracted with ease.