Showing 1–21 of 21 results for author: Rowe, S

Interference Mitigation in LEO Constellations with Limited Radio Environment Information

Authors: Fernando Moya Caceres, Akram Al-Hourani, Saman Atapattu, Michael Aygur, Sithamparanathan Kandeepan, **g Fu, Ke Wang, Wayne S. T. Rowe, Mark Bowyer, Zarko Krusevac, Edward Arbon

Abstract: This research paper delves into interference mitigation within Low Earth Orbit (LEO) satellite constellations, particularly when operating under constraints of limited radio environment information. Leveraging cognitive capabilities facilitated by the Radio Environment Map (REM), we explore strategies to mitigate the impact of both intentional and unintentional interference using planar antenna ar… ▽ More This research paper delves into interference mitigation within Low Earth Orbit (LEO) satellite constellations, particularly when operating under constraints of limited radio environment information. Leveraging cognitive capabilities facilitated by the Radio Environment Map (REM), we explore strategies to mitigate the impact of both intentional and unintentional interference using planar antenna array (PAA) beamforming techniques. We address the complexities encountered in the design of beamforming weights, a challenge exacerbated by the array size and the increasing number of directions of interest and avoidance. Furthermore, we conduct an extensive analysis of beamforming performance from various perspectives associated with limited REM information: static versus dynamic, partial versus full, and perfect versus imperfect. To substantiate our findings, we provide simulation results and offer conclusions based on the outcomes of our investigation. △ Less

Submitted 19 February, 2024; originally announced February 2024.

Comments: 6 pages, 12 figures, IEEE ICC 2024

Deep Learning Methods for Device Identification Using Symbols Trace Plot

Authors: Da Huang, Akram Al-Hourani, Kandeepan Sithamparanathan, Wayne S. T. Rowe

Abstract: Devices authentication is one crucial aspect of any communication system. Recently, the physical layer approach radio frequency (RF) fingerprinting has gained increased interest as it provides an extra layer of security without requiring additional components. In this work, we propose an RF fingerprinting based transmitter authentication approach density trace plot (DTP) to exploit device-identifi… ▽ More Devices authentication is one crucial aspect of any communication system. Recently, the physical layer approach radio frequency (RF) fingerprinting has gained increased interest as it provides an extra layer of security without requiring additional components. In this work, we propose an RF fingerprinting based transmitter authentication approach density trace plot (DTP) to exploit device-identifiable fingerprints. By considering IQ imbalance solely as the feature source, DTP can efficiently extract device-identifiable fingerprints from symbol transition trajectories and density center drifts. In total, three DTP modalities based on constellation, eye and phase traces are respectively generated and tested against three deep learning classifiers: the 2D-CNN, 2D-CNN+biLSTM and 3D-CNN. The feasibility of these DTP and classifier pairs is verified using a practical dataset collected from the ADALM-PLUTO software-defined radios (SDRs). △ Less

Submitted 11 February, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Cross-Domain Federated Learning in Medical Imaging

Authors: Vishwa S Parekh, Shuhao Lai, Vladimir Braverman, Jeff Leal, Steven Rowe, Jay J Pillai, Michael A Jacobs

Abstract: Federated learning is increasingly being explored in the field of medical imaging to train deep learning models on large scale datasets distributed across different data centers while preserving privacy by avoiding the need to transfer sensitive patient information. In this manuscript, we explore federated learning in a multi-domain, multi-task setting wherein different participating nodes may con… ▽ More Federated learning is increasingly being explored in the field of medical imaging to train deep learning models on large scale datasets distributed across different data centers while preserving privacy by avoiding the need to transfer sensitive patient information. In this manuscript, we explore federated learning in a multi-domain, multi-task setting wherein different participating nodes may contain datasets sourced from different domains and are trained to solve different tasks. We evaluated cross-domain federated learning for the tasks of object detection and segmentation across two different experimental settings: multi-modal and multi-organ. The result from our experiments on cross-domain federated learning framework were very encouraging with an overlap similarity of 0.79 for organ localization and 0.65 for lesion segmentation. Our results demonstrate the potential of federated learning in develo** multi-domain, multi-task deep learning models without sharing data from different domains. △ Less

Submitted 18 December, 2021; originally announced December 2021.

Comments: Under Review for MIDL 2022

