title: Task-Level Authoring for Remote Robot Teleoperation

abstract: Remote teleoperation of robots can broaden the reach of domain specialists across a wide range of industries such as home maintenance, health care, light manufacturing, and construction. However, current direct control methods are impractical, and existing tools for programming robot remotely have focused on users with significant robotic experience. Extending robot remote programming to end users, i.e., users who are experts in a domain but novices in robotics, requires tools that balance the rich features necessary for complex teleoperation tasks with ease of use. The primary challenge to usability is that novice users are unable to specify complete and robust task plans to allow a robot to perform duties autonomously, particularly in highly variable environments. Our solution is to allow operators to specify shorter sequences of high-level commands, which we call task-level authoring, to create periods of variable robot autonomy. This approach allows inexperienced users to create robot behaviors in uncertain environments by interleaving exploration, specification of behaviors, and execution as separate steps. End users are able to break down the specification of tasks and adapt to the current needs of the interaction and environments, combining the reactivity of direct control to asynchronous operation. In this paper, we describe a prototype system contextualized in light manufacturing and its empirical validation in a user study where 18 participants with some programming experience were able to perform a variety of complex telemanipulation tasks with little training. Our results show that our approach allowed users to create flexible periods of autonomy and solve rich manipulation tasks. Furthermore, participants significantly preferred our system over comparative more direct interfaces, demonstrating the potential of our approach.


title: Asymptotic Equivalence of Hadwiger's Conjecture and its Odd Minor-Variant

abstract: Hadwiger's conjecture states that every $K_t$-minor free graph is $(t-1)$-colorable. A qualitative strengthening of this conjecture raised by Gerards and Seymour, known as the Odd Hadwiger's conjecture, states similarly that every graph with no odd $K_t$-minor is $(t-1)$-colorable. For both conjectures, their asymptotic relaxations remain open, i.e., whether an upper bound on the chromatic number of the form $Ct$ for some constant $C>0$ exists. We show that if every graph without a $K_t$-minor is $f(t)$-colorable, then every graph without an odd $K_t$-minor is $2f(t)$-colorable. Using this, the recent $O(t\log\log t)$-upper bound of Delcourt and Postle for the chromatic number of $K_t$-minor free graphs directly carries over to the chromatic number of odd $K_t$-minor-free graphs. This (slightly) improves a previous bound of $O(t(\log \log t)^2)$ for this problem by Delcourt and Postle.


title: Encoder-decoder with Multi-level Attention for 3D Human Shape and Pose Estimation

abstract: 3D human shape and pose estimation is the essential task for human motion analysis, which is widely used in many 3D applications. However, existing methods cannot simultaneously capture the relations at multiple levels, including spatial-temporal level and human joint level. Therefore they fail to make accurate predictions in some hard scenarios when there is cluttered background, occlusion, or extreme pose. To this end, we propose Multi-level Attention Encoder-Decoder Network (MAED), including a Spatial-Temporal Encoder (STE) and a Kinematic Topology Decoder (KTD) to model multi-level attentions in a unified framework. STE consists of a series of cascaded blocks based on Multi-Head Self-Attention, and each block uses two parallel branches to learn spatial and temporal attention respectively. Meanwhile, KTD aims at modeling the joint level attention. It regards pose estimation as a top-down hierarchical process similar to SMPL kinematic tree. With the training set of 3DPW, MAED outperforms previous state-of-the-art methods by 6.2, 7.2, and 2.4 mm of PA-MPJPE on the three widely used benchmarks 3DPW, MPI-INF-3DHP, and Human3.6M respectively. Our code is available at https://github.com/ziniuwan/maed.


title: Towards Multi-Criteria Prioritization of Best Practices in Research Artifact Sharing

abstract: Research artifact sharing is known to strengthen the transparency of scientific studies. However, in the lack of common discipline-specific guidelines for artifacts evaluation, subjective and conflicting expectations may happen and threaten artifact quality. In this paper, we discuss our preliminary ideas for a framework based on quality management principles (5W2H) that can aid in the establishment of common guidelines for artifact evaluation and sharing. Also, using the Analytic Hierarchy Process, we discuss how research communities could join efforts to aid the guidelines' adequacy to research priorities. These combined methodologies constitute a novelty for software engineering research which can foster research software sustainability.


title: Exact controllability to nonnegative trajectory for a chemotaxis system

abstract: This paper studies the controllability for a Keller-Segel type chemotaxis model with singular sensitivity. Based on the Hopf-Cole transformation, a nonlinear parabolic system, which has first-order couplings, and the coupling coefficients are functions that depend on both time and space variables, is derived. Then, the controllability result is proved by a new global Carleman estimate for general coupled parabolic equations allowed to contain a convective term. Also, the global existence of nonnegative solution for the chemotaxis system is discussed.


title: Slowly cooling white dwarfs in M13 from stable hydrogen burning

abstract: White Dwarfs (WDs) are the final evolutionary product of the vast majority of stars in the Universe. They are electron-degenerate structures characterized by no stable thermonuclear activity, and their evolution is generally described as a pure cooling process. Their cooling rate is adopted as cosmic chronometer to constrain the age of several Galactic populations, including the disk, globular and open clusters. By analysing high-resolution photometric data of two twin Galactic globular clusters (M3 and M13), we find a clear-cut and unexpected over-abundance of bright WDs in M13. Theoretical models suggest that, consistently with the horizontal branch morphology, this over-abundance is due to a slowing down of the cooling process in ~70% of the WDs in M13, caused by stable thermonuclear burning in their residual hydrogen-rich envelope. This is the first observational evidence of quiescent thermonuclear activity occurring in cooling WDs and it brings new attention on the use of the WD cooling rate as cosmic chronometer for low metallicity environments.


title: Measurement of Penrose superradiance in a photon superfluid

abstract: The superradiant amplification in the scattering from a rotating medium was first elucidated by Sir Roger Penrose over 50 years ago as a means by which particles could gain energy from rotating black holes. Despite this fundamental process being ubiquitous also in wave physics, it has only been observed once experimentally, in a water tank, and never in an astrophysical setting. Here, we measure this amplification for a nonlinear optics experiment in the superfluid regime. In particular, by focusing a weak optical beam carrying orbital angular momentum onto the core of a strong pump vortex beam, negative norm modes are generated and trapped inside the vortex core, allowing for amplification of a reflected beam. Our experiment demonstrates amplified reflection due to a novel form of nonlinear optical four-wave mixing, whose phase-relation coincides with the Zel'dovich-Misner condition for Penrose superradiance in our photon superfluid, and unveil the role played by negative frequency modes in the process.}


title: Impact of survey geometry and super-sample covariance on future photometric galaxy surveys

abstract: Photometric galaxy surveys probe the late-time Universe where the density field is highly non-Gaussian. A consequence is the emergence of the super-sample covariance (SSC), a non-Gaussian covariance term that is sensitive to fluctuations on scales larger than the survey window. In this work, we study the impact of the survey geometry on the SSC and, subsequently, on cosmological parameter inference. We devise a fast SSC approximation that accounts for the survey geometry and compare its performance to the common approximation of rescaling the results by the fraction of the sky covered by the survey, $f_\mathrm{SKY}$, dubbed 'full-sky approximation'. To gauge the impact of our new SSC recipe, dubbed 'partial-sky', we perform Fisher forecasts on the parameters of the $(w_0,w_a)$-CDM model in a 3x2 points analysis, varying the survey area, the geometry of the mask and the galaxy distribution inside our redshift bins. The differences in the marginalised forecast errors, with the full-sky approximation performing poorly for small survey areas but excellently for stage-IV-like areas, are found to be absorbed by the marginalisation on galaxy bias nuisance parameters. For large survey areas, the unmarginalised errors are underestimated by about 10% for all probes considered. This is a hint that, even for stage-IV-like surveys, the partial-sky method introduced in this work will be necessary if tight priors are applied on these nuisance parameters.


title: Hypothesis Testing for Functional Linear Models via Bootstrapping

abstract: Hypothesis testing for the slope function in functional linear regression is of both practical and theoretical interest. We develop a novel test for the nullity of the slope function, where testing the slope function is transformed into testing a high-dimensional vector based on functional principal component analysis. This transformation fully circumvents ill-posedness in functional linear regression, thereby enhancing numeric stability. The proposed method leverages the technique of bootstrapping max statistics and exploits the inherent variance decay property of functional data, improving the empirical power of tests especially when the sample size is limited or the signal is relatively weak. We establish validity and consistency of our proposed test when the functional principal components are derived from data. Moreover, we show that the test maintains its asymptotic validity and consistency, even when including \emph{all} empirical functional principal components in our test statistics. This sharply contrasts with the task of estimating the slope function, which requires a delicate choice of the number (at most in the order of $\sqrt n$) of functional principal components to ensure estimation consistency. This distinction highlights an interesting difference between estimation and statistical inference regarding the slope function in functional linear regression. To the best of our knowledge, the proposed test is the first of its kind to utilize all empirical functional principal components.


title: The operational framework for quantum theories is both epistemologically and ontologically neutral

abstract: Operational frameworks are very useful to study the foundations of quantum mechanics, and are sometimes used to promote antirealist attitudes towards the theory. The aim of this paper is to review three arguments aiming at defending an antirealist reading of quantum physics based on various developments of standard quantum mechanics appealing to notions such as quantum information, non-causal correlations and indefinite causal orders. Those arguments will be discussed in order to show that they are not convincing. Instead, it is argued that there is conceptually no argument that could favour realist or antirealist attitudes towards quantum mechanics based solely on some features of some formalism. In particular, both realist and antirealist views are well accomodable within operational formulations of the theory. The reason for this is that the realist/antirealist debate is located at a purely epistemic level, which is not engaged by formal aspects of theories. As such, operational formulations of quantum mechanics are epistmologically and ontologically neutral. This discussion aims at clarifying the limits of the historical and methodological affinities between scientific antirealism and operational physics while engaging with recent discoveries in quantum foundations. It also aims at presenting various realist strategies to account for those developments.


