title: MSS: a new way for high energy-resolution on any accelerator when using magnetic spectrometers

abstract: An innovative approach: MSS - the Method of Spectra Superposition for high energy-resolution (Delta-E) studies on any accelerator of nuclear reactions at fixed targets by magnetic spectrometers, has been invented. For thin targets MSS provides a Delta-E which depends only on the detector's energy-resolution. The MSS can bring huge benefits to experiments with fixed targets at all types of accelerators and also on colliders. The MSS was used to get precise data with a Delta-E = 10 keV in (p,12C) elastic scattering for the energy region Ep 16 - 19.5 MeV at cyclotron U-150 of INP Ulugbek (Tashkent, AS of Uzbekistan) with a beam energy spread of about 200 keV. The proton energy control was performed with a 20-step Energy Moderator which provides Ep interval of 3.5 MeV without any energy-readjustment of cyclotron and all the ion optics of a 41-meter-long beam pipe. A multichannel Magnetic Spectrograph (Apelsin) was used as the nuclear reaction products detector. The particle-products were detected on focal planes of Apelsin by specially designed Coordinate-sensitive gas MWPCs with two particle counters in coincidence. The acquisition system was based on IBM PC online with a fast CAMAC branch custom-designed at PNPI (St-Petersburg INP, USSR) together with fast TDC modules and other fast electronics providing immediate selection and accumulation of events from the MWPCs. The Apelsin magnetic field was stabilized to 3 ppm by NMR-monitor system The obtained, with statistical error about 6%, excitation function (EF) of (p, 12C), with a resonance reach structure, is in precise agreement with thresholds and levels data [15-18].


title: Cosmic evolution in f(T) gravity theory

abstract: The paper deals with cosmology in modified f(T) gravity theory. With some phenomenological choices for the function f(T) it is possible to have cosmological solutions describing different phases of the evolution of the Universe for the homogeneous and isotropic FLRW model. By proper choice of the parameters involved in the function $f(T)$ and also in the cosmological solutions it is shown that a continuous cosmic evolution starting from the emergent scenario to the present late time acceleration is possible. Finally thermodynamical analysis of f(T) gravity is presented.


title: Accordion: Adaptive Gradient Communication via Critical Learning Regime Identification

abstract: Distributed model training suffers from communication bottlenecks due to frequent model updates transmitted across compute nodes. To alleviate these bottlenecks, practitioners use gradient compression techniques like sparsification, quantization, or low-rank updates. The techniques usually require choosing a static compression ratio, often requiring users to balance the trade-off between model accuracy and per-iteration speedup. In this work, we show that such performance degradation due to choosing a high compression ratio is not fundamental. An adaptive compression strategy can reduce communication while maintaining final test accuracy. Inspired by recent findings on critical learning regimes, in which small gradient errors can have irrecoverable impact on model performance, we propose Accordion a simple yet effective adaptive compression algorithm. While Accordion maintains a high enough compression rate on average, it avoids over-compressing gradients whenever in critical learning regimes, detected by a simple gradient-norm based criterion. Our extensive experimental study over a number of machine learning tasks in distributed environments indicates that Accordion, maintains similar model accuracy to uncompressed training, yet achieves up to 5.5x better compression and up to 4.1x end-to-end speedup over static approaches. We show that Accordion also works for adjusting the batch size, another popular strategy for alleviating communication bottlenecks.


title: SLM: Learning a Discourse Language Representation with Sentence Unshuffling

abstract: We introduce Sentence-level Language Modeling, a new pre-training objective for learning a discourse language representation in a fully self-supervised manner. Recent pre-training methods in NLP focus on learning either bottom or top-level language representations: contextualized word representations derived from language model objectives at one extreme and a whole sequence representation learned by order classification of two given textual segments at the other. However, these models are not directly encouraged to capture representations of intermediate-size structures that exist in natural languages such as sentences and the relationships among them. To that end, we propose a new approach to encourage learning of a contextualized sentence-level representation by shuffling the sequence of input sentences and training a hierarchical transformer model to reconstruct the original ordering. Through experiments on downstream tasks such as GLUE, SQuAD, and DiscoEval, we show that this feature of our model improves the performance of the original BERT by large margins.


title: Gradient-based Algorithms for Convex Discrete Optimization via Simulation

abstract: We propose new sequential simulation-optimization algorithms for general convex optimization via simulation problems with high-dimensional discrete decision space. The performance of each choice of discrete decision variables is evaluated via stochastic simulation replications. If an upper bound on the overall level of uncertainties is known, our proposed simulation-optimization algorithms utilize the discrete convex structure and are guaranteed with high probability to find a solution that is close to the best within any given user-specified precision level. The proposed algorithms work for any general convex problem and the efficiency is demonstrated by proven upper bounds on simulation costs. The upper bounds demonstrate a polynomial dependence on the dimension and scale of the decision space. For some discrete optimization via simulation problems, a gradient estimator may be available at low costs along with a single simulation replication. By integrating gradient estimators, which are possibly biased, we propose simulation-optimization algorithms to achieve optimality guarantees with a reduced dependence on the dimension under moderate assumptions on the bias.


title: The FragmentatiOn Of Target Experiment (FOOT) and its DAQ system

abstract: The FragmentatiOn Of Target (FOOT) experiment aims to provide precise nuclear cross-section measurements for two different fields: hadrontherapy and radio-protection in space. The main reason is the important role the nuclear fragmentation process plays in both fields, where the health risks caused by radiation are very similar and mainly attributable to the fragmentation process. The FOOT experiment has been developed in such a way that the experimental setup is easily movable and fits the space limitations of the experimental and treatment rooms available in hadrontherapy treatment centers, where most of the data takings are carried out. The Trigger and Data Acquisition system needs to follow the same criteria and it should work in different laboratories and in different conditions. It has been designed to acquire the largest sample size with high accuracy in a controlled and online-monitored environment. The data collected are processed in real-time for quality assessment and are available to the DAQ crew and detector experts during data taking.


title: Broadband self-switching of femtosecond pulses in highly nonlinear high index contrast dual-core fibre

abstract: In this paper, we demonstrate a pulse energy-governed nonlinear self-switching of femtosecond pulses at wavelength of 1700 nm in a highly nonlinear high index contrast dual-core fibre. The fibre structure is composed of two microdimension cores and a solid cladding made of two thermally matched soft glasses developed in-house. A double switching behaviour under monotonic increase of the input pulse energy from 1 nJ to 3 nJ was observed at 35 mm fibre length in its anomalous dispersion region. A spatial intensity distribution measurement identified a switching contrast of 16.7 dB, and the registered spectra of the two output channels revealed a broadband switching behaviour within 150 nm. The obtained results indicate a novel type of solitonic switching and represent a significant progress in comparison to the previous experimental works and has a high application potential.


title: Limitations of ROC on Imbalanced Data: Evaluation of LVAD Mortality Risk Scores

abstract: Objective: This study illustrates the ambiguity of ROC in evaluating two classifiers of 90-day LVAD mortality. This paper also introduces the precision recall curve (PRC) as a supplemental metric that is more representative of LVAD classifiers performance in predicting the minority class. Background: In the LVAD domain, the receiver operating characteristic (ROC) is a commonly applied metric of performance of classifiers. However, ROC can provide a distorted view of classifiers ability to predict short-term mortality due to the overwhelmingly greater proportion of patients who survive, i.e. imbalanced data. Methods: This study compared the ROC and PRC for the outcome of two classifiers for 90-day LVAD mortality for 800 patients (test group) recorded in INTERMACS who received a continuous-flow LVAD between 2006 and 2016 (mean age of 59 years; 146 females vs. 654 males) in which mortality rate is only %8 at 90-day (imbalanced data). The two classifiers were HeartMate Risk Score (HMRS) and a Random Forest (RF). Results: The ROC indicates fairly good performance of RF and HRMS classifiers with Area Under Curves (AUC) of 0.77 vs. 0.63, respectively. This is in contrast with their PRC with AUC of 0.43 vs. 0.16 for RF and HRMS, respectively. The PRC for HRMS showed the precision rapidly dropped to only 10% with slightly increasing sensitivity. Conclusion: The ROC can portray an overly-optimistic performance of a classifier or risk score when applied to imbalanced data. The PRC provides better insight about the performance of a classifier by focusing on the minority class.


title: Developing an end-to-end simulation framework of supernova neutrino detection

abstract: Massive stars can explode as supernovae at the end of their life cycle, releasing neutrinos whose total energy reaches $10^{53}$ erg. Moreover, neutrinos play key roles in supernovae, heating and reviving the shock wave as well as cooling the resulting protoneutron star. Therefore, neutrino detectors are waiting to observe the next galactic supernova and several theoretical simulations of supernova neutrinos are underway. While these simulation concentrate mainly on only the first one second after the supernova bounce, the only observation of a supernova with neutrinos, SN 1987A, revealed that neutrino emission lasts for more than 10 seconds. For this reason, long-time simulation and analysis tools are needed to compare theories with the next observation. Our study is to develop an integrated supernova analysis framework to prepare an analysis pipeline for treating galactic supernovae observations in the near future. This framework deals with the core-collapse, bounce and proto-neutron star cooling processes, as well as with neutrino detection on earth in a consistent manner. We have developed a new long-time supernova simulation in one dimension that explodes successfully and computes the neutrino emission for up to 20 seconds. Using this model we estimate the resulting neutrino signal in the Super-Kamiokande detector to be about 1,800 events for an explosion at 10 kpc and discuss its implications in this paper. We compare this result with the SN 1987A observation to test its reliability.


title: Possibility of Small Electron States