Machine Learning Framework for Sensing and Modeling Interference in IoT Frequency Bands

Authors: Bassel Al Homssi, Akram Al-Hourani, Zarko Krusevac, Wayne S T Rowe

Abstract: Spectrum scarcity has surfaced as a prominent concern in wireless radio communications with the emergence of new technologies over the past few years. As a result, there is growing need for better understanding of the spectrum occupancy with newly emerging access technologies supporting the Internet of Things. In this paper, we present a framework to capture and model the traffic behavior of short… ▽ More Spectrum scarcity has surfaced as a prominent concern in wireless radio communications with the emergence of new technologies over the past few years. As a result, there is growing need for better understanding of the spectrum occupancy with newly emerging access technologies supporting the Internet of Things. In this paper, we present a framework to capture and model the traffic behavior of short-time spectrum occupancy for IoT applications in the shared bands to determine the existing interference. The proposed capturing method utilizes a software defined radio to monitor the short bursts of IoT transmissions by capturing the time series data which is converted to power spectral density to extract the observed occupancy. Furthermore, we propose the use of an unsupervised machine learning technique to enhance conventionally implemented energy detection methods. Our experimental results show that the temporal and frequency behavior of the spectrum can be well-captured using the combination of two models, namely, semi-Markov chains and a Poisson-distribution arrival rate. We conduct an extensive measurement campaign in different urban environments and incorporate the spatial effect on the IoT shared spectrum. △ Less

Submitted 10 June, 2021; originally announced June 2021.

Learning Fuzzy Clustering for SPECT/CT Segmentation via Convolutional Neural Networks

Authors: Junyu Chen, Ye Li, Licia P. Luna, Hyun Woo Chung, Steven P. Rowe, Yong Du, Lilja B. Solnes, Eric C. Frey

Abstract: Quantitative bone single-photon emission computed tomography (QBSPECT) has the potential to provide a better quantitative assessment of bone metastasis than planar bone scintigraphy due to its ability to better quantify activity in overlap** structures. An important element of assessing response of bone metastasis is accurate image segmentation. However, limited by the properties of QBSPECT imag… ▽ More Quantitative bone single-photon emission computed tomography (QBSPECT) has the potential to provide a better quantitative assessment of bone metastasis than planar bone scintigraphy due to its ability to better quantify activity in overlap** structures. An important element of assessing response of bone metastasis is accurate image segmentation. However, limited by the properties of QBSPECT images, the segmentation of anatomical regions-of-interests (ROIs) still relies heavily on the manual delineation by experts. This work proposes a fast and robust automated segmentation method for partitioning a QBSPECT image into lesion, bone, and background. We present a new unsupervised segmentation loss function and its semi- and supervised variants for training a convolutional neural network (ConvNet). The loss functions were developed based on the objective function of the classical Fuzzy C-means (FCM) algorithm. We conducted a comprehensive study to compare our proposed methods with ConvNets trained using supervised loss functions and conventional clustering methods. The Dice similarity coefficient (DSC) and several other metrics were used as figures of merit as applied to the task of delineating lesion and bone in both simulated and clinical SPECT/CT images. We experimentally demonstrated that the proposed methods yielded good segmentation results on a clinical dataset even though the training was done using realistic simulated images. A ConvNet-based image segmentation method that uses novel loss functions was developed and evaluated. The method can operate in unsupervised, semi-supervised, or fully-supervised modes depending on the availability of annotated training data. The results demonstrated that the proposed method provides fast and robust lesion and bone segmentation for QBSPECT/CT. The method can potentially be applied to other medical image segmentation applications. △ Less

Submitted 28 May, 2021; v1 submitted 17 April, 2021; originally announced April 2021.

Comments: This manuscript has been published by Medical Physics (2021)

MUSCAT focal plane verification

Authors: M. Tapia, P. A. R. Ade, P. S. Barry, T. L. R. Brien, E. Castillo-Domínguez, D. Ferrusca, V. Gómez-Rivera, P. Hargrave, J. L. Hernández Rebollar, A. Hornsby, D. H. Hughes, J. M. Jáuregui-García, P. Mauskopf, D. Murias, A. Papageorgiou, E. Pascale, A. Pérez, S. Rowe, M. W. L. Smith, C. Tucker, M. Velázquez, S. Ventura, S. Doyle

