title: Aligning Hyperbolic Representations: an Optimal Transport-based approach

abstract: Hyperbolic-spaces are better suited to represent data with underlying hierarchical relationships, e.g., tree-like data. However, it is often necessary to incorporate, through alignment, different but related representations meaningfully. This aligning is an important class of machine learning problems, with applications as ontology matching and cross-lingual alignment. Optimal transport (OT)-based approaches are a natural choice to tackle the alignment problem as they aim to find a transformation of the source dataset to match a target dataset, subject to some distribution constraints. This work proposes a novel approach based on OT of embeddings on the Poincar\'e model of hyperbolic spaces. Our method relies on the gyrobarycenter mapping on M\"obius gyrovector spaces. As a result of this formalism, we derive extensions to some existing Euclidean methods of OT-based domain adaptation to their hyperbolic counterparts. Empirically, we show that both Euclidean and hyperbolic methods have similar performances in the context of retrieval.


title: Total eccentricity index of graphs with fixed number of pendant or cut vertices

abstract: The total eccentricity index of a connected graph is defined as sum of the eccentricities of all its vertices. We denote the set of all connected graphs on $n$ vertices with $k$ pendant vertices by $\mathfrak{H}_{n,k}$ and denote the set of all connected graphs on $n$ vertices with $s$ cut vertices by $\mathfrak{C_{n,s}}$. In this paper, we give the sharp lower and upper bounds on the total eccentricity index over $\mathfrak{H}_{n,k}$ and the sharp lower bound for the same over $\mathfrak{C_{n,s}}$. We also provide the sharp upper bounds on the total eccentricity index over $\mathfrak{C_{n,s}}$ when $s=0,1,n-3,n-2$ and propose a problem regarding the upper bound over $\mathfrak{C_{n,s}}$ for $2\leq s\leq n-4.$


title: Hybrid Quantum Investment Optimization with Minimal Holding Period

abstract: In this paper we propose a hybrid quantum-classical algorithm for dynamic portfolio optimization with minimal holding period. Our algorithm is based on sampling the near-optimal portfolios at each trading step using a quantum processor, and efficiently post-selecting to meet the minimal holding constraint. We found the optimal investment trajectory in a dataset of 50 assets spanning a one year trading period using the D-Wave 2000Q processor. Our method is remarkably efficient, and produces results much closer to the efficient frontier than typical portfolios. Moreover, we also show how our approach can easily produce trajectories adapted to different risk profiles, as typically offered in financial products. Our results are a clear example of how the combination of quantum and classical techniques can offer novel valuable tools to deal with real-life problems, beyond simple toy models, in current NISQ quantum processors.


title: Modelling self-similar parabolic pulses in optical fibres with a neural network

abstract: We expand our previous analysis of nonlinear pulse shaping in optical fibres using machine learning [Opt. Laser Technol., 131 (2020) 106439] to the case of pulse propagation in the presence of gain/loss, with a special focus on the generation of self-similar parabolic pulses. We use a supervised feedforward neural network paradigm to solve the direct and inverse problems relating to the pulse shaping, bypassing the need for direct numerical solution of the governing propagation model.


title: Synthesis, structure and magnetic properties of honeycomb-layered Li3Co2SbO6 with new data on its sodium precursor, Na3Co2SbO6

abstract: Li3Co2SbO6 is prepared by molten salt ion exchange and its structure refined by the Rietveld method confirming the honeycomb-type Co/Sb ordering of its Na precursor. Monoclinic rather than trigonal symmetry of Na3Co2SbO6 is directly demonstrated for the first time by peak splitting in the high-resolution synchrotron XRD pattern. The long-range antiferromagnetic order is established at TN about 6.7 K and 9.9 K in Na3Co2SbO6 and Li3Co2SbO6, respectively, confirmed by both the magnetic susceptibility and specific heat. Spin-wave analysis of specific heat data indicates the presence of 3D AFM magnons in Na3Co2SbO6 and 2D AFM magnons in Li3Co2SbO6. The field dependence of the magnetization almost reaches saturation in moderate magnetic fields up to 9 T and demonstrates characteristic features of magnetic field induced spin-reorientation transitions for both A3Co2SbO6 (A = Na, Li). Overall thermodynamic studies show that the magnetic properties of both compounds are very sensitive to an external magnetic field, thus predicting a non-trivial ground state with a rich magnetic phase diagram. The ground state spin configuration of Li3Co2SbO6 has been determined by low-temperature neutron powder diffraction. It represents a ferromagnetic arrangement of moments in the honeycomb layers with antiferromagnetic coupling between adjacent layers.


title: Explicit geometric construction of sparse inverse mass matrices for arbitrary tetrahedral grids

abstract: The geometric reinterpretation of the Finite Element Method (FEM) shows that Raviart Thomas and Nedelec mass matrices map from degrees of freedoms (DoFs) attached to geometric elements of a tetrahedral grid to DoFs attached to the barycentric dual grid. The algebraic inverses of the mass matrices map DoFs attached to the barycentric dual grid back to DoFs attached to the corresponding primal tetrahedral grid, but they are of limited practical use since they are dense. In this paper we present a new geometric construction of sparse inverse mass matrices for arbitrary tetrahedral grids and possibly anisotropic materials, debunking the conventional wisdom that the barycentric dual grid prohibits a sparse representation for inverse mass matrices. In particular, we provide a unified framework for the construction of both edge and face mass matrices and their sparse inverses. Such a unifying principle relies on novel geometric reconstruction formulas, from which, according to a well established design strategy, local mass matrices are constructed as the sum of a consistent and a stabilization term. A major difference with the approaches proposed so far is that the consistent term is defined geometrically and explicitly, that is, without the necessity of computing the inverses of local matrices. This provides a sensible speedup and an easier implementation. We use these new sparse inverse mass matrices to discretize a three dimensional Poisson problem, providing the comparison between the results obtained by various formulations on a benchmark problem with analytical solution.


title: Quantitative supply security related significance measures for gas reservoires

abstract: Computational models corresponding to supply security in natural gas networks aim to describe flows and consumption values in the case of component failures or unforseen pipeline shutdowns. The role of natural gas reservoires in this process has only been marginally analyzed in such models, and typically only on the level of countries. In this paper we define a computational framework, which is capable of interpreting real flow and reservoir data to assign a quantitative supply security related measure to reservoires, depending on how much the given reservoir is critical in the process of restoring consumption outages in the network.


title: PlueckerNet: Learn to Register 3D Line Reconstructions

abstract: Aligning two partially-overlapped 3D line reconstructions in Euclidean space is challenging, as we need to simultaneously solve correspondences and relative pose between line reconstructions. This paper proposes a neural network based method and it has three modules connected in sequence: (i) a Multilayer Perceptron (MLP) based network takes Pluecker representations of lines as inputs, to extract discriminative line-wise features and matchabilities (how likely each line is going to have a match), (ii) an Optimal Transport (OT) layer takes two-view line-wise features and matchabilities as inputs to estimate a 2D joint probability matrix, with each item describes the matchness of a line pair, and (iii) line pairs with Top-K matching probabilities are fed to a 2-line minimal solver in a RANSAC framework to estimate a six Degree-of-Freedom (6-DoF) rigid transformation. Experiments on both indoor and outdoor datasets show that the registration (rotation and translation) precision of our method outperforms baselines significantly.


title: Piecewise structure of Lyapunov functions and densely checked decrease conditions for hybrid systems

abstract: We propose a class of locally Lipschitz functions with piecewise structure for use as Lyapunov functions for hybrid dynamical systems. Subject to some regularity of the dynamics, we show that Lyapunov inequalities can be checked only on a dense set and thus we avoid checking them at points of nondifferentiability of the Lyapunov function. Connections to other classes of locally Lipschitz or piecewise regular functions are also discussed and applications to hybrid dynamical systems are included.


title: Hierarchical route to the emergence of leader nodes in real-world networks

abstract: A large number of complex systems, naturally emerging in various domains, are well described by directed networks, resulting in numerous interesting features that are absent from their undirected counterparts. Among these properties is a strong non-normality, inherited by a strong asymmetry that characterizes such systems and guides their underlying hierarchy. In this work, we consider an extensive collection of empirical networks and analyze their structural properties using information theoretic tools. A ubiquitous feature is observed amongst such systems as the level of non-normality increases. When the non-normality reaches a given threshold, highly directed substructures aiming towards terminal (sink or source) nodes, denoted here as leaders, spontaneously emerge. Furthermore, the relative number of leader nodes describe the level of anarchy that characterizes the networked systems. Based on the structural analysis, we develop a null model to capture features such as the aforementioned transition in the networks' ensemble. We also demonstrate that the role of leader nodes at the pinnacle of the hierarchy is crucial in driving dynamical processes in these systems. This work paves the way for a deeper understanding of the architecture of empirical complex systems and the processes taking place on them.


title: Real-time imputation of missing predictor values in clinical practice

abstract: Use of prediction models is widely recommended by clinical guidelines, but usually requires complete information on all predictors that is not always available in daily practice. We describe two methods for real-time handling of missing predictor values when using prediction models in practice. We compare the widely used method of mean imputation (M-imp) to a method that personalizes the imputations by taking advantage of the observed patient characteristics. These characteristics may include both prediction model variables and other characteristics (auxiliary variables). The method was implemented using imputation from a joint multivariate normal model of the patient characteristics (joint modeling imputation; JMI). Data from two different cardiovascular cohorts with cardiovascular predictors and outcome were used to evaluate the real-time imputation methods. We quantified the prediction model's overall performance (mean squared error (MSE) of linear predictor), discrimination (c-index), calibration (intercept and slope) and net benefit (decision curve analysis). When compared with mean imputation, JMI substantially improved the MSE (0.10 vs. 0.13), c-index (0.70 vs 0.68) and calibration (calibration-in-the-large: 0.04 vs. 0.06; calibration slope: 1.01 vs. 0.92), especially when incorporating auxiliary variables. When the imputation method was based on an external cohort, calibration deteriorated, but discrimination remained similar. We recommend JMI with auxiliary variables for real-time imputation of missing values, and to update imputation models when implementing them in new settings or (sub)populations.


