Miracle-dz/UniFAR-FTUs huggingface dataset:
Casson Model of MHD Flow of SA-Based Hybrid Nanofluid Using Caputo Time-Fractional Models

In this paper MHD flow of Casson hybrid nanofluids are investigated with Caputo time-fractional derivative. Alumina (Al) and copper (Cu) are used as nanoparticles in this study with heat, mass transfer and MHD flow over a vertical channel in a porous medium. The problem is modeled using Caputo fractional derivatives and thermophysical properties of hybrid nanoparticles. The influence of concerned parameters is investigated physically and graphically on the heat, concentration and flow. The effect of volume fraction on thermal conductivity of hybrid nanofluids is observed.
Gender differences regarding informal caregivers of older people.

PURPOSE The aim of this study was to examine differences related to gender among informal caregivers serving older disabled individuals. DESIGN AND METHODS A secondary analysis of the most recent national cross-sectional survey, which was conducted in Spain on informal caregivers who served older individuals (65 years of age or older), was conducted in 2011 (N= 1,272, probability sample). The relationships between gender and intensity of care (amount and type of care provided), duration of caregiving, subjective burden, and satisfaction with caregiving were analyzed by bivariate and multivariate procedures. FINDINGS No statistically significant gender differences were found with regard to the intensity of care, duration of caregiving, or satisfaction; however, subjective burden was found to differ between men and women, and this difference was statistically significant (odds ratio = 1.98; p= .012). CONCLUSIONS Because this study was conducted in Spain, a country with strong patriarchal norms with regard to caregiving and familism, whereas gender differences in intensity of care have been reported in countries with low familism, we conclude that cultural diversity can influence the relationship between gender and intensity of care. On the other hand, our study increases the evidence in support of there being gender-based differences in subjective burden among family caregivers serving older people in Western industrial countries. Finally, the results of our study support the hypothesis that sources of satisfaction are more strongly related to the caregiver's personal context and characteristics than to his or her gender. CLINICAL RELEVANCE These findings support the following recommendations regarding nursing interventions: (a) nurses should take into account specific cultural patterns in caregiving to improve their understanding concerning the relationships between gender and intensity of care, and (b) gender should be taken into account in interventions that are tailored toward addressing subjective burden.
Guessing Based On Length Functions

Close relationships between guessing functions and length functions are established. Good length functions lead to good guessing functions. In particular, guessing in the increasing order of Lempel-Ziv lengths has certain universality properties for finite-state sources. As an application, these results show that hiding the parameters of the key-stream generating source in a private key crypto-system may not enhance the privacy of the system, the privacy level being measured by the difficulty in brute-force guessing of the key stream.
Finite-time blow-up of L∞-weak solutions of an aggregation equation

Abstract. We consider the aggregation equation ut+∇· [(∇K)∗u)u]=0 with nonnegative initial data in L(R)∩L(R) for n≥2. We assume that K is rotationally invariant, nonnegative, decaying at infinity, with at worst a Lipschitz point at the origin. We prove existence, uniqueness, and continuation of solutions. Finite time blow-up (in the L norm) of solutions is proved when the kernel has precisely a Lipschitz point at the origin.
Prevalence of depression and anxiety in irritable bowel syndrome: A clinic based study from India – Comments on the article

The second is the famous Gaussian distribution of all natural phenomena, which also includes our psychiatric patient population. At one extreme, will be that small proportion of patients who can heal themselves even if slowly. Under the large central bulge will be those majority who can get well with the help of varying degrees of expertise, like that of a “general psychiatrist. ” At the other extreme will be the small proportion of patients who are relatively more resistant to conventional management strategies requiring more specialized expertise.
Embedding of Complete Binary Trees into Meshes with Row-Column Routing

This paper considers the problem of embedding complete binary trees into meshes using the row-column routing and obtained the following results: a complete binary tree with 2/sup p/-1 nodes can be embedded (1) with link congestion one into a /sup 9///sub 8//spl radic/(2/sup p/)/spl times//sup 9///sub 8//spl radic/(2/sup p/) mesh when p is even and a /spl radic/(/sup 9///sub 8/2/sup p/)/spl times//spl radic/(/sup 9///sub 8/2/sup p/) mesh when p is odd, and (2) with link congestion two into a /spl radic/(2/sup p/)/spl times//spl radic/(2/sup p/) mesh when p is even, and a /spl radic/(2/sup p-1/)/spl times//spl radic/(2/sup p-1/) mesh when p is odd.
Secure Signature-Based Authenticated Key Establishment Scheme for Future IoT Applications