Abstract: The Mexico-UK Submillimetre Camera for Astronomy (MUSCAT) is the second-generation large-format continuum camera operating in the 1.1 mm band to be installed on the 50-m diameter Large Millimeter Telescope (LMT) in Mexico. The focal plane of the instrument is made up of 1458 horn coupled lumped-element kinetic inductance detectors (LEKID) divided equally into six channels deposited on three silico… ▽ More The Mexico-UK Submillimetre Camera for Astronomy (MUSCAT) is the second-generation large-format continuum camera operating in the 1.1 mm band to be installed on the 50-m diameter Large Millimeter Telescope (LMT) in Mexico. The focal plane of the instrument is made up of 1458 horn coupled lumped-element kinetic inductance detectors (LEKID) divided equally into six channels deposited on three silicon wafers. Here we present the preliminary results of the complete characterisation in the laboratory of the MUSCAT focal plane. Through the instrument's readout system, we perform frequency sweeps of the array to identify the resonance frequencies, and continuous timestream acquisitions to measure and characterise the intrinsic noise and 1/f knee of the detectors. Subsequently, with a re-imaging lens and a black body point source, the beams of every detector are mapped, obtaining a mean FWHM size of $\sim$3.27 mm, close to the expected 3.1 mm. Then, by varying the intensity of a beam filling black body source, we measure the responsivity and noise power spectral density (PSD) for each detector under an optical load of 300 K, obtaining the noise equivalent power (NEP), with which we verify that the majority of the detectors are photon noise limited. Finally, using a Fourier Transform Spectrometer (FTS), we measure the spectral response of the instrument, which indicate a bandwidth of 1.0--1.2 mm centred on 1.1 mm, as expected. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: Presented at SPIE Astronomical Telescopes + Instrumentation, 2020

Pre-deployment Verification and Predicted Map** Speed of MUSCAT

Authors: T. L. R. Brien, P. A. R. Ade, P. S. Barry, E. Castillo-Domínguez, D. Ferrusca, V. Gómez-Rivera, P. Hargrave, J. L. Hernández Rebollar, A. Hornsby, D. H. Hughes, J. M. Jáuregui-García, P. Mauskopf, D. Murias, A. Papageorgiou, E. Pascale, A. Pérez, S. Rowe, M. W. L. Smith, M. Tapia, C. Tucker, M. Velázquez, S. Ventura, S. Doyle

Abstract: The Mexico-UK Submillimetre Camera for AsTronomy (MUSCAT) is a 1.1 mm receiver consisting of 1,500 lumped-element kinetic inductance detectors (LEKIDs) for the Large Millimeter Telescope (LMT; Volcán Sierra Negra in Puebla, México). MUSCAT utilises the maximum field of view of the LMT's upgraded 50-metre primary mirror and is the first México-UK collaboration to deploy a millimetre/sub-mm receiver… ▽ More The Mexico-UK Submillimetre Camera for AsTronomy (MUSCAT) is a 1.1 mm receiver consisting of 1,500 lumped-element kinetic inductance detectors (LEKIDs) for the Large Millimeter Telescope (LMT; Volcán Sierra Negra in Puebla, México). MUSCAT utilises the maximum field of view of the LMT's upgraded 50-metre primary mirror and is the first México-UK collaboration to deploy a millimetre/sub-mm receiver on the Large Millimeter Telescope. Using a simplistic simulator, we estimate a predicted map** speed for MUSCAT by combining the measured performance of MUSCAT with the observed sky conditions at the LMT. We compare this to a previously calculated bolometric-model map** speed and find that our map** speed is in good agreement when this is scaled by a previously reported empirical factor. Through this simulation we show that signal contamination due to sky fluctuations can be effectively removed through the use of principle component analysis. We also give an overview of the instrument design and explain how this design allows for MUSCAT to be upgraded and act as an on-sky demonstration testbed for novel technologies after the facility-class TolTEC receiver comes online. △ Less

Submitted 9 December, 2020; originally announced December 2020.

Comments: Presented at SPIE Astronomical Telescopes + Instrumentation, 2020

A Security Perspective on Unikernels

Authors: Joshua Talbot, Przemek Pikula, Craig Sweetmore, Samuel Rowe, Hanan Hindy, Christos Tachtatzis, Robert Atkinson, Xavier Bellekens

