Miracle-dz/UniFAR-FTUs huggingface dataset:
Determining minimal testsets for reversible circuits using Boolean satisfiability

Reversible circuits are an attractive computation model as they theoretically enable computations with close to zero power consumption. Furthermore, reversible circuits found significant attention in the domain of quantum computation. With the emergence of first physical realizations for this kind of circuits, also testing issues become of interest. Accordingly, first approaches for automatic test pattern generation have been introduced. However, they suffer either from their limited scalability or do not generate a minimal testset. In this paper, a SAT-based algorithm for the determination of minimal complete testsets is proposed. An experimental evaluation of the proposed method shows that the algorithm is applicable to reversible circuits with more than 2 000 gates.
Enforcing purpose of use via workflows

One of the main privacy concerns of users when submitting their data to an organization is that their data will be used only for the specified purposes. Although privacy policies can specify the purpose, enforcing such policies remains a challenge. In this paper we propose an approach to enforcing purpose in access control systems that uses workflows. The intuition behind this approach is that purpose of access can be inferred, and hence associated with, the workflow in which the access takes place. We thus propose to encode purposes as properties of workflows used by organizations and show how this can be implemented. The approach is more general than other known approaches to purpose-based enforcement, and can be used to implement them. We argue the advantages of the new approach in terms of accuracy and expressiveness.
Distance learning: Challenges, new solution

Distance learning using innovative use of technologies is becoming a good way in the last ten years to obtain knowledge separate from the traditional attending in the classrooms. The goal of this type of education is to provide maximum possible outcome for students. For developing societies and people who are in specific conditions, this method is a fastest growing form of education. The aim of this paper is to talk about recent remote education methods, their challenges and propose a new method to use offline distance learning. Nowadays internet is being widely used all over the world but for some territories the speed of internet is very slow or people don't have access to internet. Satellite communications are the main ways of interconnecting people all around the world. Distance education in terms of satellite communication can be done in two online and offline modes. Online method requires installing and buying special devices and services in which regarding different factors they are not cheap. In this paper we propose of using DVB-S devices to use offline remote learning. Using the proposed method is very useful especially for the regions that there is no good infrastructure for internet.
The Burden of OASIS Increases along with Socioeconomic Position – Register-Based Analysis of 980,733 Births in Finland

Background Obstetric anal sphincter injury (OASIS) has been identified as a major preventable risk factor for anal incontinence. Objective Aim was to measure national variation in incidence of OASIS by socioeconomic status (SES). Methods A retrospective population based case-control study using the data derived from the Finnish Medical Birth Register for the years 1991–2010. A total population of singleton vaginal births was reviewed. We calculated unadjusted incidences of OASIS stratified by SES and vaginal parity, and adjusted risks for OASIS in each social class, after controlling for parity, birthweight, mode of delivery, maternal age and maternal smoking. SES was recorded into five categories based on mother’s occupation at time of birth; upper white-collar workers such as physicians, lower white-collar workers such as nurses, blue-collar workers such as cleaners, others such as students, and cases with missing information. Results Seven per thousand (6,404 of 980,733) singleton births were affected by OASIS. In nulliparae the incidence of OASIS was 18% higher (adjusted OR 1.18 95% CI 1.04−1.34) for upper white-collar workers and 12% higher (adjusted OR 1.12 95% CI 1.02−1.24) for lower white-collar workers compared with blue-collar workers. Among women in these higher SES groups, 40% of the excess OASIS risk was explained by age, non-smoking, birthweight and mode of delivery. Despite the large effect of SES on OASIS, inclusion of SES in multivariable models caused only small changes in estimated adjusted effects for other established risk factors. Conclusions OASIS at the first vaginal delivery demonstrates a strong positive social gradient. Higher SES is associated with a number of risk factors for OASIS, including higher birthweight and non-smoking, but only 40% of the excess incidence is explained by these known risk factors. Further research should address other underlying causes including differences in lifestyle or environmental factors, and inequalities in healthcare provision.
Static converters for solar photovoltaic water pumping in off-grid regions

In this paper various schemes for solar photovoltaic water pumping are analyzed. Different aspects influence the performance of those systems; hydraulic load, battery efficiency, and variable speed operation are taken into account in order to suggest strategies for energy management and hardware implementation alternatives, under the restriction of operation in off-grid regions. Four pumping strategies, and their effect in the energy flow, are analyzed in this paper, using or not, batteries or variable speed.
A Compression-Based Method for Stemmatic Analysis 1

