Miracle-dz/UniFAR-FTUs huggingface dataset:
Parallel Network Motif Finding

Network motifs are over-represented patterns within a network, and signify the fundamental building blocks of that network. The process of finding network motifs is closely related to the traditional subgraph isomorphism problem in computer science, which finds instances of a particular subgraph in a graph. This problem has been proven NP-complete, and thus even for relatively small subgraphs and graphs, today’s most efficient approaches require a large amount of computation time. Here we present parallel algorithms for network motif finding, including both query parallelization, where different subgraphs are searched for in parallel, and network parallelization, where the original network is partitioned into overlapping regions, and a single subgraph is searched for in parallel among the different regions. The network partitioning algorithm is a novel application of hierarchical clustering and divides the network into strongly connected components, while minimizing the overlap between them. Our results show query parallel network motif finding speeds up the computation time linearly with the number of workers, and allows us to systematically search for larger motifs than ever before. In addition, our novel network partitioning algorithms are effective at partitioning the network, which enables network parallelization to effectively reduce the time required to count instances of a particular subgraph.
E-greenDroid: effective energy inefficiency analysis for android applications

Energy inefficiency of smartphone apps is one of the important non-functional issues. It is common, but difficult to diagnose, and often involves sensor usage. GreenDroid provides a novel approach to systematically diagnose energy inefficiency problems in smartphone apps running on Android platforms. It derives an application execution model (AEM) from Android framework and leverages it to realistically simulate an application's runtime behaviors. It also automatically analyzes an application's sensory data utilization, monitors sensor listener and wake lock usage, and reports actionable information to developers. However, GreenDroid has several limitations. First, other than Android 2.3, it does not support other newer versions of Android. Second, GreenDroid doesn't provide an actionable and reusable state machine based on AEM. Third, its implementation and report generation need optimization. This work focuses on extending GreenDroid's functionality of diagnosing energy inefficiency problems in Android apps. We re-implement GreenDroid on the newest version of Java Pathfinder(JPF), update and optimize the execution simulation process as well as library modeling. Besides, this work adds support to new Android features such as Fragment, and abstracts a separate and reusable state machine out of AEM. With our evaluation, we demonstrate that the extended GreenDroid (E-GreenDroid) can analyze those apps with new Android features while being the same effective as the original version.
Co-evolutionary classifier systems for multi-agent simulation

In this paper, MAZCS-a multi-agent system that learns using ZCS-is used for social modelling on the "El Farol" problem. Experiments with ten agents and different goal settings for the problem show that MAZCS is always able to solve it and emergent behaviour is derived from the autonomous control of each agent. The results are divided into macro and micro-level analysis, the former providing the overall performance of the system, the latter the detailed ZCS rule evolution and explanation of the agent's actions. Performance analysis of the rules shows that the emergent behaviour is caused by a combination of the reward received by each ZCS and its reinforcement mechanism. For its performance and action explanation MAZCS has proved to be a good modelling tool for social simulation. Furthermore the system solved the problem when using a hundred agents, assuring scalability for bigger simulation needs.
Large-Scale Survey for Tickborne Bacteria, Khammouan Province, Laos

We screened 768 tick pools containing 6,962 ticks from Khammouan Province, Laos, by using quantitative real-time PCR and identified Rickettsia spp. , Ehrlichia spp. , and Borrelia spp. Sequencing of Rickettsia spp. –positive and Borrelia spp. –positive pools provided evidence for distinct genotypes. Our results identified bacteria with human disease potential in ticks in Laos.
Conference on National Innovation System, Industrial Dynamics and Innovation Policy Danish Research Unit for Industrial Dynamics (DRUID) June 9-12 1999, Rebild, Denmark. ‘Tacit Knowledge, Organisational Learning and Societal Institutions: An Integrated Framework

