title: Keyword Extraction from Short Texts with a Text-To-Text Transfer Transformer

abstract: The paper explores the relevance of the Text-To-Text Transfer Transformer language model (T5) for Polish (plT5) to the task of intrinsic and extrinsic keyword extraction from short text passages. The evaluation is carried out on the new Polish Open Science Metadata Corpus (POSMAC), which is released with this paper: a collection of 216,214 abstracts of scientific publications compiled in the CURLICAT project. We compare the results obtained by four different methods, i.e. plT5kw, extremeText, TermoPL, KeyBERT and conclude that the plT5kw model yields particularly promising results for both frequent and sparsely represented keywords. Furthermore, a plT5kw keyword generation model trained on the POSMAC also seems to produce highly useful results in cross-domain text labelling scenarios. We discuss the performance of the model on news stories and phone-based dialog transcripts which represent text genres and domains extrinsic to the dataset of scientific abstracts. Finally, we also attempt to characterize the challenges of evaluating a text-to-text model on both intrinsic and extrinsic keyword extraction.


title: Carrying the uncarriable: a deformation-agnostic and human-cooperative framework for unwieldy objects using multiple robots

abstract: This manuscript introduces an object deformability-agnostic framework for co-carrying tasks that are shared between a person and multiple robots. Our approach allows the full control of the co-carrying trajectories by the person while sharing the load with multiple robots depending on the size and the weight of the object. This is achieved by merging the haptic information transferred through the object and the human motion information obtained from a motion capture system. One important advantage of the framework is that no strict internal communication is required between the robots, regardless of the object size and deformation characteristics. We validate the framework with two challenging real-world scenarios: co-transportation of a wooden rigid closet and a bulky box on top of forklift moving straps, with the latter characterizing deformable objects. In order to evaluate the generalizability of the proposed framework, a heterogenous team of two mobile manipulators that consist of an Omni-directional mobile base and a collaborative robotic arm with different DoFs is chosen for the experiments. The qualitative comparison between our controller and the baseline controller (i.e., an admittance controller) during these experiments demonstrated the effectiveness of the proposed framework especially when co-carrying deformable objects. Furthermore, we believe that the performance of our framework during the experiment with the lifting straps offers a promising solution for the co-transportation of bulky and ungraspable objects.


title: Argumentative Reward Learning: Reasoning About Human Preferences

abstract: We define a novel neuro-symbolic framework, argumentative reward learning, which combines preference-based argumentation with existing approaches to reinforcement learning from human feedback. Our method improves prior work by generalising human preferences, reducing the burden on the user and increasing the robustness of the reward model. We demonstrate this with a number of experiments.


title: Trapped Free Surface Waves for a Lamb-Oseen Vortex Flow

abstract: Trapped surface waves have been observed in a swimming pool trapped by, and rotating around, the cores of vortices. To investigate this effect, we have numerically studied the free-surface response of a Lamb--Oseen vortex to small perturbations. The fluid has finite depth but is laterally unbounded. The numerical method used is spectrally accurate, and uses a novel non-reflecting buffer region to simulate a laterally unbounded fluid. While a variety of linear waves can arise in this flow, we focus here on surface gravity waves. We investigate the linear modes of the vortex as a function of the perturbation azimuthal mode number and the vortex rotation rate. We find that at low rotation rates, linear modes decay by radiating energy to the far field, while at higher rotation rates modes become nearly neutrally stable and trapped in the vicinity of the vortex. While trapped modes have previously been seen in shallow water surface waves due to small perturbations of a bathtub vortex, the situation considered here is qualitatively different owing to the lack of an inward flow and the dispersive nature of non-shallow-water waves. We also find that for slow vortex rotation rates, trapped waves propagate in the opposite direction to the vortex rotation, whereas, above a threshold rotation rate, waves co-rotate with the flow.


title: Enhancement of spin-to-charge conversion of diamond NV centers at ambient conditions using surface electrodes

abstract: The nitrogen-vacancy (NV) center in diamond is a heavily studied defect due to its potential applications to quantum metrology and computation, particularly in ambient conditions. The key mechanism to using the NV in any application lies in the ability to read out the spin state of the defect which is typically done optically. The optical contrast is then the key metric for electron spin readout fidelity and one of the key limiting factors in the NV's overall performance. We present a new mechanism for high contrast readout using the spin-to-charge conversion (SCC) mechanism in conjunction with an electrode to improve the spin contrast by altering the NV energy levels relative to the diamond conduction band. Theoretical modelling predicts an optical spin contrast at 42% which would be the highest optical contrast for the NV at room temperature and the technique opens up a range of alternative research pathways for the NV which are discussed.


title: On the Robustness of Random Forest Against Untargeted Data Poisoning: An Ensemble-Based Approach

abstract: Machine learning is becoming ubiquitous. From finance to medicine, machine learning models are boosting decision-making processes and even outperforming humans in some tasks. This huge progress in terms of prediction quality does not however find a counterpart in the security of such models and corresponding predictions, where perturbations of fractions of the training set (poisoning) can seriously undermine the model accuracy. Research on poisoning attacks and defenses received increasing attention in the last decade, leading to several promising solutions aiming to increase the robustness of machine learning. Among them, ensemble-based defenses, where different models are trained on portions of the training set and their predictions are then aggregated, provide strong theoretical guarantees at the price of a linear overhead. Surprisingly, ensemble-based defenses, which do not pose any restrictions on the base model, have not been applied to increase the robustness of random forest models. The work in this paper aims to fill in this gap by designing and implementing a novel hash-based ensemble approach that protects random forest against untargeted, random poisoning attacks. An extensive experimental evaluation measures the performance of our approach against a variety of attacks, as well as its sustainability in terms of resource consumption and performance, and compares it with a traditional monolithic model based on random forest. A final discussion presents our main findings and compares our approach with existing poisoning defenses targeting random forests.


title: Orthogonal decompositions and twisted isometries II

abstract: We classify tuples of (not necessarily commuting) isometries that admit von Neumann-Wold decomposition. We introduce the notion of twisted isometries for tuples of isometries and prove the existence of orthogonal decomposition for such tuples. The former classification is partially inspired by a result that was observed more than three decades ago by Gaspar and Suciu. And the latter result generalizes Popovici's orthogonal decompositions for pairs of commuting isometries to general tuples of twisted isometries which also includes the case of tuples of commuting isometries. Our results unify all the known orthogonal decomposition related results in the literature.


title: Funnel-based Reachability Control of Unknown Nonlinear Systems using Gaussian Processes

abstract: This paper aims to synthesize a reachability controller for an unknown dynamical system. We first learn the unknown system using Gaussian processes and the (probabilistic) guarantee on the learned model. Then we use the funnel-based controller synthesis approach using this approximated dynamical system to design the controller for a reachability specification. Finally, the merits of the proposed method are shown using a numerical example.


title: Poisson structures with compact support

abstract: We explicitly construct several Poisson structures with compact support. For example, we show that any Poisson structure on $\R^n$ with polynomial coefficients of degree at most two can be modified outside an open ball, such that it becomes compactly supported. We also show that a symplectic manifold with either contact or cosymplectic boundary admits a Poisson structure which vanishes to infinite order at the boundary and agrees with the original symplectic structure outside an arbitrarily small tubular neighbourhood of the boundary. As a consequence, we prove that any even-dimensional manifold admits a Poisson structure which is symplectic outside a codimension one subset.


title: On the visual analytic intelligence of neural networks

abstract: Visual oddity task was conceived as a universal ethnic-independent analytic intelligence test for humans. Advancements in artificial intelligence led to important breakthroughs, yet competing with humans on such analytic intelligence tasks remains challenging and typically resorts to non-biologically-plausible architectures. We present a biologically realistic system that receives inputs from synthetic eye movements - saccades, and processes them with neurons incorporating dynamics of neocortical neurons. We introduce a procedurally generated visual oddity dataset to train an architecture extending conventional relational networks and our proposed system. Both approaches surpass the human accuracy, and we uncover that both share the same essential underlying mechanism of reasoning. Finally, we show that the biologically inspired network achieves superior accuracy, learns faster and requires fewer parameters than the conventional network.


title: No state-independent contextuality can be extracted from contextual measurement-based quantum computation with qudits of odd prime dimension

abstract: Linear constraint systems (LCS) have proven to be a surprisingly prolific tool in the study of non-classical correlations and various related issues in quantum foundations. Many results are known for the Boolean case, yet the generalisation to systems of odd dimension is largely open. In particular, it is not known whether there exist LCS in odd dimension, which admit finite-dimensional quantum, but no classical solutions. Here, we approach this question from a computational perspective. We observe that every deterministic, non-adaptive measurement-based quantum computation (MBQC) with linear side-processing defines a LCS. Moreover, the measurement operators of such a MBQC almost define a quantum solution to the respective LCS: the only difference is that measurement operators generally only commute with respect to the resource state of the MBQC. This raises the question whether this state-dependence can be lifted in certain cases, thus providing examples of quantum solutions to LCS in odd dimension. Our main result asserts that no such examples arise within a large extension of the Pauli group for p odd prime, which naturally arises from and is universal for computation in deterministic, non-adaptive MBQC with linear side-processing.


title: Inertial Quasi-Newton Methods for Monotone Inclusion: Efficient Resolvent Calculus and Primal-Dual Methods