title: Towards Retrieval-based Conversational Recommendation

abstract: Conversational recommender systems have attracted immense attention recently. The most recent approaches rely on neural models trained on recorded dialogs between humans, implementing an end-to-end learning process. These systems are commonly designed to generate responses given the user's utterances in natural language. One main challenge is that these generated responses both have to be appropriate for the given dialog context and must be grammatically and semantically correct. An alternative to such generation-based approaches is to retrieve responses from pre-recorded dialog data and to adapt them if needed. Such retrieval-based approaches were successfully explored in the context of general conversational systems, but have received limited attention in recent years for CRS. In this work, we re-assess the potential of such approaches and design and evaluate a novel technique for response retrieval and ranking. A user study (N=90) revealed that the responses by our system were on average of higher quality than those of two recent generation-based systems. We furthermore found that the quality ranking of the two generation-based approaches is not aligned with the results from the literature, which points to open methodological questions. Overall, our research underlines that retrieval-based approaches should be considered an alternative or complement to language generation approaches.


title: Linear-time Temporal Logic guided Greybox Fuzzing

abstract: Software model checking is a verification technique which is widely used for checking temporal properties of software systems. Even though it is a property verification technique, its common usage in practice is in "bug finding", that is, finding violations of temporal properties. Motivated by this observation and leveraging the recent progress in fuzzing, we build a greybox fuzzing framework to find violations of Linear-time Temporal Logic (LTL) properties. Our framework takes as input a sequential program written in C/C++, and an LTL property. It finds violations, or counterexample traces, of the LTL property in stateful software systems; however, it does not achieve verification. Our work substantially extends directed greybox fuzzing to witness arbitrarily complex event orderings. We note that existing directed greybox fuzzing approaches are limited to witnessing reaching a location or witnessing simple event orderings like use-after-free. At the same time, compared to model checkers, our approach finds the counterexamples faster, thereby finding more counterexamples within a given time budget. Our LTL-Fuzzer tool, built on top of the AFL fuzzer, is shown to be effective in detecting bugs in well-known protocol implementations, such as OpenSSL and Telnet. We use LTL-Fuzzer to reproduce known vulnerabilities (CVEs), to find 15 zero-day bugs by checking properties extracted from RFCs (for which 12 CVEs have been assigned), and to find violations of both safety as well as liveness properties in real-world protocol implementations. Our work represents a practical advance over software model checkers -- while simultaneously representing a conceptual advance over existing greybox fuzzers. Our work thus provides a starting point for understanding the unexplored synergies between software model checking and greybox fuzzing.


title: Design and Synthesis of Clathrate LaB8 with Superconductivity

abstract: Boron-based clathrate materials, typically with three-dimensional networks of B atoms, have tunable properties through substitution of guest atoms, but the tuning of B cages themselves has not yet been developed. By combining crystal structural search with the laser-heated diamond anvil cell technique, we successfully synthesized a new B-based clathrate boride, LaB8, at ~108 GPa and ~2100 K. The novel structure has a B-richest cage, with 26 B atoms encapsulating a single La atom. LaB8 demonstrates phonon-mediated superconductivity with an estimated transition temperature of 14 K at ambient pressure, mainly originating from electron-phonon coupling of B cage. This work creates a prototype platform for subsequent investigation on tunable electronic properties through the choice of captured atoms.


title: Fast Hypergraph Regularized Nonnegative Tensor Ring Factorization Based on Low-Rank Approximation

abstract: For the high dimensional data representation, nonnegative tensor ring (NTR) decomposition equipped with manifold learning has become a promising model to exploit the multi-dimensional structure and extract the feature from tensor data. However, the existing methods such as graph regularized tensor ring decomposition (GNTR) only models the pair-wise similarities of objects. For tensor data with complex manifold structure, the graph can not exactly construct similarity relationships. In this paper, in order to effectively utilize the higher-dimensional and complicated similarities among objects, we introduce hypergraph to the framework of NTR to further enhance the feature extraction, upon which a hypergraph regularized nonnegative tensor ring decomposition (HGNTR) method is developed. To reduce the computational complexity and suppress the noise, we apply the low-rank approximation trick to accelerate HGNTR (called LraHGNTR). Our experimental results show that compared with other state-of-the-art algorithms, the proposed HGNTR and LraHGNTR can achieve higher performance in clustering tasks, in addition, LraHGNTR can greatly reduce running time without decreasing accuracy.


title: One-sample log-rank tests with consideration of reference curve sampling variability

abstract: The one-sample log-rank test is the method of choice for single-arm Phase II trials with time-to-event endpoint. It allows to compare the survival of the patients to a reference survival curve that typically represents the expected survival under standard of care. The classical one-sample log-rank test, however, assumes that the reference survival curve is deterministic. This ignores that the reference curve is commonly estimated from historic data and thus prone to statistical error. Ignoring sampling variability of the reference curve results in type I error rate inflation. For that reason, a new one-sample log-rank test is proposed that explicitly accounts for the statistical error made in the process of estimating the reference survival curve. The test statistic and its distributional properties are derived using martingale techniques in the large sample limit. In particular, a sample size formula is provided. Small sample properties regarding type I and type II error rate control are studied by simulation. A case study is conducted to study the influence of several design parameters of a single-armed trial on the inflation of the type I error rate when reference curve sampling variability is ignored.


title: Autonomous tissue retraction with a biomechanically informed logic based framework

abstract: Autonomy in robot-assisted surgery is essential to reduce surgeons' cognitive load and eventually improve the overall surgical outcome. A key requirement for autonomy in a safety-critical scenario as surgery lies in the generation of interpretable plans that rely on expert knowledge. Moreover, the Autonomous Robotic Surgical System (ARSS) must be able to reason on the dynamic and unpredictable anatomical environment, and quickly adapt the surgical plan in case of unexpected situations. In this paper, we present a modular Framework for Robot-Assisted Surgery (FRAS) in deformable anatomical environments. Our framework integrates a logic module for task-level interpretable reasoning, a biomechanical simulation that complements data from real sensors, and a situation awareness module for context interpretation. The framework performance is evaluated on simulated soft tissue retraction, a common surgical task to remove the tissue hiding a region of interest. Results show that the framework has the adaptability required to successfully accomplish the task, handling dynamic environmental conditions and possible failures, while guaranteeing the computational efficiency required in a real surgical scenario. The framework is made publicly available.


title: Generalized Wave Operators in von Neumann Algebras

abstract: Let $\mathcal{M}\subseteq\mathcal{B}\left( \mathcal{H}\right) $ be a countable decomposable properly infinite von Neumann algebra with a faithful normal semifinite tracial weight $\tau$ where $\mathcal{B}\left( \mathcal{H}\right) $ is the set of all bounded linear operators on Hilbert space $\mathcal{H}.$ The main purpose of this article is to introduce generalized weak wave operators $\widetilde{W}_{\pm}$, generalized weak abelian wave operators $\widetilde{\mathfrak{U}}_{\pm}$ and generalized stationary wave operators $\mathcal{U}_{\pm}$ in $\mathcal{M}$ and then to explore the relation among $\widetilde{W}_{\pm},$ $\widetilde{\mathfrak{U}% }_{\pm}$, $\mathcal{U}_{\pm}$ and generalized wave operators $W_{\pm}.$


title: Non-Markovian quantum thermometry

abstract: The rapidly developing quantum technologies and thermodynamics have put forward a requirement to precisely control and measure the temperature of microscopic matter at the quantum level. Many quantum thermometry schemes have been proposed. However, precisely measuring low temperature is still challenging because the obtained sensing errors generally tend to diverge with decreasing temperature. Using a continuous-variable system as a thermometer, we propose non-Markovian quantum thermometry to measure the temperature of a quantum reservoir. A mechanism to make the sensing error $\delta T$ scale with the temperature $T$ as the Landau bound $\delta T\simeq T$ in the full-temperature regime is discovered. Our analysis reveals that it is the quantum criticality of the total thermometer-reservoir system that causes this enhanced sensitivity. Efficiently avoiding the error-divergence problem, our result gives an efficient way to precisely measure the low temperature of quantum systems.


title: An improved characterisation of regular generalised functions of white noise and an application to singular SPDEs

abstract: A characterisation of the spaces $\mathcal{G}_K$ and $\mathcal{G}_K'$ introduced in Grothaus et al. (Methods Funct Anal Topol 3(2):46-64, 1997) and Potthoff and Timpel (Potential Anal 4(6):637-654, 1995) is given. A first characterisation of these spaces provided in Grothaus et al. (Methods Funct Anal Topol 3(2):46-64, 1997) uses the concepts of holomorphy on infinite dimensional spaces. We, instead, give a characterisation in terms of U-functionals, i.e., classic holomorphic function on the one dimensional field of complex numbers. We apply our new characterisation to derive new results concerning a stochastic transport equation and the stochastic heat equation with multiplicative noise.


title: LightTag: Text Annotation Platform

abstract: Text annotation tools assume that their user's goal is to create a labeled corpus. However, users view annotation as a necessary evil on the way to deliver business value through NLP. Thus an annotation tool should optimize for the throughput of the global NLP process, not only the productivity of individual annotators. LightTag is a text annotation tool designed and built on that principle. This paper shares our design rationale, data modeling choices, and user interface decisions then illustrates how those choices serve the full NLP lifecycle.


title: Hydrodynamic lift of a two-dimensional liquid domain with odd viscosity