abstract: Some authors have claimed that there exists a minimum size (on the order of the Compton radius) for electron states composed entirely of positive-frequency solutions to the free Dirac equation. Other authors have put forward counterexamples to such claims. This article asks how the counterexamples of A. J. Bracken and G. F. Melloy [J. Phys. A. 32, 6127 (1999)] bypass two arguments against their possibility. The first is an old argument that, because of the prohibition on faster-than-light motion, the electron must be larger than a certain minimum size if it is to have the correct angular momentum and magnetic moment. This challenge can be addressed by analyzing the flow of energy and charge for the counterexample states. The second argument is an explicit proof (presented in C.-P. Chuu et al., [Solid State Commun. 150, 533 (2010)]) that there is a minimum size for purely positive-frequency electron states. This proof hinges on the assumption of a small spread in momentum space, which is violated by the counterexamples that have been put forward.


title: Interfacial Effects on Solid Electrolyte Interphase in Lithium-ion Batteries

abstract: The existence of passivating layers at the interfaces is a major factor enabling modern lithium-ion (Li-ion) batteries. Their properties determine the cycle life, performance, and safety of batteries. A special case is the solid electrolyte interphase (SEI), a heterogeneous multi-component film formed due to the instability and subsequent decomposition of the electrolyte at the surface of the anode. The SEI acts as a passivating layer that hinders further electrolyte disintegration, which is detrimental to the Coulombic efficiency. In this work, we use first-principles simulations to investigate the kinetic and electronic properties of the interface between lithium fluoride (LiF) and lithium carbonate (Li$_2$CO$_3$), two common SEI components present in Li-ion batteries with organic liquid electrolytes. We find a coherent interface between these components that restricts the strain in each of them to below 3%. We find that the interface causes a large increase in the formation energy of the Frenkel defect, generating Li vacancies in LiF and Li interstitials in Li$_2$CO$_3$ responsible for transport. On the other hand, the Li interstitial hopping barrier is reduced from $0.3$ eV in bulk Li$_2$CO$_3$ to $0.10$ or $0.22$ eV in the interfacial structure considered, demonstrating the favorable role of the interface. Controlling these two effects in a heterogeneous SEI is crucial for maintaining fast ion transport in the SEI. We further perform Car-Parrinello molecular dynamics simulations to explore Li ion conduction in our interfacial structure, which reveal an enhanced Li ion diffusion in the vicinity of the interface. Understanding the interfacial properties of the multiphase SEI represents an important frontier to enable next-generation batteries.


title: Universality for Doubly Stochastic Matrices

abstract: We show that the set of entries generated by any finite set of doubly stochastic matrices is nowhere dense, in contrast to the cases of stochastic matrices or unitary matrices. In other words, there is no finite universal set of doubly stochastic matrices, even with the weakest notion of universality. Our proof is based on a theorem for topological semigroups with the convergent property. A topological semigroup is convergent if every infinite product converges. We show that in a compact and convergent semigroup, under some restrictions, the closure of every finitely generated subsemigroup can be instead generated directly by the generating set and the limits of infinite products.


title: Structure and spectroscopy characterization of La$_{1-x}$Sm$_x$VO4 luminescent nanoparticles synthesized co-precipitation and sol-gel methods

abstract: The Sm-activated orthvanadate nanoparticles were synthesized by co-precipitation and sol-gel methods. XRD study has shown that synthesized samples are characterized by monoclinic or tetragonal structure as well as their mixture dependently on Sm concentration and methods of synthesis. Influence of method of synthesis on morphology of nanoparticles, their absorption, diffuse reflectance and emission spectra was observed and studied.


title: Pulsed laser deposition of the doped lanthanum vanadate nanoparticles on glass and silicon substrates

abstract: Thin films from the lanthanum vanadate nanoparticles were successfully grown by pulsed laser deposition method on glass and silicon substrates for the first time. Morphology and thickness of the films depend on a type of substrate and a number of pulses. The films are of 27 to 220 nm thickness and formed by very small particles up to 20 nm and also can contain single nanoparticles with dimensions 40 to 60 nm and sometimes agglomerates of nanoparticles. Spectral properties of the samples have been investigated and discussed. The vanadate films deposited on the silicon substrates lead to appearance of antireflection properties in the visible range. Luminescence spectra of the investigated films consist of narrow lines caused by f-f transitions in the europium ions. For the samples on glass substrates the wide bands of glass emission are also contributed to the spectra. The optimal experimental conditions those allowed to obtain films promising for applications as luminescent converters are considered.


title: Exploring the potential of transfer learning for metamodels of heterogeneous material deformation

abstract: From the nano-scale to the macro-scale, biological tissue is spatially heterogeneous. Even when tissue behavior is well understood, the exact subject specific spatial distribution of material properties is often unknown. And, when developing computational models of biological tissue, it is usually prohibitively computationally expensive to simulate every plausible spatial distribution of material properties for each problem of interest. Therefore, one of the major challenges in developing accurate computational models of biological tissue is capturing the potential effects of this spatial heterogeneity. Recently, machine learning based metamodels have gained popularity as a computationally tractable way to overcome this problem because they can make predictions based on a limited number of direct simulation runs. These metamodels are promising, but they often still require a high number of direct simulations to achieve an acceptable performance. Here we show that transfer learning, a strategy where knowledge gained while solving one problem is transferred to solving a different but related problem, can help overcome this limitation. Critically, transfer learning can be used to leverage both low-fidelity simulation data and simulation data that is the outcome of solving a different but related mechanical problem. In this paper, we extend Mechanical MNIST, our open source benchmark dataset of heterogeneous material undergoing large deformation, to include a selection of low-fidelity simulation results that require 2-4 orders of magnitude less CPU time to run. Then, we show that transferring the knowledge stored in metamodels trained on these low-fidelity simulation results can vastly improve the performance of metamodels used to predict the results of high-fidelity simulations.


title: On embedded minimal hypersurfaces in $S^{n+1}$ with symmetries

abstract: In this note, we generalize a characterization of the Clifford torus due to Ros. Let $f:M\rightarrow S^{n+1}$ be an embedded closed minimal hypersurface. Assume there are $(n+2)$ great hyperspheres of $S^{n+1}$ perpendicular to each other, such that $M$ is symmetric with respect to them. Let $S$ denote the square of the length of the second fundamental form of $f$ and let $\bar S=\frac{1}{Vol(M)}\int_{M} Sd M$ be the average of $S$. Then $\bar S\geq n$ with equality holding if and only if $f$ is the Clifford torus $C_{m,n-m}$. It can be rewritten as a Simons' type theorem: If $0\leq \int_M (n-S)d M$, then either $S\equiv0$ or $S\equiv n$. This answers partially a conjecture by Perdomo. Moreover, the estimate of the Willmore energy of $f$ is built: $W(M)\geq n^{\frac{n}{2}}Vol(M)$.


title: Experimental design for MRI by greedy policy search

abstract: In today's clinical practice, magnetic resonance imaging (MRI) is routinely accelerated through subsampling of the associated Fourier domain. Currently, the construction of these subsampling strategies - known as experimental design - relies primarily on heuristics. We propose to learn experimental design strategies for accelerated MRI with policy gradient methods. Unexpectedly, our experiments show that a simple greedy approximation of the objective leads to solutions nearly on-par with the more general non-greedy approach. We offer a partial explanation for this phenomenon rooted in greater variance in the non-greedy objective's gradient estimates, and experimentally verify that this variance hampers non-greedy models in adapting their policies to individual MR images. We empirically show that this adaptivity is key to improving subsampling designs.


title: Learning to Unknot

abstract: We introduce natural language processing into the study of knot theory, as made natural by the braid word representation of knots. We study the UNKNOT problem of determining whether or not a given knot is the unknot. After describing an algorithm to randomly generate $N$-crossing braids and their knot closures and discussing the induced prior on the distribution of knots, we apply binary classification to the UNKNOT decision problem. We find that the Reformer and shared-QK Transformer network architectures outperform fully-connected networks, though all perform well. Perhaps surprisingly, we find that accuracy increases with the length of the braid word, and that the networks learn a direct correlation between the confidence of their predictions and the degree of the Jones polynomial. Finally, we utilize reinforcement learning (RL) to find sequences of Markov moves and braid relations that simplify knots and can identify unknots by explicitly giving the sequence of unknotting actions. Trust region policy optimization (TRPO) performs consistently well for a wide range of crossing numbers and thoroughly outperformed other RL algorithms and random walkers. Studying these actions, we find that braid relations are more useful in simplifying to the unknot than one of the Markov moves.


title: Resolving Kirchhoff's laws for state-estimator design of Li-ion battery packs connected in parallel

abstract: A state-space model for Li-ion battery packs with parallel connected cells is introduced. The key feature of this model is an explicit solution to Kirchhoff's laws for parallel connected packs, which expresses the branch currents directly in terms of the model's states, applied current and cell resistances. This avoids the need to solve these equations numerically. To illustrate the potential of the proposed model for pack-level control and estimation, a state-estimator is introduced for the nonlinear parallel pack model. By exploiting the system structure seen in the solution to Kirchhoff's laws, algebraic conditions for the observer gains are obtained that guarantee convergence of the estimator's error. Error convergence is demonstrated through an argument based upon Aizerman's conjecture. It is hoped that the insight brought by this model formulation will allow the wealth of results developed for series connected packs to be applied to those with parallel connections.


title: A stochastic time-delayed model for the effectiveness of Moroccan COVID-19 deconfinement strategy

abstract: Coronavirus disease 2019 (COVID-19) poses a great threat to public health and the economy worldwide. Currently, COVID-19 evolves in many countries to a second stage, characterized by the need for the liberation of the economy and relaxation of the human psychological effects. To this end, numerous countries decided to implement adequate deconfinement strategies. After the first prolongation of the established confinement, Morocco moves to the deconfinement stage on May 20, 2020. The relevant question concerns the impact on the COVID-19 propagation by considering an additional degree of realism related to stochastic noises due to the effectiveness level of the adapted measures. In this paper, we propose a delayed stochastic mathematical model to predict the epidemiological trend of COVID-19 in Morocco after the deconfinement. To ensure the well-posedness of the model, we prove the existence and uniqueness of a positive solution. Based on the large number theorem for martingales, we discuss the extinction of the disease under an appropriate threshold parameter. Moreover, numerical simulations are performed in order to test the efficiency of the deconfinement strategies chosen by the Moroccan authorities to help the policy makers and public health administration to make suitable decisions in the near future.