abstract: We introduce an inertial quasi-Newton Forward-Backward Splitting Algorithm to solve a class of monotone inclusion problems. While the inertial step is computationally cheap, in general, the bottleneck is the evaluation of the resolvent operator. A change of the metric makes its computation hard even for (otherwise in the standard metric) simple operators. In order to fully exploit the advantage of adapting the metric, we develop a new efficient resolvent calculus for a low-rank perturbed standard metric, which accounts exactly for quasi-Newton metrics. Moreover, we prove the convergence of our algorithms, including linear convergence rates in case one of the two considered operators is strongly monotone. Beyond the general monotone inclusion setup, we instantiate a novel inertial quasi-Newton Primal-Dual Hybrid Gradient Method for solving saddle point problems. The favourable performance of our inertial quasi-Newton PDHG method is demonstrated on several numerical experiments in image processing.


title: Observation of ripples under different angles

abstract: The off-normal ion irradiation of semiconductor materials is seen to induce nanopatterning effects. Different theories are proposed to explain the mechanisms that drive self-reorganization of amorphisable surfaces. One of the prominent hypothesis associates formation of nanopatterning with the changes of sputtering characteristics caused by changes in surface morphology. At ultra-low energy, when sputtering is negligible, the Si surface has still been seen to re-organize forming surface ripples with the wave vector either aligned with the ion beam direction or perpendicular to it.In this work, we investigate the formation of ripples using molecular dynamics in all the three regimes of ripple formation: low angles where no ripples form, intermediate regime where the ripple wave vectors are parallel to the beam, and high angles where they are perpendicular to it. We obtain atom-level insight on how the ion-beam driven atomic dynamics at the surface contributes to organization, or lack of it, in all the different regimes. Results of our simulations agree well with experimental observations in the same range of ultra-low energy of ion irradiation.


title: A Framework for Formal Verification of DRAM Controllers

abstract: The large number of recent JEDEC DRAM standard releases and their increasing feature set makes it difficult for designers to rapidly upgrade the memory controller IPs to each new standard. Especially the hardware verification is challenging due to the higher protocol complexity of standards like DDR5, LPDDR5 or HBM3 in comparison with their predecessors. With traditional simulation-based verification it is laborious to guarantee the coverage of all possible states, especially for control flow rich memory controllers. This has a direct impact on the time-to-market. A promising alternative is formal verification because it allows to ensure protocol compliance based on mathematical proofs. However, with regard to memory controllers no fully-automated verification process has been presented in the state-of-the-art yet, which means there is still a potential risk of human error. In this paper we present a framework that automatically generates SystemVerilog Assertions for a DRAM protocol. In addition, we show how the framework can be used efficiently for different tasks of memory controller development.


title: Leveraging machine learning for less developed languages: Progress on Urdu text detection

abstract: Text detection in natural scene images has applications for autonomous driving, navigation help for elderly and blind people. However, the research on Urdu text detection is usually hindered by lack of data resources. We have developed a dataset of scene images with Urdu text. We present the use of machine learning methods to perform detection of Urdu text from the scene images. We extract text regions using channel enhanced Maximally Stable Extremal Region (MSER) method. First, we classify text and noise based on their geometric properties. Next, we use a support vector machine for early discarding of non-text regions. To further remove the non-text regions, we use histogram of oriented gradients (HoG) features obtained and train a second SVM classifier. This improves the overall performance on text region detection within the scene images. To support research on Urdu text, We aim to make the data freely available for research use. We also aim to highlight the challenges and the research gap for Urdu text detection.


title: Compact Object Candidates with K/M-dwarf Companions from LAMOST Low-resolution Survey

abstract: Searching for compact objects (black holes, neutron stars, or white dwarfs) in the Milky Way is essential for understanding the stellar evolution history, the physics of compact objects, and the structure of our Galaxy. Compact objects in binaries with a luminous stellar companion are perfect targets for optical observations. Candidate compact objects can be achieved by monitoring the radial velocities of the companion star. However, most of the spectroscopic telescopes usually obtain stellar spectra at a relatively low efficiency, which makes a sky survey for millions of stars practically impossible. The efficiency of a large-scale spectroscopic survey, the Large Sky Area Multi-Object Fiber Spectroscopy Telescope (LAMOST), presents a specific opportunity to search for compact object candidates, i.e., simply from the spectroscopic observations. Late-type K/M stars are the most abundant populations in our Galaxy. Owing to the relatively large Keplerian velocities in the close binaries with a K/M-dwarf companion, a hidden compact object could be discovered and followed-up more easily. In this study, compact object candidates with K/M-dwarf companions are investigated with the LAMOST low-resolution stellar spectra. Based on the LAMOST Data Release 5, we obtained a sample of $56$ binaries, each containing a K/M-dwarf with a large radial velocity variation $\Delta V_{\rm R} > 150~{\rm km~s}^{-1}$. Complemented with the photometric information from the Transiting Exoplanet Survey Satellite, we derived a sample of $35$ compact object candidates, among which, the orbital periods of $16$ sources were revealed by the light curves. Considering two sources as examples, we confirmed that a compact object existed in the two systems by fitting the radial velocity curve. This study demonstrates the principle and the power of searching for compact objects through LAMOST.


title: Motion Transformer for Unsupervised Image Animation

abstract: Image animation aims to animate a source image by using motion learned from a driving video. Current state-of-the-art methods typically use convolutional neural networks (CNNs) to predict motion information, such as motion keypoints and corresponding local transformations. However, these CNN based methods do not explicitly model the interactions between motions; as a result, the important underlying motion relationship may be neglected, which can potentially lead to noticeable artifacts being produced in the generated animation video. To this end, we propose a new method, the motion transformer, which is the first attempt to build a motion estimator based on a vision transformer. More specifically, we introduce two types of tokens in our proposed method: i) image tokens formed from patch features and corresponding position encoding; and ii) motion tokens encoded with motion information. Both types of tokens are sent into vision transformers to promote underlying interactions between them through multi-head self attention blocks. By adopting this process, the motion information can be better learned to boost the model performance. The final embedded motion tokens are then used to predict the corresponding motion keypoints and local transformations. Extensive experiments on benchmark datasets show that our proposed method achieves promising results to the state-of-the-art baselines. Our source code will be public available.


title: Chemistry and dynamics of the prestellar core L1544

abstract: We aim to quantify the effect of chemistry on the infall velocity in the prestellar core L1544. Previous observational studies have found evidence for double-peaked line profiles for the rotational transitions of several molecules, which cannot be accounted for with the models presently available for the physical structure of the source, without ad hoc up-scaling of the infall velocity. We ran one-dimensional hydrodynamical simulations of the collapse of a core with L1544-like properties (in terms of mass and outer radius), using a state-of-the-art chemical model with a very large chemical network combined with an extensive description of molecular line cooling, determined via radiative transfer simulations, with the aim of determining whether these expansions of the simulation setup (as compared to previous models) can lead to a higher infall velocity. After running a series of simulations where the simulation was sequentially simplified, we found that the infall velocity is almost independent of the size of the chemical network or the approach to line cooling. We conclude that chemical evolution does not have a large impact on the infall velocity, and that the higher infall velocities that are implied by observations may be the result of the core being more dynamically evolved than what is now thought, or alternatively the average density in the simulated core is too low. However, chemistry does have a large influence on the lifetime of the core, which varies by about a factor of two across the simulations and grows longer when the chemical network is simplified. Therefore, although the model is subject to several sources of uncertainties, the present results clearly indicate that the use of a small chemical network leads to an incorrect estimate of the core lifetime, which is naturally a critical parameter for the development of chemical complexity in the precollapse phase.


title: Human-in-the-loop Robotic Grasping using BERT Scene Representation

abstract: Current NLP techniques have been greatly applied in different domains. In this paper, we propose a human-in-the-loop framework for robotic grasping in cluttered scenes, investigating a language interface to the grasping process, which allows the user to intervene by natural language commands. This framework is constructed on a state-of-the-art rasping baseline, where we substitute a scene-graph representation with a text representation of the scene using BERT. Experiments on both simulation and physical robot show that the proposed method outperforms conventional object-agnostic and scene-graph based methods in the literature. In addition, we find that with human intervention, performance can be significantly improved.


title: Trajectory dependence of electronic energy-loss straggling at keV ion energies

abstract: We have measured the electronic energy-loss straggling of protons, helium, boron and silicon ions in silicon using a transmission time-of-flight approach. Ions with velocities between 0.25 and 1.6 times the Bohr velocity were transmitted through single-crystalline Si(100) nanomembranes in either channelling or random geometry to study the impact parameter dependence of energy-loss straggling. Nuclear and path length contributions to the straggling were determined with the help of Monte Carlo simulations. Our results exhibit an increase in straggling with increasing ion velocity for channelled trajectories for all projectiles as well as for protons and helium in random geometry. In contrast for heavier ions, electronic straggling at low velocities does not decrease further but plateaus and even seems to increase again. We compare our experimental results with transport cross section calculations. The satisfying agreement for helium shows that electronic stopping for light ions is dominated by electron-hole pair excitations, and that the previously observed trajectory dependence can indeed be attributed to a higher mean charge state for random trajectories. No agreement is found for boron and silicon indicating the breakdown of models based solely on electron-hole pair excitations, and that local electron-promotion and charge-exchange events significantly contribute to energy loss at low velocities.


title: Bounded Invariant Checking for Stateflow

