Miracle-dz/UniFAR-FTUs huggingface dataset:
Pointed Conflict-Free Colouring of Digraphs

In a pointed conflict-free partial (PCFP) colouring of a digraph, each vertex has at least one in-neighbour with unique colour. In this paper, it is proved that PCFP $k$-colourability of digraphs is NP-complete, for any $k >0$. Nevertheless for paths and cycles, one can in linear time find a PCFP colouring with a minimum number of colours and for a given tree, one can find a PCFP 2-colouring. In this paper a bipartite digraph whose arcs start from the same part is called a one-way bipartite digraph. It is proved every one-way bipartite planar digraph has a PCFP 6-colouring, every one-way bipartite planar digraph whose each vertex has in-degree zero or greater than one, has a PCFP 5-colouring and every one-way bipartite planar digraph whose each vertex has in-degree zero or greater than two, has a PCFP 2-colouring. Two simple algorithms are proposed for finding a PCFP colouring of a given digraph such that the number of colours used is not more than the maximum out-degree of the vertices. For a digraph with a given PCFP colouring, it is shown how to recolour the vertices after vertex or arc insertion or deletion to obtain a PCFP colouring for the new digraph.
Visual Interpretation of Lambertian Surface Deformation

This paper considers the interpretation (as a three-dimensional velocity field) of the changing intensity pattern induced by a smoothly deforming Lambertian surface of uniform albedo illuminated by a distant point light source. The requisite "Intensity Rate Constraint" which is derived contains no terms relating to the tangential components of surface velocity, so the determination of the velocity field is ill-posed, exhibiting a form of "Aperture Problem". A stretch-based regulariser is applied to enable estimation of the velocity field and tests with synthetic data show a requirement for high accuracy.
Chronic Gastritis and Hypochlorhydria in the Elderly

Achlorhydria, Spontaneous and Iatrogenic (P.R. Holt). Age-Related Changes in Gastric Acid Secretion (M. Goldschmiedt and M. Feldman). Epidemiology and Natural History of Atrophic Gastritis (J.R. Saltzman). Histologic Aspects of Atrophic Gastritis (M. Dixon, G. Sobala, J. Wyatt, and M.F. Dixon). Helicobacter pylori: Its Role in Gastritis, Achlorhydria, and Gastric Carcinoma (H.R. Mertz). Cell Proliferation and Differentiation in Atrophic Gastritis and Gastric Cancer (A. Scalmati and M. Lipkin). Pernicious Anemia: Definitions, Expressions, and the Long-Term Consequences of Atrophic Gastritis (R. Carmel). Omeprazole Administration as a Model for Atrophic Gastritis (P. Maton). Achlorhydria and Enteric Bacterial Infections (D.A. Peura and R.L. Guerrant). Bacterial Overgrowth in Atrophic Gastritis (B.R. Goldin and S.L. Gorbach). Folate and Vitamin B12 Absorption in Atrophic Gastritis(R.M. Russell and M. Pedrosa). Possible Consequences of Reduced Gastric Acid Secretion on Mineral Bioavailability from High-Fiber Diets (E.T. Champagne). Effects of Gastric Acidity and Atrophic Gastritis on Calcium and Zinc Absorption in Humans (R.J. Wood and C. Serfaty-Lacrosniere). Drug Therapy in Hypochlorhydric States (D.A. Roe). Index.
The Design, Construction, and Evaluation of Crux: A Tensegrity-Inspired Compliant Robotic Upper-Extremity Exosuit