title: Symmetric reduction of high-multiplicity one-loop integrals and maximal cuts

abstract: We derive useful reduction formulae which express one-loop Feynman integrals with a large number of external momenta in terms of lower-point integrals carrying easily derivable kinematic coefficients which are symmetric in the external momenta. These formulae apply for integrals with at least two more external legs than the dimension of the external momenta, and are presented in terms of two possible bases: one composed of a subset of descendant integrals with one fewer external legs, the other composed of the complete set of minimally-descendant integrals with just one more leg than the dimension of external momenta. In 3+1 dimensions, particularly compact representations of kinematic invariants can be computed, which easily lend themselves to spinor-helicity or trace representations. The reduction formulae have a close relationship with D-dimensional unitarity cuts, and thus provide a path towards computing full (all-epsilon) expressions for scattering at arbitrary multiplicity.


title: Exploring Dynamic Context for Multi-path Trajectory Prediction

abstract: To accurately predict future positions of different agents in traffic scenarios is crucial for safely deploying intelligent autonomous systems in the real-world environment. However, it remains a challenge due to the behavior of a target agent being affected by other agents dynamically and there being more than one socially possible paths the agent could take. In this paper, we propose a novel framework, named Dynamic Context Encoder Network (DCENet). In our framework, first, the spatial context between agents is explored by using self-attention architectures. Then, the two-stream encoders are trained to learn temporal context between steps by taking the respective observed trajectories and the extracted dynamic spatial context as input. The spatial-temporal context is encoded into a latent space using a Conditional Variational Auto-Encoder (CVAE) module. Finally, a set of future trajectories for each agent is predicted conditioned on the learned spatial-temporal context by sampling from the latent space, repeatedly. DCENet is evaluated on one of the most popular challenging benchmarks for trajectory forecasting Trajnet and reports a new state-of-the-art performance. It also demonstrates superior performance evaluated on the benchmark inD for mixed traffic at intersections. A series of ablation studies is conducted to validate the effectiveness of each proposed module. Our code is available at https://github.com/wtliao/DCENet.


title: The handlebody group and the images of the second Johnson homomorphism

abstract: Given an oriented surface bounding a handlebody, we study the subgroup of its mapping class group defined as the intersection of the handlebody group and the second term of the Johnson filtration: $\mathcal{A} \cap J_2$. We introduce two trace-like operators, inspired by Morita's trace, and show that their kernels coincide with the images by the second Johnson homomorphism $\tau_2$ of $J_2$ and $\mathcal{A} \cap J_2$, respectively. In particular, we answer by the negative to a question asked by Levine about an algebraic description of $\tau_2(\mathcal{A} \cap J_2)$. By the same techniques, and for a Heegaard surface in $S^3$, we also compute the image by $\tau_2$ of the intersection of the Goeritz group $\mathcal{G}$ with $J_2$.


title: The Combinatorial Multi-Bandit Problem and its Application to Energy Management

abstract: We study a Combinatorial Multi-Bandit Problem motivated by applications in energy systems management. Given multiple probabilistic multi-arm bandits with unknown outcome distributions, the task is to optimize the value of a combinatorial objective function mapping the vector of individual bandit outcomes to a single scalar reward. Unlike in single-bandit problems with multi-dimensional action space, the outcomes of the individual bandits are observable in our setting and the objective function is known. Guided by the hypothesis that individual observability enables better trade-offs between exploration and exploitation, we generalize the lower regret bound for single bandits, showing that indeed for multiple bandits it admits parallelized exploration. For our energy management application we propose a range of algorithms that combine exploration principles for multi-arm bandits with mathematical programming. In an experimental study we demonstrate the effectiveness of our approach to learn action assignments for 150 bandits, each having 24 actions, within a horizon of 365 episodes.


title: $L$-orthogonality in Daugavet centers and narrow operators

abstract: We study the presence of $L$-orthogonal elements in connection with Daugavet centers and narrow operators. We prove that, if $\dens(Y)\leq \omega_1$ and $G:X\longrightarrow Y$ is a Daugavet center, then $G(W)$ contains some $L$-orthogonal for every non-empty $w^*$-open subset of $B_{X^{**}}$. In the context of narrow operators, we show that if $X$ is separable and $T:X\longrightarrow Y$ is a narrow operator, then given $y\in B_X$ and any non-empty $w^*$-open subset $W$ of $B_{X^{**}}$ then $W$ contains some $L$-orthogonal $u$ so that $T^{**}(u)=T(y)$. In the particular case that $T^*(Y^*)$ is separable, we extend the previous result to $\dens(X)=\omega_1$. Finally, we prove that none of the previous results holds in larger density characters (in particular, a counterexample is shown for $\omega_2$ under continuum hypothesis).


title: View selection in multi-view stacking: Choosing the meta-learner

abstract: Multi-view stacking is a framework for combining information from different views (i.e. different feature sets) describing the same set of objects. In this framework, a base-learner algorithm is trained on each view separately, and their predictions are then combined by a meta-learner algorithm. In a previous study, stacked penalized logistic regression, a special case of multi-view stacking, has been shown to be useful in identifying which views are most important for prediction. In this article we expand this research by considering seven different algorithms to use as the meta-learner, and evaluating their view selection and classification performance in simulations and two applications on real gene-expression data sets. Our results suggest that if both view selection and classification accuracy are important to the research at hand, then the nonnegative lasso, nonnegative adaptive lasso and nonnegative elastic net are suitable meta-learners. Exactly which among these three is to be preferred depends on the research context. The remaining four meta-learners, namely nonnegative ridge regression, nonnegative forward selection, stability selection and the interpolating predictor, show little advantages in order to be preferred over the other three.


title: PATHoBot: A Robot for Glasshouse Crop Phenotyping and Intervention

abstract: We present PATHoBot an autonomous crop surveying and intervention robot for glasshouse environments. The aim of this platform is to autonomously gather high quality data and also estimate key phenotypic parameters. To achieve this we retro-fit an off-the-shelf pipe-rail trolley with an array of multi-modal cameras, navigation sensors and a robotic arm for close surveying tasks and intervention. In this paper we describe PATHoBot design choices made to ensure proper operation in a commercial glasshouse environment. As a surveying platform we collect a number of datasets which include both sweet pepper and tomatoes. We show how PATHoBot enables novel surveillance approaches by first improving our previous work on fruit counting by incorporating wheel odometry and depth information. We find that by introducing re-projection and depth information we are able to achieve an absolute improvement of 20 points over the baseline technique in an "in the wild" situation. Finally, we present a 3D mapping case study, further showcasing PATHoBot's crop surveying capabilities.


title: Keeping up with the cool stars: One TESS year in the life of AB Doradus

abstract: The long-term, high precision photometry delivered by the Transiting Exoplanet Survey Satellite (TESS) enables us to gain new insight into known and hitherto well-studied stars. In this paper, we present the result of our TESS study of the photospheric activity of the rapid rotator AB Doradus. Due to its favorable position near the southern ecliptic pole, the TESS satellite recorded almost 600 rotations of AB Doradus with high cadence, allowing us to study starspots and flares on this ultra-active star. The observed peak-to-peak variation of the rotational modulations reaches almost 11 %, and we find that the starspots on AB Doradus show highly preferred longitudinal positions. Using spot modeling, we measured the positions of the active regions on AB Doradus and we find that preferred spot configurations should include large regions extending from low to high stellar latitudes. We interpret the apparent movement of spots as the result of both differential rotation and spot evolution and argue that the typical spot lifetimes should range between 10 and 20 days. We further find a connection between the flare occurrence on AB Doradus and the visibility of the active regions on its surface, and we finally recalculated the star's rotation period using different methods and we compared it with previous determinations.


title: Towards Understanding and Demystifying Bitcoin Mixing Services

abstract: One reason for the popularity of Bitcoin is due to its anonymity. Although several heuristics have been used to break the anonymity, new approaches are proposed to enhance its anonymity at the same time. One of them is the mixing service. Unfortunately, mixing services have been abused to facilitate criminal activities, e.g., money laundering. As such, there is an urgent need to systematically understand Bitcoin mixing services. In this paper, we take the first step to understand state-of-the-art Bitcoin mixing services. Specifically, we propose a generic abstraction model for mixing services and observe that there are two mixing mechanisms in the wild, i.e. {swapping} and {obfuscating}. Based on this model, we conduct a transaction-based analysis and successfully reveal the mixing mechanisms of four representative services. Besides, we propose a method to identify mixing transactions that leverage the obfuscating mechanism. The proposed approach is able to identify over $92$\% of the mixing transactions. Based on identified transactions, we then estimate the profit of mixing services and provide a case study of tracing the money flow of stolen Bitcoins.


title: Towards Accurate and Consistent Evaluation: A Dataset for Distantly-Supervised Relation Extraction

abstract: In recent years, distantly-supervised relation extraction has achieved a certain success by using deep neural networks. Distant Supervision (DS) can automatically generate large-scale annotated data by aligning entity pairs from Knowledge Bases (KB) to sentences. However, these DS-generated datasets inevitably have wrong labels that result in incorrect evaluation scores during testing, which may mislead the researchers. To solve this problem, we build a new dataset NYTH, where we use the DS-generated data as training data and hire annotators to label test data. Compared with the previous datasets, NYT-H has a much larger test set and then we can perform more accurate and consistent evaluation. Finally, we present the experimental results of several widely used systems on NYT-H. The experimental results show that the ranking lists of the comparison systems on the DS-labelled test data and human-annotated test data are different. This indicates that our human-annotated data is necessary for evaluation of distantly-supervised relation extraction.


title: Parity violation in Poincar\'e gauge gravity