Abstract: Cloud-based infrastructures have grown in popularity over the last decade leveraging virtualisation, server, storage, compute power and network components to develop flexible applications. The requirements for instantaneous deployment and reduced costs have led the shift from virtual machine deployment to containerisation, increasing the overall flexibility of applications and increasing performan… ▽ More Cloud-based infrastructures have grown in popularity over the last decade leveraging virtualisation, server, storage, compute power and network components to develop flexible applications. The requirements for instantaneous deployment and reduced costs have led the shift from virtual machine deployment to containerisation, increasing the overall flexibility of applications and increasing performances. However, containers require a fully fleshed operating system to execute, increasing the attack surface of an application. Unikernels, on the other hand, provide a lightweight memory footprint, ease of application packaging and reduced start-up times. Moreover, Unikernels reduce the attack surface due to the self-contained environment only enabling low-level features. In this work, we provide an exhaustive description of the unikernel ecosystem; we demonstrate unikernel vulnerabilities and further discuss the security implications of Unikernel-enabled environments through different use-cases. △ Less

Submitted 14 November, 2019; originally announced November 2019.

Comments: 6 pages, 4 figures

A Non-wellfounded, Labelled Proof System for Propositional Dynamic Logic

Authors: Simon Docherty, Reuben N. S. Rowe

Abstract: We define a infinitary labelled sequent calculus for PDL, G3PDL^{\infty}. A finitarily representable cyclic system, G3PDL^ω, is then given. We show that both are sound and complete with respect to standard models of PDL and, further, that G3PDL^{\infty} is cut-free complete. We additionally investigate proof-search strategies in the cyclic system for the fragment of PDL without tests. We define a infinitary labelled sequent calculus for PDL, G3PDL^{\infty}. A finitarily representable cyclic system, G3PDL^ω, is then given. We show that both are sound and complete with respect to standard models of PDL and, further, that G3PDL^{\infty} is cut-free complete. We additionally investigate proof-search strategies in the cyclic system for the fragment of PDL without tests. △ Less

Submitted 16 May, 2019; v1 submitted 15 May, 2019; originally announced May 2019.

TRIDEnT: Building Decentralized Incentives for Collaborative Security

Authors: Nikolaos Alexopoulos, Emmanouil Vasilomanolakis, Stephane Le Roux, Steven Rowe, Max Mühlhäuser

Abstract: Sophisticated mass attacks, especially when exploiting zero-day vulnerabilities, have the potential to cause destructive damage to organizations and critical infrastructure. To timely detect and contain such attacks, collaboration among the defenders is critical. By correlating real-time detection information (alerts) from multiple sources (collaborative intrusion detection), defenders can detect… ▽ More Sophisticated mass attacks, especially when exploiting zero-day vulnerabilities, have the potential to cause destructive damage to organizations and critical infrastructure. To timely detect and contain such attacks, collaboration among the defenders is critical. By correlating real-time detection information (alerts) from multiple sources (collaborative intrusion detection), defenders can detect attacks and take the appropriate defensive measures in time. However, although the technical tools to facilitate collaboration exist, real-world adoption of such collaborative security mechanisms is still underwhelming. This is largely due to a lack of trust and participation incentives for companies and organizations. This paper proposes TRIDEnT, a novel collaborative platform that aims to enable and incentivize parties to exchange network alert data, thus increasing their overall detection capabilities. TRIDEnT allows parties that may be in a competitive relationship, to selectively advertise, sell and acquire security alerts in the form of (near) real-time peer-to-peer streams. To validate the basic principles behind TRIDEnT, we present an intuitive game-theoretic model of alert sharing, that is of independent interest, and show that collaboration is bound to take place infinitely often. Furthermore, to demonstrate the feasibility of our approach, we instantiate our design in a decentralized manner using Ethereum smart contracts and provide a fully functional prototype. △ Less

Submitted 9 May, 2019; originally announced May 2019.

Comments: 28 pages

MUSCAT: The Mexico-UK Sub-Millimetre Camera for AsTronomy

Authors: Thomas L. R. Brien, Peter A. R. Ade, Peter S. Barry, Edgar Castillo-Domìnguez, Daniel Ferrusca, Thomas Gascard, Victor Gómez, Peter C. Hargrave, Amber L. Hornsby, David Hughes, Enzo Pascale, Josie D. A. Parrianen, Abel Perez, Sam Rowe, Carole Tucker, Salvador Ventura González, Simon M. Doyle