abstract: Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solutions, these models require the application of rigorous verification techniques for assuring their correctness. In this paper, we propose a refutation-based formal verification approach for analyzing Stateflow models against invariant properties, based on bounded model checking (BMC). The crux of our technique is: i) a representation of the state space of Stateflow models as a symbolic transition system (STS) over the symbolic configurations of the model, and ii) application of incremental BMC, to generate verification results after each unrolling of the next-state relation of the transition system. To this end, we develop a symbolic structural operational semantics (SSOS) for Stateflow, starting from an existing structural operational semantics (SOS), and show the preservation of invariant properties between the two. We define bounded invariant checking for STS over symbolic configurations as a satisfiability problem. We develop an automated procedure for generating the initial and next-state predicates of the STS, and a prototype implementation of the technique in the form of a tool utilising standard, off-the-shelf satisfiability solvers. Finally, we present preliminary performance results by applying our tool on an illustrative example and two industrial models.


title: An Upper Bound on the Critical Volume in a Class of Toric Sasaki-Einstein Manifolds

abstract: We prove the existence of an upper bound on critical volume of a large class of toric Sasaki-Einstein manifolds with respect to the first Chern class of the resolutions of the Gorenstein singularities in the corresponding toric Calabi-Yau varieties. We examine the canonical metrics obtained by the Delzant construction on these varieties and characterise cases when the bound is attained. We comment on computational tools used in the investigation, in particular Neural Networks and the gradient saliency method.


title: Monitoring ROS2: from Requirements to Autonomous Robots

abstract: Runtime verification (RV) has the potential to enable the safe operation of safety-critical systems that are too complex to formally verify, such as Robot Operating System 2 (ROS2) applications. Writing correct monitors can itself be complex, and errors in the monitoring subsystem threaten the mission as a whole. This paper provides an overview of a formal approach to generating runtime monitors for autonomous robots from requirements written in a structured natural language. Our approach integrates the Formal Requirement Elicitation Tool (FRET) with Copilot, a runtime verification framework, through the Ogma integration tool. FRET is used to specify requirements with unambiguous semantics, which are then automatically translated into temporal logic formulae. Ogma generates monitor specifications from the FRET output, which are compiled into hard-real time C99. To facilitate integration of the monitors in ROS2, we have extended Ogma to generate ROS2 packages defining monitoring nodes, which run the monitors when new data becomes available, and publish the results of any violations. The goal of our approach is to treat the generated ROS2 packages as black boxes and integrate them into larger ROS2 systems with minimal effort.


title: Active vs. Passive: A Comparison of Automata Learning Paradigms for Network Protocols

abstract: Active automata learning became a popular tool for the behavioral analysis of communication protocols. The main advantage is that no manual modeling effort is required since a behavioral model is automatically inferred from a black-box system. However, several real-world applications of this technique show that the overhead for the establishment of an active interface might hamper the practical applicability. Our recent work on the active learning of Bluetooth Low Energy (BLE) protocol found that the active interaction creates a bottleneck during learning. Considering the automata learning toolset, passive learning techniques appear as a promising solution since they do not require an active interface to the system under learning. Instead, models are learned based on a given data set. In this paper, we evaluate passive learning for two network protocols: BLE and Message Queuing Telemetry Transport (MQTT). Our results show that passive techniques can correctly learn with less data than required by active learning. However, a general random data generation for passive learning is more expensive compared to the costs of active learning.


title: Towards Runtime Monitoring of Complex System Requirements for Autonomous Driving Functions

abstract: Autonomous driving functions (ADFs) in public traffic have to comply with complex system requirements that are based on knowledge of experts from different disciplines, e.g., lawyers, safety experts, psychologists. In this paper, we present a research preview regarding the validation of ADFs with respect to such requirements. We investigate the suitability of Traffic Sequence Charts (TSCs) for the formalization of such requirements and present a concept for monitoring system compliance during validation runs. We find TSCs, with their intuitive visual syntax over symbols from the traffic domain, to be a promising choice for the collaborative formalization of such requirements. For an example TSC, we describe the construction of a runtime monitor according to our novel concept that exploits the separation of spatial and temporal aspects in TSCs, and successfully apply the monitor on exemplary runs. The monitor continuously provides verdicts at runtime, which is particularly beneficial in ADF validation, where validation runs are expensive. The next open research questions concern the generalization of our monitor construction, the identification of the limits of TSC monitorability, and the investigation of the monitor's performance in practical applications. Perspectively, TSC runtime monitoring could provide a useful technique in other emerging application areas such as AI training, safeguarding ADFs during operation, and gathering meaningful traffic data in the field.


title: Laboratory-frame tests of quantum entanglement in $H \to WW$

abstract: Quantum entanglement between the two $W$ bosons resulting from the decay of a Higgs boson may be investigated in the dilepton channel $H \to WW \to \ell \nu \ell \nu$ using laboratory-frame observables that only involve the charged leptons $\ell=e,\mu$. The dilepton invariant mass distribution, already measured by the ATLAS and CMS Collaborations at the LHC, can be used to observe the quantum entanglement of the $WW$ pair with a statistical sensitivity of $7\sigma$ with Run 2 data, and of $6\sigma$ when including theoretical systematics. As a by-product, the relation between $W$ rest frame (four-dimensional) angular distributions, $H \to WW$ decay amplitudes, and spin correlation coefficients, is written down.


title: From Specification Models to Explanation Models: An Extraction and Refinement Process for Timed Automata

abstract: Autonomous systems control many tasks in our daily lives. To increase trust in those systems and safety of the interaction between humans and autonomous systems, the system behaviour and reasons for autonomous decision should be explained to users, experts and public authorities. One way to provide such explanations is to use behavioural models to generate context- and user-specific explanations at run-time. However, this comes at the cost of higher modelling effort as additional models need to be constructed. In this paper, we propose a high-level process to extract such explanation models from system models, and to subsequently refine these towards specific users, explanation purposes and situations. By this, we enable the reuse of specification models for integrating self-explanation capabilities into systems. We showcase our approach using a running example from the autonomous driving domain.


title: Advising Autonomous Cars about the Rules of the Road

abstract: This paper describes (R)ules (o)f (T)he (R)oad (A)dvisor, an agent that provides recommended and possible actions to be generated from a set of human-level rules. We describe the architecture and design of RoTRA, both formally and with an example. Specifically, we use RoTRA to formalise and implement the UK "Rules of the Road", and describe how this can be incorporated into autonomous cars such that they can reason internally about obeying the rules of the road. In addition, the possible actions generated are annotated to indicate whether the rules state that the action must be taken or that they only recommend that the action should be taken, as per the UK Highway Code (Rules of The Road). The benefits of utilising this system include being able to adapt to different regulations in different jurisdictions; allowing clear traceability from rules to behaviour, and providing an external automated accountability mechanism that can check whether the rules were obeyed in some given situation. A simulation of an autonomous car shows, via a concrete example, how trust can be built by putting the autonomous vehicle through a number of scenarios which test the car's ability to obey the rules of the road. Autonomous cars that incorporate this system are able to ensure that they are obeying the rules of the road and external (legal or regulatory) bodies can verify that this is the case, without the vehicle or its manufacturer having to expose their source code or make their working transparent, thus allowing greater trust between car companies, jurisdictions, and the general public.


title: Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata

abstract: One of the challenges in designing safe, reliable and trustworthy Autonomous Vehicles (AVs) is to ensure that the AVs abide by traffic rules. For this, the AVs need to be able to understand and reason about traffic rules. In previous work, we introduce the spatial traffic logic USL-TR to allow for the unambiguous, machine-readable, formalisation of traffic rules. This is only the first step towards autonomous traffic agents that verifiably follow traffic rules. In this research preview, we focus on two further steps: a) retrieving behaviour diagrams directly from traffic rules and b) converting the behaviour diagrams into timed automata that are using formulae of USL-TR in guards and invariants. With this, we have a formal representation for traffic rules and can move towards the establishment of a Digital Highway Code. We briefly envision further steps which include adding environment and agent models to the timed automata to finally implement and verify these traffic rule models using a selection of formal verification tools.


title: Reduced late bombardment on rocky exoplanets around M-dwarfs

abstract: Ocean-vaporizing impacts of chemically reduced planetesimals onto the early Earth have been suggested to catalyse atmospheric production of reduced nitrogen compounds and trigger prebiotic synthesis despite an oxidized lithosphere. While geochemical evidence supports a dry, highly reduced late veneer on Earth, the composition of late-impacting debris around lower-mass stars is subject to variable volatile loss as a result of their hosts' extended pre-main sequence phase. We perform simulations of late-stage planet formation across the M-dwarf mass spectrum to derive upper limits on reducing bombardment epochs in Hadean analog environments. We contrast the Solar System scenario with varying initial volatile distributions due to extended primordial runaway greenhouse phases on protoplanets and desiccation of smaller planetesimals by internal radiogenic heating. We find a decreasing rate of late-accreting reducing impacts with decreasing stellar mass. Young planets around stars $\leq$ 0.4 $M_\odot$ experience no impacts of sufficient mass to generate prebiotically relevant concentrations of reduced atmospheric compounds once their stars have reached the main sequence. For M-dwarf planets to not exceed Earth-like concentrations of volatiles, both planetesimals and larger protoplanets must undergo extensive devolatilization processes and can typically emerge from long-lived magma ocean phases with sufficient atmophile content to outgas secondary atmospheres. Our results suggest that transiently reducing surface conditions on young rocky exoplanets are favoured around FGK- stellar types relative to M-dwarfs.


title: A Doxastic Characterisation of Autonomous Decisive Systems