abstract: We analyse the parity violation issue in the Poincar\'e gauge theory of gravity for the two classes of models which are built as natural extensions of the Einstein-Cartan theory. The conservation laws of the matter currents are revisited and we clarify the derivation of the effective Einstein field equation and the structure of the effective energy-momentum current for arbitrary matter sources.


title: Photo-bioconvection: towards light-control of flows in active suspensions

abstract: The persistent motility of the individual constituents in microbial suspensions represents a prime example of so-called active matter systems. Cells consume energy, exert forces and move, overall releasing the constraints of equilibrium statistical mechanics of passive elements and allowing for complex spatio-temporal patterns to emerge. Moreover, when subject to physico-chemical stimuli their collective behaviour often drives large scale instabilities of hydrodynamic nature, with implications for biomixing in natural environments and incipient industrial applications. In turn, our ability for external control of these driving stimuli could be used to govern the emerging patterns. Light, being easily manipulable and, at the same time, an important stimulus for a wide variety of microorganisms, is particularly well suited to this end. In this paper, we will discuss the current state, developments, and some of the emerging advances in the fundamentals and applications of light-induced bioconvection with a focus on recent experimental realisations and modelling efforts.


title: Archiver System Management for Belle II Detector Operation

abstract: The Belle II experiment is a high-energy physics experiment at the SuperKEKB electron-positron collider. Using Belle II data, high precision measurement of rare decays and CP-violation in heavy quarks and leptons can be performed to probe New Physics. In this paper, we present the archiver system used to store the monitoring data of the Belle II detector and discuss in particular how we maintain the system that archives the monitoring process variables of the subdetectors. We currently save about 26 thousand variables including the temperature of various subdetectors components, status of water leak sensors, high voltage power supply status, data acquisition status, and luminosity information of the colliding beams. For stable data taking, it is essential to collect and archive these variables. We ensure the availability and consistency of all the variables from the subdetector and other systems, as well as the status of the archiver itself are consistent and regularly updated. To cope with a possible hardware failure, we prepared a backup archiver that is synchronized with the main archiver.


title: 3D Object Recognition By Corresponding and Quantizing Neural 3D Scene Representations

abstract: We propose a system that learns to detect objects and infer their 3D poses in RGB-D images. Many existing systems can identify objects and infer 3D poses, but they heavily rely on human labels and 3D annotations. The challenge here is to achieve this without relying on strong supervision signals. To address this challenge, we propose a model that maps RGB-D images to a set of 3D visual feature maps in a differentiable fully-convolutional manner, supervised by predicting views. The 3D feature maps correspond to a featurization of the 3D world scene depicted in the images. The object 3D feature representations are invariant to camera viewpoint changes or zooms, which means feature matching can identify similar objects under different camera viewpoints. We can compare the 3D feature maps of two objects by searching alignment across scales and 3D rotations, and, as a result of the operation, we can estimate pose and scale changes without the need for 3D pose annotations. We cluster object feature maps into a set of 3D prototypes that represent familiar objects in canonical scales and orientations. We then parse images by inferring the prototype identity and 3D pose for each detected object. We compare our method to numerous baselines that do not learn 3D feature visual representations or do not attempt to correspond features across scenes, and outperform them by a large margin in the tasks of object retrieval and object pose estimation. Thanks to the 3D nature of the object-centric feature maps, the visual similarity cues are invariant to 3D pose changes or small scale changes, which gives our method an advantage over 2D and 1D methods.


title: Lectures on Probability Theory

abstract: These are lecture notes written at the University of Zurich during spring 2014 and spring 2015. The first part of the notes gives an introduction to probability theory. It explains the notion of random events and random variables, probability measures, expectation, distributions, characteristic function, independence of random variables, types of convergence and limit theorems. The first part is separated into two different chapters. The first chapter is about combinatorial aspects of probability theory and the second chapter is the actual introduction to probability theory, which contains the modern probability language. The second part covers conditional expectations, martingales and Markov chains, which are easily accessible after reading the first part. The chapters are exactly covered in this order and go into some more details of the respective topic.


title: Tentative sensitivity of future $0\nu \beta\beta$-decay experiments to neutrino masses and Majorana CP phases

abstract: In the near future, the neutrinoless double-beta ($0\nu\beta\beta$) decay experiments will hopefully reach the sensitivity of a few ${\rm meV}$ to the effective neutrino mass $|m^{}_{\beta\beta}|$. In this paper, we tentatively examine the sensitivity of future $0\nu\beta\beta$-decay experiments to neutrino masses and Majorana CP phases by following the Bayesian statistical approach. Provided experimental setups corresponding to the sensitivity of $|m^{}_{\beta\beta}| \simeq 1~{\rm meV}$, the null observation of $0\nu\beta\beta$ decays in the case of normal neutrino mass ordering leads to a very competitive bound on the lightest neutrino mass $m^{}_1$. Namely, the $95\%$ credible interval turns out to be $1.6~{\rm meV} \lesssim m^{}_1 \lesssim 7.3~{\rm meV}$ or $0.3~{\rm meV} \lesssim m^{}_1 \lesssim 5.6~{\rm meV}$ when the uniform prior on $m^{}_1/{\rm eV}$ or on $\log^{}_{10}(m^{}_1/{\rm eV})$ is adopted. Moreover, one of two Majorana CP phases is strictly constrained, i.e., $140^\circ \lesssim \rho \lesssim 220^\circ$ for both priors of $m^{}_1$. In contrast, if a relatively worse sensitivity of $|m^{}_{\beta\beta}| \simeq 10~{\rm meV}$ is assumed, the constraint becomes accordingly $0.6~{\rm meV} \lesssim m^{}_1 \lesssim 26~{\rm meV}$ or $0 \lesssim m^{}_1 \lesssim 6.1~{\rm meV}$, while two Majorana CP phases will be essentially unconstrained. In the same statistical framework, the prospects for the determination of neutrino mass ordering and the discrimination between Majorana and Dirac nature of massive neutrinos in the $0\nu\beta\beta$-decay experiments are also discussed. Given the experimental sensitivity of $|m^{}_{\beta\beta}| \simeq 10~{\rm meV}$ (or $1~{\rm meV}$), the strength of evidence to exclude the Majorana nature under the null observation of $0\nu\beta\beta$ decays is found to be inconclusive (or strong), no matter which of two priors on $m^{}_1$ is taken.


title: High-field thermal transport properties of the Kitaev quantum magnet alpha-RuCl3: evidence for low-energy excitations beyond the critical field

abstract: We investigate the phononic in-plane longitudinal low-temperature thermal conductivity kappa_ab of the Kitaev quantum magnet alpha-RuCl3 for large in-plane magnetic fields up to 33 T. Our data reveal for fields larger than the critical field Bc ~ 8 T, at which the magnetic order is suppressed, a dramatic increase of kappa_ab at all temperatures investigated. The analysis of our data shows that the phonons are not only strongly scattered by a magnetic mode at relatively large energy which scales roughly linearly with the magnetic field, but also by a small-energy mode which emerges near Bc with a square-root-like field dependence. While the former is in striking agreement with recent spin wave theory (SWT) results of the magnetic excitation spectrum at the Gamma point, the energy of the latter is too small to be compatible with the SWT-expected magnon gap at the M point, despite the matching field dependence. Therefore, an alternative scenario based on phonon scattering off the thermal excitation of random-singlet states is proposed.


title: DeepRx MIMO: Convolutional MIMO Detection with Learned Multiplicative Transformations

abstract: Recently, deep learning has been proposed as a potential technique for improving the physical layer performance of radio receivers. Despite the large amount of encouraging results, most works have not considered spatial multiplexing in the context of multiple-input and multiple-output (MIMO) receivers. In this paper, we present a deep learning-based MIMO receiver architecture that consists of a ResNet-based convolutional neural network, also known as DeepRx, combined with a so-called transformation layer, all trained together. We propose two novel alternatives for the transformation layer: a maximal ratio combining-based transformation, or a fully learned transformation. The former relies more on expert knowledge, while the latter utilizes learned multiplicative layers. Both proposed transformation layers are shown to clearly outperform the conventional baseline receiver, especially with sparse pilot configurations. To the best of our knowledge, these are some of the first results showing such high performance for a fully learned MIMO receiver.


title: FKPP dynamics mediated by a parent field with a delay

abstract: We examine a modification of the Fisher-Kolmogorov-Petrovsky-Piskunov (FKPP) process in which the diffusing substance requires a parent density field for reproduction. A biological example would be the density of diffusing spores (propagules) and the density of a stationary fungus (parent). The parent produces propagules at a certain rate, and the propagules turn into the parent substance at another rate. We model this evolution by the FKPP process with delay, which reflects a finite time typically required for a new parent to mature before it begins to produce propagules. While the FKPP process with other types of delays have been considered in the past as a pure mathematical construct, in our work a delay in the FKPP model arises in a natural science setting. The speed of the resulting density fronts is shown to decrease with increasing delay time, and has a non-trivial dependence on the rate of conversion of propagules into the parent substance. Remarkably, the fronts in this model are always slower than Fisher waves of the classical FKPP model. The largest speed is half of the classical value, and it is achieved at zero delay and when the two rates are matched.

categories: q-bio.PE cond-mat.stat-mech math-ph math.MP nlin.PS physics.bio-ph


title: All-Weather Object Recognition Using Radar and Infrared Sensing

abstract: Autonomous cars are an emergent technology which has the capacity to change human lives. The current sensor systems which are most capable of perception are based on optical sensors. For example, deep neural networks show outstanding results in recognising objects when used to process data from cameras and Light Detection And Ranging (LiDAR) sensors. However these sensors perform poorly under adverse weather conditions such as rain, fog, and snow due to the sensor wavelengths. This thesis explores new sensing developments based on long wave polarised infrared (IR) imagery and imaging radar to recognise objects. First, we developed a methodology based on Stokes parameters using polarised infrared data to recognise vehicles using deep neural networks. Second, we explored the potential of using only the power spectrum captured by low-THz radar sensors to perform object recognition in a controlled scenario. This latter work is based on a data-driven approach together with the development of a data augmentation method based on attenuation, range and speckle noise. Last, we created a new large-scale dataset in the "wild" with many different weather scenarios (sunny, overcast, night, fog, rain and snow) showing radar robustness to detect vehicles in adverse weather. High resolution radar and polarised IR imagery, combined with a deep learning approach, are shown as a potential alternative to current automotive sensing systems based on visible spectrum optical technology as they are more robust in severe weather and adverse light conditions.


