Miracle-dz/UniFAR-FTUs huggingface dataset:
Model-Driven Derivation of Domain Functional Requirements from Use Cases

Domain analysis is essential to core assets development in software product line engineering. Most existing approaches, however, depend on domain experts’ experience to analyze the commonality and variability of systems in a domain, which remains a manual and intensive process. This paper addresses the issue by proposing a model-driven approach to automating the domain requirements derivation process. The paper focuses on the match between the use cases of existing individual products and the domain functional requirements of a product line. By introducing a set of linguistic description dimensions to differentiate the sub-variations in a use case, the use case template is extended to model variability. To this end, a transformation process is formulated to sustain and deduce the information in use cases, and to match it to domain functional requirements. This paper also presents a prototype which implements the derivation as a model transformation described in a graphical model transformation language MOLA. This approach complements existing domain analysis techniques with less manual operation cost and more efficiency by automating the domain functional requirements development.
Intrathecal Baclofen Pump Migration Into the Peritoneal Cavity: A Case Report

Introduction: Intrathecal baclofen pumps are valuable treatment options for those with cerebral palsy. Although subfascial baclofen pump placement is generally preferred over a subcutaneous pump placement due to lower infection rates, rare complications can occur with the subfascial approach such as pump migration. Case Presentation: The authors here describe a case of baclofen pump migration into the peritoneal cavity of a 26-year-old male patient with cerebral palsy, shunted hydrocephalus, and epilepsy. Because the patient’s pump could not be palpated on exam and hence refilled, imaging was undertaken, but did not reveal clear evidence of pump migration. Surgery afterward confirmed that the pump had migrated into the peritoneal cavity through a fascial defect. Baclofen pump had to be replaced instead subcutaneously as well as the patient later had to be readmitted for 2 ventriculoperitoneal shunt revisions due to progression of his hydrocephalus. Conclusions: Intraperitoneal migration of a subfascially placed baclofen pump is a rare, yet serious complication, which has been reported only once in the literature. We advise neurosurgeons to have a low level of threshold in confirming the location of a baclofen pump with imaging and surgical exploration if necessary in order to avoid detrimental outcomes such as bowel perforation.
FETI and BDD preconditioners for Stokes–Mortar–Darcy Systems

We consider the coupling across an interface of a fluid flow and a porous media flow. The differential equations involve Stokes equations in the fluid region, Darcy equations in the porous region, plus a coupling through an interface with Beaver‐Joseph‐Saffman transmission conditions. The discretization consists of P2/P1 triangular Taylor‐Hood finite elements in the fluid region, the lowest order triangular Raviart‐Thomas finite elements in the porous region, and the mortar piecewise constant Lagrange multipliers on the interface. We allow for nonmatching meshes across the interface. Due to the small values of the permeability parameter of the porous medium, the resulting discrete symmetric saddle point system is very ill conditioned. We design and analyze preconditioners based on the finite element by tearing and interconnecting (FETI) and balancing domain decomposition (BDD) methods and derive a condition number estimate of order C1.1C. 1=// for the preconditioned operator. In case the fluid discretization is finer than the porous side discretization, we derive a better estimate of order C2. C 1/=. C.h p / 2 // for the FETI preconditioner. Here h p is the mesh size of the porous side triangulation. The constants C1 and C2 are independent of the permeability , the fluid viscosity , and the mesh ratio across the interface. Numerical experiments confirm the sharpness of the theoretical estimates.
The business model and platform strategy of social TV: A case study

Social TV has been rapidly developing in recent years. However, it has not been discussed how to connect social interactions among users to business models. This study conducts a single case study of social TV, namely Afreeca TV. Not only watching but operating broadcasting channels are allowed in Afreeca TV. It differs in terms of providing strong monetary incentives for users to operate personal channels. It generates revenue from selling gift items, which are used for viewers to give presents to broadcasting jockeys. Based on this case, the current study suggests insightful propositions for the Internet media enterprises.
3-ADIC BARSOTTI–TATE GROUPS