Abstract: The Mexico-UK Sub-millimetre Camera for AsTronomy (MUSCAT) is a large-format, millimetre-wave camera consisting of 1,500 background-limited lumped-element kinetic inductance detectors (LEKIDs) scheduled for deployment on the Large Millimeter Telescope (Volcán Sierra Negra, Mexico) in 2018. MUSCAT is designed for observing at 1.1 mm and will utilise the full 40' field of view of the LMTs upgraded 5… ▽ More The Mexico-UK Sub-millimetre Camera for AsTronomy (MUSCAT) is a large-format, millimetre-wave camera consisting of 1,500 background-limited lumped-element kinetic inductance detectors (LEKIDs) scheduled for deployment on the Large Millimeter Telescope (Volcán Sierra Negra, Mexico) in 2018. MUSCAT is designed for observing at 1.1 mm and will utilise the full 40' field of view of the LMTs upgraded 50-m primary mirror. In its primary role, MUSCAT is designed for high-resolution follow-up surveys of both galactic and extra-galactic sub-mm sources identified by Herschel. MUSCAT is also designed to be a technology demonstrator that will provide the first on-sky demonstrations of novel design concepts such as horn-coupled LEKID arrays and closed continuous cycle miniature dilution refrigeration. Here we describe some of the key design elements of the MUSCAT instrument such as the novel use of continuous sorption refrigerators and a miniature dilutor for continuous 100-mK cooling of the focal plane, broadband optical coupling to Aluminium LEKID arrays using waveguide chokes and anti-reflection coating materials as well as with the general mechanical and optical design of MUSCAT. We explain how MUSCAT is designed to be simple to upgrade and the possibilities for changing the focal plane unit that allows MUSCAT to act as a demonstrator for other novel technologies such as multi-chroic polarisation sensitive pixels and on-chip spectrometry in the future. Finally, we will report on the current status of MUSCAT's commissioning. △ Less

Submitted 23 July, 2018; originally announced July 2018.

Comments: Presented at SPIE Astronomical Telescopes + Instrumentation, 2018, Austin, Texas, United States

Mexico-UK Sub-millimeter Camera for AsTronomy

Authors: Edgar Castillo-Dominguez, Peter Ade, Peter Barry, Thom Brien, Simon Doyle, Daniel Ferrusca, Victor Gomez-Rivera, Peter Hargrave, Amber Hornsby, David Hughes, Phillip Mauskopf, Paul Moseley, Enzo Pascale, Abel Perez-Fajardo, Giampaolo Pisano, Samuel Rowe, Carole Tucker, Miguel Velazquez

Abstract: MUSCAT is a large format mm-wave camera scheduled for installation on the Large Millimeter Telescope Alfonso Serrano (LMT) in 2018. The MUSCAT focal plane is based on an array of horn coupled lumped-element kinetic inductance detectors optimised for coupling to the 1.1mm atmospheric window. The detectors are fed with fully baffled reflective optics to minimize stray-light contamination. This combi… ▽ More MUSCAT is a large format mm-wave camera scheduled for installation on the Large Millimeter Telescope Alfonso Serrano (LMT) in 2018. The MUSCAT focal plane is based on an array of horn coupled lumped-element kinetic inductance detectors optimised for coupling to the 1.1mm atmospheric window. The detectors are fed with fully baffled reflective optics to minimize stray-light contamination. This combination will enable background-limited performance at 1.1 mm across the full 4 arcminute field-of-view of the LMT. The easily accessible focal plane will be cooled to 100 mK with a new closed cycle miniature dilution refrigerator that permits fully continuous operation. The MUSCAT instrument will demonstrate the science capabilities of the LMT through two relatively short science programmes to provide high resolution follow-up surveys of Galactic and extra-galactic sources previously observed with the Herschel space observatory, after the initial observing campaigns. In this paper, we will provide an overview of the overall instrument design as well as an update on progress and scheduled installation on the LMT. △ Less

Submitted 27 June, 2018; originally announced June 2018.

Comments: Accepted for publication in the Journal of Low Temperature Detectors

Infinitary and Cyclic Proof Systems for Transitive Closure Logic

Authors: Liron Cohen, Reuben N. S. Rowe