title: Pushing run-and-tumble particles through a rugged channel

abstract: We analyze the case of run-and-tumble particles pushed through a rugged channel both in the continuum and on the lattice. The current characteristic is non-monotone in the external field with (1) the appearance of a current and nontrivial density profile even at zero field for asymmetric obstacles, (2) the current decreasing with persistence at small field and increasing with persistence at large field. Activity in terms of self-propulsion increases the maximal current and postpones dying. We give an effective theoretical description with wider validity.


title: Effect of Single-ion Anisotropy on Magnetocaloric Properties of Frustrated Spin-$s$ Ising Nanoclusters

abstract: Effects of a single-ion anisotropy on magnetocaloric properties of selected spin-$s\geq 1$ antiferromagnetic Ising clusters with frustration-inducing triangular geometry are studied by exact enumeration. It is found that inclusion of the single-ion anisotropy parameter $D$ can result in a much more complex ground-state behavior, which is also reflected in a magnetocaloric effect (MCE) at finite temperatures. For negative $D$ (easy-plane anisotropy) with increasing $s$ the ground-state magnetization as a function of the external field gradually shows increasing number of plateaus of various heights. Except for the cases of integer $s$ with $D < D_0 \leq 0$, the first magnetization plateau is of non-zero height. This property facilitates an enhanced MCE in the adiabatic demagnetization process in the form of an abrupt decrease in temperature as the magnetic field vanishes to zero. The cooling rate can be considerably enhanced in the systems with larger $s$ and $D>0$ (easy-axis anisotropy), albeit its dependence on these parameters is strongly dependent on the cluster geometry. From the studied systems more favorable conditions for observing a giant MCE were found in the 2CS cluster, consisting of two corner-sharing tetrahedra, the experimental realization of which could be technologically used for efficient refrigeration to ultra-low temperatures.


title: Pencil Beamforming Increases Human Exposure to ElectroMagnetic Fields: True or False?

abstract: According to a very popular belief - very widespread among non-scientific communities - the exploitation of narrow beams, a.k.a. "pencil beamforming", results in a prompt increase of exposure levels radiated by 5G Base Stations (BSs). To face such concern with a scientific approach, in this work we propose a novel localization-enhanced pencil beamforming technique, in which the traffic beams are tuned in accordance with the uncertainty localization levels of User Equipment (UE). Compared to currently deployed beamforming techniques, which generally employ beams of fixed width, we exploit the localization functionality made available by the 5G architecture to synthesize the direction and the width of each pencil beam towards each served UE. We then evaluate the effectiveness of pencil beamforming in terms of ElectroMagnetic Field (EMF) exposure and UE throughput levels over different realistic case-studies. Results, obtained from a publicly released open-source simulator, dispel the myth: the adoption of localization-enhanced pencil beamforming triggers a prompt reduction of exposure w.r.t. other alternative techniques, which include e.g., beams of fixed width and cellular coverage not exploiting beamforming. The EMF reduction is achieved not only for the UE that are served by the pencil beams, but also over the whole territory (including the locations in proximity to the 5G BS). In addition, large throughput levels - adequate for most of 5G services - can be guaranteed when each UE is individually served by one dedicated beam.


title: Concentration inequalities on the multislice and for sampling without replacement

abstract: We present concentration inequalities on the multislice which are based on (modified) log-Sobolev inequalities. This includes bounds for convex functions and multilinear polynomials. As an application we show concentration results for the triangle count in the $G(n,M)$ Erd\H{o}s--R\'{e}nyi model resembling known bounds in the $G(n,p)$ case. Moreover, we give a proof of Talagrand's convex distance inequality for the multislice. Interpreting the multislice in a sampling without replacement context, we furthermore present concentration results for $n$ out of $N$ sampling without replacement. Based on a bounded difference inequality involving the finite-sampling correction factor $1- n/N$, we present an easy proof of Serfling's inequality with a slightly worse factor in the exponent, as well as a sub-Gaussian right tail for the Kolmogorov distance between the empirical measure and the true distribution of the sample.


title: 3XOR Games with Perfect Commuting Operator Strategies Have Perfect Tensor Product Strategies and are Decidable in Polynomial Time

abstract: We consider 3XOR games with perfect commuting operator strategies. Given any 3XOR game, we show existence of a perfect commuting operator strategy for the game can be decided in polynomial time. Previously this problem was not known to be decidable. Our proof leads to a construction, showing a 3XOR game has a perfect commuting operator strategy iff it has a perfect tensor product strategy using a 3 qubit (8 dimensional) GHZ state. This shows that for perfect 3XOR games the advantage of a quantum strategy over a classical strategy (defined by the quantum-classical bias ratio) is bounded. This is in contrast to the general 3XOR case where the optimal quantum strategies can require high dimensional states and there is no bound on the quantum advantage. To prove these results, we first show equivalence between deciding the value of an XOR game and solving an instance of the subgroup membership problem on a class of right angled Coxeter groups. We then show, in a proof that consumes most of this paper, that the instances of this problem corresponding to 3XOR games can be solved in polynomial time.


title: The Geometric Dynamical Northcott Property For Regular Polynomial Automorphisms of the Affine Plane

abstract: We establish the finiteness of periodic points, that we called Geometric Dynamical Northcott Property, for regular polynomials automorphisms of the affine plane over a function field $\mathbf{K}$ of characteristic zero, improving results of Ingram. For that, we show that when $\mathbf{K}$ is the field of rational functions of a smooth complex projective curve, the canonical height of a subvariety is the mass of an appropriate bifurcation current and that a marked point is stable if and only if its canonical height is zero. We then establish the Geometric Dynamical Northcott Property using a similarity argument.


title: Single Channel MMWave FMCW Radar for 2D Target Localization

abstract: In this paper, we present a 2D target localization method using two low cost and compact Mellimeter Wave Frequency Modulated Continuous Wave (MMW-FMCW) radars. To create a 2D map we exploit the bilateration method followed by a multi-target tracking block to remove the ghost targets. Finally, we present experimental results based on the data gathered from two FMCW radars operating at $\rm 79 \;GHz$.


title: Maximum Dimension of Subspaces with No Product Basis

abstract: Let $n\ge2$ and $d_1,\ldots,d_n\ge2$ be integers, and $\mathcal{F}$ be a field. A vector $u\in\mathcal{F}^{d_1}\otimes\cdots\otimes\mathcal{F}^{d_n}$ is called a product vector if $u=u^{[1]}\otimes\cdots\otimes u^{[n]}$ for some $u^{[1]}\in\mathcal{F}^{d_1},\ldots,u^{[n]}\in\mathcal{F}^{d_n}$. A basis composed of product vectors is called a product basis. In this paper, we show that the maximum dimension of subspaces of $\mathcal{F}^{d_1}\otimes\cdots\otimes\mathcal{F}^{d_n}$ with no product basis is equal to $d_1d_2\cdots d_n-2$ if either (i) $n=2$ or (ii) $n\ge3$ and $\#\mathcal{F}>\max\{d_i : i\not=n_1,n_2\}$ for some $n_1$ and $n_2$. When $\mathcal{F}=\mathbb{C}$, this result is related to the maximum number of simultaneously distinguishable states in general probabilistic theories (GPTs).


title: Nonlinear control of PT-symmetry and non-Hermitian topological states

abstract: Advances in topological photonics and non-Hermitian optics have drastically changed our perception on how interdisciplinary concepts may empower unprecedented applications. Bridging the two areas could uncover the reciprocity between topology and non-Hermiticity in complex systems. So far, such endeavors have focused mainly on linear-optics regime. Here, we establish a nonlinear non-Hermitian topological platform for control of parity-time (PT) symmetry and topological edge states. Experimentally, we demonstrate that optical nonlinearity effectively modulates the gain and loss of a topological interface waveguide in a non-Hermitian Su-Schrieffer-Heeger lattice, leading to switching between PT and non-PT-symmetric regimes accompanied by destruction and restoration of topological zero modes. Theoretically, we examine the fundamental issue of the interplay between two antagonistic effects: the sensitivity close to exceptional points and the robustness of non-Hermitian topological modes. Realizing single-channel control of global PT-symmetry via local nonlinearity may herald new possibilities for light manipulation and unconventional device applications.


title: Sharp threshold for alignment of graph databases with Gaussian weights

abstract: We study the fundamental limits for reconstruction in weighted graph (or matrix) database alignment. We consider a model of two graphs where $\pi^*$ is a planted uniform permutation and all pairs of edge weights $(A_{i,j}, B_{\pi^*(i),\pi^*(j)})_{1 \leq i<j \leq n}$ are i.i.d. pairs of Gaussian variables with zero mean, unit variance and correlation parameter $\rho \in [0,1]$. We prove that there is a sharp threshold for exact recovery of $\pi^*$: if $n \rho^2 \geq (4+\epsilon) \log n + \omega(1)$ for some $\epsilon>0$, there is an estimator $\hat{\pi}$ -- namely the MAP estimator -- based on the observation of databases $A,B$ that achieves exact reconstruction with high probability. Conversely, if $n \rho^2 \leq 4 \log n - \log \log n - \omega(1)$, then any estimator $\hat{\pi}$ verifies $\hat{\pi}=\pi$ with probability $o(1)$. This result shows that the information-theoretic threshold for exact recovery is the same as the one obtained for detection in a recent work by Wu et al. (2020): in other words, for Gaussian weighted graph alignment, the problem of reconstruction is not more difficult than that of detection. Though the reconstruction task was already well understood for vector-shaped database alignment (that is taking signal of the form $(u_i, v_{\pi^*(i)})_{1 \leq i\leq n}$ where $(u_i, v_{\pi^*(i)})$ are i.i.d. pairs in $\mathbb{R}^{d_u} \times \mathbb{R}^{d_v}$), its formulation for graph (or matrix) databases brings a drastically different problem for which the hard phase is conjectured to be wide. The proofs build upon the analysis of the MAP estimator and the second moment method, together with the study of the correlation structure of energies of permutations.