To my dear friend Jon Rogawski, who created the UCLA number theory group. We define-BT groups as well-controlled ind-Barsotti–Tate groups under the action of the Iwasawa algebra and construct a prototypical example of such groups out of modular Jacobians. We then discuss the relation of these groups to Weil numbers of weight 1 and to the nonvanishing problem of the adjoint ᏸ-invariant.
Scarcity of Safe Assets, Inflation, and the Policy Trap

We construct a model in which all consolidated government debt is used in transactions, with money being more widely acceptable. When asset market constraints bind, the model can deliver low real interest rates and positive rates of inflation at the zero lower bound. Optimal monetary policy in the face of a financial crisis shock implies a positive nominal interest rate. The model reveals some novel perils of Taylor rules.
Computer Vision Based Human-Computer Interaction Using Color Detection Techniques

A gesture-based human computer interaction allows people to control the application on windows by moving their hands through the air and make computers and devices easier to use. Existing solutions have relied on gesture recognition algorithms they needs different hard wares, often involving complicated setups limited to the research lab. Algorithms which are used so far for gesture recognition are not practical or responsive enough for real-world use, might be due to the inadequate data on which the image processing is done. As existing methods are based on gesture recognition algorithms. It needs 'ANN training' which makes whole process slow and reduces accuracy. Method we proposed is based on real time controlling the motion of mouse in windows according to the motion of hand and fingers by calculating the change in pixels values of RBG colors from a video, 'without using any ANN training' to get exact sequence of motion of hands and fingers.
The structural basis for the interaction between the CAF1 nuclease and the NOT1 scaffold of the human CCR4–NOT deadenylase complex

The CCR4–NOT complex plays a crucial role in post-transcriptional mRNA regulation in eukaryotic cells. It catalyzes the removal of mRNA poly(A) tails, thereby repressing translation and committing mRNAs to decay. The conserved core of the complex consists of a catalytic module comprising two deadenylases (CAF1/POP2 and CCR4a/b) and the NOT module, which contains at least NOT1, NOT2 and NOT3. NOT1 bridges the interaction between the two modules and therefore, acts as a scaffold protein for the assembly of the complex. Here, we present the crystal structures of the CAF1-binding domain of human NOT1 alone and in complex with CAF1. The NOT1 domain comprises five helical hairpins that adopt an MIF4G (middle portion of eIF4G) fold. This NOT1 MIF4G domain binds CAF1 through a pre-formed interface and leaves the CAF1 catalytic site fully accessible to RNA substrates. The conservation of critical structural and interface residues suggests that the NOT1 MIF4G domain adopts a similar fold and interacts with CAF1 in a similar manner in all eukaryotes. Our findings shed light on the assembly of the CCR4–NOT complex and provide the basis for dissecting the role of the NOT module in mRNA deadenylation.
Adaptive parameter-free learning from evolving data streams

We propose and illustrate a method for developing algorithms that can adaptively learn from data streams that change over time. As an example, we take Hoeffding Tree, an incremental decision tree inducer for data streams, and use as a basis it to build two new methods that can deal with distribution and concept drift: a sliding window-based algorithm, Hoeffding Window Tree, and an adaptive method, Hoeffding Adaptive Tree. Our methods are based on using change detectors and estimator modules at the right places; we choose implementations with theoretical guarantees in order to extend such guarantees to the resulting adaptive learning algorithm. A main advantage of our methods is that they require no guess about how fast or how often the stream will change; other methods typically have several user-defined parameters to this effect. In our experiments, the new methods never do worse, and in some cases do much better, than CVFDT, a well-known method for tree induction on data streams with drift.
Modeling the Summertime Climate of Southwest Asia: The Role of Land Surface Processes in Shaping the Climate of Semiarid Regions