Author(s): Lessard, Steven Robert | Advisor(s): Teodorescu, Mircea | Abstract: Stroke is a disease that directly affects millions of people each year globally. Stroke therapy is challenging; survivors of the disease often must complete challenging exercises in the hopes of regaining some of their lost mobility and flexibility. Due to the limitations of visiting expert physical therapists and completing impactful rehabilitation outside of their therapist’s office, this rehabilitation infrequently completely restores a survivor’s quality of life to what it was pre-stroke. One potential solution to this issue is an augmentative exosuit. Exosuits, unlike other traditional exoskeletons, are primarily composed of soft materials and feature flexibility and compliance at a structural level. In this thesis, we describe the inspiration, research, design, implementation, and user testing of one such exosuit for the upper-extremities, CRUX. This exosuit exemplifies the paradigms of tensegrity robotics through its use of a novel hybrid soft- rigid structure to augment the upper-extremities of those who wear it. The design of CRUX emphasizes a harmonious human-robot interface that augments users sufficiently for potential applications in Graded Motor Imagery and mirror therapy. As a result, CRUX may be able to assist physical therapists in providing stroke survivors and other people with upper-extremity impairment with better rehabilitation.
MARVIN: a Mobile Automatic Realtime Visual and INertial tracking system

Six-sided fully-enclosed projective displays present complex and novel problems for tracking systems. The fully-enclosed nature of these displays limits the use of existing tracking technologies which typically require a tether or a line-of-sight to the user which is unavailable in this context. This thesis presents a hybrid Inertial/Optical tracking system for fullyenclosed projective displays. The inertial system uses linear acceleration measurements to estimate relative head motion but the estimate is subject to drift due to sensor misalignment and calibration errors. To compensate for this drift, a vision-based tracking technology is used to estimate the absolute pose of the operator’s head. The optical tracking technology relies on the operator wearing a set of laser diodes arranged in a specific configuration and then tracking the projection of these lasers on the external walls of the immersive display. This approach places minimal hardware on the user and no visible tracking equipment is placed within the immersive environment. The inertial and vision-based pose estimates may be combined via a recursive least-squares filter to provide the pose of the operator.
Negociando ideologías heterogéneas en el discurso político: Discurso Antiabortista Contemporáneo en España

El presente estudio de caso, desde la perspectiva del analisis critico del discurso (ACD), se centra en una entrevista al Exministro de Justicia, Alberto Ruiz Gallardon, en ‘El Gato al Agua’, un programa de television enfocado a temas de actualidad politica. El Exministro es entrevistado sobre su reforma del aborto ‘Ley de Proteccion de la Vida del Concebido’. Este articulo estudia (1) cambios de ‘footing’ (Goffman, 1981) y de persona gramatical con el fin de analizar el grado de implicacion personal expresado por el politico, (2) la representacion de la mujer (Van Leeuwen, 1996) y (3) caracteristicas lexicas y argumentativas de la construccion de ideologias. Los resultados revelan la tension entre los intentos de Gallardon de dirigirse al publico en general pero manteniendo una ideologia conservadora. El Exministro presenta su reforma como un reto personal y enfatiza, al mismo tiempo, el interes publico de su propuesta. Las ideologias presentadas oscilan entre valores seculares y cristianos y entre los derechos de la mujer y su rol tradicional. Los resultados tambien evidencian modelos argumentativos que estan cada mas presentes en el discurso politico conservador internacional.
Personally Inherited Features of Web Pages

Inherited features are found among the pages on the same navigation paths a user has accessed and used to model her preferences and interests. The constructed user models can be used to build personalized web agents, which help the user navigate the Web by providing related pages suggestion and highlighting interesting content in a web page. Our experimental results show that the proposed techniques improve the user’s web browsing experiences significantly.
Women's Entrepreneurial Leadership Practices and Enterprise Longevity: A Multiple Case Study

Women’s Entrepreneurial Leadership Practices and Enterprise Longevity: A Multiple-Case Study by Debra Lynn Howard MA, University of the Incarnate Word, 2011 BS, University of the Incarnate Word, 2009 Dissertation Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy Management
Aplikasi Deteksi Kejadian di Jalan Raya berdasarkan Data Twitter Menggunakan Metode Support Vector Machine