title: The effects of star formation history in the SFR-M relation of HII galaxies

abstract: We discuss the implications of assuming different star formation histories (SFH) in the relation between star formation rate (SFR) and mass derived by the spectral energy distribution fitting (SED). Our analysis focuses on a sample of HII galaxies, dwarf starburst galaxies spectroscopically selected through their strong narrow emission lines in SDSS DR13 at z<0.4, cross-matched with photometric catalogs from GALEX, SDSS, UKIDSS and WISE. We modeled and fitted the SEDs with the code CIGALE adopting different descriptions of SFH. By adding information from different independent studies we find that HII galaxies are best described by episodic SFHs including an old (10 Gyr), an intermediate age (100-1000 Myr) and a recent population with ages < 10 Myr. HII galaxies agree with the SFR-M relation from local star-forming galaxies, and only lie above such relation when the current SFR is adopted as opposed to the average over the entire SFH. The SFR-M demonstrated not to be a good tool to provide additional information about the SFH of HII galaxies, as different SFH present a similar behavior with a spread of <0.1 dex.


title: Robust Localization in Wireless Networks From Corrupted Signals

abstract: We address the problem of timing-based localization in wireless networks, when an unknown fraction of data is corrupted by nonideal signal conditions. While timing-based techniques enable accurate localization, they are also sensitive to such corrupted data. We develop a robust method that is applicable to a range of localization techniques, including time-of-arrival, time-difference-of-arrival and time-difference in schedule-based transmissions. The method is nonparametric and requires only an upper bound on the fraction of corrupted data, thus obviating distributional assumptions of the corrupting noise distribution. The robustness of the method is demonstrated in numerical experiments.


title: Learning Vision-based Reactive Policies for Obstacle Avoidance

abstract: In this paper, we address the problem of vision-based obstacle avoidance for robotic manipulators. This topic poses challenges for both perception and motion generation. While most work in the field aims at improving one of those aspects, we provide a unified framework for approaching this problem. The main goal of this framework is to connect perception and motion by identifying the relationship between the visual input and the corresponding motion representation. To this end, we propose a method for learning reactive obstacle avoidance policies. We evaluate our method on goal-reaching tasks for single and multiple obstacles scenarios. We show the ability of the proposed method to efficiently learn stable obstacle avoidance strategies at a high success rate, while maintaining closed-loop responsiveness required for critical applications like human-robot interaction.


title: 3D-Printed Terahertz Topological Waveguides

abstract: Compact and robust waveguide chips are crucial for new integrated terahertz applications, such as high-speed interconnections between processors and broadband short-range wireless communications. Progress on topological photonic crystals shows potential to improve integrated terahertz systems that suffer from high losses around sharp bends. Robust terahertz topological transport through sharp bends on a silicon chip has been recently reported over a relatively narrow bandwidth. Here, we report the experimental demonstration of topological terahertz planar air-channel metallic waveguides which can be integrated into an on-chip interconnect. Our platform can be fabricated by a simple, cost-effective technique combining 3D-printing and gold-sputtering. The relative size of the measured topological bandgap is ~12.5%, which entails significant improvement over all-silicon terahertz topological waveguides (~7.8%). We further demonstrate robust THz propagation around defects and delay lines. Our work provides a promising path towards compact integrated terahertz devices as a next frontier for terahertz wireless communications.


title: Teaching Programming for Mathematical Scientists

abstract: Over the past thirty years or so the authors have been teaching various programming for mathematics courses at our respective Universities, as well as incorporating computer algebra and numerical computation into traditional mathematics courses. These activities are, in some important ways, natural precursors to the use of Artificial Intelligence in Mathematics Education. This paper reflects on some of our course designs and experiences and is therefore a mix of theory and practice. Underlying both is a clear recognition of the value of computer programming for mathematics education. We use this theory and practice to suggest good techniques for and to raise questions about the use of AI in Mathematics Education.


title: Advanced Join Patterns for the Actor Model based on CEP Techniques

abstract: Context: Actor-based programming languages offer many essential features for developing modern distributed reactive systems. These systems exploit the actor model's isolation property to fulfill their performance and scalability demands. Unfortunately, the reliance of the model on isolation as its most fundamental property requires programmers to express complex interaction patterns between their actors to be expressed manually in terms of complex combinations of messages sent between the isolated actors. Inquiry: In the last three decades, several language design proposals have been introduced to reduce the complexity that emerges from describing said interaction and coordination of actors. We argue that none of these proposals is satisfactory in order to express the many complex interaction patterns between actors found in modern reactive distributed systems. Approach: We describe seven smart home automation scenarios (in which an actor represents every smart home appliance) to motivate the support by actor languages for five radically different types of message synchronization patterns, which are lacking in modern distributed actor-based languages. Fortunately, these five types of synchronisation patterns have been studied extensively by the Complex Event Processing (CEP) community. Our paper describes how such CEP patterns are elegantly added to an actor-based programming language. Knowledge: Based on our findings, we propose an extension of the single-message matching paradigm of contemporary actor-based languages in order to support a multiple-message matching way of thinking in the same way as proposed by CEP languages. Our proposal thus enriches the actor-model by ways of declaratively describing complex message combinations to which an actor can respond. Grounding: We base the problem-statement of the paper on an online poll in the home automation community that has motivated the real need for the CEP-based synchronisation operators between actors proposed in the paper. Furthermore, we implemented a DSL -- called Sparrow -- that supports said operators and we argue quantitatively (in terms of LOC and in terms of a reduction of the concerns that have to be handled by programmers) that the DSL outperforms existing approaches. Importance: This work aims to provide a set of synchronization operators that help actor-based languages to handle the complex interaction required by modern reactive distributed systems. To the best of our knowledge, our proposal is the first one to add advanced CEP synchronization operators to the -- relatively simplistic single-message based matching -- mechanisms of most actor-based languages.


title: Programming Metamorphic Algorithms: An Experiment in Type-Driven Algorithm Design

abstract: In dependently typed programming, proofs of basic, structural properties can be embedded implicitly into programs and do not need to be written explicitly. Besides saving the effort of writing separate proofs, a most distinguishing and fascinating aspect of dependently typed programming is that it makes the idea of interactive type-driven development much more powerful, where expressive type information becomes useful hints that help the programmer to complete a program. There have not been many attempts at exploiting the full potential of the idea, though. As a departure from the usual properties dealt with in dependently typed programming, and as a demonstration that the idea of interactive type-driven development has more potential to be discovered, we conduct an experiment in ?type-driven algorithm design?: we develop algorithms from their specifications encoded in sophisticated types, to see how useful the hints provided by a type-aware interactive development environment can be. The algorithmic problem we choose is metamorphisms, whose definitional behaviour is consuming a data structure to compute an intermediate value and then producing a codata structure from that value, but there are other ways to compute metamorphisms. We develop Gibbons?s streaming algorithm and Nakano?s jigsaw model in the interactive development environment provided by the dependently typed language Agda, turning intuitive ideas about these algorithms into formal conditions and programs that are correct by construction.


title: Prioritising Server Side Reachability via Inter-process Concolic Testing

abstract: Context: Most approaches to automated white-box testing consider the client side and the server side of a web application in isolation from each other. Such testers lack a whole-program perspective on the web application under test. Inquiry: We hypothesise that an additional whole-program perspective would enable the tester to discover which server side errors can be triggered by an actual end user accessing the application through the client, and which ones can only be triggered in hypothetical scenarios. Approach: In this paper, we explore the idea of employing such a whole-program perspective in testing. To this end, we develop , a novel concolic tester which operates on full-stack JavaScript web applications, where both the client and the server side are JavaScript processes communicating via asynchronous messages -- as enabled by the WebSocket or Socket.IO-libraries. Knowledge: We find that the whole-program perspective enables discerning high-priority errors, which are reachable from a particular client, from low-priority errors, which are not accessible through the tested client. Another benefit of the perspective is that it allows the automated tester to construct practical, step-by-step scenarios for triggering server side errors from the end user's perspective. Grounding: We apply on a collection of web applications to evaluate how effective testing is in distinguishing between high- and low-priority errors. The results show that correctly classifies the majority of server errors. Importance: This paper demonstrates the feasibility of testing as a novel approach for automatically testing web applications. Classifying errors as being of high or low importance aids developers in prioritising bugs that might be encountered by users, and postponing the diagnosis of bugs that are less easily reached.


title: Transparent Compiler and Runtime Specializations for Accelerating Managed Languages on FPGAs