AbstractPresented is a study on the role of land surface processes in determining the summertime climate over the semiarid region of southwest Asia. In this region, a warm surface air temperature bias of 3.5°C is simulated in the summer by using the standard configuration of Regional Climate Model version 3 (RegCM3). Biases are also simulated in surface albedo (underestimation), shortwave incident radiation (overestimation), and vapor pressure (underestimation). Based on satellite measurements documented in NASA’s surface radiation budget (SRB) dataset, a correction in surface albedo by 4% is introduced in RegCM3 to match the observed SRB data. Increasing albedo values results in a nearly 1°C cooling over the region. In addition, by incorporating RegCM3’s dust module and including subgrid variability for surface wind, shortwave incident radiation bias originally of about 45 W m−2 is reduced by 30 W m−2. As a result, the reduction of shortwave incident radiation cools the surface by 0.6°C. Finally, includi.
Integrating Social Relations into Personalized Tag Recommendation

Personalized tag recommendation is to provide a user with a ranked list of tags for a specific resource that best serves the user's needs. In this paper, we proposed a personalized tag recommendation algorithm incorporating with users' social relations. We model the social annotations made by the collaborative users and the social relations between them with a graph model. We associate each node in this graph with a tag preference vector, which is then refined through a random walk procedure over this graph. The tag preferences of the active user and resource are finally combined to generate the recommended tags. We conduct experiments on the Delicious. Experimental results demonstrate the effectiveness of the proposed algorithm.
Social Robotics in Therapy of Apraxia of Speech

Apraxia of speech is a motor speech disorder in which messages from the brain to the mouth are disrupted, resulting in an inability for moving lips or tongue to the right place to pronounce sounds correctly. Current therapies for this condition involve a therapist that in one-on-one sessions conducts the exercises. Our aim is to work in the line of robotic therapies in which a robot is able to perform partially or autonomously a therapy session, endowing a social robot with the ability of assisting therapists in apraxia of speech rehabilitation exercises. Therefore, we integrate computer vision and machine learning techniques to detect the mouth pose of the user and, on top of that, our social robot performs autonomously the different steps of the therapy using multimodal interaction.
The impact of blended learning in developing students' writing skills: Hawassa University in focus

The objectives of this study were to examine the impact of blended learning in developing English writing performance of first year students and to determine the level of computer attitudes of English language instructors towards using blended learning approach to teach English writing. The research design of the study was quasi-experimental research. The experimental group were taught using blended learning instruction while the control group were taught using traditional lecture method. A sample of 80 students (48 male, 32 female) and 50 English language instructors (40 male, 10 female) was selected. The pre-test and posttest were used as instruments for data collection for students whereas questionnaire and FGD were used for data collection for instructors. Students’ test scores were analyzed using ANCOVA procedure. The instructors’ questionnaire data were analyzed using descriptive statistics, whereas FGD outcomes were qualitatively evaluated. A statistically significant difference was observed between the groups in posttest scores of writing course (F= 275.22, df = 1,77, p < 0.01). Conclusion is that students of experimental group performed better in writing skills course than students of control group. Instructors’ attitudes towards computers were positive but their actual use of computers was moderate. Finally, it was recommended among others that university instructors should willingly restructure their programs, courses and assessment procedures to host BL and that the academic officials provide for the appropriate staff training and technical infrastructure for the implementation of BL.
Effects of Excitatory Repetitive Transcranial Magnetic Stimulation of the P3 Point in Chronic Stroke Patients—Case Reports

Objective: To evaluate the effects of excitatory repetitive transcranial magnetic stimulation (rTMS) of the international 10–20 system P3 point (intraparietal sulcus region) in chronic patients with a frontal lesion and parietal sparing due to stroke on the impaired upper (UL) and lower limb (LL) as measured by the Fugl-Meyer Assessment (FMA). Methods: Three patients (C1: 49.83/2.75, C2: 53.17/3.83, C3: 63.33/3.08-years-old at stroke/years post-stroke, respectively) received two weeks (five days/week) of rTMS at 10 Hz of P3. A patient was treated in similar conditions with a sham coil (S1: 56.58/4.33). Patients were evaluated before, after, and two months post-treatment (A1, A2, and A3, respectively). Results: For LL, the scores of the motor function subsection of C1 and C3 as well as the sensory function of C2 increased by A2 and remained by A3. For UL, the score of the motor function of C2 and C3 also increased, but the score of C3 decreased by A3. The score of the range of motion subsection of C3 increased by the two follow-up evaluations. Conclusion: This study suggests excitatory rTMS over P3 may be of use for some chronic stroke patients, but these findings need to be verified in a future clinical trial.
THE MEASUREMENT OF ENTREPRENEURIAL ACTIVITY