title: Self-correcting Q-Learning

abstract: The Q-learning algorithm is known to be affected by the maximization bias, i.e. the systematic overestimation of action values, an important issue that has recently received renewed attention. Double Q-learning has been proposed as an efficient algorithm to mitigate this bias. However, this comes at the price of an underestimation of action values, in addition to increased memory requirements and a slower convergence. In this paper, we introduce a new way to address the maximization bias in the form of a "self-correcting algorithm" for approximating the maximum of an expected value. Our method balances the overestimation of the single estimator used in conventional Q-learning and the underestimation of the double estimator used in Double Q-learning. Applying this strategy to Q-learning results in Self-correcting Q-learning. We show theoretically that this new algorithm enjoys the same convergence guarantees as Q-learning while being more accurate. Empirically, it performs better than Double Q-learning in domains with rewards of high variance, and it even attains faster convergence than Q-learning in domains with rewards of zero or low variance. These advantages transfer to a Deep Q Network implementation that we call Self-correcting DQN and which outperforms regular DQN and Double DQN on several tasks in the Atari 2600 domain.


title: Multi-Objective Optimization of the Textile Manufacturing Process Using Deep-Q-Network Based Multi-Agent Reinforcement Learning

abstract: Multi-objective optimization of the textile manufacturing process is an increasing challenge because of the growing complexity involved in the development of the textile industry. The use of intelligent techniques has been often discussed in this domain, although a significant improvement from certain successful applications has been reported, the traditional methods failed to work with high-as well as human intervention. Upon which, this paper proposed a multi-agent reinforcement learning (MARL) framework to transform the optimization process into a stochastic game and introduced the deep Q-networks algorithm to train the multiple agents. A utilitarian selection mechanism was employed in the stochastic game, which (-greedy policy) in each state to avoid the interruption of multiple equilibria and achieve the correlated equilibrium optimal solutions of the optimizing process. The case study result reflects that the proposed MARL system is possible to achieve the optimal solutions for the textile ozonation process and it performs better than the traditional approaches.


title: An Analytic Propositional Proof System on Graphs

abstract: In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-conditions and look at arbitrary undirected) graphs. This means that we lose the tree structure of the formulas corresponding to the cographs, and we can no longer use standard proof theoretical methods that depend on that tree structure. In order to overcome this difficulty, we use a modular decomposition of graphs and some techniques from deep inference where inference rules do not rely on the main connective of a formula. For our proof system we show the admissibility of cut and a generalisation of the splitting property. Finally, we show that our system is a conservative extension of multiplicative linear logic with mix, and we argue that our graphs form a notion of generalised connective.


title: Two-body metal-insulator transitions in the Anderson-Hubbard model

abstract: We review our recent results on Anderson localization in systems of two interacting particles coupled by contact interactions. Based on an exact mapping to an effective single-particle problem, we numerically investigate the occurrence of metal-insulator phase transitions for the pair in two- (2D) and three-dimensional (3D) disordered lattices. In two dimensions, we find that interactions cause an exponential enhancement of the pair localization length with respect to its single-particle counterpart, but do not induce a delocalization transition. In particular we show that previous claims of 2D interaction-induced Anderson transitions are the results of strong finite-size effects. In three dimensions we find that the pair undergoes a metal-insulator transition belonging to the same (orthogonal) universality class of the noninteracting model. We then explore the phase diagram in the space of energy E, disorder W and interaction strength U, which reveals a rich and counterintuitive structure, endowed with multiple metallic and insulating phases. We point out that this phenomenon originates from the molecular and scattering-like nature of the pair states available at given energy and disorder strength.


title: SUPG-stabilized Virtual Elements for diffusion-convection problems: a robustness analysis

abstract: The objective of this contribution is to develop a convergence analysis for SUPG-stabilized Virtual Element Methods in diffusion-convection problems that is robust also in the convection dominated regime. For the original method introduced in [Benedetto et al, CMAME 2016] we are able to show an "almost uniform" error bound (in the sense that the unique term that depends in an unfavorable way on the parameters is damped by a higher order mesh-size multiplicative factor). We also introduce a novel discretization of the convection term that allows us to develop error estimates that are fully robust in the convection dominated cases. We finally present some numerical result.


title: Atomistic Modelling of Thermal-Cycling Rejuvenation in Metallic Glasses

abstract: Cycling of a metallic glass between ambient and cryogenic temperatures can induce higher-energy states characteristic of glass formation on faster cooling. This rejuvenation, unexpected because it occurs at small macroscopic strains and well below the temperatures of thermally induced structural change, is important, for example, in improving plasticity. Molecular-dynamics simulations elucidate the mechanisms by which thermal cycling can induce relaxation (reaching lower energy) as well as rejuvenation. Thermal cycling, over tens of cycles, drives local atomic rearrangements progressively erasing the initial glass structure. This arises mainly from the heating stage in each thermal cycle, linked to the intrinsic structural heterogeneity in metallic glasses. Although, in particular, the timescales in MD simulations are shorter than in physical experiments, the present simulations reproduce many physically observed effects, suggesting that they may be useful in optimizing thermal cycling for tuning the properties of metallic glasses and glasses in general.


title: Synthesis and Characterization of Sodium Iron Antimonate Na2FeSbO5 One-Dimensional Antiferromagnetic Chain Compound with a Spin Glass Ground State

abstract: A new oxide, sodium iron antimonate, Na2FeSbO5, was synthesized and structurally characterized, and its static and dynamic magnetic properties were comprehensively studied both experimentally by dc and ac magnetic susceptibility, magnetization, specific heat, electron spin resonance (ESR) and Moessbauer measurements, and theoretically by density functional calculations. The resulting single-crystal structure (a = 15.6991(9) A; b = 5.3323 (4) A; c = 10.8875(6) A; S.G. Pbna) consists of edge-shared SbO6 octahedral chains, which alternate with vertex-linked, magnetically active FeO4 tetrahedral chains. The 57Fe Moessbauer spectra confirmed the presence of high-spin Fe3+ (3d5) ions in a distorted tetrahedral oxygen coordination. The magnetic susceptibility and specific heat data show the absence of a long-range magnetic ordering in Na2FeSbO5 down to 2 K, but ac magnetic susceptibility unambigously demonstrates spin-glass-type behavior with a unique two-step freezing at Tf1 about 80 K and Tf2 about 35 K. Magnetic hyperfine splitting of 57Fe Moessbauer spectra was observed below T* about 104 K (Tf1 < T*). The spectra just below T* (Tf1 < T < T*) exhibit a relaxation behavior caused by critical spin fluctuations, indicating the existence of short-range correlations. The stochastic model of ionic spin relaxation was used to account for the shape of the Moessbauer spectra below the freezing temperature. A complex slow dynamics is further supported by ESR data revealing two different absorption modes presumably related to ordered and disordered segments of spin chains. The data imply a spin-cluster ground state for Na2FeSbO5.


title: Retracing the Flow of the Stream: Investigating Kodi Streaming Services

abstract: Kodi is of one of the world's largest open-source streaming platforms for viewing video content. Easily installed Kodi add-ons facilitate access to online pirated videos and streaming content by facilitating the user to search and view copyrighted videos with a basic level of technical knowledge. In some countries, there have been paid child sexual abuse organizations publishing/streaming child abuse material to an international paying clientele. Open source software used for viewing videos from the Internet, such as Kodi, is being exploited by criminals to conduct their activities. In this paper, we describe a new method to quickly locate Kodi artifacts and gather information for a successful prosecution. We also evaluate our approach on different platforms; Windows, Android and Linux. Our experiments show the file location, artifacts and a history of viewed content including their locations from the Internet. Our approach will serve as a resource to forensic investigators to examine Kodi or similar streaming platforms.


title: Waveforms and End-to-End Efficiency in RF Wireless Power Transfer Using Digital Radio Transmitter

abstract: We study radio-frequency (RF) wireless power transfer (WPT) using a digital radio transmitter for applications where alternative analog transmit circuits are impractical. An important paramter for assessing the viability of an RF WPT system is its end-to-end efficiency. In this regard, we present a prototype test-bed comprising a software-defined radio (SDR) transmitter and an energy harvesting receiver with a low resistive load; employing an SDR makes our research meaningful for simultaneous wireless information and power transfer (SWIPT). We analyze the effect of clipping and non-linear amplification at the SDR on multisine waveforms. Our experiments suggest that when the DC input power at the transmitter is constant, high peak-to-average power ratio (PAPR) multisine are unsuitable for RF WPT over a flat-fading channel, due to their low average radiated power. The results indicate that the end-to-end efficiency is positively correlated to the average RF power of the waveform, and that it reduces with increasing PAPR. Consequently, digital modulations such as phase-shift keying (PSK) and quadrature amplitude modeulation (QAM) yield better end-to-end efficiency than multisines. Moreover, the end-to-end efficiency of PSK and QAM signals is invariant of the transmission bit rate. An in-depth analysis of the end-to-end efficiency of WPT reveals that the transmitter efficiency is lower than the receiver efficiency. Furthermore, we study the impact of a reflecting surface on the end-to-end efficiency of WPT, and assess the transmission quality of the information signals by evaluating their error vector magnitude (EVM) for SWIPT. Overall, the experimental observations of end-to-end efficiency and EVM suggest that, while employing an SDR transmitter with fixed DC input power, a baseband quadrature PSK signal is most suitable for SWIPT at large, among PSK and QAM signals.


title: Interfacial studies in CNT fibre/TiO$_{2}$ photoelectrodes for efficient H$_{2}$ production