abstract: In recent years, heterogeneous computing has emerged as the vital way to increase computers? performance and energy efficiency by combining diverse hardware devices, such as Graphics Processing Units (GPUs) and Field Programmable Gate Arrays (FPGAs). The rationale behind this trend is that different parts of an application can be offloaded from the main CPU to diverse devices, which can efficiently execute these parts as co-processors. FPGAs are a subset of the most widely used co-processors, typically used for accelerating specific workloads due to their flexible hardware and energy-efficient characteristics. These characteristics have made them prevalent in a broad spectrum of computing systems ranging from low-power embedded systems to high-end data centers and cloud infrastructures. However, these hardware characteristics come at the cost of programmability. Developers who create their applications using high-level programming languages (e.g., Java, Python, etc.) are required to familiarize with a hardware description language (e.g., VHDL, Verilog) or recently heterogeneous programming models (e.g., OpenCL, HLS) in order to exploit the co-processors? capacity and tune the performance of their applications. Currently, the above-mentioned heterogeneous programming models support exclusively the compilation from compiled languages, such as C and C++. Thus, the transparent integration of heterogeneous co-processors to the software ecosystem of managed programming languages (e.g. Java, Python) is not seamless. In this paper we rethink the engineering trade-offs that we encountered, in terms of transparency and compilation overheads, while integrating FPGAs into high-level managed programming languages. We present a novel approach that enables runtime code specialization techniques for seamless and high-performance execution of Java programs on FPGAs. The proposed solution is prototyped in the context of the Java programming language and TornadoVM; an open-source programming framework for Java execution on heterogeneous hardware. Finally, we evaluate the proposed solution for FPGA execution against both sequential and multi-threaded Java implementations showcasing up to 224x and 19.8x performance speedups, respectively, and up to 13.82x compared to TornadoVM running on an Intel integrated GPU. We also provide a break-down analysis of the proposed compiler optimizations for FPGA execution, as a means to project their impact on the applications? characteristics.


title: Using Relational Problems to Teach Property-Based Testing

abstract: Context: The success of QuickCheck has led to the development of property-based testing (PBT) libraries for many languages and the process is getting increasing attention. However, unlike regular testing, PBT is not widespread in collegiate curricula. Furthermore, the value of PBT is not limited to software testing. The growing use of formal methods in, and the growth of software synthesis, all create demand for techniques to train students and developers in the art of specification writing. We posit that PBT forms a strong bridge between testing and the act of specification: it's a form of testing where the tester is actually writing abstract specifications. Inquiry: Even well-informed technologists mention the difficulty of finding good motivating examples for its use. We take steps to fill this lacuna. Approach & Knowledge: We find that the use of "relational" problems -- those for which an input may admit multiple valid outputs -- easily motivates the use of PBT. We also notice that such problems are readily available in the computer science pantheon of problems (e.g., many graph and sorting algorithms). We have been using these for some years now to teach PBT in collegiate courses. Grounding: In this paper, we describe the problems we use and report on students? completion of them. We believe the problems overcome some of the motivation issues described above. We also show that students can do quite well at PBT for these problems, suggesting that the topic is well within their reach. In the process, we introduce a simple method to evaluate the accuracy of their specifications, and use it to characterize their common mistakes. Importance: Based on our findings, we believe that relational problems are an underutilized motivating example for PBT. We hope this paper initiates a catalog of such problems for educators (and developers) to use, and also provides a concrete (though by no means exclusive) method to analyze the quality of PBT.


title: Lake symbols for island parsing

abstract: Context: An island parser reads an input text and builds the parse (or abstract syntax) tree of only the programming constructs of interest in the text. These constructs are called islands and the rest of the text is called water, which the parser ignores and skips over. Since an island parser does not have to parse all the details of the input, it is often easy to develop but still useful enough for a number of software engineering tools. When a parser generator is used, the developer can implement an island parser by just describing a small number of grammar rules, for example, in Parsing Expression Grammar (PEG). Inquiry: In practice, however, the grammar rules are often complicated since the developer must define the water inside the island; otherwise, the island parsing will not reduce the total number of grammar rules. When describing the grammar rules for such water, the developer must consider other rules and enumerate a set of symbols, which we call alternative symbols. Due to this difficulty, island parsing seems to be not widely used today despite its usefulness in many applications. Approach: This paper proposes the lake symbols for addressing this difficulty in developing an island parser. It also presents an extension to PEG for supporting the lake symbols. The lake symbols automate the enumeration of the alternative symbols for the water inside an island. The paper proposes an algorithm for translating the extended PEG to the normal PEG, which can be given to an existing parser generator based on PEG. Knowledge: The user can use lake symbols to define water without specifying each alternative symbol. Our algorithms can calculate all alternative symbols for a lake symbol, based on where the lake symbol is used in the grammar. Grounding: We implemented a parser generator accepting our extended PEG and implemented 36 island parsers for Java and 20 island parsers for Python. Our experiments show that the lake symbols reduce 42 % of grammar rules for Java and 89 % of rules for Python on average, excluding the case where islands are expressions. Importance: This work eases the use of island parsing. Lake symbols enable the user to define the water inside the island simpler than before. Defining water inside the island is essential to apply island parsing for practical programming languages.


title: Automatic Counting and Identification of Train Wagons Based on Computer Vision and Deep Learning

abstract: In this work, we present a robust and efficient solution for counting and identifying train wagons using computer vision and deep learning. The proposed solution is cost-effective and can easily replace solutions based on radiofrequency identification (RFID), which are known to have high installation and maintenance costs. According to our experiments, our two-stage methodology achieves impressive results on real-world scenarios, i.e., 100% accuracy in the counting stage and 99.7% recognition rate in the identification one. Moreover, the system is able to automatically reject some of the train wagons successfully counted, as they have damaged identification codes. The results achieved were surprising considering that the proposed system requires low processing power (i.e., it can run in low-end setups) and that we used a relatively small number of images to train our Convolutional Neural Network (CNN) for character recognition. The proposed method is registered, under number BR512020000808-9, with the National Institute of Industrial Property (Brazil).


title: Hessian of Hausdorff dimension on purely imaginary directions

abstract: We extend classical results of Bridgeman-Taylor and McMullen on the Hessian of the Hausdorff dimension on quasi-Fuchsian space to the class of (1,1,2)-hyperconvex representations, a class introduced in arXiv:1902.01303 which includes small complex deformations of Hitchin representations and of $\Theta$-positive representations. We also prove that the Hessian of the Hausdorff dimension of the limit set at the inclusion $\Gamma\to PO(n,1) \to PU(n,1)$ is positive definite when $\Gamma$ is co-compact in $PO(n,1)$ (unless $n=2$ and the deformation is tangent to $\mathfrak{X}(\Gamma,PO(2,1))).$


title: Ethical Decision Making During Automated Vehicle Crashes

abstract: Automated vehicles have received much attention recently, particularly the DARPA Urban Challenge vehicles, Google's self-driving cars, and various others from auto manufacturers. These vehicles have the potential to significantly reduce crashes and improve roadway efficiency by automating the responsibilities of the driver. Still, automated vehicles are expected to crash occasionally, even when all sensors, vehicle control components, and algorithms function perfectly. If a human driver is unable to take control in time, a computer will be responsible for pre-crash behavior. Unlike other automated vehicles--such as aircraft, where every collision is catastrophic, and guided track systems, which can only avoid collisions in one dimension--automated roadway vehicles can predict various crash trajectory alternatives and select a path with the lowest damage or likelihood of collision. In some situations, the preferred path may be ambiguous. This study investigates automated vehicle crashing and concludes the following: (1) automated vehicles will almost certainly crash, (2) an automated vehicle's decisions preceding certain crashes will have a moral component, and (3) there is no obvious way to effectively encode complex human morals in software. A three-phase approach to developing ethical crashing algorithms is presented, consisting of a rational approach, an artificial intelligence approach, and a natural language requirement. The phases are theoretical and should be implemented as the technology becomes available.


title: Multiscale Fractal Analysis on EEG Signals for Music-Induced Emotion Recognition

abstract: Emotion Recognition from EEG signals has long been researched as it can assist numerous medical and rehabilitative applications. However, their complex and noisy structure has proven to be a serious barrier for traditional modeling methods. In this paper, we employ multifractal analysis to examine the behavior of EEG signals in terms of presence of fluctuations and the degree of fragmentation along their major frequency bands, for the task of emotion recognition. In order to extract emotion-related features we utilize two novel algorithms for EEG analysis, based on Multiscale Fractal Dimension and Multifractal Detrended Fluctuation Analysis. The proposed feature extraction methods perform efficiently, surpassing some widely used baseline features on the competitive DEAP dataset, indicating that multifractal analysis could serve as basis for the development of robust models for affective state recognition.


title: Monogamy relations and upper bounds for the generalized $W$-class states using R\'{e}nyi-$\alpha$ entropy

abstract: We investigate monogamy relations and upper bounds for generalized $W$-class states related to the R\'{e}nyi-$\alpha$ entropy. First, we present an analytical formula on R\'{e}nyi-$\alpha$ entanglement (R$\alpha$E) and R\'{e}nyi-$\alpha$ entanglement of assistance (REoA) of a reduced density matrix for a generalized $W$-class states. According to the analytical formula, we show monogamy and polygamy relations for generalized $W$-class states in terms of R$\alpha$E and REoA. Then we give the upper bounds for generalized $W$-class states in terms of R$\alpha$E. Next, we provide tighter monogamy relations for generalized $W$-class states in terms of concurrence and convex-roof extended negativity and obtain the monogamy relations for R$\alpha$E by the analytical expression between R$\alpha$E and concurrence. Finally, we apply our results into quantum games and present a new bound of the nonclassicality of quantum games restricting to generalized $W$-class states.


title: Discovery potential of FASER$\nu$ with contained vertex and through-going events

abstract: FASER$\nu$ is a newly proposed detector whose main mission is to detect the neutrino flux from the collision of the proton beams at the ATLAS Interaction Point (IP) during the run III of the LHC in 2022-2024. We show that this detector can also test certain beyond standard model scenarios, especially the ones in which the neutrino interaction with matter fields can produce new unstable particles decaying back into charged leptons. Models of this kind are motivated by the MiniBooNE anomaly. We show that, if the new physics involves multi-muon production by neutrinos scattering off matter fields, including the neutrino flux interactions in the rock before the detector in the analysis ({\it i.e.,} accounting for the through-going muon pairs) can significantly increase the effective detector mass and its sensitivity to new physics. We propose a concrete model that can give rise to such a multi-muon signal.


title: Embedding Meta-Textual Information for Improved Learning to Rank

