title: On prescribing the number of singular points in a Cosserat-elastic solid

abstract: In a geometrically non-linear Cosserat model for micro-polar elastic solids, we insert dipole pairs of singularities into smooth maps and control the amount of Cosserat energy needed to do so. We use this method to force an arbitrary number of singular points into Cosserat-elastic solids by prescribing smooth boundary data. Throughout this paper, we exploit connections between harmonic maps and Cosserat-elastic solids, so that we are able to adapt and incorporate ideas of R. Hardt and F.-H. Lin, as well as F. B\'ethuel.


title: Evaluating Web Search Engines Results for Personalization and User Tracking

abstract: Recently, light has been shed on the trend of personalization, which comes into play whenever different search results are being tailored for a group of users who have issued the same search query. The unpalatable fact that myriads of search results are being manipulated has perturbed a horde of people. With regards to that, personalization can be instrumental in spurring the Filter Bubble effects, which revolves around the inability of certain users to gain access to the typified contents that are allegedly irrelevant per the search engine's algorithm. In harmony with that, there is a wealth of research on this area. Each of these has relied on using techniques revolving around creating Google accounts that differ in one feature and issuing identical search queries from each account. The search results are often compared to determine whether those results are going to vary per account. Thereupon, we have conducted six experiments that aim to closely inspect and spot the patterns of personalization in search results. In a like manner, we are going to examine how the search results are going to vary accordingly. In all of the tasks, three different metrics are going to be measured, namely, the number of total hits, the first hit, and the correlation between hits. Those experiments are centered around fulfilling the following tasks. Firstly, setting up four VPNs that are located at different geographic locations and comparing the search results with those obtained in the UAE. Secondly, performing the search while logging in and out of a Google account. Thirdly, searching while connecting to different networks: home, phone, and university networks. Fourthly, using different search engines to issue the search queries. Fifthly, using different web browsers to carry out the search process. Finally, creating and training six Google accounts.


title: A note on uniform in time mean-field limit in graphs

abstract: In this article we show, in a concise manner, a result of uniform in time propagation of chaos for non exchangeable systems of particles interacting according to a random graph. Provided the interaction is Lipschitz continuous, the restoring force satisfies a general one-sided Lipschitz condition (thus allowing for non-convex confining potential) and the graph is dense enough, we use a coupling method suggested by Eberle known as reflection coupling to obtain uniform in time mean-field limit with bounds that depend explicitly on the graph structure.


title: Demo Abstract: Real-Time Out-of-Distribution Detection on a Mobile Robot

abstract: In a cyber-physical system such as an autonomous vehicle (AV), machine learning (ML) models can be used to navigate and identify objects that may interfere with the vehicle's operation. However, ML models are unlikely to make accurate decisions when presented with data outside their training distribution. Out-of-distribution (OOD) detection can act as a safety monitor for ML models by identifying such samples at run time. However, in safety critical systems like AVs, OOD detection needs to satisfy real-time constraints in addition to functional requirements. In this demonstration, we use a mobile robot as a surrogate for an AV and use an OOD detector to identify potentially hazardous samples. The robot navigates a miniature town using image data and a YOLO object detection network. We show that our OOD detector is capable of identifying OOD images in real-time on an embedded platform concurrently performing object detection and lane following. We also show that it can be used to successfully stop the vehicle in the presence of unknown, novel samples.


title: Un discours et un public "Gilets Jaunes" au coeur du Grand D\'ebat National? Combinaison des approches IA et textom\'etriques pour l'analyse de discours des plateformes "Grand D\'ebat National" et "Vrai d\'ebat"