Twitter adalah salah satu media sosial yang populer belakangan ini. Salah satu karakteristik penting dari Twitter adalah layanannya yang bersifat fleksibel yaitu dapat diakses di mana saja dan kapan saja. Sebagai contoh, saat terjadi suatu kecelakaan atau kemacetan, banyak pengguna Twitter yang mengirimkan informasi (tweets) tentang kejadian tersebut kepada Twitter. Hal ini memungkinkan dibuatnya sebuah sistem yang mendeteksi terjadinya kecelakaan atau kemacetan dengan melakukan observasi kepada tweet yang masuk. Dalam tugas akhir ini, tweet akan diambil menggunakan Twitter API dan dimasukkan ke dalam sebuah database. Selanjutnya, akan dilakukan preproses yang meliputi stemming, penghapusan stopwords, dan tokenizing. Selain itu, dilakukan juga labeling untuk menentukan kelas dari tweet (kecelakaan, kemacetan, atau lain-lain). Selanjutnya akan dilakukan ekstraksi fitur agar fitur dari setiap tweet dapat menjadi input dalam proses klasifikasi. Untuk mengklasifikasikan tweet, diimplementasikan sebuah metode klasifikasi Support Vector Machine dan parameter regularisasi berupa variabel nu. Model klasifikasi yang dibangun awalnya memberikan nilai akurasi 95,15%. Uji coba dilakukan dengan mengubah kernel dan parameter nu untuk menghasilkan akurasi yang terbaik. Berdasarkan hasil uji coba yang telah dilakukan, didapatkan hasil terbaik dari sistem dengan akurasi 96,25% dengan klasifikasi menggunakan metode SVM dengan menggunakan Kernel Sigmoid dan parameter nu sebesar 0,2. ========================================================== Twitter is one of the most popular social media lately. One of the important characteristics of Twitter is its flexible service that can be accessed anywhere and anytime. For example, when an accident or traffic jam occurs, many Twitter users are sending tweets about the event to the Twitter. This allows the creation of a system that detects accident or congestion by observing the incoming tweets. In this thesis, tweet will be taken by using Twitter API and put into a database. Next, a preprocess will be done that includes stemming, stopwords removal, and tokenizing. In addition, there is also a labeling to determine the class of tweets (accidents, congestion, or others). Furthermore, feature extraction will be performed so that the features of each tweet can be the input to perform the classification process. To classify tweets, used a Support Vector Machine classification method andnu variable as a regularization parameters. The classification model that was originally built gave an accuracy of 95.15%. The test is done by changing the kernel and the nu parameters to produce the best accuracy. Based on result of experiment which have done, the best result from system is claimed with accuracy 96,25% by using classification using SVM method using Sigmoid Kernel and the number of parameter nu is 0,2.
Modelling interaction tools in the Views architecture.

Views is a user-interface system in which the user interface is a layer above applications, guaranteeing consistency of the interface, and with a data-layer implementing external object representation, allowing exchange of objects between applications without loss of structure. Although Views offers an architecture to deal with user interface aspects on a high level, in this paper it is shown that also low level interaction can be modelled with the architecture provided. 1991 Mathematics Subject Classification: 68U99. 1991 CR Categories: H.1. 2, H.5. 2, D39, H.5. 0, I.7. 2, D.3. 3.
Comment évaluer le risque cardiovasculaire

Le risque cardiovasculaire global (RCV) est estime soit en additionnant les principaux facteurs de risque cardiovasculaire (hypertension arterielle, dyslipidemie et diabete), chaque facteur etant considere comme present ou absent et etant affecte d’un poids identique, ou en utilisant un modele (modele statistique) qui utilise la valeur reelle de chaque facteur de risque cardiovasculaire. Deux modeles ont ete valides, Framingham et SCORE. Ils classent les patients par niveau de risque et predisent le risque cardiovasculaire a 5 et a 10 ans. Leur performance n’a pas ete evaluee dans une population francaise representative de la population generale. Les modeles derives de la cohorte Framingham s’appliquent a un modele nord-americain et tend a surestimer le risque cardiovasculaire global et un ajustement ou une recalibration sont requises. Les modeles SCORE, valides a partir de cohortes europeennes estiment seulement le risque de deces de cause coronaire ou non et proposent deux modeles statistiques, l’un pour une faible prevalence de maladie cardiovasculaire, l’autre pour une prevalence elevee. Les recommandations concernent ces facteurs de risque cardiovasculaire et necessitent une standardisation en termes de methodologie utilisee pour estimer le risque cardiovasculaire global (recalibration des scores Framignham et SCORE) et une strategie de prise en charge a l’echelle individuelle pour la prise en compte des facteurs de risque cardiovasculaire.
Automatic instantiation of abstract tests on specific configurations for large critical control systems

Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an ‘abstract testing’ of such large control systems in an efficient way: an abstract test is specified directly from system functional requirements and has to be instantiated in more test runs to cover a specific configuration, comprising any number of control entities (sensors, actuators and logic processes). Such a process is usually performed by hand for each installation of the control system, requiring a considerable time effort and being an error-prone verification activity. To automate a safe passage from abstract tests, related to the so-called generic software application, to any specific installation, an algorithm is provided, starting from a reference architecture and a state-based behavioural model of the control software. The presented approach has been applied to a railway interlocking system, demonstrating its feasibility and effectiveness in several years of testing experience. Copyright © 2008 John Wiley & Sons, Ltd.
El formant del cant: una revisió bibliogràfica