abstract: An attractive class of materials for photo(electro)chemical reactions are hybrids based on semiconducting metal oxides and nanocarbons (e.g. carbon nanotubes (CNT), graphene), where the nanocarbon acts as a highly-stable conductive scaffold onto which the nanostructured inorganic phase can be immobilised; an architecture that maximises surface area and minimises charge transport/transfer resistance. TiO$_{2}$/CNT photoanodes produced by atomic layer deposition on CNT fabrics are shown to be efficient for H$_{2}$ production ($0.07 \mu mol/min$ $H_{2}$ at $0.2V$ $vs Ag/AgCl$), nearly doubling the performance of TiO$_{2}$ deposited on planar substrates, with $100 \%$ Faradaic efficiency. The results are rationalised based on electrochemical impedance spectroscopy measurements showing a large reduction in photoelectron transport resistance compared to control samples and a higher surface area. The low TiO$_{2}$/CNT interfacial charge transfer resistance ($10 \Omega$) is consistent with the presence of an interfacial Ti-O-C bond and corresponding electronic hybridisation determined by spatially-resolved Scanning Photoelectron Microscopy (SPEM) using synchrotron radiation.


title: Efficient Depth Completion Using Learned Bases

abstract: In this paper, we propose a new global geometry constraint for depth completion. By assuming depth maps often lay on low dimensional subspaces, a dense depth map can be approximated by a weighted sum of full-resolution principal depth bases. The principal components of depth fields can be learned from natural depth maps. The given sparse depth points are served as a data term to constrain the weighting process. When the input depth points are too sparse, the recovered dense depth maps are often over smoothed. To address this issue, we add a colour-guided auto-regression model as another regularization term. It assumes the reconstructed depth maps should share the same nonlocal similarity in the accompanying colour image. Our colour-guided PCA depth completion method has closed-form solutions, thus can be efficiently solved and is significantly more accurate than PCA only method. Extensive experiments on KITTI and Middlebury datasets demonstrate the superior performance of our proposed method.


title: W=0 Complex Structure Moduli Stabilization on CM-type K3 x K3 Orbifolds:---Arithmetic, Geometry and Particle Physics---

abstract: It is an important question in string compactification whether complex structure moduli stabilization inevitably ends up with a vacuum expectation value of the superpotential < W > of the order of the Planck scale cubed. Any thoughts on volume stabilization and inflation in string theory, as well as on phenomenology of supersymmetric Standard Models, will be affected by the answer to this question. In this work, we follow an idea for making < W > $\simeq$ 0 where the internal manifold has a vacuum complex structure with arithmetic characterization, and address Calabi--Yau fourfold compactification of F-theory. The moduli space of K3 x K3 orbifolds contain infinitely many such vacua. Arithmetic conditions for a < W > =0 flux are worked out, and then all the K3 moduli have supersymmetric mass. Possible gauge groups, matter representations and discrete symmetries are studied for the case of Z_2-orbifolds.


title: Probing the near-horizon region of Cygnus X-1 with Suzaku and NuSTAR

abstract: Astrophysical black holes are ideal laboratories for testing Einstein's theory of general relativity in the strong field regime. In this manuscript, we present an analysis of Suzaku and NuSTAR spectra of the black hole binary Cygnus X-1 using RELXILL_NK. Unlike our previous study on Cygnus X-1 with NuSTAR data, here we are able to constrain the Johannsen deformation parameter $\alpha_{13}$. However, despite the high energy resolution near the iron line provided by Suzaku, our constraints on the Kerr metric from Cygnus X-1 are not very stringent in comparison with those that have been obtained from other sources, confirming that Cygnus X-1 is quite a complicated source.


title: Spatially resolved direct method metallicity in a high-redshift analogue local galaxy: temperature structure impact on metallicity gradients

abstract: We investigate how HII region temperature structure assumptions affect "direct-method" spatially-resolved metallicity observations using multispecies auroral lines in a galaxy from the SAMI Galaxy Survey. SAMI609396B, at redshift $z=0.018$, is a low-mass galaxy in a minor merger with intense star formation, analogous to conditions at high redshifts. We use three methods to derive direct metallicities and compare with strong-line diagnostics. The spatial metallicity trends show significant differences among the three direct methods. Our first method is based on the commonly used electron temperature $T_e$([OIII]) from the [OIII]$\lambda$4363 auroral line and a traditional $T_e$([OII]) -- $T_e$([OIII]) calibration. The second method applies a recent empirical correction to the O$^+$ abundance from the [OIII]/[OII] strong-line ratio. The third method infers the $T_e$([OII]) from the [SII]$\lambda\lambda$4069,76 auroral lines. The first method favours a positive metallicity gradient along SAMI609396B, whereas the second and third methods yield flattened gradients. Strong-line diagnostics produce mostly flat gradients, albeit with unquantified contamination from shocked regions. We conclude that overlooked assumptions about the internal temperature structure of HII regions in the direct method can lead to large discrepancies in metallicity gradient studies. Our detailed analysis of SAMI609396B underlines that high-accuracy metallicity gradient measurements require a wide array of emission lines and improved spatial resolutions in order to properly constrain excitation sources, physical conditions, and temperature structures of the emitting gas. Integral-field spectroscopic studies with future facilities such as JWST/NIRSpec and ground-based ELTs will be crucial in minimising systematic effects on measured gradients in distant galaxies.


title: Parallel Scheduling Self-attention Mechanism: Generalization and Optimization

abstract: Over the past few years, self-attention is shining in the field of deep learning, especially in the domain of natural language processing(NLP). Its impressive effectiveness, along with ubiquitous implementations, have aroused our interest in efficiently scheduling the data-flow of corresponding computations onto architectures with many computing units to realize parallel computing. In this paper, based on the theory of self-attention mechanism and state-of-the-art realization of self-attention in language models, we propose a general scheduling algorithm, which is derived from the optimum scheduling for small instances solved by a satisfiability checking(SAT) solver, to parallelize typical computations of self-attention. Strategies for further optimization on skipping redundant computations are put forward as well, with which reductions of almost 25% and 50% of the original computations are respectively achieved for two widely-adopted application schemes of self-attention. With the proposed optimization adopted, we have correspondingly come up with another two scheduling algorithms. The proposed algorithms are applicable regardless of problem sizes, as long as the number of input vectors is divisible to the number of computing units available in the architecture. Due to the complexity of proving the correctness of the algorithms mathematically for general cases, we have conducted experiments to reveal their validity, together with the superior quality of the solutions provided by which, by solving SAT problems for particular instances.


title: Tree-width dichotomy

abstract: We prove that the tree-width of graphs in a hereditary class defined by a finite set $F$ of forbidden induced subgraphs is bounded if and only if $F$ includes a complete graph, a complete bipartite graph, a tripod (a forest in which every connected component has at most 3 leaves) and the line graph of a tripod.


title: Unimodular Gauge and ADM Gravity Path Integral

abstract: This paper proposes a definition of gravitational observables and of their path integral formula within the framework of ADM foliation and the choice of unimodular gauge classes. The method enforces a BRST invariant gauge fixing of the lapse and shift fields. It yields the quantum level extension of the known classical property that the conformal classes of internal metrics of constant Lorentz time leafs define the gravitational physical degrees of freedom.


title: Optimal spinor selectivity for quaternion Bass orders

abstract: Let $A$ be a quaternion algebra over a number field $F$, and $\mathcal{O}$ be an $O_F$-order of full rank in $A$. Let $K$ be a quadratic field extension of $F$ that embeds into $A$, and $B$ be an $O_F$-order in $K$. Suppose that $\mathcal{O}$ is a Bass order that is well-behaved at all the dyadic primes of $F$. We provide a necessary and sufficient condition for $B$ to be optimally spinor selective for the genus of $\mathcal{O}$. This partially generalizes previous results on optimal (spinor) selectivity by C. Maclachlan [Optimal embeddings in quaternion algebras. J. Number Theory, 128(10):2852-2860, 2008] for Eichler orders of square-free levels, and independently by M. Arenas et al. [On optimal embeddings and trees. J. Number Theory, 193:91-117, 2018] and by J. Voight [Chapter 31, Quaternion algebras, volume 288 of Graduate Texts in Mathematics. Springer-Verlag, 2021] for Eichler orders of arbitrary levels.


title: Neural Teleportation

abstract: In this paper, we explore a process called neural teleportation, a mathematical consequence of applying quiver representation theory to neural networks. Neural teleportation "teleports" a network to a new position in the weight space and preserves its function. This phenomenon comes directly from the definitions of representation theory applied to neural networks and it turns out to be a very simple operation that has remarkable properties. We shed light on surprising and counter-intuitive consequences neural teleportation has on the loss landscape. In particular, we show that teleportation can be used to explore loss level curves, that it changes the local loss landscape, sharpens global minima and boosts back-propagated gradients at any moment during the learning process. Our results can be reproduced with the code available here: https://github.com/vitalab/neuralteleportation


title: Privacy-Preserving Directly-Follows Graphs: Balancing Risk and Utility in Process Mining

abstract: Process mining techniques enable organizations to analyze business process execution traces in order to identify opportunities for improving their operational performance. Oftentimes, such execution traces contain private information. For example, the execution traces of a healthcare process are likely to be privacy-sensitive. In such cases, organizations need to deploy Privacy-Enhancing Technologies (PETs) to strike a balance between the benefits they get from analyzing these data and the requirements imposed onto them by privacy regulations, particularly that of minimizing re-identification risks when data are disclosed to a process analyst. Among many available PETs, differential privacy stands out for its ability to prevent predicate singling out attacks and its composable privacy guarantees. A drawback of differential privacy is the lack of interpretability of the main privacy parameter it relies upon, namely epsilon. This leads to the recurrent question of how much epsilon is enough? This article proposes a method to determine the epsilon value to be used when disclosing the output of a process mining technique in terms of two business-relevant metrics, namely absolute percentage error metrics capturing the loss of accuracy (a.k.a. utility loss) resulting from adding noise to the disclosed data, and guessing advantage, which captures the increase in the probability that an adversary may guess information about an individual as a result of a disclosure. The article specifically studies the problem of protecting the disclosure of the so-called Directly-Follows Graph (DFGs), which is a process mining artifact produced by most process mining tools. The article reports on an empirical evaluation of the utility-risk trade-offs that the proposed approach achieves on a collection of 13 real-life event logs.


