Miracle-dz/UniFAR-FTUs huggingface dataset:
Factors that affect consumer trust in online shopping in Taiwan

The purpose of this paper was to examine the critical factors that affect consumer trust in online shopping environment in Taiwan. Based on the implications derived from the previous literature review, the factors affecting online trust are presented, which provide a basis for the further development model of trust in this study. The study suggests that if there are more perceived trust in online shopping environment and if shoppers felt that online shopping gave them enough comfortable and security about the service and products , the number of online shoppers would be higher. Thus, the objective of this research is to test which factors have an effect on consumers’ trust and on their subsequent intention to purchase online. The purpose of this study is hopefully to help website managers to enhance their website trustworthiness. This model consists of the website quality, the structure assurance, the web vendor reputation and capability, and product information.
Heterogeneity and dynamics in the assembly of the Heat Shock Protein 90 chaperone complexes

The Hsp90 cycle depends on the coordinated activity of a range of cochaperones, including Hop, Hsp70 and peptidyl-prolyl isomerases such as FKBP52. Using mass spectrometry, we investigate the order of addition of these cochaperones and their effects on the stoichiometry and composition of the resulting Hsp90-containing complexes. Our results show that monomeric Hop binds specifically to the Hsp90 dimer whereas FKBP52 binds to both monomeric and dimeric forms of Hsp90. By preforming Hsp90 complexes with either Hop, followed by addition of FKBP52, or with FKBP52 and subsequent addition of Hop, we monitor the formation of a predominant asymmetric ternary complex containing both cochaperones. This asymmetric complex is subsequently able to interact with the chaperone Hsp70 to form quaternary complexes containing all four proteins. Monitoring the population of these complexes during their formation and at equilibrium allows us to model the complex formation and to extract 14 different KD values. This simultaneous calculation of the KDs from a complex system with the same method, from eight deferent datasets under the same buffer conditions delivers a self-consistent set of values. In this case, the KD values afford insights into the assembly of ten Hsp90-containing complexes and provide a rationale for the cellular heterogeneity and prevalence of intermediates in the Hsp90 chaperone cycle.
Prototypical Opinion Holders: What We can Learn from Experts and Analysts

In order to automatically extract opinion holders, we propose to harness the contexts of prototypical opinion holders, i.e. common nouns, such as experts or analysts, that describe particular groups of people whose profession or occupation is to form and express opinions towards specific items. We assess their effectiveness in supervised learning where these contexts are regarded as labeled training data and in rule-based classification which uses predicates that frequently co-occur with mentions of the prototypical opinion holders. Finally, we also examine in how far knowledge gained from these contexts can compensate the lack of large amounts of labeled training data in supervised learning by considering various amounts of actually labeled training sets.
The performance analysis of multi-hop based broadcasting

In the traditional broadcast system, the capacity is always limited by the users located at the edge of the coverage area, which degraded the experience of the users near the base station. In this paper, the broadcasting scheme based on multi-hop is proposed, and the outage performance of the proposed scheme is analyzed under both the Rayleigh and Nakagami-m channel. It is shown that, with the help of relays, the performance of the users at the edge of the coverage is promoted greatly. And the multi-hop scheme outperforms the traditional direct transmission scheme greatly with the increased number of relays, under the assumption that the nonadjacent relays have noninterference to each other. Another important conclusion is that the multi-hop scheme performs better than direct transmission under higher attenuation scenarios.
Impacts of Agricultural Practices on Insecticide Resistance in the Malaria Vector Anopheles arabiensis in Khartoum State, Sudan

Background Agricultural pesticides may play a profound role in selection of resistance in field populations of mosquito vectors. The objective of this study is to investigate possible links between agricultural pesticide use and development of resistance to insecticides by the major malaria vector Anopheles arabiensis in northern Sudan. Methodology/Principal Findings Entomological surveys were conducted during two agricultural seasons in six urban and peri-urban sites in Khartoum state. Agro-sociological data were collected from 240 farmers subjected to semi-structured questionnaires based on knowledge attitude and practice (KAP) surveys. Susceptibility status of An. arabiensis (n=6000) was assessed in all sites and during each season using WHO bioassay tests to DDT, deltamethrin, permethrin, Malathion and bendiocarb. KAP analysis revealed that pesticide application was common practice among both urban and peri-urban farmers, with organophosphates and carbamates most commonly used. Selection for resistance is likely to be greater in peri-urban sites where farmers apply pesticide more frequently and are less likely to dispose of surpluses correctly. Though variable among insecticides and seasons, broad-spectrum mortality was slightly, but significantly higher in urban than peri-urban sites and most marked for bendiocarb, to which susceptibility was lowest. Anopheles arabiensis from all sites showed evidence of resistance or suspected resistance, especially pyrethroids. However, low-moderate frequencies of the L1014F kdr allele in all sites, which was very strongly associated with DDT, permethrin and deltamethrin survivorship (OR=6.14-14.67) suggests that resistance could increase rapidly. Conclusions Ubiquitous multiple-resistance coupled with presence of a clear mechanism for DDT and pyrethroids (kdr L1014F) in populations of An. arabiensis from Khartoum-Sudan suggests careful insecticide management is essential to prolong efficacy. Our findings are consistent with agricultural insecticide use as a source of selection for resistance and argue for coordination between the integrated vector control program and the Ministry of Agriculture to permit successful implementation of rational resistance management strategies.
Source Attribution of Cryptographic API Misuse in Android Applications