Stemmatology studies relations among different variants of a text that has been gradually altered as a result of imperf ectly copying the text over and over again. Applications are mainl y in humanities, especially textual criticism, but the methods ca n be used to study the evolution of any symbolic objects, including ch ain letters and computer viruses.We propose an algorithm for stemm atic analysis based on a minimum-information criterion and stoc hastic tree optimization. Our approach is related to phylogenetic reconstruction criteria such as maximum parsimony and maximum li kelihood, and builds upon algorithmic techniques developed f or bioinformatics. Unlike many earlier methods, the proposed metho d does not require significant preprocessing of the data but rather , operates directly on aligned text files. We demonstrate our method on a realworld experiment involving all 52 known variants of the lege nd of St. Henry of Finland, and provide the first computer-generat ed family tree of the legend. The obtained tree of the variants is su pported to a large extent by results obtained with more traditional m ethods, and identifies a number of previously unrecognized relation s.
The Crucial Role of Cholangiocytes in Cholangiopathies

Cholangiopathies are diseases involving the intrahepatic biliary tree. They appear to involve, chronic inflammation of the bile ducts, which can lead to the development of bile duct cholestasis, proliferation/ductopenia, biliary fibrosis, and malignant transformation. Sustained stimulatory insults to biliary epithelial cells can induce a ductular reaction, which has a key role in the initiation and progression of cholangiopathies. The epithelial-mesenchymal interaction between reactive cholangiocytes and mesenchymal cells with the inflammatory infiltrates plays a major role in this pathogenesis. Cytokines, chemokines, growth factors and morphogens mediate these interactions in an autocrine or paracrine manner. The main hepatic myofibroblasts (MFs) in cholangiopathies originate from portal fibroblasts. Hepatic stellate cells and fibrocytes also transform into MFs. Whether cholangiocytes or hepatocytes are a source of MFs via the epithelial-mesenchymal transition (EMT) remains a matter of controversy. Although there have been numerous indirect findings supporting the theory of a cholangiocyte EMT in human tissues, recent studies using lineage tracing methods have demonstrated strong evidence against the EMT. Understanding the pathogenic mechanisms involved in cholangiopathies can allow for better-targeted anti-fibrotic therapies in animal models. Before anti-fibrotic therapies can translate into clinical trials, improved monitoring of the fibrotic progression of cholangiopathies and an accurate assessment regarding the effectiveness of the proposed treatments must be achieved.
Recommendations for Haemodynamic and Neurological Monitoring in Repair of Acute Type A Aortic Dissection

During treatment of acute type A aortic dissection there is potential for both pre- and intra-operative malperfusion. There are a number of monitoring strategies that may allow for earlier detection of potentially catastrophic malperfusion (particularly cerebral malperfusion) phenomena available for the anaesthetist and surgeon. This review article sets out to discuss the benefits of the current standard monitoring techniques available as well as desirable/experimental techniques which may serve as adjuncts in the monitoring of these complex patients.
Performance evaluation of a novel telerehabilitation system for the elbow joint training

Except the network latency which limits the development of telerehabilitation systems for home-based rehabilitation, the loss of real contact feeling should also be addressed. In this paper, a novel telerehabilitation system is developed to recover the lost contact feeling. The system incorporates a human upper limb-like device (master device) for therapists' use and an exoskeleton device (slave device) for patients' use. The training process of passive training with the proposed system is introduced in this paper. On the patients' side, a force sensor was used to detect the interaction force between the forearm and exoskeleton device. The interaction force can be reflected to therapists with master device which was designed with the SEA-based structure. The closed-loop interaction control method was used, thus the force feedback can be controlled by adjusting the deflection of elastic elements. The performance that the master device can generate variable impedances is evaluated. Moreover, motion tracking performance during passive trainings was tested under local network environment. The passive training is suitable for patients with severe impairments and poor motor function.
A Narrative of Charitable Acknowledgment: Reframing Interpersonal Communication in Intimate Relationships

A NARRATIVE OF CHARITABLE ACKNOWLEDGMENT: REFRAMING INTERPERSONAL COMMUNICATION IN INTIMATE ROMANTIC RELATIONSHIPS By Cory D. Williams December 2007 Dissertation Supervised by Dr. Calvin Troup No. of Pages in Text: 218 The field of interpersonal communication conducts many descriptive studies. However, guidance for healthy communication within intimate relationships is more difficult to come by—a condition stemming in part from an emotivist ethical paradigm. MacIntyre (1984) describes “emotivism” as the current state of society where individual preference serves as the ethical decision making compass. Emerging from Enlightenment scholarship (e.g., Hobbes, Rousseau, sociobiology), individual preferences have become main tenets in intimate interpersonal research. In the interpersonal theories of social exchange and goal-orientation, emotivism is encouraged in the emphasis placed on selfinterest and technique. This exposes itself metaphorically through descriptions of communication as a tool, an economic bartering system, and a means of gaining emotional satisfaction. As a result, communication phenomena such as love and trust in intimate romantic relationships are difficult to express due to the difficulties selfinterested language has in moving beyond the dichotomy of egoism and altruism.
Cluster analysis of participants of open source design community

