Miracle-dz/UniFAR-FTUs huggingface dataset:
Access to care for the poor living with chronic disease in India : an analysis of selected national health policies

Cette recherche sur les barrieres a l’acces pour les pauvres atteints de maladies chroniques en Inde a trois objectifs : 1) evaluer si les buts, les objectifs, les instruments et la population visee, tels qu'ils sont formules dans les politiques nationales actuelles de sante en Inde, permettent de repondre aux principales barrieres a l’acces pour les pauvres atteints de maladies chroniques; 2) evaluer les types de leviers et les instruments identifies par les politiques nationales de sante en Inde pour eliminer ces barrieres a l’acces; 3) et evaluer si ces politiques se sont ameliorees avec le temps a l’egard de l’offre de soins a la population pour les maladies chroniques et plus specifiquement chez les pauvres.En utilisant le Framework Approach de Ritchie et Spencer (1993), une analyse qualitative de contenu a ete completee avec des politiques nationales de sante indiennes. Pour commencer, un cadre conceptuel sur les barrieres a l’acces aux soins pour les pauvres atteints de maladies chroniques en Inde a ete cree a partir d’une revue de la litterature scientifique. Par la suite, les politiques ont ete echantillonnees en Inde en 2009. Un cadre thematique et un index ont ete generes afin de construire les outils d’analyse et codifier le contenu. Finalement, les analyses ont ete effectuees en utilisant cet index, en plus de chartes, de maps, d'une grille de questions et d'etudes de cas. L’analyse a tete effectuee en comparant les barrieres a l’acces qui avaient ete originalement identifiees dans le cadre thematique avec celles identifiees par l’analyse de contenu de chaque politique.Cette recherche met en evidence que les politiques nationales de sante indiennes s’attaquent a un certain nombre de barrieres a l’acces pour les pauvres, notamment en ce qui a trait a l’amelioration des services de sante dans le secteur public, l’amelioration des connaissances de la population et l’augmentation de certaines interventions sur les maladies chroniques. D’un autre cote, les barrieres a l’acces reliees aux couts du traitement des maladies chroniques, le fait que les soins de sante primaires ne soient pas abordables pour beaucoup d’individus et la capacite des gens de payer sont, parmi les barrieres a l'acces identifiees dans le cadre thematique, celles qui ont recu le moins d’attention. De plus, lorsque l’on observe le temps de formulation de chaque politique, il semble que les efforts pour augmenter les interventions et l’offre de soins pour les maladies chroniques physiques soient plus recents. De plus, les pauvres ne sont pas cibles par les actions reliees aux maladies chroniques. Le risque de les marginaliser davantage est important avec la transition economique, demographique et epidemiologique qui transforme actuellement le pays et la demande des services de sante.
A voice activated device for insulin dosage calculations for visually impaired diabetes

Diabetes places dietary burdens on those who suffer from it. Managing these burdens often requires performing calculations. Bolus calculators have been developed to facilitate these calculations, but fail to address accessibility issues presented by visual impairment, often associated with diabetes. The device presented herein is designed to provide an accessible bolus calculator for the visually impaired. This is primarily accomplished through a voice based interface. The user may speak the name and portion size of the food to be consumed. A word recognition algorithm matches the spoken name with one stored in a food database on the device. From the database the quantity of carbohydrates contained in the food are found. This data, along with a blood sugar measurement, is used to compute a recommended bolus dose, which is then presented to the user. It is expected that this device will improve the visually impaireds ability to manage their diabetes.
Fact Sheet Series : No . 1 – Basic Concepts

This Fact Sheet Series has been produced to provide a detailed understanding of the Engineering, Science and Technology inherent within Inductive Power Transfer systems (IPT), developed at The University of Auckland. It is our intention to produce a number of Fact Sheets within the series covering all aspects of IPT technology in sufficient depth for a skilled practitioner in the art to gain a holistic view of the technology, developments, and possible applications of IPT. The Fact Sheets are written from the viewpoint of the experts central to the development of the work.
Angiotensin II contributes to the increased baseline leg vascular resistance in spinal cord-injured individuals

