Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version)

Software debugging is a very time-consuming process, which is even worse for multi-threaded programs, due to the non-deterministic behavior of thread-scheduling algorithms. However, the debugging time may be greatly reduced, if automatic methods are used for localizing faults. In this study, a new method for fault localization, in multi-threaded C programs, is proposed. It transforms a multi-threaded program into a corresponding sequential one and then uses a fault-diagnosis method suitable for this type of program, in order to localize faults. The code transformation is implemented with rules and context switch information from counterexamples, which are typically generated by bounded model checkers. Experimental results show that the proposed method is effective, in such a way that sequential fault-localization methods can be extended to multi-threaded programs.Comment: extended version of paper published at SBESC'1

A microfabricated ion trap with integrated microwave circuitry

We describe the design, fabrication and testing of a surface-electrode ion trap, which incorporates microwave waveguides, resonators and coupling elements for the manipulation of trapped ion qubits using near-field microwaves. The trap is optimised to give a large microwave field gradient to allow state-dependent manipulation of the ions' motional degrees of freedom, the key to multiqubit entanglement. The microwave field near the centre of the trap is characterised by driving hyperfine transitions in a single laser-cooled 43Ca+ ion.Comment: 4 pages, 5 figure

Quantum control in foundational experiments

We describe a new class of experiments designed to probe the foundations of quantum mechanics. Using quantum controlling devices, we show how to attain a freedom in temporal ordering of the control and detection of various phenomena. We consider wave-particle duality in the context of quantum-controlled and the entanglement-assisted delayed-choice experiments. Then we discuss a quantum-controlled CHSH experiment and measurement of photon's transversal position and momentum in a single set-up.Comment: Contribution to the Proceedings of the workshop Horizons of Quantum Physics, Taipei, 14-18.10.2012. Published version: two new authors, modified and streamlined presentation, new section on quantum control in complementary position/momentum measurement

Virtual Pharmacy Programs to Prepare Pharmacy Students for Community and Hospital Placements

© 2019 American Association of Colleges of Pharmacy. Objective. To explore and evaluate pharmacy students' perceptions of the value and relevance of virtual community and virtual hospital on-campus placement programs. Methods. Students enrolled in a Master of Pharmacy program completed the required Virtual Community Placement (VCP) program and/or the Virtual Hospital Placement (VHP) program. A six-item questionnaire was administered to students after completion of each of the virtual programs to elicit students' perceptions of the value and relevance of the virtual programs. Additional data related to the relevance of specific workshops were collected, including students' self-reported confidence levels to undertake placement in a real-world setting following completion of the virtual programs. Results. Surveys were completed by 61 students in the VCP program and 50 students in the VHP program. Students perceived the virtual programs to be beneficial, with the majority (84% of the VCP students and 98% of the VHP students) reporting that the programs should be an essential component of any pharmacy degree. The majority of students (72%) self-reported an increase in their confidence levels in undertaking a real-world experiential placement after they completed their virtual hospital placement. Conclusion. Completing virtual placement programs prior to pharmacy students beginning their first "real world" pharmacy placements had a positive effect on student learning and confidence levels. Pharmacy students' feedback from this study regarding the relevance of specific learning modules and laboratory sessions will inform future curriculum development of the virtual placement programs

DEALER AND DEPARTMENT MANAGER PERFORMANCE AND THE USE OF AN INFORMATION SYSTEM

It is important from an implementation standpoint to understand how information systems are used and what motivates individuals to use them. This paper presents the results of a study of dealership performance and the use of a computer-based information system by an automobile importer. The study reports results at the dealer and the department manager level. Extensive performance data were available from the manufacturer while dealers and department managers completed questionnaires. A descriptive model of information systems use and performance guided the research. The results of the analysis suggest that the use of reports is more strongly related to performance for dealers than for department managers. The dealer's style is associated with performance while dealer use of information and perceptions of the dealer's style are associated with department manager performance and information use. The implications of the study for decision makers and systems designers are discussed.Information Systems Working Papers Serie

Forecasting Cross-Sections of Frailty-Correlated Default

We propose a novel econometric model for estimating and forecasting cross-sections of time-varying conditional default probabilities. The model captures the systematic variation in corporate default counts across e.g. rating and industry groups by using dynamic factors from a large panel of selected macroeconomic and financial data as well as common unobserved risk factors. All factors are statistically and economically significant and together capture a large part of the time-variation in observed default rates. In this framework we improve the out-of-sample forecasting accuracy associated with conditional default probabilities by about 10-35 % in terms of Mean Absolute Error, particularly in years of default stress