Miracle-dz/UniFAR-FTUs huggingface dataset:
SAPVis : Visualizing a SAP Network CS 547 Project Proposal

SAP (Systems, Applications & Products) is software used by large multinational corporations to manage their daily operations. SAP systems manage inventory, sales, expenses, payroll, and everything else organizations need to keep track of in order to run e ciently. These system are typically very large and interconnected and because they are often managed by changing sta↵, contain many ine ciencies including duplicate or unused code, ine↵ective or outdated test suites, expired users and redundant data tables. A tool that can help technicians quickly locate these ine ciencies would help companies improve their SAP system and save them money. The dataset consists of item and link data where each item has categorical, ordinal and quantitative attributes. The main categorical attributes are type (eg. user, program, transaction code, function, class, table, view), domain (eg. ”PS Project System”) and id (eg.”PROG-ZZ CONVERT SDCC DATA”). The ordinal attributes are creation and lastused dates. The main quantitative attributes are performance, usage, size and degree. The performance and usage attributes are scores between 0 and 100, the size is either the size in bytes or by number of lines, and the degree is an integer which measures the number of incoming and outgoing edges. Some attributes are null (empty strings) for some items. Link data shows the relationships between various items. A link between item i and item j means item i calls or has access to item i in the SAP system. This can be a user who has permissions to modify a particular program, or a program which uses a particular data table. The links are directed; a user can have permission to a modify a program but a program can’t modify a user. Circular calls, where program A calls program B which calls program A are possible (a potential source of ine ciency) and are represented by a directed cycle in the graph. Because SAP software systems are often large and interconnected, SAP technicians need a tool to allow them to consume (rather than produce) their data in order to find ine ciencies in the network that are costing the company money. Although SAP systems often consist of more than 100 000 nodes, the networks can be split into ”domains” consisting of
Implementing OCLP as a front-end for Answer Set Solvers: From Theory to Practice

Ordered Choice Logic Programming (OCLP) allows for preference-based decision-making with multiple alternatives and without the burden of any form of negation. This complete absence of negation does not weaken the language as both forms (classical and as-failure) can be intuitively simulated in the language. The semantics of the language is based on the preference between alternatives, yielding both a skeptical and a credulous approach. In this paper we discuss the theoretical basis for the implementation of an OCLP front-end for answer set solvers that can compute both semantics in an efficient manner. Both the basic algorithm and the proposed optimizations can be used in general and are not tailored towards any particular answer set solver.
A Hybrid Load-Balancing Solution for S4 Stream Processing Systems

Stream processing systems (SPSs) are created by the need to process a continuous flow of information with variable magnitude in order to detect and process events as close as possible to real time. These systems are deployed in clusters of processors to get benefits from the distributed processing in order to scale up applications. The present work addresses the load balancing problem in SPSs that appears when working on distributed systems. A hybrid solution is presented which is assessed in the S4 system. The results show that it is possible to generate a solution that is decentralized, information lossless and transparent to application developers, that is capable of evenly distributing the load on the processors.
ISUOG Practice Guidelines (updated): sonographic screening examination of the fetal heart

The International Society of Ultrasound in Obstetrics and Gynecology (ISUOG) is a scientific organization that encourages safe clinical practice and high-quality teaching and research related to diagnostic imaging in women’s healthcare. The ISUOG Clinical Standards Committee (CSC) has a remit to develop Practice Guidelines and Consensus Statements that provide healthcare practitioners with a consensus-based approach for diagnostic imaging. They are intended to reflect what is considered by ISUOG to be the best practice at the time at which they are issued. Although ISUOG has made every effort to ensure that Guidelines are accurate when issued, neither the Society nor any of its employees or members accept any liability for the consequences of any inaccurate or misleading data, opinions or statements issued by the CSC. The ISUOG CSC documents are not intended to establish a legal standard of care because interpretation of the evidence that underpins the Guidelines may be influenced by individual circumstances, local protocol and available resources. Approved Guidelines can be distributed freely with the permission of ISUOG (info@isuog.org).
Hamiltonian Chordal Graphs are not Cycle Extendable