title: Space Missions for Astronomy and Astrophysics in Korea: Past, Present, and Future

abstract: We review the history of space mission in Korea focusing on the field of astronomy and astrophysics. For each mission, scientific motivation and achievement are reviewed together with some technical details of the program including mission schedule. This review includes the ongoing and currently approved missions as well as some planned ones. Within the admitted limitations of authors' perspectives, some comments on the future direction of space program for astronomy and astrophysics in Korea are made at the end of this review.


title: Portfolio Optimisation Using the D-Wave Quantum Annealer

abstract: The first quantum computers are expected to perform well at quadratic optimisation problems. In this paper a quadratic problem in finance is taken, the Portfolio Optimisation problem. Here, a set of assets is chosen for investment, such that the total risk is minimised, a minimum return is realised and a budget constraint is met. This problem is solved for several instances in two main indices, the Nikkei225 and the S\&P500 index, using the state-of-the-art implementation of D-Wave's quantum annealer and its hybrid solvers. The results are benchmarked against conventional, state-of-the-art, commercially available tooling. Results show that for problems of the size of the used instances, the D-Wave solution, in its current, still limited size, comes already close to the performance of commercial solvers.


title: Delay Sensitive Task Offloading in the 802.11p Based Vehicular Fog Computing Systems

abstract: Vehicular fog computing (VFC) is envisioned as a promising solution to process the explosive tasks in autonomous vehicular networks. In the VFC system, task offloading is the key technique to process the computation-intensive tasks efficiently. In the task offloading, the task is transmitted to the VFC system according to the 802.11p standard and processed by the computation resources in the VFC system. The delay of task offloading, consisting of the transmission delay and computing delay, is extremely critical especially for some delay-sensitive applications. Furthermore, the long-term reward of the system (i.e., jointly considers the transmission delay, computing delay, available resources, and diversity of vehicles and tasks) becomes a significantly important issue for providers. Thus, in this article, we propose an optimal task offloading scheme to maximize the long-term reward of the system where 802.11p is employed as the transmission protocol for the communications between vehicles. Specifically, a task offloading problem based on a semi-Markov decision process (SMDP) is formulated. To solve this problem, we utilize an iterative algorithm based on the Bellman equation to approach the desired solution. The performance of the proposed scheme has been demonstrated by extensive numerical results.


title: Topological-antitopological fusion and the quantum cohomology of Grassmannians

abstract: We suggest an explanation for the part of the Satake Correspondence which relates the quantum cohomology of complex Grassmannians and the quantum cohomology of complex projective space, as well as their respective Stokes data, based on the original physics approach using the tt* equations. We also use the Stokes data of the tt* equations to provide a Lie-theoretic link between particles in affine Toda models and solitons in certain sigma-models. Along the way, we illustrate some (well known) relations between the tt* equations, the non-abelian Hodge Correspondence, and quantum cohomology.


title: Strong bulk photovoltaic effect and second-harmonic generation in two-dimensional selenium and tellurium

abstract: Few-layer selenium and tellurium films have been recently prepared, and they provide a new platform to explore novel properties of two-dimensional (2D) elemental materials. In this work, we have performed a systematic first-principles study on the electronic, linear, and nonlinear optical (NLO) properties of atomically thin selenium and tellurium films within the density-functional theory with the generalized gradient approximation plus scissors correction using the band gaps from the relativistic hybrid Heyd-Scuseria-Ernzerhof functional calculations. Interestingly, we find that few-layer Se and Te possess large second-harmonic generation (SHG), linear electro-optic effect, and bulk photovoltaic effect. In particular, trilayer (TL) Te possesses large SHG coefficient, being more than 65 times larger than that of GaN, a widely used NLO material. Bilayer (BL) Te has huge static SHG coefficient, being more than 100 times larger than that of GaN. Furthermore, monolayer (ML) Se possesses large SHG coefficient. Moreover, we predict that TL Te exhibits strong bulk photovoltaic effect (BPVE), being greater than that of GeS, a polar system with the largest BPVE found so far. Although the shift current conductivities of bulk and 2D Se are comparable, the shift current conductivities of TL Te are five times larger than those of bulk Te. Finally, an analysis of the calculated electronic band structures indicates that the strong NLO responses of 2D Se and Te materials are primarily derived from their low-dimensional structures with high anisotropy, directional covalent bonding, lone-pair electrons, and relatively small band gaps. These findings provide a practical strategy to search for excellent NLO and BPVE materials.


title: Satellite-based photonic quantum networks are small-world

abstract: Recent milestone experiments establishing satellite-to-ground quantum communication are paving the way for the development of the quantum internet, a network interconnected by quantum channels. Here we employ network theory to study the properties of the photonic networks that can be generated by satellite-based quantum communication and compare it with the optical-fiber counterpart. We predict that satellites can generate small-world networks, implying that physically distant nodes are actually near from a network perspective. We also analyse the connectivity properties of the network and show, in particular, that they are robust against random failures. This puts satellite-based quantum communication as the most promising technology to distribute entanglement across large distances in quantum networks of growing size and complexity.


title: Pain Intensity Assessment in Sickle Cell Disease patients using Vital Signs during Hospital Visits

abstract: Pain in sickle cell disease (SCD) is often associated with increased morbidity, mortality, and high healthcare costs. The standard method for predicting the absence, presence, and intensity of pain has long been self-report. However, medical providers struggle to manage patients based on subjective pain reports correctly and pain medications often lead to further difficulties in patient communication as they may cause sedation and sleepiness. Recent studies have shown that objective physiological measures can predict subjective self-reported pain scores for inpatient visits using machine learning (ML) techniques. In this study, we evaluate the generalizability of ML techniques to data collected from 50 patients over an extended period across three types of hospital visits (i.e., inpatient, outpatient and outpatient evaluation). We compare five classification algorithms for various pain intensity levels at both intra-individual (within each patient) and inter-individual (between patients) level. While all the tested classifiers perform much better than chance, a Decision Tree (DT) model performs best at predicting pain on an 11-point severity scale (from 0-10) with an accuracy of 0.728 at an inter-individual level and 0.653 at an intra-individual level. The accuracy of DT significantly improves to 0.941 on a 2-point rating scale (i.e., no/mild pain: 0-5, severe pain: 6-10) at an intra-individual level. Our experimental results demonstrate that ML techniques can provide an objective and quantitative evaluation of pain intensity levels for all three types of hospital visits.


title: Using game simulator Software Inc in the Software Engineering education

abstract: The article presents the possibilities of using game simulator Sotware Inc in the training of future software engineer in higher education. Attention is drawn to some specific settings that need to be taken into account when training in the course of training future software engineers. More and more educational institutions are introducing new teaching methods, which result in the use of engineering students, in particular, future software engineers, to deal with real professional situations in the learning process. The use of modern ICT, including game simulators, in the educational process, allows to improve the quality of educational material and to enhance the educational effects from the use of innovative pedagogical programs and methods, as it gives teachers additional opportunities for constructing individual educational trajectories of students. The use of ICT allows for a differentiated approach to students with different levels of readiness to study. A feature of any software engineer is the need to understand the related subject area for which the software is being developed. An important condition for the preparation of a highly qualified specialist is the independent fulfillment by the student of scientific research, the generation, and implementation of his idea into a finished commercial product. In the process of research, students gain knowledge, skills of the future IT specialist and competences of the legal protection of the results of intellectual activity, technological audit, marketing, product realization in the market of innovations. Note that when the real-world practice is impossible for students, game simulators that simulate real software development processes are an alternative.


title: Continuous Subject-in-the-Loop Integration: Centering AI on Marginalized Communities

abstract: Despite its utopian promises as a disruptive equalizer, AI - like most tools deployed under the guise of neutrality - has tended to simply reinforce existing social structures. To counter this trend, radical AI calls for centering on the marginalized. We argue that gaps in key infrastructure are preventing the widespread adoption of radical AI, and propose a guiding principle for both identifying these infrastructure gaps and evaluating whether proposals for new infrastructure effectively center marginalized voices.


title: Understanding interface properties in 2D heterostructure FETs

abstract: Fifteen years have passed since graphene was first isolated on the substrate from bulk graphite. During that period, 2D layered materials with intrinsic band gaps have been realized. Although many exciting results have been reported for both their fundamental physics and applications, the discussion of 2D electron device application to the future integrated circuit is still based on the expectation of the inherently high properties that 2D materials ideally possess. This review article focuses on the gate stack property, which is one of most important building blocks in the field effect transistor. Starting from the comparison of the 2D/SiO2 interface properties with the conventional SiO2/Si interface properties, recent advances in the studies of gate stack properties for bilayer graphene and MoS2 FETs are discussed. In particular, the advantages and disadvantages of the 2D heterostructures with 2D insulator of h-BN are emphasized. This review may provide conceptual and experimental approaches for controlling the 2D heterointerface properties.


title: Optical diffraction from Ge$_2$Sb$_2$Te$_5$ fishnet metasurfaces

abstract: We report the creation of Ge$_2$Sb$_2$Te$_5$ metasurfaces on sapphire substrates by the ablation method and the study of their structural properties by scanning electron microscopy (SEM), atomic force microscopy (AFM), and optical diffraction. The main emphasis is on the optical technique, which boils down to obtaining bright Laue diffraction patterns on a screen, observing them with the naked eye, and analyzing the fine structure of diffraction reflections. It has been demonstrated that in one simple optical experiment it is possible to assess the quality of fabricated metasurfaces, determine the structure symmetry, and, moreover, determine the number of structural elements and lattice constants of the micron-sized metasurface. The accuracy of the optical technique is confirmed by comparison with the results of studies by SEM and AFM methods.


