Miracle-dz/UniFAR-FTUs huggingface dataset:
Automatic Performance Testing for Image Displaying in Android Apps

Image displaying in Android apps is resource-intensive. Improperly displayed images result in performance degradation or even more severe consequences like app crashes. Existing static performance anti-pattern checkers are conservative and limited to a small set of bugs. This paper presents ImMut, the first test augmentation approach to performance testing for image displaying in Android apps to complement these static checkers. Given a functional test case, ImMut mutates it towards a performance test case by either (1) injecting external-source images with large ones or (2) copy-pasting a repeatable fragment and slightly mutating the copies to display many (potentially distinct) images. Evaluation on our prototype implementation showed promising results that ImMut revealed 14 previously unknown performance bugs that are beyond the capability of state-of-the-art static checkers.
Studies of a Heavy-Duty Diesel Aftertreatment System Based on the NOX Storage and Reduction Technology

The legislative limits for NOX emissions in the exhaust gas from heavy-duty diesel engines will be decreased in the European Union from today 3.5 g/kWh (Euro IV) to 2.0 g/kWh in 2008 (Euro V). In the USA and Japan a similar trend can be seen. Accordingly, the development of an exhaust aftertreatment system for heavy-duty trucks seems unavoidable. In this work, an 11 l diesel engine rig has been built up including an aftertreatment system which is based on the NOX storage and reduction approach. BaO-based NOX storage and reduction catalysts of in total 16.8 l were used and also oxidation catalysts of in total 8.4 l to oxidise NO to NO2 and pre-oxidise the injected hydrocarbons. The NOX storage and reduction technology has already been applied in lean-burn gasoline vehicles and has shown NOX reduction degrees of 80 % and above. It is thus a promising alternative for the reduction of NOX in diesel truck exhausts. In the NOX storage and reduction concept, NOX is stored as Ba(NO3)2 under long lean periods (1-2 min) and released and reduced under short rich periods (0-10 s). It is the aim of this project to both optimise the aftertreatment system with respect to a high NOX reduction and a low fuel penalty and also create models of the catalysts which may be used to control the NOX reduction performance under transient conditions. Stationary NOX reduction experiments have been performed on the engine rig. The maximal degree of NOX reduction was approximately 60 % under stationary operation. The degree of NOX reduction depends on a number of parameters as the catalyst temperature, the injection time, the cycle time or the dosed amount of hydrocarbons (diesel fuel). To keep the fuel penalty low, a bypass system has been installed, which bypassed approximately 90 % of the exhaust flow under the regeneration periods. The period when the flow through the catalyst is reduced, the bypass time, has turned out to be an important parameter to achieve an improved low temperature NOX reduction without increasing the fuel penalty. An optimisation of the NOX reduction performance has been done at different temperatures using Design of Experiments. The optimisation results served as the base of a temperature dependent dosing strategy which controlled the injections under transient conditions. In a European Transient Cycle (ETC), a 60 % NOX conversion was achieved with a fuel penalty of 6.6 %. A first model for the NOX storage and reduction catalyst has been developed and tested under stationary conditions. A mean-field model of the oxidation catalyst placed upstream of the NOX storage and reduction catalyst has also been created and tested successfully in an ETC.
Reducing Vortex-Induced Vibration of Drilling Risers with Marine Fairing

Since the offshore drilling for oil and gas is venturing into ever greater water depths, drilling risers face problems of vortex-induced vibrations due to the currents. Vortexinduced vibrations are a major fluid load and fatigue component on the long, smooth, and slender bodies placed in a fluid flow and measures must be taken to suppress the shedding of the Karman vortex sheets from its edges. One of the ways to reduce the vibration is to use marine fairings which are attached to the drilling risers with the help of weather vanes. In this thesis, CFD analysis based on solving RANS equations for K-ω turbulence model at Reynolds number 1.0×104 is done for a regular cylinder and one with marine fairing attached. The motivation of such analysis is to compute the efficiency of the fairing arrangement in suppressing the vortex-induced vibrations of the corresponding bluff body.
Identification of Potential Phytochemical Inhibitors as Promising Therapeutics Against SARS-CoV-2 and Molecular Dynamics Simulation