In 1990, Hendry conjectured that every Hamiltonian chordal graph is cycle extendible; that is, the vertices of any non-Hamiltonian cycle are contained in a cycle of length one greater. We disprove this conjecture by constructing counterexamples on $n$ vertices for any $n \geq 15$. Furthermore, we show that there exist counterexamples where the ratio of the length of a non-extendible cycle to the total number of vertices can be made arbitrarily small. We then consider cycle extendibility in Hamiltonian chordal graphs where certain induced subgraphs are forbidden, notably $P_n$ and the bull.
Glassy behavior induced by geometrical frustration in a hard-core lattice-gas model

We introduce a hard-core lattice-gas model on generalized Bethe lattices and investigate its compaction behavior analytically and numerically. If compactified slowly, the system undergoes a first-order crystallization transition. If compactified much faster, the system stays in a meta-stable liquid state and undergoes a glass transition under further compaction. We show that this behavior is induced by geometrical frustration which appears due to the existence of short loops in the generalized Bethe lattices. We also compare our results to numerical simulations of a three-dimensional analog of the model.
PhD Candidacy Exam: Host and Network Defense Systems For Intrusion Reaction

The focus of this candidacy exam is the investigation of the state of the art in intrusion reaction systems. Intrusion reaction, the design and careful selection of mechanisms to automatically respond to network attacks, has recently received an amount of attention that rivals its equally difficult sibling intrusion detection. Response systems vary from the low‐tech (manually shut down misbehaving machines) to the highly ambitious (on the fly “vaccination”, validation, and replacement of infected software). In the middle lies a wide variety of practical techniques, promising technology, and nascent research.
Consumption of Dairy Products in Relation to Changes in Anthropometric Variables in Adult Populations: A Systematic Review and Meta-Analysis of Cohort Studies

Background The current state of knowledge regarding the association of dairy products and weight gain, overweight, and obesity is based on studies reporting contradicting and inconclusive results. The aim of the present study was thus to clarify the link between dairy consumption in relation to changes in anthropometric measures/adiposity by a meta-analytical approach. Methods For the meta-analysis PubMed, EMBASE, Web of Sciences, and google scholar were searched by two independent authors up to May 2016 with no restriction to language or calendar date. Prospective cohort studies reporting about intake of dairy consumption (including milk, yogurt, cheese, butter) and changes in body weight or waist circumference, risk of overweight, obesity, or weight gain were eligible. Pooled effects were calculated using a random effects model, and also a fixed effect model for sensitivity analysis. Due to the heterogeneity of statistical analytical approaches of the studies the analysis were done separately for beta-coefficients of changes in body weight and/or waist circumference per serving of dairy, for differences in weight gain/gain in waist circumference when comparing extreme categories of dairy consumption, and for odds ratios in regard to weight gain, overweight/obesity, or abdominal obesity. Findings 24 studies (27 reports) met the inclusion criteria for the systematic review, and 22 studies provided sufficient data for inclusion in the meta-analysis. The meta-analysis of the five studies on changes in body weight per serving of dairy no significant results could be found for whole fat dairy and low fat dairy. However, there was inverse association between changes in body weight for each serving’s increase of yogurt (beta: -40.99 gram/year, 95% CI, -48.09 to -33.88), whereas each serving’s increase of cheese was positively associated (beta: -10.97 gram/year, 95% CI, 2.86 to 19.07). Furthermore, the highest dairy intake category was associated with a reduced risk of abdominal obesity (OR: 0.85; 95% CI, 0.76 to 0.95), and risk of overweight (OR: 0.87; 95% CI, 0.76 to 1.00) compared to the lowest intake category. No significant association could be observed for risk of weight gain. Conclusion In summary the results of the meta-analysis still reflect that dairy consumption was not positively related to changes in body weight. Yogurt was the only dairy food that showed some evidence for a beneficial effect, where higher intakes were inversely associated a reduced risk of obesity, changes in body weight or waist circumference. Further research is needed, since the overall interpretation of the results is limited by heterogeneous risk estimates.
Evaluation of classification strategies using quantitative ultrasound markers and a thyroid cancer rodent model

