Miracle-dz/UniFAR-FTUs huggingface dataset:
Effect of Quantum correlation on Perfect K pair Quantum Network Coding

We find a protocol transmitting K quantum states crossly in the quantum networks with K pair sender-receiver and one bottleneck channels only with sharing quantum correlations between senders. In these networks senders want to multi cast perfect quantum states to receivers. Perfect send on the quantum networks is impossible just using some additional resources like quantum correlation. This protocol has been used maximum entangled states and Quantum Discord which is best indicator of the quantum nature of the correlation to sharing between senders. At first, to send perfect K states in quantum network applied some maximum entanglement states to teleport quantum states, Enistein - Podolsky - Rosen (EPR) states as simple and two qubit states and Grrenberger- Horne - Zeilinger (GHZ) states and W states as kinds of three qubit states. Then reached that there is no difference between sharing these maximum entanglement states and must send same amount of classical bits in bottleneck channel. In the second part of this paper of sharing Quantum Correlation (quantum discord) perfect send of two quantum states is possible in the Butterfly network with fidelity equal one.
Supporting Integrity of Discrete Trial Teaching via Tiered Consultation: A Pilot Study

Abstract Empirically supported consultation procedures for supporting implementation of evidence-based interventions for Autism Spectrum Disorder (ASD), such as performance feedback, may be challenging to implement in public schools. Educators may find performance feedback aversive, and support personnel may find its directiveness incompatible with their professional roles. This pilot study extends recent advances in implementation science, by investigating the influence of tiered consultation on intervention integrity of Discrete Trial Teaching (DTT). A less intensive form of implementation support was examined for its feasibility and effectiveness. Collaborative Student Data Review (CSDR) includes discussion, general feedback, and modeling. Preliminary findings indicate that CSDR is a feasible and acceptable form of implementation support, and that it shows potential as a form of implementation support for DTT.
Instrument for water vapor transmission rate of thin-film encapsulation in aging environment

Thin-film encapsulation is recognized as the most promising emerging packaging technology, and water vapor transmission rate (WVTR) is one of the most important parameters to evaluate the performance of thin film. In order to measure the WVTR of the thin-film encapsulation in any temperature and humidity environment (especially in aging environment), a new method of WVTR measurement system was designed and developed which is based on the method of calcium electrical test in this paper. Deposited by atomic layer deposition, the WVTR of the different layers Al2O3/Alucone thin film encapsulation were measured in 85 °C /85%RH. The results showed that this encapsulation structure had a water vapor barrier effect, prolonging the lifetime of the device and the multiple of accelerated test was obtained by comparison of the experimental results on the high-humidity and on the room temperature and humidity.
Thermobot: A bipedal walker driven by constant heating

This paper reports on a bipedal walking mechanism driven by constant heating, which walks on a heated horizontal surface. The mechanism is based on a passive dynamic walker and powered by thermal deformation of bimetal. A prototype is composed of two legs jointed to a waist shaft and cylindrical feet whose bottoms were looped around by bimetal sheets. When the prototype was placed on a horizontal surface heated at 170 °C, the bimetal sheets deformed to excite lateral swinging motion of the walker body and the walker successfully walked. The paper discusses the gait of the walker by analyzing swing periods in traveling direction and lateral direction. The estimation on the walker gait was quantitatively confirmed through motion tracking of walker legs.
Antibiogram Typing of Biofield Treated Multidrug Resistant Strains of Staphylococcus Species