Objective Spinal cord-injured (SCI) individuals demonstrate an increased baseline leg vascular resistance (LVR). In addition, despite the lack of sympathetic control, an increase in LVR is observed during orthostatic challenges. On the basis of the vasoconstrictive characteristics of angiotensin II, we examined the hypothesis that angiotensin II contributes to the LVR at baseline and during head-up tilt (HUT) in SCI individuals. Methods Supine baseline leg and forearm blood flow were measured using venous occlusion plethysmography and leg blood flow during 30° HUT using duplex ultrasound. Measurements were performed before and 4 h after an angiotensin II antagonist (irbesartan, 150 mg) administered in eight SCI individuals and eight age-matched and sex-matched able-bodied controls. Vascular resistance was calculated as the arterial–venous pressure gradient divided by blood flow. Results Angiotensin II blockade significantly decreased baseline LVR in SCI individuals (P = 0.02) but not in controls, whereas no changes in forearm vascular resistance were found in both groups. Angiotensin II blockade did not alter the increase in LVR during HUT in SCI individuals nor in controls. Conclusion Our results indicate that angiotensin II contributes to the increased baseline LVR in SCI individuals. As angiotensin II does not contribute to forearm vascular resistance, the contribution to LVR may relate to the extreme inactivity of the legs in SCI individuals. Angiotensin II does not contribute to the increase in LVR during HUT in SCI individuals nor in controls.
On the NonKoszulity of (2p+1)-ary partially associative Operads

We present a study of quadratic operads for n-ary algebras and their dual for n odd. We will focus on the ternary case (i.e n=3). The aim is to underline the problem of computing the dual operad and the fact that this last is in general defined in the graded differential operad framework. We prove that the operad associated to 3-ary partially associative algebra is not Koszul. Recall that, if n is even, the operad of n-ary partially associative algebras is Koszul.
Industrial Challenges with Quality Requirements in Safety Critical Software Systems

Budget constraints and the difficulty to specify quality requirements, such as reliability, robustness, and safety present challenges to many software companies in particular if they develop safety-critical systems. Failing to specify this type of requirements properly can lead to misunderstandings between the developers and the customers, which can threaten the quality of the system. However, little information is available on how companies currently work with these requirements. This paper describes the state of requirements engineering practice and identifies challenges with quality requirements by conducting a requirements analysis on two projects, including 980 requirements, at a company developing safety-critical systems. We also compare to similar results for a company developing end user software. Problematic and ambiguous requirements have caused misunderstandings with the customers and introduced late and project-critical costs to the projects. The results show that despite a high percentage of quality requirements at the company, the majority of these requirements are non-quantified, which potentially leads to lower verifiability, high ambiguity and can create late-project delays in verification and validation. Our study adds empirical evidence on the characteristics and challenges of real-world requirements engineering for safety-critical systems.
Formal modelling and analysis of mission-critical software in military avionics systems

A typical avionics mission system of a military aircraft is a complex real-time system consisting of a mission control computer, different kinds of sensors, navigation and communication subsystems, and various displays and stores; all interconnected by a number of serial data buses. The mission capability is increasingly implemented in the mission-critical software and the robustness of this software is vital for mission success. The complexity and real-time requirements of mission systems represent major challenges to the Australian Defence Force during new acquisitions, upgrades and maintenance. This paper describes the experiences on a joint research project between the University of South Australia and Australia's Defence Science and Technology Organisation into the modelling and analysis of avionics mission systems. The paper provides a summary of the key aspects of our previous research work on the modelling of a generic mission system using Coloured Petri Nets and the analysis of task scheduling on the mission computer. Finally, the paper briefly discusses the extension of the generic model to obtain a formal model of the mission system of the AP-3C Orion maritime surveillance aircraft.
Robust R Peak and QRS detection in Electrocardiogram using Wavelet Transform