Internet of Things (IoT) is a network of all devices that can be accessed through the Internet. These devices can be remotely accessed and controlled using existing network infrastructure, thus allowing a direct integration of computing systems with the physical world. This also reduces human involvement along with improving accuracy and efficiency, resulting in economic benefit. The devices in IoT facilitate the day-to-day life of people. However, the IoT has an enormous threat to security and privacy due to its heterogeneous and dynamic nature. Authentication is one of the most challenging security requirements in the IoT environment, where a user (external party) can directly access information from the devices, provided the mutual authentication between user and devices happens. In this paper, we present a new signature-based authenticated key establishment scheme for the IoT environment. The proposed scheme is tested for security with the help of the widely used Burrows-Abadi–Needham logic, informal security analysis, and also the formal security verification using the broadly accepted automated validation of Internet security protocols and applications tool. The proposed scheme is also implemented using the widely accepted NS2 simulator, and the simulation results demonstrate the practicability of the scheme. Finally, the proposed scheme provides more functionality features, and its computational and communication costs are also comparable with other existing approaches.
Probabilistic Neural Networks for Credit Rating Modelling

This paper presents the modelling possibilities of probabilistic neural networks to a complex real-world problem, i.e. credit rating modelling. First, current approaches in credit rating modelling are introduced. Then, probabilistic neural networks are designed to classify US companies and municipalities into rating classes. The input variables are extracted from financial statements and statistical reports in line with previous studies. These variables represent the inputs of probabilistic neural networks, while the rating classes from Standard&Poor’s and Moody’s rating agencies stand for the outputs. Classification accuracies, misclassification costs, and the contributions of input variables are studied for probabilistic neural networks compared to other neural networks models. The results show that the rating classes assigned to bond issuers can be classified accurately with probabilistic neural networks using a limited subset of input variables.
A multi‐channel architecture for metadata management in cloud storage systems by binding CPU‐cores to disks

Metadata operations have become dominant file operations in the storage systems. In the scenarios of read‐more and write‐less of massive small files, the current distributed file systems suffer from the unsatisfying performance and scalability of metadata service because of random disk I/O during metadata operations. In this paper, a highly efficient metadata management architecture for cloud storage systems is proposed. The cluster design significantly improves the scalability of the system. A concept of the disk I/O channel is introduced, which is an independent data storage pipe by binding an independent CPU‐core to each physical disk. In addition, a multi‐channel fast key‐value storage engine is proposed to provide the extremely efficient performance for the underlying storage service, which takes full advantages of multi‐core processors and parallel disks I/O. Besides, a new dynamic load‐balancing strategy is proposed to reduce load thrashing and improve the precision of rebalancing among the clusters. Performance measurements under a variety of benchmarks show that the metadata management is capable of handling the massive small files storage and the performance is improved significantly compared to the existing solutions. Copyright © 2016 John Wiley & Sons, Ltd.
DIFFERENCES IN MOTOR ABILITIES OF VARIOUS TYPES OF EUROPEAN YOUNG ELITE FEMALE BASKETBALL PLAYERS

The study is mainly aimed at determining and analysing motor abilities of European top-quality young female basketball players. Our primary interest was the development level of motor abilities of various types of players and probable differences between them. The sample of subjects consisted of 65 female basketball players from 27 European countries aged 14.49±. 62 who were divided into three groups according to their playing positions (guards, forwards, centres). Using eight motor tests, we mainly investigated the players’ motor abilities as follows: power of sprinting type, agility, power of throwing type and power of jumping type. Basic descriptive statistics was calculated for all the groups and the differences between them were established using ANOVA, MANOVA and MANCOVA with body height and mass as covariates. The study results show that the differences between individual player types can also be confirmed in a sample of European top-quality young female basketball players. They were distinctly differentiated in body height and mass, whereas ANOVA and MANOVA also confirmed the differences in their motor abilities. The structure of motor abilities of individual player types changes considerably if the influence of body height and mass is eliminated. The differences between them decrease and are only preserved in the technically most demanding movements performed with the ball. The differences are not only a consequence of the differences in body height but also of the different playing roles of individual types of players as well as the required technical knowledge.
Botulinum toxin in gait dysfunction due to ankle clonus: a case series.

OBJECTIVES Our purpose is to assess the effectiveness of Botulinum toxin (Btx) on gait dysfunction due to ankle clonus in neurological patients. METHODS We use a retrospective case note review of 11 patients attending the Regional Acquired Brain Injury Unit (RABIU), Musgrave Park Hospital, Belfast, Northern Ireland. All patients had received Btx for the treatment of ankle clonus. Demographic data including diagnosis and time since neurological insult was collected. Information regarding walking speed and assistance required to walk before and after Btx treatment was analysed. RESULTS In 10 of 11 patients, walking speed was significantly improved at 4-6 weeks post Btx injections (P = 0.006) and at 14-16 weeks post Btx injections (P = 0.005). Eight patients reduced their level of dependency on assistance. Subjective improvements in levels of pain, gait pattern and 'toe clawing' were also reported. CONCLUSIONS Our findings suggest that Botulinum toxin has a role in treating ankle clonus in neurological patients, where it interferes in gait. Walking speed and level of dependence on others improved in this group.
Pulp tissue in sex determination: A fluorescent microscopic study