abstract: We discuss hydrodynamic forces acting on a two-dimensional liquid domain that moves laterally within a supported fluid membrane in the presence of odd viscosity. Since active rotating proteins can accumulate inside the domain, we focus on the difference in odd viscosity between the inside and outside of the domain. Taking into account the momentum leakage from a two-dimensional incompressible fluid to the underlying substrate, we analytically obtain the fluid flow induced by the lateral domain motion, and calculate the drag and lift forces acting on the moving liquid domain. In contrast to the passive case without odd viscosity, the lateral lift arises in the active case only when the in/out odd viscosities are different. The in/out contrast in the odd viscosity leads to nonreciprocal hydrodynamic responses of an active liquid domain.


title: Automatic Segmentation of the Optic Nerve Head Region in Optical Coherence Tomography: A Methodological Review

abstract: The optic nerve head represents the intraocular section of the optic nerve (ONH), which is prone to damage by intraocular pressure. The advent of optical coherence tomography (OCT) has enabled the evaluation of novel optic nerve head parameters, namely the depth and curvature of the lamina cribrosa (LC). Together with the Bruch's membrane opening minimum-rim-width, these seem to be promising optic nerve head parameters for diagnosis and monitoring of retinal diseases such as glaucoma. Nonetheless, these optical coherence tomography derived biomarkers are mostly extracted through manual segmentation, which is time-consuming and prone to bias, thus limiting their usability in clinical practice. The automatic segmentation of optic nerve head in OCT scans could further improve the current clinical management of glaucoma and other diseases. This review summarizes the current state-of-the-art in automatic segmentation of the ONH in OCT. PubMed and Scopus were used to perform a systematic review. Additional works from other databases (IEEE, Google Scholar and ARVO IOVS) were also included, resulting in a total of 27 reviewed studies. For each algorithm, the methods, the size and type of dataset used for validation, and the respective results were carefully analyzed. The results show that deep learning-based algorithms provide the highest accuracy, sensitivity and specificity for segmenting the different structures of the ONH including the LC. However, a lack of consensus regarding the definition of segmented regions, extracted parameters and validation approaches has been observed, highlighting the importance and need of standardized methodologies for ONH segmentation.


title: Safe Reinforcement Learning using Formal Verification for Tissue Retraction in Autonomous Robotic-Assisted Surgery

abstract: Deep Reinforcement Learning (DRL) is a viable solution for automating repetitive surgical subtasks due to its ability to learn complex behaviours in a dynamic environment. This task automation could lead to reduced surgeon's cognitive workload, increased precision in critical aspects of the surgery, and fewer patient-related complications. However, current DRL methods do not guarantee any safety criteria as they maximise cumulative rewards without considering the risks associated with the actions performed. Due to this limitation, the application of DRL in the safety-critical paradigm of robot-assisted Minimally Invasive Surgery (MIS) has been constrained. In this work, we introduce a Safe-DRL framework that incorporates safety constraints for the automation of surgical subtasks via DRL training. We validate our approach in a virtual scene that replicates a tissue retraction task commonly occurring in multiple phases of an MIS. Furthermore, to evaluate the safe behaviour of the robotic arms, we formulate a formal verification tool for DRL methods that provides the probability of unsafe configurations. Our results indicate that a formal analysis guarantees safety with high confidence such that the robotic instruments operate within the safe workspace and avoid hazardous interaction with other anatomical structures.


title: Modelling the stellar halo with RR-Lyrae stars

abstract: A seven-parameter distribution function (DF) is fitted to $20\,000$ RR-Lyrae stars for which only astrometric data are available. The observational data are predicted by the DF in conjunction with the gravitational potential of a self-consistent model Galaxy defined by DFs for the dark halo, the bulge and a four-component disc. Tests of the technique developed to deal with missing line-of-sight velocities show that adding such velocities tightens constraints on the DF only slightly. The recovered model of the RR-Lyrae population confirms that the population is flattened and has a strongly radially biased velocity distribution. At large radii its density profile tends to $\rho\sim r^{-4.5}$ but no power law provides a good fit inside the solar sphere. The model is shown to provide an excellent fit to the data for stars brighter than $r=16.5$ but at certain longitudes it predicts too few faint stars at Galactocentric radii $\sim20\mbox{kpc}$, possibly signalling that the halo is not axisymmetric. The DF is used to predict the velocity distribution of BHB stars for which space velocities are available. The $z$ components are predicted successfully but too much anisotropy in the $v_Rv_\phi$ plane is expected.


title: MyProfessors: Mining Turkish Student Reviews

abstract: We introduce Hocalarim (MyProfessors), the largest student review dataset available for the Turkish language. It consists of over 5000 professor reviews left online by students, with different aspects of education rated on a scale of 1 to 5 stars. We investigate the properties of the dataset and present its statistics. We examine the impact of students' institution type on their ratings and the correlation of students' bias to give positive or negative feedback.


title: Collapse of N$=$28 magicity in exotic $^{40}$Mg -- Probe of deformed halo and 2n-radioactivity at Mg neutron drip-line

abstract: The exotic phenomenon of two-neutron halos and 2n-radioactivity are explored in the neutron-rich $^{40,42,44}$Mg by employing various variants of the relativistic mean-field approach. The extended tail of spatial density distributions including the enhanced neutron radii and skin thickness, pairing correlations, single-particle spectrum and wave functions predict $^{40,42,44}$Mg to be strong candidates for deformed neutron halos. Weakening of magicity at N$=$28 plays a significant role in the existence of a weakly bound halo in $^{40}$Mg which is currently the heaviest isotope of Mg accessible experimentally. Large deformation, mixing of f-p shell Nilsson orbitals and the valence neutron occupancy of p-states leads to a reduced centrifugal barrier and broader spatial density distributions that favour 2n-radioactivity in $^{42,44}$Mg.


title: Robust Congestion Control for Demand-Based Optimization in Precoded Multi-Beam High Throughput Satellite Communications

abstract: High-throughput satellite communication systems are growing in strategic importance thanks to their role in delivering broadband services to mobile platforms and residences and/or businesses in rural and remote regions globally. Although precoding has emerged as a prominent technique to meet ever-increasing user demands, there is a lack of studies dealing with congestion control. This paper enhances the performance of multi-beam high throughput geostationary satellite systems under congestion, where the users' quality of service (QoS) demands cannot be fully satisfied with limited resources. In particular, we propose congestion control strategies, relying on simple power control schemes. We formulate a multi-objective optimization framework balancing the system sum-rate and the number of users satisfying their QoS requirements. Next, we propose two novel approaches that effectively handle the proposed multi-objective optimization problem. The former is a model-based approach that relies on the weighted sum method to enrich the number of satisfied users by solving a series of the sum-rate optimization problems in an iterative manner. The latter is a data-driven approach that offers a low-cost solution by utilizing supervised learning and exploiting the optimization structures as continuous mappings. The proposed general framework is evaluated for different linear precoding techniques, for which the low computational complexity algorithms are designed. Numerical results manifest that our proposed framework effectively handles the congestion issue and brings superior improvements of rate satisfaction to many users than previous works. Furthermore, the proposed algorithms show low run-time and make them realistic for practical systems.


title: A Survey on Resilience in the IoT: Taxonomy, Classification and Discussion of Resilience Mechanisms

abstract: Internet-of-Things (IoT) ecosystems tend to grow both in scale and complexity as they consist of a variety of heterogeneous devices, which span over multiple architectural IoT layers (e.g., cloud, edge, sensors). Further, IoT systems increasingly demand the resilient operability of services as they become part of critical infrastructures. This leads to a broad variety of research works that aim to increase the resilience of these systems. In this paper, we create a systematization of knowledge about existing scientific efforts of making IoT systems resilient. In particular, we first discuss the taxonomy and classification of resilience and resilience mechanisms and subsequently survey state-of-the-art resilience mechanisms that have been proposed by research work and are applicable to IoT. As part of the survey, we also discuss questions that focus on the practical aspects of resilience, e.g., which constraints resilience mechanisms impose on developers when designing resilient systems by incorporating a specific mechanism into IoT systems.


title: Predicting Performance of SLAM Algorithms

abstract: Among the abilities that autonomous mobile robots should exhibit, map building and localization are definitely recognized as fundamental. Consequently, countless algorithms for solving the Simultaneous Localization And Mapping (SLAM) problem have been proposed. Currently, their evaluation is performed ex-post, according to outcomes obtained when running the algorithms on data collected by robots in real or simulated environments. In this paper, we present a novel method that allows the ex-ante prediction of the performance of a SLAM algorithm in an unseen environment, before it is actually run. Our method collects the performance of a SLAM algorithm in a number of simulated environments, builds a model that represents the relationship between the observed performance and some geometrical features of the environments, and exploits such model to predict the performance of the algorithm in an unseen environment starting from its features.


title: Phase-dependent transport in thermally-driven superconducting single-electron transistors

abstract: We investigate thermally-driven transport of heat and charge in a superconducting single-electron transistor by means of a real-time diagrammatic transport theory. Our theoretical approach allows us to account for strong Coulomb interactions and arbitrary nonequilibrium conditions while performing a systematic expansion in the tunnel coupling. We find that a temperature bias across the system gives rise to finite heat and charge currents close to the particle-hole symmetric point which depend both on the gate voltage as well as on the phase difference between the superconducting reservoirs. The finite thermoelectric effect arises due to level renormalization from virtual tunneling processes. Furthermore, we find that the phase bias can give rise to finite charge currents even in the presence of an inversion-symmetric temperature bias.


title: Narratives in economics