In this paper a robust R Peak and QRS detection using Wavelet Transform has been developed. Wavelet Transform provides efficient localization in both time and frequency. Discrete Wavelet Transform (DWT) has been used to extract relevant information from the ECG signal in order to perform classification. Electrocardiogram (ECG) signal feature parameters are the basis for signal Analysis, Diagnosis, Authentication and Identification performance. These parameters can be extracted from the intervals and amplitudes of the signal. The first step in extracting ECG features starts from the exact detection of R Peak in the QRS Complex. The accuracy of the determined temporal locations of R Peak and QRS complex is essential for the performance of other ECG processing stages. Individuals can be identified once ECG signature is formulated. This is an initial work towards establishing that the ECG signal is a signature like fingerprint, retinal signature for any individual Identification. Analysis is carried out using MATLAB Software. The correct detection rate of the Peaks is up to 99% based on MIT-BIH ECG database.
A fuzzy approach to option pricing in a Levy process setting

Abstract In this paper the problem of European option valuation in a Levy process setting is analysed. In our model the underlying asset follows a geometric Levy process. The jump part of the log-price process, which is a linear combination of Poisson processes, describes upward and downward jumps in price. The proposed pricing method is based on stochastic analysis and the theory of fuzzy sets.We assume that some parameters of the financial instrument cannot be precisely described and therefore they are introduced to the model as fuzzy numbers. Application of fuzzy arithmetic enables us to consider various sources of uncertainty, not only the stochastic one. To obtain the European call option pricing formula we use the minimal entropy martingale measure and Levy characteristics.
Structure and Substance in Artificial-Phonology Learning, Part II: Substance

Artificial analogues of natural-language phonological patterns can often be learned in the lab from small amounts of training or exposure. The difficulty of a featurally-defined pattern has been hypothesized to be affected by two main factors, its formal structure (the abstract logical relationships between the defining features) and its phonetic substance (the concrete phonetic interpretation of the pattern). This paper, the second of a two-part series, reviews the experimental literature on phonetic substance, which is hypothesized to facilitate the acquisition of phonological patterns that resemble naturally-occurring phonetic patterns. The effects of phonetic substance on pattern learning turn out to be elusive and unreliable in comparison with the robust effects of formal complexity (reviewed in Part I). If natural-language acquisition is guided by the same inductive biases as are found in the lab, these results support a theory in which inductive bias shapes only the form, and channel bias shapes the content, of the sound patterns of the worlds languages.
Allocating More Experienced Teachers to Leadership Positions in Schools: A Double-Edged Sword?

This article presents a critical discussion of the implications of allocating the most experienced and skilled teachers in schools to teacher leadership positions. Placing such teachers in leadership positions supports school improvement initiatives, but it can also pull valuable teaching resources from the classroom. The article examines this issue by investigating how expertise is distributed between teacher leaders and regular classroom teachers in urban schools implementing comprehensive school reform programs. Results indicate that teacher leaders have substantially more postsecondary training and teaching experience than do nonleaders. The implications of these results are discussed.
Twisted Supersymmetric Gauge Theories and Orbifold Lattices

: We examine the relation between twisted versions of the extended supersymmetric gauge theories and supersymmetric orbifold lattices. In particular, for the N = 4 SYM in d = 4, we show that the continuum limit of orbifold lattice reproduces the twist introduced by Marcus, and the examples at lower dimensions are usually Blau-Thompson type. The orbifold lattice point group symmetry is a subgroup of the twisted Lorentz group, and the exact supersymmetry of the lattice is indeed the nilpotent scalar supersymmetry of the twisted versions. We also introduce twisting in terms of spin groups of ﬁnite point subgroups of R -symmetry and spacetime symmetry.
Metamorphic Framework for Key Management and Authentication in Resource-Constrained Wireless Networks