In this paper we re-examine the measurement of entrepreneurial activity and provide a model-based approach at measure. The Global Entrepreneurship Monitor (GEM) project has been a key addition to our ability to measure and compare rates of entrepreneurial activity. But even though there is consensus about the importance of measuring entrepreneurial activity, researchers differ about the appropriate ways to measure the breadth of entrepreneurial activity. We analyze the GEM’s measure of entrepreneurial activity (TEA), address limitations in its design and development and provide an alternative measure of entrepreneurial activity, which includes entrepreneurial environment. We use a model-based approach to measure entrepreneurship activity and our results indicate that the model provides support for the combined use of entrepreneurial activity and entrepreneurial environment. Key-Words EntrepreneurshipEntrepreneurial ActivityEntrepreneurial Environment
Developments in the Researches on the Relationship between Mood and Creativity

The relationship between mood and creativity is highly complicated.The previous researches mostly focused on observing and comparing the different creative performances of the subjects in the positive,negative and neutral mood conditions respectively on the basis of a single dimensional understanding of mood,thus their findings being inconsistent or even contradictory.The latest studies have approached the issue through a more micro perspective by identifying three dimensions out of mood,i.e.hedonic tone,activation and regulatory focus.Such a more analytical observation has enabled the research results to be more effective both internally and externally.As far as the future development of the research is concerned,we have to adopt the modern technologies of neuroscience to make more delicate and comprehensive analyses so that we can gain deepened understandings of the complicated relationship between mood and creativity.
Diversity of toxin and non-toxin containing cyanobacterial mats of meltwater ponds on the Antarctic Peninsula: a pyrosequencing approach

Abstract Despite their pivotal role as primary producers, there is little information as to the diversity and physiology of cyanobacteria in the meltwater ecosystems of polar regions. Thirty cyanobacterial mats from Adelaide Island, Antarctica were investigated using 16S rRNA gene pyrosequencing and automated ribosomal intergenic spacer analysis, and screened for cyanobacterial toxins using molecular and chemical approaches. A total of 274 operational taxonomic units (OTUs) were detected. The richness ranged between 8 and 33 cyanobacterial OTUs per sample, reflecting a high mat diversity. Leptolyngbya and Phormidium (c. 55% and 37% of the OTUs per mat) were dominant. Cyanobacterial community composition was similar between mats, particularly those obtained from closely adjacent locations. The cyanotoxin microcystin was detected in 26 of 27 mats (10–300 ng g-1 organic mass), while cylindrospermopsin, detected for the first time in Antarctica, was present in 21 of 30 mats (2–156 ng g-1 organic mass). The latter was confirmed via liquid chromatography-mass spectrometry and by the presence of the cyrAB and cyrJ genes. This study demonstrates the usefulness of pyrosequencing for characterizing diverse cyanobacterial communities, and confirms that cyanobacteria from extreme environments produce a similar range of cyanotoxins as their temperate counterparts.
Management of extranodal lymphoma of the spine: a study of 30 patients

Extranodal lymphoma of the spine is often a late manifestation of systemic disease, and may result in symptoms of pain, neurologic compromise or spinal instability. Symptomatic relief is generally achieved by radiotherapy alone, but is not sufficient in addressing spinal instability. The indications for surgery remain controversial, but may be required for spinal stabilization, or refractory disease. Currently, there is a lack of studies that compare the indications and clinical outcomes of patients receiving surgical and nonsurgical management of spinal extranodal lymphoma. Medical records of 30 patients seen from March 2006 to August 2015, with histologically confirmed spinal lymphoma, were retrospectively reviewed. Demographic information, clinical factors, imaging, treatment and clinical outcomes were recorded. 19 patients were treated surgically and 11 nonsurgically (i.e., chemotherapy, radiation or combination). Surgery was performed for emergent neurological deterioration, mechanical stabilization, refractoriness to medical management or to perform an open biopsy for pathological diagnosis. Among those treated surgically, significantly fewer patients could carry on normal activities (KPS <70) at baseline, compared with those treated nonsurgically. However, there were no significant differences regarding pain medication use, functional status at 1 year, or mean survival (87.6 months) between groups. Surgery for extranodal lymphoma may be required in specific cases, resulting in favorable and similar outcomes compared with nonsurgical management.
Water-Gas Shift Membrane Reactor Studies

