title: Enhancing team performance with transfer-learning during real-world human-robot collaboration

abstract: Socially aware robots should be able, among others, to support fluent human-robot collaboration in tasks that require interdependent actions in order to be solved. Towards enhancing mutual performance, collaborative robots should be equipped with adaptation and learning capabilities. However, co-learning can be a time consuming procedure. For this reason, transferring knowledge from an expert could potentially boost the overall team performance. In the present study, transfer learning was integrated in a deep Reinforcement Learning (dRL) agent. In a real-time and real-world set-up, two groups of participants had to collaborate with a cobot under two different conditions of dRL agents; one that was transferring knowledge and one that did not. A probabilistic policy reuse method was used for the transfer learning (TL). The results showed that there was a significant difference between the performance of the two groups; TL halved the time needed for the training of new participants to the task. Moreover, TL also affected the subjective performance of the teams and enhanced the perceived fluency. Finally, in many cases the objective performance metrics did not correlate with the subjective ones providing interesting insights about the design of transparent and explainable cobot behaviour.


title: The ideal structure of partial skew groupoid rings with applications to topological dynamics and ultragraph algebras

abstract: Given a partial action $\alpha$ of a groupoid $G$ on a ring $R$, we study the associated partial skew groupoid ring $R \rtimes_{\alpha} G$, which carries a natural $G$-grading. We show that there is a one-to-one correspondence between the $G$-invariant ideals of $R$ and the graded ideals of the $G$-graded ring $R \rtimes_{\alpha}G.$ We provide sufficient conditions for primeness, and necessary and sufficient conditions for simplicity of $R \rtimes_{\alpha}G.$ We show that every ideal of $R \rtimes_{\alpha}G$ is graded if, and only if, $\alpha$ has the residual intersection property. Furthermore, if $\alpha$ is induced by a topological partial action $\theta$, then we prove that minimality of $\theta$ is equivalent to $G$-simplicity of $R$, topological transitivity of $\theta$ is equivalent to $G$-primeness of $R$, and topological freeness of $\theta$ on every closed invariant subset of the underlying topological space is equivalent to $\alpha$ having the residual intersection property. As an application, we characterize condition (K) for an ultragraph in terms of topological properties of the associated partial action and in terms of algebraic properties of the associated ultragraph algebra.


title: A note on graphs with purely imaginary per-spectrum

abstract: In 1983, Borowiecki and J\'o\'zwiak posed the problem ``Characterize those graphs which have purely imaginary per-spectrum.'' This problem is still open. The most general result, although a partial solution, was given in 2004 by Yan and Zhang, who show that if $G$ is a bipartite graph containing no subgraph which is an even subdivision of $K_{2,3}$, then it has purely imaginary per-spectrum. Zhang and Li in 2012 proved that such graphs are planar and admit a Pfaffian orientation. In this article, we describe how to construct graphs with purely imaginary per-spectrum having a subgraph which is an even subdivision of $K_{2,3}$ (planar and nonplanar) using coalescence of rooted graphs.


title: Asynchronous global-local non-invasive coupling for linear elliptic problems

abstract: This paper presents the first asynchronous version of the Global/Local non-invasive coupling, capable of dealing efficiently with multiple, possibly adjacent, patches. We give a new interpretation of the coupling in terms of primal domain decomposition method, and we prove the convergence of the relaxed asynchronous iteration. The asynchronous paradigm lifts many bottlenecks of the Global/Local coupling performance. We illustrate the method on several linear elliptic problems as encountered in thermal and elasticity studies.


title: Axion Free-kick Misalignment Mechanism

abstract: We propose an alternative scenario for the axion misalignment mechanism based on the nontrivial interplay between the axion and a light dilaton in the early universe. Dark matter abundance is still sourced by the initial misalignment of the axion field, whose motion along the potential kicks the dilaton field away from its minimum, and dilaton starts to oscillate later with a delayed onset time for oscillation and a relatively large misalignment value due to the kick; eventually the dilaton dominates over the axion in their energy densities, and the dilaton is identified as dark matter. The kick effect due to axion motion is the most significant if the initial field value of dilaton is near its minimum; therefore, we call this scenario axion free-kick misalignment mechanism, where axion plays the role similar to a football player. Dark matter abundance can be obtained with a lower axion decay constant compared to the conventional misalignment mechanism.


title: One-dimensional electron localization in semiconductors coupled to electromagnetic cavities

abstract: Electrical conductivity of one-dimensional (1d) disordered solids decays exponentially with their length, which is a celebrated manifestation of the localization phenomenon. Here, we study the modifications of localized conductivity induced by placement of 1d semiconductors inside of single-mode electromagnetic cavities, focusing on the regime of non-degenerate doping. We use the Green's function technique modified for the non-perturbative account of cavity excited states, and including both coherent electron-cavity effects (i.e. electron motion in the zero-point fluctuating field) and incoherent processes of photon emission upon tunneling. The energy spectrum of electron transmission in the cavity acquires Fano-type resonances associated with virtual photon emission, passage along the resonant level, and photon re-absorption. The quality factor of the Fano resonance depends on whether the intermediate state is coupled to the leads, and reaches its maximum when this state is localized deep in the disorder potential. Coupling to the cavity also elevates the energies of the shallow bound states, bringing them to the conduction band bottom. Such an effect leads to the enhancement of the low-temperature conductance.


title: Birkhoff normal form in low regularity for the nonlinear quantum harmonic oscillator

abstract: Given small initial solutions of the nonlinear quantum harmonic oscillator on $\mathbb{R}$, we are interested in their long time behavior in the energy space which is an adapted Sobolev space. We perturbate the linear part by $V$ taken as multiplicative potentials, in a way that the linear frequencies satisfy a non-resonance condition. More precisely, we prove that for almost all potentials $V$, the low modes of the solution are almost preserved for very long times.


title: On an almost sharp Liouville type theorem for fractional Navier-Stokes equations

abstract: We investigate existence, Liouville type theorems and regularity results for the 3D stationary and incompressible fractional Navier-Stokes equations: in this setting the usual Laplacian is replaced by its fractional power $(-\Delta)^{\frac{\alpha}{2}}$ with $0<\alpha<2$. By applying a fixed point argument, weak solutions can be obtained in the Sobolev space $\dot{H}^{\frac{\alpha}{2}}(\mathbb{R})$ and if we add an extra integrability condition, stated in terms of Lebesgue spaces, then we can prove for some values of $\alpha$ that the zero function is the unique smooth solution. The additional integrability condition is almost sharp for $3/5<\alpha<5/3$. Moreover, in the case $1<\alpha<2$ a gain of regularity is established under some conditions, however the study of regularity in the regime $0<\alpha\leq 1$ seems for the moment to be an open problem.


title: Participation of Stakeholder in the Design of a Conception Application of Augmentative and Alternative Communication

abstract: The objective of this paper is to describe the implication of an interdisciplinary team involved during a user-centered design methodology to design the platform (WebSoKeyTo) that meets the needs of therapists to design augmentative and alternative communication (AAC) aids for disabled users. We describe the processes of the design process and the role of the various actors (therapists and human computer researchers) in the various phases of the process. Finally, we analyze a satisfaction scale of the therapists on their participation in the codesign process. This study demonstrates the interest in extending the design actors to other therapists and caregivers (professional and family) in the daily life of people with disabilities.


title: User Centred Method to Design a Platform to Design Augmentative and Alternative Communication Assistive Technologies

abstract: We describe a co-design approach to design the online WebSoKeyTo used to design AAC. This co-design was carried out between a team of therapists and a team of human-computer interaction researchers. Our approach begins with the use and evaluation of an existing SoKeyTo AAC design application. This step was essential in the awareness and definition of the needs by the therapists and in the understanding of the poor usability scores of SoKeyTo by the researchers. We then describe the various phases (focus group, brainstorming, prototyping) with the co-design choices retained. An evaluation of WebSoKeyTo is in progress.


title: Using a quantum computer to solve a real-world problem -- what can be achieved today?

abstract: Quantum computing is an important developing technology with the potential to revolutionise the landscape of scientific and business problems that can be practically addressed. The widespread excitement derives from the potential for a fault tolerant quantum computer to solve previously intractable problems. Such a machine is not expected to be available until 2030 at least. Thus we are currently in the so-called NISQ era where more heuristic quantum approaches are being applied to early versions of quantum hardware. In this paper we seek to provide a more accessible explanation of many of the more technical aspects of quantum computing in the current NISQ era exploring the 2 main hybrid classical-quantum algorithms, QAOA and VQE, as well as quantum annealing. We apply these methods, to an example of combinatorial optimisation in the form of a facilities location problem. Methods explored include the applications of different types of mixer (X, XY and a novel 3XY mixer) within QAOA as well as the effects of many settings for important meta parameters, which are often not focused on in research papers. Similarly, we explore alternative parameter settings in the context of quantum annealing. Our research confirms the broad consensus that quantum gate hardware will need to be much more capable than is available currently in terms of scale and fidelity to be able to address such problems at a commercially valuable level. Quantum annealing is closer to offering quantum advantage but will also need to achieve a significant step up in scale and connectivity to address optimisation problems where classical solutions are sub-optimal.


title: Robust Mean Teacher for Continual and Gradual Test-Time Adaptation