Antimicrobial resistance is a global health issue in the developing countries. This study was carried out to evaluate the impact of Mr. Trivedi’s biofield energy treatment on multidrug resistant (MDR) clinical lab isolates (LSs) of Staphylococcus species viz. Staphylococcus haemolyticus (LS 18), Staphylococcus epidermidis (LS 21), and Staphylococcus aureus (LS 30). Each strain was divided into the two groups i.e. control and treated. The control and treated groups were analyzed for the antimicrobial susceptibility pattern, minimum inhibitory concentration (MIC), biochemical analysis and biotype number using MicroScan Walk-Away® system. The analysis was done on day 10 after biofield treatment and compared with the control group. The sensitivity of erythromycin was improved from resistant to susceptible, while levofloxacin sensitivity was also improved from intermediate to susceptible in LS 21 isolate. The MIC results showed a decrease in the concentrations of ceftriaxone, erythromycin, imipenem, and levofloxacin antimicrobials in LS 21 as compared to the control. Linezolid and vancomycin also showed decrease in MIC as compared to the control in LS 30. Overall, 20.69% antimicrobials showed decrease in MIC value out of the tested twenty-nine after biofield treatment in Staphylococcus species. The biochemical study showed a 25% alteration in biochemical reactions as compared to the control. A significant change was reported in biotype numbers for all the three strains of MDR Staphylococcus species after biofield treatment as compared to the respective control group. On the basis of changed biotype number (306366) after biofield treatment in LS 18, the new organism was identified as Staphylococcus simulans with respect to the control species i.e. Staphylococcus haemolyticus (302302). The control group of S. epidermidis and S. aureus showed biotype number as 303064 and 757153 respectively. After biofield treatment, LS 21 and LS 30 isolates showed altered biotype number as 307064 and 317153 respectively. Overall, results conclude that biofield treatment could be used as complementary and alternative treatment strategy against multidrug resistant strains of Staphylococcus species with improved sensitivity and reduced MIC values of antimicrobial.
Document Image Segmentation Using a 2D Conditional Random Field Model

This work relates to the implementation of a 2D conditional random field model in the context of document image analysis. Our model makes it possible to take variability into account and to integrate contextual knowledge, while taking benefit from machine learning techniques. Experiments on handwritten drafts of Flaubert show that these models provide interesting solutions.
Time Well Spent? Relating Television Use to Children's Free-Time Activities

OBJECTIVES. This study assessed the claim that children's television use interferes with time spent in more developmentally appropriate activities. METHODS. Data came from the first wave of the Child Development Supplement, a nationally representative sample of children aged 0 to 12 in 1997 (N = 1712). Twenty-four-hour time-use diaries from 1 randomly chosen weekday and 1 randomly chosen weekend day were used to assess children's time spent watching television, time spent with parents, time spent with siblings, time spent reading (or being read to), time spent doing homework, time spent in creative play, and time spent in active play. Ordinary least squares multiple regression was used to assess the relationship between children's television use and time spent pursuing other activities. RESULTS. Results indicated that time spent watching television both with and without parents or siblings was negatively related to time spent with parents or siblings, respectively, in other activities. Television viewing also was negatively related to time spent doing homework for 7- to 12-year-olds and negatively related to creative play, especially among very young children (younger than 5 years). There was no relationship between time spent watching television and time spent reading (or being read to) or to time spent in active play. CONCLUSIONS. The results of this study are among the first to provide empirical support for the assumptions made by the American Academy of Pediatrics in their screen time recommendations. Time spent viewing television both with and without parents and siblings present was strongly negatively related to time spent interacting with parents or siblings. Television viewing was associated with decreased homework time and decreased time in creative play. Conversely, there was no support for the widespread belief that television interferes with time spent reading or in active play.
Syntactic considerations on recursive types

We study recursive types from a syntactic perspective. In particular, we compare the formulations of recursive types that are used in programming languages and formal systems. Our main tool is a new syntactic explanation of type expressions as functors. We also introduce a simple logic for programs with recursive types in which we carry out our proofs.
Reducing the Energy Consumption of Embedded Systems by Integrating General Purpose GPUs