The importance of tacit knowledge in organisational learning and innovation has become the focus of considerable attention in the recent literature. Our understanding of the nature of the links between tacit knowledge and organisational learning, however, has been hampered by the lack of a conceptual framework integrating micro-level learning activities with organisational forms and macro-level societal institutions. This paper seeks to achieve such an integrative task. It argues that there is an interactive relationship between dominant knowledge types and organisational forms. Further, the extent to which tacit knowledge constitutes the knowledge base of the firm, and how it is formed and used are powerfully shaped by the broader institutional context. The paper develops a four-fold typology, at the cognitive, organisational and societal levels, as an analytical framework to explain the links between knowledge types, organisational forms and societal institutions. It shows how the three levels interact to shape the learning and innovative capabilities of firms. The theory developed in this paper represents the first attempt to integrate the diverse strands of literature and different levels of analysis into a single coherent framework.
CzEngVallex: Mapping Valency between Languages

This report presents a guideline for building a resource connected with the project of interlinking Czech and English verbal translational equivalents, based on a parallel, richly annotated dependency treebank containing also valency and semantic roles, namely the parallel Prague CzechEnglish Dependency Treebank. One of the main aims of this project is to create a high-quality and relatively large empirical base, a bilingual valency lexicon, the CzEngVallex, which could be used both for linguistically oriented comparative research, as well as for natural language processing applications, such as machine translation or cross-language sense disambiguation.
Memetic Multi-Objective Particle Swarm Optimization-Based Energy-Aware Virtual Network Embedding

In cloud infrastructure, accommodating multiple virtual networks on a single physical network reduces power consumed by physical resources and minimizes cost of operating cloud data centers. However, mapping multiple virtual network resources to physical network components, called virtual network embedding (VNE), is known to be NP-hard. With considering energy efficiency, the problem becomes more complicated. In this paper, we model energy-aware virtual network embedding, devise metrics for evaluating performance of energy aware virtual network-embedding algorithms, and propose an energy aware virtual network-embedding algorithm based on multi-objective particle swarm optimization augmented with local search to speed up convergence of the proposed algorithm and improve solutions quality. Performance of the proposed algorithm is evaluated and compared with existing algorithms using extensive simulations, which show that the proposed algorithm improves virtual network embedding by increasing revenue and decreasing energy consumption.
A nonlinear approach for face sketch synthesis and recognition

Most face recognition systems focus on photo-based face recognition. In this paper, we present a face recognition system based on face sketches. The proposed system contains two elements: pseudo-sketch synthesis and sketch recognition. The pseudo-sketch generation method is based on local linear preserving of geometry between photo and sketch images, which is inspired by the idea of locally linear embedding. The nonlinear discriminate analysis is used to recognize the probe sketch from the synthesized pseudo-sketches. Experimental results on over 600 photo-sketch pairs show that the performance of the proposed method is encouraging.
Experimental Testing of PLATO , a Reconfigurable Active ATM Network Node

An active, reconfigurable network node, named PLATO, has been designed and implemented. Version V.X1. 0 was developed with a Xilinx Virtex XCV-1000 FPGA as a PCI board, with the capability of 256MBytes of SDRAM, 512KBytes of SRAM, and a UTOPIA level 2 based interface to 4 bidirectional 155 Mbps ATM links. This paper presents the implementation and testing of the PLATO system, as well as a priority enforcement scheme for transmission of TCP/IP packets over ATM networks.
Combining Couvreur's Algorithm with Bitstate-Hashing for Emptiness Check

Emptiness check is very important in model checking to LTL. In this paper we first present a new emptiness checking algorithm, which is based on Couvreur's algorithm, to make it be compatible with bitstate-hashing completely. And then we show the correctness of the improved algorithm by analyzing it and Couvreur's algorithm. At last, we make the experiment to compare the improved algorithm to several known algorithms, which will show its interaction with bitstate-hashing completely while keeping the performance on the whole. This expands the usefulness of Couvreur's algorithm largely
Author ' s personal copy Analytic review of usability evaluation in ISMAR