abstract: Since experiencing domain shifts during test-time is inevitable in practice, test-time adaption (TTA) continues to adapt the model after deployment. Recently, the area of continual and gradual test-time adaptation (TTA) emerged. In contrast to standard TTA, continual TTA considers not only a single domain shift, but a sequence of shifts. Gradual TTA further exploits the property that some shifts evolve gradually over time. Since in both settings long test sequences are present, error accumulation needs to be addressed for methods relying on self-training. In this work, we propose and show that in the setting of TTA, the symmetric cross-entropy is better suited as a consistency loss for mean teachers compared to the commonly used cross-entropy. This is justified by our analysis with respect to the (symmetric) cross-entropy's gradient properties. To pull the test feature space closer to the source domain, where the pre-trained model is well posed, contrastive learning is leveraged. Since applications differ in their requirements, we address several settings, including having source data available and the more challenging source-free setting. We demonstrate the effectiveness of our proposed method 'robust mean teacher' (RMT) on the continual and gradual corruption benchmarks CIFAR10C, CIFAR100C, and Imagenet-C. We further consider ImageNet-R and propose a new continual DomainNet-126 benchmark. State-of-the-art results are achieved on all benchmarks.


title: Physics instructors knowledge and use of active learning has increased over the last decade but most still lecture too much

abstract: A survey of 722 physics faculty conducted in 2008 found that many physics instructors had knowledge of research-based instructional strategies (RBISs), were interested in using more, but often discontinued use after trying. Considerable effort has been made during the decade following 2008 to develop and disseminate RBISs in physics as well as change the culture within the physics community to value RBISs use and other forms of student-centered instruction. This paper uses data from a 2019 survey of 1176 physics instructors to understand the current state of RBIS use in college-level introductory physics, thus allowing us to better understand some of the impacts of these efforts on physics instruction. Results show that self-reported knowledge and use of RBISs has increased considerably and discontinuation is now relatively low. However, although the percentage of time lecturing is less than 10 years ago, many instructors still engage in substantial lecturing. Relatedly, we find that the majority of RBIS use centers on pedagogies designed to supplement traditional lecture rather than pedagogies designed to supplement an active learning classroom. This suggests that the PER community and beyond has done well promoting knowledge about RBISs and inspiring instructors to try RBISs in their courses. But, there is still room to improve. We recommend that change agents focus on supporting instructors to increase the percent of class time in active learning and to implement higher impact strategies.


title: Duality Between Lagrangians and Rockafellians

abstract: In his monograph \emph{Conjugate Duality and Optimization}, Rockafellar puts forward a ``perturbation + duality'' method to obtain a dual problem for an original minimization problem. First, one embeds the minimization problem into a family of perturbed problems (thus giving a so-called perturbation function); the perturbation of the original function to be minimized has recently been called a Rockafellian. Second, when the perturbation variable belongs to a primal vector space paired, by a bilinear form, with a dual vector space, one builds a Lagrangian from a Rockafellian; one also obtains a so-called dual function (and a dual problem). The method has been extended from Fenchel duality to generalized convexity: when the perturbation belongs to a primal set paired, by a coupling function, with a dual set, one also builds a Rockafellian from a Lagrangian. Following these paths, we highlight a duality between Lagrangians and Rockafellians. Where the material mentioned above mostly focuses on moving from Rockafellian to Lagrangian, we treat them equally and display formulas that go both ways. We propose a definition of Lagrangian-Rockafellian couples. We characterize these latter as dual functions, with respect to a coupling, and also in terms of generalized convex functions. The duality between perturbation and dual functions is not as clear cut.


title: Runtime Analysis for the NSGA-II: Proving, Quantifying, and Explaining the Inefficiency For Many Objectives

abstract: The NSGA-II is one of the most prominent algorithms to solve multi-objective optimization problems. Despite numerous successful applications, several studies have shown that the NSGA-II is less effective for larger numbers of objectives. In this work, we use mathematical runtime analyses to rigorously demonstrate and quantify this phenomenon. We show that even on the simple $m$-objective generalization of the discrete OneMinMax benchmark, where every solution is Pareto optimal, the NSGA-II also with large population sizes cannot compute the full Pareto front (objective vectors of all Pareto optima) in sub-exponential time when the number of objectives is at least three. The reason for this unexpected behavior lies in the fact that in the computation of the crowding distance, the different objectives are regarded independently. This is not a problem for two objectives, where any sorting of a pair-wise incomparable set of solutions according to one objective is also such a sorting according to the other objective (in the inverse order).


title: First spatially resolved Na I and He I transitions towards an MYSO. Finding new tracers for the gaseous star/disc interface

abstract: With steady observational advances, the formation of massive stars is being understood in more detail. Numerical models are converging on a scenario where accretion discs play a key role. Direct observational evidence of such discs at a few au scales is scarce, due to the rarity of such objects and the observational challenges, including the lack of adequate diagnostic lines in the near-IR. We present the analysis of K-band spectro-interferometric observations toward the Massive Young Stellar Object IRAS 13481-6124, which is known to host an accreting dusty disc. Using GRAVITY on the VLTI, we trace the crucial au-scales of the warm inner interface between the star and the accretion dusty disc. We detect and spatially resolve the Na I doublet and He I transitions towards an object of this class for the first time. The new observations in combination with our geometric models allowed us to probe the smallest au-scales of accretion/ejection around an MYSO. We find that Na I originates in the disc at smaller radii than the dust disc and is more compact than any of the other spatially resolved diagnostics (Br$\gamma$, He I, and CO). Our findings suggest that Na I can be a new powerful diagnostic line in tracing the warm star/disc accreting interface of forming (massive) stars, while the similarities between He I and Br$\gamma$ point towards an accretion/ejection origin of He I


title: Biological Random Walks: multi-omics integration for disease gene prioritization

abstract: Motivation: Over the past decade, network-based approaches have proven useful in identifying disease modules within the human interactome, often providing insights into key mechanisms and guiding the quest for therapeutic targets. This is all the more important, since experimental investigation of potential gene candidates is an expensive task, thus not always a feasible option. On the other hand, many sources of biological information exist beyond the interactome and an important research direction is the design of effective techniques for their integration. Results: In this work, we introduce the Biological Random Walks (BRW) approach for disease gene prioritization in the human interactome. The proposed framework leverages multiple biological sources within an integrated framework. We perform an extensive, comparative study of BRW's performance against well-established baselines. Availability and implementation: All code is publicly available and can be downloaded at \url{https://github.com/LeoM93/BiologicalRandomWalks}. We used publicly available datasets, details on their retrieval and preprocessing are provided in the supplementary material.


title: Human or Machine? Turing Tests for Vision and Language

abstract: As AI algorithms increasingly participate in daily activities that used to be the sole province of humans, we are inevitably called upon to consider how much machines are really like us. To address this question, we turn to the Turing test and systematically benchmark current AIs in their abilities to imitate humans. We establish a methodology to evaluate humans versus machines in Turing-like tests and systematically evaluate a representative set of selected domains, parameters, and variables. The experiments involved testing 769 human agents, 24 state-of-the-art AI agents, 896 human judges, and 8 AI judges, in 21,570 Turing tests across 6 tasks encompassing vision and language modalities. Surprisingly, the results reveal that current AIs are not far from being able to impersonate human judges across different ages, genders, and educational levels in complex visual and language challenges. In contrast, simple AI judges outperform human judges in distinguishing human answers versus machine answers. The curated large-scale Turing test datasets introduced here and their evaluation metrics provide valuable insights to assess whether an agent is human or not. The proposed formulation to benchmark human imitation ability in current AIs paves a way for the research community to expand Turing tests to other research areas and conditions. All of source code and data are publicly available at https://tinyurl.com/8x8nha7p


title: Long-range interactions of aromatic molecules with alkali-metal and alkaline-earth-metal atoms

abstract: The isotropic and anisotropic coefficients $C^{l,m}_n$ of the long-range spherical expansion $\sim 1/R^n$ ($R$ -- the intermolecular distance) of the dispersion and inductions intermolecular energies are calculated using the first principles for the complexes containing an aromatic molecule (benzene, pyridine, furan, and pyrrole) and alkali-metal (Li, Na, K, Rb, and Cs) or alkaline-earth-metal (Be, Mg, Ca, Sr, and Ba) atoms in their electronic ground states. The values of the first and second-order properties of the aromatic molecules are calculated using the response theory with the asymptotically corrected LPBE0 functional. The second-order properties of the closed-shell alkaline-earth-metal atoms are obtained using the expectation-value coupled cluster theory and of the open-shell alkali-metal atoms using analytical wavefunctions. These properties are used for the calculation of the dispersion $C^{l,m}_{n,\text{disp}}$ and induction $C^{l,m}_{n,\text{ind}}$ coefficients ($C^{l,m}_n=C^{l,m}_{n,\text{disp}}+C^{l,m}_{n,\text{ind}}$) with $n$ up to 12 using the available implemented analytical formulas. It is shown that the inclusion of the coefficients with $n>6$ is important for reproducing the interaction energy in the van der Waals region at $R\approx 6$ angstrom. The reported long-range potentials should be useful for constructing the analytical potentials, valid for the whole intermolecular interaction range, which are needed for spectroscopic and scattering studies.


title: A Divide-and-Conquer Algorithm for Disordered and Interacting Few-Particle Systems in One Dimension

abstract: We present an algorithm to solve very large one-dimensional disordered and interacting few-particle systems. Our approach exploits the localized nature of the eigenfunctions in real space to achieve a linear scaling with the total system size $L$. This allows us to solve for all eigenfunctions of single-particle systems with different types of disorder up to one billion sites. Based on this technology we collect very detailed histograms of properties of eigenfunctions, such as the localization length or the participation ratio as a function of their energy. These histograms reveal surprisingly rich fine structures, whose origins we discuss. We also apply the algorithm to single particle problems where not all eigenfunctions are localized and show how this is diagnosed. Finally we extend the algorithm to interacting two-particle problems in the presence of disorder and demonstrate that our algorithm is well suited to analyze the effect of interactions on wavefunctions.


title: TransVCL: Attention-enhanced Video Copy Localization Network with Flexible Supervision