Abstract: Transitive closure logic is a known extension of first-order logic obtained by introducing a transitive closure operator. While other extensions of first-order logic with inductive definitions are a priori parametrized by a set of inductive definitions, the addition of the transitive closure operator uniformly captures all finitary inductive definitions. In this paper we present an infinitary proo… ▽ More Transitive closure logic is a known extension of first-order logic obtained by introducing a transitive closure operator. While other extensions of first-order logic with inductive definitions are a priori parametrized by a set of inductive definitions, the addition of the transitive closure operator uniformly captures all finitary inductive definitions. In this paper we present an infinitary proof system for transitive closure logic which is an infinite descent-style counterpart to the existing (explicit induction) proof system for the logic. We show that, as for similar systems for first-order logic with inductive definitions, our infinitary system is complete for the standard semantics and subsumes the explicit system. Moreover, the uniformity of the transitive closure operator allows semantically meaningful complete restrictions to be defined using simple syntactic criteria. Consequently, the restriction to regular infinitary (i.e. cyclic) proofs provides the basis for an effective system for automating inductive reasoning. △ Less

Submitted 28 June, 2018; v1 submitted 2 February, 2018; originally announced February 2018.

ACM Class: F.3.1; F.4.1

Size Relationships in Abstract Cyclic Entailment Systems

Authors: Reuben N. S. Rowe, James Brotherston

Abstract: A cyclic proof system generalises the standard notion of a proof as a finite tree of locally sound inferences by allowing proof objects to be potentially infinite. Regular infinite proofs can be finitely represented as graphs. To preclude spurious cyclic reasoning, cyclic proof systems come equipped with a well-founded notion of 'size' for the models that interpret their logical statements. A glob… ▽ More A cyclic proof system generalises the standard notion of a proof as a finite tree of locally sound inferences by allowing proof objects to be potentially infinite. Regular infinite proofs can be finitely represented as graphs. To preclude spurious cyclic reasoning, cyclic proof systems come equipped with a well-founded notion of 'size' for the models that interpret their logical statements. A global soundness condition on proof objects, stated in terms of this notion of size, ensures that any non-well-founded paths in the proof object can be disregarded. We give an abstract definition of a subclass of such cyclic proof systems: cyclic entailment systems. In this setting, we consider the problem of comparing the size of a model when interpreted in relation to the antecedent of an entailment, with that when interpreted in relation to the consequent. Specifically, we give a further condition on proof objects which ensures that models of a given entailment are always 'smaller' when interpreted with respect to the consequent than when interpreted with respect to the antecedent. Knowledge of such relationships is useful in a program verification setting. △ Less

Submitted 13 February, 2017; originally announced February 2017.

ACM Class: F.4.1

An Open Source, FPGA-based LeKID readout for BLAST-TNG: Pre-flight Results

Authors: Samuel Gordon, Bradley Dober, Adrian Sinclair, Samuel Rowe, Sean Bryan, Philip Mauskopf, Jason Austermann, Mark Devlin, Simon Dicker, Jiansong Gao, Gene C. Hilton, Johannes Hubmayr, Glenn Jones, Jeffrey Klein, Nathan P. Lourie, Christopher McKenney, Federico Nati, Juan D. Soler, Matthew Strader, Michael Vissers

Abstract: We present a highly frequency multiplexed readout for large-format superconducting detector arrays intended for use in the next generation of balloon-borne and space-based sub-millimeter and far-infrared missions. We will demonstrate this technology on the upcoming NASA Next Generation Balloon-borne Large Aperture Sub-millimeter Telescope (BLAST-TNG) to measure the polarized emission of Galactic d… ▽ More We present a highly frequency multiplexed readout for large-format superconducting detector arrays intended for use in the next generation of balloon-borne and space-based sub-millimeter and far-infrared missions. We will demonstrate this technology on the upcoming NASA Next Generation Balloon-borne Large Aperture Sub-millimeter Telescope (BLAST-TNG) to measure the polarized emission of Galactic dust at wavelengths of 250, 350 and 500 microns. The BLAST-TNG receiver incorporates the first arrays of Lumped Element Kinetic Inductance Detectors (LeKID) along with the first microwave multiplexing readout electronics to fly in a space-like environment and will significantly advance the TRL for these technologies. After the flight of BLAST-TNG, we will continue to improve the performance of the detectors and readout electronics for the next generation of balloon-borne instruments and for use in a future FIR Surveyor. △ Less