There has been a rapid increase in research evaluating usability of Augmented Reality (AR) systems in recent years. Although many different styles of evaluation are used, there is no clear consensus on the most relevant approaches. We report a review of papers published in International Symposium of Mixed and Augmented Reality (ISMAR) proceedings in the past decade, building on the previous work of Swan and Gabbard (2005). Firstly, we investigate the evaluation goal, measurement and method of ISMAR papers according to their usability research in four categories: performance, perception and cognition, collaboration and User Experience (UX). Secondly, we consider the balance of evaluation approaches with regard to empirical–analytical, quantitative–qualitative and participant demographics. Finally we identify potential emphases for usability study of AR systems in the future. These analyses provide a reference point for current evaluation techniques, trends and challenges, which benefit researchers intending to design, conduct and interpret usability evaluations for future AR systems. 2012 British Informatics Society Limited. All rights reserved.
Signifying Aids: How media use metaphors to define a disease

ABSTRACT HIV is still one of the biggest public health challenges in Tanzania. The media play an important role in keeping the public updated about this issue. Aids’ invasive traits and infectious viruses have been systematically metaphorised to communicate complex information in simple terms over the past three decades. Even though metaphors are present in our everyday speech, when applied to illness and science, the consequences can have a ripple effect if misused. Employing semiotic analysis, this study explores how the Tanzanian media use metaphors and related imagery to report on HIV/Aids. The results indicate that the use of war metaphors, accompanied by photographs mostly featuring men, vivifies the HIV/Aids epidemic and valourises the stakeholders who engage in battling the ‘virus’. These stakeholders include government officials, international donors and heterosexual men, and exclude women and other disenfranchised groups such as homosexuals and the elderly.
Measuring fatigue in patients with multiple sclerosis: reproducibility, responsiveness and concurrent validity of three Dutch self-report questionnaires

Purpose. To determine the reproducibility, responsiveness and concurrent validity of Dutch versions of the Fatigue Severity Scale (FSS), Modified Fatigue Impact Scale (MFIS), and Checklist Individual Strength (CIS20R) in patients with multiple sclerosis (MS). Method. Forthy-three ambulatory patients with MS (mean age 48.7 years; SD 7 years; 30 women; median Expanded Disability Status Scale score 3.5) completed the questionnaires twice within 1 week. The Intraclass Correlation Coefficients (ICCs), Bland and Altman analysis, the smallest detectable change (SDC) and the minimal detectable change (MDC) were calculated. Concurrent validity was determined by Pearson's correlation coefficients. Results. ICCs ranged from 0.76 (FSS), to 0.85 (MFIS) to 0.81 (CIS20R). Bland and Altman analysis showed no significant systematic differences between assessments. MDCs were 20.7% (FSS), 19.23% (MFIS), and 17.7% (CIS20R). Pearson correlation coefficients were r = 0.66 (FSS–MFIS), r = 0.54 (MFIS–CIS20R) and r = 0.42 (CIS20R–FSS). Conclusion. Despite good test–retest reliability of FSS, MFIS and the CIS20R, the present study shows that fatigue questionnaires are not very responsive for change in patients with MS. This finding suggests that future trials should monitor profiles of fatigue by repeated measurements rather than pre-post assessments alone. The moderate associations suggest that the three questionnaires largely measure different aspects of perceived fatigue.
Spitzer observations of acetylene bands in carbon-rich AGB stars in the Large Magellanic Cloud