title: Spin-Torsion effect on collapsing of first generation stars into neutron stars rather than black holes in Einstein-Cartan-Sciama-Kibble theory

abstract: In this project, we try to find the correlation between the non-local pressure inside the massive neutron stars resisting the gravitational collapse of the core and ECSK dark energy led by the effect of spin-torsion coupling between quark fields and the space-time at very high densities much larger than the nuclear density. The injection of dark energy into the core of massive neutron stars (MANs) and extra resistant nature of this dark energy to the collapse of MANs by the anti-gravity give the possibility of existence of neutron stars in the unobserved mass range of $[2.16M_{\odot},5M_{\odot}]$. Obtaining the ECSK TOV equation gives the local pressure of the ambient medium of MANs. Moreover, the negative pressure from the ECSK dark energy is obtained from the Lagrangian again, from which we are able to investigate the hydro-static equilibrium of the core and ambient medium of the MANs. If the equilibrium state is satisfied for the unobserved mass gap for the MANs in ECSK theory framework this will imply our model predicts this vast mass range of unobserved spectrum of the MANs in astrophysical studies.


title: KNO-like scaling within a jet in proton--proton collisions at LHC energies

abstract: We study the multiplicity distributions of events with hard jets in proton-proton collisions at LHC energies using PYTHIA 8 Monte-Carlo simulations. We demonstrate that the charged-hadron multiplicity distributions scale with jet momentum. This suggests that the Koba--Nielsen--Olesen (KNO) scaling holds within a jet. The in-jet scaling is fulfilled without multiple-parton interactions (MPI), but breaks down in case MPI is present without color reconnection. Our findings imply that KNO scaling is violated by parton shower or multiple-parton interactions in higher-energy collisions.


title: It's a Thin Line Between Love and Hate: Using the Echo in Modeling Dynamics of Racist Online Communities

abstract: The (((echo))) symbol -- triple parenthesis surrounding a name, made it to mainstream social networks in early 2016, with the intensification of the U.S. Presidential race. It was used by members of the alt-right, white supremacists and internet trolls to tag people of Jewish heritage -- a modern incarnation of the infamous yellow badge (Judenstern) used in Nazi-Germany. Tracking this trending meme, its meaning, and its function has proved elusive for its semantic ambiguity (e.g., a symbol for a virtual hug). In this paper we report of the construction of an appropriate dataset allowing the reconstruction of networks of racist communities and the way they are embedded in the broader community. We combine natural language processing and structural network analysis to study communities promoting hate. In order to overcome dog-whistling and linguistic ambiguity, we propose a multi-modal neural architecture based on a BERT transformer and a BiLSTM network on the tweet level, while also taking into account the users ego-network and meta features. Our multi-modal neural architecture outperforms a set of strong baselines. We further show how the the use of language and network structure in tandem allows the detection of the leaders of the hate communities. We further study the ``intersectionality'' of hate and show that the antisemitic echo correlates with hate speech that targets other minority and protected groups. Finally, we analyze the role IRA trolls assumed in this network as part of the Russian interference campaign. Our findings allow a better understanding of recent manifestations of racism and the dynamics that facilitate it.


title: Excited $K$ meson, $K_c(4180)$, with hidden charm as a $D\bar{D}K$ bound state

abstract: Motivated by the recent discovery of two new states in the $B^+\rightarrow D^+D^-K^+$ decay by the LHCb Collaboration, we study the $D\bar{D}K$ three-body system by solving the Schr\"odinger equation with the Gaussian Expansion Method. We show that the $D\bar{D}K$ system can bind with quantum numbers $I(J^P)=\frac{1}{2}(0^-)$ and a binding energy of $B_3(D\bar{D}K)=48.9^{+1.4}_{-2.4}$ MeV. It can decay into $J/\psi K$ and $D_s\bar{D}^*$ via triangle diagrams, yielding a partial decay width of about 1 MeV. As a result, if discovered, it will serve as a highly nontrivial check on the nature of the many exotic hadrons discovered so far and on non-perturbative QCD as well. Assuming heavy quark spin symmetry, the same formalism is applied to study the $D\bar{D}^*K$ system, which is shown to also bind with quantum numbers $I(J^P)=\frac{1}{2}(1^-)$ and a binding energy of $B_3(D\bar{D}^*K)\simeq 77.3^{+3.1}_{-6.6}$ MeV, consistent with the results of previous works.


title: A note on some critical thresholds of Bernoulli percolation

abstract: Consider Bernoulli bond percolation on a locally finite, connected graph $G$ and let $p_{\mathrm{cut}}$ be the threshold corresponding to a "first-moment method" lower bound. Kahn (\textit{Electron.\ Comm.\ Probab.\ Volume 8, 184-187.} (2003)) constructed a counter-example to Lyons' conjecture of $p_{\mathrm{cut}}=p_c$ and proposed a modification. Here we give a positive answer to Kahn's modified question. The key observation is that in Kahn's modification, the new expectation quantity also appears in the differential inequality of one-arm events. This links the question to a lemma of Duminil-Copin and Tassion (\textit{Comm. Math. Phys. Volume 343, 725-745.} (2016)). We also study some applications for Bernoulli percolation on periodic trees.


title: A New Insight on Physical Phenomenology: a Review

abstract: After a brief digression on the current landscape of theoretical physics and on some open questions pertaining to coherence with experimental results, still to be settled, it is shown that the properties of the Deformed Minkowski space lead to a plurality of potential physical phenomena that should occur, provided that the resulting formalisms can be considered as useful models for the descrip-tion of some aspects of physical reality. A list is given of available experimental evidences not easy to be interpreted, at present, by means of the more established models, such as the standard model with its variants aimed at overcoming its descriptive limits; these evidences could be candidates to verify the predictions stemming from the properties of the Deformed Minkowski space. The list includes: anomalies in the double-slit-like experiments; nuclear metamorphosis; torsional anten-nas, as well as the physical effect of the "geometric vacuum" (as defined in analogy with quantum vacuum), in the absence of external electromagnetic field, when crossing critical thresholds of energy parameter values, energy density in space and energy density in time.


title: Micrometer-scale monolayer SnS growth by physical vapor deposition

abstract: Recently, monolayer SnS, a two-dimensional group IV monochalcogenide, was grown on a mica substrate at the micrometer-size scale by the simple physical vapor deposition (PVD), resulting in the successful demonstration of its in-plane room temperature ferroelectricity. However, the reason behind the monolayer growth remains unclear because it had been considered that the SnS growth inevitably results in a multilayer thickness due to the strong interlayer interaction arising from lone pair electrons. Here, we investigate the PVD growth of monolayer SnS from two different feed powders, highly purified SnS and commercial phase-impure SnS. Contrary to expectations, it is suggested that the mica substrate surface is modified by sulfur evaporated from the Sn2S3 contaminant in the as-purchased powder and the lateral growth of monolayer SnS is facilitated due to the enhanced surface diffusion of SnS precursor molecules, unlike the growth from the highly purified powder. This insight provides a guide to identify further controllable growth conditions.


title: Clinical prediction system of complications among COVID-19 patients: a development and validation retrospective multicentre study

abstract: Existing prognostic tools mainly focus on predicting the risk of mortality among patients with coronavirus disease 2019. However, clinical evidence suggests that COVID-19 can result in non-mortal complications that affect patient prognosis. To support patient risk stratification, we aimed to develop a prognostic system that predicts complications common to COVID-19. In this retrospective study, we used data collected from 3,352 COVID-19 patient encounters admitted to 18 facilities between April 1 and April 30, 2020, in Abu Dhabi (AD), UAE. The hospitals were split based on geographical proximity to assess for our proposed system's learning generalizability, AD Middle region and AD Western & Eastern regions, A and B, respectively. Using data collected during the first 24 hours of admission, the machine learning-based prognostic system predicts the risk of developing any of seven complications during the hospital stay. The complications include secondary bacterial infection, AKI, ARDS, and elevated biomarkers linked to increased patient severity, including d-dimer, interleukin-6, aminotransferases, and troponin. During training, the system applies an exclusion criteria, hyperparameter tuning, and model selection for each complication-specific model. The system achieves good accuracy across all complications and both regions. In test set A (587 patient encounters), the system achieves 0.91 AUROC for AKI and >0.80 AUROC for most of the other complications. In test set B (225 patient encounters), the respective system achieves 0.90 AUROC for AKI, elevated troponin, and elevated interleukin-6, and >0.80 AUROC for most of the other complications. The best performing models, as selected by our system, were mainly gradient boosting models and logistic regression. Our results show that a data-driven approach using machine learning can predict the risk of such complications with high accuracy.


title: Development of Dynamic Local Area Network (LAN) Based Mock Board Examination System

abstract: Purpose-Mock board exam is necessary to identify if the students are ready to take the board exam. However, preparing for the examination is not easy. It takes too much time to release the result, given that the College has limited personnel. Thus, the proponents developed the Dynamic Local Area Network (LAN) Based Mock Board Examination System that makes the preparation and checking easy. Method-The proponents followed the iterative waterfall model to develop the system efficiently. Some criteria of ISO 25010 were adopted in the evaluation instrument. Simultaneously, evaluators are composed of program chairperson, College of Computer Studies (CCS) faculty, board program students, and alumni. Results-The result of 4.91 in Functional Suitability, 4.87 in Performance Efficiency, 4.91 in Usability, 4.90 in Security, and 4.92 in Maintainability shows that the system is fully functional and is usable by any board program. Conclusion The computer-based examination, implemented through LAN, can simplify administering personnel of MinSCAT mock board examination. The development of the "Dynamic LAN Based Mock Board Examination System" is a great help to the MinSCAT and their board program graduates if it is implemented. Recommendations-The system has hidden weaknesses that were only identified in actual operation. Thus, further testing is needed, like beta testing, to identify and correct it for better performance. After beta-testing, the system can be improved through iteration of the Waterfall Model phases. Research Implications-The developed system can improve the mock board examination process and ease preparing this significant examination. Moreover, it immediately provides a result that helps the examinees to identify their weaknesses and do a further review to master it.