El cant es la utilitzacio de la veu com un instrument musical. La caracteritzacio de la veu lirica cantada es moltes vegades ambigua i abstracta, pero hi ha un consens general en el fet que som capacos de diferenciar una veu lirica d’altres veus cantades. Un dels parametres acustics diferencials de les veus liriques es l’anomenat “formant del cant”. Diversos investigadors han dut a terme estudis per tal de corroborar o no la presencia del formant del cant en les veus liriques. Aquest article ofereix una revisio de conjunt.
Instrumenting Memory Accesses in the Open Research Compiler: A Case Study of our CMPUT 680 Course Project

This document is designed to help ﬁll the void that exists because of the lack of publicly available documentation for the Open Research Compiler (ORC) and to help make modifying the ORC seem a less daunting process. The information contained in this document is based upon the authors’ experiences while implementing their CMPUT 680 course project in the ORC. This document is available on Stephen Curial’s web site 1 , which also links to or contains all other ORC documentation that the authors have discovered.
Impact evaluation of microbloggers based on improved PageRank algorithm

To estimate microbloggers'impacts on information spread,the user behavior and message propagation characteristics were synthetically considered.Microbloggers' impacts were taken as two parts,namely:microblogger's attention and microblog's influence.And an improved PageRank algorithm was put forward to evaluate microbloggers' impacts.Experiment of the algorithm under one topic of sina microblogs proved that the algorithm is reasonable.
Mobility in Healthcare for Remote Intensive Care Unit Clinical Management

This chapter reviews current research directions in healthcare mobility and assesses its impact on the provision of remote intensive care unit (ICU) clinical management. Intensive care units boast a range of state of the art medical monitoring devices to monitor a patient’s physiological parameters. They also have devices such as ventilators to offer mechanical life support. Computing and IT support within ICUs has focused on monitoring the patients and delivering corresponding alarms to care providers. However many intensive care unit admissions are via intra and inter health care facility transfer, requiring receiving care providers to have access to patient information prior to the patient’s arrival. This indicates that opportunities exist for mobile gadgets, such as personal digital assistants (PDAs) to substantially increase the efficiency and effectiveness of processes surrounding healthcare in the ICUs. The challenge is to transcend the use of these mobile devices beyond the current usage for personal information management and static medical applications; also to overcome the challenges of screen size and memory limitations. Finally, the deployment of mobile-enabled solutions within the healthcare domain is hindered by privacy, cost and security considerations and a lack of standards. These are some of the significant topics discussed in this chapter.
Efficient Classification of DDoS Attacks Using an Ensemble Feature Selection Algorithm

Abstract In the current cyber world, one of the most severe cyber threats are distributed denial of service (DDoS) attacks, which make websites and other online resources unavailable to legitimate clients. It is different from other cyber threats that breach security parameters; however, DDoS is a short-term attack that brings down the server temporarily. Appropriate selection of features plays a crucial role for effective detection of DDoS attacks. Too many irrelevant features not only produce unrelated class categories but also increase computation overhead. In this article, we propose an ensemble feature selection algorithm to determine which attribute in the given training datasets is efficient in categorizing the classes. The result of the ensemble algorithm when compared to a threshold value will enable us to decide the features. The selected features are deployed as training inputs for various classifiers to select a classifier that yields maximum accuracy. We use a multilayer perceptron classifier as the final classifier, as it provides better accuracy when compared to other conventional classification models. The proposed method classifies the new datasets into either attack or normal classes with an efficiency of 98.3% and also reduces the overall computation time. We use the CAIDA 2007 dataset to evaluate the performance of the proposed method using MATLAB and Weka 3.6 simulators.
Wie lernwirksam sind Online-Tutorials? Lernerfolgskontrolle und Evaluation bibliothekarischer E-Learningangebote