abstract: Video copy localization aims to precisely localize all the copied segments within a pair of untrimmed videos in video retrieval applications. Previous methods typically start from frame-to-frame similarity matrix generated by cosine similarity between frame-level features of the input video pair, and then detect and refine the boundaries of copied segments on similarity matrix under temporal constraints. In this paper, we propose TransVCL: an attention-enhanced video copy localization network, which is optimized directly from initial frame-level features and trained end-to-end with three main components: a customized Transformer for feature enhancement, a correlation and softmax layer for similarity matrix generation, and a temporal alignment module for copied segments localization. In contrast to previous methods demanding the handcrafted similarity matrix, TransVCL incorporates long-range temporal information between feature sequence pair using self- and cross- attention layers. With the joint design and optimization of three components, the similarity matrix can be learned to present more discriminative copied patterns, leading to significant improvements over previous methods on segment-level labeled datasets (VCSL and VCDB). Besides the state-of-the-art performance in fully supervised setting, the attention architecture facilitates TransVCL to further exploit unlabeled or simply video-level labeled data. Additional experiments of supplementing video-level labeled datasets including SVD and FIVR reveal the high flexibility of TransVCL from full supervision to semi-supervision (with or without video-level annotation). Code is publicly available at https://github.com/transvcl/TransVCL.


title: Navigation with Tactile Sensor for Natural Human-Robot Interaction

abstract: Tactile sensors have been introduced to a wide range of robotic tasks such as robot manipulation to mimic the sense of human touch. However, there has only been a few works that integrate tactile sensing into robot navigation. This paper describes a navigation system which allows robots to operate in crowded human-dense environments and behave with socially acceptable reactions by utilizing semantic and force information collected by embedded tactile sensors, RGB-D camera and LiDAR. Compliance control is implemented based on artificial potential fields considering not only laser scan but also force reading from tactile sensors which promises a fast and reliable response to any possible collision. In contrast to cameras, LiDAR and other non-contact sensors, tactile sensors can directly interact with humans and can be used to accept social cues akin to natural human behavior under the same situation. Furthermore, leveraging semantic segmentation from vision module, the robot is able to identify and, therefore assign varying social cost to different groups of humans enabling for socially conscious path planning. At the end of this paper, the proposed control strategy was validated successfully by testing several scenarios on an omni-directional robot in real world.


title: Efficient Rigid Body Localization based on Euclidean Distance Matrix Completion for AGV Positioning under Harsh Environment

abstract: In real-world applications for automatic guided vehicle (AGV) navigation, the positioning system based on the time-of-flight (TOF) measurements between anchors and tags is confronted with the problem of insufficient measurements caused by blockages to radio signals or lasers, etc. Mounting multiple tags at different positions of the AGV to collect more TOFs is a feasible solution to tackle this difficulty. Vehicle localization by exploiting the measurements between multiple tags and anchors is a rigid body localization (RBL) problem, which estimates both the position and attitude of the vehicle. However, the state-of-the-art solutions to the RBL problem do not deal with missing measurements, and thus will result in degraded localization availability and accuracy in harsh environments. In this paper, different from these existing solutions for RBL, we model this problem as a sensor network localization problem with missing TOFs. To solve this problem, we propose a new efficient RBL solution based on Euclidean distance matrix (EDM) completion, abbreviated as ERBL-EDMC. Firstly, we develop a method to determine the upper and lower bounds of the missing measurements to complete the EDM reliably, using the known relative positions between tags and the statistics of the TOF measurements. Then, based on the completed EDM, the global tag positions are obtained from a coarse estimation followed by a refinement step assisted with inter-tag distances. Finally, the optimal vehicle position and attitude are obtained iteratively based on the estimated tag positions from the previous step. Theoretical analysis and simulation results show that the proposed ERBL-EDMC method effectively solves the RBL problem with incomplete measurements. It obtains the optimal positioning results while maintaining low computational complexity compared with the existing RBL methods based on semi-definite relaxation.


title: Autonomous Marker-less Rapid Aerial Grasping

abstract: In a future with autonomous robots, visual and spatial perception is of utmost importance for robotic systems. Particularly for aerial robotics, there are many applications where utilizing visual perception is necessary for any real-world scenarios. Robotic aerial grasping using drones promises fast pick-and-place solutions with a large increase in mobility over other robotic solutions. Utilizing Mask R-CNN scene segmentation (detectron2), we propose a vision-based system for autonomous rapid aerial grasping which does not rely on markers for object localization and does not require the appearance of the object to be previously known. Combining segmented images with spatial information from a depth camera, we generate a dense point cloud of the detected objects and perform geometry-based grasp planning to determine grasping points on the objects. In real-world experiments on a dynamically grasping aerial platform, we show that our system can replicate the performance of a motion capture system for object localization up to 94.5 % of the baseline grasping success rate. With our results, we show the first use of geometry-based grasping techniques with a flying platform and aim to increase the autonomy of existing aerial manipulation platforms, bringing them further towards real-world applications in warehouses and similar environments.


title: Characterizing a Neutron-Induced Fault Model for Deep Neural Networks

abstract: The reliability evaluation of Deep Neural Networks (DNNs) executed on Graphic Processing Units (GPUs) is a challenging problem since the hardware architecture is highly complex and the software frameworks are composed of many layers of abstraction. While software-level fault injection is a common and fast way to evaluate the reliability of complex applications, it may produce unrealistic results since it has limited access to the hardware resources and the adopted fault models may be too naive (i.e., single and double bit flip). Contrarily, physical fault injection with neutron beam provides realistic error rates but lacks fault propagation visibility. This paper proposes a characterization of the DNN fault model combining both neutron beam experiments and fault injection at software level. We exposed GPUs running General Matrix Multiplication (GEMM) and DNNs to beam neutrons to measure their error rate. On DNNs, we observe that the percentage of critical errors can be up to 61%, and show that ECC is ineffective in reducing critical errors. We then performed a complementary software-level fault injection, using fault models derived from RTL simulations. Our results show that by injecting complex fault models, the YOLOv3 misdetection rate is validated to be very close to the rate measured with beam experiments, which is 8.66x higher than the one measured with fault injection using only single-bit flips.


title: Schr\"{o}dinger's Bat: Diffusion Models Sometimes Generate Polysemous Words in Superposition

abstract: Recent work has shown that despite their impressive capabilities, text-to-image diffusion models such as DALL-E 2 (Ramesh et al., 2022) can display strange behaviours when a prompt contains a word with multiple possible meanings, often generating images containing both senses of the word (Rassin et al., 2022). In this work we seek to put forward a possible explanation of this phenomenon. Using the similar Stable Diffusion model (Rombach et al., 2022), we first show that when given an input that is the sum of encodings of two distinct words, the model can produce an image containing both concepts represented in the sum. We then demonstrate that the CLIP encoder used to encode prompts (Radford et al., 2021) encodes polysemous words as a superposition of meanings, and that using linear algebraic techniques we can edit these representations to influence the senses represented in the generated images. Combining these two findings, we suggest that the homonym duplication phenomenon described by Rassin et al. (2022) is caused by diffusion models producing images representing both of the meanings that are present in superposition in the encoding of a polysemous word.


title: IoT application using a unique rectangular 2.4GHz microstrip patch antenna

abstract: Internet of Things (IoT)-based applications must be integrated with wireless communication technologies for this make application data easily accessible. The wireless communication system is a crucial component of IoT infrastructure, serving as a bridge for bidirectional connection for data gathering and control message delivery. In this article, a modified meander form microstrip patch antenna for IoT applications in 2.4 GHz ISM (Industrial, Scientific, and Medical) band is suggested.The suggested antenna has a gain of up to 4.01 dBi and an efficiency of up to 90% directivity up to 7.14. Theperformance after simulation of this antenna that is combined with a 2.4GHz radio frequency module and IoT sensors. Having small size and high fractional bandwidth which gives a good performance in IoT application. The patch's length width is 30.2 mm, and its length 47mm at a resonance frequency of 2.4 GHz is 38 mm, with a feeding offset position of 6 mm. The substrate has a height of 1.5 mm that appropriate for short-range IoT applications.


title: DeepVulSeeker: A Novel Vulnerability Identification Framework via Code Graph Structure and Pre-training Mechanism

abstract: Software vulnerabilities can pose severe harms to a computing system. They can lead to system crash, privacy leakage, or even physical damage. Correctly identifying vulnerabilities among enormous software codes in a timely manner is so far the essential prerequisite to patch them. Unfortantely, the current vulnerability identification methods, either the classic ones or the deep-learning-based ones, have several critical drawbacks, making them unable to meet the present-day demands put forward by the software industry. To overcome the drawbacks, in this paper, we propose DeepVulSeeker, a novel fully automated vulnerability identification framework, which leverages both code graph structures and the semantic features with the help of the recently advanced Graph Representation Self-Attention and pre-training mechanisms. Our experiments show that DeepVulSeeker not only reaches an accuracy as high as 0.99 on traditional CWE datasets, but also outperforms all other exisiting methods on two highly-complicated datasets. We also testified DeepVulSeeker based on three case studies, and found that DeepVulSeeker is able to understand the implications of the vulnerbilities. We have fully implemented DeepVulSeeker and open-sourced it for future follow-up research.


title: Are Concept Drift Detectors Reliable Alarming Systems? -- A Comparative Study

abstract: As machine learning models increasingly replace traditional business logic in the production system, their lifecycle management is becoming a significant concern. Once deployed into production, the machine learning models are constantly evaluated on new streaming data. Given the continuous data flow, shifting data, also known as concept drift, is ubiquitous in such settings. Concept drift usually impacts the performance of machine learning models, thus, identifying the moment when concept drift occurs is required. Concept drift is identified through concept drift detectors. In this work, we assess the reliability of concept drift detectors to identify drift in time by exploring how late are they reporting drifts and how many false alarms are they signaling. We compare the performance of the most popular drift detectors belonging to two different concept drift detector groups, error rate-based detectors and data distribution-based detectors. We assess their performance on both synthetic and real-world data. In the case of synthetic data, we investigate the performance of detectors to identify two types of concept drift, abrupt and gradual. Our findings aim to help practitioners understand which drift detector should be employed in different situations and, to achieve this, we share a list of the most important observations made throughout this study, which can serve as guidelines for practical usage. Furthermore, based on our empirical results, we analyze the suitability of each concept drift detection group to be used as alarming system.


