nils-herrmann/clean_scirepeval huggingface dataset:
Improved ant colony genetic algorithm hybrid for Sudoku solving

In this paper we introduce our new improved version of ant colony optimization/genetic algorithm hybrid for Sudoku puzzle solving. Sudoku is combinatorial number puzzle that had become worldwide phenomenon in the last decade. It has also become popular mathematical test problem in order to test new optimization ideas and algorithms for combinatorial problems. In this paper we present our new ideas for populations sorting and elitism rules in order to improve our earlier evolutionary algorithm based Sudoku solvers. Experimental results show that the new ideas significantly improved the speed of Sudoku solving.
Credibility: A multidisciplinary framework

This chapter reviews the theoretical and empirical literature on the concept of credibility and its areas of application relevant to information science and technology, encompassing several disciplinary approaches. An information seeker's environment—the Internet, television, newspapers, schools, libraries, bookstores, and social networks—abounds with information resources that need to be evaluated for both their usefulness and their likely level of accuracy. As people gain access to a wider variety of information resources, they face greater uncertainty regarding who and what can be believed and, indeed, who or what is responsible for the information they encounter. Moreover, they have to develop new skills and strategies for determining how to assess the credibility of an information source. Historically, the credibility of information has been maintained largely by professional knowledge workers such as editors, reviewers, publishers, news reporters, and librarians. Today, quality control mechanisms are evolving in such a way that a vast amount of information accessed through a wide variety of systems and resources is out of date, incomplete, poorly organized, or simply inaccurate (Janes & Rosenfeld, 1996). Credibility has been examined across a number of fields ranging from communication, information science, psychology, marketing, and the management sciences to interdisciplinary efforts in human-computer interaction (HCI). Each field has examined the construct and its practical significance using fundamentally different approaches, goals, and presuppositions, all of which results in conflicting views of credibility and its effects. The notion of credibility has been discussed at least since Aristotle's examination of ethos and his observations of speakers' relative abilities to persuade listeners. Disciplinary approaches to investigating credibility systematically developed only in the last century, beginning within the field of communication. A landmark among these efforts was the work of Hovland and colleagues (Hovland, Jannis, & Kelley, 1953; Hovland & Weiss, 1951), who focused on the influence of various characteristics of a source on a recipient's message acceptance. This work was followed by decades of interest in the relative credibility of media involving comparisons between newspapers, radio, television, Communication researchers have tended to focus on sources and media, viewing credibility as a perceived characteristic. Within information science, the focus is on the evaluation of information, most typically instantiated in documents and statements. Here, credibility has been viewed largely as a criterion for relevance judgment, with researchers focusing on how information seekers assess a document's likely level of This brief account highlights an often implicit focus on varying objects …
Role of metal ions in the self-assembly of the Alzheimer's amyloid-β peptide.

Aggregation of amyloid-β (Aβ) by self-assembly into oligomers or amyloids is a central event in Alzheimer's disease. Coordination of transition-metal ions, mainly copper and zinc, to Aβ occurs in vivo and modulates the aggregation process. A survey of the impact of Cu(II) and Zn(II) on the aggregation of Aβ reveals some general trends: (i) Zn(II) and Cu(II) at high micromolar concentrations and/or in a large superstoichiometric ratio compared to Aβ have a tendency to promote amorphous aggregations (precipitation) over the ordered formation of fibrillar amyloids by self-assembly; (ii) metal ions affect the kinetics of Aβ aggregations, with the most significant impact on the nucleation phase; (iii) the impact is metal-specific; (iv) Cu(II) and Zn(II) affect the concentrations and/or the types of aggregation intermediates formed; (v) the binding of metal ions changes both the structure and the charge of Aβ. The decrease in the overall charge at physiological pH increases the overall driving force for aggregation but may favor more precipitation over fibrillation, whereas the induced structural changes seem more relevant for the amyloid formation.
Learning Action Primitives for Multi-level Video Event Understanding

Human action categories exhibit significant intra-class variation. Changes in viewpoint, human appearance, and the temporal evolution of an action confound recognition algorithms. In order to address this, we present an approach to discover action primitives, sub-categories of action classes, that allow us to model this intra-class variation. We learn action primitives and their interrelations in a multi-level spatio-temporal model for action recognition. Action primitives are discovered via a data-driven clustering approach that focuses on repeatable, discriminative sub-categories. Higher-level interactions between action primitives and the actions of a set of people present in a scene are learned. Empirical results demonstrate that these action primitives can be effectively localized, and using them to model action classes improves action recognition performance on challenging datasets.
Patterns in Property Speciications for Finite-state Veriication