Firstly, a complex network model of participants in the open source design community OpenIDEO is built, and the network index such as degree and degree distribution of complex network model are analyzed. By clustering analysis based on the network index, participants are divided into three categories, respectively the core users, information dissemination users and ordinary users. In addition, we assume that the proportion and activeness of information transmission users plays a key role for the evolution of the network. Then, by clustering participants of each project and analyzing the performance of each project, the assumption is verified. The study result is helpful to optimize the mechanism construction of the open source design community and to promote the benign development of the community, which lay the foundation of improving the efficiency and quality of group development.
Performance Evaluation of Business Intelligent Systems

Artificial Intelligence (AI) textbooks and research papers often discuss the big questions, such as "how to reason with uncertainty," "how to reason efficiently", or "how to improve performance through learning. " It is more difficult, however, to find descriptions of concrete problems or challenges that are still ambitious and interesting, yet not so open-ended. This paper analyzes the measuring performance of artificially business intelligent systems. Thausands of persons-years have been devoted to the research and development in the various aspects of artificially intelligent systems. Much progress has been attained. However, there has been no means of evaluating the progress of the field. How can we assess the current state of the science? Most of business intelligent systems are beginning to be deployed commercially. How can a commercial buyer evaluate the advantages and disavantages of the intelligent candidate and decide which system will perform best for their business application? If constructing a system from existing components, how does one select the one that is most appropriate within the desired business intelligent systems? The ability to measure the capabilities of business intelligent systems or components is more that an exercise in satisfying intellectual or philosophical curiosity. Without measurements and subsequent quantitative evaluation, it is difficult to gauge progress. It is both in a spirit of scientific enquiry and for pragmatic motivations that we embark on the quest for metrics for performance and intelligence of business intelligent systems.
Genetic and Proteomic Evidence for Roles of Drosophila SUMO in Cell Cycle Control, Ras Signaling, and Early Pattern Formation

SUMO is a protein modifier that is vital for multicellular development. Here we present the first system-wide analysis, combining multiple approaches, to correlate the sumoylated proteome (SUMO-ome) in a multicellular organism with the developmental roles of SUMO. Using mass-spectrometry-based protein identification, we found over 140 largely novel SUMO conjugates in the early Drosophila embryo. Enriched functional groups include proteins involved in Ras signaling, cell cycle, and pattern formation. In support of the functional significance of these findings, sumo germline clone embryos exhibited phenotypes indicative of defects in these same three processes. Our cell culture and immunolocalization studies further substantiate roles for SUMO in Ras signaling and cell cycle regulation. For example, we found that SUMO is required for efficient Ras-mediated MAP kinase activation upstream or at the level of Ras activation. We further found that SUMO is dynamically localized during mitosis to the condensed chromosomes, and later also to the midbody. Polo kinase, a SUMO substrate found in our screen, partially colocalizes with SUMO at both sites. These studies show that SUMO coordinates multiple regulatory processes during oogenesis and early embryogenesis. In addition, our database of sumoylated proteins provides a valuable resource for those studying the roles of SUMO in development.
A new low energy BIST using a statistical code

To tackle with the increased switching activity during the test operation, this paper proposes a new built-in self test (BIST) scheme for low energy testing that uses a statistical code and a new technique to skip unnecessary test sequences. From a general point of view, the goal of this technique is to minimize the total power consumption during a test and to allow the at-speed test in order to achieve high fault coverage. The effectiveness of the proposed low energy BIST scheme was validated on a set of ISC AS '89 benchmark circuits with respect to test data volume and energy saving.
’ s Choice Series on the Next Generation of Biotech Crops RNA Silencing in Plants : Yesterday , Today , and Tomorrow

RNA silencing has become a major focus of molecular biology and biomedical research around the world. This is highlighted by a simple PubMed search for ‘‘RNA silencing,’’ which retrieves almost 9,000 articles. Interest in gene silencing-related mechanisms stemmed from the early 1990s, when this phenomenon was first noted as a surprise observation by plant scientists during the course of plant transformation experiments, in which the introduction of a transgene into the genome led to the silencing of both the transgene and homologous endogenes. From these initial studies, plant biologists have continued to generate a wealth of information into not only gene silencing mechanisms but also the complexity of these biological pathways as well as revealing their multilevel interactions with one another. The plant biology community has also made significant advancements in exploiting RNA silencing as a powerful tool for gene function studies and crop improvements. In this article, we (1) review the rich history of gene silencing research and the knowledge it has generated into our understanding of this fundamental mechanism of gene regulation in plants; (2) describe examples of the current applications of RNA silencing in crop plants; and (3) discuss improvements in RNA silencing technology and its potential application in plant science.
Passive loop interference suppression in large-scale full-duplex cellular networks