Nowadays, General Purpose Computing on GPUs (GPGPU) accelerates many industrial and scientific applications in the high performance computing (HPC) domain. Recently, GPU vendors, such as Nvidia and AMD, promoted the utilization of high end GPUs in embedded systems. The intention of the GPU vendors is the acceleration of traditional graphics computations, but in analogy to the HPC desktop domain, GPUs could also be used as GPGPU in the embedded domain. However, energy constraints are omnipresent in the embedded world and therefore, one central question for embedded system designers is: Can energy be saved by using an additional GPGPU-equipped graphics card to accelerate general purpose applications? This paper firstly discusses the theoretical background of an energy aware embedded system design including a GPGPU-equipped graphics card. In order to support these theoretical considerations, secondly an energy and runtime evaluation of a low power GPU/CPU system is presented. We demonstrate that a profitable GPU integration, seen from an energy perspective, strongly depends on the structure and the features of an application such as a high parallelizability and the utilization level of the graphics card. The evaluation of several real world benchmarks shows that increasing the system’s power consumption by integrating a GPU can lead to a reduced overall energy consumption of a system.
KLM Logics of Nonmonotonic Reasoning : Calculi and Implementations

We present proof methods for the logics of nonmonotonic reasoning defined by Kraus, Lehmann and Magidor (KLM). We introduce tableaux calculi (called T S) for all KLM logics. We provide decision procedures for KLM logics based on these calculi, and we study their complexity. Finally, we describe KLMLean 2.0, a theorem prover implementing the calculi T S inspired by the “lean” methodology. KLMLean 2.0 is implemented in SICStus Prolog and it also comprises a graphical interface written in Java.
Time Series Regression Based on Relevance Vector Learning Mechanism

This paper presents a relevance vector learning mechanism for time series regression analysis. The relevance vector machine (RVM) has a probabilistic Bayesian learning framework and has good generalization capability. The RVM consists of the sum of product of weight and kernel function which projects input space into high dimensional feature space. Although having the same function form as support vector machine (SVM), the RVM not only has sparser solutions, but also has not restrictions on the selection of kernel functions. An improved EM-based learning algorithm of RVM is also proposed to deal with the problem of computing the inverse matrix in the classical RVM when the model is too sparse. As a case study, the EM-base RVM is used for functional regression with noises. The simulation results illustrate effectiveness of the presented improved RVM. Both the classical and EM-based RVM are superior to SVM, and EM-base RVM is more robust faced with different kernel width.
A data structure for dynamic trees

We propose a data structure to maintain a collection of vertex-disjoint trees under a sequence of two kinds of operations: a link operation that combines two trees into one by adding an edge, and a cut operation that divides one tree into two by deleting an edge. Our data structure requires O(log n) time per operation when the time is amortized over a sequence of operations. Using our data structure, we obtain new fast algorithms for the following problems: (1) Computing deepest common ancestors. (2) Solving various network flow problems including finding maximum flows, blocking flows, and acyclic flows. (3) Computing certain kinds of constrained minimum spanning trees. (4) Implementing the network simplex algorithm for the transshipment problem. Our most significant application is (2); we obtain an O(mn log n)-time algorithm to find a maximum flow in a network of n vertices and m edges, beating by a factor of log n the fastest algorithm previously known for sparse graphs.
Molecular and Functional Characterization of Broccoli EMBRYONIC FLOWER 2 Genes

Polycomb group (PcG) proteins regulate major developmental processes in Arabidopsis. EMBRYONIC FLOWER 2 (EMF2), the VEFS domain-containing PcG gene, regulates diverse genetic pathways and is required for vegetative development and plant survival. Despite widespread EMF2-like sequences in plants, little is known about their function other than in Arabidopsis and rice. To study the role of EMF2 in broccoli (Brassica oleracea var. italica cv. Elegance) development, we identified two broccoli EMF2 (BoEMF2) genes with sequence homology to and a similar gene expression pattern to that in Arabidopsis (AtEMF2). Reducing their expression in broccoli resulted in aberrant phenotypes and gene expression patterns. BoEMF2 regulates genes involved in diverse developmental and stress programs similar to AtEMF2 in Arabidopsis. However, BoEMF2 differs from AtEMF2 in the regulation of flower organ identity, cell proliferation and elongation, and death-related genes, which may explain the distinct phenotypes. The expression of BoEMF2.1 in the Arabidopsis emf2 mutant (Rescued emf2) partially rescued the mutant phenotype and restored the gene expression pattern to that of the wild type. Many EMF2-mediated molecular and developmental functions are conserved in broccoli and Arabidopsis. Furthermore, the restored gene expression pattern in Rescued emf2 provides insights into the molecular basis of PcG-mediated growth and development.
Effect of Motivation, Discipline and Perception of Leadership onthe Performance of Nutrition and MCH Healthcare Providersin Reducing Stunting Incidence Rate in Tegal