title: Microscopic Origin of the Electric Dzyaloshinskii-Moriya Interaction

abstract: The microscopic origin of the electric Dzyaloshinskii-Moriya interaction (eDMI) is unveiled and discussed by analytical analysis and first-principles based calculations. As similar to the magnetic Dzyaloshinskii-Moriya interaction (mDMI), eDMI also originates from electron-mediated effect and more specifically from certain electron hoppings that are being activated due to certain local inversion symmetry breaking. However, the eDMI energy is found to be at least a third-order interaction in atomic displacements instead of bilinear in magnetic dipole moments for mDMI. Furthermore, the eDMI energy form is presented, and we find that novel electrical topological defects (namely, chiral electric bobbers) can arise from this eDMI. Thus unraveling the microscopic origin of eDMI has the potential to lead to, and explain, the discovery of novel polar topological phases.


title: Leverage, Endogenous Unbalanced Growth, and Asset Price Bubbles

abstract: We present a general equilibrium macro-finance model with a positive feedback loop between capital investment and land price. As leverage is relaxed beyond a critical value, through the financial accelerator, a phase transition occurs from balanced growth where land prices reflect fundamentals (present value of rents) to unbalanced growth where land prices grow faster than rents, generating land price bubbles. Unbalanced growth dynamics and bubbles are associated with financial loosening and technological progress. In an analytically tractable two-sector large open economy model with unique equilibria, financial loosening simultaneously leads to low interest rates, asset overvaluation, and top-end wealth concentration.


title: High-Quality Fault Resiliency in Fat Trees

abstract: Coupling regular topologies with optimised routing algorithms is key in pushing the performance of interconnection networks of supercomputers.In this paper we present Dmodc, a fast deterministic routing algorithm for Parallel Generalised Fat-Trees (PGFTs) which minimises congestion risk even under massive network degradation caused by equipment failure.Dmodc computes forwarding tables with a closed-form arithmetic formula by relying on a fast preprocessing phase.This allows complete re-routing of networks with tens of thousands of nodes in less than a second.In turn, this greatly helps centralised fabric management react to faults with high-quality routing tables and no impact to running applications in current and future very large-scale HPC clusters.


title: An Adaptive Event-based Data Converter for Always-on Biomedical Applications at the Edge

abstract: Typical bio-signal processing front-ends are designed to maximize the quality of the recorded data, to allow faithful reproduction of the signal for monitoring and off-line processing. This leads to designs that have relatively large area and power consumption figures. However, wearable devices for always-on biomedical applications do not necessarily require to reproduce highly accurate recordings of bio-signals, provided their end-to-end classification or anomaly detection performance is not compromised. Within this context, we propose an adaptive Asynchronous Delta Modulator (ADM) circuit designed to encode signals with an event-based representation optimally suited for low-power on-line spiking neural network processors. The novel aspect of this work is the adaptive thresholding feature of the ADM, which allows the circuit to modulate and minimize the rate of events produced with the amplitude and noise characteristics of the signal. We describe the circuit's basic mode of operation, we validate it with experimental results, and characterize the new circuits that endow it with its adaptive thresholding properties.


title: Fine-structure transitions of the carbon isoelectronic sequence C, N$^+$ and O$^{2+}$ induced by collisions with atomic hydrogen

abstract: Fine-structure transitions can be involved in various processes including photon absorption, charge transfer and inelastic collision between ions, electrons and neutral atoms. We present fine-structure excitation and relaxation cross sections for the collisions of the first few members of the carbon isoelectronic sequence (C, N$^+$ and O$^{2+}$) with atomic hydrogen calculated using quantum-mechanical methods. For C, the scattering theory and computational approach is verified by comparison with previous calculations. The rate coefficients for the collisional processes are obtained. For N$^+$ and O$^{2+}$, the transitions correspond to the lines [\ion{O}{iii}] 52~{\textmu}m, [\ion{O}{iii}] 88~{\textmu}m, [\ion{N}{ii}] 122~{\textmu}m, and [\ion{N}{ii}] 205~{\textmu}m, observed in the far-infrared in the local Universe and more recently in high-redshift galaxies using radio interferometry. The influence of different potentials on the cross sections and rate coefficients are demonstrated.


title: Mixed Signals: Analyzing Software Attribution Challenges in the Android Ecosystem

abstract: The ability to identify the author responsible for a given software object is critical for many research studies and for enhancing software transparency and accountability. However, as opposed to other application markets like iOS, attribution in the Android ecosystem is known to be hard. Prior research has leveraged market metadata and signing certificates to identify software authors without questioning the validity and accuracy of these attribution signals. However, Android app authors can, either intentionally or by mistake, hide their true identity due to: (1) the lack of policy enforcement by markets to ensure the accuracy and correctness of the information disclosed by developers in their market profiles during the app release process, and (2) the use of self-signed certificates for signing apps instead of certificates issued by trusted CAs. In this paper, we perform the first empirical analysis of the availability, volatility and overall aptness of publicly available metadata for author attribution in Android app markets. To that end, we analyze a dataset of over 2.5 million market entries and apps extracted from five Android markets for over two years. Our results show that widely used attribution signals are often missing from market profiles and that they change over time. We also invalidate the general belief about the validity of signing certificates for author attribution. For instance, we find that apps from different authors share signing certificates due to the proliferation of app building frameworks and software factories. Finally, we introduce the concept of attribution graph and we apply it to evaluate the validity of existing attribution signals on the Google Play Store. Our results confirm that the lack of control over publicly available signals can confuse the attribution process.


title: Existence results for a nonlinear nonautonomus transmission problem via domain perturbation

abstract: In this paper we study the existence and the analytic dependence upon domain perturbation of the solutions of a nonlinear nonautonomous transmission problem for the Laplace equation. The problem is defined in a pair of sets consisting of a perforated domain and an inclusion whose shape is determined by a suitable diffeomorphism $\phi$. First we analyse the case in which the inclusion is a fixed domain. Then we will perturb the inclusion and study the arising boundary value problem and the dependence of a specific family of solutions upon the perturbation parameter $\phi$.


title: Molecular Beam Epitaxy of a Half-Heusler Topological Superconductor Candidate YPtBi

abstract: The search for topological superconductivity has motivated investigations into materials that combine topological and superconducting properties. The half-Heusler compound YPtBi appears to be such a material, however experiments have thus far been limited to bulk single crystals, drastically limiting the scope of available experiments. This has made it impossible to investigate the potential topological nature of the superconductivity in this material. Experiments to access details about the superconducting state require sophisticated lithographic structures, typically based on thin films. Here we report on the establishment of high crystalline quality epitaxial thin films of YPtBi(111), grown using molecular beam epitaxy on Al2O3(0001) substrates. A robust superconducting state is observed, with both critical temperature and critical field consistent with that previously reported for bulk crystals. Moreover we find that AlOx capping sufficiently protects the sample surface from degradation to allow for proper lithography. Our results pave a path towards the development of advanced lithographic structures, that will allow the exploration of the potentially topological nature of superconductivity in YPtBi.


title: All-mode Renormalization for Tensor Network with Stochastic Noise

abstract: In usual (non-stochastic) tensor network calculations, the truncated singular value decomposition (SVD) is often used for approximating a tensor, and it causes systematic errors. By introducing stochastic noise in the approximation, however, one can avoid such systematic errors at the expense of statistical errors which can be straightforwardly controlled. Therefore in principle, exact results can be obtained even at finite bond dimension up to the statistical errors. A previous study of the unbiased method implemented in tensor renormalization group (TRG) algorithm, however, showed that the statistical errors for physical quantity are not negligible, and furthermore the computational cost is linearly proportional to a system volume. In this paper, we introduce a new way of stochastic noise such that the statistical error is suppressed, and moreover, in order to reduce the computational cost we propose common noise method whose cost is proportional to the logarithm of volume. We find that the method provides better accuracy for the free energy compared with the truncated SVD when applying to TRG for Ising model on square lattice. Although the common noise method introduces systematic error originated from a correlation of noises, we show that the error can be described by a simple functional form in terms of the number of noises, thus the error can be straightforwardly controlled in an actual analysis. We also apply the method to the graph independent local truncation algorithm and show that the accuracy is further improved.


title: Integral Continual Learning Along the Tangent Vector Field of Tasks

abstract: We propose a lightweight continual learning method which incorporates information from specialized datasets incrementally, by integrating it along the vector field of "generalist" models. The tangent plane to the specialist model acts as a generalist guide and avoids the kind of over-fitting that leads to catastrophic forgetting, while exploiting the convexity of the optimization landscape in the tangent plane. It maintains a small fixed-size memory buffer, as low as 0.4% of the source datasets, which is updated by simple resampling. Our method achieves strong performance across various buffer sizes for different datasets. Specifically, in the class-incremental setting we outperform the existing methods that do not require distillation by an average of 18.77% and 28.48%, for Seq-CIFAR-10 and Seq-TinyImageNet respectively. Our method can easily be used in conjunction with existing replay-based continual learning methods. When memory buffer constraints are relaxed to allow storage of metadata such as logits, we attain an error reduction of 17.84% towards the paragon performance on Seq-CIFAR-10.


title: Quasi-equilibria and click times for a variant of Muller's ratchet