abstract: There is growing awareness within the economics profession of the important role narratives play in the economy. Even though empirical approaches that try to quantify economic narratives are getting increasingly popular, there is no theory or even a universally accepted definition of economic narratives underlying this research. First, we review and categorize the economic literature concerned with narratives and work out the different paradigms that are at play. Only a subset of the literature considers narratives to be active drivers of economic activity. In order to solidify the foundation of narrative economics, we propose a definition of collective economic narratives, isolating five important characteristics. We argue that, for a narrative to be economically relevant, it must be a sense-making story that emerges in a social context and suggests action to a social group. We also systematize how a collective economic narrative differs from a topic and from other kinds of narratives that are likely to have less impact on the economy. With regard to the popular use of topic modeling as an empirical strategy, we suggest that the complementary use of other canonical methods from the natural language processing toolkit and the development of new methods is inevitable to go beyond identifying topics and be able to move towards true empirical narrative economics.


title: Hindsight Reward Tweaking via Conditional Deep Reinforcement Learning

abstract: Designing optimal reward functions has been desired but extremely difficult in reinforcement learning (RL). When it comes to modern complex tasks, sophisticated reward functions are widely used to simplify policy learning yet even a tiny adjustment on them is expensive to evaluate due to the drastically increasing cost of training. To this end, we propose a hindsight reward tweaking approach by designing a novel paradigm for deep reinforcement learning to model the influences of reward functions within a near-optimal space. We simply extend the input observation with a condition vector linearly correlated with the effective environment reward parameters and train the model in a conventional manner except for randomizing reward configurations, obtaining a hyper-policy whose characteristics are sensitively regulated over the condition space. We demonstrate the feasibility of this approach and study one of its potential application in policy performance boosting with multiple MuJoCo tasks.


title: Full-color photon-counting single-pixel imaging

abstract: We propose and experimentally demonstrate a high-efficiency single-pixel imaging (SPI) scheme by integrating time-correlated single-photon counting (TCSPC) with time-division multiplexing to acquire full-color images at extremely low light level. This SPI scheme uses a digital micromirror device to modulate a sequence of laser pulses with preset delays to achieve three-color structured illumination, then employs a photomultiplier tube into the TCSPC module to achieve photon-counting detection. By exploiting the time-resolved capabilities of TCSPC, we demodulate the spectrum-image-encoded signals, and then reconstruct high-quality full-color images in a single-round of measurement. Based on this scheme, the strategies such as single-step measurement, high-speed projection, and undersampling can further improve the imaging efficiency.


title: Characterizing Crisp Simulations and Crisp Directed Simulations between Fuzzy Labeled Transition Systems by Using Fuzzy Modal Logics

abstract: We formulate and prove logical characterizations of crisp simulations and crisp directed simulations between fuzzy labeled transition systems with respect to fuzzy modal logics that use a general t-norm-based semantics. The considered logics are fragments of the fuzzy propositional dynamic logic with the Baaz projection operator. The logical characterizations concern preservation of positive existential (respectively, positive) modal formulas under crisp simulations (respectively, crisp directed simulations), as well as the Hennessy-Milner property of such simulations.


title: Non-Markovianity and entanglement detection

abstract: We have established a novel method to detect non-Markovian indivisible quantum channels using structural physical approximation. We have shown that this method can be used to detect eternal non -Markovian operations. We have further established that harnessing eternal non-Markovianity, we can device a protocol to detect quantum entanglement.


title: Towards an Approach to Contextual Detection of Multi-Stage Cyber Attacks in Smart Grids

abstract: Electric power grids are at risk of being compromised by high-impact cyber-security threats such as coordinated, timed attacks. Navigating this new threat landscape requires a deep understanding of the potential risks and complex attack processes in energy information systems, which in turn demands an unmanageable manual effort to timely process a large amount of cross-domain information. To provide an adequate basis to contextually assess and understand the situation of smart grids in case of coordinated cyber-attacks, we need a systematic and coherent approach to identify cyber incidents. In this paper, we present an approach that collects and correlates cross-domain cyber threat information to detect multi-stage cyber-attacks in energy information systems. We investigate the applicability and performance of the presented correlation approach and discuss the results to highlight challenges in domain-specific detection mechanisms.


title: Universal Joint Source-Channel Coding Under an Input Energy Constraint

abstract: We consider the problem of transmitting a source over an infinite-bandwidth additive white Gaussian noise channel with unknown noise level under an input energy constraint. We construct a universal scheme that uses modulo-lattice modulation with multiple layers; for each layer, we employ either analog linear modulation or analog pulse position modulation (PPM). We show that the designed scheme with linear layers requires less energy compared to existing solutions to achieve the same quadratically increasing distortion profile with the noise level; replacing the linear layers with PPM layers offers an additional improvement.


title: Forward Modeling of Simulated Transverse Oscillations in Coronal Loops and the Influence of Background Emission

abstract: We simulate transverse oscillations in radiatively cooling coronal loops and forward-model their spectroscopic and imaging signatures, paying attention to the influence of background emission. The transverse oscillations are driven at one footpoint by a periodic velocity driver. A standing kink wave is subsequently formed and the loop cross-section is deformed due to the Kelvin-Helmholtz instability, resulting in energy dissipation and heating at small scales. Besides the transverse motions, a long-period longitudinal flow is also generated due to the ponderomotive force induced slow wave. We then transform the simulated straight loop to a semi-torus loop and forward-model their spectrometer and imaging emissions, mimicking observations of Hinode/EIS and SDO/AIA. We find that the oscillation amplitudes of the intensity are different at different slit positions, but are roughly the same in different spectral lines or channels. X-t diagrams of both the Doppler velocity and the Doppler width show periodic signals. We also find that the background emission dramatically decreases the Doppler velocity, making the estimated kinetic energy two orders of magnitude smaller than the real value. Our results show that background subtraction can help recover the real oscillation velocity. These results are helpful for further understanding transverse oscillations in coronal loops and their observational signatures. However, they cast doubt on the spectroscopically estimated energy content of transverse waves using the Doppler velocity.


title: Functions of perturbed noncommuting unbounded self-adjoint operators

abstract: Let $f$ be a function on ${\Bbb R}^2$ in the inhomogeneous Besov space $B_{\infty,1}^1({\Bbb R}^2)$. For a pair $(A,B)$ of not necessarily bounded and not necessarily commuting self-adjoint operators, we define the function $f(A,B)$ of $A$ and $B$ as a densely defined linear operator. We show that if $1\le p\le2$, $(A_1,B_1)$ and $(A_2,B_2)$ are pairs of not necessarily bounded and not necessarily commuting self-adjoint operators such that both $A_1-A_2$ and $B_1-B_2$ belong to the Schatten--von Neumann class $\boldsymbol{S}_p$ and $f$ is in the above inhomogeneous Besov space, then the following Lipschitz type estimate holds: $$ \|f(A_1,B_1)-f(A_2,B_2)\|_{\boldsymbol{S}_p} \le\operatorname{const}\max\big\{\|A_1-A_2\|_{\boldsymbol{S}_p},\|B_1-B_2\|_{\boldsymbol{S}_p}\big\}. $$


title: Khaos: Dynamically Optimizing Checkpointing for Dependable Distributed Stream Processing

abstract: Distributed Stream Processing systems are becoming an increasingly essential part of Big Data processing platforms as users grow ever more reliant on their ability to provide fast access to new results. As such, making timely decisions based on these results is dependent on a system's ability to tolerate failure. Typically, these systems achieve fault tolerance and the ability to recover automatically from partial failures by implementing checkpoint and rollback recovery. However, owing to the statistical probability of partial failures occurring in these distributed environments and the variability of workloads upon which jobs are expected to operate, static configurations will often not meet Quality of Service constraints with low overhead. In this paper we present Khaos, a new approach which utilizes the parallel processing capabilities of virtual cloud automation technologies for the automatic runtime optimization of fault tolerance configurations in Distributed Stream Processing jobs. Our approach employs three subsequent phases which borrows from the principles of Chaos Engineering: establish the steady-state processing conditions, conduct experiments to better understand how the system performs under failure, and use this knowledge to continuously minimize Quality of Service violations. We implemented Khaos prototypically together with Apache Flink and demonstrate its usefulness experimentally.


title: Relaxation of the Ising spin system coupled to a bosonic bath and the time dependent mean field equation

abstract: The Ising model doesn't have a strictly defined dynamics, only a spectrum. There are different ways to equip it with a time dependence e.g. the Glauber or the Kawasaki dynamics, which are both stochastic, but it means there is a master equation which can also describes their dynamics. We present a Gluber-type master equation derived from the Redfield equation, where the spin system is coupled to a bosonic bath. We derive a time dependent mean field equation which describes the relaxation of the spin system at finite temperature. Using the fully connected, uniform Ising model the relaxation time will be studied, and the critical behaviour around the critical temperature. The master equation shows the finite size effects, and the mean field equation the thermodynamic limit.


title: Automated Cardiac Resting Phase Detection Targeted on the Right Coronary Artery

abstract: Static cardiac imaging such as late gadolinium enhancement, mapping, or 3-D coronary angiography require prior information, e.g., the phase during a cardiac cycle with least motion, called resting phase (RP). The purpose of this work is to propose a fully automated framework that allows the detection of the right coronary artery (RCA) RP within CINE series. The proposed prototype system consists of three main steps. First, the localization of the regions of interest (ROI) is performed. Second, the cropped ROI series are taken for tracking motions over all time points. Third, the output motion values are used to classify RPs. In this work, we focused on the detection of the area with the outer edge of the cross-section of the RCA as our target. The proposed framework was evaluated on 102 clinically acquired dataset at 1.5T and 3T. The automatically classified RPs were compared with the reference RPs annotated manually by a expert for testing the robustness and feasibility of the framework. The predicted RCA RPs showed high agreement with the experts annotated RPs with 92.7% accuracy, 90.5% sensitivity and 95.0% specificity for the unseen study dataset. The mean absolute difference of the start and end RP was 13.6 $\pm$ 18.6 ms for the validation study dataset (n=102). In this work, automated RP detection has been introduced by the proposed framework and demonstrated feasibility, robustness, and applicability for static imaging acquisitions.