title: Stable arcs connecting polar cascades on a torus

abstract: In this paper, we obtain a solution to the 33rd Palis-Pugh problem for polar gradient-like diffeomorphisms on a two-dimensional torus, under the assumption that all non-wandering points are fixed and have a positive orientation type.


title: Algebraically-Informed Deep Networks (AIDN): A Deep Learning Approach to Represent Algebraic Structures

abstract: One of the central problems in the interface of deep learning and mathematics is that of building learning systems that can automatically uncover underlying mathematical laws from observed data. In this work, we make one step towards building a bridge between algebraic structures and deep learning, and introduce \textbf{AIDN}, \textit{Algebraically-Informed Deep Networks}. \textbf{AIDN} is a deep learning algorithm to represent any finitely-presented algebraic object with a set of deep neural networks. The deep networks obtained via \textbf{AIDN} are \textit{algebraically-informed} in the sense that they satisfy the algebraic relations of the presentation of the algebraic structure that serves as the input to the algorithm. Our proposed network can robustly compute linear and non-linear representations of most finitely-presented algebraic structures such as groups, associative algebras, and Lie algebras. We evaluate our proposed approach and demonstrate its applicability to algebraic and geometric objects that are significant in low-dimensional topology. In particular, we study solutions for the Yang-Baxter equations and their applications on braid groups. Further, we study the representations of the Temperley-Lieb algebra. Finally, we show, using the Reshetikhin-Turaev construction, how our proposed deep learning approach can be utilized to construct new link invariants. We believe the proposed approach would tread a path toward a promising future research in deep learning applied to algebraic and geometric structures.


title: Asymptotic behavior of nonlinear sound waves in inviscid media with thermal and molecular relaxation

abstract: Ultrasonic propagation through media with thermal and molecular relaxation can be modeled by third-order in time nonlinear wave-like equations with memory. This paper investigates the asymptotic behavior of a Cauchy problem for such a model, the nonlocal Jordan--Moore--Gibson--Thompson equation, in the so-called critical case, which corresponds to propagation in inviscid fluids. The memory has an exponentially fading character and type I, meaning that involves only the acoustic velocity potential. A major challenge in the global analysis is that the linearized equation's decay estimates are of regularity-loss type. As a result, the classical energy methods fail to work for the nonlinear problem. To overcome this difficulty, we construct appropriate time-weighted norms, where weights can have negative exponents. These problem-tailored norms create artificial damping terms that help control the nonlinearity and the loss of derivatives, and ultimately allow us to discover the model's asymptotic behavior.


title: A question on generalization of partition functions of CY 3-folds in String Theory

abstract: This is an expositoray article on the topological string partition function promoting an extension of the partition function of open Gromov-Witten theory of CY 3-folds defined by the trace of vertex operators. We also give a brief survey of their connection to the theory of Hilbert scheme of points on surface. Specifically; we apply infinitely many Cassimir operators twisted to the vertex operator computing the amplitude. The case of finite number of twists has been well discussed in the mathematics and Physics literature.


title: The CROSS Incubator: A Case Study for funding and training RSEs

abstract: The incubator and research projects sponsored by the Center for Research in Open Source Software (CROSS, cross.ucsc.edu) at UC Santa Cruz have been very effective at promoting the professional and technical development of research software engineers. Carlos Maltzahn founded CROSS in 2015 with a generous gift of $2,000,000 from UC Santa Cruz alumnus Dr. Sage Weil and founding memberships of Toshiba America Electronic Components, SK Hynix Memory Solutions, and Micron Technology. Over the past five years, CROSS funding has enabled PhD students to not only create research software projects but also learn how to draw in new contributors and leverage established open source software communities. This position paper will present CROSS fellowships as case studies for how university-led open source projects can create a real-world, reproducible model for effectively training, funding and supporting research software engineers.


title: Ultrasound Diagnosis of COVID-19: Robustness and Explainability

abstract: Diagnosis of COVID-19 at point of care is vital to the containment of the global pandemic. Point of care ultrasound (POCUS) provides rapid imagery of lungs to detect COVID-19 in patients in a repeatable and cost effective way. Previous work has used public datasets of POCUS videos to train an AI model for diagnosis that obtains high sensitivity. Due to the high stakes application we propose the use of robust and explainable techniques. We demonstrate experimentally that robust models have more stable predictions and offer improved interpretability. A framework of contrastive explanations based on adversarial perturbations is used to explain model predictions that aligns with human visual perception.


title: All 2D Heterostructure Tunnel Field Effect Transistors: Impact of Band Alignment and Heterointerface Quality

abstract: Van der Waals heterostructures are the ideal material platform for tunnel field effect transistors (TFETs) because a band-to-band tunneling (BTBT) dominant current is feasible at room temperature (RT) due to ideal, dangling bond free heterointerfaces. However, achieving subthreshold swing (SS) values lower than 60 mVdec-1 of the Boltzmann limit is still challenging. In this work, we systematically studied the band alignment and heterointerface quality in n-MoS2 channel heterostructure TFETs. By selecting a p+-MoS2 source with a sufficiently high doping level, stable gate modulation to a type III band alignment was achieved regardless of the number of MoS2 channel layers. For the gate stack formation, it was found that the deposition of Al2O3 as the top gate introduces defect states for the generation current under reverse bias, while the integration of an h-BN top gate provides a defect-free, clean interface, resulting in the BTBT dominant current even at RT. All 2D heterostructure TFETs produced by combining the type III n-MoS2/p+-MoS2 heterostructure with the h-BN top gate insulator resulted in low SS values at RT.


title: The Manin-Drinfeld theorem and the rationality of Rademacher symbols

abstract: For any noncocompact Fuchsian group $\Gamma$, we show that periods of the canonical differential of the third kind associated to residue divisors of cusps are expressed in terms of Rademacher symbols for $\Gamma$ - generalizations of periods appearing in the classical theory of modular forms. This result provides a relation between Rademacher symbols and the famous theorem of Manin and Drinfeld. More precisely, Fuchsian groups whose Rademacher symbols are rational-valued verify the statement of Manin-Drinfeld. We then establish the rationality of Rademacher symbols for various families of Fuchsian groups.


title: Applied Machine Learning for Games: A Graduate School Course

abstract: The game industry is moving into an era where old-style game engines are being replaced by re-engineered systems with embedded machine learning technologies for the operation, analysis and understanding of game play. In this paper, we describe our machine learning course designed for graduate students interested in applying recent advances of deep learning and reinforcement learning towards gaming. This course serves as a bridge to foster interdisciplinary collaboration among graduate schools and does not require prior experience designing or building games. Graduate students enrolled in this course apply different fields of machine learning techniques such as computer vision, natural language processing, computer graphics, human computer interaction, robotics and data analysis to solve open challenges in gaming. Student projects cover use-cases such as training AI-bots in gaming benchmark environments and competitions, understanding human decision patterns in gaming, and creating intelligent non-playable characters or environments to foster engaging gameplay. Projects demos can help students open doors for an industry career, aim for publications, or lay the foundations of a future product. Our students gained hands-on experience in applying state of the art machine learning techniques to solve real-life problems in gaming.


title: Bayesian Landmark-based Shape Analysis of Tumor Pathology Images

abstract: Medical imaging is a form of technology that has revolutionized the medical field in the past century. In addition to radiology imaging of tumor tissues, digital pathology imaging, which captures histological details in high spatial resolution, is fast becoming a routine clinical procedure for cancer diagnosis support and treatment planning. Recent developments in deep-learning methods facilitate the segmentation of tumor regions at almost the cellular level from digital pathology images. The traditional shape features that were developed for characterizing tumor boundary roughness in radiology are not applicable. Reliable statistical approaches to modeling tumor shape in pathology images are in urgent need. In this paper, we consider the problem of modeling a tumor boundary with a closed polygonal chain. A Bayesian landmark-based shape analysis (BayesLASA) model is proposed to partition the polygonal chain into mutually exclusive segments to quantify the boundary roughness piecewise. Our fully Bayesian inference framework provides uncertainty estimates of both the number and locations of landmarks. The BayesLASA outperforms a recently developed landmark detection model for planar elastic curves in terms of accuracy and efficiency. We demonstrate how this model-based analysis can lead to sharper inferences than ordinary approaches through a case study on the 246 pathology images from 143 non-small cell lung cancer patients. The case study shows that the heterogeneity of tumor boundary roughness predicts patient prognosis (p-value < 0.001). This statistical methodology not only presents a new model for characterizing a digitized object's shape features by using its landmarks, but also provides a new perspective for understanding the role of tumor surface in cancer progression.


title: Voevodsky's Unachieved Project

abstract: In a series of lectures given in 2003 soon after receiving the Fields Medal for his results in the Algebraic Geometry Vladimir Voevodsky (1966-2017) identifies two strategic goals for mathematics, which he plans to pursue in his further research. The first goal is to develop a "computerised library of mathematical knowledge", which supports an automated proof-verification. The second goal is to "bridge pure and applied mathematics". Voevodsky's research towards the first goal brought about the new Univalent foundations of mathematics. In view of the second goal Voevodsky in 2004 started to develop a mathematical theory of Population Dynamics, which involved the Categorical Probability theory. This latter project did not bring published results and was abandoned by Voevodsky in 2009 when he decided to focus his efforts on the Univalent foundations and closely related topics. In the present paper, which is based on Voevodsky's archival sources, I present Voevodsky's views of mathematics and its relationships with natural sciences, critically discuss these views, and suggest how Voevodsky's ideas and approaches in the applied mathematics can be further developed and pursued. A special attention is given to Voevodsky's original strategy to bridge the persisting gap between the pure and applied mathematics where computers and the computer-assisted mathematics have a major role.