abstract: Consider a population of $N$ individuals, each of them carrying a type in $\mathbb N_0$. The population evolves according to a Moran dynamics with selection and mutation, where an individual of type $k$ has the same selective advantage over all individuals with type $k' > k$, and type $k$ mutates to type $k+1$ at a constant rate. This model is thus a variation of the classical Muller's ratchet: there the selective advantage is proportional to $k'-k$. For a regime of selection strength and mutation rates which is between the regimes of weak and strong selection/mutation, we obtain the asymptotic rate of the {\em click times} of the ratchet (i.e. the times at which the hitherto minimal (`best') type in the population is lost), and reveal the quasi-stationary type frequency profile between clicks. The large population limit of this profile is characterized as the normalized attractor of a ``dual'' hierarchical multitype logistic system, and also via the distribution of the final minimal displacement in a branching random walk with one-sided steps. An important role in the proofs is played by a graphical representation of the model, both forward and backward in time, and a central tool is the ancestral selection graph decorated by mutations.


title: Compiler Provenance Recovery for Multi-CPU Architectures Using a Centrifuge Mechanism

abstract: Bit-stream recognition (BSR) has many applications, such as forensic investigations, detection of copyright infringement, and malware analysis. We propose the first BSR that takes a bare input bit-stream and outputs a class label without any preprocessing. To achieve our goal, we propose a centrifuge mechanism, where the upstream layers (sub-net) capture global features and tell the downstream layers (main-net) to switch the focus, even if a part of the input bit-stream has the same value. We applied the centrifuge mechanism to compiler provenance recovery, a type of BSR, and achieved excellent classification. Additionally, downstream transfer learning (DTL), one of the learning methods we propose for the centrifuge mechanism, pre-trains the main-net using the sub-net's ground truth instead of the sub-net's output. We found that sub-predictions made by DTL tend to be highly accurate when the sub-label classification contributes to the essence of the main prediction.


title: Searching for double-peak and doubly broken gravitational-wave spectra from Advanced LIGO-Virgo's first three observing runs

abstract: The current LIGO-Virgo observing run has been pushing the sensitivity limit to touch the stochastic gravitational-wave backgrounds (SGWBs). However, no significant detection has been reported to date for any single dominated source of SGWBs with a single broken-power-law (BPL) spectrum. Nevertheless, it could equally well escape from existing Bayesian searches from, for example, two comparable dominated sources with two separate BPL spectra (double-peak case) or a single source with its power-law behavior in the spectrum broken twice (doubly broken case). In this paper, we put constraints on these two cases but specifically for the model with cosmological first-order phase transitions from Advanced LIGO-Virgo's first three observing runs. We found strong negative evidence for the double-peak case and hence place 95\% C.L. upper limits $\Omega_\mathrm{BPL,1}<5.8\times10^{-8}$ and $\Omega_\mathrm{BPL,2}<4.4\times10^{-8}$ on the two BPL spectra amplitudes with respect to the unresolved compact binary coalescence (CBC) amplitude $\Omega_\mathrm{CBC}<5.6\times10^{-9}$. We further found weak negative evidence for the doubly broken case and hence place 95\% C.L. upper limit $\Omega_\mathrm{DB}<1.2\times10^{-7}$ on the overall amplitude of the doubly broken spectrum with respect to $\Omega_\mathrm{CBC}<6.0\times10^{-9}$. In particular, the results from the double-peak case have marginally ruled out the strong super-cooling first-order phase transitions at LIGO-Virgo band.


title: This is the way: designing and compiling LEPISZCZE, a comprehensive NLP benchmark for Polish

abstract: The availability of compute and data to train larger and larger language models increases the demand for robust methods of benchmarking the true progress of LM training. Recent years witnessed significant progress in standardized benchmarking for English. Benchmarks such as GLUE, SuperGLUE, or KILT have become de facto standard tools to compare large language models. Following the trend to replicate GLUE for other languages, the KLEJ benchmark has been released for Polish. In this paper, we evaluate the progress in benchmarking for low-resourced languages. We note that only a handful of languages have such comprehensive benchmarks. We also note the gap in the number of tasks being evaluated by benchmarks for resource-rich English/Chinese and the rest of the world. In this paper, we introduce LEPISZCZE (the Polish word for glew, the Middle English predecessor of glue), a new, comprehensive benchmark for Polish NLP with a large variety of tasks and high-quality operationalization of the benchmark. We design LEPISZCZE with flexibility in mind. Including new models, datasets, and tasks is as simple as possible while still offering data versioning and model tracking. In the first run of the benchmark, we test 13 experiments (task and dataset pairs) based on the five most recent LMs for Polish. We use five datasets from the Polish benchmark and add eight novel datasets. As the paper's main contribution, apart from LEPISZCZE, we provide insights and experiences learned while creating the benchmark for Polish as the blueprint to design similar benchmarks for other low-resourced languages.


title: On Fixed Points of Locally and Pointwise Contractive Set-Valued Maps with an Application to the Existence of Nash Equilibrium in Games

abstract: We establish the existence of fixed points for set-valued maps defined on metric spaces and satisfying a pointwise or a local version of Banach's contraction property. As an application, we demonstrate the existence of Nash equilibrium in a general class of strategic games played on metric spaces of strategies.


title: Step Counting with Attention-based LSTM

abstract: Physical activity is recognized as an essential component of overall health. One measure of physical activity, the step count, is well known as a predictor of long-term morbidity and mortality. Step Counting (SC) is the automated counting of the number of steps an individual takes over a specified period of time and space. Due to the ubiquity of smartphones and smartwatches, most current SC approaches rely on the built-in accelerometer sensors on these devices. The sensor signals are analyzed as multivariate time series, and the number of steps is calculated through a variety of approaches, such as time-domain, frequency-domain, machine-learning, and deep-learning approaches. Most of the existing approaches rely on dividing the input signal into windows, detecting steps in each window, and summing the detected steps. However, these approaches require the determination of multiple parameters, including the window size. Furthermore, most of the existing deep-learning SC approaches require ground-truth labels for every single step, which can be arduous and time-consuming to annotate. To circumvent these requirements, we present a novel SC approach utilizing many-to-one attention-based LSTM. With the proposed LSTM network, SC is solved as a regression problem, taking the entire sensor signal as input and the step count as the output. The analysis shows that the attention-based LSTM automatically learned the pattern of steps even in the absence of ground-truth labels. The experimental results on three publicly available SC datasets demonstrate that the proposed method successfully counts the number of steps with low values of mean absolute error and high values of SC accuracy.


title: A situated agent-based model to reveal irrigators' options behind their actions under institutional arrangements in Southern France

abstract: There has been little exploration of the explicit simulation of the set of options of actors in agent-based models and its evolution over time. This study proposes to use affordances as intermediate entities between agents' environment and agent actions. We illustrated the approach on a typical gravity-fed network in the South-East of France to explore how the abandonment of traditional sharing of water changes the irrigators' options to irrigate. We simulated a typical dry year irrigation season under two institutional arrangements (i.e. traditional coordination through daily slots and its abandonment). Simulation results are consistent with field surveys, and reveal an increase in the number of internal conflicts among irrigators as the counterpart of the abandonment of traditional sharing of water. They also highlight the consequences of the heterogeneity of the irrigators' interests within the collective institution. The sensitivity analysis of the model allowed identification of optimal modalities of coordination, and a potential compromise between past and current institutional arrangements. The key benefits of using affordances in ABM lie in the study of their population dynamics for characterizing the interaction situations between actors and their environment and for better understanding the model dynamics.


title: Fed-TDA: Federated Tabular Data Augmentation on Non-IID Data

abstract: Non-independent and identically distributed (non-IID) data is a key challenge in federated learning (FL), which usually hampers the optimization convergence and the performance of FL. Existing data augmentation methods based on federated generative models or raw data sharing strategies for solving the non-IID problem still suffer from low performance, privacy protection concerns, and high communication overhead in decentralized tabular data. To tackle these challenges, we propose a federated tabular data augmentation method, named Fed-TDA. The core idea of Fed-TDA is to synthesize tabular data for data augmentation using some simple statistics (e.g., distributions of each column and global covariance). Specifically, we propose the multimodal distribution transformation and inverse cumulative distribution mapping respectively synthesize continuous and discrete columns in tabular data from a noise according to the pre-learned statistics. Furthermore, we theoretically analyze that our Fed-TDA not only preserves data privacy but also maintains the distribution of the original data and the correlation between columns. Through extensive experiments on five real-world tabular datasets, we demonstrate the superiority of Fed-TDA over the state-of-the-art in test performance and communication efficiency.


title: On the Empirical Association between Trade Network Complexity and Global Gross Domestic Product

abstract: In recent decades, trade between nations has constituted an important component of global Gross Domestic Product (GDP), with official estimates showing that it likely accounted for a quarter of total global production. While evidence of association already exists in macro-economic data between trade volume and GDP growth, there is considerably less work on whether, at the level of individual granular sectors (such as vehicles or minerals), associations exist between the complexity of trading networks and global GDP. In this paper, we explore this question by using publicly available data from the Atlas of Economic Complexity project to rigorously construct global trade networks between nations across multiple sectors, and studying the correlation between network-theoretic measures computed on these networks (such as average clustering coefficient and density) and global GDP. We find that there is indeed significant association between trade networks' complexity and global GDP across almost every sector, and that network metrics also correlate with business cycle phenomena such as the Great Recession of 2007-2008. Our results show that trade volume alone cannot explain global GDP growth, and that network science may prove to be a valuable empirical avenue for studying complexity in macro-economic phenomena such as trade.


title: Decision Diagram-Based Branch-and-Bound with Caching for Dominance and Suboptimality Detection