The advent of the Internet of Things (IoT) has prioritized development in unique identiﬁcation and sensing technologies, which facilitate IoT’s automated and intelligent vision. Data security is critical to the success of such applications, more so with the communication over a wireless channel. However, IoT devices are resource limited and lack the ability to perform sophisticated computations without impacting their longevity requirements, or increasing the cost. This encourages creation of ‘lightweight’ security solutions for such low resource devices. We propose a new reconﬁgurable (or, metamorphic) framework for key management and authentication in this paper. Our framework deploys multiple lightweight algorithms and chooses one of them for each message exchange. We evaluate our work using assessment of key sequences, hardware resource utilization assessment and security analysis.
Study on Key technology of BIT and self diagnosis of complex weapon equip

It is an important approach that BIT(built-in test)can be used to improve the diagnosis ability of weapon system along with the weapon equip complexity increasing. And it is put forward that self diagnosis technology based on BIT is significant by analyzing the internal property of BIT and combining the correlative studies. Then detailedly analyzes the principle of self diagnosis system based on BIT and the approach of technology study. And its key technology is discussed on how to construct a self diagnosis system based on BIT. Finally it is viewed that the foreground of the application of self diagnosis system based on BIT.
Enhancing the degree of personalization through Vector Space Model and Profile Ontology

Web browsers need to match the users' queries to the information available data bases. However, matching the users' needs with their interests and preferences to provide personalized search results in a ranked order of relevance entails a complex interaction of information attributes and as such, it remains one of the main challenges researchers face. Information Retrieval (IR) techniques focusing specifically on using Vector Space Model (VSM) with Profile Ontology (PO) hybridizationproved an improvement on personalized search results. We improve the degree of personalization by incorporating a new metric, the Dwell Time of each search session to optimize a learned re-ranked model. For a longitudinal naturalistic study of Web interactions, search logs were gathered as stimuli for the ranking algorithms of our personalized search engine. The performance of our re-ranking mechanism using Discounted Cumulative Gain (DCG) and F-measurewas tested. The scheme devised in this study was compared with the Google search engine. It was shown that, at the 10 top ranks of our personalized search engine, 14% improvement in the relevance is achieved.
ERP Post-Implementation Learning, ERP Usage And Individual Performance Impact

In recent years, an increasing number of companies that have implemented ERP systems have expressed disappointment over a failure to reach anticipated goals. A major reason for this failure is the inefficient use of the ERP system by employees. Therefore, the critical issue is how users can most effectively take advantage of an ERP system. Post-implementation learning plays an important role in facilitating ERP usage and thus promotes individual performance. Particularly, the integrated and sophistic natures of ERP systems force users to learn continuously after ERP implementation. This study employed a survey method to examine the perceptions of a dataset of 659 ERP users. We found that ERP usage facilitates individual performance, including individual productivity, customer satisfaction and management control, and post-implementation learning contributes to all three types of ERP usage, including decision support, work integration and customer service. Our findings can provide academics and practitioners with knowledge of how to improve ERP usage and ensure individual performance impacts.
Rossignol cats locomotor recovery after partial spinal cord injury in Treadmill training promotes spinal changes leading to

[PDF] [Full Text] [Abstract] , June 1, 2014; 111 (11): 2264-2275. J Neurophysiol Maria Knikou and Chaithanya K. Mummidisetty Locomotor training improves premotoneuronal control after chronic spinal cord injury [PDF] [Full Text] [Abstract] , December 19, 2014; . Neurorehabil Neural Repair Toyama, Meigen Liu, Masaya Nakamura and Hideyuki Okano Syoichi Tashiro, Munehisa Shinozaki, Masahiko Mukaino, François Renault-Mihara, Yoshiaki Allodynia After Spinal Cord Injury via Upregulation of KCC2 BDNF Induced by Treadmill Training Contributes to the Suppression of Spasticity and
Mechanisms for the Development of Locally Low-Dimensional Atmospheric Dynamics