Model checkers and other nite-state veriication tools allow developers to detect certain kinds of errors automatically. Nevertheless, the transition of this technology from research to practice has been slow. While there are a number of potential causes for reluctance to adopt such formal methods, we believe that a primary cause is that practitioners are unfamiliar with specii-cation processes, notations, and strategies. In a recent paper, we proposed a pattern-based approach to the presentation, codiication and reuse of property specii-cations for nite-state veriication. Since then, we have carried out a survey of available speciications, collecting over 500 examples of property speciications. We found that most are instances of our proposed patterns. Furthermore, we have updated our pattern system to accommodate new patterns and variations of existing patterns encountered in this survey. This paper reports the results of the survey and the current status of our pattern system.
BotDet: A System for Real Time Botnet Command and Control Traffic Detection

Over the past decade, the digitization of services transformed the healthcare sector leading to a sharp rise in cybersecurity threats. Poor cybersecurity in the healthcare sector, coupled with high value of patient records attracted the attention of hackers. Sophisticated advanced persistent threats and malware have significantly contributed to increasing risks to the health sector. Many recent attacks are attributed to the spread of malicious software, e.g., ransomware or bot malware. Machines infected with bot malware can be used as tools for remote attack or even cryptomining. This paper presents a novel approach, called BotDet, for botnet Command and Control (C&C) traffic detection to defend against malware attacks in critical ultrastructure systems. There are two stages in the development of the proposed system: 1) we have developed four detection modules to detect different possible techniques used in botnet C&C communications and 2) we have designed a correlation framework to reduce the rate of false alarms raised by individual detection modules. Evaluation results show that BotDet balances the true positive rate and the false positive rate with 82.3% and 13.6%, respectively. Furthermore, it proves BotDet capability of real time detection.
Adversarial Deep Learning Against Intrusion Detection Classifiers

Traditional approaches in network intrusion detection follow a signature-based approach, however the use of anomaly detection approaches and machine learning techniques have been studied heavily for the past twenty years. The continuous change in the way attacks are appearing, the volume of attacks, as well as the improvements in the big data analytics space, make machine learning approaches more alluring than ever. The intention of this paper is to show that using machine learning in the intrusion detection domain should be accompanied with an evaluation of its robustness against adversaries. Several adversarial techniques have emerged lately from the deep learning research, largely in the area of image classification. These techniques are based on the idea of introducing small changes in the original input data in order to make a machine learning model to misclassify it. This paper follows a big data analytics methodology and explores adversarial machine learning techniques that have emerged from the deep learning domain, against machine learning classifiers used for network intrusion detection. We look at several well-known classifiers and study their performance under attack over several metrics, such as accuracy, F1-score and receiver operating characteristic. The approach used assumes no knowledge of the original classifier and examines both general and targeted misclassification. The results show that using relatively simple methods for generating adversarial samples it is possible to lower the detection accuracy of intrusion detection classifiers as much as 27%. Performance degradation is achieved using a methodology that is simpler than previous approaches and it requires only 6.14% change between the original and the adversarial sample, making it a candidate for a practical adversarial approach.
Duplication of 7p12.1-p13, including GRB10 and IGFBP1, in a mother and daughter with features of Silver-Russell syndrome

Silver-Russell syndrome (SRS) has been associated with maternal uniparental disomy (UPD) of chromosome 7 in approximately 10% of cases, suggesting that at least one imprinted gene on chromosome 7 is involved in the pathogenesis of the disease. We report a proximal 7p interstitial inverted duplication in a mother and daughter both of whom have features of SRS, including marked short stature, low birth weight, facial asymmetry and 5th finger clinodactyly. Fluorescence in situ hybridisation (FISH) with YAC probes enabled delineation of the duplicated region to 7p12.1–p13. This region of proximal chromosome 7 is known to be homologous to an imprinted region in the mouse chromosome 11 and contains the growth-related genes GRB10 (growth factor receptor-bound protein 10), EGFR (epidermal growth factor receptor) and IGFBP1 (insulin-like growth factor binding protein 1), all of which have been suggested as candidate genes for SRS. Molecular analysis showed that the duplication in both mother and daughter spanned a distance of ~10 cM and included GRB10 and IGFBP1 but not EGFR. The de novo duplication in the proband's mother was shown to be of paternal origin. In order to test the hypothesis that sub-microscopic duplications of 7p, whether maternal or paternal in origin, are responsible for at least some cases of SRS, we screened a further eight patients referred to our laboratory for SRS. None were found to have duplications of either GRB10 or IGFBP1. The hypothesis that sub-microscopic duplications including GRB10 and IGFBP1 is a cause of SRS remains a possibility and warrants further investigation. Importantly, in contrast to current thinking, our results suggest that imprinted genes may not underlie the SRS phenotype, and we propose an alternative hypothesis to explain the occurrence of maternal UPD 7 seen in some cases of SRS.
Validity of the Global Physical Activity Questionnaire (GPAQ) in assessing levels and change in moderate-vigorous physical activity and sedentary behaviour