Recent research suggests that 88% of Android applications that use Java cryptographic APIs make at least one mistake, which results in an insecure implementation. It is unclear, however, if these mistakes originate from code written by application or third-party library developers. Understanding the responsible party for a misuse case is important for vulnerability disclosure. In this paper, we bridge this knowledge gap and introduce source attribution to the analysis of cryptographic API misuse. We developed BinSight, a static program analyzer that supports source attribution, and we analyzed 132K Android applications collected in years 2012, 2015, and 2016. Our results suggest that third-party libraries are the main source of cryptographic API misuse. In particular, 90% of the violating applications, which contain at least one call-site to Java cryptographic API, originate from libraries. When compared to 2012, we found the use of ECB mode for symmetric ciphers has significantly decreased in 2016, for both application and third-party library code. Unlike application code, however, third-party libraries have significantly increased their reliance on static encryption keys for symmetric ciphers and static IVs for CBC mode ciphers. Finally, we found that the insecure RC4 and DES ciphers were the second and the third most used ciphers in 2016.
The roots of neo-liberal resilience: Explaining continuity and change in background ideas in Europe’s political economy

Defines and elucidates the concept of ‘background ideas’; Defines and elucidates neo-liberalism and its relationship to background ideas; Uses discursive institutionalism as framework for analysis of background ideas and neo-liberalism; Explores different levels of neo-liberal ideas in terms of philosophy, program, and policy; Considers how different levels of ideas may be transformed over time through revolutionary or evolutionary change; Examines different forms of ideas, especially as philosophies, ideologies, and discourse, and different types of ideas, both cognitive and normative; Considers the different ways in which ideas are constructed and communicated by policy or political entrepreneurs and/or act in discursive policy communities; Discusses political entrepreneurs as ideological, pragmatic, or opportunistic. Neo-liberalism has come to constitute the core background idea of European political economies, as the unquestioned set of beliefs, understandings, or core philosophy exercising a seemingly incontrovertible hold since the 1980s in Europe. Using a discursive institutionalist framework, this article defines background ideas; describes their different forms, levels, and types; theorizes about the nature of continuity and change in such ideas; and considers the agents and discursive processes through which such ideas are constructed and disseminated. It illustrates throughout with examples of neo-liberalism, from the philosophical origins through its many different permutations in different institutional contexts over time. This article concludes that although ‘background ideas’ as a concept remains somewhat elusive, it is nonetheless useful as a way of understanding how neo-liberalism has managed to infuse people’s deepest assumptions about the possible and thereby to set the limits of the imaginable with regard to political economic action.
Epidermal Growth Factor Receptor activation promotes ADA3 acetylation through the AKT-p300 pathway

ABSTRACT The ADA3 (Alteration/Deficiency in Activation 3) protein is an essential adaptor component of several Lysine Acetyltransferase (KAT) complexes involved in chromatin modifications. Previously, we and others have demonstrated a crucial role of ADA3 in cell cycle progression and in maintenance of genomic stability. Recently, we have shown that acetylation of ADA3 is key to its role in cell cycle progression. Here, we demonstrate that AKT activation downstream of Epidermal Growth Factor Receptor (EGFR) family proteins stimulation leads to phosphorylation of p300, which in turn promotes the acetylation of ADA3. Inhibition of upstream receptor tyrosine kinases (RTKs), HER1 (EGFR)/HER2 by lapatinib and the accompanying reduction of phospho-AKT levels led to a decrease in p300 phosphorylation and ADA3 protein levels. The p300/PCAF inhibitor garcinol also destabilized the ADA3 protein in a proteasome-dependent manner and an ADA3 mutant with K→R mutations exhibited a marked increase in half-life, consistent with opposite role of acetylation and ubiquitination of ADA3 on shared lysine residues. ADA3 knockdown led to cell cycle inhibitory effects, as well as apoptosis similar to those induced by lapatinib treatment of HER2+ breast cancer cells, as seen by accumulation of CDK inhibitor p27, reduction in mitotic marker pH3(S10), and a decrease in the S-phase marker PCNA, as well as the appearance of cleaved PARP. Taken together our results reveal a novel RTK-AKT-p300-ADA3 signaling pathway involved in growth factor-induced cell cycle progression.
Memorage: emerging persistent RAM based malleable main memory and storage architecture

