Over more than two decades, The University of Glasgow has co-designed and delivered numerous software engineering focused courses with industry partners, covering both technical and discipline specific professional skills. Such collaborations are not unique and many of the benefits are well recognised in the literature. These include enhancing the real-world relevance of curricula, developing student professional networks ahead of graduation and easing recruitment opportunities for employers. However, there is relatively little scholarship on the perspectives of industry practitioners who participate in course design and delivery. This gap is significant, since the effort invested by practitioners is often substantial and may require ongoing support from both the industry partner and academic institution. Understanding the motivations, expectations and experiences of practitioners who engage in course delivery can guide the formation of future partnerships and ensure their long-term sustainability. We begin to address this gap by reporting on the outcomes of a retrospective conducted amongst the practitioner coauthors of this paper, with the academic coauthors acting as facilitators. All coauthors have participated in the recent co-design and delivery of software engineering courses, but we choose to focus explicitly on the perspectives of the practitioners. We report on the themes that emerged from the discussions and our resulting recommendations for future collaborations.

In X-ray imaging, photons are transmitted through and absorbed by the target object, but are also scattered in significant quantities. Previous attempts to use scattered X-ray photons for imaging applications used pencil or fan beam illumination. Here we present 3D X-ray Scatter Tomography using full-field illumination for small-animal imaging. Synchrotron imaging experiments were performed on a phantom and the chest of a juvenile rat. Transmitted and scattered photons were simultaneously imaged with separate cameras; a scientific camera directly downstream of the sample stage, and a pixelated detector with a pinhole imaging system placed at$45{}^\circ $to the beam axis. We obtained scatter tomogram feature fidelity sufficient for segmentation of the lungs and major airways in the rat. The image contrast in the scatter tomogram slices approached that of transmission imaging, indicating robustness to the amount of multiple scattering present in our case. This opens the possibility of augmenting full-field 2D imaging systems with additional scatter detectors to obtain complementary modes or to improve the fidelity of existing images without additional dose, potentially leading to single-shot or reduced-angle tomography or overall dose reduction for live animal studies.

Let G be a finite connected graph, and let ρ be the spectral radius of its universal cover. For example, if G is k-regular then ρ=2√k−1. We show that for every r, there is an r-covering (a.k.a. an r-lift) of G where all the new eigenvalues are bounded from above by ρ. It follows that a bipartite Ramanujan graph has a Ramanujan r-covering for every r. This generalizes the r=2 case due to Marcus, Spielman and Srivastava (2013).

Building on the work of Kocher (1996), Jaffe and Yun (1998), we discuss the notion of side-channel cryptanalysis: cryptanalysis using implementation data. We discuss the notion of side-channel attacks and the vulnerabilities they introduce, demonstra

We examine the problem of putting a casino on the Internet. We discuss fairly generating random bits and permutations for use in casino games, protecting against player/player and player/dealer collusions, and ensuring a secure audit trail that both the player and dealer can use to ensure the payment of debts. We conclude with a series of open problems.

Current e-mail security systems base their security on the secrecy of the long-term private key. If this private key is ever compromised, an attacker can decrypt any messages-past, present or future-encrypted with the corresponding public key. The system described in this paper uses short-term private-key/public-key key pairs to reduce the magnitude of this vulnerability.

We develop protocols for an authenticated camera that allows people to verify that a given digital image was taken by a specific camera at a specific time and specific place. These protocols require interaction between the camera and base station both before and after a series of images are taken.