The incidence rate of diagnosed thyroid cancer has increased over the last decades. Although ultrasonic imaging has increased the malignancy detection rate, current ultrasonography markers do not provide a sufficient level of diagnostic accuracy to replace the fine needle aspiration biopsy. Recently, studies have reported that significant differences were observed in the values of quantitative ultrasound (QUS) parameters derived from a thyroid cancer rodent model between normal/benign and malignant tissues. In the present study, the performance of a multi-parametric classification for the differentiation of thyroid cancer in this rodent model has been evaluated. The experimental database consisted of 32 mice having different predispositions to developing thyroid abnormalities; 6 of them developed thyroid cancer papillary carcinoma (PTC), 5 follicular variant papillary thyroid carcinoma (FV-PTC), 6 developed benign tumors (c-cell adenoma) and 15 did not develop any thyroid abnormalities. Backscattered data was obtained from excised thyroid tissues using a 40 MHz, f/3 single element transducer. A total of five QUS parameters were derived from the ultrasound data: two from backscatter coefficients (i.e., the effective scatterer diameter (ESD) and effective acoustic concentration (EAC)), two from envelope statistics (i.e., the μ and k parameters), and one from ultrasound attenuation (i.e., attenuation coefficient slope). A two-class classification between normal/benign and malignant cases was performed using linear discriminant analysis with both one- and two-dimensional feature spaces. When using a two-dimensional feature space, it was found that the combination of EAC and 10/μ resulted in both a sensitivity and specificity of 100%.
Cost-Effectiveness of Antiretroviral Therapy for Multidrug-Resistant HIV: Past, Present, and Future

In the early years of the highly active antiretroviral therapy (HAART) era, HIV with resistance to two or more agents in different antiretroviral classes posed a significant clinical challenge. Multidrug-resistant (MDR) HIV was an important cause of treatment failure, morbidity, and mortality. Treatment options at the time were limited; multiple drug regimens with or without enfuvirtide were used with some success but proved to be difficult to sustain for reasons of tolerability, toxicity, and cost. Starting in 2006, data began to emerge supporting the use of new drugs from the original antiretroviral classes (tipranavir, darunavir, and etravirine) and drugs from new classes (raltegravir and maraviroc) for the treatment of MDR HIV. Their availability has enabled patients with MDR HIV to achieve full and durable viral suppression with more compact and cost-effective regimens including at least two and often three fully active agents. The emergence of drug-resistant HIV is expected to continue to become less frequent in the future, driven by improvements in the convenience, tolerability, efficacy, and durability of first-line HAART regimens. To continue this trend, the optimal rollout of HAART in both rich and resource-limited settings will require careful planning and strategic use of antiretroviral drugs and monitoring technologies.
Impact of a Lifestyle Modification Intervention on Health Behaviors and Health Outcomes in a Mexican American population: A Mixed-methods Study

Background: Lifestyle modification interventions are known to be effective in achieving desired health outcomes and sustaining them for an extended period. The scarce research conducted among diverse populations has shown high attrition rates among Mexican Americans participating in lifestyle modification interventions. This study reports a secondary analysis of data from an intervention study known as Beyond Sabor to identify factors influencing the completion of the intervention delivered as part of this community-based program. Methods: Beyond Sabor intervention used a culturally-tailored approach to prevent or reduce overweight and obesity, and prevent, delay the onset, or improve management of diabetes in a population of rural and urban adult Mexican Americans living in the Lower Rio Grande Valley region of southern Texas. The present study analyzed data from the sociodemographic, clinical, anthropometric, and physical activity assessments for intervention participants with complete baseline information. Program completion status was the dependent variable categorized as “non-completers” and “intervention/program completers. ” Hierarchical multi-level logistic regression analysis was used to examine participant and site-level factors associated with program completion status. Results: A total of 522 Beyond Sabor intervention participants completed the baseline assessment, and 424 (81%) completed the post-intervention assessment. Ninety-eight
Information structure in Acadian French