This paper addresses new system design issues that will occur when a large quantity of emerging persistent RAM (PRAM) is put on the main memory bus of a platform. First, we anticipate that continued technology advances will enable us to integrate (portions of) the system storage within the PRAM modules on a system board. This change calls for comprehensive re-examination of the system design concepts that assume "slow" disk and the block I/O concept. Next, we propose Memorage, a system architecture that virtually manages all available physical resources for memory and storage in an integrated manner. Memorage leverages the existing OS virtual memory (VM) manager to improve the performance of memory-intensive workloads and achieve longer lifetime of the main memory. We design and implement a prototype system in the Linux OS to study the effectiveness of Memorage. Obtained results are promising; Memorage is shown to offer additional physical memory capacity to demanding workloads much more efficiently than a conventional VM manager. Under memory pressure, the performance of studied memory-intensive multiprogramming workloads was improved by up to 40.5% with an average of 16.7%. Moreover, Memorage is shown to extend the lifetime of the PRAM main memory by 3.9 or 6.9 times on a system with 8 GB PRAM main memory and a 240 GB or 480 GB PRAM storage.
A generic deriving mechanism for Haskell

Haskell's deriving mechanism supports the automatic generation of instances for a number of functions. The Haskell 98 Report only specifies how to generate instances for the Eq, Ord, Enum, Bounded, Show, and Read classes. The description of how to generate instances is largely informal. The generation of instances imposes restrictions on the shape of datatypes, depending on the particular class to derive. As a consequence, the portability of instances across different compilers is not guaranteed. We propose a new approach to Haskell's deriving mechanism, which allows users to specify how to derive arbitrary class instances using standard datatype-generic programming techniques. Generic functions, including the methods from six standard Haskell 98 derivable classes, can be specified entirely within Haskell 98 plus multi-parameter type classes, making them lightweight and portable. We can also express Functor, Typeable, and many other derivable classes with our technique. We implemented our deriving mechanism together with many new derivable classes in the Utrecht Haskell Compiler.
A PET Study of Stimulus- and Task-Induced Semantic Processing

To investigate the neural correlates of semantic processing, previous functional imaging studies have used semantic decision and generation tasks. However, in addition to activating semantic associations these tasks also involve executive functions that are not specific to semantics. The study reported in this paper aims to dissociate brain activity due to stimulus-driven semantic associations and task-induced semantic and executive processing by using repetition and semantic decision on auditorily presented words in a cognitive conjunction design. The left posterior inferior temporal, inferior frontal (BA 44/45), and medial orbital gyri were activated by both tasks, suggesting a general role in stimulus-driven semantic and phonological processing. In addition, semantic decision increased activation in (i) left ventral inferior frontal cortex (BA 47), right cerebellum, and paracingulate, which have all previously been implicated in executive functions, and (ii) a ventral region in the left anterior temporal pole which is commonly affected in patients with semantic impairments. We attribute activation in this area to the effortful linkage of semantic features. Thus, our study replicated the functional dissociation between dorsal and ventral regions of the left inferior frontal cortex. Moreover, it also dissociated the semantic functions of the left posterior inferior temporal gyrus and anterior temporal pole: The posterior region subserves stimulus-driven activation of semantic associations and the left anterior region is involved in task-induced association of semantic information.
Graph Laplacian Based Transfer Learning Methods in Reinforcement Learning

In the real world, people often reuse their knowledge in dealing with daily life problems. They can observe facts in an environment and recall similar experience in the past to deal with new situations. This phenomenon implies that there must be some features for people to compare the similarity between two environments. For example, toilet papers are usually placed nearby cashiers in different marts in Taiwan as shown in Fig. 1. In these two photos, orange ovals represent features for cashiers and red ovals represent features for toilet papers. The features which allow people to recognize the fact “Toilet papers are usually placed nearby cashiers. ” are the kinds of experience which could be reused.
Fabrication of corrugated artificial insect wings using laser micromachined molds

This paper describes the fabrication of an artificial insect wing with a rich set of topological features by micromolding a thermosetting resin. An example 12 mm long hoverfly-like wing is fabricated with 50–125 µm vein heights and 100 µm corrugation heights. The solid veins and membrane were simultaneously formed and integrated by a single molding process. Employing a layered laser ablation technique, three-dimensional molds were created with 5 µm resolution in height. Safe demolding of the wing was achieved with a water-soluble sacrificial layer on the mold. Measured surface profiles of the wing matched those of the molds, demonstrating the high replication accuracy of this molding process. Using this process, the morphological features of insect wings can be replicated at-scale with high precision, enabling parametric experiments of the functional morphology of insect wings. This fabrication capability also makes it possible to create a variety of wing types for micro air vehicles on scales similar to insects.
The Flannotator - a gene and protein expression annotation tool for Drosophila melanogaster

