Miracle-dz/UniFAR-FTUs huggingface dataset:
A mHealth Architecture for Diabetes Self-Management System

Recent advancement in smartphones coupled with the proliferation of data connectivity has resulted in increased interest and unprecedented growth in mobile applications for diabetes self-management. Nevertheless, a review of the literature highlights critical gaps between available functionality and user requirements and expectations. In this paper, we present a mHealth architecture of diabetes self-management system. The architecture has the following functionalities: automated data-entry through the use of wireless sensors; adherence to clinical guidelines; advanced statistical techniques for diabetes modeling and prediction; and advanced charting capabilities for data presentation and quality control.
Renal α‐smooth muscle actin: A new prognostic factor for lupus nephritis

Aim: Systemic lupus erythematosus (SLE) is the prototype of autoimmune disease where renal involvement is frequent and always severe. Histological prognostic factors proposed for lupus nephritis (LN) including the World Health Organization and International Society of Nephrology/Renal Pathology Society – Working Group on the Classification classifications, active (AI) and chronicity (CI) indices may not predict response to treatment. The aim of this study was to correlate α‐smooth muscle actin (α‐SMA) expression, an early marker of glomerular and interstitial response to injury, to AI and CI, renal scarring progression and response to treatment.
Energy Efficiency Analysis of Cellular Downlink Transmission with Network Coding over Rayleigh Fading Channels

Recently, energy-efficient cellular transmission has received considerable research attention to improve the energy efficiency of wireless communication. In this paper, we consider a cellular network consisting of one base station (BS) and multiple user terminals and explore the network coding for enhancing the energy efficiency of cellular downlink transmission from BS to users. We propose the network coded cellular transmission scheme and conduct its energy consumption analysis with target outage probability and data rate requirements in Rayleigh fading environments. Then, the energy efficiency in Bits-per-Joule is further defined and analyzed to evaluate the number of bits delivered per Joule of energy cost. Numerical results show that the network coded cellular transmission significantly outperforms the traditional cellular transmission in terms of energy efficiency, implying that given a Joule of energy cost, the network coded cellular transmission scheme can deliver more bits than the traditional cellular transmission.
Acculturation, Enculturation, Ethnic Identity, and Conscientiousness as Predictors of Latino Boys’ and Girls’ Career Decision Self-Efficacy

This study examined the role of culture and personality on the career decision self-efficacy of 338 Latino seventh-grade public middle school students. Specifically, we examined the role of acculturation, enculturation, ethnic identity, and conscientiousness on career decision self-efficacy. Findings indicated Latina girls were more acculturated and enculturated than Latino boys. For Latino boys and Latina girls, respectively, 34% and 25% of the variance in career decision self-efficacy was accounted for by the predictors. Acculturation, ethnic identity, and conscientiousness significantly predicted career decision self-efficacy for girls. For boys, however, only ethnic identity and conscientiousness were unique significant predictors. As expected, enculturation did not significantly predict career decision self-efficacy for either boys or girls. An interaction effect between acculturation and enculturation did not significantly predict career decision self-efficacy for boys or girls. Implications for practice and future research are discussed.
Impact of Scottish Smoke-Free Legislation on Smoking Quit Attempts and Prevalence