Submitted 16 November, 2016; originally announced November 2016.

A Meshless Galerkin Method For Non-Local Diffusion Using Localized Kernel Bases

Authors: Richard B. Lehoucq, Francis J. Narcowich, Stephen T. Rowe, Joseph D. Ward

Abstract: We introduce a meshless method for solving both continuous and discrete variational formulations of a volume constrained, nonlocal diffusion problem. We use the discrete solution to approximate the continuous solution. Our method is nonconforming and uses a localized Lagrange basis that is constructed out of radial basis functions. By verifying that certain inf-sup conditions hold, we demonstrate… ▽ More We introduce a meshless method for solving both continuous and discrete variational formulations of a volume constrained, nonlocal diffusion problem. We use the discrete solution to approximate the continuous solution. Our method is nonconforming and uses a localized Lagrange basis that is constructed out of radial basis functions. By verifying that certain inf-sup conditions hold, we demonstrate that both the continuous and discrete problems are well-posed, and also present numerical and theoretical results for the convergence behavior of the method. The stiffness matrix is assembled by a special quadrature routine unique to the localized basis. Combining the quadrature method with the localized basis produces a well-conditioned, symmetric matrix. This then is used to find the discretized solution. △ Less

Submitted 11 January, 2016; originally announced January 2016.

Comments: 23 pages, 2, figures, submitted to Math Comp

A passive THz video camera based on lumped element kinetic inductance detectors

Authors: Sam Rowe, Enzo Pascale, Simon Doyle, Chris Dunscombe, Peter Hargrave, Andreas Papageorgio, Ken Wood, Peter A. R. Ade, Peter Barry, Aurélien Bideaud, Tom Brien, Chris Dodd, William Grainger, Julian House, Philip Mauskopf, Paul Moseley, Locke Spencer, Rashmi Sudiwala, Carole Tucker, Ian Walker

Abstract: We have developed a passive 350 GHz (850 μm) video-camera to demonstrate lumped element kinetic inductance detectors (LEKIDs) -- designed originally for far-infrared astronomy -- as an option for general purpose terrestrial terahertz imaging applications. The camera currently operates at a quasi-video frame rate of 2 Hz with a noise equivalent temperature difference per frame of $\sim$0.1 K, which… ▽ More We have developed a passive 350 GHz (850 μm) video-camera to demonstrate lumped element kinetic inductance detectors (LEKIDs) -- designed originally for far-infrared astronomy -- as an option for general purpose terrestrial terahertz imaging applications. The camera currently operates at a quasi-video frame rate of 2 Hz with a noise equivalent temperature difference per frame of $\sim$0.1 K, which is close to the background limit. The 152 element superconducting LEKID array is fabricated from a simple 40 nm aluminum film on a silicon dielectric substrate and is read out through a single microwave feedline with a cryogenic low noise amplifier and room temperature frequency domain multiplexing electronics. △ Less

Submitted 18 November, 2015; originally announced November 2015.

Encoding the Factorisation Calculus

Authors: Reuben N. S. Rowe

Abstract: Jay and Given-Wilson have recently introduced the Factorisation (or SF-) calculus as a minimal fundamental model of intensional computation. It is a combinatory calculus containing a special combinator, F, which is able to examine the internal structure of its first argument. The calculus is significant in that as well as being combinatorially complete it also exhibits the property of structural c… ▽ More Jay and Given-Wilson have recently introduced the Factorisation (or SF-) calculus as a minimal fundamental model of intensional computation. It is a combinatory calculus containing a special combinator, F, which is able to examine the internal structure of its first argument. The calculus is significant in that as well as being combinatorially complete it also exhibits the property of structural completeness, i.e. it is able to represent any function on terms definable using pattern matching on arbitrary normal forms. In particular, it admits a term that can decide the structural equality of any two arbitrary normal forms. Since SF-calculus is combinatorially complete, it is clearly at least as powerful as the more familiar and paradigmatic Turing-powerful computational models of Lambda Calculus and Combinatory Logic. Its relationship to these models in the converse direction is less obvious, however. Jay and Given-Wilson have suggested that SF-calculus is strictly more powerful than the aforementioned models, but a detailed study of the connections between these models is yet to be undertaken. This paper begins to bridge that gap by presenting a faithful encoding of the Factorisation Calculus into the Lambda Calculus preserving both reduction and strong normalisation. The existence of such an encoding is a new result. It also suggests that there is, in some sense, an equivalence between the former model and the latter. We discuss to what extent our result constitutes an equivalence by considering it in the context of some previously defined frameworks for comparing computational power and expressiveness. △ Less