title: On the homeomorphism and homotopy type of complexes of multichains

abstract: In this paper we define and study for a finite partially ordered set P a class of simplicial complexes on the set P_r of r-element multichains from P. The simplicial complexes depend on a strictly monotone function from [r] to [2r]. We show that there exactly 2^r such functions which yield subdivisions of the order complex of P of which 2^{r-1} are pairwise different. Within this class are for example the order complexes of the interval and the zig-zag poset of P and the rth edgewise subdivision of the order complex of P. We also exhibit a large subclass for which our simplicial complexes are order complexes and homotopy equivalent to the order complex of P.


title: Information Theory-Guided Heuristic Progressive Multi-View Coding

abstract: Multi-view representation learning captures comprehensive information from multiple views of a shared context. Recent works intuitively apply contrastive learning (CL) to learn representations, regarded as a pairwise manner, which is still scalable: view-specific noise is not filtered in learning view-shared representations; the fake negative pairs, where the negative terms are actually within the same class as the positive, and the real negative pairs are coequally treated; and evenly measuring the similarities between terms might interfere with optimization. Importantly, few works research the theoretical framework of generalized self-supervised multi-view learning, especially for more than two views. To this end, we rethink the existing multi-view learning paradigm from the information theoretical perspective and then propose a novel information theoretical framework for generalized multi-view learning. Guided by it, we build a multi-view coding method with a three-tier progressive architecture, namely Information theory-guided heuristic Progressive Multi-view Coding (IPMC). In the distribution-tier, IPMC aligns the distribution between views to reduce view-specific noise. In the set-tier, IPMC builds self-adjusted pools for contrasting, which utilizes a view filter to adaptively modify the pools. Lastly, in the instance-tier, we adopt a designed unified loss to learn discriminative representations and reduce the gradient interference. Theoretically and empirically, we demonstrate the superiority of IPMC over state-of-the-art methods.


title: Tensor Normalization and Full Distribution Training

abstract: In this work, we introduce pixel wise tensor normalization, which is inserted after rectifier linear units and, together with batch normalization, provides a significant improvement in the accuracy of modern deep neural networks. In addition, this work deals with the robustness of networks. We show that the factorized superposition of images from the training set and the reformulation of the multi class problem into a multi-label problem yields significantly more robust networks. The reformulation and the adjustment of the multi class log loss also improves the results compared to the overlay with only one class as label. https://atreus.informatik.uni-tuebingen.de/seafile/d/8e2ab8c3fdd444e1a135/?p=%2FTNandFDT&mode=list


title: Multilevel control by duality

abstract: We discuss the multilevel control problem for linear dynamical systems, consisting in designing a piece-wise constant control function taking values in a finite-dimensional set. In particular, we provide a complete characterization of multilevel controls through a duality approach, based on the minimization of a suitable cost functional. In this manner we build optimal multi-level controls and characterize the time needed for a given ensemble of levels to assure the controllability of the system. Moreover, this method leads to efficient numerical algorithms for computing multilevel controls.


title: Discrete-Time Linear-Quadratic Regulation via Optimal Transport

abstract: In this paper, we consider a discrete-time stochastic control problem with uncertain initial and target states. We first discuss the connection between optimal transport and stochastic control problems of this form. Next, we formulate a linear-quadratic regulator problem where the initial and terminal states are distributed according to specified probability densities. A closed-form solution for the optimal transport map in the case of linear-time varying systems is derived, along with an algorithm for computing the optimal map. Two numerical examples pertaining to swarm deployment demonstrate the practical applicability of the model, and performance of the numerical method.


title: Universal scaling and criticality of extremes in random matrix theory

abstract: We present a random-matrix realization of a two-dimensional percolation model with the occupation probability $p$. We find that the behavior of the model is governed by the two first extreme eigenvalues. While the second extreme eigenvalue resides on the moving edge of the semicircle bulk distribution with an additional semicircle functionality on $p$, the first extreme exhibits a disjoint isolated Gaussian statistics which is responsible for the emergence of a rich finite-size scaling and criticality. Our extensive numerical simulations along with analytical arguments unravel the power-law divergences due to the coalescence of the first two extreme eigenvalues in the thermodynamic limit. We develop a scaling law that provides a universal framework in terms of a set of scaling exponents uncovering the full finite-size scaling behavior of the extreme eigenvalue's fluctuation. Our study may provide a simple practical approach to capture the criticality in complex systems and their inverse problems with a possible extension to the interacting systems.

categories: cond-mat.stat-mech math-ph math.MP physics.data-an


title: Smart Grids Co-Simulations: Survey & Research Directions

abstract: The integration of renewable sources, communication and power networks with information and communication technologies is one of the main challenges in Smart Grids (SG) large-scale testing. For this reason, the coupling of simulators is commonly used to dynamically simulate several aspects of the SG infrastructure, in the so-called co-simulations. In this paper, we provide a scoping review of research of co-simulations in the context of Smart Grids: i) research areas and research problems addressed by co-simulations, ii) specific co-simulation aspects focus of research, iii) typical coupling of simulators in co-simulation studies. Based on the results, we discuss research directions of future SG co-simulation research in each of the identified areas.


title: Hamiltonian study of the asymptotic symmetries of gauge theories