ACKNOWLEDGEMENTS I would firstly like to thank my thesis supervisor, Dr. Dan Everett, for his excellent help and encouragement with this thesis. Thanks are also due to the other members of my committee, Dr. ABSTRACT This paper examines aspects of information structure in Acadian French, focusing on the use of detached (also referred to as 'moved' or 'dislocated') syntactic structures in the spoken language. The data is from interviews with Acadian French speakers and is analyzed using Role and Reference Grammar as a theoretical framework. One section of this paper also reviews existing literature on the subject. This study is innovative empirically in that it studies a Canadian variety of French which has not been significantly discussed previously in the literature on information structure nor within the RRG model. The detached clauses are subdivided into different types and their use is described and analyzed. This paper not only helps us understand the means of encoding information structure in the grammar of Acadian French speakers of Canada; it also serves as a basis for comparison and historical development in information structure as other researchers compare the results and analysis obtained in my study with those of studies on other varieties of French.
Drug Prescribing Pattern for Under-Fives in a Paediatric Clinic in South-Western Nigeria

Background The audit of drug prescribing pattern in under-five children is essential in identifying the various types of non-rational prescribing such as polypharmacy and irrational use of antimicrobials. The primary objective of this study was to determine the drug prescribing pattern for children aged below five years attending the paediatric outpatient clinic of a tertiary hospital in Ado-Ekiti, South-West Nigeria. Methods A cross-sectional study was carried out using the medical records of patients who attended the paediatric clinic of the hospital between April 1 and October 30, 2013. The medical records of patients aged below five years were selected monthly for the period of the study using a regular interval ratio. Drug use indicators were assessed using the WHO guidelines on investigation of drug use in health care facilities. Results There were 293(55.7%) prescriptions collected from male patients and 233(44.3% from female patients with a total of 1369 prescribed drugs (2.6 ± 1.1 drugs per prescription). A total of three hundred and seventy-four (71.1%) patients had at least one antibiotic prescribed with antibiotics accounting for 28.2% of all drugs prescribed, while 13.5% of all encounters had an injection prescribed. Prescribing by generic name was done in 68.9 ± 26.5% of all prescribed medications, and 60.4% of all prescribed medications were from the latest version of the Nigerian Essential Drug List. Three hundred and twelve children (59.3%) had at least one anti-malarial drug prescribed while analgesics drugs accounted for 6.1% of all prescriptions. Conclusion This study showed that over-prescription of antibiotics, significant use of injections and prescribing by generic name are real issues among Nigerian paediatric prescribers.
Topologically Continuous Associative Memory: A Theoretical Foundation

We introduce a neural network with associative memory and a continuous topology, i.e. its processing units are elements of a continuous metric space and the state space is Euclidean and innite dimensional. This approach is intended as a generalization of the previous ones due to Little and Hop- ¯eld. Thus we integrate two levels of continuity: continuous response units and continuous topology of the neural system, obtaining a more biologi- cally plausible model of associative memory. A theoretical background is provided so as to make this integration consistent. Werst present some general results concerning attractors and stationary solutions, including a variational approach for the derivation of the energy function. Then we focus on the case of orthogonal memories, proving theorems on their sta- bility, size of attraction basins and spurious states. Finally, we get back to discrete models, i.e. we discuss new viewpoints arising from the present continuous approach and examine which of the new results are also valid for the discrete models.
Recommendations of the Canadian Consensus Conference on Dementia - Dissemination, Implementation, and Evaluation of Impact

Background: Subsequent to the development of consensus statements on a clinical topic, it is vital to establish a plan for dissemination, implementation and evaluation of impact. Consensus statements can be used for both guiding continuing medical education (CME) and producing clinical practice guidelines (CPGs). Insufficient attention to dissemination can lead to a failure to change physician behaviour and improve patient outcomes. Methods: A plan to disseminate the conclusions of the Canadian Consensus Conference on Dementia (CCCD) was developed. This plan was based on a literature review of CME and CPGs. A Medline search was performed on the dissemination and evaluation of the 1989 Canadian Consensus Conference on the Assessment of Dementia (CCCAD) and other published guides for physicians on dementia care. CCCD dissemination that has occurred to date (June, 2000) was reviewed in this paper. Results: Lectures and unsolicited printed material are weak forms of CME. Small-group interactive CME that provides practice opportunities appears to be the most effective way to change physician behaviour. The ability of CPGs to change physician behaviour is uncertain. It appears that inadequate attention has been placed on CPG dissemination and implementation. The CCCAD had a modest impact on clinical practice in Canada. While dissemination of the conclusions of the CCCD has taken place, evaluation of the impact of the CCCD has yet to be done. Local initiatives utilizing the conclusions of the CCCD are on-going. Conclusion: Further work is needed on how to optimize the impact of consensus statements and CPGs. While dissemination of the CCCD has occurred, it is currently unknown whether it has led to any change in physician practices.
Scaling parallel programs for multiprocessors: methodology and examples

Models for the constraints under which an application should be scaled, including constant problem-size scaling, memory-constrained scaling, and time-constrained scaling, are reviewed. A realistic method is described that scales all relevant parameters under considerations imposed by the application domain. This method leads to different conclusions about the effectiveness and design of large multiprocessors than the naive practice of scaling only the data set size. The primary example application is a simulation of galaxies using the Barnes-Hut hierarchical N-body method. <<ETX>>
The DataTank: an open data adapter with semantic output

The idea of Open Data states that by making data sets freely available on the Internet, data owners can beneﬁt from a huge community. In this paper, we extend The DataTank framework, a data adapter for publishing local Open Data as a Web API, to produce semantic output. A data set and its content are identiﬁed by a unique URI, exploiting the REST interface and diﬀerentiating between IR and NIR. Also, a data set can be requested as RDF in multiple notations. Furthermore, ontology information can be added to a data model, thus creating machine-understandable RDF. This ontology information is made externally reusable and changeable. The DataTank now produces semantic output, while the original architecture remains unchanged.
Dystrophin Is Required for Appropriate Retrograde Control of Neurotransmitter Release at the Drosophila Neuromuscular Junction

Mutations in the human dystrophin gene cause the Duchenne and Becker muscular dystrophies. The Dystrophin protein provides a structural link between the muscle cytoskeleton and extracellular matrix to maintain muscle integrity. Recently, Dystrophin has also been found to act as a scaffold for several signaling molecules, but the roles of dystrophin-mediated signaling pathways remain unknown. To further our understanding of this aspect of the function of dystrophin, we have generated Drosophila mutants that lack the large dystrophin isoforms and analyzed their role in synapse function at the neuromuscular junction. In expression and rescue studies, we show that lack of the large dystrophin isoforms in the postsynaptic muscle cell leads to elevated evoked neurotransmitter release from the presynaptic apparatus. Overall synapse size, the size of the readily releasable vesicle pool as assessed with hypertonic shock, and the number of presynaptic neurotransmitter release sites (active zones) are not changed in the mutants. Short-term synaptic facilitation of evoked transmitter release is decreased in the mutants, suggesting that the absence of dystrophin results in increased probability of release. Absence of the large dystrophin isoforms does not lead to changes in muscle cell morphology or alterations in the postsynaptic electrical response to spontaneously released neurotransmitter. Therefore, postsynaptic glutamate receptor function does not appear to be affected. Our results indicate that the postsynaptically localized scaffolding protein Dystrophin is required for appropriate control of neuromuscular synaptic homeostasis.