abstract: A highly autonomous system (HAS) has to assess the situation it is in and derive beliefs, based on which, it decides what to do next. The beliefs are not solely based on the observations the HAS has made so far, but also on general insights about the world, in which the HAS operates. These insights have either been built in the HAS during design or are provided by trusted sources during its mission. Although its beliefs may be imprecise and might bear flaws, the HAS will have to extrapolate the possible futures in order to evaluate the consequences of its actions and then take its decisions autonomously. In this paper, we formalize an autonomous decisive system as a system that always chooses actions that it currently believes are the best. We show that it can be checked whether an autonomous decisive system can be built given an application domain, the dynamically changing knowledge base and a list of LTL mission goals. We moreover can synthesize a belief formation for an autonomous decisive system. For the formal characterization, we use a doxastic framework for safety-critical HASs where the belief formation supports the HAS's extrapolation.


title: SkiNet, A Petri Net Generation Tool for the Verification of Skillset-based Autonomous Systems

abstract: The need for high-level autonomy and robustness of autonomous systems for missions in dynamic and remote environment has pushed developers to come up with new software architectures. A common architecture style is to summarize the capabilities of the robotic system into elementary actions, called skills, on top of which a skill management layer is implemented to structure, test and control the functional layer. However, current available verification tools only provide either mission-specific verification or verification on a model that does not replicate the actual execution of the system, which makes it difficult to ensure its robustness to unexpected events. To that end, a tool, SkiNet, has been developed to transform the skill-based architecture of a system into a Petri net modeling the state-machine behaviors of the skills and the resources they handle. The Petri net allows the use of model-checking, such as Linear Temporal Logic (LTL) or Computational Tree Logic (CTL), for the user to analyze and verify the model of the system.


title: Scheduling of Missions with Constrained Tasks for Heterogeneous Robot Systems

abstract: We present a formal tasK AllocatioN and scheduling apprOAch for multi-robot missions (KANOA). KANOA supports two important types of task constraints: task ordering, which requires the execution of several tasks in a specified order; and joint tasks, which indicates tasks that must be performed by more than one robot. To mitigate the complexity of robotic mission planning, KANOA handles the allocation of the mission tasks to robots, and the scheduling of the allocated tasks separately. To that end, the task allocation problem is formalised in first-order logic and resolved using the Alloy model analyzer, and the task scheduling problem is encoded as a Markov decision process and resolved using the PRISM probabilistic model checker. We illustrate the application of KANOA through a case study in which a heterogeneous robotic team is assigned a hospital maintenance mission.


title: Towards Adaptive Planning of Assistive-care Robot Tasks

abstract: This 'research preview' paper introduces an adaptive path planning framework for robotic mission execution in assistive-care applications. The framework provides a graph-based environment modelling approach, with dynamic path finding performed using Dijkstra's algorithm. A predictive module that uses probabilistic model checking is applied to estimate the human's movement through the environment, allowing run-time re-planning of the robot's path. We illustrate the use of the framework for a simulated assistive-care case study in which a mobile robot navigates through the environment and monitors an end user with mild physical or cognitive impairments.


title: Generating Safe Autonomous Decision-Making in ROS

abstract: The Robot Operating System (ROS) is a widely used framework for building robotic systems. It offers a wide variety of reusable packages and a pattern for new developments. It is up to developers how to combine these elements and integrate them with decision-making for autonomous behavior. The feature of such decision-making that is in general valued the most is safety assurance. In this research preview, we present a formal approach for generating safe autonomous decision-making in ROS. We first describe how to improve our existing static verification approach to verify multi-goal multi-agent decision-making. After that, we describe how to transition from the improved static verification approach to the proposed runtime verification approach. An initial implementation of this research proposal yields promising results.


title: Combinatorial patchworking: back from tropical geometry

abstract: We show that, once translated to the dual setting of convex triangulations of lattice polytopes, results and methods from previous tropical works by Arnal-Renaudineau-Shaw, Renaudineau-Shaw, Renaudineau-Rau-Shaw, and Jell-Rau-Shaw extend to non-convex triangulations. So, while the translation of Viro's patchworking method to the setting of tropical hypersurfaces has inspired several tremendous developments over the last two decades, we return to the the original polytope setting in order to generalize and simplify some results regarding the topology of $T$-submanifolds of real toric varieties.


title: Extending Attack-Fault Trees with Runtime Verification

abstract: Autonomous systems are often complex and prone to software failures and cyber-attacks. We introduce RVAFTs, an extension of Attack-Fault Trees (AFTs) with runtime events that can be used to construct runtime monitors. These monitors are able to detect when failures, that can be caused either by an attack or by a fault, occur. The safety and security properties monitored are, in turn, derived from the hierarchical decomposition of RVAFTs. Our approach not only provides further use of AFTs, but also improves the process of instrumentation often required in runtime verification. We explain the principles and provide a simple case study demonstrating how RVAFTs can be used in practice. Through this we are also able to evaluate the detection of faults and attacks as well as assessing the computational overhead of the monitors.


title: Verifying Safety of Behaviour Trees in Event-B

abstract: Behavior Trees (BT) are becoming increasingly popular in the robotics community. The BT tool is well suited for decision-making applications allowing a robot to perform complex behavior while being explainable to humans as well. Verifying that BTs used are well constructed with respect to safety and reliability requirements is essential, especially for robots operating in critical environments. In this work, we propose a formal specification of Behavior Trees and a methodology to prove invariants of already used trees, while keeping the complexity of the formalization of the tree simple for the final user. Allowing the possibility to test the particular instance of the behavior tree without the necessity to know the more abstract levels of the formalization.


title: Adma-GAN: Attribute-Driven Memory Augmented GANs for Text-to-Image Generation

abstract: As a challenging task, text-to-image generation aims to generate photo-realistic and semantically consistent images according to the given text descriptions. Existing methods mainly extract the text information from only one sentence to represent an image and the text representation effects the quality of the generated image well. However, directly utilizing the limited information in one sentence misses some key attribute descriptions, which are the crucial factors to describe an image accurately. To alleviate the above problem, we propose an effective text representation method with the complements of attribute information. Firstly, we construct an attribute memory to jointly control the text-to-image generation with sentence input. Secondly, we explore two update mechanisms, sample-aware and sample-joint mechanisms, to dynamically optimize a generalized attribute memory. Furthermore, we design an attribute-sentence-joint conditional generator learning scheme to align the feature embeddings among multiple representations, which promotes the cross-modal network training. Experimental results illustrate that the proposed method obtains substantial performance improvements on both the CUB (FID from 14.81 to 8.57) and COCO (FID from 21.42 to 12.39) datasets.


title: The Airy$_2$ process and the 3D Ising model

abstract: The Ferrari-Spohn diffusion process arises as limit process for the 2D Ising model as well as random walks with area penalty. Motivated by the 3D Ising model, we consider $M$ such diffusions conditioned not to intersect. We show that the top process converges to the Airy$_2$ process as $M\to\infty$. We then explain the relation with the 3D Ising model and present some conjectures about it.


title: Accelerating netty-based applications through transparent InfiniBand support

abstract: Many big-data frameworks are written in Java, e.g. Apache Spark, Flink and Cassandra. These systems use the networking framework netty which is based on Java NIO. While this allows for fast networking on traditional Ethernet networks, it cannot fully exploit the whole performance of modern interconnects, like InfiniBand, providing bandwidths of 100 Gbit/s and more. In this paper we propose netty support for hadroNIO, a Java library, providing transparent InfiniBand support for Java applications based on NIO. hadroNIO is based on UCX, which supports several interconnects, including InfiniBand. We present hadroNIO extensions and optimizations for supporting netty. The evaluations with microbenchmarks, covering single- and multi-threaded scenarios, show that it is possible for netty applications to reach round-trip times as low as 5 us and fully utilize the 100 Gbit/s bandwidth of high-speed NICs, without changing the application's source code. We also compare hadroNIO with traditional sockets, as well as libvma and the results show, that hadroNIO offers a substantial improvement over plain sockets and can outperform libvma in several scenarios.


title: Popularity Driven Data Integration

abstract: More and more, with the growing focus on large scale analytics, we are confronted with the need of integrating data from multiple sources. The problem is that these data are impossible to reuse as-is. The net result is high cost, with the further drawback that the resulting integrated data will again be hardly reusable as-is. iTelos is a general purpose methodology aiming at minimizing the effects of this process. The intuition is that data will be treated differently based on their popularity: the more a certain set of data have been reused, the more they will be reused and the less they will be changed across reuses, thus decreasing the overall data preprocessing costs, while increasing backward compatibility and future sharing


title: Optimality of the Proper Gaussian Signal in Complex MIMO Wiretap Channels

abstract: The multiple-input multiple-output (MIMO) wiretap channel (WTC), which has a transmitter, a legitimate user and an eavesdropper, is a classic model for studying information theoretic secrecy. In this paper, the fundamental problem for the complex WTC is whether the proper signal is optimal has yet to be given explicit proof, though previous work implicitly assumed the complex signal was proper. Thus, a determinant inequality is proposed to prove that the secrecy rate of a complex Gaussian signal with a fixed covariance matrix in a degraded complex WTC is maximized if and only if the signal is proper, i.e., the pseudo-covariance matrix is a zero matrix. Moreover, based on the result of the degraded complex WTC and the min-max reformulation of the secrecy capacity, the optimality of the proper signal in the general complex WTC is also revealed. The results of this research complement the current research on complex WTC. To be more specific, we have shown it is sufficient to focus on the proper signal when studying the secrecy capacity of the complex WTC.


title: A Stiff MOL Boundary Control Problem for the 1D Heat Equation with Exact Discrete Solution

abstract: Method-of-lines discretizations are demanding test problems for stiff integration methods. However, for PDE problems with known analytic solution the presence of space discretization errors or the need to use codes to compute reference solutions may limit the validity of numerical test results. To overcome these drawbacks we present in this short note a simple test problem with boundary control, a situation where one-step methods may suffer from order reduction. We derive exact formulas for the solution of an optimal boundary control problem governed by a one dimensional discrete heat equation and an objective function that measures the distance of the final state from the target and the control costs. This analytical setting is used to compare the numerically observed convergence orders for selected implicit Runge-Kutta and Peer two-step methods of classical order four which are suitable for optimal control problems.


