Search

We present the proofs of the conjectures mentioned in the paper published in the proceedings of the 2024 AAAI conference [1], and discovered by the decomposition methods presented in the same paper.

New mid-infrared HgCdTe (MCT) detector arrays developed in collaboration with Teledyne Imaging Sensors (TIS) have paved the way for improved 10-$\mu$m sensors for space- and ground-based observatories. Building on the successful development of longwave HAWAII-2RGs for space missions such as NEO Surveyor, we characterize the first 13-$\mu$m GeoSnap detector manufactured to overcome the challenges of high background rates inherent in ground-based mid-IR astronomy. This test device merges the longwave HgCdTe photosensitive material with Teledyne's 2048x2048 GeoSnap-18 (18-$\mu$m pixel) focal plane module, which is equipped with a capacitive transimpedance amplifier (CTIA) readout circuit paired with an onboard 14-bit analog-to-digital converter (ADC). The final assembly yields a mid-IR detector with high QE, fast readout (>85 Hz), large well depth (>1.2 million electrons), and linear readout. Longwave GeoSnap arrays would ideally be deployed on existing ground-based telescopes as well as the next generation of extremely large telescopes. While employing advanced adaptive optics (AO) along with state-of-the-art diffraction suppression techniques, instruments utilizing these detectors could attain background- and diffraction-limited imaging at inner working angles <10 $\lambda/D$, providing improved contrast-limited performance compared to JWST MIRI while operating at comparable wavelengths. We describe the performance characteristics of the 13-$\mu$m GeoSnap array operating between 38 and 45K, including quantum efficiency, well depth, linearity, gain, dark current, and frequency-dependent (1/f) noise profile., Comment: 17 pages, 17 figures. Published in special edition of Astronomische Nachrichten / Astronomical Notes as a contribution to SDW2022

First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with registers., Comment: 3762 pages

When one chooses a main axis of structural decompostion for a software, such as function- or data-oriented decompositions, the other axes become secondary, which can be harmful when one of these secondary axes becomes of main importance. This is called the tyranny of the dominant decomposition. In the context of modular extension, this problem is known as the Expression Problem and has found many solutions, but few solutions have been proposed in a larger context of modular maintenance. We solve the tyranny of the dominant decomposition in maintenance with invertible program transformations. We illustrate this on the typical Expression Problem example. We also report our experiments with Java and Haskell programs and discuss the open problems with our approach., Comment: 6 pages, Early Research Achievements Track; 16th European Conference on Software Maintenance and Reengineering (CSMR 2012), Szeged : Hungary (2012)

We report on an experience to support multiple views of programs to solve the tyranny of the dominant decomposition in a functional setting. We consider two possible architectures in Haskell for the classical example of the expression problem. We show how the Haskell Refactorer can be used to transform one view into the other, and the other way back. That transformation is automated and we discuss how the Haskell Refactorer has been adapted to be able to support this automated transformation. Finally, we compare our implementation of views with some of the literature., Comment: 19 pages