The high infectivity and mortality of novel coronavirus has caused a serious concern all over the world. Still, there is no specific drug or preventive medication to treat SARS-CoV-2 infection despite comprehensive analysis by the researchers. This study was designed to demonstrate the efficacy of some phyto-chemical compounds against SARS-CoV-2 by using both structure and ligand based virtual screening methods. A total of 33 plant metabolites were screened against SARS-CoV-2 main protease proteins (MPP), Nsp9 RNA binding protein, spike receptor binding domain and HR2 domain using a molecular docking approach. Results showed that three metabolites, i.e., Limonin, Isoflavone, and Coumadin conferred maximum binding affinity with all key proteins of SARS-CoV-2. For each viral protein, the critical binding sites and drug surface hotspots have been unraveled. ADME analysis indicated that none of the compounds have adverse effects that could decrease their drug-like properties. Moreover, toxicity pattern analysis also unmasked the non-toxic nature of the top drug candidates. The RMSD values of top ligandmacromolecule complexes were less than 2 Å, while RMSF values showed regular atomic fluctuations in the molecular dynamics study. Notably, most of the target class by top drug candidates belonged to enzyme groups (e.g. oxidoreductases, protease, Kinase). Results of drug similarity prediction revealed two approved structural analogs of Coumadin named Warfarin (DB00682) and Phenprocoumon (DB00946) from DrugBank. In addition, Isoformononetin an experimental drug analog of isoflavone could also be an option for the treatment of viral infections. For limonin there was no analog found in drugbank. The study can pave the way for the creation of effective SARS-CoV-2 medications and preventive measures. We highly recommend further in vivo trials for the experimental validation of our findings
“A Good Death But There Was All This Tension Around” - Perspectives of Residential Managers on the Experiences and Challenges of Delivering end of Life Care for People Living with Dementia.

Background End of life care for residents with advanced dementia in the aged care setting is complex because there is prolonged and progressive cognitive decline, uncertain disease trajectory, significant symptom burden and infrequent access to specialist palliative care. Residential aged care managers offer a unique perspective in understanding the experience of providing end of life care for residents with advanced dementia from the coalface to the broader policy context. Methods Focus groups and semi-structured interviews were conducted with 20 residential managers from 11 aged care homes in Australia. Transcripts were analysed using thematic analysis. Results Six themes were identified: laying the ground work to establish what families understand about dementia, playing the peacemaker in the face of unrealistic family demands and expectations, chipping away at denial and cultivating a path towards acceptance of death, recruiting general practitioners as allies, supporting and strengthening the front line, and dedication to optimal care is relentless but rewarding.
Experience design and automotive design

This thesis centres on experience design and automotive design. The aim is to investigate the emotional experience of the driving activity. The research question driving the study is: "How can experience design influence the driving activity? " Experience design proposes to explore emotional aspects of interactions in context. A model of the human-product-environment relationship, using activity theory as its foundation, is presented. The model is used to situate the overall experience of driving. An experiment exploring the overall emotional experience in real driving situations was conducted. Participants were required to drive around a specified route while performing particular tasks with the vehicle interface. A data triangulation approach was employed involving interviews, think-aloud protocols and observations. Findings indicate that context together with the emotional state of the driver before driving impacts the overall emotional experience. Positive emotional states before driving with no interaction challenges in high-traffic contexts generated neutral overall experiences. However, positive emotional states before driving with interaction challenges in high-traffic contexts generated negative overall experiences. Negative emotional states before driving combined with interaction challenges in high-traffic contexts generated positive emotional experiences. It appears that positive emotions associated with overcoming challenging interactions in high-traffic contexts reflect positively on the overall experience. Emotions elicited in low and mediumtraffic contexts did not affect the overall experience. Another finding suggests that extended visual interaction with interface in high-traffic context generates negative emotions. It is proposed that vehicle interfaces should adapt appropriately to their surrounding context to support positive (and avoid negative) emotional experiences. In low and medium-traffic contexts interfaces may encourage interactions. In high-traffic contexts, if the driver is in a positive emotional state before driving interfaces may discourage challenging interactions. If the driver is in a negative emotional state before driving the interface may encourage challenging interactions. In conclusion, this study proposes the application of current and upcoming technologies for future automotive interiors to enhance positive (and reduce negative) emotional experiences within the driving activity.
Designing and developing an educational systems design model for technology integration in universities