title: Rigorous analysis of the interaction problem of sea ice with a rigid body

abstract: Consider the set of equations modeling the motion of a rigid body enclosed in sea ice. Using Hibler's viscous-plastic model for describing sea ice, it is shown by a certain decoupling approach that this system admits a unique, local strong solution within the $\mathrm{L}^p$-setting.


title: Inducing Data Amplification Using Auxiliary Datasets in Adversarial Training

abstract: Several recent studies have shown that the use of extra in-distribution data can lead to a high level of adversarial robustness. However, there is no guarantee that it will always be possible to obtain sufficient extra data for a selected dataset. In this paper, we propose a biased multi-domain adversarial training (BiaMAT) method that induces training data amplification on a primary dataset using publicly available auxiliary datasets, without requiring the class distribution match between the primary and auxiliary datasets. The proposed method can achieve increased adversarial robustness on a primary dataset by leveraging auxiliary datasets via multi-domain learning. Specifically, data amplification on both robust and non-robust features can be accomplished through the application of BiaMAT as demonstrated through a theoretical and empirical analysis. Moreover, we demonstrate that while existing methods are vulnerable to negative transfer due to the distributional discrepancy between auxiliary and primary data, the proposed method enables neural networks to flexibly leverage diverse image datasets for adversarial training by successfully handling the domain discrepancy through the application of a confidence-based selection strategy. The pre-trained models and code are available at: \url{https://github.com/Saehyung-Lee/BiaMAT}.


title: Quantifying the global "CMB tension" between the Atacama Cosmology Telescope and the Planck satellite in extended models of cosmology

abstract: We study the global agreement between the most recent observations of the Cosmic Microwave Background temperature and polarization anisotropies angular power spectra released by the Atacama Cosmology Telescope and the Planck satellite in various cosmological models that differ by the inclusion of different combinations of additional parameters. By using the Suspiciousness statistic, we show that the global "CMB tension" between the two experiments, quantified at the Gaussian equivalent level of $\sim 2.5\,\sigma$ within the baseline $\Lambda$CDM, is reduced at the level of $1.8\sigma$ when the effective number of relativistic particles ($N_{\rm eff}$) is significantly less than the standard value, while it ranges between $2.3\,\sigma$ and $3.5\,\sigma$ in all the other extended models.


title: Dealing with Data Challenges when Delivering Data-Intensive Software Solutions

abstract: The predicted increase in demand for data-intensive solution development is driving the need for software, data, and domain experts to effectively collaborate in multi-disciplinary data-intensive software teams (MDSTs). We conducted a socio-technical grounded theory study through interviews with 24 practitioners in MDSTs to better understand the challenges these teams face when delivering data-intensive software solutions. The interviews provided perspectives across different types of roles including domain, data and software experts, and covered different organisational levels from team members, team managers to executive leaders. We found that the key concern for these teams is dealing with data-related challenges. In this paper, we present the theory of dealing with data challenges that explains the challenges faced by MDSTs including gaining access to data, aligning data, understanding data, and resolving data quality issues; the context in and condition under which these challenges occur, the causes that lead to the challenges, and the related consequences such as having to conduct remediation activities, inability to achieve expected outcomes and lack of trust in the delivered solutions. We also identified contingencies or strategies applied to address the challenges including high-level strategic approaches such as implementing data governance, implementing new tools and techniques such as data quality visualisation and monitoring tools, as well as building stronger teams by focusing on people dynamics, communication skill development and cross-skilling. Our findings have direct implications for practitioners and researchers to better understand the landscape of data challenges and how to deal with them.


title: {\Lambda}(1520) resonance production with respect to transverse spherocity using EPOS3+UrQMD

abstract: Resonances are sensitive to the properties of the medium created in heavy ion collision. They also provide insight into the properties of the hadronic phase. Studying the dependence of the yield of resonances on transverse spherocity and multiplicity allows us to understand the resonance production mechanism with event topology and system size, respectively. The results reported pertains to {\Lambda}(1520) . The data from EPOS3 is used for the present analysis.


title: How Far Does the Predictive Decision Impact the Software Project? The Cost, Service Time, and Failure Analysis from a Cross-Project Defect Prediction Model

abstract: Context: Cross-project defect prediction (CPDP) models are being developed to optimize the testing resources. Objectives: Proposing an ensemble classification framework for CPDP as many existing models are lacking with better performances and analysing the main objectives of CPDP from the outcomes of the proposed classification framework. Method: For the classification task, we propose a bootstrap aggregation based hybrid-inducer ensemble learning (HIEL) technique that uses probabilistic weighted majority voting (PWMV) strategy. To know the impact of HIEL on the software project, we propose three project-specific performance measures such as percent of perfect cleans (PPC), percent of non-perfect cleans (PNPC), and false omission rate (FOR) from the predictions to calculate the amount of saved cost, remaining service time, and percent of the failures in the target project. Results: On many target projects from PROMISE, NASA, and AEEEM repositories, the proposed model outperformed recent works such as TDS, TCA+, HYDRA, TPTL, and CODEP in terms of F-measure. In terms of AUC, the TCA+ and HYDRA models stand as strong competitors to the HIEL model. Conclusion: For better predictions, we recommend ensemble learning approaches for the CPDP models. And, to estimate the benefits from the CPDP models, we recommend the above project-specific performance measures.


title: Review for AI-based Open-Circuit Faults Diagnosis Methods in Power Electronics Converters

abstract: Power electronics converters have been widely used in aerospace system, DC transmission, distributed energy, smart grid and so forth, and the reliability of power electronics converters has been a hotspot in academia and industry. It is of great significance to carry out power electronics converters open-circuit faults monitoring and intelligent fault diagnosis to avoid secondary faults, reduce time and cost of operation and maintenance, and improve the reliability of power electronics system. Firstly, the faults features of power electronic converters are analyzed and summarized. Secondly, some AI-based fault diagnosis methods and application examples in power electronics converters are reviewed, and a fault diagnosis method based on the combination of random forests and transient fault features is proposed for three-phase power electronics converters. Finally, the future research challenges and directions of AI-based fault diagnosis methods are pointed out.


title: Interstellar scintillation and polarization of PSR B0656+14 in the Monogem Ring

abstract: High sensitivity interstellar scintillation and polarization observations of PSR~B0656+14 made at three epochs over a year using the Five-hundred-meter Aperture Spherical radio Telescope (FAST) show that the scattering is dominated by two different compact regions. We identify the one nearer to the pulsar with the shell of the Monogem Ring, thereby confirming the association. The other is probably associated with the Local Bubble. We find that the observed position angles of the pulsar spin axis and the space velocity are significantly different, with a separation of $19\fdg3\pm$0\fdg8, inconsistent with a previously published near-perfect alignment of $1\degr\pm 2\degr$. The two independent scattering regions are clearly defined in the secondary spectra which show two strong forward parabolic arcs. The arc curvatures imply that the scattering screens corresponding to the outer and inner arcs are located approximately 28~pc from PSR B0656+14 and 185~pc from the Earth, respectively. Comparison of the observed Doppler profiles with electromagnetic simulations shows that both scattering regions are mildly anisotropic. For the outer arc, we estimate the anisotropy $A_R$ to be approximately 1.3, with the scattering irregularities aligned parallel to the pulsar velocity. For the outer arc, we compare the observed delay profiles with delay profiles computed from a theoretical strong-scattering model. Our results suggest that the spatial spectrum of the scattering irregularities in the Monogem Ring is flatter than Kolmogorov, but further observations are required to confirm this.


title: Design Guidelines for Improving User Experience in Industrial Domain-Specific Modelling Languages

abstract: Domain-specific modelling languages (DSMLs) help practitioners solve modelling challenges specific to various domains. As domains grow more complex and heterogeneous in nature, industrial practitioners often face challenges in the usability of graphical DSMLs. There is still a lack of guidelines that industrial language engineers should consider for improving the user experience (UX) of these practitioners. The overall topic of UX is vast and subjective, and general guidelines and definitions of UX are often overly generic or tied to specific technological spaces. To solve this challenge, we leverage existing design principles and standards of human-centred design and UX in general and propose definitions and guidelines for UX and user experience design (UXD) aspects in graphical DSMLs. In this paper, we categorize the key UXD aspects, primarily based on our experience in developing industrial DSMLs, that language engineers should consider during graphical DSML development. Ultimately, these UXD guidelines help to improve the general usability of industrial DSMLs and support language engineers in developing better DSMLs that are independent of graphical modelling tools and more widely accepted by their users.


title: Bounds from multi-messenger astronomy on the Super Heavy Dark Matter

abstract: The purely gravitational evidence supporting the need for dark matter (DM) particles is compelling and based on Galactic to cosmological scale observations. Thus far, the promising weakly interacting massive particles scenarios have eluded detection, motivating alternative models for DM. We consider the scenarios involving the superheavy dark matter (SHDM) that potentially can be emitted by primordial black holes (PBHs) and can decay or annihilate into ultrahigh-energy (UHE) neutrinos and photons. The observation of a population of photons with energies $E\ge 10^{11}$ GeV would imply the existence of completely new physical phenomena, or shed some light on DM models. Only the ultra-high energy cosmic ray observatories have the capabilities to detect such UHE decay products via the measurements of UHE photon induced extensive air showers. Using the upper bound on the flux of UHE cosmic rays beyond $10^{11.3}$ GeV implying $J(>10^{11.3}~{\rm{GeV}})< 3.6\times 10^{-5}$ km$^{-2}$sr$^{-1}$y$^{-1}$, at the $90\%$ C.L. reported by the Pierre Auger Observatory, we obtain global limits on the lifetime of the DM particles with masses $10^{15}\le M_{X} \le 10^{17}$ GeV. The constraints derived here are new and cover a region of the parameter space not yet explored. We compare our results with the projected constraints from future POEMMA and JEM-EUSO experiments, in order to quantify the improvement that will be obtained by these missions. Moreover, assuming that an epoch of early PBHs domination introduces a unique spectral break, $f_{\ast}$, in the gravitational wave spectrum, the frequency of which is related to the SHDM mass, we map potential probes and limits of the DM particles masses on the $f_{\ast}-M_{X}$ parameter space.


title: A Lebesgue-Lusin property for linear operators of first and second order

abstract: We prove that for a homogeneous linear partial differential operator $\mathcal A$ of order $k \le 2$ and an integrable map $f$ taking values in the essential range of that operator, there exists a function $u$ of special bounded variation satisfying \[ \mathcal A u(x)= f(x) \qquad \text{almost everywhere}. \] This extends a result of G. Alberti for gradients on $\mathbf R^N$. In particular, for $0 \le m < N$, it is shown that every integrable $m$-vector field is the absolutely continuous part of the boundary of a normal $(m+1)$-current.


title: Network inference combining mutual information rate and statistical tests

abstract: In this paper, we present a method that combines information-theoretical and statistical approaches to infer connectivity in complex networks using time-series data. The method is based on estimations of the Mutual Information Rate for pairs of time-series and on statistical significance tests for connectivity acceptance using the false discovery rate method for multiple hypothesis testing. We provide the mathematical background on Mutual Information Rate, discuss the statistical significance tests and the false discovery rate. Further on, we present results for correlated normal-variates data, coupled circle and coupled logistic maps, coupled Lorenz systems and coupled stochastic Kuramoto phase oscillators. Following up, we study the effect of noise on the presented methodology in networks of coupled stochastic Kuramoto phase oscillators and of coupling heterogeneity degree on networks of coupled circle maps. We show that the method can infer the correct number and pairs of connected nodes, by means of receiver operating characteristic curves. In the more realistic case of stochastic data, we demonstrate its ability to infer the structure of the initial connectivity matrices. The method is also shown to recover the initial connectivity matrices for dynamics on the nodes of Erd\H{o}s-R\'enyi and small-world networks with varying coupling heterogeneity in their connections. The highlight of the proposed methodology is its ability to infer the underlying network connectivity based solely on the recorded datasets.


title: A mass-conserving sparse grid combination technique with biorthogonal hierarchical basis functions for kinetic simulations

abstract: The exact numerical simulation of plasma turbulence is one of the assets and challenges in fusion research. For grid-based solvers, sufficiently fine resolutions are often unattainable due to the curse of dimensionality. The sparse grid combination technique provides the means to alleviate the curse of dimensionality for kinetic simulations. However, the hierarchical representation for the combination step with the state-of-the-art hat functions suffers from poor conservation properties and numerical instability. The present work introduces two new variants of hierarchical multiscale basis functions for use with the combination technique: the biorthogonal and full weighting bases. The new basis functions conserve the total mass and are shown to significantly increase accuracy for a finite-volume solution of constant advection. Further numerical experiments based on the combination technique applied to a semi-Lagrangian Vlasov--Poisson solver show a stabilizing effect of the new bases on the simulations.


title: LL-GNN: Low Latency Graph Neural Networks on FPGAs for High Energy Physics

abstract: This work presents a novel reconfigurable architecture for Low Latency Graph Neural Network (LL-GNN) designs for particle detectors, delivering unprecedented low latency performance. Incorporating FPGA-based GNNs into particle detectors presents a unique challenge since it requires sub-microsecond latency to deploy the networks for online event selection with a data rate of hundreds of terabytes per second in the Level-1 triggers at the CERN Large Hadron Collider experiments. This paper proposes a novel outer-product based matrix multiplication approach, which is enhanced by exploiting the structured adjacency matrix and a column-major data layout. Moreover, a fusion step is introduced to further reduce the end-to-end design latency by eliminating unnecessary boundaries. Furthermore, a GNN-specific algorithm-hardware co-design approach is presented which not only finds a design with a much better latency but also finds a high accuracy design under given latency constraints. To facilitate this, a customizable template for this low latency GNN hardware architecture has been designed and open-sourced, which enables the generation of low-latency FPGA designs with efficient resource utilization using a high-level synthesis tool. Evaluation results show that our FPGA implementation is up to 9.0 times faster and achieves up to 13.1 times higher power efficiency than a GPU implementation. Compared to the previous FPGA implementations, this work achieves 6.51 to 16.7 times lower latency. Moreover, the latency of our FPGA design is sufficiently low to enable deployment of GNNs in a sub-microsecond, real-time collider trigger system, enabling it to benefit from improved accuracy. The proposed LL-GNN design advances the next generation of trigger systems by enabling sophisticated algorithms to process experimental data efficiently.


title: Sensing of magnetic field effects in radical-pair reactions using a quantum sensor

abstract: Magnetic field effects (MFE) in certain chemical reactions have been well established in the last five decades and are attributed to the evolution of transient radical-pairs whose spin dynamics are determined by local and external magnetic fields. The majority of existing experimental techniques used to probe these reactions only provide ensemble averaged reaction parameters and spin chemistry, hindering the observation of the potential presence of quantum coherent phenomena at the single molecule scale. Here, considering a single nitrogen vacancy (NV) centre as quantum sensor, we investigate the prospects and requirements for detection of MFEs on the spin dynamics of radical-pairs at the scale of single and small ensemble of molecules. We employ elaborate and realistic models of radical-pairs, considering its coupling to the local spin environment and the sensor. For two model systems, we derive signals of MFE detectable even in the weak coupling regime between radical-pair and NV quantum sensor, and observe that the dynamics of certain populations, as well as coherence elements, of the density matrix of the radical pair are directly detectable. Our investigations will provide important guidelines for potential detection of spin chemistry of bio-molecules at the single molecule scale, required to witness the hypothesised importance of quantum coherence in biological processes.


title: Efficient block contrastive learning via parameter-free meta-node approximation

abstract: Contrastive learning has recently achieved remarkable success in many domains including graphs. However contrastive loss, especially for graphs, requires a large number of negative samples which is unscalable and computationally prohibitive with a quadratic time complexity. Sub-sampling is not optimal and incorrect negative sampling leads to sampling bias. In this work, we propose a meta-node based approximation technique that can (a) proxy all negative combinations (b) in quadratic cluster size time complexity, (c) at graph level, not node level, and (d) exploit graph sparsity. By replacing node-pairs with additive cluster-pairs, we compute the negatives in cluster-time at graph level. The resulting Proxy approximated meta-node Contrastive (PamC) loss, based on simple optimized GPU operations, captures the full set of negatives, yet is efficient with a linear time complexity. By avoiding sampling, we effectively eliminate sample bias. We meet the criterion for larger number of samples, thus achieving block-contrastiveness, which is proven to outperform pair-wise losses. We use learnt soft cluster assignments for the meta-node constriction, and avoid possible heterophily and noise added during edge creation. Theoretically, we show that real world graphs easily satisfy conditions necessary for our approximation. Empirically, we show promising accuracy gains over state-of-the-art graph clustering on 6 benchmarks. Importantly, we gain substantially in efficiency; up to 3x in training time, 1.8x in inference time and over 5x in GPU memory reduction.


title: Comparative study of H accumulation in differently oriented grains of Cu

abstract: When metal surfaces are exposed to hydrogen ion irradiation, the light ions are expected to penetrate deep into the material and dissolve in the matrix. However, these atoms are seen to cause significant modification of surfaces, indicating that they accumulate in vicinity of the surface. The process known as blistering may reduces the vacuum dielectric strength above the metal surface, which shows a dense population of surface blisters. In this paper, we investigate how a bubble can grow under the pressure exerted by hydrogen atoms on the walls of the bubble and how this affect to the surface of Cu, whether an external electric field is applied or not.


title: Dispersion chain of quantum mechanics equations

abstract: Based on the dispersion chain of the Vlasov equations, the paper considers the construction of a new chain of equations of quantum mechanics of high kinematical values. The proposed approach can be applied to consideration of classical and quantum systems with radiation. A number of theorems are proved on the form of extensions of the Hamilton operators, Lagrange functions, Hamilton-Jacobi equations, and Maxwell equations to the case of a generalized phase space. In some special cases of lower dimensions, the dispersion chain of quantum mechanics is reduced to quantum mechanics in phase space (the Wigner function) and the de Broglie-Bohm {\guillemotleft}pilot wave{\guillemotright} theory. An example of solving the Schr\"odinger equation of the second rank (for the phase space) is analyzed, which, in contrast to the Wigner function, gives a positive distribution density function.


title: Two-dimensional coherent spectrum of interacting spinons from matrix-product states

abstract: We compute numerically the second and third order nonlinear magnetic susceptibilities of an Ising ladder model in the context of two-dimensional coherent spectroscopy by using the infinite time-evolving block decimation method. The Ising ladder model couples a quantum Ising chain to a bath of polarized spins, thereby effecting the decay of spinon excitations. We show that its third order susceptibility contains a robust spinon echo signal in the weak coupling regime, which appears in the two-dimensional coherent spectrum as a highly anisotropic peak in the frequency plane. The spinon echo peak reveals the dynamical properties of the spinons. In particular, the spectral peak corresponding to the high energy spinons, which couple to the bath, is suppressed with increasing coupling, whereas those do not show no significant changes.


title: Towards Auditable Distributed Systems

abstract: The emerging trend towards distributed (cloud) systems (DS) has widely arrived whether in the automotive, public or the financial sector, but the execution of services of heterogeneous service providers is exposed to several risks. Beside hardware/software faults or cyber attacks that can influence the correctness of the system, fraud is also an issue. In such case it is not only important to verify the correctness of the system, but also have evidence which component and participant behaves faulty. This makes it possible, e.g. to claim for compensation after systems execution but also to assure information for verification can be trusted. The main goal of our research is to assure the monitoring of DS based on auditable information. We follow a decentralized monitoring strategy and envision a distributed monitoring approach of system properties based on distributedlogic programs that consider auditability. The expected contribution of this work is to establish with the application of our framework the mutual trust of distributed parties, as well as trust of clients in the systems execution. We showcase our ideas on a DS for booking services with unmanned air vehicles.


title: City-scale Incremental Neural Mapping with Three-layer Sampling and Panoptic Representation

abstract: Neural implicit representations are drawing a lot of attention from the robotics community recently, as they are expressive, continuous and compact. However, city-scale continual implicit dense mapping based on sparse LiDAR input is still an under-explored challenge. To this end, we successfully build a city-scale continual neural mapping system with a panoptic representation that consists of environment-level and instance-level modelling. Given a stream of sparse LiDAR point cloud, it maintains a dynamic generative model that maps 3D coordinates to signed distance field (SDF) values. To address the difficulty of representing geometric information at different levels in city-scale space, we propose a tailored three-layer sampling strategy to dynamically sample the global, local and near-surface domains. Meanwhile, to realize high fidelity mapping of instance under incomplete observation, category-specific prior is introduced to better model the geometric details. We evaluate on the public SemanticKITTI dataset and demonstrate the significance of the newly proposed three-layer sampling strategy and panoptic representation, using both quantitative and qualitative results. Codes and model will be publicly available.


title: Effective General-Domain Data Inclusion for the Machine Translation Task by Vanilla Transformers

abstract: One of the vital breakthroughs in the history of machine translation is the development of the Transformer model. Not only it is revolutionary for various translation tasks, but also for a majority of other NLP tasks. In this paper, we aim at a Transformer-based system that is able to translate a source sentence in German to its counterpart target sentence in English. We perform the experiments on the news commentary German-English parallel sentences from the WMT'13 dataset. In addition, we investigate the effect of the inclusion of additional general-domain data in training from the IWSLT'16 dataset to improve the Transformer model performance. We find that including the IWSLT'16 dataset in training helps achieve a gain of 2 BLEU score points on the test set of the WMT'13 dataset. Qualitative analysis is introduced to analyze how the usage of general-domain data helps improve the quality of the produced translation sentences.


title: Recipro-CAM: Fast gradient-free visual explanations for convolutional neural networks

abstract: The Convolutional Neural Network (CNN) is a widely used deep learning architecture for computer vision. However, its black box nature makes it difficult to interpret the behavior of the model. To mitigate this issue, AI practitioners have explored explainable AI methods like Class Activation Map (CAM) and Grad-CAM. Although these methods have shown promise, they are limited by architectural constraints or the burden of gradient computing. To overcome this issue, Score-CAM and Ablation-CAM have been proposed as gradient-free methods, but they have longer execution times compared to CAM or Grad-CAM based methods, making them unsuitable for real-world solution though they resolved gradient related issues and enabled inference mode XAI. To address this challenge, we propose a fast gradient-free Reciprocal CAM (Recipro-CAM) method. Our approach involves spatially masking the extracted feature maps to exploit the correlation between activation maps and network predictions for target classes. Our proposed method has yielded promising results, outperforming current state-of-the-art method in the Average Drop-Coherence-Complexity (ADCC) metric by $1.78 \%$ to $3.72 \%$, excluding VGG-16 backbone. Moreover, Recipro-CAM generates saliency maps at a similar rate to Grad-CAM and is approximately $148$ times faster than Score-CAM. The source code for Recipro-CAM is available in our data analysis framework.


title: Vanishing angular singularity limit to the hard-sphere Boltzmann equation

abstract: In this note we study Boltzmann's collision kernel for inverse power law interactions $U_s(r)=1/r^{s-1}$ for $s>2$ in dimension $ d=3 $. We prove the limit of the non-cutoff kernel to the hard-sphere kernel and give precise asymptotic formulas of the singular layer near $\theta\simeq 0$ in the limit $ s\to \infty $. Consequently, we show that solutions to the homogeneous Boltzmann equation converge to the respective solutions.


title: Backward Reachability Analysis of Neural Feedback Loops: Techniques for Linear and Nonlinear Systems

abstract: As neural networks (NNs) become more prevalent in safety-critical applications such as control of vehicles, there is a growing need to certify that systems with NN components are safe. This paper presents a set of backward reachability approaches for safety certification of neural feedback loops (NFLs), i.e., closed-loop systems with NN control policies. While backward reachability strategies have been developed for systems without NN components, the nonlinearities in NN activation functions and general noninvertibility of NN weight matrices make backward reachability for NFLs a challenging problem. To avoid the difficulties associated with propagating sets backward through NNs, we introduce a framework that leverages standard forward NN analysis tools to efficiently find over-approximations to backprojection (BP) sets, i.e., sets of states for which an NN policy will lead a system to a given target set. We present frameworks for calculating BP over approximations for both linear and nonlinear systems with control policies represented by feedforward NNs and propose computationally efficient strategies. We use numerical results from a variety of models to showcase the proposed algorithms, including a demonstration of safety certification for a 6D system.


title: Exploring the landscape of community-based dismantling strategies

abstract: Network dismantling is a relevant research area in network science, gathering attention both from a theoretical and an operational point of view. Here, we propose a general framework for dismantling that prioritizes the removal of nodes that bridge together different network communities. The strategies we detect are not unique, as they depend on the specific realization of the community detection algorithm considered. However, when applying the methodology to some real-world networks we find that the percolation threshold at which dismantling occurs is strongly robust, and it does not depend on the specific algorithm. Thus, the stochasticity inherently present in many community detection algorithms allows to identify several strategies that have comparable effectiveness but require the removal of distinct subsets of nodes. This feature is highly relevant in operational contexts in which the removal of nodes is costly and allows to identify the least expensive strategy that still holds high effectiveness.


title: MeWEHV: Mel and Wave Embeddings for Human Voice Tasks

abstract: A recent trend in speech processing is the use of embeddings created through machine learning models trained on a specific task with large datasets. By leveraging the knowledge already acquired, these models can be reused in new tasks where the amount of available data is small. This paper proposes a pipeline to create a new model, called Mel and Wave Embeddings for Human Voice Tasks (MeWEHV), capable of generating robust embeddings for speech processing. MeWEHV combines the embeddings generated by a pre-trained raw audio waveform encoder model, and deep features extracted from Mel Frequency Cepstral Coefficients (MFCCs) using Convolutional Neural Networks (CNNs). We evaluate the performance of MeWEHV on three tasks: speaker, language, and accent identification. For the first one, we use the VoxCeleb1 dataset and present YouSpeakers204, a new and publicly available dataset for English speaker identification that contains 19607 audio clips from 204 persons speaking in six different accents, allowing other researchers to work with a very balanced dataset, and to create new models that are robust to multiple accents. For evaluating the language identification task, we use the VoxForge and Common Language datasets. Finally, for accent identification, we use the Latin American Spanish Corpora (LASC) and Common Voice datasets. Our approach allows a significant increase in the performance of state-of-the-art models on all the tested datasets, with a low additional computational cost.


title: Worst-case Deterministic Fully-Dynamic Planar 2-vertex Connectivity

abstract: We study dynamic planar graphs with $n$ vertices, subject to edge deletion, edge contraction, edge insertion across a face, and the splitting of a vertex in specified corners. We dynamically maintain a combinatorial embedding of such a planar graph, subject to connectivity and $2$-vertex-connectivity (biconnectivity) queries between pairs of vertices. Whenever a query pair is connected and not biconnected, we find the first and last cutvertex separating them. Additionally, we allow local changes to the embedding by flipping the embedding of a subgraph that is connected by at most two vertices to the rest of the graph. We support all queries and updates in deterministic, worst-case, $O(\log^2 n)$ time, using an $O(n)$-sized data structure. Previously, the best bound for fully-dynamic planar biconnectivity (subject to our set of operations) was an amortised $\tilde{O}(\log^3 n)$ for general graphs, and algorithms with worst-case polylogarithmic update times were known only in the partially dynamic (insertion-only or deletion-only) setting.


title: Spatial characterization of the edge barrier in wide superconducting films

abstract: The current-induced destruction of superconductivity is discussed in wide superconducting thin film strips, whose width is greater than the magnetic field penetration depth, in weak magnetic fields. Particular attention is paid to the role of the edge potential barrier (the Bean-Livingston barrier) in critical state formation and detection of the edge responsible for this critical state with different mutual orientations of external perpendicular magnetic field and transport current. Critical and resistive states of the thin film strip were visualized using the space-resolving low-temperature laser scanning microscopy (LTLSM) method, which enables detection of critical current-determining areas on the thin film edges. Based on these observations, a simple technique was developed for investigation of the critical state separately at each film edge, and for the estimation of residual magnetic fields in cryostats. The proposed method only requires recording of the current-voltage characteristics of the thin film in a weak magnetic field, thus circumventing the need for complex LTLSM techniques. Information thus obtained is particularly important for interpretation of studies of superconducting thin film single-photon light emission detectors.


title: Improved event-based particle filtering in resource-constrained remote state estimation

abstract: Event-based sampling has been proposed as a general technique for lowering the average communication rate in remote state estimation, which can be important in scenarios with constraints on resources such as network bandwidth or sensor energy. Recently, the interest of applying particle filters to event-based state estimation has seen an upswing, partly to tackle nonlinear and non-Gaussian problems, but also since event-based sampling does not allow an analytic solution for linear--Gaussian systems. Thus far, very little has been mentioned regarding the practical issues that arise when applying particle filtering to event-based state estimation. In this paper, we provide such a discussion by (i) demonstrating that there exists a high risk of sample degeneracy at new events, for which the auxiliary particle filter provides an intuitive solution, (ii) introducing a new alternative to the local predictor approach based on precomputing state estimates which is better suited to solve the issue of observer-to-sensor communication for closed-loop triggering in difficult systems, and (iii) exploring the difficulties surrounding the increased computational load when implementing the particle filter under event-based sampling.


title: Feature detection in point processes on linear networks using nearest neighbour volumes

abstract: We consider the feature detection problem in the presence of clutter in point processes on linear networks. We extend the classification method developed in previous studies to this more complex geometric context, where the classical properties of a point process change and data visualization are not intuitive. We use the K-th nearest neighbour volumes distribution in linear networks for this approach. As a result, our method is suitable for analysing point patterns consisting of features and clutter as two superimposed Poisson processes on the same linear network. To illustrate the method, we present simulations and examples of road traffic accidents that resulted in injuries or deaths in two cities in Colombia.


title: A non-flag arithmetic regularity lemma and counting lemma

abstract: Green and Tao's arithmetic regularity lemma and counting lemma together apply to systems of linear forms which satisfy a particular algebraic criterion known as the `flag condition'. We give an arithmetic regularity lemma and counting lemma which applies to all systems of linear forms.


title: Global Weighted Tensor Nuclear Norm for Tensor Robust Principal Component Analysis

abstract: Tensor Robust Principal Component Analysis (TRPCA), which aims to recover a low-rank tensor corrupted by sparse noise, has attracted much attention in many real applications. This paper develops a new Global Weighted TRPCA method (GWTRPCA), which is the first approach simultaneously considers the significance of intra-frontal slice and inter-frontal slice singular values in the Fourier domain. Exploiting this global information, GWTRPCA penalizes the larger singular values less and assigns smaller weights to them. Hence, our method can recover the low-tubal-rank components more exactly. Moreover, we propose an effective adaptive weight learning strategy by a Modified Cauchy Estimator (MCE) since the weight setting plays a crucial role in the success of GWTRPCA. To implement the GWTRPCA method, we devise an optimization algorithm using an Alternating Direction Method of Multipliers (ADMM) method. Experiments on real-world datasets validate the effectiveness of our proposed method.


title: PTSD in the Wild: A Video Database for Studying Post-Traumatic Stress Disorder Recognition in Unconstrained Environments

abstract: POST-traumatic stress disorder (PTSD) is a chronic and debilitating mental condition that is developed in response to catastrophic life events, such as military combat, sexual assault, and natural disasters. PTSD is characterized by flashbacks of past traumatic events, intrusive thoughts, nightmares, hypervigilance, and sleep disturbance, all of which affect a person's life and lead to considerable social, occupational, and interpersonal dysfunction. The diagnosis of PTSD is done by medical professionals using self-assessment questionnaire of PTSD symptoms as defined in the Diagnostic and Statistical Manual of Mental Disorders (DSM). In this paper, and for the first time, we collected, annotated, and prepared for public distribution a new video database for automatic PTSD diagnosis, called PTSD in the wild dataset. The database exhibits "natural" and big variability in acquisition conditions with different pose, facial expression, lighting, focus, resolution, age, gender, race, occlusions and background. In addition to describing the details of the dataset collection, we provide a benchmark for evaluating computer vision and machine learning based approaches on PTSD in the wild dataset. In addition, we propose and we evaluate a deep learning based approach for PTSD detection in respect to the given benchmark. The proposed approach shows very promising results. Interested researcher can download a copy of PTSD-in-the wild dataset from: http://www.lissi.fr/PTSD-Dataset/


title: Momentum Gradient Descent Federated Learning with Local Differential Privacy

abstract: Nowadays, the development of information technology is growing rapidly. In the big data era, the privacy of personal information has been more pronounced. The major challenge is to find a way to guarantee that sensitive personal information is not disclosed while data is published and analyzed. Centralized differential privacy is established on the assumption of a trusted third-party data curator. However, this assumption is not always true in reality. As a new privacy preservation model, local differential privacy has relatively strong privacy guarantees. Although federated learning has relatively been a privacy-preserving approach for distributed learning, it still introduces various privacy concerns. To avoid privacy threats and reduce communication costs, in this article, we propose integrating federated learning and local differential privacy with momentum gradient descent to improve the performance of machine learning models.


title: Adaptive Out-Orientations with Applications

abstract: We give improved algorithms for maintaining edge-orientations of a fully-dynamic graph, such that the out-degree of each vertex is bounded. On one hand, we show how to orient the edges such that the out-degree of each vertex is proportional to the arboricity $\alpha$ of the graph, in a worst-case update time of $O(\log^3 n \log \alpha)$. On the other hand, motivated by applications including dynamic maximal matching, we obtain a different trade-off, namely the improved worst case update time of $O(\log ^2 n \log \alpha)$ for the problem of maintaining an edge-orientation with at most $O(\alpha + \log n)$ out-edges per vertex. Since our algorithms have update times with worst-case guarantees, the number of changes to the solution (i.e. the recourse) is naturally limited. Our algorithms adapt to the current arboricity of the graph, and yield improvements over previous work: Firstly, we obtain an $O(\varepsilon^{-6}\log^3 n \log \rho)$ worst-case update time algorithm for maintaining a $(1+\varepsilon)$ approximation of the maximum subgraph density, $\rho$. Secondly, we obtain an $O(\varepsilon^{-6}\log^3 n \log \alpha)$ worst-case update time algorithm for maintaining a $(1 + \varepsilon) \cdot OPT + 2$ approximation of the optimal out-orientation of a graph with adaptive arboricity $\alpha$. This yields the first worst-case polylogarithmic dynamic algorithm for decomposing into $O(\alpha)$ forests.Thirdly, we obtain arboricity-adaptive fully-dynamic deterministic algorithms for a variety, of problems including maximal matching, $\Delta+1$ coloring, and matrix vector multiplication. All update times are worst-case $O(\alpha+\log^2n \log \alpha)$, where $\alpha$ is the current arboricity of the graph.


title: Shafarevich mappings and period mappings

abstract: We shall show that a smooth, quasi-projective variety $X$ has a holomorphically convex universal covering $\wt X$ when (i) $\pi_1(X)$ is residually nilpotent and (ii) there is an admissable variation of \mhs\ over $X$ whose monodromy representation has a finite kernel, and where in each case a corresponding period mapping is assumed to be proper.


title: Combining Reinforcement Learning and Tensor Networks, with an Application to Dynamical Large Deviations

abstract: We present a framework to integrate tensor network (TN) methods with reinforcement learning (RL) for solving dynamical optimisation tasks. We consider the RL actor-critic method, a model-free approach for solving RL problems, and introduce TNs as the approximators for its policy and value functions. Our "actor-critic with tensor networks" (ACTeN) method is especially well suited to problems with large and factorisable state and action spaces. As an illustration of the applicability of ACTeN we solve the exponentially hard task of sampling rare trajectories in two paradigmatic stochastic models, the East model of glasses and the asymmetric simple exclusion process (ASEP), the latter being particularly challenging to other methods due to the absence of detailed balance. With substantial potential for further integration with the vast array of existing RL methods, the approach introduced here is promising both for applications in physics and to multi-agent RL problems more generally.


title: Enhanced Auslander-Reiten duality and Morita theorem for singularity categories

abstract: We establish a Morita theorem to construct triangle equivalences between the singularity categories of (commutative and non-commutative) Gorenstein rings and the cluster categories of finite dimensional algebras over fields, and more strongly, quasi-equivalences between their canonical dg enhancements. More precisely, we prove that such an equivalence exists as soon as we find a quasi-equivalence between the graded dg singularity category of a Gorenstein ring and the derived category of a finite dimensional algebra which can be done by finding a single tilting object. Our result is based on two key theorems on dg enhancements of cluster categories and of singularity categories, which are of independent interest. First we give a Morita-type theorem which realizes certain $\mathbb{Z}$-graded dg categories as dg orbit categories. Secondly, we show that the canonical dg enhancements of the singularity categories of symmetric orders have the bimodule Calabi-Yau property, which lifts the classical Auslander-Reiten duality on singularity categories. We apply our results to such classes of rings as Gorenstein rings of dimension at most $1$, quotient singularities, and Geigle-Lenzing complete intersections, including finite or infinite Grassmannian cluster categories, to realize their singularity categories as cluster categories of finite dimensional algebras.


title: Offensive Language Detection on Twitter

abstract: Detection of offensive language in social media is one of the key challenges for social media. Researchers have proposed many advanced methods to accomplish this task. In this report, we try to use the learnings from their approach and incorporate our ideas to improve upon them. We have successfully achieved an accuracy of 74% in classifying offensive tweets. We also list upcoming challenges in the abusive content detection in the social media world.