SUMMARY Understanding developmental processes and building towards integrative systems biology require detailed knowledge of the spatio-temporal expression of genes and proteins. We have developed a software package for collecting, storing and searching the annotation of protein or gene expression patterns in Drosophila melanogaster. Using standard Drosophila anatomy and Gene Ontologies, the system can readily capture expression patterns at any stage of development and in all recognized tissue types as well as details of sub-cellular localization. The web-based system allows multiple groups to work in collaboration and share images and annotation. AVAILABILITY http://www.flannotator. org.uk/.
Towards cloud-based compositions of security functions for mobile devices

In order to prevent attacks against smartphones and tablets, dedicated security applications are usually deployed on the mobile devices themselves. However, these applications may have a significant impact on the device resources, and users may be tempted to uninstall or disable them. In this paper, we propose a new approach to outsource mobile security functions and build transparent in-path security compositions for mobile devices. The functions are dynamically activated, configured and composed using software-defined networking and virtualization capabilities. We present a mathematical formalization to model the security compositions, and describe the functional architecture. We provide an implementation prototype and evaluate the solution through an extensive set of experiments.
A feature subtraction method for image based kinship verification under uncontrolled environments

The most fundamental problem of local feature based kinship verification methods is that a local feature can capture the variations of environmental conditions and the differences between two persons having a kin relation, which can significantly decrease the performance. To address this problem, we propose a feature subtraction method to remove the kinship unrelated part from the local feature through a linear function of which only one parameter, namely a subtraction matrix, needs to be inferred from training data. This is done by using a gradient descent method to simultaneously minimize the feature distance between face image pairs with kinship and maximize the distance between non-kinship pairs. Based on the subtracted feature, the verification is realized through a simple Gaussian based distance comparison method. Experiments on two public databases show that the feature subtraction method outperforms or is comparable to state-of-the-art kinship verification methods.
Software Model Checking with Explicit Scheduler and Symbolic Threads

In many practical application domains, the software is organized into a set of threads, whose activation is exclusive and controlled by a cooperative scheduling policy: threads execute, without any interruption, until they either terminate or yield the control explicitly to the scheduler. The formal verification of such software poses significant challenges. On the one side, each thread may have infinite state space, and might call for abstraction. On the other side, the scheduling policy is often important for correctness, and an approach based on abstracting the scheduler may result in loss of precision and false positives. Unfortunately, the translation of the problem into a purely sequential software model checking problem turns out to be highly inefficient for the available technologies. We propose a software model checking technique that exploits the intrinsic structure of these programs. Each thread is translated into a separate sequential program and explored symbolically with lazy abstraction, while the overall verification is orchestrated by the direct execution of the scheduler. The approach is optimized by filtering the exploration of the scheduler with the integration of partial-order reduction. The technique, called ESST (Explicit Scheduler, Symbolic Threads) has been imple- mented and experimentally evaluated on a significant set of benchmarks. The results demonstrate that ESST technique is way more effective than software model checking ap- plied to the sequentialized programs, and that partial-order reduction can lead to further performance improvements.
More Evidence for Three Types of Cognitive Style: Validating the Object‐Spatial Imagery and Verbal Questionnaire Using Eye Tracking when Learning with Texts and Pictures

Summary There is some indication that people differ regarding their visual and verbal cognitive style. The Object‐Spatial Imagery and Verbal Questionnaire (OSIVQ) assumes a three‐dimensional cognitive style model, which distinguishes between object imagery, spatial imagery and verbal dimensions. Using eye tracking as a means to observe actual gaze behaviours when learning with text–picture combinations, the current study aims to validate this three‐dimensional assumption by linking the OSIVQ to learning behaviour. The results largely confirm the model in that they show the expected correlations between results on the OSIVQ, visuo‐spatial ability and learning behaviour. Distinct differences between object visualizers, spatial visualizers and verbalizers could be demonstrated. © 2016 The Authors Applied Cognitive Psychology Published by John Wiley & Sons Ltd.
Optimized motion strategies for cooperative localization of mobile robots

This work presents an approach to optimizing entire trajectories for a group of mobile robots that use one another as localization beacons. The cost function we seek to optimize is a measure of localization uncertainty (as opposed to distance travelled or time). Our initial findings show that, for example, it is possible to improve on the intuitive equilateral-triangle formation for three robots.