abstract: The branch-and-bound algorithm based on decision diagrams introduced by Bergman et al. in 2016 is a framework for solving discrete optimization problems with a dynamic programming formulation. It works by compiling a series of bounded-width decision diagrams that can provide lower and upper bounds for any given subproblem. Eventually, every part of the search space will be either explored or pruned by the algorithm, thus proving optimality. This paper presents new ingredients to speed up the search by exploiting the structure of dynamic programming models. The key idea is to prevent the repeated expansion of nodes corresponding to the same dynamic programming states by querying expansion thresholds cached throughout the search. These thresholds are based on dominance relations between partial solutions previously found and on the pruning inequalities of the filtering techniques introduced by Gillard et al. in 2021. Computational experiments show that the pruning brought by this caching mechanism allows significantly reducing the number of nodes expanded by the algorithm. This results in more benchmark instances of difficult optimization problems being solved in less time while using narrower decision diagrams.


title: Performance of Cooperative Detection in Joint Communication-Sensing Vehicular Network: A Data Analytic and Stochastic Geometry Approach

abstract: The increasing complexity of urban environments introduces additional uncertainty to the deployment of the autonomous vehicular network. A novel road infrastructure cooperative detection model using Joint Communication and Sensing (JCS) technology is proposed in this article to simultaneously achieve high-efficient communication and obstacle detection for urban autonomous vehicles. To suppress the performance fluctuation caused by shadowing and obstruction to the JCS signals, we first derive the statistic of road obstacles from the Geographic Information System (GIS). Then, the analysis of JCS channel characteristics and shadowing factors are presented using Line-of-Sight and Non-Line-of-Sight (LoS and NLoS) channel models under the complex urban scenario. A stochastic geometry approach is applied to analyze the interference factors and the probability distribution of successful JCS detection and communication. Simulations have been made to verify the cooperative detection model by probability analysis based on LoS and NLoS channels, and the numerical results demonstrate several different optimization methods for the deployment of JCS road infrastructures. Finally, we simulated and analyzed a deployment optimization method for JCS road infrastructures that complied with the standard of urban traffic-spot structure placement.


title: Frequency space derivation of linear and non-linear memory gravitational wave signals from eccentric binary orbits

abstract: The memory effect in gravitational wave (GW) signals is the phenomenon, wherein the relative position of two inertial GW detectors undergoes a permanent displacement owing to the passage of GWs through them. Measurement of the memory signal is an important target for future observations as it establishes a connection between observations with field-theoretic results like the soft-graviton theorems. Theoretically, the memory signal is predicted at the leading order quadrupole formula for sources like binaries in hyperbolic orbits. This can be in the realm of observations by Advanced LIGO, Einstein-Telescope, or LISA for black-holes with masses $\sim$ $O(10^3 \, M_\odot$) scattered by the super-massive black-hole at the galactic center. Apart from the direct memory component there is a non-linear memory signal in the secondary GW emitted from the primary GW chirp-signals emitted by coalescing binaries. In this paper, we compute the gravitational wave signals and their energy spectrum using the field-theoretic method by computing the scattering amplitudes for eccentric elliptical and hyperbolic binary orbits. The field theoretic calculation gives us the gravitational waveforms of linear and non-linear memory signals directly in the frequency space. The frequency domain templates are useful for extracting signals from the data. We compare our results with other calculations of linear and non-linear memory signals in literature and point out novel features we find in our calculations like the presence of $\log(\omega)$ terms in the linear memory from hyperbolic orbits.


title: #Secim2023: First Public Dataset for Studying Turkish General Election

abstract: In the context of Turkey's upcoming parliamentary and presidential elections ("se\c{c}im" in Turkish), social media is playing an important role in shaping public debate. The increasing engagement of citizens on social media platforms has led to the growing use of social media by political actors. It is of utmost importance to capture the upcoming Turkish elections, as social media is becoming an essential component of election propaganda, political debates, smear campaigns, and election manipulation by domestic and international actors. We provide a comprehensive dataset for social media researchers to study the upcoming election, develop tools to prevent online manipulation, and gather novel information to inform the public. We are committed to continually improving the data collection and updating it regularly leading up to the election. Using the Secim2023 dataset, researchers can examine the social and communication networks between political actors, track current trends, and investigate emerging threats to election integrity. Our dataset is available at: https://github.com/ViralLab/Secim2023_Dataset


title: Impact of Channel Models on Performance Characterization of RIS-Assisted Wireless Systems

abstract: The performance characterization of communication systems assisted by large reconfigurable intelligent surfaces (RISs) significantly depends on the adopted models for the underlying channels. Under unrealistic channel models, the system performance may be over- or under-estimated which yields inaccurate conclusions for the system design. In this paper, we review five channel models that are chosen to progressively improve the modeling accuracy for large RISs. For each channel model, we highlight the underlying assumptions, its advantages, and its limitations. We compare the system performance under the aforementioned channel models using RIS configuration algorithms from the literature and a new scalable algorithm proposed in this paper specifically for the configuration of extremely large RISs.


title: Motif-aware temporal GCN for fraud detection in signed cryptocurrency trust networks

abstract: Graph convolutional networks (GCNs) is a class of artificial neural networks for processing data that can be represented as graphs. Since financial transactions can naturally be constructed as graphs, GCNs are widely applied in the financial industry, especially for financial fraud detection. In this paper, we focus on fraud detection on cryptocurrency truct networks. In the literature, most works focus on static networks. Whereas in this study, we consider the evolving nature of cryptocurrency networks, and use local structural as well as the balance theory to guide the training process. More specifically, we compute motif matrices to capture the local topological information, then use them in the GCN aggregation process. The generated embedding at each snapshot is a weighted average of embeddings within a time window, where the weights are learnable parameters. Since the trust networks is signed on each edge, balance theory is used to guide the training process. Experimental results on bitcoin-alpha and bitcoin-otc datasets show that the proposed model outperforms those in the literature.


title: Number Theory Meets Linguistics: Modelling Noun Pluralisation Across 1497 Languages Using 2-adic Metrics

abstract: A simple machine learning model of pluralisation as a linear regression problem minimising a p-adic metric substantially outperforms even the most robust of Euclidean-space regressors on languages in the Indo-European, Austronesian, Trans New-Guinea, Sino-Tibetan, Nilo-Saharan, Oto-Meanguean and Atlantic-Congo language families. There is insufficient evidence to support modelling distinct noun declensions as a p-adic neighbourhood even in Indo-European languages.


title: EEG aided boosting of single-lead ECG based sleep staging with Deep Knowledge Distillation

abstract: An electroencephalogram (EEG) signal is currently accepted as a standard for automatic sleep staging. Lately, Near-human accuracy in automated sleep staging has been achievable by Deep Learning (DL) based approaches, enabling multi-fold progress in this area. However, An extensive and expensive clinical setup is required for EEG based sleep staging. Additionally, the EEG setup being obtrusive in nature and requiring an expert for setup adds to the inconvenience of the subject under study, making it adverse in the point of care setting. An unobtrusive and more suitable alternative to EEG is Electrocardiogram (ECG). Unsurprisingly, compared to EEG in sleep staging, its performance remains sub-par. In order to take advantage of both the modalities, transferring knowledge from EEG to ECG is a reasonable approach, ultimately boosting the performance of ECG based sleep staging. Knowledge Distillation (KD) is a promising notion in DL that shares knowledge from a superior performing but usually more complex teacher model to an inferior but compact student model. Building upon this concept, a cross-modality KD framework assisting features learned through models trained on EEG to improve ECG-based sleep staging performance is proposed. Additionally, to better understand the distillation approach, extensive experimentation on the independent modules of the proposed model was conducted. Montreal Archive of Sleep Studies (MASS) dataset consisting of 200 subjects was utilized for this study. The results from the proposed model for weighted-F1-score in 3-class and 4-class sleep staging showed a 13.40 \% and 14.30 \% improvement, respectively. This study demonstrates the feasibility of KD for single-channel ECG based sleep staging's performance enhancement in 3-class (W-R-N) and 4-class (W-R-L-D) classification.


title: Crown-CAM: Interpretable Visual Explanations for Tree Crown Detection in Aerial Images

abstract: Visual explanation of ``black-box'' models allows researchers in explainable artificial intelligence (XAI) to interpret the model's decisions in a human-understandable manner. In this paper, we propose interpretable class activation mapping for tree crown detection (Crown-CAM) that overcomes inaccurate localization & computational complexity of previous methods while generating reliable visual explanations for the challenging and dynamic problem of tree crown detection in aerial images. It consists of an unsupervised selection of activation maps, computation of local score maps, and non-contextual background suppression to efficiently provide fine-grain localization of tree crowns in scenarios with dense forest trees or scenes without tree crowns. Additionally, two Intersection over Union (IoU)-based metrics are introduced to effectively quantify both the accuracy and inaccuracy of generated explanations with respect to regions with or even without tree crowns in the image. Empirical evaluations demonstrate that the proposed Crown-CAM outperforms the Score-CAM, Augmented Score-CAM, and Eigen-CAM methods by an average IoU margin of 8.7, 5.3, and 21.7 (and 3.3, 9.8, and 16.5) respectively in improving the accuracy (and decreasing inaccuracy) of visual explanations on the challenging NEON tree crown dataset.


title: Queuing models with Mittag-Leffler inter-event times