This study was inspired by the challenges of integrating educational technologies into universities. Beginning with a discussion of economic, political, social, technical and cultural forces for and against technology-enhanced learning, the study aimed to find appropriate initiatives in the research and experience of universities that have successfully harnessed teaching and learning technologies. The objective of the research was to use multiple methods and an emergent design to identify and describe the factors affecting successful institution-wide technology integration efforts with a view to informing more effective policy. The investigation was conducted using a variety of sources, beginning with an analysis and synthesis of recent research on technology-supported postsecondary teaching and learning. A systematic literature search resulted in more than 300 descriptive and interpretive reports published since 1995. These studies employed various combinations of qualitative and quantitative designs to study technology use in a wide variety of disciplines and many different campus contexts. A broad analysis of the literature suggests that critical success factors are organisation-dependent, related to variables such as organisational mission, goals, culture and practices, as well as faculty and student perspectives. In the second part of the study three types of university models were explored (planning, design and implementation), using two case studies to learn about one model in more depth. The models were then analysed with respect to their ability to address the factors that emerged in the literature review. A new model for designing and integrating technologies for teaching and learning emerged from the analysis and synthesis of research literature and models. Based on a modified form of educational systems design, this model offers a systemic and multiple shareholder approach to institution-wide planning, design, implementation and evaluation of learning technologies. Focused on learning as the core business of the university, the model offers an alternative to strategic planning approaches. The potential usefulness of the model was evaluated by comparing it with existing technology plans available on the websites of three Canadian universities, selected to be representative of the sector. The thesis concludes that a multiple perspective, participative approach is necessary to successful integration of technology across the university.
Single Convention on Narcotic Drugs

The principal international treaty regulating availability of opioids. It classifies the opioids, and requires the registration of all handlers and the estimation of medical needs for opioids. It establishes rules concerning production, manufacture and distribution, and requires statistical reports. The Single Convention governs how opioids are shipped between countries, using a system of import and export approval. The treaty also defines to some extent the requirements for safe distribution within a country.
Response Variability and Detraining Effects of Standardized Exercise Programs

Purpose: To compare inter–individual response variability and detraining effects on markers attributed to aerobic and anaerobic performance after shortterm standardized aerobic, strength and mixed training programs. Methods: Thirty–six male students were randomly assigned to either an aerobic, strength, mixed, or control program (9 per group). They performed two consecutive cycling tests (incremental and plateau) to exhaustion at three points: 1 week before training, after 6 weeks of training, and 3 weeks after the training was finished. Maximal oxygen consumption (VO2max), maximal workload (Wmax), and time to exhaustion performed at Wmax (W × time) were compared between groups by repeated–measures ANOVA with Bonferroni post–hoc tests. The inter–subject response variability within each training group was evaluated by comparison with the 95% confidence interval of the control group. Detraining effects were evaluated using the hysteresis areas, which were compared between each training group and the control group by Mann–Whitney U test. Results: Differences were observed in Wmax for the aerobic (F(2,7)=19.562; p=0.001; n²=0.85) and mixed (F(2,7)=13.447; p=0.004; n²=0.99) programs, and in W × time for the mixed program (F(2,7)=15.432; p= 0.016; n²=0.89). There was high inter–subject response variability for all variables and training programs, except for a homogenous positive response to Wmax in the mixed program (X²=6.27; p=0.04). Detraining effects of Wmax were also better maintained after the mixed program. Conclusion: A mixed program of aerobic and strength training demonstrated higher improvements in the studied markers of performance, with lower interindividual response variability, and longer detraining effects compared with aerobic or strength programs.
Microcoding of communications in accident investigation - Crew coordination in United 811 and United 232

Two recent airline accidents that underscored the value of cockpit resource management (CRM) to line operations, especially under stressful, high workload conditions are reviewed. An analysis of the verbal behavior of each crew was conducted to explore how catastrophic events impact upon the dynamics of crew interaction. In both cases the Captain stated that training in CRM contributed significantly to the overall effectiveness of the crews.
Setup reduction in PCB assembly : a group technology application using Genetic Algorithms

approved: Terrence Beaumariage Abstract approved: Brian K. Paulapproved: Brian K. Paul For some decades, the assembly of printed circuit boards (PCB), had been thought to be an ordinary example of mass production systems. However, technological factors and competitive pressures have currently forced PCB manufacturers to deal with a very high mix, low volume production environment. In such an environment, setup changes happen very often, accounting for a large part of the production time. PCB assembly machines have a fixed number of component feeders which supply the components to be mounted. They can usually hold all the components for a specific board type in their feeder carrier but not for all board types in the production sequence. Therefore, the differences between boards in the sequence determines the number of component feeders which have to be replaced when changing board types. Consequently, for each PCB assembly line, production control of this process deals with two dominant problems: the determination for each manufacturing line of a mix resulting in larger similarity of boards and of a board sequence resulting in setup reduction. This has long been a difficult problem since as the number of boards and lines increase, the number of potential solutions increases exponentially. Redacted for Privacy Redacted for Privacy This research develops an approach for applying Genetic Algorithms (GA) to this problem. A mathematical model and a solution algorithm were developed for effectively determining the near-best set of printed circuit boards to be assigned to surface mount lines. The problem was formulated as a Linear Integer Programming model attempting to setup reduction and increase of machine utilization while considering manufacturing constraints. Three GA based heuristics were developed in order to search for a near optimal solution for the model. The effects of several crucial factors of GA on the performance of each heuristic for the problem were explored. The algorithm was then tested on two different problem structures, one with a known optimal solution and one with a real problem encountered in the industry. The results obtained show that the algorithm could be used by the industry to reduce setups and increase machine utilization in PCB assembly lines. Setup Reduction in PCB Assembly: A Group Technology Application Using Genetic Algorithms by Carlos H. Capps A THESIS submitted to Oregon State University in partial fulfillment of the requirements for the degree of
On the Advantage of Wideband Data Acquisition for Passive Diver Detection