Submitted 26 August, 2015; originally announced August 2015.

Comments: In Proceedings EXPRESS/SOS 2015, arXiv:1508.06347

Journal ref: EPTCS 190, 2015, pp. 76-90

A Novel Galerkin Method for Solving PDEs on the Sphere Using Highly Localized Kernel Bases

Authors: F. J. Narcowich, Stephen T. Rowe, Joseph D. Ward

Abstract: We present a novel Galerkin method for solving partial differential equations on the sphere. The problem is discretized by a highly localized basis which is easily constructed. The stiffness matrix entries are computed by a recently developed quadrature formula unique to the localized bases we consider. We present error estimates and investigate the stability of the discrete stiffness matrix. Impl… ▽ More We present a novel Galerkin method for solving partial differential equations on the sphere. The problem is discretized by a highly localized basis which is easily constructed. The stiffness matrix entries are computed by a recently developed quadrature formula unique to the localized bases we consider. We present error estimates and investigate the stability of the discrete stiffness matrix. Implementation and numerical experiments are discussed. △ Less

Submitted 16 February, 2015; v1 submitted 21 April, 2014; originally announced April 2014.

Comments: 22 pages, 1 figure. Changes to previous version include new numerical experiments, updated figures, new styling, and re-written sections, and additional theory to address the use of local Lagrange functions for the discretization basis

Semantic Predicate Types and Approximation for Class-based Object Oriented Programming

Authors: Steffen van Bakel, Reuben N. S. Rowe

Abstract: We apply the principles of the intersection type discipline to the study of class-based object oriented programs and; our work follows from a similar approach (in the context of Abadi and Cardelli's Varsigma-object calculus) taken by van Bakel and de'Liguoro. We define an extension of Featherweight Java, FJc and present a predicate system which we show to be sound and expressive. We also show that… ▽ More We apply the principles of the intersection type discipline to the study of class-based object oriented programs and; our work follows from a similar approach (in the context of Abadi and Cardelli's Varsigma-object calculus) taken by van Bakel and de'Liguoro. We define an extension of Featherweight Java, FJc and present a predicate system which we show to be sound and expressive. We also show that our system provides a semantic underpinning for the object oriented paradigm by generalising the concept of approximant from the Lambda Calculus and demonstrating an approximation result: all expressions to which we can assign a predicate have an approximant that satisfies the same predicate. Crucial to this result is the notion of predicate language, which associates a family of predicates with a class. △ Less

Submitted 21 September, 2011; originally announced September 2011.

Comments: Proceedings of 11th Workshop on Formal Techniques for Java-like Programs (FTfJP'09), Genova, Italy, July 6 2009

Curing and post-curing luminescence in an epoxy resin

Authors: Olivier Gallot-Lavallée, G. Teyssedre, C. Laurent, S. Robiani, S. Rowe

Abstract: A spontaneous luminescence is reported when epoxy resin samples are heated in air. This phenomenon is very sensitive to the nature of the atmosphere. The same treatment in nitrogen leads to an extinction of the luminescence. The emission process is restored when samples are kept for a sufficient time in air. In order to better understand this phenomenon, we have investigated the luminescence of… ▽ More A spontaneous luminescence is reported when epoxy resin samples are heated in air. This phenomenon is very sensitive to the nature of the atmosphere. The same treatment in nitrogen leads to an extinction of the luminescence. The emission process is restored when samples are kept for a sufficient time in air. In order to better understand this phenomenon, we have investigated the luminescence of the elementary constituents of the epoxy (resin and hardener) when heated in air and nitrogen, as well as during resin curing in the same atmospheres. It appears that the emission process is linked with the presence of oxygen. Although the kinetics of the luminescence can differ depending on the nature of the sample (cured resin, resin during curing, liquid components), the emission spectra are the same during resin curing and upon heating of the cured resin and hardener. The emission spectrum of the base resin is different. It is concluded that the light results from a chemiluminescence process during oxidation. △ Less

Submitted 24 February, 2006; originally announced February 2006.

Comments: p. 18