title: The unbiased Diffusion Monte Carlo: a versatile tool for two-electron systems confined in different geometries

abstract: Computational codes based on the Diffusion Monte Carlo method can be used to determine the quantum state of two-electron systems confined by external potentials of various nature and geometry. In this work, we show how the application of this technique in its simplest form, that does not employ complex analytic guess functions, allows to obtain satisfactory results and, at the same time, to write programs that are readily adaptable from one type of confinement to another. This adaptability allows an easy exploration of the many possibilities in terms of both geometry and structure of the system. To illustrate these results, we present calculations in the case of two-electron hydrogen-based species (H$_2$ and H$_3^+$) and two different types of confinement, nanotube-like and octahedral crystal-field.


title: Recurrent galactic cosmic-ray flux modulation in L1 and geomagnetic activity during the declining phase of the solar cycle 24

abstract: Galactic cosmic-ray (GCR) flux short-term variations ($<$1 month) in the inner heliosphere are mainly associated with the passage of high-speed solar wind streams (HSS) and interplanetary (IP) counterparts of coronal mass ejections (ICMEs). Data gathered with a particle detector flown on board the ESA LISA Pathfinder (LPF) spacecraft, during the declining part of the solar cycle 24 (February 2016 - July 2017) around the Lagrange point L1, have allowed to study the characteristics of recurrent cosmic-ray flux modulations above 70 MeV n$^{-1}$. %These modulations are observed when the solar wind speed is $>$ 400 km s$^{-1}$ and/or the IP magnetic field intensity $>$ 10 nT. It is shown that the amplitude and evolution of individual modulations depend in a unique way on both IP plasma parameters and particle flux intensity before HSS and ICMEs transit. By comparing the LPF data with those gathered contemporaneously with the magnetic spectrometer experiment AMS-02 on board the International Space Station and with those of Earth polar neutron monitors, the GCR flux modulation was studied at different energies during recurrent short-term variations. It is also aimed to set the near real-time particle observation requirements to disentangle the role of long and short-term variations of the GCR flux to evaluate the performance of high-sensitivity instruments in space such as the future interferometers for gravitational wave detection. Finally, the association between recurrent GCR flux variation observations in L1 and weak to moderate geomagnetic activity in 2016-2017 is discussed. Short-term recurrent GCR flux variations are good proxies of recurrent geomagnetic activity when the B$_z$ component of the IP magnetic field is directed northern.

categories: astro-ph.EP astro-ph.HE astro-ph.SR physics.space-ph


title: Towards Intelligent Reconfigurable Wireless Physical Layer (PHY)

abstract: Next-generation wireless networks are getting significant attention because they promise 10-factor enhancement in mobile broadband along with the potential to enable new heterogeneous services. Services include massive machine type communications desired for Industrial 4.0 along with ultra-reliable low latency services for remote healthcare and vehicular communications. In this paper, we present the design of an intelligent and reconfigurable physical layer (PHY) to bring these services to reality. First, we design and implement the reconfigurable PHY via a hardware-software co-design approach on system-on-chip consisting of the ARM processor and field-programmable gate array (FPGA). The reconfigurable PHY is then made intelligent by augmenting it with online machine learning (OML) based decision-making algorithm. Such PHY can learn the environment (for example, wireless channel) and dynamically adapt the transceivers' configuration (i.e., modulation scheme, word-length) and select the wireless channel on-the-fly. Since the environment is unknown and changes with time, we make the OML architecture reconfigurable to enable dynamic switch between various OML algorithms on-the-fly. We have demonstrated the functional correctness of the proposed architecture for different environments and word-lengths. The detailed throughput, latency, and complexity analysis validate the feasibility and importance of the proposed intelligent and reconfigurable PHY in next-generation networks.


title: Algebraic Approximations of a Polyhedron Correlation Function Stemming from its Chord Length Distribution

abstract: An algebraic approximation, of order $K$, of a polyhedron correlation function (CF) can be obtained from $\gamma\pp(r)$, its chord-length distribution (CLD), considering first, within the subinterval $[D_{i-1},\, D_i]$ of the full range of distances, a polynomial in the two variables $(r-D_{i-1})^{1/2}$ and $(D_{i}-r)^{1/2}$ such that its expansions around $r=D_{i-1}$ and $r=D_i$ simultaneously coincide with left and the right expansions of $\gamma\pp(r)$ around $D_{i-1}$ and $D_i$ up to the terms $O\big(r-D_{i-1}\big)^{K/2}$ and $O\big(D_i-r\big)^{K/2}$, respectively. Then, for each $i$, one integrates twice the polynomial and determines the integration constants matching the resulting integrals at the common end points. The 3D Fourier transform of the resulting algebraic CF approximation correctly reproduces, at large $q$s, the asymptotic behaviour of the exact form factor up to the term $O(q^{-(K/2+4)})$. For illustration, the procedure is applied to the cube, the tetrahedron and the octahedron.


title: Understanding the Memory Window Overestimation of 2D Materials Based Floating Gate Type Memory Devices by Measuring Floating Gate Voltage

abstract: The memory window of floating gate (FG) type non-volatile memory (NVM) devices is a fundamental figure of merit used not only to evaluate the performance, such as retention and endurance, but also to discuss the feasibility of advanced functional memory devices. However, the memory window of two dimensional (2D) materials based NVM devices is historically determined from round sweep transfer curves, while that of conventional Si NVM devices is determined from high and low threshold voltages (Vths), which are measured by single sweep transfer curves. Here, it is elucidated that the memory window of 2D NVM devices determined from round sweep transfer curves is overestimated compared with that determined from single sweep transfer curves. The floating gate voltage measurement proposed in this study clarifies that the Vths in round sweep are controlled not only by the number of charges stored in floating gate but also by capacitive coupling between floating gate and back gate. The present finding on the overestimation of memory window enables to appropriately evaluate the potential of 2D NVM devices.


title: Mathematical Mechanism on Dynamical System Algorithms of the Ising Model

abstract: Various combinatorial optimization NP-hard problems can be reduced to finding the minimizer of an Ising model, which is a discrete mathematical model. It is an intellectual challenge to develop some mathematical tools or algorithms for solving the Ising model. Over the past decades, some continuous approaches or algorithms have been proposed from physical, mathematical or computational views for optimizing the Ising model such as quantum annealing, the coherent Ising machine, simulated annealing, adiabatic Hamiltonian systems, etc.. However, the mathematical principle of these algorithms is far from being understood. In this paper, we reveal the mathematical mechanism of dynamical system algorithms for the Ising model by Morse theory and variational methods. We prove that the dynamical system algorithms can be designed to minimize a continuous function whose local minimum points give all the candidates of the Ising model and the global minimum gives the minimizer of Ising problem. Using this mathematical mechanism, we can easily understand several dynamical system algorithms of the Ising model such as the coherent Ising machine, the Kerr-nonlinear parametric oscillators and the simulated bifurcation algorithm. Furthermore, motivated by the works of C. Conley, we study transit and capture properties of the simulated bifurcation algorithm to explain its convergence by the low energy transit and capture in celestial mechanics. A detailed discussion on $2$-spin and $3$-spin Ising models is presented as application.


title: On the decay of singular inner functions

abstract: It is known that, if $S(z)$ is a non-constant, singular inner function defined on the unit disk, then $\min_{|z|\le r}|S(z)|\to0$ as $r\to1^-$. We show that the convergence may be arbitrarily slow.


title: Single-Shot Freestyle Dance Reenactment

abstract: The task of motion transfer between a source dancer and a target person is a special case of the pose transfer problem, in which the target person changes their pose in accordance with the motions of the dancer. In this work, we propose a novel method that can reanimate a single image by arbitrary video sequences, unseen during training. The method combines three networks: (i) a segmentation-mapping network, (ii) a realistic frame-rendering network, and (iii) a face refinement network. By separating this task into three stages, we are able to attain a novel sequence of realistic frames, capturing natural motion and appearance. Our method obtains significantly better visual quality than previous methods and is able to animate diverse body types and appearances, which are captured in challenging poses, as shown in the experiments and supplementary video.


title: Smarter Password Guessing Techniques Leveraging Contextual Information and OSINT

abstract: In recent decades, criminals have increasingly used the web to research, assist and perpetrate criminal behaviour. One of the most important ways in which law enforcement can battle this growing trend is through accessing pertinent information about suspects in a timely manner. A significant hindrance to this is the difficulty of accessing any system a suspect uses that requires authentication via password. Password guessing techniques generally consider common user behaviour while generating their passwords, as well as the password policy in place. Such techniques can offer a modest success rate considering a large/average population. However, they tend to fail when focusing on a single target -- especially when the latter is an educated user taking precautions as a savvy criminal would be expected to do. Open Source Intelligence is being increasingly leveraged by Law Enforcement in order to gain useful information about a suspect, but very little is currently being done to integrate this knowledge in an automated way within password cracking. The purpose of this research is to delve into the techniques that enable the gathering of the necessary context about a suspect and find ways to leverage this information within password guessing techniques.


title: A Study on the Efficiency of the Indian Stock Market

abstract: The efficiency of the stock market has a significant impact on the potential return on investment. An efficient market eliminates the possibility of arbitrage and unexploited profit opportunities. This study analyzes the weak form efficiency of the Indian Stock market based on the two major Indian stock exchanges, viz., BSE and NSE. The daily closing values of Sensex and Nifty indices for the period from April 2010 to March 2019 are used to perform the Runs test, the Autocorrelation test, and the Autoregression test. The study confirms that the Indian Stock market is weak form inefficient and can thus be outperformed.


title: Log-trigonometric integrals and elliptic functions

abstract: A class of log-trigonometric integrals are evaluated in terms of elliptic functions. From this, by using the elliptic integral singular values, one can obtain closed form evaluations of integrals such as \[ \int\limits_0^{{\pi}/{2}}\ln\left(\cosh\frac{x}{\sqrt{3}}+\cos\frac{\ln \left(2\cos x\right)}{\sqrt{3}}\right)dx=\frac{\pi^2}{8\sqrt{3}}-\frac{\pi}{4}\ln\left(1+\sqrt{3}\right)+\frac{13\pi}{24}\ln 2. \]