The complexity of atmospheric instabilities is investigated by a combination of numerical experiments and diagnostic tools that do not require the assumption of linear error dynamics. These tools include the well-established analysis of the local energetics of the atmospheric flow and the recently introduced ensemble dimension (E dimension). The E dimension is a local measure that varies in both space and time and quantifies the distribution of the variance between phase space directions for an ensemble of nonlinear model solutions over a geographically localized region. The E dimension is maximal, that is, equal to the number of ensemble members (k), when the variance is equally distributed between k phase space directions. The more unevenly distributed the variance, the lower the E dimension. Numerical experiments with the state-of-the-art operational Global Forecast System (GFS) of the National Centers for Environmental Prediction (NCEP) at a reduced resolution are carried out to investigate the spatiotemporal evolution of the E dimension. This evolution is characterized by an initial transient phase in which coherent regions of low dimensionality develop through a rapid local decay of the E dimension. The typical duration of the transient is between 12 and 48 h depending on the flow; after the initial transient, the E dimension gradually increases with time. The main goal of this study is to identify processes that contribute to transient local low-dimensional behavior. Case studies are presented to show that local baroclinic and barotropic instabilities, downstream development of upper-tropospheric wave packets, phase shifts of finite amplitude waves, anticyclonic wave breaking, and some combinations of these processes can all play crucial roles in lowering the E dimension. The practical implication of the results is that a wide range of synoptic-scale weather events may exist whose prediction can be significantly improved in the short and early medium range by enhancing the prediction of only a few local phase space directions. This potential is demonstrated by a reexamination of the targeted weather observations missions from the 2000 Winter Storm Reconnaissance (WSR00) program.
Avoiding feedback-linearization singularity using a quotient method — The field-controlled DC motor case

Feedback linearization requires a unique feedback law and a unique diffeomorphism to bring a system to Brunovský normal form. Unfortunately, singularities might arise both in the feedback law and in the diffeomorphism. This paper demonstrates the ability of a quotient method to avoid or mitigate the singularities that typically arise with feedback linearization. The quotient method does it by relaxing the conditions on diffeomorphism, which can be achieved since there is an additional degree of freedom at each step of the iterative procedure. This freedom in choosing quotients and the resulting advantage are demonstrated for a field-controlled DC motor. Using a Lyapunov function, the domain of attraction of the control law obtained with the quotient method is proved to be larger than the domain of attraction of a control law obtained using feedback linearization.
Ontology Extension Towards Analysis of Business News

This paper addresses the process of the ontology extension for a selected domain of interest which is defined by keywords and a glossary of relevant terms with descriptions. A new methodology for semiautomatic ontology extension, aggregating the elements of text mining and user-dialog approaches for ontology extension, is proposed and evaluated. We conduct a set of ranking, tagging and illustrative question answering experiments using Cyc ontology and business news collection. We evaluate the importance of using the textual content and structure of the ontology concept in the process of ontology extension. The experiments show that the best results are obtained with giving more to weight to ontology concept content and less weight to ontology concept structure.
An Ultra-Low-Voltage Ultra-Low-Power Weak Inversion Composite MOS Transistor: Concept and Applications

This work presents an ultra-low-voltage ultra-low-power weak inversion composite MOS transistor. The steady state power consumption and the linear swing signal of the composite transistor are comparable to a single transistor, whereas presenting very high output impedance. This work also presents two interesting applications for the composite transistor; a 1:1 current mirror and an extremely low power temperature sensor, a thermistor. Both implementations are verified in a standard 0.35-μm TSMC CMOS process. The current mirror presents high output impedance, comparable to the cascode configuration, which is highly desirable to improve gain and PSRR of amplifiers circuits, and mirroring relation in current mirrors.