Situation awareness is an important component of security that justifies the equipment of sites with monitoring systems. For shore/harbour security, these systems are mostly composed of camera and radar, to monitor the land and the water surface, and of active sonar(s) when the underwater situation is monitored. An alternate approach for underwater monitoring is to use a network of passive sonars that detect targets by the sound they radiate. Unlike active sonar, a single passive sonar element cannot estimate the range of a target in the far field, only its direction; but it can characterize the sound radiated by a target, with obvious applications to target tracking and classification. Passive sonars, with frequency characteristics suitable for the target type of interest, have to be deployed as a network so that the source location can be estimated by appropriately crossing the estimated directions. TNO and the Stevens Institute of Technology are investigating this approach for diver detection and have conducted in 2010 a trial with the support of the Royal Netherlands Navy. A system involved in the trial presented a wide sampling dynamic and frequency range, making it suitable not only for diver detection but also for other forms of processing. Experimental results demonstrate that the deployed system can be used for diver detection and that its larger-than-required dynamic range enables other applications such as boat tracking and sound speed estimation, that can not only augment but improve the initial diver detection capability.
Industrial Marketing Organization and the IMP Approach: A Comparative Analysis

During the last IMP Conference it was discussed a s an introduction to the Special Track on Marketing Organization the status of the organiza tional aspect of the marketing function in the business markets (Pardo and Ivens, 2006). At this o ccasion, it was stressed, that this issue was to be linked to the debates stressed by several authors n the decline of this marketing function within companies (Webster, Malter and Ganesan 2005). This paper reviews the writings of three leading authors in the field of marketing organization (Web ster, Piercy, and Homburg) and contrasts it with the IMP view on marketing organization. It conclude s with the development of propositions for further research for IMP scholars interested in mar keting organization.
Face Validity Tests of a Haptic Bone Milling Surgery Simulator Prototype

The simulation of surgical procedures, in the case of hard tissues such as bone or teeth milling, using a haptic milling surgery simulator requires a haptic device which can provide high stiffness and transparency. To mimic a real milling process of hard tissue, such as for example creating a narrow channel or cavity, the simulator needs to provide force/torque feedback in 5–6 degrees of freedom (DOF). As described in this thesis, research has been performed to develop and optimize a haptic device that can provide high stiffness and force/torque capabilities to facilitate haptic interaction with stiff tissues. The main contributions of this thesis are: (i) The use of a model-based design methodology for the design of haptic devices. The proposed methodology is applied to a case study, i.e. the design and optimization of a haptic device based on parallel kinematics. Device requirements were elicited through dialogues with a prospective user from a neurosurgery clinic. In the conceptual design phase, different parallel concepts have been investigated and analyzed based on functional qualities such number of degrees of freedom, workspace size and force/torque capabilities. This analysis led to the selection of a specific 6 DOF kinematic structure for which dimension synthesis was performed including multi-objective optimization followed by control synthesis. Finally, a device prototype was realized and its performance verified. (ii) Optimization of the device for best kinematic and dynamic performance. For optimization, performance indices such as workspace-to-footprint ratio, kinematic isotropy and inertial indices were used. To cope with the problem of non-uniform units in the components of the Jacobian matrix, various normalization techniques were investigated. A new multi-objective optimization function is introduced to define the optimization problem, which is then resolved using multi-objective genetic algorithms. A sensitivity analysis of the performance indices against each design parameter is performed, as a basis for selecting a final set of design parameter values. (iii) A control strategy is investigated to achieve high transparency and stability of the device. The control strategy is based on careful analysis of the dynamics of the haptic device, computed torque feed-forward control and force control based on current feedback. (iv) Finally, experiments both separately in the lab and by using the device in a haptic milling surgery simulator were performed. Results from a face validity study performed in collaboration with orthopedists verify that the new haptic device enables high-performance force and torque feedback for stiff interactions.