More Like this

1. Real-data-driven real-time reconfigurable microwave reflective surface

   https://doi.org/10.1038/s41467-023-43473-y  

   Wen, Erda; Yang, Xiaozhen; Sievenpiper, Daniel F. (November 2023, Nature Communications)

   Abstract Manipulating the electromagnetic (EM) scattering behavior from an arbitrary surface dynamically on arbitrary design goals is an ultimate ambition for many EM stealth and communication problems, yet it is nearly impossible to accomplish with conventional analysis and optimization techniques. Here we present a reconfigurable conformal metasurface prototype as well as a workflow that enables it to respond to multiple design targets on the reflection pattern with extremely low on-site computing power and time. The metasurface is driven by a sequential tandem neural network which is pre-trained using actual experimental data, avoiding any possible errors that may arise from calculation, simulation, or manufacturing tolerances. This platform empowers the surface to operate accurately in a complex environment including varying incident angle and operating frequency, or even with other scatterers present close to the surface. The proposed data-driven approach requires minimum amount of prior knowledge and human effort yet provides maximized versatility on the reflection control, stepping towards the end form of intelligent tunable EM surfaces. 

   more » « less
2. Real monodromy action

   https://doi.org/10.1016/j.amc.2019.124983  

   Hauenstein, Jonathan D.; Regan, Margaret H. (May 2020, Applied Mathematics and Computation)
3. Hurewicz images of real bordism theory and real Johnson–Wilson theories

   https://doi.org/10.1016/j.aim.2018.11.002  

   Li, Guchuan; Shi, XiaoLin Danny; Wang, Guozhen; Xu, Zhouli (January 2019, Advances in Mathematics)
4. Edge Distribution of Thinned Real Eigenvalues in the Real Ginibre Ensemble

   https://doi.org/10.1007/s00023-022-01182-0  

   Baik, Jinho; Bothner, Thomas (April 2022, Annales Henri Poincaré)

   Abstract This paper is concerned with the explicit computation of the limiting distribution function of the largest real eigenvalue in the real Ginibre ensemble when each real eigenvalue has been removed independently with constant likelihood. We show that the recently discovered integrable structures in [2] generalize from the real Ginibre ensemble to its thinned equivalent. Concretely, we express the aforementioned limiting distribution function as a convex combination of two simple Fredholm determinants and connect the same function to the inverse scattering theory of the Zakharov–Shabat system. As corollaries, we provide a Zakharov–Shabat evaluation of the ensemble’s real eigenvalue generating function and obtain precise control over the limiting distribution function’s tails. The latter part includes the explicit computation of the usually difficult constant factors. 

   more » « less
5. Real-time MLton: A Standard ML runtime for real-time functional programs

   https://doi.org/10.1017/S0956796821000174  

   SHIVKUMAR, BHARGAV; MURPHY, JEFFREY; ZIAREK, LUKASZ (January 2021, Journal of Functional Programming)

   Abstract There is a growing interest in leveraging functional programming languages in real-time and embedded contexts. Functional languages are appealing as many are strictly typed, amenable to formal methods, have limited mutation, and have simple but powerful concurrency control mechanisms. Although there have been many recent proposals for specialized domain-specific languages for embedded and real-time systems, there has been relatively little progress on adapting more general purpose functional languages for programming embedded and real-time systems. In this paper, we present our current work on leveraging Standard ML (SML) in the embedded and real-time domains. Specifically, we detail our experiences in modifying MLton, a whole-program optimizing compiler for SML, for use in such contexts. We focus primarily on the language runtime, reworking the threading subsystem, object model, and garbage collector. We provide preliminary results over a radar-based aircraft collision detector ported to SML. 

   more » « less