The role of healthcare providers in Community Health Center is required to provide professional services according their main duties. One of the achievements of nutritional program coverage in PHC is the success of healthcare providers in improving nutrition in the community, especially among babies and under-five children in accordance with the target set. The success of this program is also inseparable from the high motivation and discipline of nutrition and Mother & Child (MCH) healthcare providersso that it will have an impact on the improvement of performance, as well as the leadership role of the head of CHC in providing motivation and guidance to the healthcare provider in achieving the goals.This study aims to analyze the effect of motivation, work discipline and perception of the head of CHC leadership on the performance of nutrition and MCHhealthcare providers in reducing stunting (short) incidence rate among under-five children in the work area of CHCs in Tegal. This study was a quantitative study. This study used analytical survey design with cross sectional approach.The population of all nutrition and MCH healthcare providers in Tegal was 117 people and 60 samples were obtained by Slovin formula. The samples were obtained by purposive sampling technique. The instrument used was a questionnaire. Data analysis used Spearman test and Logistic Regression test. The result showed that there was a correlation between motivation (p = 0,001), work discipline (p = 0,003), and perception of leadership (p = 0,002) on the performance of nutrition and MCH healthcare providers. The logistic regression test was conducted with the result that motivation variable (p = 0,001 with OR = 5,239) and work discipline variable (p = 0,004 with OR = 4,459) had significant effect on the performance of nutrition health and MCH healthcare providers. The conclusion was thatnutrition and MCH healthcare providers with high motivation and high performance were 19 times greater compared to nutrition and MCH healthcare providers with low motivation and low performance in the work area of CHCs in Tegal.
The Complex Intron Landscape and Massive Intron Invasion in a Picoeukaryote Provides Insights into Intron Evolution

Genes in pieces and spliceosomal introns are a landmark of eukaryotes, with intron invasion usually assumed to have happened early on in evolution. Here, we analyze the intron landscape of Micromonas, a unicellular green alga in the Mamiellophyceae lineage, demonstrating the coexistence of several classes of introns and the occurrence of recent massive intron invasion. This study focuses on two strains, CCMP1545 and RCC299, and their related individuals from ocean samplings, showing that they not only harbor different classes of introns depending on their location in the genome, as for other Mamiellophyceae, but also uniquely carry several classes of repeat introns. These introns, dubbed introner elements (IEs), are found at novel positions in genes and have conserved sequences, contrary to canonical introns. This IE invasion has a huge impact on the genome, doubling the number of introns in the CCMP1545 strain. We hypothesize that each IE class originated from a single ancestral IE that has been colonizing the genome after strain divergence by inserting copies of itself into genes by intron transposition, likely involving reverse splicing. Along with similar cases recently observed in other organisms, our observations in Micromonas strains shed a new light on the evolution of introns, suggesting that intron gain is more widespread than previously thought.
Limited Self-Control and Long-Run Growth

This paper integrates imperfect self-control into the standard model of endogenous growth. In their long-run savings decisions individuals take into account a cost of self-control, which depends on the consumption temptations of their impatient short-run self. I obtain a closed-form solution for consumption and show that within a certain range of self-control an investment subsidy can be useful in order to reduce consumption and to increase investment, growth, and welfare of the long-run self. A consumption tax, perhaps surprisingly, is found to be counterproductive. It induces individuals with limited self-control to consume even more.
Parallel SAT Solving in Bounded Model Checking