We investigate the molecular bands in carbon-rich AGB stars in the Large Magellanic Cloud (LMC), using the InfraRed Spectrograph (IRS) on board the Spitzer Space Telescope (SST) over the 5–38 µm range. All 26 low-resolution spectra show acetylene (C2H2) bands at 7 and 14 µm. The hydrogen cyanide (HCN) bands at these wavelengths are very weak or absent. This is consistent with low nitrogen abundances in the LMC. The observed 14 µm C2H2 band is reasonably reproduced by an excitation temperature of 500 K. There is no clear dilution of the 14 µm C2H2 band by circumstellar dust emission. This 14 µm band originates from molecular gas in the circumstellar envelope in these high mass-loss rate stars, in agreement with previous findings for Galactic stars. The C2H2 column density, derived from the 13.7 µm band, shows a gas mass-loss rate in the range 3 ×10 −6 to 5 ×10 −5 M ⊙ yr −1 . This is comparable with the total mass-loss rate of these stars estimated from the spectral energy distribution. Additionally, we compare the line strengths of the 13.7 µm C2H2 band of our LMC sample with those of a Galactic sample. Despite the low metallicity of the LMC, there is no clear difference in the C2H2 abundance among LMC and Galactic stars. This reflects the effect of the 3rd dredge-up bringing self-produced carbon to the surface, leading to high C/O ratios at low metallicity.
Line-based camera movement estimation by using parallel lines in omnidirectional video

In this paper, we propose an efficient estimation method of an omnidirectional camera movement. The proposed method is based on Structure from Motion utilizing a constraint of parallel lines. In an environment having manmade structures, parallel lines can be extracted from an omnidirectional image easily and constantly, because of its wide field of view. Parallel lines provides a valuable constraint for camera movement estimation. The proposed method can estimate 3-D camera movements by solving one degree of freedom problem three times without regard to the number of viewpoints. Experimental results show the effectiveness of our proposed method.
Property uniformity and poling behavior of PMN-PT crystal grown by vertical gradient freeze method

3-Inch diameter PMN-PT ingots were grown along [001] direction using Vertical Gradient Freeze (VGF) method. Wafers are sliced, sequentially numbered and tested for the study of property distribution along the ingot, and samples from the same wafer were studied for in-wafer uniformity. As a result, [001] grown and poled PMN-PT crystals typically have electromechanical coupling coefficient k33 higher than 0.91, and free relative permittivity between 4,600 and 7,500, varying monotonically along the ingot, due to PT composition segregation. In-wafer free relative permittivity variation coefficient is measured within 2%, due to sufficient agitation during growth. It is also shown that piezoelectric properties saturate around 350 kV/mm for PMN-0.29PT and 250 kV/mm for PMN-0.31PT, respectively. Both PMN-0.29PT and PMN-0.31PT experience property degradation due to over-poling over 1300 kV/mm, and PMN-0.31PT is more susceptible to over-poling due to closer vicinity to the Morphotropic Phase Boundary (MPB). It is thought that over-poling is a field-induced phase transition and such transition is found reversible by annealing at certain elevated temperatures.
Commodity , High Performance Interconnects

As communication limitations become the dominant factor designing products, devices connected by networks will beco common. Most companies will not want to design their own inte connection fabric but will, instead, opt to buy an off the shelf inte connect system. Thus, vendors will offer “commodity interconnects that are easy to integrate into other products and h good performance over a wide range of applications. The ch lenge for these commodity interconnects will be to deliver hig performance at a reasonable cost. This paper will examine issues in designing a commodity, high performance interconnec
The Effect of Vitamin A Supplementation on Biochemical Parameters in Multiple Sclerosis Patients