abstract: We study three non-equivalent queueing models in continuous time that each generalise the classical M/M/1 queue in a different way. Inter-event times in all models are Mittag-Leffler distributed, which is a heavy tail distribution with no moments. For each of the models we answer the question of the queue being at zero infinitely often (the `recurrence' or `stable' regime) or not (the transient regime). Aside from this question, the different analytical properties of each models allow us to answer a number of questions such as existence and description of equilibrium distributions, mixing times, asymptotic behaviour of return probabilities and moments and functional limit theorems.


title: A Closed-loop Sleep Modulation System with FPGA-Accelerated Deep Learning

abstract: Closed-loop sleep modulation is an emerging research paradigm to treat sleep disorders and enhance sleep benefits. However, two major barriers hinder the widespread application of this research paradigm. First, subjects often need to be wire-connected to rack-mount instrumentation for data acquisition, which negatively affects sleep quality. Second, conventional real-time sleep stage classification algorithms give limited performance. In this work, we conquer these two limitations by developing a sleep modulation system that supports closed-loop operations on the device. Sleep stage classification is performed using a lightweight deep learning (DL) model accelerated by a low-power field-programmable gate array (FPGA) device. The DL model uses a single channel electroencephalogram (EEG) as input. Two convolutional neural networks (CNNs) are used to capture general and detailed features, and a bidirectional long-short-term memory (LSTM) network is used to capture time-variant sequence features. An 8-bit quantization is used to reduce the computational cost without compromising performance. The DL model has been validated using a public sleep database containing 81 subjects, achieving a state-of-the-art classification accuracy of 85.8% and a F1-score of 79%. The developed model has also shown the potential to be generalized to different channels and input data lengths. Closed-loop in-phase auditory stimulation has been demonstrated on the test bench.


title: Emission inventory for maritime shipping emissions in the North and Baltic Sea (2015)

abstract: A high temporal and spatial resolution emission inventory for the North Sea and Baltic Sea for the year 2015 was compiled using current emission factors and ship activity data. The inventory includes seagoing vessels over 100 GT registered with the International Maritime Organisation traversing in the North and Baltic Seas. A bottom-up approach was chosen for the compilation of the inventory, which provides emission levels of the air pollutants CO2, NOx, SO2, PM2.5, CO, BC, Ash, NMVOC and POA, as well as the speed-dependent fuel and energy consumption. Input data come from both main and auxiliary engines as well as well-to-tank and tank-to-propeller emission and energy and fuel consumption quantities. The geo-referenced data are provided in a temporal resolution of five minutes. The data can be used to assess, inter alia, the health effects of maritime emissions, external and social costs of maritime transport, emission mitigation effects of alternative fuel scenarios and shore-to-ship power supply.


title: A Brief Overview of AI Governance for Responsible Machine Learning Systems

abstract: Organizations of all sizes, across all industries and domains are leveraging artificial intelligence (AI) technologies to solve some of their biggest challenges around operations, customer experience, and much more. However, due to the probabilistic nature of AI, the risks associated with it are far greater than traditional technologies. Research has shown that these risks can range anywhere from regulatory, compliance, reputational, and user trust, to financial and even societal risks. Depending on the nature and size of the organization, AI technologies can pose a significant risk, if not used in a responsible way. This position paper seeks to present a brief introduction to AI governance, which is a framework designed to oversee the responsible use of AI with the goal of preventing and mitigating risks. Having such a framework will not only manage risks but also gain maximum value out of AI projects and develop consistency for organization-wide adoption of AI.


title: FeTrIL: Feature Translation for Exemplar-Free Class-Incremental Learning

abstract: Exemplar-free class-incremental learning is very challenging due to the negative effect of catastrophic forgetting. A balance between stability and plasticity of the incremental process is needed in order to obtain good accuracy for past as well as new classes. Existing exemplar-free class-incremental methods focus either on successive fine tuning of the model, thus favoring plasticity, or on using a feature extractor fixed after the initial incremental state, thus favoring stability. We introduce a method which combines a fixed feature extractor and a pseudo-features generator to improve the stability-plasticity balance. The generator uses a simple yet effective geometric translation of new class features to create representations of past classes, made of pseudo-features. The translation of features only requires the storage of the centroid representations of past classes to produce their pseudo-features. Actual features of new classes and pseudo-features of past classes are fed into a linear classifier which is trained incrementally to discriminate between all classes. The incremental process is much faster with the proposed method compared to mainstream ones which update the entire deep model. Experiments are performed with three challenging datasets, and different incremental settings. A comparison with ten existing methods shows that our method outperforms the others in most cases.


title: Interpreting Instrumental Variable Estimands with Unobserved Treatment Heterogeneity: The Effects of College Education

abstract: Many treatment variables used in empirical applications nest multiple unobserved versions of a treatment. I show that instrumental variable (IV) estimands for the effect of a composite treatment are IV-specific weighted averages of effects of unobserved component treatments. Differences between IVs in unobserved component compliance produce differences in IV estimands even without treatment effect heterogeneity. I describe a monotonicity condition under which IV estimands are positively-weighted averages of unobserved component treatment effects. Next, I develop a method that allows instruments that violate this condition to contribute to estimation of treatment effects by allowing them to place nonconvex, outcome-invariant weights on unobserved component treatments across multiple outcomes. Finally, I apply the method to estimate returns to college, finding wage returns that range from 7\% to 30\% over the life cycle. My findings emphasize the importance of leveraging instrumental variables that do not shift individuals between versions of treatment, as well as the importance of policies that encourage students to attend "high-return college" in addition to those that encourage "high-return students" to attend college.


title: Structural Knowledge Distillation for Object Detection

abstract: Knowledge Distillation (KD) is a well-known training paradigm in deep neural networks where knowledge acquired by a large teacher model is transferred to a small student. KD has proven to be an effective technique to significantly improve the student's performance for various tasks including object detection. As such, KD techniques mostly rely on guidance at the intermediate feature level, which is typically implemented by minimizing an lp-norm distance between teacher and student activations during training. In this paper, we propose a replacement for the pixel-wise independent lp-norm based on the structural similarity (SSIM). By taking into account additional contrast and structural cues, feature importance, correlation and spatial dependence in the feature space are considered in the loss formulation. Extensive experiments on MSCOCO demonstrate the effectiveness of our method across different training schemes and architectures. Our method adds only little computational overhead, is straightforward to implement and at the same time it significantly outperforms the standard lp-norms. Moreover, more complex state-of-the-art KD methods using attention-based sampling mechanisms are outperformed, including a +3.5 AP gain using a Faster R-CNN R-50 compared to a vanilla model.


title: A gapped generalization of Kingman's subadditive ergodic theorem

abstract: We state and prove a generalization of Kingman's ergodic theorem on a measure-preserving dynamical system $(X,\mathcal{F},\mu,T)$ where the $\mu$-almost sure subadditivity condition $f_{n+m} \leq f_n + f_m \circ T^{n}$ is relaxed to a $\mu$-almost sure, "gapped", almost subadditivity condition of the form $f_{n+\sigma_m+m} \leq f_n +\rho_n + f_m \circ T^{n+\sigma_n}$ for some nonnegative $\rho_n \in L^1(\mathrm{d}\mu)$ and $\sigma_n \in \mathbf{N} \cup \{0\}$ that are suitably sublinear in $n$. This generalization has a first application to the existence of specific relative entropies for suitably decoupled measures on one-sided shifts.


title: Colossal Nernst power factor in topological semimetal NbSb$_2$

abstract: Today solid-state cooling technologies below liquid nitrogen boiling temperature (77 K), crucial to quantum information technology and probing quantum state of matter, are greatly limited due to the lack of good thermoelectric and/or thermomagnetic materials. Here, we report the discovery of colossal Nernst power factor of 3800$\times$10$^{-4}$ W m$^{-1}$ K$^{-2}$ under 5 T at 25 K and high Nernst figure-of-merit of 71$\times$10$^{-4}$ K$^{-1}$ under 5 T at 20 K in topological semimetal NbSb$_2$ single crystals. The observed high thermomagnetic performance is attributed to large Nernst thermopower and longitudinal electrical conductivity, and relatively low transverse thermal conductivity. The large and unsaturated Nernst thermopower is the result of the combination of highly desirable electronic structures of NbSb$_2$ having compensated high mobility electrons and holes near Fermi level and strong phonon-drag effect. This discovery opens an avenue for exploring material option for the solid-state heat pumping below liquid nitrogen temperature.


title: Oriented Event Shapes for massive Quarks

abstract: In this work we present the computation of so-called oriented event-shape distributions for massive quarks up to $\mathcal{O}(\alpha_s)$, along with the total oriented cross section in which one does not look at the geometric properties of the momentum distribution for particles in the final state. We consider the vector and axial-vector currents, and for the former, we find a non-vanishing result at $\mathcal{O}(\alpha_s^0)$ that translates into a significant enhancement as compared to the massless approximation. Our results are an important ingredient for analyses that aim to determine the strong coupling with high accuracy.


title: Pruned Lightweight Encoders for Computer Vision

abstract: Latency-critical computer vision systems, such as autonomous driving or drone control, require fast image or video compression when offloading neural network inference to a remote computer. To ensure low latency on a near-sensor edge device, we propose the use of lightweight encoders with constant bitrate and pruned encoding configurations, namely, ASTC and JPEG XS. Pruning introduces significant distortion which we show can be recovered by retraining the neural network with compressed data after decompression. Such an approach does not modify the network architecture or require coding format modifications. By retraining with compressed datasets, we reduced the classification accuracy and segmentation mean intersection over union (mIoU) degradation due to ASTC compression to 4.9-5.0 percentage points (pp) and 4.4-4.0 pp, respectively. With the same method, the mIoU lost due to JPEG XS compression at the main profile was restored to 2.7-2.3 pp. In terms of encoding speed, our ASTC encoder implementation is 2.3x faster than JPEG. Even though the JPEG XS reference encoder requires optimizations to reach low latency, we showed that disabling significance flag coding saves 22-23% of encoding time at the cost of 0.4-0.3 mIoU after retraining.


title: Search for dark matter produced in association with a single top quark and an energetic $W$ boson in $\sqrt{s}=$ 13 TeV $pp$ collisions with the ATLAS detector

abstract: This paper presents a search for dark matter, $\chi$, using events with a single top quark and an energetic $W$ boson. The analysis is based on proton-proton collision data collected with the ATLAS experiment at $\sqrt{s}=$ 13 TeV during LHC Run 2 (2015-2018), corresponding to an integrated luminosity of 139 fb$^{-1}$. The search considers final states with zero or one charged lepton (electron or muon), at least one $b$-jet and large missing transverse momentum. In addition, a result from a previous search considering two-charged-lepton final states is included in the interpretation of the results. The data are found to be in good agreement with the Standard Model predictions and the results are interpreted in terms of 95% confidence-level exclusion limits in the context of a class of dark matter models involving an extended two-Higgs-doublet sector together with a pseudoscalar mediator particle. The search is particularly sensitive to on-shell production of the charged Higgs boson state, $H^{\pm}$, arising from the two-Higgs-doublet mixing, and its semi-invisible decays via the mediator particle, $a$: $H^{\pm} \rightarrow W^\pm a (\rightarrow \chi\chi)$. Signal models with $H^{\pm}$ masses up to 1.5 TeV and $a$ masses up to 350 GeV are excluded assuming a tan$\beta$ value of 1. For masses of $a$ of 150 (250) GeV, tan$\beta$ values up to 2 are excluded for $H^{\pm}$ masses between 200 (400) GeV and 1.5 TeV. Signals with tan$\beta$ values between 20 and 30 are excluded for $H^{\pm}$ masses between 500 and 800 GeV.


title: Extension of a Method of Gilmer

abstract: It is a well-known conjecture, sometimes attributed to Frankl, that for any family of sets which is closed under the union operation, there is some element which is contained in at least half of the sets. Gilmer was the first to prove a constant bound, showing that there is some element contained in at least 1\% of the sets. They state in their paper that the best possible bound achievable by the same method is $\frac{3-\sqrt5}2\approx 38.1\%$. This note achieves that bound by finding the optimum value, given a binary variable $X$ potentially depending on some other variable $S$ with a given expected value $E(X)$ and conditional entropy $H(X|S)$ of the conditional entropy of $H(X_1\cup X_2|S_1,S_2)$ for independent readings $X_1, S_1$ and $X_2,S_2$.


title: The Functional Machine Calculus II: Semantics

abstract: The Functional Machine Calculus (FMC), recently introduced by the authors, is a generalization of the lambda-calculus which may faithfully encode the effects of higher-order mutable store, I/O and probabilistic/non-deterministic input. Significantly, it remains confluent and can be simply typed in the presence of these effects. In this paper, we explore the denotational semantics of the FMC. We have three main contributions: first, we argue that its syntax -- in which both effects and lambda-calculus are realised using the same syntactic constructs -- is semantically natural, corresponding closely to the structure of a Scott-style domain theoretic semantics. Second, we show that simple types confer strong normalization by extending Gandy's proof for the lambda-calculus, including a small simplification of the technique. Finally, we show that the typed FMC (without considering the specifics of encoded effects), modulo an appropriate equational theory, is a complete language for Cartesian closed categories.


title: Room-temperature photo-chromism of silicon vacancy centers in CVD diamond

abstract: The silicon-vacancy (SiV) center in diamond is typically found in three stable charge states, SiV0, SiV- and SiV2-, but studying the processes leading to their formation is challenging, especially at room temperature, due to their starkly different photo-luminescence rates. Here, we use confocal fluorescence microscopy to activate and probe charge interconversion between all three charge states under ambient conditions. In particular, we witness the formation of SiV0 via the two-step capture of diffusing, photo-generated holes, a process we expose both through direct SiV0 fluorescence measurements at low temperatures and confocal microscopy observations in the presence of externally applied electric fields. Further, we show that continuous red illumination induces the converse process, first transforming SiV0 into SiV-, then into SiV2-. Our results shed light on the charge dynamics of SiV and promise opportunities for nanoscale sensing and quantum information processing.


title: Bubble wall velocity during electroweak phase transition in the inert doublet model

abstract: The bubble wall velocity is essential for the spectra of phase-transition gravitational waves, electroweak baryogenesis and the dynamical dark matter mechanism. We perform detailed calculations of the bubble wall velocity in the well-motivated inert doublet model using the microphysical approach with some recent new methods.


title: On Supersymmetric Multipole Ratios

abstract: Four-dimensional supersymmetric black holes are static and so have all vanishing multipoles. Nevertheless, it is possible to define finite multipole ratios for these black holes, by taking the ratio of (finite) multipoles of supersymmetric multicentered geometries and then taking the black hole scaling limit of the multipole ratios within these geometries. An alternative way to calculate these multipole ratios is to deform the supersymmetric black hole slightly into a non-extremal, rotating black hole, calculate the multipole ratios of this altered black hole, and then take the supersymmetric limit of the ratios. Bena and Mayerson observed that for a class of microstate geometries, these two a priori completely different methods give spectacular agreement for the resulting supersymmetric black hole multipole ratios. They conjectured that this agreement is due to the smallness of the entropy parameter for these black holes. We correct this conjecture and give strong evidence supporting a more refined conjecture, which is that the agreement of multipole ratios as calculated with these two different methods is due to both the microstate geometry and its corresponding black hole having a property we call "large dipole", which can be interpreted as their center of mass being far away from its apparent center.


title: The excitable fluid mosaic

abstract: The Fluid Mosaic Model by Singer & Nicolson proposes that biological membranes consist of a fluid lipid layer into which integral proteins are embedded. The lipid membrane acts as a two-dimensional liquid in which the proteins can diffuse and interact. Until today, this view seems very reasonable and is the predominant picture in the literature. However, there exist broad melting transitions in biomembranes some 10-20 degrees below physiological temperatures that reach up to body temperature. Since they are found below body temperature, Singer & Nicolson did not pay any further attention to the melting process. But this is a valid view only as long as nothing happens. The transition temperature can be influenced by membrane tension, pH, ionic strength and other variables. Therefore, it is not generally correct that the physiological temperature is above this transition. The control over the membrane state by changing the intensive variables renders the membrane as a whole excitable. One expects phase behavior and domain formation that leads to protein sorting and changes in membrane function. Thus, the lipids become an active ingredient of the biological membrane. The melting transition affects the elastic constants of the membrane. This allows for the generation of propagating pulses in nerves and the formation of ion-channel-like pores in the lipid membranes. Here we show that on top of the fluid mosaic concept there exists a wealth of excitable phenomena that go beyond the original picture of Singer & Nicolson.


title: On the elliptical range theorems for the Davis-Wielandt shell, the numerical range, and the conformal range

abstract: The conformal range, which is a horizontal projection of the Davis-Wielandt shell, can be considered as the hyperbolic version of the numerical range. Here we explain (the analogue of) the elliptical range theorem of $2\times2$ complex matrices for the conformal range. In that course, comparison to the Davis-Wielandt shell and the numerical range is made.


title: iMaNGA: mock MaNGA galaxies based on IllustrisTNG and MaStar SSPs -- II. The catalogue

abstract: Strengthening the synergy between simulations and observations is essential to test galaxy formation and evolution theories. To achieve this goal, in the first paper of this series, we presented a method to generate mock SDSS-IV/MaNGA integral-field spectroscopic galaxy observations from cosmological simulations. In this second paper, we build the iMaNGA catalogue consisting of $\sim$1,000 unique galaxies from the TNG50 cosmological simulations, selected to mimic the SDSS-IV/MaNGA-Primary sample selection. Here we present and discuss the iMaNGA sample and its comparison to the MaNGA Primary catalogue. The iMaNGA sample well recovers the MaNGA-Primary sample in terms of stellar mass vs angular size relation and spatial resolution. The S\'ersic index vs angular size relation, instead, is not reproduced well by the simulations, mostly because of a paucity of high-mass elliptical galaxies in TNG50. We also investigate our ability to recover the galaxy kinematics and stellar population properties with full-spectral fitting. We demonstrate that 'intrinsic' and `recovered' stellar kinematics, stellar ages and metallicities are consistent, with residuals compatible with zero within 1$-{\sigma}$. Also`intrinsic' and `recovered' star formation histories display a great resemblance. We conclude that our mock generation and spectral fitting processes do not distort the `intrinsic' galaxy properties. Therefore, in the third paper of this series, we can meaningfully test the cosmological simulations, comparing the stellar population properties and kinematics of the iMaNGA mock galaxies and the MaNGA observational results.


title: Stable-Set and Coloring bounds based on 0-1 quadratic optimization

abstract: We consider semidefinite relaxations of Stable-Set and Coloring, which are based on quadratic 0-1 optimization. Information about the stability number and the chromatic number is hidden in the objective function. This leads to simplified relaxations which depend mostly on the number of vertices of the graph. We also propose tightenings of the relaxations which are based on the maximal cliques of the underlying graph. Computational results on graphs from the literature show the strong potential of this new approach.


title: Mesoscopic modeling and experimental validation of thermal and mechanical properties of polypropylene nanocomposites reinforced by graphene-based fillers

abstract: The development of nanocomposites relies on structure-property relations, which necessitate multiscale modeling approaches. This study presents a modelling framework that exploits mesoscopic models to predict the thermal and mechanical properties of nanocomposites starting from their molecular structure. In detail, mesoscopic models of polypropylene (PP) and graphene based nanofillers (Graphene (Gr), Graphene Oxide (GO), and reduced Graphene Oxide (rGO)) are considered. The newly developed mesoscopic model for the PP/Gr nanocomposite provides mechanistic information on the thermal and mechanical properties at the filler-matrix interface, which can be then exploited to enhance the prediction accuracy of traditional continuum simulations by calibrating the thermal and mechanical properties of the filler-matrix interface. Once validated through a dedicated experimental campaign, this multiscale model demonstrates that with the modest addition of nanofillers (up to 2 wt.%), the Young's modulus and thermal conductivity show up to 35% and 25% enhancement, respectively, while the Poisson's ratio slightly decreases. Among the different combinations tested, PP/Gr nanocomposite shows the best mechanical properties, whereas PP/rGO demonstrates the best thermal conductivity. This validated mesoscopic model can contribute to the development of smart materials with enhanced mechanical and thermal properties based on polypropylene, especially for mechanical, energy storage, and sensing applications.