abstract: In this contribution, we propose to analyze the statements coming from two ''civic tech'' platforms-the governmental platform, ''Grand D{\'e}bat National'' and, its political and algorithmic response proposed by a Yellow Vest collective, ''Vrai D{\'e}bat''-, by confronting two families of algorithms dedicated to text analysis. We propose to implement, on the one hand, proven approaches in textual data analysis (Reinert/Iramuteq Method) which have recently shown their interest in the analysis of very large corpora and, on the other hand, new methods resulting from the crossroads of the computer worlds, artificial intelligence and automatic language processing. We will examine the methodological solutions for qualifying the social properties of speakers about whom we have little direct information. Finally, we will attempt to present some research questions at the crossroads of the political sociology of public opinion and data science, which such a confrontation opens up.


title: On Lebesgue points of entropy solutions to the eikonal equation

abstract: We consider entropy solutions to the eikonal equation $|\nabla u|=1$ in two space dimensions. These solutions are motivated by a class of variational problems and fail in general to have bounded variation. Nevertheless they share with BV functions, several of their fine properties: we show in particular that the set of non-Lebesgue points has co-dimension at least one.


title: Revisiting the Internet of Things: New Trends, Opportunities and Grand Challenges

abstract: The Internet of Things (IoT) has brought the dream of ubiquitous data access from physical environments into reality. IoT embeds sensors and actuators in physical objects so that they can communicate and exchange data between themselves to improve efficiency along with enabling real-time intelligent services and offering better quality of life to people. The number of deployed IoT devices has rapidly grown in the past five years in a way that makes IoT the most disruptive technology in recent history. In this paper, we reevaluate the position of IoT in our life and provide deep insights on its enabling technologies, applications, rising trends and grand challenges. The paper also highlights the role of artificial intelligence to make IoT the top transformative technology that has been ever developed in human history.


title: Conversion-Based Dynamic-Creative-Optimization in Native Advertising

abstract: Yahoo Gemini native advertising marketplace serves billions of impressions daily, to hundreds millions of unique users, and reaches a yearly revenue of many hundreds of millions USDs. Powering Gemini native models for predicting advertise (ad) event probabilities, such as conversions and clicks, is OFFSET - a feature enhanced collaborative-filtering (CF) based event prediction algorithm. The predicted probabilities are then used in Gemini native auctions to determine which ads to present for every serving event (impression). Dynamic creative optimization (DCO) is a recent Gemini native product that was launched two years ago and is increasingly gaining more attention from advertisers. The DCO product enables advertisers to issue several assets per each native ad attribute, creating multiple combinations for each DCO ad. Since different combinations may appeal to different crowds, it may be beneficial to present certain combinations more frequently than others to maximize revenue while keeping advertisers and users satisfied. The initial DCO offer was to optimize click-through rates (CTR), however as the marketplace shifts more towards conversion based campaigns, advertisers also ask for a {conversion based solution. To accommodate this request, we present a post-auction solution, where DCO ads combinations are favored according to their predicted conversion rate (CVR). The predictions are provided by an auxiliary OFFSET based combination CVR prediction model, and used to generate the combination distributions for DCO ad rendering during serving time. An online evaluation of this explore-exploit solution, via online bucket A/B testing, serving Gemini native DCO traffic, showed a 53.5% CVR lift, when compared to a control bucket serving all combinations uniformly at random.


title: Quantinar: a blockchain p2p ecosystem for honest scientific research

abstract: Living in the Information Age, the power of data and correct statistical analysis has never been more prevalent. Academics and practitioners require nowadays an accurate application of quantitative methods. Yet many branches are subject to a crisis of integrity, which is shown in an improper use of statistical models, $p$-hacking, HARKing, or failure to replicate results. We propose the use of a Peer-to-Peer (P2P) ecosystem based on a blockchain network, Quantinar (quantinar.com), to support quantitative analytics knowledge paired with code in the form of Quantlets (quantlet.com) or software snippets. The integration of blockchain technology makes Quantinar a decentralized autonomous organization (DAO) that ensures fully transparent and reproducible scientific research.


title: Variable-Based Fault Localization via Enhanced Decision Tree

abstract: Fault localization, aiming at localizing the root cause of the bug under repair, has been a longstanding research topic. Although many approaches have been proposed in the last decades, most of the existing studies work at coarse-grained statement or method levels with very limited insights about how to repair the bug (granularity problem), but few studies target the finer-grained fault localization. In this paper, we target the granularity problem and propose a novel finer-grained variable-level fault localization technique. Specifically, we design a program-dependency-enhanced decision tree model to boost the identification of fault-relevant variables via discriminating failed and passed test cases based on the variable values. To evaluate the effectiveness of our approach, we have implemented it in a tool called VARDT and conducted an extensive study over the Defects4J benchmark. The results show that VARDT outperforms the state-of-the-art fault localization approaches with at least 247.8% improvements in terms of bugs located at Top-1, and the average improvements are 330.5%. Besides, to investigate whether our finer-grained fault localization result can further improve the effectiveness of downstream APR techniques, we have adapted VARDT to the application of patch filtering, where VARDT outperforms the state-of-the-art PATCH-SIM by filtering 26.0% more incorrect patches. The results demonstrate the effectiveness of our approach and it also provides a new way of thinking for improving automatic program repair techniques.


title: TIER-A: Denoising Learning Framework for Information Extraction

abstract: With the development of deep neural language models, great progress has been made in information extraction recently. However, deep learning models often overfit on noisy data points, leading to poor performance. In this work, we examine the role of information entropy in the overfitting process and draw a key insight that overfitting is a process of overconfidence and entropy decreasing. Motivated by such properties, we propose a simple yet effective co-regularization joint-training framework TIER-A, Aggregation Joint-training Framework with Temperature Calibration and Information Entropy Regularization. Our framework consists of several neural models with identical structures. These models are jointly trained and we avoid overfitting by introducing temperature and information entropy regularization. Extensive experiments on two widely-used but noisy datasets, TACRED and CoNLL03, demonstrate the correctness of our assumption and the effectiveness of our framework.


title: Machine Learning enabled models for YouTube Ranking Mechanism and Views Prediction

abstract: With the continuous increase of internet usage in todays time, everyone is influenced by this source of the power of technology. Due to this, the rise of applications and games Is unstoppable. A major percentage of our population uses these applications for multiple purposes. These range from education, communication, news, entertainment, and many more. Out of this, the application that is making sure that the world stays in touch with each other and with current affairs is social media. Social media applications have seen a boom in the last 10 years with the introduction of smartphones and the internet being available at affordable prices. Applications like Twitch and Youtube are some of the best platforms for producing content and expressing their talent as well. It is the goal of every content creator to post the best and most reliable content so that they can gain recognition. It is important to know the methods of achieving popularity easily, which is what this paper proposes to bring to the spotlight. There should be certain parameters based on which the reach of content could be multiplied by a good factor. The proposed research work aims to identify and estimate the reach, popularity, and views of a YouTube video by using certain features using machine learning and AI techniques. A ranking system would also be used keeping the trending videos in consideration. This would eventually help the content creator know how authentic their content is and healthy competition to make better content before uploading the video on the platform will be ensured.


title: Probing phase transition in neutron stars via the crust-core interfacial mode

abstract: Gravitational waves emitted from the binary neutron star (BNS) systems can carry information about the dense matter phase in these compact stars. The crust-core interfacial mode is an oscillation mode in a neutron star and it depends mostly on the equation of the state of the matter in the crust-core transition region. This mode can be resonantly excited by the tidal field of an inspiraling-in BNS system, thereby affecting the emitted gravitational waves, and hence could be used to probe the equation of state in the crust-core transition region. In this work, we investigate in detail how the first-order phase transition inside the neutron star affects the properties of the crust-core interfacial mode, using a Newtonian fluid perturbation theory on a general relativistic background solution of the stellar structure. Two possible types of phase transitions are considered: (1) the phase transitions happen in the fluid core but near the crust-core interface, which results in density discontinuities; and (2) the strong interaction phase transitions in the dense core (as in the conventional hybrid star case). These phase transitions' impacts on interfacial mode properties are discussed. In particular, the former phase transition has a minor effect on the M-R relation and the adiabatic tidal deformability, but can significantly affect the interfacial mode frequency and thereby could be probed using gravitational waves. For the BNS systems, we discuss the possible observational signatures of these phase transitions in the gravitational waveforms and their detectability. Our work enriches the exploration of the physical properties of the crust-core interfacial mode and provides a promising method for probing the phase transition using the seismology of a compact star.


title: Open-Set Object Detection Using Classification-free Object Proposal and Instance-level Contrastive Learning

abstract: Detecting both known and unknown objects is a fundamental skill for robot manipulation in unstructured environments. Open-set object detection (OSOD) is a promising direction to handle the problem consisting of two subtasks: objects and background separation, and open-set object classification. In this paper, we present Openset RCNN to address the challenging OSOD. To disambiguate unknown objects and background in the first subtask, we propose to use classification-free region proposal network (CF-RPN) which estimates the objectness score of each region purely using cues from object's location and shape preventing overfitting to the training categories. To identify unknown objects in the second subtask, we propose to represent them using the complementary region of known categories in a latent space which is accomplished by a prototype learning network (PLN). PLN performs instance-level contrastive learning to encode proposals to a latent space and builds a compact region centering with a prototype for each known category. Further, we note that the detection performance of unknown objects can not be unbiasedly evaluated on the situation that commonly used object detection datasets are not fully annotated. Thus, a new benchmark is introduced by reorganizing GraspNet-1billion, a robotic grasp pose detection dataset with complete annotation. Extensive experiments demonstrate the merits of our method. We finally show that our Openset RCNN can endow the robot with an open-set perception ability to support robotic rearrangement tasks in cluttered environments. More details can be found in https://sites.google.com/view/openset-rcnn/


title: Evaluation of the hydrogen solubility and diffusivity in proton-conducting oxides by converting the PSL values of a tritium imaging plate

abstract: Proton-conducting oxides have potential applications in hydrogen sensors, hydrogen pumps, and other electrochemical devices including the tritium purification and recovery systems of nuclear fusion reactors. Although the distribution of hydrogen (H) in such oxide materials is an important aspect, its precise measurement is difficult. In the present study, the hydrogen solubility and diffusivity behavior of BaZr0.9Y0.1O2.95 (BZY), BaZr0.955Y0.03Co0.015O2.97 (BZYC), and CaZr0.9In0.1O2.95 (CZI) were studied using tritiated heavy water vapor i.e., DTO (~2 kPa, tritium (T) = 0.1%) by converting the photostimulated luminescence (PSL) values of the imaging plate (IP). The samples were exposed to DTO vapor at 673 K for 2 h or at 873 K for 1 h. The disc-shaped oxide specimens (diameter ~7.5 mm; thickness ~2.3 mm; theoretical density (TD) > 98 %) were prepared by conventional powder metallurgy. The IP images of the specimen surfaces of all the three materials T-exposed revealed that BZY showed the most uniform T distribution with the highest tritium activity. The cross-sectional T concentration profiles of the cut specimens showed that T diffused deeper into BZY and BZYC than into CZI. The hydrogen solubility and diffusivity in the CZI specimen were lower than that in the BZY and BZYC specimens. This suggested that barium zirconates were more favorable proton conductors than calcium zirconates.


title: Legendre curves on 3-dimensional $C_{12}$-Manifolds

abstract: Legendre curves play a very important and special role in geometry and topology of almost contact manifolds.There are certain results known for Legendre curves in 3-dimensional normal almost contact manifolds. The aim of this paper is to study Legendre curves of three-dimensional $C_{12}$-manifolds which are non-normal almost contact manifolds and classifying all biharmonic Legendre curves in these manifolds.


title: Linear Modeling of the Glass Transition Temperature of the system $SiO_2-Na_2O-CaO$

abstract: This work aimed to mathematically model the glass transition temperature (Tg), one of the most important parameters regarding the behavior of slag, responsible for the sudden change in thermomechanical properties of non-crystalline materials, by the chemical composition of the SiO2-Na2O-CaO system, widely applicable in the production of glasses and constituent of iron, magnesium and aluminum metallurgy slags. The SciGlass database was used to provide data for mathematical modeling through the Python programming language, using the method of least squares. A new equation was established, called P Model, and it presented a lower mean absolute error and lower standard deviation of absolute errors in relation to 3 equations in the literature. The raised equation provides significant results in the mathematical modeling of Tg by the chemical system SiO2-Na2O-CaO, valid for the limits of the data used in the mathematical modeling.


title: Towards Adversarially Robust Recommendation from Adaptive Fraudster Detection

abstract: The robustness of recommender systems under node injection attacks has garnered significant attention. Recently, GraphRfi, a GNN-based recommender system, was proposed and shown to effectively mitigate the impact of injected fake users. However, we demonstrate that GraphRfi remains vulnerable to attacks due to the supervised nature of its fraudster detection component, where obtaining clean labels is challenging in practice. In particular, we propose a powerful poisoning attack, MetaC, against both GNN-based and MF-based recommender systems. Furthermore, we analyze why GraphRfi fails under such an attack. Then, based on our insights obtained from vulnerability analysis, we design an adaptive fraudster detection module that explicitly considers label uncertainty. This module can serve as a plug-in for different recommender systems, resulting in a robust framework named PDR. Comprehensive experiments show that our defense approach outperforms other benchmark methods under attacks. Overall, our research presents an effective framework for integrating fraudster detection into recommendation systems to achieve adversarial robustness.


title: Preliminary Bias Results in Search Engines

abstract: This report aims to report my thesis progress so far. My work attempts to show the differences in the perspectives of two search engines, Bing and Google on several selected controversial topics. In this work, we try to make a distinction on the viewpoints of Bing \& Google by using sentiment as well as the ranking of the document returned from these two search engines on the same queries, these queries are related mainly to controversial topics. You can find the methods we used with experimental results below.


title: Fitting the grain orientation distribution of a polycrystalline material conditioned on a Laguerre tessellation

abstract: The description of distributions related to grain microstructure helps physicists to understand the processes in materials and their properties. This paper presents a general statistical methodology for the analysis of crystallographic orientations of grains in a 3D Laguerre tessellation dataset which represents the microstructure of a polycrystalline material. We introduce complex stochastic models which may substitute expensive laboratory experiments: conditional on the Laguerre tessellation, we suggest interaction models for the distribution of cubic crystal lattice orientations, where the interaction is between pairs of orientations for neighbouring grains in the tessellation. We discuss parameter estimation and model comparison methods based on maximum pseudolikelihood as well as graphical procedures for model checking using simulations. Our methodology is applied for analysing a dataset representing a nickel-titanium shape memory alloy.


title: High-frequency diode effect in superconducting Nb$_3$Sn micro-bridges

abstract: The superconducting diode effect has been recently reported in a variety of systems and different symmetry breaking mechanisms have been examined. However, the frequency range of these potentially important devices still remains obscure. We investigated superconducting micro-bridges of Nb$_{3}$Sn in out-of-plane magnetic fields; optimum magnetic fields of $\sim$10 mT generate $\sim $10% diode efficiency, while higher fields of $\sim$15-20 mT quench the effect. The diode changes its polarity with magnetic field reversal. We documented superconductive diode rectification at frequencies up to 100 kHz, the highest reported as of today. Interestingly, the bridge resistance during diode operation reaches a value that is a factor of two smaller than in its normal state, which is compatible with the vortex-caused mechanism of resistivity. This is confirmed by finite element modeling based on time-dependent Ginzburg-Landau equations. To explain experimental findings, no assumption of lattice thermal inequilibrium was required. Dissimilar edges of the superconductor strip can be responsible for the inversion symmetry breaking by vortex penetration barrier; visual evidence of this opportunity was revealed by scanning electron microscopy. Estimates are in favor of much higher (GHz) range of frequencies for this type of diode.


title: Thermodynamics of static and stationary black holes in Einstein-Gauss-Bonnet gravity with dark matter

abstract: This paper studies Einstein-Gauss-Bonnet (EGB) black holes surrounded by three phenomenological distributions of dark matter halos. The main result is obtaining the analytical solutions for the metric and all thermodynamic quantities, such as Hawking temperature, entropy, constant-volume heat capacity, and Gibbs free energy for static and stationary black hole solutions. Consequently, we determine a non-null horizon radius at which the black hole halts its evaporation by vanishing the temperature, indicating the emergence of remnants. In the stationary case, we also obtain the ergosphere regions for the found solutions and compare them. Finally, we find local and global phase transitions by studying the behavior of the heat capacity and Gibbs free energy.


title: Nonorthogonal coding in spectrally-entangled photons

abstract: Controlling and engineering continuous spectral modes of entangled photons represents one of the promising approaches toward secure quantum communications. By using the telecom bandwidth generated from a cascade-emitted biphoton in atomic ensembles, a fiber-based long-distance quantum communication can be feasible owing to its low transmission loss. With multiplexed photon pairs, we propose to implement a nonorthogonal coding scheme in their spectral modes and present an architecture of multiple channels enabling a high-capacity transfer of codewords. Using the measures of the second-order correlations and associated visibility and contrast, we further quantify the performance of the proposed nonorthogonal coding scheme. Our results demonstrate the capability to encode and decode quantum information beyond the orthogonal coding scheme. The proposed scheme here can be applicable to a large-scale and multiuser quantum communication and pave the way toward an efficient and functional quantum information processing.


title: A Framework for Auditable Synthetic Data Generation

abstract: Synthetic data has gained significant momentum thanks to sophisticated machine learning tools that enable the synthesis of high-dimensional datasets. However, many generation techniques do not give the data controller control over what statistical patterns are captured, leading to concerns over privacy protection. While synthetic records are not linked to a particular real-world individual, they can reveal information about users indirectly which may be unacceptable for data owners. There is thus a need to empirically verify the privacy of synthetic data -- a particularly challenging task in high-dimensional data. In this paper we present a general framework for synthetic data generation that gives data controllers full control over which statistical properties the synthetic data ought to preserve, what exact information loss is acceptable, and how to quantify it. The benefits of the approach are that (1) one can generate synthetic data that results in high utility for a given task, while (2) empirically validating that only statistics considered safe by the data curator are used to generate the data. We thus show the potential for synthetic data to be an effective means of releasing confidential data safely, while retaining useful information for analysts.


title: Fabrication of High-Aspect Ratio Nanogratings for Phase-based X-ray Imaging

abstract: Diffractive optical elements such as periodic gratings are fundamental devices in X-ray imaging - a technique that medical, material science and security scans rely upon. Fabrication of such structures with high aspect ratios at the nanoscale creates opportunities to further advance such applications, especially in terms of relaxing X-ray source coherence requirements. This is because typical grating-based X-ray phase imaging techniques (e.g., Talbot self-imaging) require a coherence length of at least one grating period and ideally longer. In this paper, the fabrication challenges in achieving high aspect-ratio nanogratings filled with gold are addressed by a combination of laser interference and nanoimprint lithography, physical vapor deposition, metal assisted chemical etching (MACE), and electroplating. This relatively simple and cost-efficient approach is unlocked by an innovative post-MACE drying step with hexamethyldisilazane, which effectively minimizes the stiction of the nanostructures. The theoretical limits of the approach are discussed and, experimentally, X-ray nanogratings with aspect ratios >40 demonstrated. Finally, their excellent diffractive abilities are shown when exposed to a hard (12.2 keV) monochromatic x-ray beam at a synchrotron facility, and thus potential applicability in phase-based X-ray imaging.

categories: physics.app-ph cond-mat.mes-hall physics.med-ph physics.optics


title: Efficient Second-Order Plane Adjustment

abstract: Planes are generally used in 3D reconstruction for depth sensors, such as RGB-D cameras and LiDARs. This paper focuses on the problem of estimating the optimal planes and sensor poses to minimize the point-to-plane distance. The resulting least-squares problem is referred to as plane adjustment (PA) in the literature, which is the counterpart of bundle adjustment (BA) in visual reconstruction. Iterative methods are adopted to solve these least-squares problems. Typically, Newton's method is rarely used for a large-scale least-squares problem, due to the high computational complexity of the Hessian matrix. Instead, methods using an approximation of the Hessian matrix, such as the Levenberg-Marquardt (LM) method, are generally adopted. This paper challenges this ingrained idea. We adopt the Newton's method to efficiently solve the PA problem. Specifically, given poses, the optimal planes have close-form solutions. Thus we can eliminate planes from the cost function, which significantly reduces the number of variables. Furthermore, as the optimal planes are functions of poses, this method actually ensures that the optimal planes for the current estimated poses can be obtained at each iteration, which benefits the convergence. The difficulty lies in how to efficiently compute the Hessian matrix and the gradient of the resulting cost. This paper provides an efficient solution. Empirical evaluation shows that our algorithm converges significantly faster than the widely used LM algorithm.


title: Leveraging Orbital Information and Atomic Feature in Deep Learning Model

abstract: Predicting material properties base on micro structure of materials has long been a challenging problem. Recently many deep learning methods have been developed for material property prediction. In this study, we propose a crystal representation learning framework, Orbital CrystalNet, OCrystalNet, which consists of two parts: atomic descriptor generation and graph representation learning. In OCrystalNet, we first incorporate orbital field matrix (OFM) and atomic features to construct OFM-feature atomic descriptor, and then the atomic descriptor is used as atom embedding in the atom-bond message passing module which takes advantage of the topological structure of crystal graphs to learn crystal representation. To demonstrate the capabilities of OCrystalNet we performed a number of prediction tasks on Material Project dataset and JARVIS dataset and compared our model with other baselines and state of art methods. To further present the effectiveness of OCrystalNet, we conducted ablation study and case study of our model. The results show that our model have various advantages over other state of art models.


title: Ain't No Stopping Us Monitoring Now

abstract: Not all properties are monitorable. This is a well-known fact, and it means there exist properties that cannot be fully verified at runtime. However, given a non-monitorable property, a monitor can still be synthesised, but it could end up in a state where no verdict will ever be concluded on the satisfaction (resp., violation) of the property. For this reason, non-monitorable properties are usually discarded. In this paper, we carry out an in-depth analysis on monitorability, and how non-monitorable properties can still be partially verified. We present our theoretical results at a semantic level, without focusing on a specific formalism. Then, we show how our theory can be applied to achieve partial runtime verification of Linear Temporal Logic (LTL).


title: A Pilot Study of Sidewalk Equity in Seattle Using Crowdsourced Sidewalk Assessment Data

abstract: We examine the potential of using large-scale open crowdsourced sidewalk data from Project Sidewalk to study the distribution and condition of sidewalks in Seattle, WA. While potentially noisier than professionally gathered sidewalk datasets, crowdsourced data enables large, cross-regional studies that would be otherwise expensive and difficult to manage. As an initial case study, we examine spatial patterns of sidewalk quality in Seattle and their relationship to racial diversity, income level, built density, and transit modes. We close with a reflection on our approach, key limitations, and opportunities for future work.


title: PartAL: Efficient Partial Active Learning in Multi-Task Visual Settings

abstract: Multi-task learning is central to many real-world applications. Unfortunately, obtaining labelled data for all tasks is time-consuming, challenging, and expensive. Active Learning (AL) can be used to reduce this burden. Existing techniques typically involve picking images to be annotated and providing annotations for all tasks. In this paper, we show that it is more effective to select not only the images to be annotated but also a subset of tasks for which to provide annotations at each AL iteration. Furthermore, the annotations that are provided can be used to guess pseudo-labels for the tasks that remain unannotated. We demonstrate the effectiveness of our approach on several popular multi-task datasets.


title: Spin-orbit coupling controlling the superconducting dome of artificial superlattices of quantum wells

abstract: While it is known that a resonant amplification of Tc in two-gap superconductors can be driven by using the Fano-Feshbach resonance tuning the chemical potential near a Lifshitz transition, little is known on tuning the Tc resonance by cooperative interplay of the Rashba spin-orbit coupling (RSOC) joint with phonon mediated (e-ph) pairing at selected k-space spots. Here we present first-principles quantum calculation of superconductivity in an artificial heterostructure of metallic quantum wells with 3 nm period where quantum size effects give two-gap superconductivity with RSOC controlled by the internal electric field at the interface between the nanoscale metallic layers intercalated by insulating spacer layers. The key results of this work show that fundamental quantum mechanics effects including RSCO at the nanoscale (Mazziotti et al Phys. Rev. B, 103, 024523, 2021) provide key tools in applied physics for quantitative material design of unconventional high temperature superconductors at ambient pressure. We discuss the superconducting domes where Tc is a function of either the Lifshitz parameter (?) measuring the distance from the topological Lifshitz transition for the appearing of a new small Fermi surface due to quantum size effects with finite spin-orbit coupling and the variable e-ph coupling g in the appearing second Fermi surface linked with the softening of the phonon energy cut off.


title: Survey of Query-based Text Summarization

abstract: Query-based text summarization is an important real world problem that requires to condense the prolix text data into a summary under the guidance of the query information provided by users. The topic has been studied for a long time and there are many existing interesting research related to query-based text summarization. Yet much of the work is not systematically surveyed. This survey aims at summarizing some interesting work in query-based text summarization methods as well as related generic text summarization methods. Not all taxonomies in this paper exist the related work to the best of our knowledge and some analysis will be presented.


title: QCD mesonic screening masses up to high temperatures

abstract: We discuss a strategy to study non-perturbatively QCD up to very high temperatures by Monte Carlo simulations on the lattice. It allows not only the thermodynamic properties of the theory but also other interesting thermal features to be investigated. As a first concrete application, we compute the flavour non-singlet mesonic screening masses and we present the results of Monte Carlo simulations at 12 temperatures covering the range from T $\sim$ 1 GeV up to $\sim$ 160 GeV in the theory with three massless quarks. On the one side, chiral symmetry restoration manifests itself in our results through the degeneracy of the vector and the axial vector channels and of the scalar and the pseudoscalar ones, and, on the other side, we observe a clear splitting between the vector and the pseudoscalar screening masses up to the highest investigated temperature. A comparison with the high-temperature effective theory shows that the known one-loop order in the perturbative expansion does not provide a satisfactory description of the non-perturbative data up to the highest temperature considered.


title: Refactoring = Substitution + Rewriting

abstract: We present an approach to describing refactorings that abstracts away from particular refactorings to classes of similar transformations, and presents an implementation of these that works by substitution and subsequent rewriting. Substitution is language-independent under this approach, while the rewrites embody language-specific aspects. Intriguingly, it also goes back to work on API migration by Huiqing Li and the first author, and sets refactoring in that general context.


title: Evolutionary Strategies for the Design of Binary Linear Codes

abstract: The design of binary error-correcting codes is a challenging optimization problem with several applications in telecommunications and storage, which has also been addressed with metaheuristic techniques and evolutionary algorithms. Still, all these efforts focused on optimizing the minimum distance of unrestricted binary codes, i.e., with no constraints on their linearity, which is a desirable property for efficient implementations. In this paper, we present an Evolutionary Strategy (ES) algorithm that explores only the subset of linear codes of a fixed length and dimension. To that end, we represent the candidate solutions as binary matrices and devise variation operators that preserve their ranks. Our experiments show that up to length $n=14$, our ES always converges to an optimal solution with a full success rate, and the evolved codes are all inequivalent to the Best-Known Linear Code (BKLC) given by MAGMA. On the other hand, for larger lengths, both the success rate of the ES as well as the diversity of the evolved codes start to drop, with the extreme case of $(16,8,5)$ codes which all turn out to be equivalent to MAGMA's BKLC.


title: Ergodic averages with the Hecke eigenvalue square weights and the Piltz divisor function weights

abstract: In this paper, we prove that the Hecke eigenvalue square for a holomorphic cusp form and the Piltz divisor functions are good weighting functions for the pointwise ergodic theorem. This partially solves problems suggested by Cuny and Weber. Additionally, we prove similar results for various other arithmetical functions in the last section.


title: Analytical Estimation of Beamforming Speed-of-Sound Using Transmission Geometry

abstract: Most ultrasound imaging techniques necessitate the fundamental step of converting temporal signals received from transducer elements into a spatial echogenecity map. This beamforming (BF) step requires the knowledge of speed-of-sound (SoS) value in the imaged medium. An incorrect assumption of BF SoS leads to aberration artifacts, not only deteriorating the quality and resolution of conventional brightness mode (B-mode) images, hence limiting their clinical usability, but also impairing other ultrasound modalities such as elastography and spatial SoS reconstructions, which rely on faithfully beamformed images as their input. In this work, we propose an analytical method for estimating BF SoS. We show that pixel-wise relative shifts between frames beamformed with an assumed SoS is a function of geometric disparities of the transmission paths and the error in such SoS assumption. Using this relation, we devise an analytical model, the closed form solution of which yields the difference between the assumed and the true SoS in the medium. Based on this, we correct the BF SoS, which can also be applied iteratively. Both in simulations and experiments, lateral B-mode resolution is shown to be improved by $\approx$25% compared to that with an initial SoS assumption error of 3.3% (50 m/s), while localization artifacts from beamforming are also corrected. After 5 iterations, our method achieves BF SoS errors of under 0.6 m/s in simulations and under 1 m/s in experimental phantom data. Residual time-delay errors in beamforming 32 numerical phantoms are shown to reduce down to 0.07 $\mu$s, with average improvements of up to 21 folds compared to initial inaccurate assumptions. We additionally show the utility of the proposed method in imaging local SoS maps, where using our correction method reduces reconstruction root-mean-square errors substantially, down to their lower-bound with actual BF SoS.


title: Programming by Example and Text-to-Code Translation for Conversational Code Generation

abstract: Dialogue systems is an increasingly popular task of natural language processing. However, the dialogue paths tend to be deterministic, restricted to the system rails, regardless of the given request or input text. Recent advances in program synthesis have led to systems which can synthesize programs from very general search spaces, e.g. Programming by Example, and to systems with very accessible interfaces for writing programs, e.g. text-to-code translation, but have not achieved both of these qualities in the same system. We propose Modular Programs for Text-guided Hierarchical Synthesis (MPaTHS), a method for integrating Programming by Example and text-to-code systems which offers an accessible natural language interface for synthesizing general programs. We present a program representation that allows our method to be applied to the problem of task-oriented dialogue. Finally, we demo MPaTHS using our program representation.


title: Toy model to understand oscillatory behavior in timelike nucleon form factors

abstract: To understand the oscillatory behavior exhibited in the timelike electromagnetic form factors of nucleons, we propose a toy model based on the Jost function of the $N\bar N$ pair into the timelike form factors with the help of the distorted-wave Born approximation. By constructing a simple square-well potential reflecting the final-state interaction of $N\bar N$, we naturally represent the damped oscillatory phenomenon in the timelike electromagnetic form factors of nucleons. Especially, our study reveals that the ``period" of the oscillation is approximately determined by the Yukawa interaction range $1/m_\pi$. Other possible potentials are also discussed. The threshold enhancements of the cross sections for $e^+e^-\to n\bar n$, $\Lambda\bar\Lambda$, and $\Lambda_c\bar\Lambda_c$ can also be understand within this scenario.


title: The Houdayer Algorithm: Overview, Extensions, and Applications

abstract: The study of spin systems with disorder and frustration is known to be a computationally hard task. Standard heuristics developed for optimizing and sampling from general Ising Hamiltonians tend to produce correlated solutions due to their locality, resulting in a suboptimal exploration of the search space. To mitigate these effects, cluster Monte-Carlo methods are often employed as they provide ways to perform non-local transformations on the system. In this work, we investigate the Houdayer algorithm, a cluster Monte-Carlo method with small numerical overhead which improves the exploration of configurations by preserving the energy of the system. We propose a generalization capable of reaching exponentially many configurations at the same energy, while offering a high level of adaptability to ensure that no biased choice is made. We discuss its applicability in various contexts, including Markov chain Monte-Carlo sampling and as part of a genetic algorithm. The performance of our generalization in these settings is illustrated by sampling for the Ising model across different graph connectivities and by solving instances of well-known binary optimization problems. We expect our results to be of theoretical and practical relevance in the study of spin glasses but also more broadly in discrete optimization, where a multitude of problems follow the structure of Ising spin systems.


title: Decomposing 3D Neuroimaging into 2+1D Processing for Schizophrenia Recognition

abstract: Deep learning has been successfully applied to recognizing both natural images and medical images. However, there remains a gap in recognizing 3D neuroimaging data, especially for psychiatric diseases such as schizophrenia and depression that have no visible alteration in specific slices. In this study, we propose to process the 3D data by a 2+1D framework so that we can exploit the powerful deep 2D Convolutional Neural Network (CNN) networks pre-trained on the huge ImageNet dataset for 3D neuroimaging recognition. Specifically, 3D volumes of Magnetic Resonance Imaging (MRI) metrics (grey matter, white matter, and cerebrospinal fluid) are decomposed to 2D slices according to neighboring voxel positions and inputted to 2D CNN models pre-trained on the ImageNet to extract feature maps from three views (axial, coronal, and sagittal). Global pooling is applied to remove redundant information as the activation patterns are sparsely distributed over feature maps. Channel-wise and slice-wise convolutions are proposed to aggregate the contextual information in the third view dimension unprocessed by the 2D CNN model. Multi-metric and multi-view information are fused for final prediction. Our approach outperforms handcrafted feature-based machine learning, deep feature approach with a support vector machine (SVM) classifier and 3D CNN models trained from scratch with better cross-validation results on publicly available Northwestern University Schizophrenia Dataset and the results are replicated on another independent dataset.


title: Photoelectrochemical water splitting with ITO/WO3/BiVO4/CoPi multishell nanotubes fabricated by soft-templating in vacuum

abstract: A well-established procedure for the photoelectrochemical (PEC) splitting of water relies on using porous electrodes of WO3 sensitized with BiVO4 as a visible scavenger photoanode semiconductor. In this work, we propose an evolved photoelectrode fabricated by a soft-template approach consisting of supported multishell nanotubes (NTs). These NTs are formed by a concentric layered structure of indium tin oxide (ITO), WO3, and BiVO4, together with a final film of cobalt phosphate (CoPi) co-catalyst. Photoelectrode manufacturing is easily implemented at large scale and combines thermal evaporation of single crystalline organic nanowires (ONWs), magnetron sputtering (for ITO and WO3), solution dripping, and electrochemical deposition processes (for BiVO4 and CoPi, respectively) plus annealing under mild conditions. The obtained NT electrodes depict a large electrochemically active surface and outperform by more than one order of magnitude the efficiency of equivalent planar-layered electrodes. A thorough electrochemical analysis of the electrodes under blue and solar light illumination demonstrates the critical role of the WO3/BiVO4 Schottky barrier heterojunction in the control of the NT electrode efficiency and its dependence on the BiVO4 outer layer thickness. Oxygen evolution reaction (OER) performance was maximized with the CoPi electrocatalyst, rendering high photocurrents under one sun illumination. The reported results demonstrate the potential of the soft-template methodology for the large area fabrication of highly efficient multishell ITO/WO3/BiVO4/CoPi NT electrodes, or other alternative combinations, for the photoelectrochemical splitting of water.


title: Visual Programming: Compositional visual reasoning without training

abstract: We present VISPROG, a neuro-symbolic approach to solving complex and compositional visual tasks given natural language instructions. VISPROG avoids the need for any task-specific training. Instead, it uses the in-context learning ability of large language models to generate python-like modular programs, which are then executed to get both the solution and a comprehensive and interpretable rationale. Each line of the generated program may invoke one of several off-the-shelf computer vision models, image processing routines, or python functions to produce intermediate outputs that may be consumed by subsequent parts of the program. We demonstrate the flexibility of VISPROG on 4 diverse tasks - compositional visual question answering, zero-shot reasoning on image pairs, factual knowledge object tagging, and language-guided image editing. We believe neuro-symbolic approaches like VISPROG are an exciting avenue to easily and effectively expand the scope of AI systems to serve the long tail of complex tasks that people may wish to perform.


title: High-speed integrated QKD system

abstract: Quantum key distribution (QKD) is nowadays a well established method for generating secret keys at a distance in an information-theoretic secure way, as the secrecy of QKD relies on the laws of quantum physics and not computational complexity. In order to industrialize QKD, low-cost, mass-manufactured and practical QKD setups are required. Hence, photonic and electronic integration of the sender's and receiver's respective components is currently in the spotlight. Here we present a high-speed (2.5 GHz) integrated QKD setup featuring a transmitter chip in silicon photonics allowing for high-speed modulation and accurate state preparation, as well as a polarization-independent low-loss receiver chip in aluminum borosilicate glass fabricated by the femtosecond laser micromachining technique. Our system achieves raw bit error rates, quantum bit error rates and secret key rates equivalent to a much more complex state-of-the-art setup based on discrete components.


title: SAMSON: Sharpness-Aware Minimization Scaled by Outlier Normalization for Improving DNN Generalization and Robustness

abstract: Energy-efficient deep neural network (DNN) accelerators are prone to non-idealities that degrade DNN performance at inference time. To mitigate such degradation, existing methods typically add perturbations to the DNN weights during training to simulate inference on noisy hardware. However, this often requires knowledge about the target hardware and leads to a trade-off between DNN performance and robustness, decreasing the former to increase the latter. In this work, we show that applying sharpness-aware training, by optimizing for both the loss value and loss sharpness, significantly improves robustness to noisy hardware at inference time without relying on any assumptions about the target hardware. In particular, we propose a new adaptive sharpness-aware method that conditions the worst-case perturbation of a given weight not only on its magnitude but also on the range of the weight distribution. This is achieved by performing sharpness-aware minimization scaled by outlier minimization (SAMSON). Our approach outperforms existing sharpness-aware training methods both in terms of model generalization performance in noiseless regimes and robustness in noisy settings, as measured on several architectures and datasets.


title: Blockchain Technology: A tool to solve the challenges of education sector in developing countries

abstract: The education system is getting diversified, challenged, and blended for the overwhelming advancement of disruptive technology. The core purpose of this chapter is to visualize the probable solutions of the modern education system using blockchain technology. The entire chapter has been discussed on the basis of present solution and projection of future inventions to smoothen the education system. The fourth industrial revolution (4IR) is changing our experiences in terms of education and other lifestyle. Delivering lectures, interacting between learners and educations, evaluating learning outcomes, and verifying educational credentials might be smoother, easier, faster, cheaper, and jollier than before. Blockchain technology can contribute to the education provider to tackle all those existing problems to create a comfortable learning environment to all irrespective to their economic backgrounds and geographic location. How this technology can contribute to improve Reviewing recent inventions in this technology, the chapter explains some of the strategies to go beyond the ongoing projects around the world. A set of models are arranged to enable the readers mind for future inventions in the realm of educationists. Keywords: -Blockchain, 4IR, educators, learning outcome.


title: Quantum chemical computations of gas-phase glycolaldehyde deuteration and constraints to its formation route

abstract: Despite the detection of numerous interstellar complex organic molecules (iCOMs) for decades, it is still a matter of debate whether they are synthesized in the gas-phase or on the icy surface of interstellar grains. In the past, molecular deuteration has been used to constrain the formation paths of small and abundant hydrogenated interstellar species. More recently, the deuteration degree of formamide, one of the most interesting iCOM, has also been explained in the hypothesis that it is formed by the gas-phase reaction NH$_2$ + H$_2$CO. In this article, we aim at using molecular deuteration to constrain the formation of another iCOM, glycolaldehyde, which is an important prebiotic species. More specifically, we have performed dedicated electronic structure and kinetic calculations to establish the glycolaldehyde deuteration degree in relation to that of ethanol, which is its possible parent species according to the suggestion of Skouteris et al. (2018). We found that the abundance ratio of the species containing one D-atom over the all-protium counterpart depends on the produced D isotopomer and varies from 0.9 to 0.5. These theoretical predictions compare extremely well with the monodeuterated isotopomers of glycolaldehyde and that of ethanol measured towards the Solar-like protostar IRAS 16293-2422, supporting the hypothesis that glycolaldehyde could be produced in the gas-phase for this source. In addition, the present work confirms that the deuterium fractionation of iCOMs cannot be simply anticipated based on the deuterium fractionation of the parent species but necessitates a specific study, as already shown for the case of formamide.

categories: physics.chem-ph astro-ph.EP astro-ph.GA astro-ph.SR


title: Adaptive Constraint Partition based Optimization Framework for Large-scale Integer Linear Programming(Student Abstract)

abstract: Integer programming problems (IPs) are challenging to be solved efficiently due to the NP-hardness, especially for large-scale IPs. To solve this type of IPs, Large neighborhood search (LNS) uses an initial feasible solution and iteratively improves it by searching a large neighborhood around the current solution. However, LNS easily steps into local optima and ignores the correlation between variables to be optimized, leading to compromised performance. This paper presents a general adaptive constraint partition-based optimization framework (ACP) for large-scale IPs that can efficiently use any existing optimization solver as a subroutine. Specifically, ACP first randomly partitions the constraints into blocks, where the number of blocks is adaptively adjusted to avoid local optima. Then, ACP uses a subroutine solver to optimize the decision variables in a randomly selected block of constraints to enhance the variable correlation. ACP is compared with LNS framework with different subroutine solvers on four IPs and a real-world IP. The experimental results demonstrate that in specified wall-clock time ACP shows better performance than SCIP and Gurobi.


title: IEEE Big Data Cup 2022: Privacy Preserving Matching of Encrypted Images with Deep Learning

abstract: Smart sensors, devices and systems deployed in smart cities have brought improved physical protections to their citizens. Enhanced crime prevention, and fire and life safety protection are achieved through these technologies that perform motion detection, threat and actors profiling, and real-time alerts. However, an important requirement in these increasingly prevalent deployments is the preservation of privacy and enforcement of protection of personal identifiable information. Thus, strong encryption and anonymization techniques should be applied to the collected data. In this IEEE Big Data Cup 2022 challenge, different masking, encoding and homomorphic encryption techniques were applied to the images to protect the privacy of their contents. Participants are required to develop detection solutions to perform privacy preserving matching of these images. In this paper, we describe our solution which is based on state-of-the-art deep convolutional neural networks and various data augmentation techniques. Our solution achieved 1st place at the IEEE Big Data Cup 2022: Privacy Preserving Matching of Encrypted Images Challenge.


title: Wasserstein bounds in CLT of approximative MCE and MLE of the drift parameter for Ornstein-Uhlenbeck processes observed at high frequency

abstract: This paper deals with the rate of convergence for the central limit theorem of estimators of the drift coefficient, denoted $\theta$, for a Ornstein-Uhlenbeck process $X \coloneqq \{X_t,t\geq0\}$ observed at high frequency. We provide an Approximate minimum contrast estimator and an approximate maximum likelihood estimator of $\theta$, namely $\widetilde{\theta}_{n}\coloneqq {1}/{\left(\frac{2}{n} \sum_{i=1}^{n}X_{t_{i}}^{2}\right)}$, and $\widehat{\theta}_{n}\coloneqq -{\sum_{i=1}^{n} X_{t_{i-1}}\left(X_{t_{i}}-X_{t_{i-1}}\right)}/{\left(\Delta_{n} \sum_{i=1}^{n} X_{t_{i-1}}^{2}\right)}$, respectively, where $ t_{i} = i \Delta_{n}$, $ i=0,1,\ldots, n $, $\Delta_{n}\rightarrow 0$. We provide Wasserstein bounds in central limit theorem for $\widetilde{\theta}_{n}$ and $\widehat{\theta}_{n}$.


title: Neural networks trained with SGD learn distributions of increasing complexity

abstract: The ability of deep neural networks to generalise well even when they interpolate their training data has been explained using various "simplicity biases". These theories postulate that neural networks avoid overfitting by first learning simple functions, say a linear classifier, before learning more complex, non-linear functions. Meanwhile, data structure is also recognised as a key ingredient for good generalisation, yet its role in simplicity biases is not yet understood. Here, we show that neural networks trained using stochastic gradient descent initially classify their inputs using lower-order input statistics, like mean and covariance, and exploit higher-order statistics only later during training. We first demonstrate this distributional simplicity bias (DSB) in a solvable model of a neural network trained on synthetic data. We empirically demonstrate DSB in a range of deep convolutional networks and visual transformers trained on CIFAR10, and show that it even holds in networks pre-trained on ImageNet. We discuss the relation of DSB to other simplicity biases and consider its implications for the principle of Gaussian universality in learning.

categories: stat.ML cond-mat.dis-nn cond-mat.stat-mech cs.LG


title: Age of Information in a SWIPT and URLLC enabled Wireless Communications System

abstract: This paper estimates the freshness of the information in a wireless relay communication system that employs simultaneous wireless information and power transfer (SWIPT) operating under ultra-reliable low-latency communication (URLLC) constraints. The Age of Information (AoI) metric calculates the time difference between the current time and the timestamp of the most recent update received by the receiver is used here to estimate the freshness of information. The short packet communication scheme is used to fulfil the reliability and latency requirements of the proposed wireless network and its performance is analysed using finite block length theory. In addition, by utilising novel approximation approaches, expressions for the average AoI (AAoI) of the proposed system are derived. Finally, numerical analysis is used to evaluate and validate derived results.


title: ACHINOS: A Multi-Anode Read-Out for Position Reconstruction and Tracking with Spherical Proportional Counters

abstract: The spherical proportional counter is a versatile gaseous detector with physics applications ranging from rare event searches to fast neutron spectroscopy. In its simplest form, the detector operates with a single channel read-out, and uses pulse-shape information to reconstruct the interaction radius, which is used for background discrimination and target volume definition. Recent developments in the read-out instrumentation have enabled the use of a multi-anode read-out structure, ACHINOS. The multiple anodes provide information about the interaction position which, coupled with the radial information, can be used to reconstruct an ionisation track. This ability has implications for several applications of the detector, for example, background discrimination in rare event searches.


title: 2CET-GAN: Pixel-Level GAN Model for Human Facial Expression Transfer

abstract: Recent studies have used GAN to transfer expressions between human faces. However, existing models have many flaws: relying on emotion labels, lacking continuous expressions, and failing to capture the expression details. To address these limitations, we propose a novel CycleGAN- and InfoGAN-based network called 2 Cycles Expression Transfer GAN (2CET-GAN), which can learn continuous expression transfer without using emotion labels. The experiment shows our network can generate diverse and high-quality expressions and can generalize to unknown identities. To the best of our knowledge, we are among the first to successfully use an unsupervised approach to disentangle expression representation from identities at the pixel level.


title: SLLEN: Semantic-aware Low-light Image Enhancement Network

abstract: How to effectively explore semantic feature is vital for low-light image enhancement (LLE). Existing methods usually utilize the semantic feature that is only drawn from the output produced by high-level semantic segmentation (SS) network. However, if the output is not accurately estimated, it would affect the high-level semantic feature (HSF) extraction, which accordingly interferes with LLE. To this end, we develop a simple and effective semantic-aware LLE network (SSLEN) composed of a LLE main-network (LLEmN) and a SS auxiliary-network (SSaN). In SLLEN, LLEmN integrates the random intermediate embedding feature (IEF), i.e., the information extracted from the intermediate layer of SSaN, together with the HSF into a unified framework for better LLE. SSaN is designed to act as a SS role to provide HSF and IEF. Moreover, thanks to a shared encoder between LLEmN and SSaN, we further propose an alternating training mechanism to facilitate the collaboration between them. Unlike currently available approaches, the proposed SLLEN is able to fully lever the semantic information, e.g., IEF, HSF, and SS dataset, to assist LLE, thereby leading to a more promising enhancement performance. Comparisons between the proposed SLLEN and other state-of-the-art techniques demonstrate the superiority of SLLEN with respect to LLE quality over all the comparable alternatives.


title: Detect Only What You Specify : Object Detection with Linguistic Target

abstract: Object detection is a computer vision task of predicting a set of bounding boxes and category labels for each object of interest in a given image. The category is related to a linguistic symbol such as 'dog' or 'person' and there should be relationships among them. However the object detector only learns to classify the categories and does not treat them as the linguistic symbols. Multi-modal models often use the pre-trained object detector to extract object features from the image, but the models are separated from the detector and the extracted visual features does not change with their linguistic input. We rethink the object detection as a vision-and-language reasoning task. We then propose targeted detection task, where detection targets are given by a natural language and the goal of the task is to detect only all the target objects in a given image. There are no detection if the target is not given. Commonly used modern object detectors have many hand-designed components like anchor and it is difficult to fuse the textual inputs into the complex pipeline. We thus propose Language-Targeted Detector (LTD) for the targeted detection based on a recently proposed Transformer-based detector. LTD is a encoder-decoder architecture and our conditional decoder allows the model to reason about the encoded image with the textual input as the linguistic context. We evaluate detection performances of LTD on COCO object detection dataset and also show that our model improves the detection results with the textual input grounding to the visual object.


title: Higher-Order, Data-Parallel Structured Deduction

abstract: State-of-the-art Datalog engines include expressive features such as ADTs (structured heap values), stratified aggregation and negation, various primitive operations, and the opportunity for further extension using FFIs. Current parallelization approaches for state-of-art Datalogs target shared-memory locking data-structures using conventional multi-threading, or use the map-reduce model for distributed computing. Furthermore, current state-of-art approaches cannot scale to formal systems which pervasively manipulate structured data due to their lack of indexing for structured data stored in the heap. In this paper, we describe a new approach to data-parallel structured deduction that involves a key semantic extension of Datalog to permit first-class facts and higher-order relations via defunctionalization, an implementation approach that enables parallelism uniformly both across sets of disjoint facts and over individual facts with nested structure. We detail a core language, $DL_s$, whose key invariant (subfact closure) ensures that each subfact is materialized as a top-class fact. We extend $DL_s$ to Slog, a fully-featured language whose forms facilitate leveraging subfact closure to rapidly implement expressive, high-performance formal systems. We demonstrate Slog by building a family of control-flow analyses from abstract machines, systematically, along with several implementations of classical type systems (such as STLC and LF). We performed experiments on EC2, Azure, and ALCF's Theta at up to 1000 threads, showing orders-of-magnitude scalability improvements versus competing state-of-art systems.


title: Dynamic and Thermodynamic Stability of Charged Perfect Fluid Stars

abstract: We perform a thorough analysis of the dynamic and thermodynamic stability for the charged perfect fluid star by applying the Wald formalism to the Lagrangian formulation of Einstein-Maxwell-charged fluid system. As a result, we find that neither the presence of the additional electromagnetic field nor the Lorentz force experienced by the charged fluid makes any obstruction to the key steps towards the previous results obtained for the neutral perfect fluid star. Therefore, the criterion for the dynamic stability of our charged star in dynamic equilibrium within the symplectic complement of the trivial perturbaions with the ADM $3$-momentum unchanged is given by the non-negativity of the canonical energy associated with the timelike Killing field, where it is further shown for both non-axisymmetric and axisymmetric perturbations that the dynamic stability against these restricted perturbations also implies the dynamic stability against more generic perturbations. On the other hand, the necessary condition for the thermodynamic stability of our charged star in thermodynamic equilibrium is given by the positivity of the canonical energy of all the linear on-shell perturbations with the ADM angular momentum unchanged in the comoving frame, which is equivalent to the positivity of the canonical energy associated with the timelike Killing field when restricted onto the axisymmetric perturbations. As a by-product, we further establish the equivalence of the dynamic and thermodynamic stability with respect to the spherically symmetric perturbations of the static, spherically symmetric isentropic charged star.


title: Massively parallel simulations of binary black holes with Dendro-GR

abstract: We present results from the new Dendro-GR code. These include simulations of binary black hole mergers for mass ratios up to q=16. Dendro-GR uses Wavelet Adaptive Multi-Resolution (WAMR) to generate an unstructured grid adapted to the spacetime geometry together with an octree based data structure. We demonstrate good scaling, improved convergence properties and efficient use of computational resources. We validate the code with comparisons to LazEv.


title: Imputation of Missing Streamflow Data at Multiple Gauging Stations in Benin Republic

abstract: Streamflow observation data is vital for flood monitoring, agricultural, and settlement planning. However, such streamflow data are commonly plagued with missing observations due to various causes such as harsh environmental conditions and constrained operational resources. This problem is often more pervasive in under-resourced areas such as Sub-Saharan Africa. In this work, we reconstruct streamflow time series data through bias correction of the GEOGloWS ECMWF streamflow service (GESS) forecasts at ten river gauging stations in Benin Republic. We perform bias correction by fitting Quantile Mapping, Gaussian Process, and Elastic Net regression in a constrained training period. We show by simulating missingness in a testing period that GESS forecasts have a significant bias that results in low predictive skill over the ten Beninese stations. Our findings suggest that overall bias correction by Elastic Net and Gaussian Process regression achieves superior skill relative to traditional imputation by Random Forest, k-Nearest Neighbour, and GESS lookup. The findings of this work provide a basis for integrating global GESS streamflow data into operational early-warning decision-making systems (e.g., flood alert) in countries vulnerable to drought and flooding due to extreme weather events.


title: Data Privacy in Multi-Cloud: An Enhanced Data Fragmentation Framework

abstract: Data splitting preserves privacy by partitioning data into various fragments to be stored remotely and shared. It supports most data operations because data can be stored in clear as opposed to methods that rely on cryptography. However, majority of existing data splitting techniques do not consider data already in the multi-cloud. This leads to unnecessary use of resources to re-split data into fragments. This work proposes a data splitting framework that leverages on existing data in the multi-cloud. It improves data splitting mechanisms by reducing the number of splitting operations and resulting fragments. Therefore, decreasing the number of storage locations a data owner manages. Broadcasts queries locate third-party data fragments to avoid costly operations when splitting data. This work examines considerations for the use of third-party fragments and application to existing data splitting techniques. The proposed framework was also applied to an existing data splitting mechanism to complement its capabilities.


title: Hodge-Riemann property of Griffiths positive matrices with (1,1)-form entries

abstract: The classical Hard Lefschetz theorem (HLT), Hodge-Riemann bilinear relation theorem (HRR) and Lefschetz decomposition theorem (LD) are stated for a power of a K\"ahler class on a compact K\"ahler manifold. These theorems are not true for an arbitrary class, even if it contains a smooth strictly positive representative. Dinh-Nguy\^en proved the mixed HLT, HRR and LD for a product of arbitrary K\"ahler classes. Instead of products, they asked whether determinants of Griffiths positive $k\times k$ matrices with $(1,1)$-form entries in $\bc^n$ satisfies these theorems in the linear case. This paper answered their question positively when $k=2$ and $n=2,3$. Moreover, assume that the matrix only has diagonalized entries, for $k=2$ and $n\geqslant 4$, the determinant satisfies HLT for bidegrees $(n-2,0)$, $(n-3,1)$, $(1,n-3)$ and $(0,n-2)$. In particular, for $k=2$ and $n=4,5$ with this extra assumption, the determinant satisfies HRR, HLT and LD. Two applications: First, a Griffiths positive $2\times 2$ matrix with $(1,1)$-form entries, if all entries are $\mathbb{C}$-linear combinations of the diagonal entries, then its determinant also satisfies these theorems. Second, on a complex torus of dimension $\leqslant 5$, the determinant of a Griffiths positive $2\times 2$ matrix with diagonalized entries satisfies these theorems.


title: Dynamic Conditional Imitation Learning for Autonomous Driving

abstract: Conditional imitation learning (CIL) trains deep neural networks, in an end-to-end manner, to mimic human driving. This approach has demonstrated suitable vehicle control when following roads, avoiding obstacles, or taking specific turns at intersections to reach a destination. Unfortunately, performance dramatically decreases when deployed to unseen environments and is inconsistent against varying weather conditions. Most importantly, the current CIL fails to avoid static road blockages. In this work, we propose a solution to those deficiencies. First, we fuse the laser scanner with the regular camera streams, at the features level, to overcome the generalization and consistency challenges. Second, we introduce a new efficient Occupancy Grid Mapping (OGM) method along with new algorithms for road blockages avoidance and global route planning. Consequently, our proposed method dynamically detects partial and full road blockages, and guides the controlled vehicle to another route to reach the destination. Following the original CIL work, we demonstrated the effectiveness of our proposal on CARLA simulator urban driving benchmark. Our experiments showed that our model improved consistency against weather conditions by four times and autonomous driving success rate generalization by 52%. Furthermore, our global route planner improved the driving success rate by 37%. Our proposed road blockages avoidance algorithm improved the driving success rate by 27%. Finally, the average kilometers traveled before a collision with a static object increased by 1.5 times. The main source code can be reached at https://heshameraqi.github.io/dynamic_cil_autonomous_driving.


title: Neural network based generation of a 1-dimensional stochastic field with turbulent velocity statistics

abstract: We define and study a fully-convolutional neural network stochastic model, NN-Turb, which generates a 1-dimensional field with some turbulent velocity statistics. In particular, the generated process satisfies the Kolmogorov 2/3 law for second order structure function. It also presents negative skewness across scales (i.e. Kolmogorov 4/5 law) and exhibits intermittency as characterized by skewness and flatness. Furthermore, our model is never in contact with turbulent data and only needs the desired statistical behavior of the structure functions across scales for training.

categories: eess.SP physics.data-an physics.flu-dyn stat.ML


title: Modeling 100% Electrified Transportation in NYC

abstract: Envisioning a future 100% electrified transportation sector, this paper uses socio-economic, demographic, and geographic data to assess electric energy demand from commuter traffic. We explore the individual mode choices, which allows to create mode-mix scenarios for the entire population, and quantify the electric energy demand for each scenario using technical specifications of battery and electric drives technology in combination with different charging scenarios. Using data sets for New York City, our results highlight the need for infrastructure investments, the usefulness of flexible charging policies, and the positive impact of incentivizing micromobility and mass-transit options. Our model and results are publicly available as interactive dashboard.


title: Enhancement of the screening effect in semiconductor detectors in the presence of the neutrino magnetic moment

abstract: The theoretical framework of the neutrino electron excitation at low energies including the screening effect in semiconductor detectors is developed for the first time, both in the Standard Model and in the presence of the neutrino magnetic moment. We explore the contribution of the screening effect of semiconductors to the neutrino electron excitation based on the linear response theory and calculate the corresponding numerical results. We show that excitation rates from the neutrino magnetic moment are dramatically enhanced {by} the screening effect and the sensitivity can be significantly improved to the level of $10^{-13}\,\mu_{\rm B}$, much better than the current {laboratory and astrophysical} limits.


title: Recommending Related Products Using Graph Neural Networks in Directed Graphs

abstract: Related product recommendation (RPR) is pivotal to the success of any e-commerce service. In this paper, we deal with the problem of recommending related products i.e., given a query product, we would like to suggest top-k products that have high likelihood to be bought together with it. Our problem implicitly assumes asymmetry i.e., for a phone, we would like to recommend a suitable phone case, but for a phone case, it may not be apt to recommend a phone because customers typically would purchase a phone case only while owning a phone. We also do not limit ourselves to complementary or substitute product recommendation. For example, for a specific night wear t-shirt, we can suggest similar t-shirts as well as track pants. So, the notion of relatedness is subjective to the query product and dependent on customer preferences. Further, various factors such as product price, availability lead to presence of selection bias in the historical purchase data, that needs to be controlled for while training related product recommendations model. These challenges are orthogonal to each other deeming our problem nontrivial. To address these, we propose DAEMON, a novel Graph Neural Network (GNN) based framework for related product recommendation, wherein the problem is formulated as a node recommendation task on a directed product graph. In order to capture product asymmetry, we employ an asymmetric loss function and learn dual embeddings for each product, by appropriately aggregating features from its neighborhood. DAEMON leverages multi-modal data sources such as catalog metadata, browse behavioral logs to mitigate selection bias and generate recommendations for cold-start products. Extensive offline experiments show that DAEMON outperforms state-of-the-art baselines by 30-160% in terms of HitRate and MRR for the node recommendation task.


title: Dialogs Re-enacted Across Languages

abstract: To support machine learning of cross-language prosodic mappings and other ways to improve speech-to-speech translation, we present a protocol for collecting closely matched pairs of utterances across languages, a description of the resulting data collection and its public release, and some observations and musings. This report is intended for: people using this corpus, people extending this corpus, and people designing similar collections of bilingual dialog data.


title: Are nonsingular black holes with super-Planckian hair ruled out by S2 star data?

abstract: We propose a novel nonsingular black-hole spacetime representing a strong deformation of the Schwarzschild solution with mass $M$ by an additional hair $\ell$, which may be hierarchically larger than the Planck scale. Our black-hole model presents a de Sitter core and $\mathcal{O}(\ell^2/r^2)$ slow-decaying corrections to the Schwarzschild solution. Our black-hole solutions are thermodynamically preferred when $0.2 \lesssim \ell/GM \lesssim \, 0.3$ and are characterized by strong deviations in the orbits of test particles from the Schwarzschild case. In particular, we find corrections to the perihelion precession angle scaling linearly with $\ell$. We test our model using the available data for the orbits of the S2 star around $\text{SgrA}^*$. These data strongly constrain the value of the hair $\ell$, casting an upper bound on it of $\sim \, 0.47 \, GM$, but do not rule out the possible existence of regular black holes with super-Planckian hair.


title: Random-LTD: Random and Layerwise Token Dropping Brings Efficient Training for Large-scale Transformers

abstract: Large-scale transformer models have become the de-facto architectures for various machine learning applications, e.g., CV and NLP. However, those large models also introduce prohibitive training costs. To mitigate this issue, we propose a novel random and layerwise token dropping method (random-LTD), which skips the computation of a subset of the input tokens at all middle layers. Particularly, random-LTD achieves considerable speedups and comparable accuracy as the standard training baseline. Compared to other token dropping methods, random-LTD does not require (1) any importance score-based metrics, (2) any special token treatment (e.g., [CLS]), and (3) many layers in full sequence length training except the first and the last layers. Besides, a new LayerToken learning rate schedule is proposed for pretraining problems that resolve the heavy tuning requirement for our proposed training mechanism. Finally, we demonstrate that random-LTD can be applied to broader applications, including GPT and BERT pretraining as well as ViT and GPT finetuning tasks. Our results show that random-LTD can save about 33.3% theoretical compute cost and 25.6% wall-clock training time while achieving similar zero-shot evaluations on GPT-31.3B as compared to baseline.


title: Timely Target Tracking in Cognitive Radar Networks

abstract: We consider a scenario where a fusion center must decide which updates to receive during each update period in a communication-limited cognitive radar network. When each radar node in the network only is able to obtain noisy state measurements for a subset of the targets, the fusion center may not receive updates on every target during each update period. The solution for the selection problem at the fusion center is not well suited for sequential learning frameworks. We derive an Age of Information-inspired track sensitive metric to inform node selection in such a network and compare it against less-informed techniques.


title: Unit Cell Design for Aperiodic Metasurfaces

abstract: A technique is presented for the design of printed unit cells in aperiodic metasurface environments. The method begins with a solved matrix equation governing electromagnetic scattering from a homogenized metasurface design. The matrix equation is used to find the local, inhomogeneous electric field exciting a printed-circuit unit cell geometry. The local field is then impressed onto the printed circuit geometry and the induced surface current numerically computed. The computed surface current is sampled at the matrix equation discretization. The matrix equation is then used to compute the electric field scattered by the printed-circuit unit cell onto its neighbors using the sampled current in place of the current of the original homogenized unit cell. The printed circuit geometry is optimized to scatter the same field as the homogenized unit cell when excited with the local electric field computed. Two design examples are provided. Both a finite-sized, wide-angle reflecting metasurface, and a metasurface reflectarray designed to scan and collimate an incident cylindrical wave, are realized with printed-circuit unit cells using the proposed approach. It is shown that the local periodicity approximation cannot be used to accurately design the unit cells of either finite-sized metasurface.


title: Conjugate Product Graphs for Globally Optimal 2D-3D Shape Matching

abstract: We consider the problem of finding a continuous and non-rigid matching between a 2D contour and a 3D mesh. While such problems can be solved to global optimality by finding a shortest path in the product graph between both shapes, existing solutions heavily rely on unrealistic prior assumptions to avoid degenerate solutions (e.g. knowledge to which region of the 3D shape each point of the 2D contour is matched). To address this, we propose a novel 2D-3D shape matching formalism based on the conjugate product graph between the 2D contour and the 3D shape. Doing so allows us for the first time to consider higher-order costs, i.e. defined for edge chains, as opposed to costs defined for single edges. This offers substantially more flexibility, which we utilise to incorporate a local rigidity prior. By doing so, we effectively circumvent degenerate solutions and thereby obtain smoother and more realistic matchings, even when using only a one-dimensional feature descriptor. Overall, our method finds globally optimal and continuous 2D-3D matchings, has the same asymptotic complexity as previous solutions, produces state-of-the-art results for shape matching and is even capable of matching partial shapes. Our code is publicly available (https://github.com/paul0noah/sm-2D3D).


title: Introduction to total coalitions in graphs

abstract: Let $G$ be a graph with vertex set $V$. Two disjoint sets $V_1, V_2\subseteq V$ are called a total coalition in $G$, if neither $V_1$ and $V_2$ is a total dominating set of $G$ but $V_1\cup V_2$ is a total dominating set. A total coalition partition of $G$ is a vertex partition $\pi=\{V_1,V_2,\ldots, V_k\}$ such that no set of $\pi$ is a total dominating set but each set $V_i\in \pi$ forms a total coalition with another set $V_j\in \pi$. The maximum cardinality of a total coalition partition of $G$ is called the total coalition number of $G$, denoted by $TC(G)$. In this paper, we initiate the study of the total coalition in graphs and its properties.


title: DPD-fVAE: Synthetic Data Generation Using Federated Variational Autoencoders With Differentially-Private Decoder

abstract: Federated learning (FL) is getting increased attention for processing sensitive, distributed datasets common to domains such as healthcare. Instead of directly training classification models on these datasets, recent works have considered training data generators capable of synthesising a new dataset which is not protected by any privacy restrictions. Thus, the synthetic data can be made available to anyone, which enables further evaluation of machine learning architectures and research questions off-site. As an additional layer of privacy-preservation, differential privacy can be introduced into the training process. We propose DPD-fVAE, a federated Variational Autoencoder with Differentially-Private Decoder, to synthesise a new, labelled dataset for subsequent machine learning tasks. By synchronising only the decoder component with FL, we can reduce the privacy cost per epoch and thus enable better data generators. In our evaluation on MNIST, Fashion-MNIST and CelebA, we show the benefits of DPD-fVAE and report competitive performance to related work in terms of Fr\'echet Inception Distance and accuracy of classifiers trained on the synthesised dataset.


title: Guided Depth Super-Resolution by Deep Anisotropic Diffusion

abstract: Performing super-resolution of a depth image using the guidance from an RGB image is a problem that concerns several fields, such as robotics, medical imaging, and remote sensing. While deep learning methods have achieved good results in this problem, recent work highlighted the value of combining modern methods with more formal frameworks. In this work, we propose a novel approach which combines guided anisotropic diffusion with a deep convolutional network and advances the state of the art for guided depth super-resolution. The edge transferring/enhancing properties of the diffusion are boosted by the contextual reasoning capabilities of modern networks, and a strict adjustment step guarantees perfect adherence to the source image. We achieve unprecedented results in three commonly used benchmarks for guided depth super-resolution. The performance gain compared to other methods is the largest at larger scales, such as x32 scaling. Code (https://github.com/prs-eth/Diffusion-Super-Resolution) for the proposed method is available to promote reproducibility of our results.


title: Investigating methods to improve photovoltaic thermal models at second-to-minute timescales

abstract: This paper presents a range of methods to improve the accuracy of equation-based thermal models of PV modules at second-to-minute timescales. We present an RC-equivalent conceptual model for PV modules, where wind effects are captured. We show how the thermal time constant $\tau$ of PV modules can be determined from measured data, and subsequently used to make static thermal models dynamic by applying the Exponential Weighted Mean (EWM) approach to irradiance and wind signals. On average, $\tau$ is $6.3 \pm 1~$min for fixed-mount PV systems. Based on this conceptual model, the Filter- EWM - Mean Bias Error correction (FEM) methodology is developed. We propose two thermal models, WM1 and WM2, and compare these against the models of Ross, Sandia, and Faiman on twenty-four datasets of fifteen sites, with time resolutions ranging from 1$~$s to 1$~$h, the majority of these at 1$~$min resolution. The FEM methodology is shown to reduce model errors (RMSE and MAE) on average for all sites and models versus the standard steady-state equivalent by -1.1$~$K and -0.75$~$K respectively.


title: Anomalous evolution of the magnetocaloric effect in dilute triangular Ising antiferromagnets $Tb_{1-x}Y_{x}(HCO_{2})_{3}$

abstract: We investigate the effects of diamagnetic doping in the solid-solution series $Tb_{1-x}Y_{x}(HCO_{2})_{3}$, in which the parent $Tb(HCO_{2})_{3}$ phase has previously been shown to host a combination of frustrated and quasi-1D physics, giving rise to a triangular Ising antiferromagnetic ground state that lacks long range 3D order. Heat capacity measurements show three key features: (i) a low temperature Schottky anomaly is observed, which is constant as a function of x; (ii) the transition temperature and associated entropy change are both surprisingly robust to diamagnetic doping; and (iii) an additional contribution at T < 0.4 K appears with increasing x. The origin of this unusual behaviour is rationalised in terms of the fragmentation of quasi-1D spin chains by the diamagnetic $Y^{3+}$ dopant. Magnetocaloric measurements show a nonlinear dependence on x. The mass-weighted magnetocaloric entropy decreases across the series from the promising values in $Tb(HCO_{2})_{3}$; however, the magnetocaloric entropy per magnetic $Tb^{3+}$ ion first decreases then increases with increasing x. Our results establish $Tb_{1-x}Y_{x}(HCO_{2})_{3}$ as a model system in which to explore the functional ramifications of dilution in a low-dimensional magnet.


title: Sydr-Fuzz: Continuous Hybrid Fuzzing and Dynamic Analysis for Security Development Lifecycle

abstract: Nowadays automated dynamic analysis frameworks for continuous testing are in high demand to ensure software safety and satisfy the security development lifecycle (SDL) requirements. The security bug hunting efficiency of cutting-edge hybrid fuzzing techniques outperforms widely utilized coverage-guided fuzzing. We propose an enhanced dynamic analysis pipeline to leverage productivity of automated bug detection based on hybrid fuzzing. We implement the proposed pipeline in the continuous fuzzing toolset Sydr-Fuzz which is powered by hybrid fuzzing orchestrator, integrating our DSE tool Sydr with libFuzzer and AFL++. Sydr-Fuzz also incorporates security predicate checkers, crash triaging tool Casr, and utilities for corpus minimization and coverage gathering. The benchmarking of our hybrid fuzzer against alternative state-of-the-art solutions demonstrates its superiority over coverage-guided fuzzers while remaining on the same level with advanced hybrid fuzzers. Furthermore, we approve the relevance of our approach by discovering 85 new real-world software flaws within the OSS-Sydr-Fuzz project. Finally, we open Casr source code to the community to facilitate examination of the existing crashes.


title: Forecasting Unobserved Node States with spatio-temporal Graph Neural Networks

abstract: Forecasting future states of sensors is key to solving tasks like weather prediction, route planning, and many others when dealing with networks of sensors. But complete spatial coverage of sensors is generally unavailable and would practically be infeasible due to limitations in budget and other resources during deployment and maintenance. Currently existing approaches using machine learning are limited to the spatial locations where data was observed, causing limitations to downstream tasks. Inspired by the recent surge of Graph Neural Networks for spatio-temporal data processing, we investigate whether these can also forecast the state of locations with no sensors available. For this purpose, we develop a framework, named Forecasting Unobserved Node States (FUNS), that allows forecasting the state at entirely unobserved locations based on spatio-temporal correlations and the graph inductive bias. FUNS serves as a blueprint for optimizing models only on observed data and demonstrates good generalization capabilities for predicting the state at entirely unobserved locations during the testing stage. Our framework can be combined with any spatio-temporal Graph Neural Network, that exploits spatio-temporal correlations with surrounding observed locations by using the network's graph structure. Our employed model builds on a previous model by also allowing us to exploit prior knowledge about locations of interest, e.g. the road type. Our empirical evaluation of both simulated and real-world datasets demonstrates that Graph Neural Networks are well-suited for this task.


title: A systematic investigation into the effect of roughness on self-propelled swimming plates

abstract: This study examines the effects of surface topography on the flow and performance of a Self-Propelled Swimming (SPS) body. We consider a thin flat plate with an egg-carton roughness texture undergoing prescribed undulatory swimming kinematics at a Strouhal number of $0.3$ and tail amplitude to length ratio of $0.1$; we use plate Reynolds numbers of $\mathit{Re}=6,12,$ and $24\times 10^3$, and focus on $12,000$. As the roughness wavelength is decreased, we find that the undulation wave speed must be increased to overcome the additional drag from the roughness and maintain SPS. Correspondingly, the extra wave speed raises the power required to maintain SPS, making the swimmer less efficient. To decouple the roughness and the kinematics, we compare the rough plates to equivalent smooth cases by matching the kinematic conditions. We find that all but the longest roughness wavelengths reduce the required swimming power and the unsteady amplitude of the forces when compared to a smooth plate undergoing identical kinematics. Additionally, roughness can enhance flow enstrophy by up to 116\% compared to the smooth cases without a corresponding spike in forces; this suggests that the increased mixing is not due to increased vorticity production at the wall. Instead, the enstrophy is found to peak strongly when the roughness wavelength is approximately twice the boundary layer thickness over the $\mathit{Re}$ range, indicating the roughness induces large-scale secondary flow structures that extend to the edge of the boundary layer. This study reveals the nonlinear interaction between roughness and kinematics beyond a simple increase or decrease in drag, illustrating that roughness studies on static shapes do not transfer directly to unsteady swimmers.


title: Hilbert Series and Operator Counting on the Higgs Effective Field Theory

abstract: We present a systematic procedure for determining the Hilbert series that counts the number of independent operators in the Higgs effective field theory. After removing the redundancies from equation-of-motion and integration-by-part, we provide an algorithm of treating the redundancy from the operators involving in spurion fields parametrizing the custodial symmetry breaking. Furthermore, we utilize the outer automorphism of the Lorentz and internal symmetries to separate operators with different CP properties. With these new implements, the Hilbert series up to chiral dimension 10 are obtained, and CP-even and CP-odd operators can be further divided. Extensions to all orders are straightforward.


title: Radiative modes $K^+\to\pi^+\gamma^*\gamma^{(*)}$ and the $K^+\to\pi^+4e$ decay

abstract: We discuss radiative transitions of a charged kaon to a pion and two photons. In particular, we have a closer look at radiative corrections for the $K^+\to\pi^+\ell^+\ell^-$ decays and present the branching ratio of the $K^+\to\pi^+e^+e^-e^+e^-$ process calculated for the first time at leading order in the Standard Model.