title: ASIAVR: Asian Studies Virtual Reality Game a Learning Tool

abstract: The study aims to develop an application that will serve as an alternative learning tool for learning Asian Studies. The delivery of lessons into a virtual reality game depends on the pace of students. The developed application comprises several more features that enable users to get valuable information from an immersive environment. The researchers used Rapid Application Development (RAD) in developing the application. It follows phases such as requirement planning, user design, construction, and cutover. Two sets of questionnaires were developed, one for the teachers and another for the students. Then, testing and evaluation were conducted through purposive sampling to select the respondents. The application was overall rated as 3.56 which is verbally interpreted as very good. The result was based on the system evaluation using ISO 9126 in terms of functionality, usability, content, reliability, and performance. The developed application meets the objectives to provide an alternative learning tool for learning Asian Studies. The application is well commended and accepted by the end-users to provide an interactive and immersive environment for students to learn at their own pace. Further enhancement of the audio, gameplay, and graphics of the tool. Schools should take into consideration the adoption of the Asian Studies Virtual Reality is a good alternative tool for their teachers and students to teach and learn Asian Studies. The use of more 3D objects relevant to the given information to enhance the game experience may be considered. A databank for the quiz questions that will be loaded into the game should also be considered.


title: Magneto-active elastic shells with tunable buckling strength

abstract: Shell buckling is central in many biological structures and advanced functional materials, even if, traditionally, this elastic instability has been regarded as a catastrophic phenomenon to be avoided for engineering structures. Either way, predicting critical buckling conditions remains a long-standing challenge. The subcritical nature of shell buckling imparts extreme sensitivity to material and geometric imperfections. Consequently, measured critical loads are inevitably lower than classic theoretical predictions. Here, we present a robust mechanism to dynamically tune the buckling strength of shells, exploiting the coupling between mechanics and magnetism. Our experiments on pressurized spherical shells made of a magnetorheological elastomer demonstrate the tunability of their buckling pressure via magnetic actuation. We develop a theoretical model for thin magnetic elastic shells, which rationalizes the underlying mechanism, in excellent agreement with experiments. A dimensionless magneto-elastic buckling number is recognized as the key governing parameter, combining the geometrical, mechanical, and magnetic properties of the system.


title: Self-testing maximally-dimensional genuinely entangled subspaces within the stabilizer formalism

abstract: Self-testing was originally introduced as a device-independent method of certification of entangled quantum states and local measurements performed on them. Recently, in [F. Baccari \textit{et al.}, arXiv:2003.02285] the notion of state self-testing has been generalized to entangled subspaces and the first self-testing strategies for exemplary genuinely entangled subspaces have been given. The main aim of our work is to pursue this line of research and to address the question how "large" (in terms of dimension) are genuinely entangled subspaces that can be self-tested, concentrating on the multiqubit stabilizer formalism. To this end, we first introduce a framework allowing to efficiently check whether a given stabilizer subspace is genuinely entangled. Building on it, we then determine the maximal dimension of genuinely entangled subspaces that can be constructed within the stabilizer subspaces and provide an exemplary construction of such maximally-dimensional subspaces for any number of qubits. Third, we construct Bell inequalities that are maximally violated by any entangled state from those subspaces and thus also any mixed states supported on them, and we show these inequalities to be useful for self-testing. Interestingly, our Bell inequalities allow for identification of higher-dimensional face structures in the boundaries of the sets of quantum correlations in the simplest multipartite Bell scenarios in which every observer performs two dichotomic measurements.


title: AI in the "Real World": Examining the Impact of AI Deployment in Low-Resource Contexts

abstract: As AI becomes integrated throughout the world, its potential for impact within low-resource regions around the Global South have grown. AI research labs from tech giants like Microsoft, Google, and IBM have a significant presence in countries such as India, Ghana, and South Africa. The work done by these labs is often motivated by the potential impact it could have on local populations, but the deployment of these tools has not always gone smoothly. This paper presents a case study examining the deployment of AI by large industry labs situated in low-resource contexts, highlights factors impacting unanticipated deployments, and reflects on the state of AI deployment within the Global South, providing suggestions that embrace inclusive design methodologies within AI development that prioritize the needs of marginalized communities and elevate their status not just as beneficiaries of AI systems but as primary stakeholders.


title: Improving Interpretability in Medical Imaging Diagnosis using Adversarial Training

abstract: We investigate the influence of adversarial training on the interpretability of convolutional neural networks (CNNs), specifically applied to diagnosing skin cancer. We show that gradient-based saliency maps of adversarially trained CNNs are significantly sharper and more visually coherent than those of standardly trained CNNs. Furthermore, we show that adversarially trained networks highlight regions with significant color variation within the lesion, a common characteristic of melanoma. We find that fine-tuning a robust network with a small learning rate further improves saliency maps' sharpness. Lastly, we provide preliminary work suggesting that robustifying the first layers to extract robust low-level features leads to visually coherent explanations.


title: Seminar and Training Programs Recommender System for Faculty Members of Higher Education Institution

abstract: This study aims to develop a personalized Recommender System that helps to address the problems encountered by the faculty members of Higher Education Institutions in the selection of Seminar and Training Programs (STP). The researcher used the Descriptive Developmental Method of research to gather information relevant to the current problems and challenges encountered and used these to develop software that addresses the identified challenges. For the development of the software, the researcher adopted a step-wise approach defined in the Incremental Developmental Model. The level of acceptance of the developed system was evaluated by 24 faculty respondents. The level of acceptance of the developed system was classified into functionality, reliability, and usability and the study garnered an evaluation score of 4.65, 4.67, and 4.67 respectively. The overall interpretation of the results of the evaluation is Highly Acceptable. The study created a system that provides seminars and training program recommendations. The developed recommender system was rated Highly Acceptable, respondents were very satisfied with the features of the system and agreed that it was functional, reliable, and usable.


title: Use-cases of Blockchain Technology for Humanitarian Engineering

abstract: Humanitarian Engineers need innovative methods to make technological interventions for solving societal problems. The emerging blockchain technology has the enormous potential to provide effective interventions in various developmental sectors, including Agriculture, Education, Health, and Transportation. In these sectors, mediators have been considered as one of the impediments for developmental work. Blockchain technology facilitates peer-to-peer business transactions, thus eliminating the role of mediators. Hence, the blockchain technology is emerging as an alternative to conventional mediator-centred solutions adopting client-server based Internet technologies. A combination of blockchain technology with other technologies can be used to address domain-specific challenges. For example, the combination of blockchain technology and Internet-of-Thing (IoT) has the potential to monitor the usage of scarce resources such as the level of ground-water and amount of energy consumption. The aims of this chapter are twofold. Firstly, it describes the primary building blocks of blockchain technology. Secondly, it illustrates various use-case scenarios of blockchain technology in the fields of Agriculture, Energy Health and others.


title: Equivalent Definitions of the Mie-Gr\"{u}neisen Form

abstract: We define the Mie-Gr\"{u}neisen form in five different ways, then demonstrate their equivalence.


title: Sparse Convolutions on Continuous Domains for Point Cloud and Event Stream Networks

abstract: Image convolutions have been a cornerstone of a great number of deep learning advances in computer vision. The research community is yet to settle on an equivalent operator for sparse, unstructured continuous data like point clouds and event streams however. We present an elegant sparse matrix-based interpretation of the convolution operator for these cases, which is consistent with the mathematical definition of convolution and efficient during training. On benchmark point cloud classification problems we demonstrate networks built with these operations can train an order of magnitude or more faster than top existing methods, whilst maintaining comparable accuracy and requiring a tiny fraction of the memory. We also apply our operator to event stream processing, achieving state-of-the-art results on multiple tasks with streams of hundreds of thousands of events.


title: A Serious Game Approach for the Electro-Mobility Sector

abstract: Serious Games (SGs) represent a new approach to improve learning processes more effectively and economically than traditional methods. This paper aims to present a SG approach for the electro-mobility context, in order to encourage the use of electric light vehicles. The design of the SG is based on the typical elements of the classic "game" with a real gameplay with different purposes. In this work, the proposed SG aims to raise awareness on environmental issues caused by mobility and actively involve users, on improving livability in the city and on real savings using alternative means to traditional vehicles. The objective of the designed tool is to propose elements of fun and entertainment for tourists or users of electric vehicles in the cities, while giving useful information about the benefits of using such vehicles, discovering touristic and interesting places in the city to discover. In this way, the user is stimulated to explore the artistic and historical aspects of the city through an effective learning process: he/she is encouraged to search the origins and the peculiarities of the monuments.


title: ReproducedPapers.org: Openly teaching and structuring machine learning reproducibility

abstract: We present ReproducedPapers.org: an open online repository for teaching and structuring machine learning reproducibility. We evaluate doing a reproduction project among students and the added value of an online reproduction repository among AI researchers. We use anonymous self-assessment surveys and obtained 144 responses. Results suggest that students who do a reproduction project place more value on scientific reproductions and become more critical thinkers. Students and AI researchers agree that our online reproduction repository is valuable.


title: TESSVisibility -- When was my favorite star or asteroid observed by TESS?

abstract: While Transiting Exoplanet Survey Satellite (TESS) covers a considerable area of the sky during routine observations and the pointing schedule is easy to follow, it is not obvious to retrieve the current and/or predicted visibility of a bulk amount of objects, considering both stationary and moving Solar System targets like asteroids or comets. The program `tessvisibility` is a small piece of highly portable code implemented in both C an UNIX shell, providing functionalities for such bulk retrievals at the accuracy of a TESS pixel. This accuracy includes the gaps between the focal plane CCDs, the gaps between the cameras as well as at the sector-level treatment to obtain visibility information.