abstract: Asymptotic symmetries are a general and important feature of theories with long-ranging fields, such as gravity, electromagnetism, and Yang-Mills. They appear in the formalism once the analytic behaviour of fields near infinity is specified and have received a renewed interest in the last years after a possible connection with the information-loss paradox has been conjectured. One of the various methods used to study the asymptotic symmetries of field theories relies on the Hamiltonian formalism and was introduced in the seminal work of Henneaux and Troessaert, who successfully applied it to the case of gravity and electrodynamics. The main advantage of this approach is that the study of the asymptotic symmetries ensues from clear-cut first principles. After an extensive review of how the Hamiltonian approach to study asymptotic symmetries of gauge theories works, we apply these methods to two specific situations of physical interest. First, we deal with the non-abelian Yang-Mills case and we show that the above principles lead to trivial asymptotic symmetries (nothing else than the Poincar\'e group) and, as a consequence, to a vanishing total colour charge. This is a new and somewhat unexpected result. It implies that no globally colour-charged states exist in classical non-abelian Yang-Mills theory. The second situation considered is a scalar field minimally-coupled to an abelian gauge field, which can be used to study, at the same time, two specific cases: scalar electrodynamics and the abelian Higgs model. We show that the situation in scalar electrodynamics amply depends on whether the scalar field is massive or massless, insofar as, in the latter case, one cannot canonically implement asymptotic symmetries. Furthermore, we illustrate that, in the abelian Higgs model, the asymptotic canonical symmetries reduce to the Poincar\'e group in an unproblematic fashion.


title: F3: Fair and Federated Face Attribute Classification with Heterogeneous Data

abstract: Fairness across different demographic groups is an essential criterion for face-related tasks, Face Attribute Classification (FAC) being a prominent example. Apart from this trend, Federated Learning (FL) is increasingly gaining traction as a scalable paradigm for distributed training. Existing FL approaches require data homogeneity to ensure fairness. However, this assumption is too restrictive in real-world settings. We propose F3, a novel FL framework for fair FAC under data heterogeneity. F3 adopts multiple heuristics to improve fairness across different demographic groups without requiring data homogeneity assumption. We demonstrate the efficacy of F3 by reporting empirically observed fairness measures and accuracy guarantees on popular face datasets. Our results suggest that F3 strikes a practical balance between accuracy and fairness for FAC.


title: On the Suitability of Blockchain Platforms for IoT Applications: Architectures, Security, Privacy, and Performance

abstract: Blockchain and distributed ledger technologies have received significant interest in various areas beyond the financial sector, with profound applications in the Internet of Things (IoT), providing the means for creating truly trustless and secure solutions for IoT applications. Taking into account the weak security defences that the majority of IoT devices have, it is critical that a blockchain-based solution targeting the IoT is not only capable of addressing the many challenges IoT is facing, but also does not introduce other defects, in terms of performance, making its adoption hard to achieve. This paper aims at addressing the above needs by providing a comprehensive and coherent review of the available blockchain solutions to determine their ability to meet the requirements and tackle the challenges of the IoT, using the smart home as the reference domain. Key architectural aspects of blockchain solutions are examined in terms of their ability to withstand various types of common IoT and blockchain attacks, deliver enhanced privacy features, and assure adequate performance levels while processing large amounts of transactions being generated in an IoT environment. The analysis carried out identified that the defences currently provided by blockchain platforms are not sufficient to thwart all the prominent attacks against blockchains, with blockchain 1.0 and 2.0 platforms being susceptible to the majority of them. On the other side, privacy related mechanisms are being supported, to varying degrees, by all platforms investigated; however, each of the them tackles specific only privacy aspects, thus rendering the overall privacy evaluation a challenging task which needs to be considered in an ad-hoc basis. If the underlying consensus protocols performance and fault tolerance is also considered, then only a small number of platforms meet the requirements of our reference IoT domain.


title: Reconfigurable Intelligent Surface Empowered Over-the-Air Federated Edge Learning

abstract: Federated edge learning (FEEL) has emerged as a revolutionary paradigm to develop AI services at the edge of 6G wireless networks as it supports collaborative model training at a massive number of mobile devices. However, model communication over wireless channels, especially in uplink model uploading of FEEL, has been widely recognized as a bottleneck that critically limits the efficiency of FEEL. Although over-the-air computation can alleviate the excessive cost of radio resources in FEEL model uploading, practical implementations of over-the-air FEEL still suffer from several challenges, including strong straggler issues, large communication overheads, and potential privacy leakage. In this article, we study these challenges in over-the-air FEEL and leverage reconfigurable intelligent surface (RIS), a key enabler of future wireless systems, to address these challenges. We study the state-of-the-art solutions on RIS-empowered FEEL and explore the promising research opportunities for adopting RIS to enhance FEEL performance.


title: Method for making multi-attribute decisions in wargames by combining intuitionistic fuzzy numbers with reinforcement learning

abstract: Researchers are increasingly focusing on intelligent games as a hot research area.The article proposes an algorithm that combines the multi-attribute management and reinforcement learning methods, and that combined their effect on wargaming, it solves the problem of the agent's low rate of winning against specific rules and its inability to quickly converge during intelligent wargame training.At the same time, this paper studied a multi-attribute decision making and reinforcement learning algorithm in a wargame simulation environment, and obtained data on red and blue conflict.Calculate the weight of each attribute based on the intuitionistic fuzzy number weight calculations. Then determine the threat posed by each opponent's chess pieces.Using the red side reinforcement learning reward function, the AC framework is trained on the reward function, and an algorithm combining multi-attribute decision-making with reinforcement learning is obtained. A simulation experiment confirms that the algorithm of multi-attribute decision-making combined with reinforcement learning presented in this paper is significantly more intelligent than the pure reinforcement learning algorithm.By resolving the shortcomings of the agent's neural network, coupled with sparse rewards in large-map combat games, this robust algorithm effectively reduces the difficulties of convergence. It is also the first time in this field that an algorithm design for intelligent wargaming combines multi-attribute decision making with reinforcement learning.Attempt interdisciplinary cross-innovation in the academic field, like designing intelligent wargames and improving reinforcement learning algorithms.


title: A Farewell to the Bias-Variance Tradeoff? An Overview of the Theory of Overparameterized Machine Learning

abstract: The rapid recent progress in machine learning (ML) has raised a number of scientific questions that challenge the longstanding dogma of the field. One of the most important riddles is the good empirical generalization of overparameterized models. Overparameterized models are excessively complex with respect to the size of the training dataset, which results in them perfectly fitting (i.e., interpolating) the training data, which is usually noisy. Such interpolation of noisy data is traditionally associated with detrimental overfitting, and yet a wide range of interpolating models -- from simple linear models to deep neural networks -- have recently been observed to generalize extremely well on fresh test data. Indeed, the recently discovered double descent phenomenon has revealed that highly overparameterized models often improve over the best underparameterized model in test performance. Understanding learning in this overparameterized regime requires new theory and foundational empirical studies, even for the simplest case of the linear model. The underpinnings of this understanding have been laid in very recent analyses of overparameterized linear regression and related statistical learning tasks, which resulted in precise analytic characterizations of double descent. This paper provides a succinct overview of this emerging theory of overparameterized ML (henceforth abbreviated as TOPML) that explains these recent findings through a statistical signal processing perspective. We emphasize the unique aspects that define the TOPML research area as a subfield of modern ML theory and outline interesting open questions that remain.


title: Stackelberg-Nash null controllability of heat equation with general dynamic boundary conditions

abstract: This paper deals with the hierarchical control of the anisotropic heat equation with dynamic boundary conditions and drift terms. We use the Stackelberg-Nash strategy with one leader and two followers. To each fixed leader, we find a Nash equilibrium corresponding to a bi-objective optimal control problem for the followers. Then, by some new Carleman estimates, we prove a null controllability result.


title: Fighting Selection Bias in Statistical Learning: Application to Visual Recognition from Biased Image Databases

abstract: In practice, and especially when training deep neural networks, visual recognition rules are often learned based on various sources of information. On the other hand, the recent deployment of facial recognition systems with uneven performances on different population segments has highlighted the representativeness issues induced by a naive aggregation of the datasets. In this paper, we show how biasing models can remedy these problems. Based on the (approximate) knowledge of the biasing mechanisms at work, our approach consists in reweighting the observations, so as to form a nearly debiased estimator of the target distribution. One key condition is that the supports of the biased distributions must partly overlap, and cover the support of the target distribution. In order to meet this requirement in practice, we propose to use a low dimensional image representation, shared across the image databases. Finally, we provide numerical experiments highlighting the relevance of our approach.


title: Pointspectrum: Equivariance Meets Laplacian Filtering for Graph Representation Learning

abstract: Graph Representation Learning (GRL) has become essential for modern graph data mining and learning tasks. GRL aims to capture the graph's structural information and exploit it in combination with node and edge attributes to compute low-dimensional representations. While Graph Neural Networks (GNNs) have been used in state-of-the-art GRL architectures, they have been shown to suffer from over smoothing when many GNN layers need to be stacked. In a different GRL approach, spectral methods based on graph filtering have emerged addressing over smoothing; however, up to now, they employ traditional neural networks that cannot efficiently exploit the structure of graph data. Motivated by this, we propose PointSpectrum, a spectral method that incorporates a set equivariant network to account for a graph's structure. PointSpectrum enhances the efficiency and expressiveness of spectral methods, while it outperforms or competes with state-of-the-art GRL methods. Overall, PointSpectrum addresses over smoothing by employing a graph filter and captures a graph's structure through set equivariance, lying on the intersection of GNNs and spectral methods. Our findings are promising for the benefits and applicability of this architectural shift for spectral methods and GRL.


title: Examining the tech stacks of Czech and Slovak untrustworthy websites

abstract: The burgeoning of misleading or false information spread by untrustworthy websites has, without doubt, created a dangerous concoction. Thus, it is not a surprise that the threat posed by untrustworthy websites has emerged as a central concern on the public agenda in many countries, including Czechia and Slovakia. However, combating this harmful phenomenon has proven to be difficult, with approaches primarily focusing on tackling consequences instead of prevention, as websites are routinely seen as quasi-sovereign organisms. Websites, however, rely upon a host of service providers, which, in a way, hold substantial power over them. Notwithstanding the apparent power hold by such tech stack layers, scholarship on this topic remains largely limited. This article contributes to this small body of knowledge by providing a first-of-its-kind systematic mapping of the back-end infrastructural support that makes up the tech stacks of Czech and Slovak untrustworthy websites. Our approach is based on collecting and analyzing data on top-level domain operators, domain name Registrars, email providers, web hosting providers, and utilized website tracking technologies of 150 Czech and Slovak untrustworthy websites. Our findings show that the Czech and Slovak untrustworthy website landscape relies on a vast number of back-end services spread across multiple countries, but in key tech stack layers is nevertheless still heavily dominated by locally based companies. Finally, given our findings, we discuss various possible avenues of utilizing the numeral tech stack layers in combating online disinformation.


title: An axiomatization of $\Lambda$-quantiles

abstract: We give an axiomatic foundation to $\Lambda$-quantiles, a family of generalized quantiles introduced by Frittelli et al. (2014) under the name of Lambda Value at Risk. Under mild assumptions, we show that these functionals are characterized by a property that we call "locality", that means that any change in the distribution of the probability mass that arises entirely above or below the value of the $\Lambda$-quantile does not modify its value. We compare with a related axiomatization of the usual quantiles given by Chambers (2009), based on the stronger property of "ordinal covariance", that means that quantiles are covariant with respect to increasing transformations. Further, we present a systematic treatment of the properties of $\Lambda$-quantiles, refining some of the results of Frittelli et al. (2014) and Burzoni et al. (2017) and showing that in the case of a nonincreasing $\Lambda$ the properties of $\Lambda$-quantiles closely resemble those of the usual quantiles.


title: Representations of the Yangians associated with Lie superalgebras ${\frak{osp}}(1|2n)$

abstract: We classify the finite-dimensional irreducible representations of the Yangians associated with the orthosymplectic Lie superalgebras ${\frak{osp}}_{1|2n}$ in terms of the Drinfeld polynomials. The arguments rely on the description of the representations in the particular case $n=1$ obtained in our previous work.


title: Comparing the Machine Readability of Traffic Sign Pictograms in Austria and Germany

abstract: We compare the machine readability of pictograms found on Austrian and German traffic signs. To that end, we train classification models on synthetic data sets and evaluate their classification accuracy in a controlled setting. In particular, we focus on differences between currently deployed pictograms in the two countries, and a set of new pictograms designed to increase human readability. Besides other results, we find that machine-learning models generalize poorly to data sets with pictogram designs they have not been trained on. We conclude that manufacturers of advanced driver-assistance systems (ADAS) must take special care to properly address small visual differences between current and newly designed traffic sign pictograms, as well as between pictograms from different countries.


title: From Alignment to Assignment: Frustratingly Simple Unsupervised Entity Alignment

abstract: Cross-lingual entity alignment (EA) aims to find the equivalent entities between crosslingual KGs, which is a crucial step for integrating KGs. Recently, many GNN-based EA methods are proposed and show decent performance improvements on several public datasets. Meanwhile, existing GNN-based EA methods inevitably inherit poor interpretability and low efficiency from neural networks. Motivated by the isomorphic assumption of GNNbased methods, we successfully transform the cross-lingual EA problem into the assignment problem. Based on this finding, we propose a frustratingly Simple but Effective Unsupervised entity alignment method (SEU) without neural networks. Extensive experiments show that our proposed unsupervised method even beats advanced supervised methods across all public datasets and has high efficiency, interpretability, and stability.


title: Prediction of the capillary pressure of fluid surrounding a cylinder representing an idealized rock structure in porous media

abstract: Liquids in oil-bearing porous media assume complex shapes that depend on the reservoir characteristics and the wetting properties of the liquid. The wide variation in the geometry of rock formations makes it difficult to accurately predict the capillary pressure of small volumes of liquid and hence the likelihood of being able to move it. Here we consider the situation in which a small volume of liquid surrounds an upright cylinder on a flat substrate and predict the shape that the liquid takes and its capillary pressure. We validate our predictions by comparing with Surface Evolver simulations for a range of contact angles and cylinder radii.


title: Fitting fractions of the $X_{\rm max}$ distributions at ultra high energies

abstract: The mass composition of ultra high-energy cosmic ray (UHECRs) can be inferred from measurements of $X_{\rm max}$ distributions by fitting them with Monte Carlo (MC) predictions for different primary species of nuclei in each energy interval. On the basis of Monte Carlo (MC) simulations, we show that an appropriate approach is to fit the observed $X_{\rm max}$ distributions with all possible combinations of elements from a large set of primaries (in our case p, He, C, N, O, Ne, Si and Fe), and to find the "best combination" of elements which best describe the observed $X_{\rm max}$ distributions. We apply this method to the $X_{\rm max}$ distributions recorded by the Pierre Auger (2014) and Telescope Array (TA) (2016) Observatories in the energy range $\lg E (\rm eV) =$ [17.8 - 19.3] and $\lg E (\rm eV) =$ [18.2 - 19.0], respectively, by employing MC predictions of the QGSJETII-04 hadronic interaction model. The results obtained from both data sets suggest that the mass composition of UHECRs is dominated by protons and He nuclei ($\gtrsim 70\%$) which present a modulation of their abundances as a function of primary energy, but keeping their sum roughly constant. We performed an indirect comparison between the two data sets measured by the two experiments and found a good degree of compatibility in some energy bins around and above the \textit{ankle} ($\lg E (\rm eV) \sim 18.7$), but worsening at lower energies. We consider that the current approach, completed with predictions of different hadronic interaction models, can be used in further studies on mass composition to obtain a more accurate image of the evolution of the individual fractions of nuclei as a function of energy on the basis of experimental $X_{\rm max}$ distributions.


title: Thermodynamics and energy loss in D dimensions from holographic QCD model

abstract: We consider the holographic QCD model with a planar horizon in the D dimensions with different consistent metric solutions. We investigate the black hole thermodynamics, phase diagram and equations of state (EoS) in different dimensions. The temperature and chemical potential dependence of the drag force and diffusion coefficient also have been studied. From the results, the energy loss of heavy quark shows an enhancement near the phase transition temperature in D dimensions. This finding illustrates that the energy loss of heavy quark has a nontrivial and non-monotonic dependence on temperature. Furthermore, we find the heavy quark may lose less energy in higher dimension. The diffusion coefficient is larger in higher dimension.


title: Strong-field physics with nanospheres

abstract: When intense laser fields interact with nanoscale targets, strong-field physics meets plasmonic near-field enhancement and sub-wavelength localization of light. Photoemission spectra reflect the associated attosecond optical and electronic response and encode the collisional and collective dynamics of the solid. Nanospheres represent an ideal platform to explore the underlying attosecond nanophysics because of their particularly simple geometry. This review summarizes key results from the last decade and aims to provide the essential stepping stones for students and researchers to enter this field.


title: Marcinkiewicz Sampling Theorem for Orlicz Spaces

abstract: In the article we generalize the Marcinkiewicz sampling theorem in the context of Orlicz spaces. We establish conditions under which sampling theorem holds in terms of restricted submultiplicativity and supermultiplicativity of an $N$-function $\varphi$, boundedness of the Hilbert transform and Matuszewska-Orlicz indices. In addition we give a new criterion for boundedness of Hilbert transform on Orlicz space.


title: Point-Based Neural Rendering with Per-View Optimization

abstract: There has recently been great interest in neural rendering methods. Some approaches use 3D geometry reconstructed with Multi-View Stereo (MVS) but cannot recover from the errors of this process, while others directly learn a volumetric neural representation, but suffer from expensive training and inference. We introduce a general approach that is initialized with MVS, but allows further optimization of scene properties in the space of input views, including depth and reprojected features, resulting in improved novel-view synthesis. A key element of our approach is our new differentiable point-based pipeline, based on bi-directional Elliptical Weighted Average splatting, a probabilistic depth test and effective camera selection. We use these elements together in our neural renderer, that outperforms all previous methods both in quality and speed in almost all scenes we tested. Our pipeline can be applied to multi-view harmonization and stylization in addition to novel-view synthesis.


title: Improved RAMEN: Towards Domain Generalization for Visual Question Answering

abstract: Currently nearing human-level performance, Visual Question Answering (VQA) is an emerging area in artificial intelligence. Established as a multi-disciplinary field in machine learning, both computer vision and natural language processing communities are working together to achieve state-of-the-art (SOTA) performance. However, there is a gap between the SOTA results and real world applications. This is due to the lack of model generalisation. The RAMEN model \cite{Shrestha2019} aimed to achieve domain generalization by obtaining the highest score across two main types of VQA datasets. This study provides two major improvements to the early/late fusion module and aggregation module of the RAMEN architecture, with the objective of further strengthening domain generalization. Vector operations based fusion strategies are introduced for the fusion module and the transformer architecture is introduced for the aggregation module. Improvements of up to five VQA datasets from the experiments conducted are evident. Following the results, this study analyses the effects of both the improvements on the domain generalization problem. The code is available on GitHub though the following link \url{https://github.com/bhanukaManesha/ramen}.


title: Unbiased Estimation of the Hessian for Partially Observed Diffusions

abstract: In this article we consider the development of unbiased estimators of the Hessian, of the log-likelihood function with respect to parameters, for partially observed diffusion processes. These processes arise in numerous applications, where such diffusions require derivative information, either through the Jacobian or Hessian matrix. As time-discretizations of diffusions induce a bias, we provide an unbiased estimator of the Hessian. This is based on using Girsanov's Theorem and randomization schemes developed through Mcleish [2011] and Rhee & Glynn [2015]. We demonstrate our developed estimator of the Hessian is unbiased, and one of finite variance. We numerically test and verify this by comparing the methodology here to that of a newly proposed particle filtering methodology. We test this on a range of diffusion models, which include different Ornstein--Uhlenbeck processes and the Fitzhugh--Nagumo model, arising in neuroscience.


title: Analytical perturbation theory and Nucleon structure function in infrared region

abstract: We employ analytic QCD (anQCD) approach to analyze the unpolarized nucleon structure function (NSF) in deep inelastic scattering ( DIS ) processes at the next-to-leading order (NLO) accuracy. Considering the unreliable results of underlying perturbative QCD (pQCD) at energy scale $Q^2\sim\Lambda ^2$ and even less we modify the calculations at these scales using anQCD approach and compare them with results from underlying pQCD and also with the available experimental data. In these progresses the massive perturbation theory (MPT) model is also used where an effective mass is attributed to gluons. We finally use the Jacobi polynomials formalism to transfer the calculations from Mellin moment space to Bjorken-$x$ space. To confirm the validity of anQCD approach the Gottfired sum rule is also investigated. The achieved numerical results at low energy scales are compatible with what is expected and corresponding to an admissible behaviour of parton densities.


title: Sur la stabilit{\'e} des int{\'e}grales orbitales nilpotentes

abstract: Let G be a connected reductive group defined over a non-archimedean local field of characteristic 0. We assume G is quasi-split, adjoint and absolutly simple. Let g be the Lie algebra of G. We consider the space of the invariant distributions on g(F), which are stable and supported by the set of nilpotent elements of g(F). Magdy Assem has stated several conjectures which describe this space. We prove some of these conjectures, assuming that the residual characteristic of F is "very large" relatively to G.


title: The Solar ALMA Science Archive (SALSA)

abstract: In December 2016, the Atacama Large Millimeter/submillimeter Array (ALMA) carried out the first regular observations of the Sun. These early observations and the reduction of the respective data posed a challenge due to the novelty and complexity of observing the Sun with ALMA. The difficulties with producing science-ready time-resolved imaging products in a format familiar and usable by solar physicists based on the measurement sets delivered by ALMA had so far limited the availability of such data. With the development of the Solar ALMA Pipeline (SoAP), it has now become possible to routinely reduce such data sets. As a result, a growing number of science-ready solar ALMA datasets is now offered in the form of Solar ALMA Science Archive (SALSA). So far, SALSA contains primarily time series of single-pointing interferometric images at cadences of one or two seconds. The data arrays are provided in FITS format. We also present the first version of a standardised header format that accommodates future expansions and fits within the scope of other standards including the ALMA Science Archive itself and SOLARNET. The headers also include information designed to aid the reproduction of the imaging products from the raw data. Links to co-observations, if available, with a focus on those of the Interface Region Imaging Spectrograph (IRIS), are also provided. SALSA is accompanied by the Solar ALMA Library of Auxiliary Tools (SALAT) that contains IDL and Python routines for convenient loading and quick-look analysis of SALSA data.


title: How to Estimate the Far-Side Open Flux using STEREO Coronal Holes

abstract: Global magnetic field models use as input synoptic data, which usually show "aging effects" as the longitudinal 360{\deg} information is not obtained simultaneously. Especially during times of increased solar activity, the evolution of the magnetic field may yield large uncertainties. A significant source of uncertainty is the Sun's magnetic field on the side of the Sun that is not visible to the observer. Various methods have been used to complete the picture: synoptic charts, flux-transport models, and far side helioseismology. In this study, we present a new method to estimate the far-side open flux within coronal holes using STEREO EUV observations. First, we correlate the structure of the photospheric magnetic field as observed with the Helioseismic and Magnetic Imager on board the Solar Dynamics Observatory (HMI/SDO) with features in the transition region. From the 304A intensity distribution, which we found to be specific to coronal holes, we derive an empirical estimate for the open flux. Then we use a large sample of 313 SDO coronal hole observations to verify this relation. Finally, we perform a cross-instrument calibration from SDO to STEREO data to enable the estimation of the open flux at solar longitudes not visible from Earth. We find that the properties of strong, unipolar magnetic elements in the photosphere, which determine the coronal hole's open flux, can be approximated by open fields in the transition region. We find that structures below a threshold of 78% (STEREO) or 94% (SDO) of the solar disk median intensity as seen in 304A filtergrams are reasonably well correlated with the mean magnetic flux density of coronal holes (cc = 0.59). Using the area covered by these structures (A_of) and the area of the coronal hole (A_ch), we model the open magnetic flux of a coronal hole as |Phi_ch| = 0.25 A_ch exp(0.032 A_of) with an estimated uncertainty of 40 to 60%.


title: Robust Event Detection based on Spatio-Temporal Latent Action Unit using Skeletal Information

abstract: This paper propose a novel dictionary learning approach to detect event action using skeletal information extracted from RGBD video. The event action is represented as several latent atoms and composed of latent spatial and temporal attributes. We perform the method at the example of fall event detection. The skeleton frames are clustered by an initial K-means method. Each skeleton frame is assigned with a varying weight parameter and fed into our Gradual Online Dictionary Learning (GODL) algorithm. During the training process, outlier frames will be gradually filtered by reducing the weight that is inversely proportional to a cost. In order to strictly distinguish the event action from similar actions and robustly acquire its action unit, we build a latent unit temporal structure for each sub-action. We evaluate the proposed method on parts of the NTURGB+D dataset, which includes 209 fall videos, 405 ground-lift videos, 420 sit-down videos, and 280 videos of 46 otheractions. We present the experimental validation of the achieved accuracy, recall and precision. Our approach achieves the bestperformance on precision and accuracy of human fall event detection, compared with other existing dictionary learning methods. With increasing noise ratio, our method remains the highest accuracy and the lowest variance.


title: PermuteFormer: Efficient Relative Position Encoding for Long Sequences

abstract: A recent variation of Transformer, Performer, scales Transformer to longer sequences with a linear attention mechanism. However, it is not compatible with relative position encoding, which has advantages over absolute position encoding. In this paper, we discuss possible ways to add relative position encoding to Performer. Based on the analysis, we propose PermuteFormer, a Performer-based model with relative position encoding that scales linearly on long sequences. PermuteFormer applies position-dependent transformation on queries and keys to encode positional information into the attention module. This transformation is carefully crafted so that the final output of self-attention is not affected by absolute positions of tokens. PermuteFormer introduces negligible computational overhead by design that it runs as fast as Performer. We evaluate PermuteFormer on Long-Range Arena, a dataset for long sequences, as well as WikiText-103, a language modeling dataset. The experiments show that PermuteFormer uniformly improves the performance of Performer with almost no computational overhead and outperforms vanilla Transformer on most of the tasks.


title: Limit laws in the lattice problem. II. The case of ovals

abstract: We study the error of the number of unimodular lattice points that fall into a dilated and centred ellipse around $0$. We first show that the study of the error, when the error is normalized by $\sqrt{t}$ with $t$ the parameter of dilatation of the ellipse, when $t$ tends to infinity and when the lattice is random, is reduced to the study of a Siegel transform $\mathcal{S}(f_{t})(L)$ that depends on $t$. Then, by making $t \rightarrow \infty$, we see that $\mathcal{S}(f_{t})$ converges in law towards a modified Siegel transform with random weights $\mathcal{S}(F)(\theta,L)$ where $\theta$ is a second random parameter. Finally, we show that this last quantity converges almost surely and we study the existence of the moments of its law.


title: QFlow: Quantitative Information Flow for Security-Aware Hardware Design in Verilog

abstract: The enormous amount of code required to design modern hardware implementations often leads to critical vulnerabilities being overlooked. Especially vulnerabilities that compromise the confidentiality of sensitive data, such as cryptographic keys, have a major impact on the trustworthiness of an entire system. Information flow analysis can elaborate whether information from sensitive signals flows towards outputs or untrusted components of the system. But most of these analytical strategies rely on the non-interference property, stating that the untrusted targets must not be influenced by the source's data, which is shown to be too inflexible for many applications. To address this issue, there are approaches to quantify the information flow between components such that insignificant leakage can be neglected. Due to the high computational complexity of this quantification, approximations are needed, which introduce mispredictions. To tackle those limitations, we reformulate the approximations. Further, we propose a tool QFlow with a higher detection rate than previous tools. It can be used by non-experienced users to identify data leakages in hardware designs, thus facilitating a security-aware design process.


title: Dimensional reduction of M5 branes

abstract: We study dimensional reduction of M5 branes on a circle bundle when the supersymmetry parameter is not constant along the circle. When the gauge group is Abelian and the fields appear quadratically in the Lagrangian, we can always obtain a supersymmetric five-dimensional theory by keeping fermionic nonzero modes that match with the corresponding nonzero modes of the supersymmetry parameter, and by keeping the zero modes for the bosonic fields as usual. But a supersymmetric non-Abelian generalization can be found only under special circumstances. One instance where we find a non-Abelian supersymmetric generalization is when we perform dimensional reduction along a null direction.


title: Backdoor Attack and Defense for Deep Regression

abstract: We demonstrate a backdoor attack on a deep neural network used for regression. The backdoor attack is localized based on training-set data poisoning wherein the mislabeled samples are surrounded by correctly labeled ones. We demonstrate how such localization is necessary for attack success. We also study the performance of a backdoor defense using gradient-based discovery of local error maximizers. Local error maximizers which are associated with significant (interpolation) error, and are proximal to many training samples, are suspicious. This method is also used to accurately train for deep regression in the first place by active (deep) learning leveraging an "oracle" capable of providing real-valued supervision (a regression target) for samples. Such oracles, including traditional numerical solvers of PDEs or SDEs using finite difference or Monte Carlo approximations, are far more computationally costly compared to deep regression.


title: SENSATION: An Authoring Tool to Support Event-State Paradigm in End-User Development

abstract: In this paper, we present the design and the evaluation of an authoring tool for End-User Development, which supports the definition of Trigger-Actions rules that combines events and states in the triggers. The possibility of using either states or events in triggers has already been discussed in the literature. However, it is recognized that the state/event distinction is difficult to manage for users. In this paper, we propose an authoring tool that provides explicit support for managing this distinction. We compare it with a state-of-the-art authoring tool that implements the classical event-event paradigm.


title: Data Science Kitchen at GermEval 2021: A Fine Selection of Hand-Picked Features, Delivered Fresh from the Oven

abstract: This paper presents the contribution of the Data Science Kitchen at GermEval 2021 shared task on the identification of toxic, engaging, and fact-claiming comments. The task aims at extending the identification of offensive language, by including additional subtasks that identify comments which should be prioritized for fact-checking by moderators and community managers. Our contribution focuses on a feature-engineering approach with a conventional classification backend. We combine semantic and writing style embeddings derived from pre-trained deep neural networks with additional numerical features, specifically designed for this task. Ensembles of Logistic Regression classifiers and Support Vector Machines are used to derive predictions for each subtask via a majority voting scheme. Our best submission achieved macro-averaged F1-scores of 66.8%, 69.9% and 72.5% for the identification of toxic, engaging, and fact-claiming comments.


title: Explicit construction of the minimum error variance estimator for stochastic LTI state-space systems

abstract: In this short article, we showcase the derivation of the optimal (minimum error variance) estimator, when one part of the stochastic LTI system output is not measured but is able to be predicted from the measured system outputs. Similar derivations have been done before but not using state-space representation.


title: Printed Texts Tracking and Following for a Finger-Wearable Electro-Braille System Through Opto-electrotactile Feedback

abstract: This paper presents our recent development on a portable and refreshable text reading and sensory substitution system for the blind or visually impaired (BVI), called Finger-eye. The system mainly consists of an opto-text processing unit and a compact electro-tactile based display that can deliver text-related electrical signals to the fingertip skin through a wearable and Braille-dot patterned electrode array and thus delivers the electro-stimulation based Braille touch sensations to the fingertip. To achieve the goal of aiding BVI to read any text not written in Braille through this portable system, in this work, a Rapid Optical Character Recognition (R-OCR) method is firstly developed for real-time processing text information based on a Fisheye imaging device mounted at the finger-wearable electro-tactile display. This allows real-time translation of printed text to electro-Braille along with natural movement of user's fingertip as if reading any Braille display or book. More importantly, an electro-tactile neuro-stimulation feedback mechanism is proposed and incorporated with the R-OCR method, which facilitates a new opto-electrotactile feedback based text line tracking control approach that enables text line following by user fingertip during reading. Multiple experiments were designed and conducted to test the ability of blindfolded participants to read through and follow the text line based on the opto-electrotactile-feedback method. The experiments show that as the result of the opto-electrotactile-feedback, the users were able to maintain their fingertip within a $2mm$ distance of the text while scanning a text line. This research is a significant step to aid the BVI users with a portable means to translate and follow to read any printed text to Braille, whether in the digital realm or physically, on any surface.


title: Augmented Reality for Education: A Review

abstract: Augmented Reality, or simply AR, is the incorporation of information in digital format that includes live footage of a certain user's real-time environment. Also now, various universities are using Augmented Reality. Applying the technology in the education sector can result in having a smart campus. In line with that, this paper will discuss how Augmented Reality is being used now in different learning areas.


title: Ambiguity in Utopian XR-Games. Basic Principles for the Design of Virtual Worlds

abstract: Utopian images in XR-games are often ambiguous. How can ambiguity be consciously designed in virtual worlds? What are the design principles for game designers? Ambiguity arises from discontinuity and decontextualization, from the deliberate omission of facts, and from the skillful superimposition of contradictory codes. An ontology of interactive media explains the elusive visual poetry and image perception. The five basic elements of media are presented. The model shows the key correlations of user, content, and technology in image perception. An overview of utopian representation as a cross-media phenomenon places game design in an interdisciplinary context. Six selected computer-generated illustrations show how the above design criteria can be successfully applied to the design of virtual worlds. The ambiguous utopia of an image exists only in a brief, irretrievable moment of our own perception. But this moment is valuable for designing real visions for a better future.