Immer mehr wissenschaftliche Bibliotheken, insbesondere Hochschulbibliotheken, erweitern ihre E-Learningangebote um sogenannte Online-Tutorials. Solche interaktiven, multi-medialen Lernprogramme bieten den Nutzern die Moglichkeit, sich zeit- und ortsunabhangig selbstandig grundlegende Themen der Bibliotheks- und Informationskompetenz anzueignen. In der bibliothekarischen Fachliteratur finden sich aber keine Aussagen daruber, in welchem Umfang und wie lerneffektiv diese – meist mit hohem Aufwand erstellte – Angebote tatsachlich genutzt werden. Um die Lernwirksamkeit uberprufen zu konnen, bedarf es Online-Tutorials, die uber einen automatisierten elektronischen Test verfugen, anhand dessen Nutzer eigenstandig den Erwerb der Lerninhalte kontrollieren konnen. Die vorliegende Arbeit versteht sich als ein Beitrag zur Konzeption evaluierbarer Online-Tutorials. Skizziert wird eine strukturierte Vorgehensweise zur Umsetzung von Tutorials, die statistisch auswertbare Daten zur Lerneffektivitat generieren. Im Fokus stehen hierbei didaktische Bedingungen automatisierter Lernerfolgskontrollen und deren Umsetzung anhand sogenannter geschlossener Aufgaben. Da sich mit diesem Aufgabentypus nur bestimmte kognitive Leistungsbereiche messen lassen, ist im Vorfeld zu prufen, dass ein Tutorial nur Lerninhalte vermittelt, deren Erwerb anschliesend auch mit geschlossenen Aufgaben uberpruft werden kann. Unter Ruckgriff auf eine spezifische E-Learning-Taxonomie wird offensichtlich, dass mindestens Reproduktions-, Verstandnis- und Anwendungsleistungen umsetzbar sind. Wie entsprechende Aufgabenstellungen in bibliothekarischen Online-Tutorials aussehen konnen, wird an Beispielfragen zur Uberprufung von Fakten-, Konzept- und Prozedurenwissen demonstriert.
Network Analysis of Obesity Expression Data

There are numerous genetic and environmental factors associated significantly with obesity, which could be used as potential diagnostic biomarkers. The molecular mechanisms, development, differentiation, and disease gene expression data provide crucial insights as these differentially expressed genes could have major effects on dietinduced obesity and such effect is not seen in animals. Genomics and proteomics are major branches for better understanding the normal function of the tissues and their interactions with the environment i.e. characterizing the tissues in which the newly discovered genes are expressed, helps in understanding the development of tissues, ageing mechanisms, and signalling routes that enable the tissues to function and also direct the similitude, parallelism and other levels of aptness betwixt two or more gene artefacts. It is traditionally known that hypothalamic and brain stem centres are intricate in the mandate of food absorption and energy equilibrium, but statistics on the associated governing elements and their genes was scant until the utmost decagon and have been identified to be strongly expressed in variety of tissues. NPY plays a notable part in anxiety, tension, corpulence, and vitality homeostasis through incitement of NPY-Y1 receptors (Y1Rs) in the mind. NPY1R quality is the protein accomplice of qualities that are utilized as model as a part of mouse and in addition in people. Utilizing diverse bioinformatics instruments, the relative examination of NPY1R at quality and additionally at protein level can be assessed for biomarker of stoutness malady. In this manner, the system science thinks about point to predict the quality of heftiness which could be taken as a biomarker in human by examining with the quality that already has been utilized as marker as a part of model life forms.