Feasible, cost-effective instruments are required for the surveillance of moderate-to-vigorous physical activity (MVPA) and sedentary behaviour (SB) and to assess the effects of interventions. However, the evidence base for the validity and reliability of the World Health Organisation-endorsed Global Physical Activity Questionnaire (GPAQ) is limited. We aimed to assess the validity of the GPAQ, compared to accelerometer data in measuring and assessing change in MVPA and SB.



Participants (n = 101) were selected randomly from an on-going research study, stratified by level of physical activity (low, moderate or highly active, based on the GPAQ) and sex. Participants wore an accelerometer (Actigraph GT3X) for seven days and completed a GPAQ on Day 7. This protocol was repeated for a random sub-sample at a second time point, 3-6 months later. Analysis involved Wilcoxon-signed rank tests for differences in measures, Bland-Altman analysis for the agreement between measures for median MVPA and SB mins/day, and Spearman's rho coefficient for criterion validity and extent of change.



95 participants completed baseline measurements (44 females, 51 males; mean age 44 years, (SD 14); measurements of change were calculated for 41 (21 females, 20 males; mean age 46 years, (SD 14). There was moderate agreement between GPAQ and accelerometer for MVPA mins/day (r = 0.48) and poor agreement for SB (r = 0.19). The absolute mean difference (self-report minus accelerometer) for MVPA was -0.8 mins/day and 348.7 mins/day for SB; and negative bias was found to exist, with those people who were more physically active over-reporting their level of MVPA: those who were more sedentary were less likely to under-report their level of SB. Results for agreement in change over time showed moderate correlation (r = 0.52, p = 0.12) for MVPA and poor correlation for SB (r = -0.024, p = 0.916).



Levels of agreement with objective measurements indicate the GPAQ is a valid measure of MVPA and change in MVPA but is a less valid measure of current levels and change in SB. Thus, GPAQ appears to be an appropriate measure for assessing the effectiveness of interventions to promote MVPA.
Trichostasis spinulosa.

Trichostasis spinulosa is a common disorder of follicular hyperkeratosis that is often confused clinically with similar disorders, such as keratosis pilaris and eruptive vellus hair cysts. Six patients from the UTMB dermatology clinic who had trichostasis spinulosa are presented. Two of the six also had keratosis pilaris and one had eruptive vellus hair cysts. The present study was undertaken to compare and contrast the clinical presentation and histopathologic appearance of these three disorders. The results of the study and review of the literature revealed differences in distribution of lesions and microscopic appearance of follicular and histopathologic material.
pSnakes: A new radial active contour model and its application in the segmentation of the left ventricle from echocardiographic images

Active contours are image segmentation methods that minimize the total energy of the contour to be segmented. Among the active contour methods, the radial methods have lower computational complexity and can be applied in real time. This work aims to present a new radial active contour technique, called pSnakes, using the 1D Hilbert transform as external energy. The pSnakes method is based on the fact that the beams in ultrasound equipment diverge from a single point of the probe, thus enabling the use of polar coordinates in the segmentation. The control points or nodes of the active contour are obtained in pairs and are called twin nodes. The internal energies as well as the external one, Hilbertian energy, are redefined. The results showed that pSnakes can be used in image segmentation of short-axis echocardiogram images and that they were effective in image segmentation of the left ventricle. The echo-cardiologist's golden standard showed that the pSnakes was the best method when compared with other methods. The main contributions of this work are the use of pSnakes and Hilbertian energy, as the external energy, in image segmentation. The Hilbertian energy is calculated by the 1D Hilbert transform. Compared with traditional methods, the pSnakes method is more suitable for ultrasound images because it is not affected by variations in image contrast, such as noise. The experimental results obtained by the left ventricle segmentation of echocardiographic images demonstrated the advantages of the proposed model. The results presented in this paper are justified due to an improved performance of the Hilbert energy in the presence of speckle noise.
Path Planning and Tracking for Vehicle Collision Avoidance Based on Model Predictive Control With Multiconstraints

A path planning and tracking framework is presented to maintain a collision-free path for autonomous vehicles. For path-planning approaches, a 3-D virtual dangerous potential field is constructed as a superposition of trigonometric functions of the road and the exponential function of obstacles, which can generate a desired trajectory for collision avoidance when a vehicle collision with obstacles is likely to happen. Next, to track the planned trajectory for collision avoidance maneuvers, the path-tracking controller formulated the tracking task as a multiconstrained model predictive control (MMPC) problem and calculated the front steering angle to prevent the vehicle from colliding with a moving obstacle vehicle. Simulink and CarSim simulations are conducted in the case where moving obstacles exist. The simulation results show that the proposed path-planning approach is effective for many driving scenarios, and the MMPC-based path-tracking controller provides dynamic tracking performance and maintains good maneuverability.
Biological effects of direct and indirect manipulation of the fascial system. Narrative review.

Osteopathic Manipulative Treatment (OMT) is effective in improving function, movement and restoring pain conditions. Despite clinical results, the mechanisms of how OMT achieves its' effects remain unclear. The fascial system is described as a tensional network that envelops the human body. Direct or indirect manipulations of the fascial system are a distinctive part of OMT.



This review describes the biological effects of direct and indirect manipulation of the fascial system.



Literature search was performed in February 2016 in the electronic databases: Cochrane, Medline, Scopus, Ostmed, Pedro and authors' publications relative to Fascia Research Congress Website.



Manipulation of the fascial system seems to interfere with some cellular processes providing various pro-inflammatory and anti-inflammatory cells and molecules.



Despite growing research in the osteopathic field, biological effects of direct or indirect manipulation of the fascial system are not conclusive.



To elevate manual medicine as a primary intervention in clinical settings, it's necessary to clarify how OMT modalities work in order to underpin their clinical efficacies.
Is there a need for fuzzy logic?

"Is there a need for fuzzy logic?" is an issue which is associated with a long history of spirited discussions and debates. There are many misconceptions about fuzzy logic. Fuzzy logic is not fuzzy. Basically, fuzzy logic is a precise logic of imprecision and approximate reasoning. More specifically, fuzzy logic may be viewed as an attempt at formalization/mechanization of two remarkable human capabilities. First, the capability to converse, reason and make rational decisions in an environment of imprecision, uncertainty, incompleteness of information, conflicting information, partiality of truth and partiality of possibility- in short, in an environment of imperfect information. And second, the capability to perform a wide variety of physical and mental tasks without any measurements and any computations (Zadeh 1999, 2001). In fact, one of the principal contributions of fuzzy logic-a contribution which is widely unrecognized-is its high power of precisiation. Fuzzy logic is much more than a logical system. It has many facets. The principal facets are: logical, fuzzy-set-theoretic, epistemic and relational. Most of the practical applications of fuzzy logic are associated with its relational facet. In this paper, fuzzy logic is viewed in a nonstandard perspective. In this perspective, the cornerstones of fuzzy logic-and its principal distinguishing features-are: graduation, granulation, precisiation and the concept of a generalized constraint.
DualCAD: Integrating Augmented Reality with a Desktop GUI and Smartphone Interaction

Head-Mounted Displays (HMDs) combined with 3-or-more Degree-of-Freedom (DoF) input enable rapid manipulation of stereoscopic 3D content. However, such input is typically performed with hands in midair and therefore lacks precision and stability. Also, recent consumer-grade HMDs suffer from limited angular resolution and/or limited field-of-view as compared to a desktop monitor. We present the DualCAD system that implements two solutions to these problems. First, the user may freely switch at runtime between an augmented reality HMD mode, and a traditional desktop mode with precise 2D mouse input and an external desktop monitor. Second, while in the augmented reality HMD mode, the user holds a smartphone in their non-dominant hand that is tracked with 6 DoF, allowing it to be used as a complementary high-resolution display as well as an alternative input device for stylus or multitouch input. Two novel bimanual interaction techniques that leverage the properties of the smartphone are presented. We also report initial user feedback.
Activity Theory in HCI: Fundamentals and Reflections

If you get the printed book in on-line book store, you may also find the same problem. So, you must move store to store and search for the available there. But, it will not happen here. The book that we will offer right here is the soft file concept. This is what make you can easily find and get this activity theory in hci fundamentals and reflections bonnie nardi by reading this site. We offer you the best product, always and always.
A wearable tracking device inkjet-printed on textile

Despite the abundance of localization applications, the tracking devices have never been truly realized in Etextiles. Standard printed circuit board (PCB)-based devices are obtrusive and rigid and hence not suitable for textile based implementations. An attractive option would be direct printing of circuit layout on the textile itself, negating the use of rigid PCB materials. However, high surface roughness and porosity of textiles prevents efficient and reliable printing of electronics on textile. In this work, by printing an interface layer on the textile first, a complete localization circuit integrated with an antenna has been inkjet-printed on the textile for the first time. Printed conductive traces were optimized in terms of conductivity and resolution by controlling the number of over-printed layers. The tracking device determines the wearer's position using WiFi and this information can be displayed on any internet-enabled device, such as smart phone. The device is compact (55 mm×45 mm) and lightweight (22 g with 500 mAh battery) for people to comfortably wear it and can be easily concealed in case discretion is required. The device operates at 2.4 GHz communicated up to a distance of 55 m, with localization accuracy of up to 8 m.