Bounded Model Checking (BMC) is an incremental refutation technique to search for counterexamples of increasing length. The existence of a counterexample of a fixed length is expressed by a first-order logic formula that is checked for satisfiability using a suitable solver. We apply communicating parallel solvers to check satisfiability of the BMC formulae. In contrast to other parallel solving techniques, our method does not parallelize the satisfiability check of a single formula, but the parallel solvers work on formulae for different counterexample lengths. We adapt the method of constraint sharing and replication of Shtrichman, originally developed for sequential BMC, to the parallel setting. Since the learning mechanism is now parallelized, it is not obvious whether there is a benefit from the concepts of Shtrichman in the parallel setting. We demonstrate on a number of benchmarks that adequate communication between the parallel solvers yields the desired results.
Digital Future for Paleoclimate Estimation from Fossil Leaves? Preliminary Results

Abstract Leaf size and shape are selected by climate and are strongly correlated with climatic variables. Accordingly, fossil dicotyledonous leaves are considered to be among the most reliable indicators of terrestrial paleoclimates. However, the methods used have much potential for improvement. All currently rely on discrete, usually binary characters, but leaf morphology is better evaluated and more reproducibly measured using continuous variables. Digital leaf measurement offers the possibility of continuous, reproducible variables, with the potential to improve paleoclimate estimates as well as the ecological and evolutionary understanding of leaf form. Results are reported for five variables measured on 238 leaves representing the woody species from three living test floras—two temperate and one humid tropical. The variables are: shape factor (an area:perimeter ratio standardized to a circle); the ratio of feret diameter (diameter if leaf’s area is contained in a circle) to major axis length; the ratio of tooth area to leaf area; tooth count; and tooth count standardized to leaf perimeter. It is well known that increased mean annual temperature is correlated with a high percentage of untoothed species. By extension, increasing temperature is expected to be associated with relatively undissected, more circular leaves (i.e., with high shape factor, low tooth-area:leaf-area ratio, and low tooth count). These trends were observed in the test floras, both between the tropical and the temperate sites and between the two temperate sites. Shape factor was the variable that resolved the three sites most significantly. The five variables show promise for testing on an expanded set of floras sufficient to develop statistical models for paleoclimatic studies.
Unified Scalable Equivalent Formulations for Schatten Quasi-Norms

The Schatten quasi-norm can be used to bridge the gap between the nuclear norm and rank function, and is the tighter approximation to matrix rank. However, most existing Schatten quasi-norm minimization (SQNM) algorithms, as well as for nuclear norm minimization, are too slow or even impractical for large-scale problems, due to the SVD or EVD of the whole matrix in each iteration. In this paper, we rigorously prove that for any p, p1, p2>0 satisfying 1/p=1/p1+1/p2, the Schatten-p quasi-norm of any matrix is equivalent to minimizing the product of the Schatten-p1 norm (or quasi-norm) and Schatten-p2 norm (or quasi-norm) of its two factor matrices. Then we present and prove the equivalence relationship between the product formula of the Schatten quasi-norm and its weighted sum formula for the two cases of p1 and p2: p1=p2 and p1\neq p2. In particular, when p>1/2, there is an equivalence between the Schatten-p quasi-norm of any matrix and the Schatten-2p norms of its two factor matrices, where the widely used equivalent formulation of the nuclear norm can be viewed as a special case. That is, various SQNM problems with p>1/2 can be transformed into the one only involving smooth, convex norms of two factor matrices, which can lead to simpler and more efficient algorithms than conventional methods. We further extend the theoretical results of two factor matrices to the cases of three and more factor matrices, from which we can see that for any 0<p<1, the Schatten-p quasi-norm of any matrix is the minimization of the mean of the Schatten-(p3+1)p norms of all factor matrices, where p3 denotes the largest integer not exceeding 1/p. In other words, for any 0<p<1, the SQNM problem can be transformed into an optimization problem only involving the smooth, convex norms of multiple factor matrices.