202 research outputs found
Empirical study of Android test generation tools on an industrial app
No full textGiven the ever increasing number of research tools to automatically generate inputs to test Android applications (or simply apps), researchers recently asked the question “Are we there yet?” (in terms of the practicality of the tools). In particular, researchers conduct an empirical study on existing testing techniques and tools on open-source Android apps. In this thesis, we present two significant extensions of that study. First, we conduct the first industrial case study of applying existing available testing tools against WeChat, a popular messenger app with over 800 million monthly active users. Second, we study the characteristics of covered activities achieved by testing tools to show which tools can be used in combination with other tools to achieve an optimal activity coverage. We also study the reasons why some activities are covered by only a particular testing tool to help app or tool developers improve their testing tools. Furthermore, we manually categorize not-covered activities to provide insightful information about the not-covered code entities. Such categorization will motivate app developers to spend additional resources during their testing efforts to cover such activities.Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2019-05-01The student, Dengfeng Li, accepted the attached license on 2017-04-25 at 13:02.The student, Dengfeng Li, submitted this Thesis for approval on 2017-04-25 at 13:07.This Thesis was approved for publication on 2017-04-25 at 19:05.DSpace SAF Submission Ingestion Package generated from Vireo submission #11040 on 2017-08-10 at 15:06:58Made available in DSpace on 2017-08-10T20:33:23Z (GMT). No. of bitstreams: 2
LI-THESIS-2017.pdf: 5823294 bytes, checksum: 74e161ac4001b1c6acc751032d7c5e8f (MD5)
LICENSE.txt: 4208 bytes, checksum: 06cd4709b30c5d43dc1d8a2737be9b65 (MD5)
Previous issue date: 2017-04-25Embargo set by: Colleen Fallaw for item 102832
Lift date: 2019-08-10T21:27:21Z
Reason: Author requested U of Illinois access only (OA after 2yrs) in Vireo ETD systemU of I Only Restriction Lifted for Item 102832 on 2019-08-11T09:15:35Z
Application of New Molecular Probes in the Diagnosis and Treatment of Malignant Tumors
No full textMolecular probes, specialized tools or substances meticulously designed to bind to specific molecules or biomarkers within cells, tissues, or biological samples, play a pivotal role in various domains such as biomedical research, diagnostics, and medical treatments [...
Stability on multiobjective dynamic programming problems with fuzzy parameters in the objective functions and in the constraints
No full textTwo Essays on the Effect of Visual Design on Consumer Behavior
No full textThe author has granted permission for their work to be available to the general public.My dissertation examines how visual design influences consumers’ perception and behaviors. Visual design is one of the most powerful tools companies use to attract customers’ attention, change their perception, and eventually obtain favorable purchase decisions. Visual design plays an important role in consumers’ decisions since humans’ vision accounts for approximately two-thirds of brain activity. More human neurons are dedicated to vision than the other four senses combined. This makes visual design extremely relevant today since the online shopping environment is essentially visual. In my dissertation, I probe the influence of cute images on consumers’ risk preference and the impact of action bar color on consumers’ online impulsive buying.
My first essay examines how cuteness influences consumers’ risk preference. Cute images are displayed on a wide range of products such as lottery tickets, slot machines, and casino chips. In these risk-related products, do cute images influence risk preference? If so, how and why? The extant literature seems to imply that cuteness may lead individuals to be more risk seeking or risk averse. To solve this puzzle, I integrate insights from the literature on cuteness and caring motivation to propose that cuteness leads men to be more risk-seeking and women to be more risk-averse. This is because of the different caring motivation triggered by cuteness for men versus women. Three study findings consistently support my hypotheses.
My second essay examines the effect of action bar color on consumers’ online impulsive buying. Color is probably one of the most prominent visual design elements. This is especially so in an online environment since consumers are freed from constraints such as time and location, which makes impulsive purchases more likely. I am particularly interested in how the action bar color influences consumers’ online impulsive buying. Drawn from the previous literature on color, seemingly opposite predictions are possible. Meanwhile, marketing practitioners have ongoing debates about which color will increase online sales. Aiming to reconcile the discrepancy in the literature and provide an answer to marketers, I propose the action bar color of red or blue can influence online impulsive shopping, which is contingent on consumers’ impulsiveness. In addition, I uncover the underlying process of arousal by showing that the same color of red arouses people but can lead to different impulsive buying online depending on individuals’ impulsiveness. Six studies provide triangulating support for this theorizing using data collected in the field and in the lab with different product categories and multiple operationalizations of arousal.Marketin
Component-dependent electrocatalytic activity of PdCu bimetallic nanoparticles for hydrogen evolution reaction
No full textFacile Synthesis of Cu/NiCu Electrocatalysts Integrating Alloy, Core–Shell, and One-Dimensional Structures for Efficient Methanol Oxidation Reaction
No full textPorous Co2P nanowires as high efficient bifunctional catalysts for 4-nitrophenol reduction and sodium borohydride hydrolysis
No full textMultifunctional Nanoparticles: Design and Application in Diagnosis of Cardiovascular Diseases
No full textSymbolic manipulation based on deep neural networks and its application to axiom discovery
No full textSymbolic reasoning is difficult for neural networks. Especially, reasoning with variables can be a challenging task for them. In this paper, a symbolic reasoning method based on deep neural networks is proposed, and this method is applied to axiom discovery. This method makes use of the concept of “symbolic manipulation”. Specifically, it relies on the learning ability of the deep neural networks and the reasoning ability of a logical system: The logical system generates training examples, which indicate how to manipulate symbols, from given data, and then the deep neural networks try to learn these examples, score them and abstract possible axioms from them. In particular, this method enables the deep neural networks to realise simple reasoning with variables in predicate logic. In experiments, we demonstrate that the deep neural networks are able to learn to copy and generate symbols from a certain form of rules produced by the logical system. Moreover, we find that the more hidden layers usually mean the stronger learning ability of symbolic manipulation: An increasing number of hidden layers usually bring about a higher rule acceptance rate. Also, we find that the more hidden layers can bring about better results on axiom discovery tasks, and we show that the deep neural networks can discover some useful axioms in mathematics.No Full Tex
Decoupling Control for DACF Pressure Based on Neural Networks and Prediction Principle
No full textOvercoming the coupling impact is the premise to achieve rapid, precise and especially independent control for the two concatenate pressures of the double-level air current field (DACF) system. Due to the nonlinearity, time lag, and strong coupling characteristics of the system, a decoupling method based on neural networks and prediction principle is presented in this paper. With the neural networks, a nonlinear mathematical model of the relationship describing air flow rate and other variations including the upstream pressure, the downstream pressure and valve opening is developed. With the prediction principle, the predicted pressure state formula is derived. On the basis of them, the predictive expressions of disturbances between the upstream and downstream pressure are obtained by the ideal gas equation. Thereby the controller outputs are regulated on line properly in advance, and the coupling disturbances and time lag effect are weakened notably. Experimental results show the method is effective to achieve the system decoupling.Computer Science, Hardware & ArchitectureComputer Science, Information SystemsComputer Science, Theory & MethodsCPCI-S(ISTP)
- …