Aims: To determine and compare the reliability of pulp tissue in determination of sex and to analyze whether caries have any effect on fluorescent body test. Materials and Methods: This study was carried on 50 maxillary and mandibular teeth (25 male teeth and 25 female teeth), which were indicated for extraction. The teeth are categorized into 5 groups, 10 each (5 from males and 5 from females) on the basis of caries progression. The pulp cells are stained with quinacrine hydrochloride and observed with fluorescent microscope for fluorescent body. Gender is determined by identification of Y chromosome fluorescence in dental pulp. Results: Fluorescent bodies were found to be more in sound teeth in males as the caries increase the mean percentage of fluorescent bodies observed decreases in males. We also observed the fluorescent spots in females, and the value of the spot increases in female as the caries progresses, thereby giving false positive results in females. Conclusion: Sex determination by fluorescent staining of the Y chromosome is a reliable technique in teeth with healthy pulps or caries with enamel or up to half way of dentin. Teeth with caries involving pulp cannot be used for sex determination.
Conjunctive queries over trees

We study the complexity and expressive power of conjunctive queries over unranked labeled trees, where the tree structure are represented using "axis relations" such as "child", "descendant", and "following" (we consider a superset of the XPath axes) as well as unary relations for node labels. (Cyclic) conjunctive queries over trees occur in a wide range of data management scenarios related to XML, the Web, and computational linguistics. We establish a framework for characterizing structures representing trees for which conjunctive queries can be evaluated efficiently. Then we completely chart the tractability frontier of the problem for our axis relations, i.e., we find all subset maximal sets of axes for which query evaluation is in polynomial time. All polynomial-time results are obtained immediately using the proof techniques from our framework. Finally, we study the expressiveness of conjunctive queries over trees and compare it to the expressive power of fragments of XPath. We show that for each conjunctive query, there is an equivalent acyclic positive query (i.e., a set of acyclic conjunctive queries), but that in general this query is not of polynomial size.
Evaluation of low cost vibration based damage detection systems

This paper evaluates the results that can be obtained with different strategies of instrumentation for an utility-scale wind turbine, considering variations on the number of sensors, on their distribution in the wind turbine tower and on their noise level. With the goal of reducing the investment in monitoring equipment, layouts based on a reduced number of low cost sensors are tested. The data processing strategy is based on the continuous tracking of the wind turbine main vibration modes using Operational Modal Analysis techniques combined with algorithms that deal with the particularities of operation of the wind turbines and that permit an online automated identification. After the mitigation of the influence of the environmental and operation factors on the tracked natural frequencies, it is possible to detect abnormal variations of the natural frequencies, which might flag the appearance of damage. The alternative monitoring scenarios are recreated using a database of acceleration time series collected during one year in an onshore 2MW wind turbine, by a quite extensive monitoring system, using low noise accelerometers.
Can Anonymous Posters on Medical Forums be Reidentified?

Background Participants in medical forums often reveal personal health information about themselves in their online postings. To feel comfortable revealing sensitive personal health information, some participants may hide their identity by posting anonymously. They can do this by using fake identities, nicknames, or pseudonyms that cannot readily be traced back to them. However, individual writing styles have unique features and it may be possible to determine the true identity of an anonymous user through author attribution analysis. Although there has been previous work on the authorship attribution problem, there has been a dearth of research on automated authorship attribution on medical forums. The focus of the paper is to demonstrate that character-based author attribution works better than word-based methods in medical forums. Objective The goal was to build a system that accurately attributes authorship of messages posted on medical forums. The Authorship Attributor system uses text analysis techniques to crawl medical forums and automatically correlate messages written by the same authors. Authorship Attributor processes unstructured texts regardless of the document type, context, and content. Methods The messages were labeled by nicknames of the forum participants. We evaluated the system’s performance through its accuracy on 6000 messages gathered from 2 medical forums on an in vitro fertilization (IVF) support website. Results Given 2 lists of candidate authors (30 and 50 candidates, respectively), we obtained an F score accuracy in detecting authors of 75% to 80% on messages containing 100 to 150 words on average, and 97.9% on longer messages containing at least 300 words. Conclusions Authorship can be successfully detected in short free-form messages posted on medical forums. This raises a concern about the meaningfulness of anonymous posting on such medical forums. Authorship attribution tools can be used to warn consumers wishing to post anonymously about the likelihood of their identity being determined.
The PDZ domain protein Mcc is a novel effector of non-canonical Wnt signaling during convergence and extension in zebrafish

