TL;DR: Deep-learning-based approaches for seismic data antialiasing interpolation are used, which could extract deeper features of the training data in a nonlinear way by self-learning and avoid linear events, sparsity, and low-rank assumptions of the traditional interpolation methods.
Abstract: Seismic data interpolation is a longstanding issue. Most current methods are only suitable for randomly missing cases. To deal with regularly missing cases, an antialiasing strategy should ...
TL;DR: Experimental results on standard benchmarking datasets show that the proposed technique compares favorably with state-of-the-art methods while not relying on an initial guess for optimization.
Abstract: Perceptual aliasing is one of the main causes of the failure for simultaneous localization and mapping (SLAM) systems operating in the wild. Perceptual aliasing is a phenomenon where different places generate a similar visual (or, in general, perceptual) footprint. This causes spurious measurements to be fed to the SLAM estimator, which typically results in incorrect localization and mapping results. This problem is exacerbated by the fact that those outliers are highly correlated , in the sense that perceptual aliasing creates a large number of mutually consistent outliers. Another issue stems from the fact that most state-of-the-art techniques rely on a given trajectory guess (e.g., from odometry) to discern between inliers and outliers, and this makes the resulting pipeline brittle, since the accumulation of error may result in incorrect choices and recovery from failures is far from trivial. This paper provides a unified framework to model perceptual aliasing in SLAM and provides practical algorithms that can cope with outliers without relying on any initial guess. We present two main contributions. The first is a discrete–continuous graphical model ( DC-GM ) for SLAM: The continuous portion of the DC-GM captures the standard SLAM problem, while the discrete portion describes the selection of the outliers and models their correlation. The second contribution is a semidefinite relaxation to perform inference in the DC-GM that returns estimates with provable sub-optimality guarantees. Experimental results on standard benchmarking datasets show that the proposed technique compares favorably with state-of-the-art methods while not relying on an initial guess for optimization.
TL;DR: A multi-robot system for GPS-denied search and rescue under the forest canopy is presented, and a novel procedure based on cycle consistent multiway matching to recover from incorrect pairwise data associations is proposed.
Abstract: We present a multi-robot system for GPS-denied search and rescue under the forest canopy. Forests are particularly challenging environments for collaborative exploration and mapping, in large part due to the existence of severe perceptual aliasing which hinders reliable loop closure detection for mutual localization and map fusion. Our proposed system features unmanned aerial vehicles (UAVs) that perform onboard sensing, estimation, and planning. When communication is available, each UAV transmits compressed tree-based submaps to a central ground station for collaborative simultaneous localization and mapping (CSLAM). To overcome high measurement noise and perceptual aliasing, we use the local configuration of a group of trees as a distinctive feature for robust loop closure detection. Furthermore, we propose a novel procedure based on cycle consistent multiway matching to recover from incorrect pairwise data associations. The returned global data association is guaranteed to be cycle consistent, and is shown to improve both precision and recall compared to the input pairwise associations. The proposed multi-UAV system is validated both in simulation and during real-world collaborative exploration missions at NASA Langley Research Center.
TL;DR: To introduce a quantitative tool that enables rapid forecasting of T1 and T2 parameter map errors due to normal and aliasing noise as a function of the MR fingerprinting (MRF) sequence, which can be used in sequence optimization.
Abstract: Purpose To introduce a quantitative tool that enables rapid forecasting of T1 and T2 parameter map errors due to normal and aliasing noise as a function of the MR fingerprinting (MRF) sequence, which can be used in sequence optimization. Theory and methods The variances of normal noise and aliasing artifacts in the collected signal are related to the variances in T1 and T2 maps through derived quality factors. This analytical result is tested against the results of a Monte-Carlo approach for analyzing MRF sequence encoding capability in the presence of aliasing noise, and verified with phantom experiments at 3 T. To further show the utility of our approach, our quality factors are used to find efficient MRF sequences for fewer repetitions. Results Experimental results verify the ability of our quality factors to rapidly assess the efficiency of an MRF sequence in the presence of both normal and aliasing noise. Quality factor assessment of MRF sequences is in agreement with the results of a Monte-Carlo approach. Analysis of MRF parameter map errors from phantom experiments is consistent with the derived quality factors, with T1 (T2 ) data yielding goodness of fit R2 ≥ 0.92 (0.80). In phantom and in vivo experiments, the efficient pulse sequence, determined through quality factor maximization, led to comparable or improved accuracy and precision relative to a longer sequence, demonstrating quality factor utility in MRF sequence design. Conclusion The here introduced quality factor framework allows for rapid analysis and optimization of MRF sequence design through T1 and T2 error forecasting.
TL;DR: This paper shows how to incorporate the spatial gradients of the data series into the method to regularize data series presenting severe aliasing and shows its robust performance on synthetic and marine seismic data examples.
Abstract: The antileakage least-squares spectral analysis is a new method of regularizing irregularly spaced data series. This method mitigates the spectral leakages in the least-squares spectrum caused by non-orthogonality of the sinusoidal basis functions on irregularly spaced series, and it is robust when data series are wide-sense stationary. An appropriate windowing technique can be applied to adapt this method to non-stationary data series. When data series present mild aliasing, this method can effectively regularize the data series; however, additional information or assumption is needed when the data series is coarsely sampled. In this paper, we show how to incorporate the spatial gradients of the data series into the method to regularize data series presenting severe aliasing and show its robust performance on synthetic and marine seismic data examples.
TL;DR: The results show that the proposed method alleviates the aliasing well, is useful for both speech waveforms generated by analysis-and-synthesis and statistical parametric speech synthesis, and achieves a mean opinion score comparable to those of natural speech and speech synthesized by WaveNet and WaveGlow while processing speech samples at a rate of more than 150 kHz on an NVIDIA Tesla P100.
Abstract: WaveCycleGAN has recently been proposed to bridge the gap between natural and synthesized speech waveforms in statistical parametric speech synthesis and provides fast inference with a moving average model rather than an autoregressive model and high-quality speech synthesis with the adversarial training. However, the human ear can still distinguish the processed speech waveforms from natural ones. One possible cause of this distinguishability is the aliasing observed in the processed speech waveform via down/up-sampling modules. To solve the aliasing and provide higher quality speech synthesis, we propose WaveCycleGAN2, which 1) uses generators without down/up-sampling modules and 2) combines discriminators of the waveform domain and acoustic parameter domain. The results show that the proposed method 1) alleviates the aliasing well, 2) is useful for both speech waveforms generated by analysis-and-synthesis and statistical parametric speech synthesis, and 3) achieves a mean opinion score comparable to those of natural speech and speech synthesized by WaveNet (open WaveNet) and WaveGlow while processing speech samples at a rate of more than 150 kHz on an NVIDIA Tesla P100.
TL;DR: It is demonstrated by analysis and numerical experiments that EC-PIC algorithms feature a benign stability threshold for finite-temperature plasmas that make them usable in practice for a large class of problems without the need to resolve Debye lengths spatially.
Abstract: Finite-grid (or aliasing) instabilities are pervasive in particle-in-cell (PIC) plasma simulation algorithms, and force the modeler to resolve the smallest (Debye) length scale in the problem regardless of dynamical relevance. These instabilities originate in the aliasing of interpolation errors between mesh quantities and particles (which live in the space-time continuum). Recently, strictly energy-conserving PIC (EC-PIC) algorithms have been developed that promise enhanced robustness against aliasing instabilities. In this study, we confirm by analysis that EC-PIC is stable against aliasing instabilities for stationary plasmas. For drifting plasmas, we demonstrate by analysis and numerical experiments that, while EC-PIC algorithms are not free from these instabilities in principle, they feature a benign stability threshold for finite-temperature plasmas that make them usable in practice for a large class of problems (featuring ambipolarity and realistic ion-electron mass ratios) without the need to resolve Debye lengths spatially. We also demonstrate that this threshold is absent for the popular momentum-conserving PIC algorithms, which are therefore unstable for both drifting and stationary plasmas.
TL;DR: This paper proposes a general framework on combining the reconstruction model with deep learning to maximize the potential of deep learning and model-based reconstruction, and gives the examples to demonstrate the performance and requirements of unrolling different algorithms using deep learning.
Abstract: Medical imaging is playing a more and more important role in clinics. However, there are several issues in different imaging modalities such as slow imaging speed in MRI, radiation injury in CT and PET. Therefore, accelerating MRI, reducing radiation dose in CT and PET have been ongoing research topics since their invention. Usually, acquiring less data is a direct but important strategy to address these issues. However, less acquisition usually results in aliasing artifacts in reconstructions. Recently, deep learning (DL) has been introduced in medical image reconstruction and shown potential on significantly speeding up MR reconstruction and reducing radiation dose. In this paper, we propose a general framework on combining the reconstruction model with deep learning to maximize the potential of deep learning and model-based reconstruction, and give the examples to demonstrate the performance and requirements of unrolling different algorithms using deep learning.
TL;DR: For example, this article showed that >98% of Neogene-Quaternary deep-water sequences do not accumulate in a manner prescribed by long-held sequence stratigraphic conventions over the past 5.5 Myr, showing a temporal mismatch in frequency, phase, and amplitude with cycles of relative sea-level change.
TL;DR: Two examples from the realm of virtual analog modeling show the applicability to and effectiveness for commonly encountered guitar distortion effect circuits based on using the antiderivative of the nonlinearity.
Abstract: Nonlinear systems, such as guitar distortion effects, play an important role in musical signal processing. One major problem encountered in digital nonlinear systems is aliasing distortion. Consequently, various aliasing reduction methods have been proposed in the literature. One of these is based on using the antiderivative of the nonlinearity and has proven effective, but is limited to memoryless systems. In this work, it is extended to a class of stateful systems which includes but is not limited to systems with a single one-port nonlinearity. Two examples from the realm of virtual analog modeling show its applicability to and effectiveness for commonly encountered guitar distortion effect circuits.
TL;DR: A geometrical framework based on ray-approximation of the underlying synthesis problem is proposed and it is shown that the active prioritization of a control region using so-called local sound field synthesis approaches does indeed reduce spatial aliasing artefacts.
Abstract: The avoidance of spatial aliasing is a major challenge in the practical implementation of sound field synthesis. Such methods aim at a physically accurate reconstruction of a desired sound field inside a target region using a finite ensemble of loudspeakers. In the past, different theoretical treatises of the inherent spatial sampling process led to anti-aliasing criteria for simple loudspeaker array arrangements, e.g., lines and circles, and fundamental sound fields, e.g., plane and spherical waves. Many criteria were independent of the listener's position inside the target region. Within this paper, a geometrical framework based on ray-approximation of the underlying synthesis problem is proposed. Unlike former approaches, this model predicts spatial aliasing artefacts for arbitrary convex loudspeaker arrays and as a function of the listening position and the desired sound field. Anti-aliasing criteria for distinct listening positions and extended listening areas are formulated based on the established predictions. For validation, the model is applied to different analytical sound field synthesis approaches: The predicted spatial structure of the spatial aliasing agrees with numerical simulation of the synthesised sound fields. Moreover, it is shown within this framework, that the active prioritization of a control region using so-called local sound field synthesis approaches does indeed reduce spatial aliasing artefacts. For the scenario under investigation, a method for local wave field synthesis achieves an artefact-free synthesis up to a frequency which is between 2.9 and 17.3 times as high as for conventional wave field synthesis.
TL;DR: In this paper, the authors show that inadequate sampling rates may produce inversions in the cause-effect relationship among other artifacts, and that slow acquisition rates may distort data interpretation and produce deceptive patterns and eventually leading to misinterpretations as predators becoming preys.
Abstract: Cycles in population dynamics are abundant in nature and are understood as emerging from the interaction among coupled species. When sampling is conducted at a slow rate compared to the population cycle period (aliasing effect), one is prone to misinterpretations. However, aliasing has been poorly addressed in coupled population dynamics. To illustrate the aliasing effect, the Lotka–Volterra model oscillatory regime is numerically sampled, creating prey–predator cycles. We show that inadequate sampling rates may produce inversions in the cause-effect relationship among other artifacts. More generally, slow acquisition rates may distort data interpretation and produce deceptive patterns and eventually leading to misinterpretations, as predators becoming preys. Experiments in coupled population dynamics should be designed that address the eventual aliasing effect.
TL;DR: This paper proposed a method to improve the reconstructed image quality of the phase-only hologram by controlling the strength of the aliasing, which results in higher quality ofThe reconstructed image because the effect of lost information caused by abandon the amplitude part can be diminished.
Abstract: In the point-based method, the aliasing phenomenon in the hologram plane is usually considered as a harmful phenomenon because it will degrade the reconstructed image quality. In this paper, the advantage of the aliasing phenomenon is employed to improve the reconstructed image quality of the phase-only hologram. Through analysis of the principle of this phenomenon, we proposed a method to improve the reconstructed image quality of the phase-only hologram. By controlling the strength of the aliasing, the amplitude distribution in the hologram plane can be turned into a nearly uniform distribution. It is helpful to generate an optimized phase-only hologram, which results in higher quality of the reconstructed image because the effect of lost information caused by abandon the amplitude part can be diminished. Moreover, a holographic see-through display system is designed to demonstrate the effectiveness of the proposed method.
TL;DR: In this article, the authors show that internal waves still impart an aliased signal onto their profile measurements, and they have yielded nearly global characterization of several consti cation models.
Abstract: Though unresolved by Argo floats, internal waves still impart an aliased signal onto their profile measurements. Recent studies have yielded nearly global characterization of several consti...
TL;DR: The numerical simulation and experimental results show that the proposed method is able to extract the wavefront angle information of the blasting near-field aliasing signal and determine the source location from the polarization angle information.
Abstract: Source location based on polarization angle information is a research hot spot in the field of shallow distributed source localization. The near-field P-wave and S-wave aliasing are severe and the polarization characteristics of the wave group are poor, making it difficult to extract the polarization angle, an important source localization parameter. To address the above difficulty, this paper proposes a method that is based on high-resolution parabolic Radon transform (HRP-Radon) and incorporates adaptive covariance matrix (ACM) to extract the polarization angle information of the wavefront. First, a data set is constructed from the data acquired by the sensor array, and this data set is morphologically corrected against the first break time information. Second, the time domain data set is converted into the Radon domain by HRP-Radon, and the direct P-wave is extracted from the aliasing information by use of the focusing characteristics of the P-wave and S-wave and the phase characteristics of the far-field P-wave. Third, a model is built using the ACM algorithm to extract the direct P-wave angle information and the angle extraction is assessed using a metric-polarization method. The numerical simulation and experimental results show that the proposed method is able to extract the wavefront angle information of the blasting near-field aliasing signal and determine the source location from the polarization angle information. This method is of practical value to the field of underground space.
TL;DR: In this paper, the first extension of reference capabilities, called array capabilities, was proposed to support concurrent and parallel operations on arrays of both primitive and non-primitive values, and the core ideas are formalised and proven sound in a simple calculus, along with a proof that well-typed programs with array capabilities are free from data races.
Abstract: The array is a fundamental data structure that provides an efficient way to store and retrieve non-sparse data contiguous in memory. Arrays are important for the performance of many memory-intensive applications due to the design of modern memory hierarchies: contiguous storage facilitates spatial locality and predictive access patterns which enables prefetching. Operations on large arrays often lend themselves well to parallelisation, such as a fork-join style divide-and-conquer algorithm for sorting. For parallel operations on arrays to be deterministic, data-race freedom must be guaranteed. For operations on arrays of primitive data, data-race freedom is obtained by coordinating accesses so that no two threads operate on the same array indices. This is however not enough for arrays of non-primitives due to aliasing: accesses of separate array elements may return pointers to the same object, or overlapping structures. Reference capabilities have been used successfully in the past to statically guarantee the absence of data-races in object-oriented programs. This paper presents the first extension of reference capabilities -- called array capabilities -- that support concurrent and parallel operations on arrays of both primitive and non-primitive values. In addition to element access, array capabilities support the abstract manipulation of arrays, logical splitting of arrays into subarrays, and merging subarrays. These operations allow expressing a wide range of array use cases. This paper presents the array capability design space and show how it applies to a number of array use cases. The core ideas are formalised and proven sound in a simple calculus, along with a proof that shows that well-typed programs with array capabilities are free from data-races.
TL;DR: An aliasing severity index is proposed to quantify the severity of signal aliasing for general factorial designs including nonregular ones and is found to be highly correlated with the prediction variance.
Abstract: Signal aliasing is an inevitable consequence of using fractional factorial designs. Unlike linear models with fixed factorial effects, for Gaussian random field models advocated in some Bayesian design and computer experiment literature, the issue of signal aliasing has not received comparable attention. In the present article, this issue is tackled for experiments with qualitative factors. The signals in a Gaussian random field can be characterized by the random effects identified from the covariance function. The aliasing severity of the signals is determined by two key elements: (i) the aliasing pattern, which depends only on the chosen design, and (ii) the effect priority, which is related to the variances of the random effects and depends on the model parameters. We first apply this framework to study the signal-aliasing problem for regular fractional factorial designs. For general factorial designs including nonregular ones, we propose an aliasing severity index to quantify the severity of signal aliasing. We also observe that the aliasing severity index is highly correlated with the prediction variance.
TL;DR: This paper shows an extension to existing SFR measurement procedures described in ISO12233 which can measure and quantify the existence of aliasing in the imaging system and utilises the harmonic Siemens star of the s-SFR method and can be included into existing systems, so does not require the capture of additional images.
Abstract: Aliasing is a well-known effect in imaging which leads potentially to disturbing artefacts on structures. While the high pixel count of todays devices helps to reduce this effect, at the same time optical anti-aliasing filter are more often removed from sensor stacks to improve on system SFR and quantum efficiency. While the artefact is easy to see, an objective measurement and quantification of aliasing is not standardised or established. In this paper we show an extension to existing SFR measurement procedures described in ISO12233 which can measure and quantify the existence of aliasing in the imaging system. It utilises the harmonic Siemens star of the s-SFR method and can be included into existing systems, so does not require the capture of additional images. Introduction In dictionaries, aliasing is defined as ”the misidentification of a signal frequency, introducing distortion or error”. Aliasing in images appears as an artefact where an object with fine repeated pattern is reproduced in broader pattern. This so called Moire effect is also shown in an example in figure 1. The high spatial frequencies generated by the chair are projected onto the image sensor and result in lower spatial frequencies. So the object has a certain spatial frequency fo and the sensor can sample this with its own sampling frequency fs. The Nyquist-Shannon sampling theorem states that the sampling frequency fs needs to be at least double of the fo to be sufficient. If the sampling frequency is not sufficient, higher spatial frequencies might lead to aliasing. Figure 1. Detail of an image, showing the so called moire effect. The high spatial frequencies generated by the monochrome structures are reproduced as low frequency, coloured structures. So avoid aliasing it needs to me made sure that the object frequencies are low pass filtered before the sampling to avoid too high frequencies. In signal processing this is performed by digital filter, in sensors this is done by optical low pass filter, also called anti-aliasing filter. To maximise the performance in terms of low light sensitivity and optical resolution, many sensors in todays cameras do not feature an anti aliasing filter, so aliasing might occur in the image. While aliasing can be an annoyance for the user, it can also influence resolution measurement. Examples from a resolution measurement are shown in figure 2. The images show the center part of a sinusoidal Siemens star as used for the s-SFR measurement described in ISO12233[2]. In these images, three white circles are plotted. These represent 50%, 75% and 100% of the so called Nyquist frequency. This frequency is the theoretical highest spatial frequency that can rendered. Expressed in unit cycles/pixel the Nyquist frequency is fNyquist = 0.5 as two pixel are required to represent one cycle, which means that a single pixel can represent a half cycle. With this assumption, we can calculate the Nyquist frequency for a given Siemens star as shown in Equation 1. f = ncycles circumference = ncycles 2πr fNyquist = 0.5 cycles pixel rNyquist = ncycles π with rNyquist = radius of Nyquist frequency ncycles = cycles per full circle (here: 144) (1) It can be observed in these images, that aliasing can occur even for lower frequencies than the calculated fNyquist . The reason for this is, that the assumptions made here do not take into account that most sensors do not sample every color with every pixel, but use a color filter array and demosaicing, so the true sampling frequency is lower than the final pixel count in the image. A sensor that does not use a color filter array (like monochrome sensors) can show higher frequencies than assumed from equation 1 as we measure different orientations in a Siemens star. In diagonal orientation the sampling is different to the sampling in horizontal or vertical direction. As aliasing can lead to lower frequencies with high amplitude, this can interfere with the resolution measurement. To make the measurement more robust, we need a method to be able to tell if a measurement result is ”trustworthy” or if it is influenced by aliasing. Concept The concept to measure aliasing is an extension to the s-SFR measurement procedure described in ISO12233. The used test pattern is shown in figures 2 and 3. Figure 2. Detail of center region of a Siemens star. White circles show 50%, 75% and 100% of Nyquist frequency.Top: A D-SLR camera with typical bayer pattern senso. One can observe aliasing artefacts well below fNyquist Bottom: A Foveon Sensor without bayer pattern. One can see resolution above fNyquist in diagonal direction. To obtain the SFR from a Siemens star, the center of the star is located and digital values are read out for a single radius over angle φ . The function I(φ)1 describes the digital value I depending on the mean value a and the amplitude b which is scaled by the cosine of the frequency (2π/g) and the phase corrected angle φ −φ0. The standard document shows a fitting algorithm to obtain a and b, which is used to calculate the modulation. So the modulation is calculated for a given radius, the radius defines the spatial frequency. Calculating the modulation for all available radii will provide the s-SFR. The standard also states, that the phase is unknown and describes the method to obtain the phase by fitting a sinus and cosinus as in equation 3 and then calculate b as in equation 4. I(φ) = a+b · cos 2π g (φ −φ0) (2) I(φ) = a+b1 · cos 2π g φ +b2 · cos 2π g φ (3) b = b1 +b 2 2 (4) 1Equations cited from standard document. Figure 3. The sinusoidal Siemens star for the S-SFR method described in ISO12233. So in the standard procedure the assumption is made that the frequency is known. In case of aliasing, this assumption is questionable. The core idea of this paper is to check if the assumption about the spatial frequency is correct or not. So if the real frequency differs significantly from the assumed frequency, we consider this as evidence for aliasing. The first approach was to not only get the amplitude and phase from a fitting algorithm, but to also fit the frequency. We choose to implement the Gauss-Newton algorithm to minimise the residuals while estimating all relevant parameter of the equation 5. I(φ) = A0 · sin(B0 ·φ +C0)+D0 (5) Figure 4 visualises the iterative process of this algorithm. Starting from an initial estimation, the algorithm will minimise the residual error in every step, ideally approaching an ideal solution after a reasonable amount of iterations. While this worked well if the initial guess was good, we found many cases where this unconstrained method did not lead to a solution when the initial guess was not good. So after some improvement, we finally decided not to go forward in this direction. 0 50 100 0 10 20 30 40 Estimate A 0 50 100 146.5 147 147.5 148 148.5 Estimate D 0 50 100 -1.6 -1.55 -1.5 -1.45 -1.4 -1.35 -1.3 Estimate C 0 50 100 -25 -20 -15 -10 -5 0 5 Estimate D 0 50 100 13.273 13.274 13.275 13.276 13.277 13.278 Residuals Figure 4. Iterative estimation of the parameter in equation 4 The residuals shall minimise. The now used approach is to focus on the frequency only. The standard itself describes the method to obtain amplitude and phase. In the standards approach, the frequency is taken as given. For the aliasing analysis, the same fitting approach is applied for a sequence of frequencies with the assumed frequency as highest frequency. -0.04 -0.02 0 0.02 0.04 0.06 0.08 0.1 0.12 0.14 phi -150 -100 -50 0 50 100 150 D ig ita l V al ue (n or m al iz ed ) pixelvalues cosinus vector sinus vector -0.04 -0.02 0 0.02 0.04 0.06 0.08 0.1 0.12 0.14 phi -150 -100 -50 0 50 100 150 D ig ita l V al ue (n or m al iz ed ) pixelvalues phase fitted Figure 5. As described in ISO12233, the amplitude and phase is fitted. Top: Fitting with sinus and cosines Bottom: The fitting with correct phase, obtained from sinus and cosines. For every frequency step (only assumed frequency and lower), the amplitude and phase is fitted and then the error between fitted function and the measured pixel values is calculated (see fig. 6). This algorithm, to check which frequency leads to the lowest error, is then applied for all radii of the Siemens star. For every radius, the frequency with the lowest error is divided by the assumed frequency. So if the aliasing value equals one, the assumed frequency and the obtained frequency in the image are identical. The lower the value, the higher the differences. 0 50 100 150 frequency (periods per circle) 0.2 0.25 0.3 0.35 0.4 0.45
TL;DR: A prototype compiler implementing the technology currently covers all of ANSI C except longjmp/setjmp, and a proof that it protects against polynomial complexity attacks on runtime data is sketched.
Abstract: This paper extends a companion paper on compilation for target platforms with hidden deterministic hardware aliasing to generate aliasing as well as compensate for it, in so-called 'chaotic' compilation. That may be applied in encrypted computing to statistically hide any information inadvertently introduced by a human programmer. A prototype compiler implementing the technology currently covers all of ANSI C except longjmp/setjmp, and this paper sketches a proof that it protects against polynomial complexity attacks on runtime data.
TL;DR: In this article, a server or similar intermediary may generate an alias address for each recipient address in an outbound communication so that each recipient may communicate with the true address using a unique reply channel.
Abstract: A method may include receiving an outbound communication directed to one or more recipient addresses from a communications infrastructure hosting the true address for the user. A server or similar intermediary may generate an alias address for each recipient address in an outbound communication so that each recipient may communicate with the true address using a unique reply channel. A discrete security state may be assigned as a security attribute to each such alias address. The discrete security state, which can be controlled by the user and stored, e.g., at the intermediate server, establishes rules for controlling communications from one of the recipient addresses through the communications infrastructure to the true address via one of the alias addresses. Once an alias and a security state are assigned in this manner to facilitate handling of responsive communications, the outbound communication may be forwarded to recipient addresses through the communication network.
TL;DR: This work shows how to work around the hardware problem with software logic, compiling code so it works on any platform with hardware aliasing with hidden determinism.
Abstract: Hardware aliasing occurs when the same logical address can access different physical memory locations. This is a problem for software on some embedded systems and more generally when hardware becomes faulty in irretrievable locations, such as on a Mars Lander. We show how to work around the hardware problem with software logic, compiling code so it works on any platform with hardware aliasing with hidden determinism. That means: (i) a copy of an address accesses the same location, and (ii) repeating an address calculation exactly will repeat the same access again. Stuck bits can mean that even adding zero to an address can make a difference in that environment so nothing but a systematic approach could work.
TL;DR: This work has spent the past year studying MTF restoration techniques for advanced LWIR sensors with large array formats, small detectors, Fλ/d over 2 (well-sampled and low in-band aliasing), and ROICs capable of using all available photons.
Abstract: Advanced LWIR sensors have recently emerged that have all or some of the following features: large array formats, small detectors, Fλ/d over 2 (well-sampled and low in-band aliasing), and ROICs capable of using all available photons (either through deep wells, faster framerates, or digital readout). We have spent the past year studying MTF restoration techniques for these systems. Initial application of our restoration approach (called PWP for the combination of small pitch, deep electron wells, and image processing) have encountered issues with real imagery. Problems for implementing restoration may include: fixed pattern noise, aliasing, and interpolation methods. We provide an update on our findings and a path forward for successful optimization of future advanced LWIR imagers.