Loop interference (LI) in wireless communications, is a notion resulting from the full-duplex (FD) operation. In a large-scale network, FD also increases the multiuser interference due to the large number of active wireless links that exist. Hence, in order to realize the FD potentials, this interference needs to be restricted. This paper presents a stochastic geometry model of FD cellular networks where the users and base stations employ directional antennas. Based on previous experimental results, we model the passive suppression of the LI at each FD terminal as a function of the angle between the two antennas and show the significant gains that can be achieved by this method. Together with the reduction of multiuser interference resulting from antenna directionality, our model demonstrates that FD can potentially be implemented in large-scale directional networks.
Automated registration of polarimetric imagery using Fourier transform techniques

Polarimetric imagery that is collected from time-sequential and multiple image format sensors all have potential for image misregistration. Since polarization is usually measured as small differences between radiometric measurements, it is highly sensitive to misregistration, especially at regions of high contrast. The general consensus in the polarization community is that image misregistration on the order of 1/10th of a pixel can introduce artifacts in polarization images. If the registration is not achieved and maintained to this resolution, the data must be registered in software. Typically, rotation and translation (horizontal and vertical) are the main transformations that need to be corrected. It is desirable to have a registration algorithm that determines rotations and translations to 1/10th of a pixel, does not require user intervention, takes minimal computation time, and is based on analytical (non-iterative), automated calculations. This paper details an analytical, automated registration algorithm that corrects for rotation and translations by using a Fourier transform technique. Examples of images registered with this algorithm, and estimates of residual misregistrations are presented. Typical processing times are also given.
Mining User Similarity Based on Users Trajectories

In this paper, we first extract latent topics of users' check in by topic model. In order to learn the geographic features of topics, we analyze the distribution and correlation of the venues of each topic. Based on the assumption that each latent topic, to some extent, reflects some users' habits or behavior patterns in certain area, we use the latent topics to mining user similarity. When use the latent topics to mining user similarity, we first calculate the entropy of each topic, and then use it to analyze which topics will be salient when calculating user similarity. And we define two sets of topic. One is common topic set. The other is variability topic set. Subsequently, we propose two models to calculate user similarity. One is single-layer model. The other is two-layer model. Two-layer model is improved to single model. Finally, we use the proposed models to calculate user similarity in all topic set, common topic set and variability topic set. And then we verify our models by experiment.
Backstepping design for a class of coupled parabolic PDEs with spatially varying coefficient

In this paper, we concentrate on the state feedback stabilization of a class of coupled parabolic partial differential equations with space dependent diffusion coefficients. To stabilize the system, we design a state feedback controller using the backstepping technique. Namely, we convert the original system into a stable desired system called the target system to obtain a backstepping feedback controller. We prove that the feedback controller causes the main system to be exponential stable. Also, the numerical simulations show that validity and efficiency of theoretical results.
Reliability and validity of the telephone administration of the wheelchair outcome measure (WhOM) for middle-aged and older users of power mobility devices.

OBJECTIVE To examine the measurement properties of the tele-phone administration of the Wheelchair Outcome Measure (WhOM). SUBJECTS Power mobility device users aged 50-89 years. METHODS Two independent cohorts were recruited: (i) a prospective cohort (n = 40) to estimate test-retest reliability and to determine the applicability of the telephone format, and (ii) a cross-sectional cohort to examine construct validity with 3 groups: (a) people waiting for a first power mobility device (n = 44); (b) initial users (n = 35; 1-6 months); and (c) long-term users (n = 39; 12-18 months). RESULTS The tool demonstrated good test-retest reliability (intraclass correlation coefficient 0.77-1.00), took 10.9 min (standard deviation = 5.2) to administer and was practical to use over the telephone. Validity testing showed moderate correlations with the Quebec User Evaluation of Satisfaction with Technology (rS = 0.36-0.45) and the Psychosocial Impact of Assistive Devices Scale (rS = 0.31-0.43). WhOM scores could discriminate non-users from users (wait-list vs initial users; wait-list vs long-term users, p < 0.001) and power wheelchair from scooter users (total WhOM scores, p < 0.05). CONCLUSION The WhOM is a stable, valid and applicable measure for telephone administration with older power mobility device users. It is moderately linked to satisfaction with the device and to the psychosocial impact of the device, and therefore complements rather than replaces those measures.