Objectives In Scotland, legislation was implemented in March 2006 prohibiting smoking in all wholly or partially enclosed public spaces. We investigated the impact on attempts to quit smoking and smoking prevalence. Methods We performed time series models using Box-Jenkins autoregressive integrated moving averages (ARIMA) on monthly data on the gross ingredient cost of all nicotine replacement therapy (NRT) prescribed in Scotland in 2003–2009, and quarterly data on self-reported smoking prevalence between January 1999 and September 2010 from the Scottish Household Survey. Results NRT prescription costs were significantly higher than expected over the three months prior to implementation of the legislation. Prescription costs peaked at £1.3 million in March 2006; £292,005.9 (95% CI £260,402.3, £323,609, p<0.001) higher than the monthly norm. Following implementation of the legislation, costs fell exponentially by around 26% per month (95% CI 17%, 35%, p<0.001). Twelve months following implementation, the costs were not significantly different to monthly norms. Smoking prevalence fell by 8.0% overall, from 31.3% in January 1999 to 23.7% in July–September 2010. In the quarter prior to implementation of the legislation, smoking prevalence fell by 1.7% (95% CI 2.4%, 1.0%, p<0.001) more than expected from the underlying trend. Conclusions Quit attempts increased in the three months leading up to Scotland's smoke-free legislation, resulting in a fall in smoking prevalence. However, neither has been sustained suggesting the need for additional tobacco control measures and ongoing support.
Emerging: the impact of the Artist Teacher Scheme MA on students’ pedagogical and artistic practices

The United Kingdom Artist Teacher Scheme (ATS) commissioned a study of the artistic and pedagogical practices of students on a recently established Artist Teacher Scheme MA (ATS MA). The aims of this study were to: investigate the motives and objectives teachers/educators have for undertaking this ATS MA programme, the impact the programme had on their artistic and pedagogical practices and their pupils’ learning; and make recommendations for future development of ATS MA programmes. Through the analysis of questionnaires it was found that the ATS MA’s strength lies in the development of communities of practice and peer support, artist teachers’ renewed confidence in their extended artistic and pedagogical practices, the professional development of artist teachers, and significant development of the art and design curriculum.
Cardiac output measured by a new arterial pressure waveform analysis method without calibration compared with thermodilution after cardiac surgery.

OBJECTIVES To investigate whether measuring cardiac output and its course after cardiac surgery by a new analysis technique of radial artery pressure waves, without need for calibration (FloTrac/Vigileo [FV]; Edwards Lifesciences, Irvine, CA), conforms to the standard bolus thermodilution method via a pulmonary artery catheter (PAC). DESIGN Prospective study. SETTING Intensive care unit of university hospital. PARTICIPANTS Twenty patients for up to 24 hours after cardiac surgery. INTERVENTIONS Simultaneous and triplicate PAC thermodilution and FV cardiac output measurements at 1 and 3 hours after surgery and the following morning. MEASUREMENTS AND MAIN RESULTS Fifty-six simultaneous measurement sets were obtained. Mean cardiac output (PAC) ranged between 2.8 and 10.3 L/min and for the FV method between 3.3 and 8.8 L/min. The coefficient of variation for pooled measurements was 7.3% for the PAC and 3.0% for the FV method. For pooled data, the r2 was 0.55 (p < 0.001), with a bias of -0.14, precision of 1.00 L/min, and 95% limits of agreement between -2.14 and 1.87 L/min in a Bland-Altman plot. Also, the FV method tended to overestimate cardiac output when <7 L/min and increased with time, whereas mean arterial pressure increased and PAC cardiac output did not change. Changes in cardiac output correlated (r2 = 0.52, p < 0.001). CONCLUSIONS The FV arterial pressure waveform analysis method is a clinically applicable method for cardiac output assessment without calibration, after cardiac surgery. It performs well at low cardiac outputs but remains sensitive to changes in vascular tone.
BioMercator: integrating genetic maps and QTL towards discovery of candidate genes