Approach • Complete reverse kinetics and Computational Fluid Dynamics (CFD) modeling to optimize reactor geometry for forward reactions • Measure forward kinetics in quartz & Inconel reactors to determine reactor wall catalysis • Measure forward kinetics in reactor packed with membrane material to determine catalytic activity • Measure membrane H2 permeability in presence of clean syngas components • Conduct forward water-gas shift using a membrane reactor at favorable conditions
Plethysmographic Loops: A Window on the Lung Pathophysiology of COPD Patients

Plethysmographic alveolar pressure-flow (Palv–F) loops contain potentially relevant information about the pathophysiology of chronic obstructive pulmonary disease (COPD), but no quantitative analysis of these loops during spontaneous breathing has ever been performed. The area of the loop’s inspiratory (Ains) and expiratory portion (Aexp), and the difference between the end-expiratory and end-inspiratory alveolar pressure (ΔPalv) were measured in 20 young, 20 elderly healthy subjects, and 130 stable COPD patients. Ains and ΔPalv increased by 55 and 78% from young to elderly subjects, and by 107 and 122% from elderly subjects to COPD patients, reflecting changes in mechanical heterogeneity, lung-units recruitment/derecruitment, and possibly air trapping occurring with aging and/or obstructive disease. Aexp increased by 38% from young to elderly subjects, and by 198% from elderly subjects to COPD patients, consistent with the additional contribution of tidal expiratory flow-limitation, which occurs only in COPD patients and affects Aexp only. In COPD patients, Aexp and ΔPalv showed a significant negative correlation with VC, FEV1, IC, and a significant positive correlation with RV/TLC. The results suggest that the analysis of plethysmographic Palv–F loops provides an insight of the pathophysiological factors, especially tidal expiratory flow-limitation, that affect lung function in COPD patients.
Anti-Inflammatory Effects of the Advanced Glycation End Product Inhibitor LR-90 in Human Monocytes

Ligation of advanced glycation end products (AGEs) with their receptor (RAGE) plays an important role in the development of various diabetes complications, including atherosclerosis. Monocyte activation, adhesion, and migration are key events in the pathogenesis of atherosclerosis. Previous studies showed that AGEs and S100b, a specific RAGE ligand, could augment monocyte inflammatory responses via RAGE. In this study, we examined whether LR-90, a compound belonging to a new class of AGE inhibitor, could inhibit inflammatory responses in human monocytes. Human THP-1 cells were pretreated with LR-90 and then stimulated with S100b. LR-90 significantly inhibited S100b-induced expression of RAGE and other proinflammatory genes including monocyte chemoattractant protein-1, interferon-γ–inducible protein-10, and cyclooxygenase-2 in a dose-dependent manner. These inhibitory effects may be exerted via inhibition of nuclear factor-κB (NF-κB) activation, as LR-90 suppressed both S100b–and tumor necrosis factor-α–induced IκB-α degradation as well as NF-κB promoter transcriptional activity. LR-90 also prevented oxidative stress in activated monocytes, as demonstrated by its inhibitory effects on S100b-induced expression of NADPH oxidase and intracellular superoxide production. In addition, LR-90 blocked S100b-induced monocyte adhesion to human umbilical vein endothelial cell. These new data show that, in addition to its AGE inhibitory effects, LR-90 has novel anti-inflammatory properties and might therefore have additional protective effects against diabetic vascular complications.