abstract: Neural approaches to learning term embeddings have led to improved computation of similarity and ranking in information retrieval (IR). So far neural representation learning has not been extended to meta-textual information that is readily available for many IR tasks, for example, patent classes in prior-art retrieval, topical information in Wikipedia articles, or product categories in e-commerce data. We present a framework that learns embeddings for meta-textual categories, and optimizes a pairwise ranking objective for improved matching based on combined embeddings of textual and meta-textual information. We show considerable gains in an experimental evaluation on cross-lingual retrieval in the Wikipedia domain for three language pairs, and in the Patent domain for one language pair. Our results emphasize that the mode of combining different types of information is crucial for model improvement.


title: A Critical Assessment of State-of-the-Art in Entity Alignment

abstract: In this work, we perform an extensive investigation of two state-of-the-art (SotA) methods for the task of Entity Alignment in Knowledge Graphs. Therefore, we first carefully examine the benchmarking process and identify several shortcomings, which make the results reported in the original works not always comparable. Furthermore, we suspect that it is a common practice in the community to make the hyperparameter optimization directly on a test set, reducing the informative value of reported performance. Thus, we select a representative sample of benchmarking datasets and describe their properties. We also examine different initializations for entity representations since they are a decisive factor for model performance. Furthermore, we use a shared train/validation/test split for a fair evaluation setting in which we evaluate all methods on all datasets. In our evaluation, we make several interesting findings. While we observe that most of the time SotA approaches perform better than baselines, they have difficulties when the dataset contains noise, which is the case in most real-life applications. Moreover, we find out in our ablation study that often different features of SotA methods are crucial for good performance than previously assumed. The code is available at https://github.com/mberr/ea-sota-comparison.


title: Product throttling for power domination

abstract: The product power throttling number of a graph is defined to study product throttling for power domination. The domination number of a graph is an upper bound for its product power throttling number. It is established that the two parameters are equal for certain families including paths, cycles, complete graphs, unit interval graphs, and grid graphs (on the plane, cylinder, and torus). Families of graphs for which the product power throttling number is less than the domination number are also exhibited. Graphs with extremely high or low product power throttling number are characterized and bounds on the product power throttling number are established.


title: A Combinatorial Cut-Toggling Algorithm for Solving Laplacian Linear Systems

abstract: Over the last two decades, a significant line of work in theoretical algorithms has made progress in solving linear systems whose coefficient matrix is the Laplacian matrix of a weighted graph. The solution of the linear system can be interpreted as the potentials of an electrical flow. Kelner, Orrechia, Sidford, and Zhu (STOC 2013) give a combinatorial, near-linear time algorithm that maintains the Kirchoff Current Law, and gradually enforces the Kirchoff Potential Law by updating flows around cycles (cycle toggling). In this paper, we consider a dual version of the algorithm that maintains the Kirchoff Potential Law, and gradually enforces the Kirchoff Current Law by cut toggling: each iteration updates all potentials on one side of a fundamental cut of a spanning tree by the same amount. We prove that this dual algorithm also runs in a near-linear number of iterations. We show, however, that if we abstract cut toggling as a natural data structure problem, this problem can be reduced to the online vector-matrix-vector problem, which has been conjectured to be difficult for dynamic algorithms by Henzinger, Krinninger, Nanongkai, and Saranurak (STOC 2015). The conjecture implies that a straightforward implementation of the cut-toggling algorithm requires essentially linear time per iteration. To circumvent the lower bound, we batch update steps, and perform them simultaneously instead of sequentially. An appropriate choice of batching leads to an $\tilde{O}(m^{1.5})$ time cut-toggling algorithm for solving Laplacian systems. Furthermore, if we sparsify the graph and call our algorithm recursively on the Laplacian system implied by batching and sparsifying, the running time can be reduced to $O(m^{1+\epsilon})$ for any $\epsilon > 0$. Thus, the dual cut-toggling algorithm can achieve (almost) the same running time as its primal cycle-toggling counterpart.


title: MID-Radio Telescope, Single Pixel Feed Packages for the Square Kilometre Array: An Overview

abstract: The Square Kilometre Array (SKA) project is an international effort to build the world s largest radio telescope, enabling science with unprecedented detail and survey speed. The project spans over a decade and is now at a mature stage, ready to enter the construction and integration phase. In the fully deployed state, the MID-Telescope consists of a 150-km diameter array of offset Gregorian antennas installed in the radio quiet zone of the Karoo desert (South Africa). Each antenna is equipped with three feed packages, that are precision positioned in the sub-reflector focus by a feed indexer platform. The total observational bandwidth (0.35-15.4GHz) is segmented into seven bands. Band 1 (0.35-1.05GHz) and Band 2 (0.95-1.76GHz) are implemented as individual feed packages. The remaining five bands (Bands 3, 4, 5a, 5b, and 6) are combined in a single feed package. Initially only Band 5a (4.6-8.5GHz) and Band 5b (8.3-15.4GHz) will be installed. This paper provides an overview of recent progress on design, test and integration of each feed package as well as project and science goals, timeline and path to construction.


title: Interpreting glottal flow dynamics for detecting COVID-19 from voice

abstract: In the pathogenesis of COVID-19, impairment of respiratory functions is often one of the key symptoms. Studies show that in these cases, voice production is also adversely affected -- vocal fold oscillations are asynchronous, asymmetrical and more restricted during phonation. This paper proposes a method that analyzes the differential dynamics of the glottal flow waveform (GFW) during voice production to identify features in them that are most significant for the detection of COVID-19 from voice. Since it is hard to measure this directly in COVID-19 patients, we infer it from recorded speech signals and compare it to the GFW computed from physical model of phonation. For normal voices, the difference between the two should be minimal, since physical models are constructed to explain phonation under assumptions of normalcy. Greater differences implicate anomalies in the bio-physical factors that contribute to the correctness of the physical model, revealing their significance indirectly. Our proposed method uses a CNN-based 2-step attention model that locates anomalies in time-feature space in the difference of the two GFWs, allowing us to infer their potential as discriminative features for classification. The viability of this method is demonstrated using a clinically curated dataset of COVID-19 positive and negative subjects.


title: On the Steinberg character of a reductive p-adic group

abstract: The aim of this paper is to give generalizationof the constructionof the Steinberg tempered character on a connected reductive p-adic group. We prove that this character is invariant by the weak restriction of the Jacquet module by analogy to finite reductive groups.


title: A structure-preserving, operator splitting scheme for reaction-diffusion equations with detailed balance

abstract: In this paper, we propose and analyze a positivity-preserving, energy stable numerical scheme for certain type reaction-diffusion systems involving the Law of Mass Action with the detailed balance condition. The numerical scheme is constructed based on a recently developed energetic variational formulation, in which the reaction part is reformulated in terms of reaction trajectories. The fact that both the reaction and the diffusion parts dissipate the same free energy opens a path of an energy stable, operator splitting scheme for these systems. At the reaction stage, we solve equations of reaction trajectories by treating all the logarithmic terms in the reformulated form implicitly due to their convex nature. The positivity-preserving property and unique solvability can be theoretically proved, based on the singular behavior of the logarithmic function around the limiting value. Moreover, the energy stability of this scheme at the reaction stage can be proved by a careful convexity analysis. Similar techniques are used to establish the positivity-preserving property and energy stability for the standard semi-implicit solver at the diffusion stage. As a result, a combination of these two stages leads to a positivity-preserving and energy-stable numerical scheme for the original reaction-diffusion system. To our best knowledge, it is the first time to report an energy-dissipation-law-based operator splitting scheme to a nonlinear PDE with variational structures. Several numerical examples are presented to demonstrate the robustness of the proposed operator splitting scheme.


title: Positivity preserving logarithmic Euler-Maruyama type scheme for stochastic differential equations

abstract: In this paper, we propose a class of explicit positivity preserving numerical methods for general stochastic differential equations which have positive solutions. Namely, all the numerical solutions are positive. Under some reasonable conditions, we obtain the convergence and the convergence rate results for these methods. The main difficulty is to obtain the strong convergence and the convergence rate for stochastic differential equations whose coefficients are of exponential growth. Some numerical experiments are provided to illustrate the theoretical results for our schemes.


title: DeepWay: a Deep Learning Waypoint Estimator for Global Path Generation

abstract: Agriculture 3.0 and 4.0 have gradually introduced service robotics and automation into several agricultural processes, mostly improving crops quality and seasonal yield. Row-based crops are the perfect settings to test and deploy smart machines capable of monitoring and manage the harvest. In this context, global path generation is essential either for ground or aerial vehicles, and it is the starting point for every type of mission plan. Nevertheless, little attention has been currently given to this problem by the research community and global path generation automation is still far to be solved. In order to generate a viable path for an autonomous machine, the presented research proposes a feature learning fully convolutional model capable of estimating waypoints given an occupancy grid map. In particular, we apply the proposed data-driven methodology to the specific case of row-based crops with the general objective to generate a global path able to cover the extension of the crop completely. Extensive experimentation with a custom made synthetic dataset and real satellite-derived images of different scenarios have proved the effectiveness of our methodology and demonstrated the feasibility of an end-to-end and completely autonomous global path planner.


title: Being Single Has Benefits. Instance Poisoning to Deceive Malware Classifiers

abstract: The performance of a machine learning-based malware classifier depends on the large and updated training set used to induce its model. In order to maintain an up-to-date training set, there is a need to continuously collect benign and malicious files from a wide range of sources, providing an exploitable target to attackers. In this study, we show how an attacker can launch a sophisticated and efficient poisoning attack targeting the dataset used to train a malware classifier. The attacker's ultimate goal is to ensure that the model induced by the poisoned dataset will be unable to detect the attacker's malware yet capable of detecting other malware. As opposed to other poisoning attacks in the malware detection domain, our attack does not focus on malware families but rather on specific malware instances that contain an implanted trigger, reducing the detection rate from 99.23% to 0% depending on the amount of poisoning. We evaluate our attack on the EMBER dataset with a state-of-the-art classifier and malware samples from VirusTotal for end-to-end validation of our work. We propose a comprehensive detection approach that could serve as a future sophisticated defense against this newly discovered severe threat.