SUMMARY Breeding programs face the challenge of integrating information from genomics and from quantitative trait loci (QTL) analysis in order to identify genomic sequences controlling the variation of important traits. Despite the development of integrative databases, building a consensus map of genes, QTL and other loci gathered from multiple maps remains a manual and tedious task. Nevertheless, this is a critical step to reveal co-locations between genes and QTL. Another important matter is to determine whether QTL linked to same traits or related ones is detected in independent experiments and located in the same region, and represents a single locus or not. Statistical tools such as meta-analysis can be used to answer this question. BioMercator has been developed to automate map compilation and QTL meta-analysis, and to visualize co-locations between genes and QTL through a graphical interface. AVAILABILITY Available upon request (http://moulon/~bioinfo/BioMercator/). Free of charge for academic use.
PETS: Power and energy estimation tool at system-level

In this paper, we introduce PETS, a simulation based tool to estimate, analyse and optimize power/energy consumption of an application running on complex state-of-the-art heterogeneous embedded processor based platforms. This tool is integrated with power and energy models in order to support comprehensive design space exploration for low power multi-core and heterogeneous multiprocessor platforms such as OMAP, CARMA, Zynq 7000 and Virtex II Pro. Moreover, PETS is equipped with power optimization techniques such as dynamic slack reduction and work load balancing. The development of PETS involves two steps. First step: power model generation. For the power model development, functional-level parameters are used to set up generic power models for the different components of the system. So far, seven power models have been developed for different architectures, starting from the simple low power architecture ARM9 to the very complex DSP TI C64x. Second step: a simulation based virtual platform framework is developed using SystemC IP's and JIT/ISS compilers to accurately grab the activities to estimate power. The accuracy of our proposed tool is evaluated by using a variety of industrial benchmarks. Estimated power and energy values are compared to real board measurements. The power estimation results are less than 4% of error for single core processor, 4.6% for dual-core processor, 5% for quad-core, 6.8% multi-processor based system and effective optimisation of power/energy for the applications.
MUC13 Mucin Augments Pancreatic Tumorigenesis

The high death rate of pancreatic cancer is attributed to the lack of reliable methods for early detection and underlying molecular mechanisms of its aggressive pathogenesis. Although MUC13, a newly identified transmembrane mucin, is known to be aberrantly expressed in ovarian and gastro-intestinal cancers, its role in pancreatic cancer is unknown. Herein, we investigated the expression profile and functions of MUC13 in pancreatic cancer progression. The expression profile of MUC13 in pancreatic cancer was investigated using a recently generated monoclonal antibody (clone PPZ0020) and pancreatic tissue microarrays. The expression of MUC13 was significantly (P < 0.005) higher in cancer samples compared with normal/nonneoplastic pancreatic tissues. For functional analyses, full-length MUC13 was expressed in MUC13 null pancreatic cancer cell lines, MiaPaca and Panc1. MUC13 overexpression caused a significant (P < 0.05) increase in cell motility, invasion, proliferation, and anchorage-dependent or -independent clonogenicity while decreasing cell–cell and cell-substratum adhesion. Exogenous MUC13 expression significantly (P < 0.05) enhanced pancreatic tumor growth and reduced animal survival in a xenograft mouse model. These tumorigenic characteristics correlated with the upregulation/phosphorylation of HER2, p21-activated kinase 1 (PAK1), extracellular signal-regulated kinase (ERK), Akt, and metastasin (S100A4), and the suppression of p53. Conversely, suppression of MUC13 in HPAFII pancreatic cancer cells by short hairpin RNA resulted in suppression of tumorigenic characteristics, repression of HER2, PAK1, ERK, and S100A4, and upregulation of p53. MUC13 suppression also significantly (P < 0.05) reduced tumor growth and increased animal survival. These results imply a role of MUC13 in pancreatic cancer and suggest its potential use as a diagnostic and therapeutic target. Mol Cancer Ther; 11(1); 24–33. ©2011 AACR.
Musical Differences in Learning-Disabled and Normal-Achieving Readers, Aged Seven, Eight and Nine

In the United States, learning-disabled children have been mainstreamed into general music classes where group instruction predominates without adequate evaluation of possible learning strengths and deficits. Three separate research projects have indicated that learning-disabled readers, aged seven, eight and nine, discriminate rhythm patterns similarly to matched normal- achieving readers but are unable to perform the same patterns in a similar manner. The two reading ability groups also differ at age seven and eight in tonal discrimination. The findings suggest that learning-disabled children may not be able to learn music in a class instructional setting as easily as their age-level peers. These exceptional learners need prior evaluation of input, integration and output capacities before being placed in learning situations where they will be unsuccessful.
Globalisation and Translation: A Theoretical Approach

Two fundamental features of globalisation are the overcoming of spatial barriers and the centrality of knowledge and information. These developments, which result in the increased mobility of people and objects and a heightened contact between different linguistic communities (mass tourism, migration, information and media flows) signal, in spite of the predominance of English as a global lingua franca, an exponential growth in the significance of translation, which becomes a key mediator of global communication. Yet language and translation have been systematically neglected in the current literature on globalisation. This paper critically examines current theories of globalisation and interrogates their lack of attention towards translation. It formulates an attempt to understand the significance of translation in a global context, conceptualising its analytical place in globalisation theory and its key role in the articulation of the global and the local.
The futility of explicit knowledge of a sequence of tasks

In an experiment that combined the task-shifting methodology with a serial reaction-time task, three groups of participants had to shift among a set of four tasks that were arranged in regular sequences of length eight. Two groups of participants were given explicit knowledge about the sequence of tasks. To ensure that the knowledge of the sequence was referred to in each trial, one group was asked to verbalise the forthcoming task (verbalisation group), whereas the other group had to detect trials that deviated from the learned sequence (detection group). Participants of a control group were given no information about the sequence of tasks. In addition, for all experimental groups in half of the blocks of trials external precues were presented which indicated the forthcoming task. The control group exhibited substantial task-shifting costs that were greatly reduced by the presentation of precues. Participants of the explicit-knowledge groups showed no indication that explicit knowledge resulted in advance preparation of the forthcoming task. In addition, the effect of the precues depended on the secondary task that had to be performed on the basis of explicit knowledge. Whereas for the detection group precues reduced shift costs to the same degree as for the control group, the verbalisation group showed no precueing benefits at all.
Ruby refactoring plug-in for eclipse

This article presents our refactoring plug-in for the Eclipse Ruby Development Tools IDE. Refactoring is a very important technique for every software engineer to ensure the healthiness of his code and a cornerstone of agile software development. We have implemented sixteen automated refactorings and three code generators, for example Rename Variable and Extract Method.
The Internet and Public Culture in Kuwait

This article considers the development and impact of the Internet in Kuwait. It argues that even though important cultural filters shape Internet use, experimentation with new social relationships in cyberspace occur. This is true especially among youths. It performs three kinds of analyses to make its main point. First, it performs a content analysis of the major Kuwaiti daily newspapers in both Arabic and English to illustrate the emergence of a public consciousness of the Internet. Second, it uses survey data to describe the scope and character of the Kuwaiti Internet community in relation to the general population of Kuwait, and in relation to regional Internet access/use patterns. Third, it examines the emerging impacts of Internet use in Kuwait. It concludes that the most significant possibilities for change stem from student use of the Internet to transgress gender boundaries, and to protest the state's new gender law.
Beyond the “black box” of the Therapeutic Community for substance abusers: A participant observation study on the treatment process

Therapeutic Communities (TCs) for substance abusers are an effective recovery oriented treatment for residents who finish the program. Over the years, the TC approach has been challenged by changes in society and by new perspectives on treatment. Moreover, the therapeutic process that takes place in TCs is barely understood or documented, often referred to as the “black box” of TCs. In order to gain insight into this process, there is a growing demand for qualitative research. This article presents the findings from a participant observation study in a Belgian TC. The first author fully immersed herself amongst the residents of a TC peer group for three weeks. By interpreting naturalistic participant observation data through psychoanalytic theory on addiction and mentalization, the process of change is discussed. It is argued that the TC program challenges former substance abusers in terms of problems they have with affect regulation. This process is understood in terms of a growing ability to manage disturbing affective experiences in a more mentalized way. The frustrating and holding TC environment together with the TC tools provide the condition and techniques to make this process manifest. Limitations of the study and suggestions for future research are discussed.
The Ambiguous Role of the Popular, Society and Public Order Police in Sudan, 1983–2011

This article addresses a number of obscurities surrounding the role of the various Sudanese police units often referred to as the ‘religious police’ or ‘morality police’. These include the Popular Police, Society Police and Public Order Police. Although these units have often been analysed as agents of ‘Arabization’, ‘Islamization’ and the cultural domination of peripheral groups by the hegemonic northern riverain faction within the state, this article focuses instead primarily on the intra-northern debate over these units, which is suggestive of a variety of internal crises the northern government will need to resolve in the wake of secession. It contends that the Sudanese government has never resolved the ambiguity over whether these units function as local crime fighters or as guardians of religious morality. Although a number of analysts argue that the Sudanese regime has become less ideological and thus scaled back the morality police, this ambiguity remains highly relevant today, to the extent that it causes divisions within the security forces and even the government itself. The article further identifies the centrality of the debate over the public order units to the period of self-questioning that has characterized the ‘post-Islamist’ phase in Sudanese politics. It discusses the ambiguous social status of these units, who have been represented as guardians of urban Sudanese culture by their champions and a threat to it by their detractors.
Determining detailed structural correspondence for generalization tasks

Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generalization is identifying the detailed structural correspondence between two pieces of code being considered for generalization. Unfortunately, tool support for this step is insufficient, leaving the developer to resort to tedious and error-prone manual determination of correspondence. This paper presents an approach for automatically determining correspondences as an early step in a generalization task. The approach is implemented in a proof-of-concept plug-in to the Eclipse integrated development environment. Two small empirical evaluations of the tool have been conducted: a comparison between human attempts to determine detailed correspondences and those of the tool; and, a comparison of the use of the tool to the use of diff/CCFinder in performing generalization tasks.
Eliminating Spurious Memories in a Network of Chaotic Elements

A globally coupled map GCM model is a network of chaotic elements that are globally coupled with each other. We previously proposed an associative memory system based on GCM, which has a better ability than the Hopfield network. This result indicates that the dynamics of our system is more efficient than that of the Hopfield network. However, even in our system, spurious memories, that is, the system's equilibria that do not correspond to any of the proper memories, do exist. In this article a modified associative memory system is proposed in which spurious memories are noticeably reduced. This is achieved by modifying the chaotic dynamics of the system. With this improvement, our system's memory capacity and basin volumes are expanded a great deal. Some experimental results in comparison with those of a neural network that employs a nonmonotonic output junction are also shown.
Beam steering antenna and network design for WPT applications

The Internet of Things (IoT) is increasingly present in our daily routine. It allows to use technology in a more efficient way. Important enabler of it is Wireless Power Transmission (WPT) as an alternative to electrical conductors (wires and cables). Given these aspects a linear microstrip antenna array was developed for 2.45 GHz ISM band, with Circular Polarization (CP). The main objective of this array is to create a beam to power up wireless sensors within a specific area of a room. The steering performance of the antenna is simulated using CST tool. Simulation results are found to be in good agreement with measurements.
Decidability of Equality in Categories with Families

Categories with families (cwfs) is a theory which was introduced to be a categorical model of dependently-typed λ-calculus (LF). We first define both theories and discuss about possible variations of the syntax and their consequences; we also see some related theories and see why categories with families is a rather natural one in the sense that it captures the essential constructions of λ-calculus. Then we show that it is decidable to know whether two dependently-typed λ-terms are equal or not by giving an algorithm and the proof of its termination. Finally we show that the theories of cwfs and LF are equivalent (i.e. the same theorems hold in both theories, modulo interpretation) by giving two syntactic interpretations, of one theory into the other one, which are proven to have some good soundness properties. This proves that the equality is also decidable for cwfs.