During vertebrate gastrulation, a complex set of mass cellular rearrangements shapes the embryonic body plan and appropriately positions the organ primordia. In zebrafish and Xenopus, convergence and extension (CE) movements simultaneously narrow the body axis mediolaterally and elongate it from head to tail. This process is governed by polarized cell behaviors that are coordinated by components of the non-canonical, β-catenin-independent Wnt signaling pathway, including Wnt5b and the transmembrane planar cell polarity (PCP) protein Vangl2. However, the intracellular events downstream of Wnt/PCP signals are not fully understood. Here, we show that zebrafish mutated in colorectal cancer (mcc), which encodes an evolutionarily conserved PDZ domain-containing putative tumor suppressor, is required for Wnt5b/Vangl2 signaling during gastrulation. Knockdown of mcc results in CE phenotypes similar to loss of vangl2 and wnt5b, whereas overexpression of mcc robustly rescues the depletion of wnt5b, vangl2 and the Wnt5b tyrosine kinase receptor ror2. Biochemical experiments establish a direct physical interaction between Mcc and the Vangl2 cytoplasmic tail. Lastly, CE defects in mcc morphants are suppressed by downstream activation of RhoA and JNK. Taken together, our results identify Mcc as a novel intracellular effector of non-canonical Wnt5b/Vangl2/Ror2 signaling during vertebrate gastrulation.
Using Abstraction and Model Checking to Detect Safety Violations in Requirements Specifications

Exposing inconsistencies can uncover many defects in software specifications. One approach to exposing inconsistencies analyzes two redundant specifications, one operational and the other property-based, and reports discrepancies. This paper describes a "practical" formal method, based on this approach and the SCR (software cost reduction) tabular notation, that can expose inconsistencies in software requirements specifications. Because users of the method do not need advanced mathematical training or theorem-proving skills, most software developers should be able to apply the method without extraordinary effort. This paper also describes an application of the method which exposed a safety violation in the contractor-produced software requirements specification of a sizable, safety-critical control system. Because the enormous state space of specifications of practical software usually renders direct analysis impractical, a common approach is to apply abstraction to the specification. To reduce the state space of the control system specification, two "pushbutton" abstraction methods were applied, one which automatically removes irrelevant variables and a second which replaces the large, possibly infinite, type sets of certain variables with smaller type sets. Analyzing the reduced specification with the model checker Spin uncovered a possible safety violation. Simulation demonstrated that the safety violation was not spurious but an actual defect in the original specification.
Learning by Demonstration Technology for Military Planning and Decision Making: A Deployment Story

Learning by demonstration technology has long held the promise to empower non-programmers to customize and extend software. We describe the deployment of a learning by demonstration capability to support user creation of automated procedures in a collaborative planning environment that is used widely by the U.S. Army. This technology, which has been in operational use since the summer of 2010, has helped to reduce user workloads by automating repetitive and time-consuming tasks. The technology has also provided the unexpected benefit of enabling standardization of products and processes.
Structural Basis for Dimer Formation of Human Condensin Structural Maintenance of Chromosome Proteins and Its Implications for Single-stranded DNA Recognition*

Eukaryotic structural maintenance of chromosome proteins (SMC) are major components of cohesin and condensins that regulate chromosome structure and dynamics during cell cycle. We here determine the crystal structure of human condensin SMC hinge heterodimer with ∼30 residues of coiled coils. The structure, in conjunction with the hydrogen exchange mass spectrometry analyses, revealed the structural basis for the specific heterodimer formation of eukaryotic SMC and that the coiled coils from two different hinges protrude in the same direction, providing a unique binding surface conducive for binding to single-stranded DNA. The characteristic hydrogen exchange profiles of peptides constituted regions especially across the hinge-hinge dimerization interface, further suggesting the structural alterations upon single-stranded DNA binding and the presence of a half-opened state of hinge heterodimer. This structural change potentially relates to the DNA loading mechanism of SMC, in which the hinge domain functions as an entrance gate as previously proposed for cohesin. Our results, however, indicated that this is not the case for condensins based on the fact that the coiled coils are still interacting with each other, even when DNA binding induces structural changes in the hinge region, suggesting the functional differences of SMC hinge domain between condensins and cohesin in DNA recognition.
A quantum jump description for the non-Markovian dynamics of the spin–boson model

We derive a time-convolutionless master equation for the spin–boson model in the weak coupling limit. The temporarily negative decay rates in the master equation indicate short time memory effects in the dynamics, which are explicitly revealed when the dynamics is studied using the non-Markovian jump description. The approach gives new insights into the memory effects influencing the spin dynamics and demonstrates how for the spin–boson model the co-operative action of different channels complicates the detection of memory effects in the dynamics.