Background Vitamin A has different functions in the body and after being converted to acid form; it can play many roles in immune system regulation. Therefore, this vitamin can be used as a supplement in the treatment of diseases, such as cancer and autoimmune diseases. Vitamin A is a fat-soluble compound and its long-term consumption in high doses can have some adverse effects. Objective The current study aimed to investigate the possible complications and find solutions to minimize the adverse effects. Patients and Methods This study was a double blind randomized clinical trial. In the main study, vitamin A (as retinyl palmitate) was given to 35 multiple sclerosis (MS) patients in order to regulate their immune system with a dose of 25000 IU/day for a period of six months. To investigate the possible biochemical complications, lipid profiles, fasting blood sugar (FBS), liver enzymes, and C-reactive protein (CRP) were tested. Results Vitamin A did not have a significant difference in lipid profiles, FBS and liver enzymes between the two groups receiving vitamin A and the placebo, but CRP increased in patients who were taking vitamin A, 1.65±0.43 (mg/L) and 2.88±0.67, (Mean±SEM), before and after the intervention respectively (P=0.029), and statistical analysis showed significant differences with the group receiving placebo (P=0.011) and CRP level in vitamin A group was 1.3 mg/L more than those of the placebo group after intervention (P=0.011). Conclusions Considering that no significant difference was found in the proven vitamin A side effects, due to the increase in CRP, frequent clinical and biochemical controls are required along with vitamin A supplementation.
Frequency of Bt resistance genes in Helicoverpa armigera populations from the Yellow River cotton‐farming region of China

Bt cotton has been widely planted in the Yellow River valley of China since 1998. Anci County in Hebei Province and Xiajin County in Shandong Province are two areas where almost 100% of the cotton grown produces Cry1A(c) toxin. These areas were therefore selected for analysis of the frequency of genes coding for resistance to Cry1A(c) in field populations of the bollworm, Helicoverpa armigera Hübner (Lepidoptera: Noctuidae). In 2002, adult females were collected using light traps. Females were caged individually and were allowed to lay eggs. At hatch, 25–35 larvae from each female were screened for growth rate on normal artificial diet, and on diet containing 1.0 µg of Cry1A(c) toxin per ml of diet. This growth rate bioassay was designed to detect non‐recessive resistance genes in heterozygous genotypes and to detect recessive resistance genes only when present in a homozygous resistant genotype. The bioassay detected one resistant individual out of 234 screened in Anci and one resistant individual out of 420 in Xiajin. These results suggest that a conservative estimate of the resistance gene frequency is 0.00107 in the Anci population, and 0.00059 in the Xiajin population. Our results indicate that minor resistance genes or less dominant genes for resistance may occur at higher frequencies, especially in the Xiajin population.
On the role of essential orders on feedback decoupling and model inversion : bond graph approach

The essential orders have an important role in the study of the systems decouplability as well as in the inverse model characterization. The aim of this paper is first to define essential orders on the bond graph model. Secondly, static and dynamic decoupling by bond graph approach is discussed and the dynamic extension order is defined. Finally, the dynamic compensation is physically located on the bond graph model and an approach to synthesize a model statically decouplable is suggested in order to define an adequate structure to the control requirements.
Introduction of B-chain-inactivated ricin into mouse macrophages and rat Kupffer cells via their membrane Fc receptors

Experiments have been made to test whether the toxic lectin ricin can be bound to and introduced into cells by some other mechanism than via its B chain, the natural binding moiety of the toxin, without its toxic effect being neutralized. Complexes consisting of ricin and antibodies specifically directed against ricin B chain were incubated with mouse peritoneal macrophages and rat Kupffer cells, which are known to possess surface receptors for the Fc portion of the immunoglobulin molecule. After incubation for 26 h, cellular protein synthesis, as measured by incorporation of labeled leucine into acid-insoluble material, was completely inhibited. HeLa cells, which do not possess Fc receptors, were unaffected by the complex. The effect of the complex on protein synthesis of macrophages was prevented by soluble antigen- antibody complexes, but not by the presence of lactose which prevents attachment of the ricin B chain to the cell membrane. The [ricin- antiricin B] complex was attached to red cells, and the resulting complex was incubated with rat Kupffer cells. Cellular protein synthesis ceased after 6 h, and phase contrast microscopy studies showed that the complexes were taken up by the Kupffer cells. The data indicate that ricin, when present in the complex with antiricin B, can be introduced into cells through cell membrane receptors other than the B chain receptor, in this case the Fc receptor, and that the internalized toxin retains a least part of its activity.