title: Performance Analysis of NOMA Uplink Networks under Statistical QoS Delay Constraints

abstract: In the fifth generation and beyond (B5G), delayconstraints emerge as a topic of particular interest, e.g. forultra-reliable low latency communications (URLLC) such asautonomous vehicles and enhanced reality. In this paper, westudythe performance of a two-user uplink NOMA network understatistical quality of service (QoS) delay constraints, capturedthrough each user s effective capacity (EC). We propose novelclosed-form expressions for the EC of the NOMA users andshow that in the high signal to noise ratio (SNR) region, the 'strong' NOMA user has a limited EC, assuming the same delayconstraint as the 'weak' user. We demonstrate that for the weakuser, OMA achieves higher EC than NOMA at small values ofthe transmit SNR, while NOMA outperforms OMA in terms ofEC at high SNRs. On the other hand, for the strong user theopposite is true, i.e., NOMA achieves higher EC than OMA atsmall SNRs, while OMA becomes more beneficial at high SNRs.This result raises the question of introducing 'adaptive' OMA /NOMA policies, based jointly on the users delay constraints aswell as on the available transmit power.


title: Identification of perturbative ambiguity canceled against bion

abstract: It was conjectured that bions, semi-classical objects found in a compactified spacetime, are responsible for the cancellation of the so-called renormalon ambiguities. Contrary to the conjecture, we argue that the ambiguity due to the bion corresponds to the proliferation of Feynman diagrams. We point out that the amplitudes of almost all Feynman diagrams are enhanced due to modifications of the infrared structure of perturbation theory upon an $S^1$ compactification and twisted boundary conditions. Our findings clarify the role of the semi-classical object in resurgence structure, which has been a controversial issue in recent years.


title: A novel semi-supervised multi-view clustering framework for screening Parkinson's disease

abstract: In recent years, there are many research cases for the diagnosis of Parkinson's disease (PD) with the brain magnetic resonance imaging (MRI) by utilizing the traditional unsupervised machine learning methods and the supervised deep learning models. However, unsupervised learning methods are not good at extracting accurate features among MRIs and it is difficult to collect enough data in the field of PD to satisfy the need of training deep learning models. Moreover, most of the existing studies are based on single-view MRI data, of which data characteristics are not sufficient enough. In this paper, therefore, in order to tackle the drawbacks mentioned above, we propose a novel semi-supervised learning framework called Semi-supervised Multi-view learning Clustering architecture technology (SMC). The model firstly introduces the sliding window method to grasp different features, and then uses the dimensionality reduction algorithms of Linear Discriminant Analysis (LDA) to process the data with different features. Finally, the traditional single-view clustering and multi-view clustering methods are employed on multiple feature views to obtain the results. Experiments show that our proposed method is superior to the state-of-art unsupervised learning models on the clustering effect. As a result, it may be noted that, our work could contribute to improving the effectiveness of identifying PD by previous labeled and subsequent unlabeled medical MRI data in the realistic medical environment.


title: REST vs GraphQL: A Controlled Experiment

abstract: GraphQL is a novel query language for implementing service-based software architectures. The language is gaining momentum and it is now used by major software companies, such as Facebook and GitHub. However, we still lack empirical evidence on the real gains achieved by GraphQL, particularly in terms of the effort required to implement queries in this language. Therefore, in this paper we describe a controlled experiment with 22 students (10 undergraduate and 12 graduate), who were asked to implement eight queries for accessing a web service, using GraphQL and REST. Our results show that GraphQL requires less effort to implement remote service queries when compared to REST (9 vs 6 minutes, median times). These gains increase when REST queries include more complex endpoints, with several parameters. Interestingly, GraphQL outperforms REST even among more experienced participants (as is the case of graduate students) and among participants with previous experience in REST, but no previous experience in GraphQL.


title: A theorem on integration based on the digital expansion

abstract: The binary radix expansion of a real number can be used to code the outcome of any series of coin tosses, a fact that provides an intriguing link between number theory, measure theory and statistical physics. Inspired by this fact, a general result is established for the definite integral of a differentiable function of a single variable that allows any such integral to be exactly written in terms of a double series. The theorem can be directly applied to a wide variety of integrals of physical interest and to derive new series expansions of real numbers and real-valued functions. We apply the theorem to the integration of the equation of motion in one dimension of classical Hamiltonian systems, focusing in the analysis of the nonlinear pendulum.


title: Machine Learning-based Approach for Depression Detection in Twitter Using Content and Activity Features

abstract: Social media channels, such as Facebook, Twitter, and Instagram, have altered our world forever. People are now increasingly connected than ever and reveal a sort of digital persona. Although social media certainly has several remarkable features, the demerits are undeniable as well. Recent studies have indicated a correlation between high usage of social media sites and increased depression. The present study aims to exploit machine learning techniques for detecting a probable depressed Twitter user based on both, his/her network behavior and tweets. For this purpose, we trained and tested classifiers to distinguish whether a user is depressed or not using features extracted from his/ her activities in the network and tweets. The results showed that the more features are used, the higher are the accuracy and F-measure scores in detecting depressed users. This method is a data-driven, predictive approach for early detection of depression or other mental illnesses. This study's main contribution is the exploration part of the features and its impact on detecting the depression level.


title: On thought experiments: Mach and Einstein (Part I)

abstract: This paper will attempt to show that the Doppler principle was of major relevance to Einstein for the genesis of the special theory of relativity.


title: A torsion-free algebraically C*-unique group

abstract: Let $p$ and $q$ be multiplicatively independent integers. We show that the complex group ring of $\mathbb{Z}[\frac{1}{pq}]\rtimes\mathbb{Z}^2$ admits a unique $\mathrm{C}^*$-norm. The proof uses a characterization, due to Furstenberg, of closed $\times p-$ and $\times q-$invariant subsets of $\mathbb{T}$.


title: An Optimal Condition of Robust Low-rank Matrices Recovery

abstract: In this paper we investigate the reconstruction conditions of nuclear norm minimization for low-rank matrix recovery. We obtain sufficient conditions $\delta_{tr}<t/(4-t)$ with $0<t<4/3$ to guarantee the robust reconstruction $(z\neq0)$ or exact reconstruction $(z=0)$ of all rank $r$ matrices $X\in\mathbb{R}^{m\times n}$ from $b=\mathcal{A}(X)+z$ via nuclear norm minimization. Furthermore, we not only show that when $t=1$, the upper bound of $\delta_r<1/3$ is the same as the result of Cai and Zhang \cite{Cai and Zhang}, but also demonstrate that the gained upper bounds concerning the recovery error are better. Moreover, we prove that the restricted isometry property condition is sharp. Besides, the numerical experiments are conducted to reveal the nuclear norm minimization method is stable and robust for the recovery of low-rank matrix.


title: A Meshfree Lagrangian Method for Flow on Manifolds

abstract: In this paper, we present a novel meshfree framework for fluid flow simulations on arbitrarily curved surfaces. First, we introduce a new meshfree Lagrangian framework to model flow on surfaces. Meshfree points or particles, which are used to discretize the domain, move in a Lagrangian sense along the given surface. This is done without discretizing the bulk around the surface, without parametrizing the surface, and without a background mesh. A key novelty that is introduced is the handling of flow with evolving free boundaries on a curved surface. The use of this framework to model flow on moving and deforming surfaces is also introduced. Then, we present the application of this framework to solve fluid flow problems defined on surfaces numerically. In combination with a meshfree Generalized Finite Difference Method (GFDM), we introduce a strong form meshfree collocation scheme to solve the Navier-Stokes equations posed on manifolds. Benchmark examples are proposed to validate the Lagrangian framework and the surface Navier-Stokes equations with the presence of free boundaries.


title: A model of diffractive excitation in $pp$ collisions at high energies

abstract: A phenomenological model for the description of the single and double diffractive excitation in $pp$ collisions at high energies is presented. Considering the Good -- Walker approach, we propose a model for the eigenstates of the scattering operator and for the treatment of the interaction between them, with the high energy behavior of the cross section driven by perturbative QCD. The behavior of the total, elastic, single and double diffractive cross sections are analyzed and predictions for the energies of Run 3 of the LHC and those of the Cosmic Rays experiments are derived. We demonstrate that the model describes the current data for the energy dependence of the cross sections. A comparison with the recent data for the $\rho$ parameter and the differential elastic cross section are also presented and shortcomings of the current model are discussed.


title: AP-MTL: Attention Pruned Multi-task Learning Model for Real-time Instrument Detection and Segmentation in Robot-assisted Surgery

abstract: Surgical scene understanding and multi-tasking learning are crucial for image-guided robotic surgery. Training a real-time robotic system for the detection and segmentation of high-resolution images provides a challenging problem with the limited computational resource. The perception drawn can be applied in effective real-time feedback, surgical skill assessment, and human-robot collaborative surgeries to enhance surgical outcomes. For this purpose, we develop a novel end-to-end trainable real-time Multi-Task Learning (MTL) model with weight-shared encoder and task-aware detection and segmentation decoders. Optimization of multiple tasks at the same convergence point is vital and presents a complex problem. Thus, we propose an asynchronous task-aware optimization (ATO) technique to calculate task-oriented gradients and train the decoders independently. Moreover, MTL models are always computationally expensive, which hinder real-time applications. To address this challenge, we introduce a global attention dynamic pruning (GADP) by removing less significant and sparse parameters. We further design a skip squeeze and excitation (SE) module, which suppresses weak features, excites significant features and performs dynamic spatial and channel-wise feature re-calibration. Validating on the robotic instrument segmentation dataset of MICCAI endoscopic vision challenge, our model significantly outperforms state-of-the-art segmentation and detection models, including best-performed models in the challenge.


title: A Comparative Study on Parameter Estimation in Software Reliability Modeling using Swarm Intelligence

abstract: This work focuses on a comparison between the performances of two well-known Swarm algorithms: Cuckoo Search (CS) and Firefly Algorithm (FA), in estimating the parameters of Software Reliability Growth Models. This study is further reinforced using Particle Swarm Optimization (PSO) and Ant Colony Optimization (ACO). All algorithms are evaluated according to real software failure data, the tests are performed and the obtained results are compared to show the performance of each of the used algorithms. Furthermore, CS and FA are also compared with each other on bases of execution time and iteration number. Experimental results show that CS is more efficient in estimating the parameters of SRGMs, and it has outperformed FA in addition to PSO and ACO for the selected Data sets and employed models.


title: An Introduction to Disk Margins

abstract: This paper provides a tutorial introduction to disk margins. These are robust stability measures that account for simultaneous gain and phase perturbations in a feedback system. The paper first reviews the classical (gain-only and phase-only) margins and their limitations. This motivates the use of disk margins which are defined using a set of perturbations that have simultaneous gain and phase variations. A necessary and sufficient condition is provided to compute the disk margin for a single-input, single-output feedback system. Frequency-dependent disk margins can also be computed yielding additional insight. The paper concludes with a discussion of stability margins for multiple-input, multiple output (MIMO) feedback systems. A typical approach is to assess robust stability "loop-at-a-time" with a perturbation introduced into a single channel and all other channels held at their nominal values. MIMO disk margins provide a useful extension to consider simultaneous variations in multiple channels. This multiple-loop analysis can provide a more accurate robustness assessment as compared to the loop-at-a-time approach.


title: Multi-Task Recurrent Neural Network for Surgical Gesture Recognition and Progress Prediction

abstract: Surgical gesture recognition is important for surgical data science and computer-aided intervention. Even with robotic kinematic information, automatically segmenting surgical steps presents numerous challenges because surgical demonstrations are characterized by high variability in style, duration and order of actions. In order to extract discriminative features from the kinematic signals and boost recognition accuracy, we propose a multi-task recurrent neural network for simultaneous recognition of surgical gestures and estimation of a novel formulation of surgical task progress. To show the effectiveness of the presented approach, we evaluate its application on the JIGSAWS dataset, that is currently the only publicly available dataset for surgical gesture recognition featuring robot kinematic data. We demonstrate that recognition performance improves in multi-task frameworks with progress estimation without any additional manual labelling and training.


title: Interactive versus non-interactive locally differentially private estimation: Two elbows for the quadratic functional

abstract: Local differential privacy has recently received increasing attention from the statistics community as a valuable tool to protect the privacy of individual data owners without the need of a trusted third party. Similar to the classical notion of randomized response, the idea is that data owners randomize their true information locally and only release the perturbed data. Many different protocols for such local perturbation procedures can be designed. In most estimation problems studied in the literature so far, however, no significant difference in terms of minimax risk between purely non-interactive protocols and protocols that allow for some amount of interaction between individual data providers could be observed. In this paper we show that for estimating the integrated square of a density, sequentially interactive procedures improve substantially over the best possible non-interactive procedure in terms of minimax rate of estimation. In particular, in the non-interactive scenario we identify an elbow in the minimax rate at $s=\frac34$, whereas in the sequentially interactive scenario the elbow is at $s=\frac12$. This is markedly different from both, the case of direct observations, where the elbow is well known to be at $s=\frac14$, as well as from the case where Laplace noise is added to the original data, where an elbow at $s= \frac94$ is obtained. We also provide adaptive estimators that achieve the optimal rate up to log-factors, we draw connections to non-parametric goodness-of-fit testing and estimation of more general integral functionals and conduct a series of numerical experiments. The fact that a particular locally differentially private, but interactive, mechanism improves over the simple non-interactive one is also of great importance for practical implementations of local differential privacy.


title: ENTMOOT: A Framework for Optimization over Ensemble Tree Models

abstract: Gradient boosted trees and other regression tree models perform well in a wide range of real-world, industrial applications. These tree models (i) offer insight into important prediction features, (ii) effectively manage sparse data, and (iii) have excellent prediction capabilities. Despite their advantages, they are generally unpopular for decision-making tasks and black-box optimization, which is due to their difficult-to optimize structure and the lack of a reliable uncertainty measure. ENTMOOT is our new framework for integrating (already trained) tree models into larger optimization problems. The contributions of ENTMOOT include: (i) explicitly introducing a reliable uncertainty measure that is compatible with tree models, (ii) solving the larger optimization problems that incorporate these uncertainty aware tree models, (iii) proving that the solutions are globally optimal, i.e. no better solution exists. In particular, we show how the ENTMOOT approach allows a simple integration of tree models into decision-making and black-box optimization, where it proves as a strong competitor to commonly-used frameworks.


title: Off-diagonal Symmetric Nonnegative Matrix Factorization

abstract: Symmetric nonnegative matrix factorization (symNMF) is a variant of nonnegative matrix factorization (NMF) that allows to handle symmetric input matrices and has been shown to be particularly well suited for clustering tasks. In this paper, we present a new model, dubbed off-diagonal symNMF (ODsymNMF), that does not take into account the diagonal entries of the input matrix in the objective function. ODsymNMF has three key advantages compared to symNMF. First, ODsymNMF is theoretically much more sound as there always exists an exact factorization of size at most $\nicefrac{n(n-1)}{2}$ where $n$ is the dimension of the input matrix. Second, it makes more sense in practice as diagonal entries of the input matrix typically correspond to the similarity between an item and itself, not bringing much information. Third, it makes the optimization problem much easier to solve. In particular, it will allow us to design an algorithm based on coordinate descent that minimizes the component-wise $\ell_1$ norm between the input matrix and its approximation. We prove that this norm is much better suited for binary input matrices often encountered in practice. We also derive a coordinate descent method for the component-wise $\ell_2$ norm, and compare the two approaches with symNMF on synthetic and document data sets.


title: Parallel Robust Computation of Generalized Eigenvectors of Matrix Pencils

abstract: In this paper we consider the problem of computing generalized eigenvectors of a matrix pencil in real Schur form. In exact arithmetic, this problem can be solved using substitution. In practice, substitution is vulnerable to floating-point overflow. The robust solvers xTGEVC in LAPACK prevent overflow by dynamically scaling the eigenvectors. These subroutines are sequential scalar codes which compute the eigenvectors one by one. In this paper we discuss how to derive robust blocked algorithms. The new StarNEig library contains a robust task-parallel solver Zazamoukh which runs on top of StarPU. Our numerical experiments show that Zazamoukh achieves a super-linear speedup compared with DTGEVC for sufficiently large matrices.


title: Floating under a levitating liquid

abstract: When placed upside down a liquid surface is known to destabilize above a certain size. However, vertical shaking can have a dynamical stabilizing effect. These oscillations can also make air bubbles sink in the liquid when created below a given depth. Here, we use these effects to levitate large volumes of liquid above an air layer. The loaded air layer acts as a spring-mass oscillator which resonantly amplifies the shaking amplitude of the bath. We achieve stabilization of half a liter of liquid with up to 20 cm width. We further show that the dynamic stabilization creates a symmetric Archimedes' principle on the lower interface as if gravity was inverted. Hence, immersed bodies can float upside down under the levitated liquid.


title: Interferometer for force measurement by shortcut-to-adiabatic arms guiding

abstract: We propose a compact atom interferometer to measure homogeneous constant forces guiding the arms via shortcuts to adiabatic paths. For a given sensitivity, which only depends on the space-time area of the guiding paths, the cycle time can be made fast without loosing visibility. The atom is driven by spin-dependent trapping potentials moving in opposite directions, complemented by linear and time-dependent potentials that compensate the trap acceleration. Thus the arm states are adiabatic in the moving frames, and non-adiabatic in the laboratory frame. The trapping potentials may be anharmonic, e.g. optical lattices, and the interferometric phase does not depend on the initial motional state or on the pivot point for swaying the linear potentials.


title: A phase-field model of frictional shear fracture in geologic materials

abstract: Geologic shear fractures such as faults and slip surfaces involve marked friction along the discontinuities as they are subjected to significant confining pressures. This friction plays a critical role in the growth of these shear fractures, as revealed by the fracture mechanics theory of Palmer and Rice decades ago. In this paper, we develop a novel phase-field model of shear fracture in pressure-sensitive geomaterials, honoring the role of friction in the fracture propagation mechanism. Building on a recently proposed phase-field method for frictional interfaces, we formulate a set of governing equations for different contact conditions (or lack thereof) in which frictional energy dissipation emerges in the crack driving force during slip. We then derive the degradation function and the threshold fracture energy of the phase-field model such that the stress-strain behavior is insensitive to the length parameter for phase-field regularization. This derivation procedure extends a methodology used in recent phase-field models of cohesive tensile fracture to shear fracture in frictional materials in which peak and residual strengths coexist and evolve by confining pressure. The resulting phase-field formulation is demonstrably consistent with the theory of Palmer and Rice. Numerical examples showcase that the proposed phase-field model is a physically sound and numerically efficient method for simulating shear fracture processes in geologic materials, such as faulting and slip surface growth.


title: Off-Road Drivable Area Extraction Using 3D LiDAR Data

abstract: We propose a method for off-road drivable area extraction using 3D LiDAR data with the goal of autonomous driving application. A specific deep learning framework is designed to deal with the ambiguous area, which is one of the main challenges in the off-road environment. To reduce the considerable demand for human-annotated data for network training, we utilize the information from vast quantities of vehicle paths and auto-generated obstacle labels. Using these autogenerated annotations, the proposed network can be trained using weakly supervised or semi-supervised methods, which can achieve better performance with fewer human annotations. The experiments on our dataset illustrate the reasonability of our framework and the validity of our weakly and semi-supervised methods.


title: Architectural Software Patterns for the Development of IoT Smart Applications

abstract: Software developers usually start coding an application with no formal architecture in mind and relying on intuition and experience instead of on well-known design patters. A different approach is recommended for the development of IoT smart applications due to its high complexity that combines sensors, actuators, communication technologies, and big data analytics, as well as its distributed nature that spans for different layers of field, fog, and cloud infrastructure. Literature reports many experiences of software development for IoT smart applications. However, architectural solutions are presented with no rationale for the choice of software components and the way they relate to each other. This paper proposes a classification for software components and their relationships in order to model a software architecture for a particular IoT smart application. Three smart applications for cities, buildings, and agriculture were selected as examples of using some components, connectors, and well-known design patterns. Finally, the problems and challenges involved in the choice of software architectures for IoT are discussed.


title: Some remarks on the maximally modulated Calder\'on-Zygmund operator satisfying $L^r$-H\"ormander condition

abstract: In this work, by recent work of Lerner and Ombrasi (J. Geom. Anal. 30(1): 1011-1027, 2020), we show a maximally modulated singular integral operator which its kernel satisfying $L^r$- H\"ormander condition can be dominated by sparse operators. Also, the local exponential decay estimates for these operators are obtained.


title: Probing the inflationary background of gravitational waves from large to small scales

abstract: The detection of Primordial Gravitational Waves (PGWs) is one of the most important goals of modern cosmology since PGWs can both provide substantial evidence for primordial inflation and shed light on its physical nature. Small scale experiments on gravitational waves such as LIGO/VIRGO and, in future, LISA and Einstein Telescope (ET), being sensitive to the stochastic background of gravitational waves, can be used together with the CMB data to constrain the inflationary parameters. In performing these analyses the primordial tensor spectrum is usually parametrized with a power law that includes only the amplitude and a scale independent tilt. In this paper, we investigate the robustness of assuming the tensor tilt as scale independent. We show that due to the huge difference in the scales probed by CMB and GWs data, even a small scale dependence can remarkably affect the shape of the primordial spectrum possibly breaking the power-law assumption. When the non-linear corrections are considered the final constraints can be significantly changed. We also study the scale dependence in two different physical models of inflation providing an example of negligible scale dependence and an example of non-negligible scale dependence.


title: Reconstruction of 3D flight trajectories from ad-hoc camera networks

abstract: We present a method to reconstruct the 3D trajectory of an airborne robotic system only from videos recorded with cameras that are unsynchronized, may feature rolling shutter distortion, and whose viewpoints are unknown. Our approach enables robust and accurate outside-in tracking of dynamically flying targets, with cheap and easy-to-deploy equipment. We show that, in spite of the weakly constrained setting, recent developments in computer vision make it possible to reconstruct trajectories in 3D from unsynchronized, uncalibrated networks of consumer cameras, and validate the proposed method in a realistic field experiment. We make our code available along with the data, including cm-accurate ground-truth from differential GNSS navigation.


title: Nilpotency degree of the nilradical of a solvable Lie algebra on two generators

abstract: Given a sequence $\vec d=(d_1,\dots,d_k)$ of natural numbers, we consider the Lie subalgebra $\mathfrak{h}$ of $\mathfrak{gl}(d,\mathbb{F})$, where $d=d_1+\cdots +d_k$ and $\mathbb{F}$ is a field of characteristic 0, generated by two block upper triangular matrices $D$ and $E$ partitioned according to $\vec d$, and study the problem of computing the nilpotency degree $m$ of the nilradical $\mathfrak{n}$ of $\mathfrak{h}$. We obtain a complete answer when $D$ and $E$ belong to a certain family of matrices that arises naturally when attempting to classify the indecomposable modules of certain solvable Lie algebras. Our determination of $m$ depends in an essential manner on the symmetry of $E$ with respect to an outer automorphism of $\mathfrak{sl}(d)$. The proof that $m$ depends solely on this symmetry is long and delicate. As a direct application of our investigations on $\mathfrak{h}$ and $\mathfrak{n}$ we give a full classification of all uniserial modules of an extension of the free $\ell$-step nilpotent Lie algebra on $n$ generators when $\mathbb{F}$ is algebraically closed.


title: Multivariate Functional Regression via Nested Reduced-Rank Regularization

abstract: We propose a nested reduced-rank regression (NRRR) approach in fitting regression model with multivariate functional responses and predictors, to achieve tailored dimension reduction and facilitate interpretation/visualization of the resulting functional model. Our approach is based on a two-level low-rank structure imposed on the functional regression surfaces. A global low-rank structure identifies a small set of latent principal functional responses and predictors that drives the underlying regression association. A local low-rank structure then controls the complexity and smoothness of the association between the principal functional responses and predictors. Through a basis expansion approach, the functional problem boils down to an interesting integrated matrix approximation task, where the blocks or submatrices of an integrated low-rank matrix share some common row space and/or column space. An iterative algorithm with convergence guarantee is developed. We establish the consistency of NRRR and also show through non-asymptotic analysis that it can achieve at least a comparable error rate to that of the reduced-rank regression. Simulation studies demonstrate the effectiveness of NRRR. We apply NRRR in an electricity demand problem, to relate the trajectories of the daily electricity consumption with those of the daily temperatures.


title: Pursuing Sources of Heterogeneity in Modeling Clustered Population

abstract: Researchers often have to deal with heterogeneous population with mixed regression relationships, increasingly so in the era of data explosion. In such problems, when there are many candidate predictors, it is not only of interest to identify the predictors that are associated with the outcome, but also to distinguish the true sources of heterogeneity, i.e., to identify the predictors that have different effects among the clusters and thus are the true contributors to the formation of the clusters. We clarify the concepts of the source of heterogeneity that account for potential scale differences of the clusters and propose a regularized finite mixture effects regression to achieve heterogeneity pursuit and feature selection simultaneously. As the name suggests, the problem is formulated under an effects-model parameterization, in which the cluster labels are missing and the effect of each predictor on the outcome is decomposed to a common effect term and a set of cluster-specific terms. A constrained sparse estimation of these effects leads to the identification of both the variables with common effects and those with heterogeneous effects. We propose an efficient algorithm and show that our approach can achieve both estimation and selection consistency. Simulation studies further demonstrate the effectiveness of our method under various practical scenarios. Three applications are presented, namely, an imaging genetics study for linking genetic factors and brain neuroimaging traits in Alzheimer's disease, a public health study for exploring the association between suicide risk among adolescents and their school district characteristics, and a sport analytics study for understanding how the salary levels of baseball players are associated with their performance and contractual status.


title: Estimating multi-index models with response-conditional least squares

abstract: The multi-index model is a simple yet powerful high-dimensional regression model which circumvents the curse of dimensionality assuming $ \mathbb{E} [ Y | X ] = g(A^\top X) $ for some unknown index space $A$ and link function $g$. In this paper we introduce a method for the estimation of the index space, and study the propagation error of an index space estimate in the regression of the link function. The proposed method approximates the index space by the span of linear regression slope coefficients computed over level sets of the data. Being based on ordinary least squares, our approach is easy to implement and computationally efficient. We prove a tight concentration bound that shows $N^{-1/2}$-convergence, but also faithfully describes the dependence on the chosen partition of level sets, hence giving indications on the hyperparameter tuning. The estimator's competitiveness is confirmed by extensive comparisons with state-of-the-art methods, both on synthetic and real data sets. As a second contribution, we establish minimax optimal generalization bounds for k-nearest neighbors and piecewise polynomial regression when trained on samples projected onto any $N^{-1/2}$-consistent estimate of the index space, thus providing complete and provable estimation of the multi-index model.


title: The "good'' Boussinesq equation: long-time asymptotics

abstract: We consider the initial-value problem for the ``good'' Boussinesq equation on the line. Using inverse scattering techniques, the solution can be expressed in terms of the solution of a $3 \times 3$-matrix Riemann-Hilbert problem. We establish formulas for the long-time asymptotics of the solution by performing a Deift-Zhou steepest descent analysis of a regularized version of this Riemann-Hilbert problem.


title: Mechanisms of surface nanostructuring of Al2O3 and MgO by grazing incidence irradiation with swift heavy ions

abstract: We experimentally discovered that Al2O3 and MgO exhibit well-pronounced nanometric modifications on the surfaces when irradiated under grazing incidence with 23 MeV I beam, in contrast to normal incidence irradiation with the same ion beam when no damage was found. Moreover, ions in these two materials produce notably different structures: grooves surrounded with nanohillocks on MgO surfaces vs. smoother, roll-like discontinuous structures on the surfaces of Al2O3. To explain these results, detailed numerical simulations were performed. We identified that a presence of the surface inhibits recrystallization process, thereby preventing transient tracks from recovery, and thus forming observable nanopatterns. Furthermore, a difference in the viscosities in molten states in Al2O3 vs. MgO explains the differences in the created nanostructures. Our results thus provide a deeper understanding of the fundamental processes of surface nanostructuring, potentially allowing for controlled production of periodic surface nanopatterns.


title: An Under-Approximate Relational Logic: Heralding Logics of Insecurity, Incorrect Implementation & More

abstract: Recently, authors have proposed under-approximate logics for reasoning about programs. So far, all such logics have been confined to reasoning about individual program behaviours. Yet there exist many over-approximate relational logics for reasoning about pairs of programs and relating their behaviours. We present the first under-approximate relational logic, for the simple imperative language IMP. We prove our logic is both sound and complete. Additionally, we show how reasoning in this logic can be decomposed into non-relational reasoning in an under-approximate Hoare logic, mirroring Beringer's result for over-approximate relational logics. We illustrate the application of our logic on some small examples in which we provably demonstrate the presence of insecurity.


title: Metafeatures-based Rule-Extraction for Classifiers on Behavioral and Textual Data

abstract: Machine learning models on behavioral and textual data can result in highly accurate prediction models, but are often very difficult to interpret. Rule-extraction techniques have been proposed to combine the desired predictive accuracy of complex "black-box" models with global explainability. However, rule-extraction in the context of high-dimensional, sparse data, where many features are relevant to the predictions, can be challenging, as replacing the black-box model by many rules leaves the user again with an incomprehensible explanation. To address this problem, we develop and test a rule-extraction methodology based on higher-level, less-sparse metafeatures. A key finding of our analysis is that metafeatures-based explanations are better at mimicking the behavior of the black-box prediction model, as measured by the fidelity of explanations.


title: Reservoir memory machines

abstract: In recent years, Neural Turing Machines have gathered attention by joining the flexibility of neural networks with the computational capabilities of Turing machines. However, Neural Turing Machines are notoriously hard to train, which limits their applicability. We propose reservoir memory machines, which are still able to solve some of the benchmark tests for Neural Turing Machines, but are much faster to train, requiring only an alignment algorithm and linear regression. Our model can also be seen as an extension of echo state networks with an external memory, enabling arbitrarily long storage without interference.


title: Addressing multiple metrics of group fairness in data-driven decision making

abstract: The Fairness, Accountability, and Transparency in Machine Learning (FAT-ML) literature proposes a varied set of group fairness metrics to measure discrimination against socio-demographic groups that are characterized by a protected feature, such as gender or race.Such a system can be deemed as either fair or unfair depending on the choice of the metric. Several metrics have been proposed, some of them incompatible with each other.We do so empirically, by observing that several of these metrics cluster together in two or three main clusters for the same groups and machine learning methods. In addition, we propose a robust way to visualize multidimensional fairness in two dimensions through a Principal Component Analysis (PCA) of the group fairness metrics. Experimental results on multiple datasets show that the PCA decomposition explains the variance between the metrics with one to three components.


title: A serendipitous discovery of GeV gamma-ray emission from supernova 2004dj in a survey of nearby star-forming galaxies with Fermi-LAT

abstract: The interaction between a supernova ejecta and the circum-stellar medium drives a strong shock wave which accelerates particles (i.e., electrons and protons). The radio and X-ray emission observed after the supernova explosion constitutes the evidence of the electron acceleration. The accelerated protons are expected to produce GeV-TeV gamma-ray emission via $pp$ collisions, but the flux is usually low since only a small fraction of the supernova kinetic energy is converted into the shock energy at the very early time. The low gamma-ray flux of the nearest supernova explosion, SN 1987A, agrees with this picture. Here we report a serendipitous discovery of a fading GeV gamma-ray source in spatial coincidence with the second nearest supernova--SN 2004dj from our gamma-ray survey of nearby star-forming galaxies with Fermi-LAT. The total gamma-ray energy released by SN 2004dj is about $6\times10^{47}{\rm erg}$. We interpret this gamma-ray emission arising from the supernova ejecta interacting with a surrounding high-density shell, which decelerates the ejecta and converts ~1% of the ejecta's kinetic energy to relativistic protons. In addition, our gamma-ray survey of nearby star-forming galaxies discovers GeV emissions from two star-forming galaxies, i.e., Arp 299 and M33, for the first time.


title: Curve graphs for Artin-Tits groups of type $B$, $\widetilde A$ and $\widetilde C$ are hyperbolic

abstract: The \emph{graph of irreducible parabolic subgroups} is a combinatorial object associated to an Artin-Tits group $A$ defined so as to coincide with the curve graph of the $(n+1)$-times punctured disk when $A$ is Artin's braid group on $(n+1)$ strands. In this case, it is a hyperbolic graph, by the celebrated Masur-Minsky's theorem. Hyperbolicity for more general Artin-Tits groups is an important open question. In this paper, we give a partial affirmative answer. For $n\geqslant 3$, we prove that the graph of irreducible parabolic subgroups associated to the Artin-Tits group of spherical type $B_n$ is also isomorphic to the curve graph of the $(n+1)$-times punctured disk, hence it is hyperbolic. For $n\geqslant 2$, we show that the graphs of irreducible parabolic subgroups associated to the Artin-Tits groups of euclidean type $\widetilde A_n$ and $\widetilde C_n$ are isomorphic to some subgraphs of the curve graph of the $(n+2)$-times punctured disk which are not quasi-isometrically embedded. We prove nonetheless that these graphs are hyperbolic.


title: Dam Burst: A region-merging-based image segmentation method

abstract: Until now, all single level segmentation algorithms except CNN-based ones lead to over segmentation. And CNN-based segmentation algorithms have their own problems. To avoid over segmentation, multiple thresholds of criteria are adopted in region merging process to produce hierarchical segmentation results. However, there still has extreme over segmentation in the low level of the hierarchy, and outstanding tiny objects are merged to their large adjacencies in the high level of the hierarchy. This paper proposes a region-merging-based image segmentation method that we call it Dam Burst. As a single level segmentation algorithm, this method avoids over segmentation and retains details by the same time. It is named because of that it simulates a flooding from underground destroys dams between water-pools. We treat edge detection results as strengthening structure of a dam if it is on the dam. To simulate a flooding from underground, regions are merged by ascending order of the average gra-dient inside the region.


title: Convergence Guarantees for Non-Convex Optimisation with Cauchy-Based Penalties

abstract: In this paper, we propose a proximal splitting methodology with a non-convex penalty function based on the heavy-tailed Cauchy distribution. We first suggest a closed-form expression for calculating the proximal operator of the Cauchy prior, which then makes it applicable in generic proximal splitting algorithms. We further derive the condition required for guaranteed convergence to a solution in optimisation problems involving the Cauchy based penalty function. Setting the system parameters by satisfying the proposed condition ensures convergence even though the overall cost function is non-convex when minimisation is performed via a proximal splitting algorithm. The proposed method based on Cauchy regularisation is evaluated by solving generic signal processing examples, i.e. 1D signal denoising in the frequency domain, two image reconstruction tasks including de-blurring and denoising, and error recovery in a multiple-antenna communication system. We experimentally verify the proposed convergence conditions for various cases, and show the effectiveness of the proposed Cauchy based non-convex penalty function over state-of-the-art penalty functions such as $L_1$ and total variation ($TV$) norms.


title: Supporting the Supporters of Unaccompanied Migrant Youth: Designing for Social-ecological Resilience

abstract: Unaccompanied migrant youth, fleeing to a new country without their parents, are exposed to mental health risks. Resilience interventions mitigate such risks, but access can be hindered by systemic and personal barriers. While much work has recently addressed designing technology to promote mental health, none has focused on the needs of these populations. This paper presents the results of interviews with 18 professional/ volunteer support workers and 5 unaccompanied migrant youths, followed by three design workshops. The results point to the diverse systems that can facilitate youths' resilience development. The relationship between the youth and volunteers acting as mentors is particularly important for increasing resilience but comes with challenges. This suggests the relevance of a social-ecological model of resilience with a focus on designing technology to support the mentors in order to help them better support the youth. We conclude by mapping out the design space for mentor support.


title: Observational detection of correlation between galaxy spins and initial conditions

abstract: Galaxy spins can be predicted from the initial conditions in the early Universe through the tidal tensor twist. In simulations, their directions are well preserved through cosmic time, consistent with expectations of angular momentum conservation. We report a $\sim 3 \sigma$ detection of correlation between observed oriented directions of galaxy angular momenta and their predictions based on the initial density field reconstructed from the positions of SDSS galaxies. The detection is driven by a group of spiral galaxies classified by the Galaxy Zoo as (anti-)clockwise, with a modest improvement from adding galaxies from MaNGA and SAMI surveys. This is the first such detection of the oriented galaxy spin direction, which opens a way to use measurements of galaxy spins to probe fundamental physics in the early Universe.


title: On survey of nuclei and hypernuclei in multifragmentation

abstract: Multifragmentation reactions are dominating processes for the decomposition of highly excited nuclei leading to the fragment production in heavy-ion collisions. At high energy reactions strange particles are abundantly produced. We present a novel development of the Statistical multifragmentation model (SMM) as its generalization for the hyper-matter which is formed after the hyperon capture. In this way, it is possible to describe its disintegration into normal and hyper-nuclei. Some properties of hyper-nuclei and their binding energies can be determined from the comparison of the isotope yields. The main focus of this method is to investigate strange and multi-strange hypernuclei since their properties are not easy to measure in traditional hyper-nuclei experiments.


title: A probabilistic analysis of the Fermi paradox in terms of the Drake formula: the role of the L factor

abstract: In evaluating the number of technological civilizations N in the Galaxy through the Drake formula, emphasis is mostly put on the astrophysical and biotechnological factors describing the emergence of a civilization and much less on its the lifetime, which is intimately related to its demise. It is argued here that this factor is in fact the most important regarding the practical implications of the Drake formula, because it determines the maximal extent of the "sphere of influence" of any technological civilization. The Fermi paradox is studied in the terms of a simplified version of the Drake formula, through Monte Carlo simulations of N civilizations expanding in the Galaxy during their space faring lifetime L. In the framework of that scheme, the probability of "direct contact" is determined as the fraction of the Galactic volume occupied collectively by the "spheres of influence" of N civilizations. The results of the analysis are used to determine regions in the parameter space where the Fermi paradox holds. It is argued that in a large region of the diagram the corresponding parameters suggest rather a "weak" Fermi paradox. Future research may reveal whether a "strong" paradox holds in some part of the parameter space. Finally, it is argued that the value of N is not bound by N=1 from below, contrary to what is usually assumed, but it may have a statistical interpretation.


title: Beyond sets with atoms: definability in first order logic

abstract: Sets with atoms serve as an alternative to ZFC foundations for mathematics, where some infinite, though highly symmetric sets, behave in a finitistic way. Therefore, one can try to carry over analysis of the classical algorithms from finite structures to some infinite structures. Recent results show that this is indeed possible and leads to many practical applications. In this paper we shall take another route to finite analysis of infinite sets, which extends and sheds more light on sets with atoms. As an application of our theory we give a characterisation of languages recognized by automata definable in fragments of first-order logic.


title: On the balanceability of some graph classes

abstract: Given a graph $G$, a 2-coloring of the edges of $K_n$ is said to contain a balanced copy of $G$ if we can find a copy of $G$ such that half of its edges are in each color class. If, for every sufficiently large $n$, there exists an integer $k$ such that every 2-coloring of $K_n$ with more than $k$ edges in each color class contains a balanced copy of $G$, then we say that $G$ is balanceable. Balanceability was introduced by Caro, Hansberg and Montejano, who also gave a structural characterization of balanceable graphs. In this paper, we extend the study of balanceability by finding new sufficient conditions for a graph to be balanceable or not. We use those conditions to fully characterize the balanceability of graph classes such as rectangular and triangular grids, as well as a special class of circulant graphs.


title: Modelling the Neuroanatomical Progression of Alzheimer's Disease and Posterior Cortical Atrophy

abstract: In order to find effective treatments for Alzheimer's disease (AD), we need to identify subjects at risk of AD as early as possible. To this end, recently developed disease progression models can be used to perform early diagnosis, as well as predict the subjects' disease stages and future evolution. However, these models have not yet been applied to rare neurodegenerative diseases, are not suitable to understand the complex dynamics of biomarkers, work only on large multimodal datasets, and their predictive performance has not been objectively validated. In this work I developed novel models of disease progression and applied them to estimate the progression of Alzheimer's disease and Posterior Cortical atrophy, a rare neurodegenerative syndrome causing visual deficits. My first contribution is a study on the progression of Posterior Cortical Atrophy, using models already developed: the Event-based Model (EBM) and the Differential Equation Model (DEM). My second contribution is the development of DIVE, a novel spatio-temporal model of disease progression that estimates fine-grained spatial patterns of pathology, potentially enabling us to understand complex disease mechanisms relating to pathology propagation along brain networks. My third contribution is the development of Disease Knowledge Transfer (DKT), a novel disease progression model that estimates the multimodal progression of rare neurodegenerative diseases from limited, unimodal datasets, by transferring information from larger, multimodal datasets of typical neurodegenerative diseases. My fourth contribution is the development of novel extensions for the EBM and the DEM, and the development of novel measures for performance evaluation of such models. My last contribution is the organization of the TADPOLE challenge, a competition which aims to identify algorithms and features that best predict the evolution of AD.


title: A Fuzzy-Based Optimization Method for Integrating Value Dependencies into Software Requirement Selection

abstract: Software requirement selection aims to find an optimal subset of the requirements with the highest value while respecting the budget. But the value of a requirement may depend on the presence or absence of other requirements in the optimal subset. Existing requirement selection methods, however, do not consider Value Dependencies, thus increasing the risk of value loss. To address this, we have proposed Dependency-Aware Requirement Selection (DARS) method with two main components: (i) a fuzzy-based technique for identifying and modeling value dependencies, and (ii) an Integer Programming model that takes into account value dependencies in software requirement selection. We have further, proposed an alternative optimization model for situations where quantifying value dependencies is hard. The scalability of DARS and its effectiveness in reducing the risk of value loss are demonstrated through exhaustive simulations.


title: Efficient Intent Detection with Dual Sentence Encoders

abstract: Building conversational systems in new domains and with added functionality requires resource-efficient models that work under low-data regimes (i.e., in few-shot setups). Motivated by these requirements, we introduce intent detection methods backed by pretrained dual sentence encoders such as USE and ConveRT. We demonstrate the usefulness and wide applicability of the proposed intent detectors, showing that: 1) they outperform intent detectors based on fine-tuning the full BERT-Large model or using BERT as a fixed black-box encoder on three diverse intent detection data sets; 2) the gains are especially pronounced in few-shot setups (i.e., with only 10 or 30 annotated examples per intent); 3) our intent detectors can be trained in a matter of minutes on a single CPU; and 4) they are stable across different hyperparameter settings. In hope of facilitating and democratizing research focused on intention detection, we release our code, as well as a new challenging single-domain intent detection dataset comprising 13,083 annotated examples over 77 intents.


title: Undersensitivity in Neural Reading Comprehension

abstract: Current reading comprehension models generalise well to in-distribution test sets, yet perform poorly on adversarially selected inputs. Most prior work on adversarial inputs studies oversensitivity: semantically invariant text perturbations that cause a model's prediction to change when it should not. In this work we focus on the complementary problem: excessive prediction undersensitivity, where input text is meaningfully changed but the model's prediction does not, even though it should. We formulate a noisy adversarial attack which searches among semantic variations of the question for which a model erroneously predicts the same answer, and with even higher probability. Despite comprising unanswerable questions, both SQuAD2.0 and NewsQA models are vulnerable to this attack. This indicates that although accurate, models tend to rely on spurious patterns and do not fully consider the information specified in a question. We experiment with data augmentation and adversarial training as defences, and find that both substantially decrease vulnerability to attacks on held out data, as well as held out attack spaces. Addressing undersensitivity also improves results on AddSent and AddOneSent, and models furthermore generalise better when facing train/evaluation distribution mismatch: they are less prone to overly rely on predictive cues present only in the training set, and outperform a conventional model by as much as 10.9% F1.


title: The width, density and outflow of solar coronal streamers

abstract: Characterising the large-scale structure and plasma properties of the inner corona is crucial to understand the source and subsequent expansion of the solar wind and related space weather effects. Here we apply a new coronal rotational tomography method, along with a method to narrow streamers and refine the density estimate, to COR2A/STEREO observations from a period near solar minimum and maximum, gaining density maps for heights between 4 and 8\Rs. The coronal structure is highly radial at these heights, and the streamers are very narrow, in some regions only a few degrees in width. The mean densities of streamers is almost identical between solar minimum and maximum. However, streamers at solar maximum contain around 50\%\ more total mass due to their larger area. By assuming a constant mass flux, and constraints on proton flux measured by Parker Solar Probe (PSP), we estimate an outflow speed within solar minimum streamers of 50-120\kms\ at 4\Rs, increasing to 90-250\kms\ at 8\Rs. Accelerations of around 6\mss\ are found for streamers at a height of 4\Rs, decreasing with height. The solar maximum slow wind shows a higher acceleration to extended distances compared to solar minimum. To satisfy the solar wind speeds measured by PSP, there must be a mean residual acceleration of around 1-2\mss\ between 8 and 40\Rs. Several aspects of this study strongly suggest that the coronal streamer belt density is highly variable on small scales, and that the tomography can only reveal a local spatial and temporal average.


title: Revisiting the distributions of Jupiter's irregular moons: I. physical characteristics

abstract: As the identified number of Jupiter's moons has skyrocketed to 79, some of them have been regrouped. In this work, we continue to identify the potential distributions of the physical characteristics of Jupiter's irregular moons. By using nonparametric Kolmogorov-Smirnov tests, we verified more than 20 commonly used distributions and found that surprisingly, almost all the physical characteristics (i.e., the equatorial radius, equatorial circumference, circumference, volume, mass, surface gravity and escape velocity) of the moons in the Ananke and Carme groups follow log-logistic distributions. Additionally, more than half of the physical characteristics of the moons in the Pasiphae group are theoretically subject to this type of distribution. The discovery of an increasing number of Jupiter's irregular moons combined with strict analytical derivations, it is increasingly clear and possible to anticipate that the physical characteristics of most irregular moons follow log-logistic distributions.


title: Weighted Encoding Based Image Interpolation With Nonlocal Linear Regression Model

abstract: Image interpolation is a special case of image super-resolution, where the low-resolution image is directly down-sampled from its high-resolution counterpart without blurring and noise. Therefore, assumptions adopted in super-resolution models are not valid for image interpolation. To address this problem, we propose a novel image interpolation model based on sparse representation. Two widely used priors including sparsity and nonlocal self-similarity are used as the regularization terms to enhance the stability of interpolation model. Meanwhile, we incorporate the nonlocal linear regression into this model since nonlocal similar patches could provide a better approximation to a given patch. Moreover, we propose a new approach to learn adaptive sub-dictionary online instead of clustering. For each patch, similar patches are grouped to learn adaptive sub-dictionary, generating a more sparse and accurate representation. Finally, the weighted encoding is introduced to suppress tailing of fitting residuals in data fidelity. Abundant experimental results demonstrate that our proposed method outperforms several state-of-the-art methods in terms of quantitative measures and visual quality.


title: On the limit of a two-phase flow problem in thin porous media domains of Brinkman-type

abstract: We study the process of two-phase flow in thin porous media domains of Brinkman-type. This is generally described by a model of coupled, mixed-type differential equations of fluids' saturation and pressure. To reduce the model complexity, different approaches that utilize the thin geometry of the domain have been suggested. We focus on a reduced model that is formulated as a single nonlocal evolution equation of saturation. It is derived by applying standard asymptotic analysis to the dimensionless coupled model, however, a rigid mathematical derivation is still lacking. In this paper, we prove that the reduced model is the analytical limit of the coupled two-phase flow model as the geometrical parameter of domain's width--length ratio tends to zero. Precisely, we prove the convergence of weak solutions for the coupled model to a weak solution for the reduced model as the geometrical parameter approaches zero.


title: Strain induced magnetic transition in CaMnO$_3$ ultra thin films

abstract: The effect of high tensile strain and low dimensionality on the magnetic and electronic properties of CaMnO$_3$ ultrathin films, epitaxially grown on SrTiO$_3$ substrates, are experimentally studied and theoretically analyzed. By means of ab initio calculations, we find that, both, the high strain produced by the substrate and the presence of the free surface contribute to the stabilization of an in-plane ferromagnetic coupling, giving rise to a non-zero net magnetic moment in the ultrathin films. Coupled with this change in the magnetic order we find an insulator-metal transition triggered by the quantum confinement and the tensile epitaxial strain. Accordingly, our magnetic measurements in 3nm ultrathin films show a ferromagnetic hysteresis loop, absent in the bulk compound due to its G-type antiferromagnetic structure.


title: Dust Attenuation Curve for Local Subgalactic Star-forming Regions

abstract: We compile a sample of about 157,000 spaxels from the Mapping Nearby Galaxies at the Apache Point Observatory survey to derive the average dust attenuation curve for subgalactic star-forming regions of local star-forming galaxies (SFGs) in the optical wavelength, following the method of \cite{Calzetti1994}. We obtain a $D_n(4000)$-independent average attenuation curve for spaxels with $1.1\leq D_n(4000)<1.3$, which is similar to the one derived from either local starbursts or normal SFGs. We examine whether and how the shape of the average attenuation curve changes with several local and global physical properties. For spaxels with $1.2\leq D_n(4000)<1.3$, we find no dependence on either local or global physical properties for the shape of the average attenuation curve. However, for spaxels with younger stellar population ($1.1\leq D_n(4000)<1.2$), shallower average attenuation curves are found for star-forming regions with smaller stellar mass surface density, smaller star formation rate surface density, or those residing in the outer region of galaxies. These results emphasize the risk of using one single attenuation curve to correct the dust reddening for all types of star-forming regions, especially for those with fairly young stellar population.


title: Local well-posedness for the quasi-linear Hamiltonian Schr\"odinger equation on tori

abstract: We prove a local in time well-posedness result for quasi-linear Hamiltonian Schr\"odinger equations on $\mathbb{T}^d$ for any $d\geq 1$. For any initial condition in the Sobolev space $H^s$, with $s$ large, we prove the existence and unicity of classical solutions of the Cauchy problem associated to the equation. The lifespan of such a solution depends only on the size of the initial datum. Moreover we prove the continuity of the solution map.


title: Data Freshness and Energy-Efficient UAV Navigation Optimization: A Deep Reinforcement Learning Approach

abstract: In this paper, we design a navigation policy for multiple unmanned aerial vehicles (UAVs) where mobile base stations (BSs) are deployed to improve the data freshness and connectivity to the Internet of Things (IoT) devices. First, we formulate an energy-efficient trajectory optimization problem in which the objective is to maximize the energy efficiency by optimizing the UAV-BS trajectory policy. We also incorporate different contextual information such as energy and age of information (AoI) constraints to ensure the data freshness at the ground BS. Second, we propose an agile deep reinforcement learning with experience replay model to solve the formulated problem concerning the contextual constraints for the UAV-BS navigation. Moreover, the proposed approach is well-suited for solving the problem, since the state space of the problem is extremely large and finding the best trajectory policy with useful contextual features is too complex for the UAV-BSs. By applying the proposed trained model, an effective real-time trajectory policy for the UAV-BSs captures the observable network states over time. Finally, the simulation results illustrate the proposed approach is 3.6% and 3.13% more energy efficient than those of the greedy and baseline deep Q Network (DQN) approaches.

categories: eess.SP cs.LG cs.NI cs.SY eess.SY stat.ML


title: Explore and Exploit with Heterotic Line Bundle Models

abstract: We use deep reinforcement learning to explore a class of heterotic $SU(5)$ GUT models constructed from line bundle sums over Complete Intersection Calabi Yau (CICY) manifolds. We perform several experiments where A3C agents are trained to search for such models. These agents significantly outperform random exploration, in the most favourable settings by a factor of 1700 when it comes to finding unique models. Furthermore, we find evidence that the trained agents also outperform random walkers on new manifolds. We conclude that the agents detect hidden structures in the compactification data, which is partly of general nature. The experiments scale well with $h^{(1,1)}$, and may thus provide the key to model building on CICYs with large $h^{(1,1)}$.


title: The closures of test configurations and algebraic singularity types

abstract: Given a K\"ahler manifold $X$ with an ample line bundle $L$, we consider the metric space of $L^1$ geodesic rays associated to the first Chern class $c_1(L)$. We characterize rays that can be approximated by ample test configurations. At the same time, we also characterize the closure of algebraic singularity types among all singularity types of quasi-plurisubharmonic functions, pointing out the very close relationship between these two seemingly unrelated problems. By Bonavero's holomorphic Morse inequalities, the arithmetic and non-pluripolar volumes of algebraic singularity types coincide. We show that in general the arithmetic volume dominates the non-pluripolar one, and equality holds exactly on the closure of algebraic singularity types. Analogously, we give an estimate for the Monge--Amp\`ere energy of a general $L^1$ ray in terms of the arithmetic volumes along its Legendre transform. Equality holds exactly for rays approximable by test configurations. Various other cohomological and potential theoretic characterizations are given in both settings. As applications, we give a concrete formula for the non-Archimedean Monge--Amp\`ere energy in terms of asymptotic expansion, and show the continuity of the projection map from $L^1$ rays to non-Archimedean rays. We also show that the closure of ample test configurations and filtrations gives the same set of rays.


title: Karate Club: An API Oriented Open-source Python Framework for Unsupervised Learning on Graphs

abstract: We present Karate Club a Python framework combining more than 30 state-of-the-art graph mining algorithms which can solve unsupervised machine learning tasks. The primary goal of the package is to make community detection, node and whole graph embedding available to a wide audience of machine learning researchers and practitioners. We designed Karate Club with an emphasis on a consistent application interface, scalability, ease of use, sensible out of the box model behaviour, standardized dataset ingestion, and output generation. This paper discusses the design principles behind this framework with practical examples. We show Karate Club's efficiency with respect to learning performance on a wide range of real world clustering problems, classification tasks and support evidence with regards to its competitive speed.


title: SAD: Saliency-based Defenses Against Adversarial Examples

abstract: With the rise in popularity of machine and deep learning models, there is an increased focus on their vulnerability to malicious inputs. These adversarial examples drift model predictions away from the original intent of the network and are a growing concern in practical security. In order to combat these attacks, neural networks can leverage traditional image processing approaches or state-of-the-art defensive models to reduce perturbations in the data. Defensive approaches that take a global approach to noise reduction are effective against adversarial attacks, however their lossy approach often distorts important data within the image. In this work, we propose a visual saliency based approach to cleaning data affected by an adversarial attack. Our model leverages the salient regions of an adversarial image in order to provide a targeted countermeasure while comparatively reducing loss within the cleaned images. We measure the accuracy of our model by evaluating the effectiveness of state-of-the-art saliency methods prior to attack, under attack, and after application of cleaning methods. We demonstrate the effectiveness of our proposed approach in comparison with related defenses and against established adversarial attack methods, across two saliency datasets. Our targeted approach shows significant improvements in a range of standard statistical and distance saliency metrics, in comparison with both traditional and state-of-the-art approaches.


title: Benchmarking TinyML Systems: Challenges and Direction

abstract: Recent advancements in ultra-low-power machine learning (TinyML) hardware promises to unlock an entirely new class of smart applications. However, continued progress is limited by the lack of a widely accepted benchmark for these systems. Benchmarking allows us to measure and thereby systematically compare, evaluate, and improve the performance of systems and is therefore fundamental to a field reaching maturity. In this position paper, we present the current landscape of TinyML and discuss the challenges and direction towards developing a fair and useful hardware benchmark for TinyML workloads. Furthermore, we present our four benchmarks and discuss our selection methodology. Our viewpoints reflect the collective thoughts of the TinyMLPerf working group that is comprised of over 30 organizations.


title: Image guidance in deep brain stimulation surgery to treat Parkinson's disease: a review

abstract: Deep brain stimulation (DBS) is an effective therapy as an alternative to pharmaceutical treatments for Parkinson's disease (PD). Aside from factors such as instrumentation, treatment plans, and surgical protocols, the success of the procedure depends heavily on the accurate placement of the electrode within the optimal therapeutic targets while avoiding vital structures that can cause surgical complications and adverse neurologic effects. While specific surgical techniques for DBS can vary, interventional guidance with medical imaging has greatly contributed to the development, outcomes, and safety of the procedure. With rapid development in novel imaging techniques, computational methods, and surgical navigation software, as well as growing insights into the disease and mechanism of action of DBS, modern image guidance is expected to further enhance the capacity and efficacy of the procedure in treating PD. This article surveys the state-of-the-art techniques in image-guided DBS surgery to treat PD, and discuss their benefits and drawbacks, as well as future directions on the topic.


title: Sampling on networks: estimating spectral centrality measures and their impact in evaluating other relevant network measures

abstract: We perform an extensive analysis of how sampling impacts the estimate of several relevant network measures. In particular, we focus on how a sampling strategy optimized to recover a particular spectral centrality measure impacts other topological quantities. Our goal is on one hand to extend the analysis of the behavior of TCEC [Ruggeri2019], a theoretically-grounded sampling method for eigenvector centrality estimation. On the other hand, to demonstrate more broadly how sampling can impact the estimation of relevant network properties like centrality measures different than the one aimed at optimizing, community structure and node attribute distribution. Finally, we adapt the theoretical framework behind TCEC for the case of PageRank centrality and propose a sampling algorithm aimed at optimizing its estimation. We show that, while the theoretical derivation can be suitably adapted to cover this case, the resulting algorithm suffers of a high computational complexity that requires further approximations compared to the eigenvector centrality case.


title: In Datacenter Performance, The Only Constant Is Change

abstract: All computing infrastructure suffers from performance variability, be it bare-metal or virtualized. This phenomenon originates from many sources: some transient, such as noisy neighbors, and others more permanent but sudden, such as changes or wear in hardware, changes in the underlying hypervisor stack, or even undocumented interactions between the policies of the computing resource provider and the active workloads. Thus, performance measurements obtained on clouds, HPC facilities, and, more generally, datacenter environments are almost guaranteed to exhibit performance regimes that evolve over time, which leads to undesirable nonstationarities in application performance. In this paper, we present our analysis of performance of the bare-metal hardware available on the CloudLab testbed where we focus on quantifying the evolving performance regimes using changepoint detection. We describe our findings, backed by a dataset with nearly 6.9M benchmark results collected from over 1600 machines over a period of 2 years and 9 months. These findings yield a comprehensive characterization of real-world performance variability patterns in one computing facility, a methodology for studying such patterns on other infrastructures, and contribute to a better understanding of performance variability in general.


title: P\'olya enumeration theorems in algebraic geometry

abstract: We generalize a formula due to Macdonald that relates the singular Betti numbers of $X^{n}/G$ to those of $X$, where $X$ is a compact manifold and $G$ is any subgroup of the symmetric group $S_{n}$ acting on $X^{n}$ by permuting coordinates. Our result is completely axiomatic: in a general setting, given an endomorphism on the cohomology $H^{\bullet}(X)$, it explains how we can explicitly relate the Lefschetz series of the induced endomorphism on $H^{\bullet}(X^{n})^{G}$ to that of the given endomorphism on $H^{\bullet}(X)$ in the presence of the K\"unneth formula with respect to a cup product. For example, when $X$ is a compact manifold, we take the Lefschetz series given by the singular cohomology with rational coefficients. On the other hand, when $X$ is a projective variety over a finite field $\mathbb{F}_{q}$, we use the $l$-adic \'etale cohomology with a suitable choice of prime number $l$. We also explain how our formula generalizes the P\'olya enumeration theorem, a classical theorem in combinatorics that counts colorings of a graph up to given symmetries, where $X$ is taken to be a finite set of colors. When $X$ is a smooth projective variety over $\mathbb{C}$, our formula also generalizes a result of Cheah that relates the Hodge numbers of $X^{n}/G$ to those of $X$. We will also see that our result generalizes the following facts: 1. the generating function of the Poincar\'e polynomials of symmetric powers of a compact manifold $X$ is rational; 2. the generating function of the Hodge-Deligne polynomials of symmetric powers of a smooth projective variety $X$ over $\mathbb{C}$ is rational; 3. the zeta series of a projective variety $X$ over $\mathbb{F}_{q}$ is rational. We also prove analogous rationality results when we replace $S_{n}$ with $A_{n}$, alternating groups.


title: Optimizations to the Parallel Breath First Search on Distributed Memory

abstract: Graphs and their traversal is becoming significant as it is applicable to various areas of mathematics, science and technology. Various problems in fields as varied as biochemistry (genomics), electrical engineering (communication networks), computer science (algorithms and computation) can be modeled as Graph problems. Real world scenarios including communities their interconnections and related properties can be studied using graphs. So fast, scalable, low-cost execution of parallel graph algorithms is very important. In this implementation of parallel breadth first search of graphs, we implemented Parallel BFS algorithm with 1-D partitioning of graph as described in [2] and have reduced execution time by optimizing communication for local buffers.


title: Dirichlet Polynomials form a Topos

abstract: One can think of power series or polynomials in one variable, such as $P(x)=2x^3+x+5$, as functors from the category $\mathsf{Set}$ of sets to itself; these are known as polynomial functors. Denote by $\mathsf{Poly}_{\mathsf{Set}}$ the category of polynomial functors on $\mathsf{Set}$ and natural transformations between them. The constants $0,1$ and operations $+,\times$ that occur in $P(x)$ are actually the initial and terminal objects and the coproduct and product in $\mathsf{Poly}_{\mathsf{Set}}$. Just as the polynomial functors on $\mathsf{Set}$ are the copresheaves that can be written as sums of representables, one can express any Dirichlet series, e.g.\ $\sum_{n=0}^\infty n^x$, as a coproduct of representable presheaves. A Dirichlet polynomial is a finite Dirichlet series, that is, a finite sum of representables $n^x$. We discuss how both polynomial functors and their Dirichlet analogues can be understood in terms of bundles, and go on to prove that the category of Dirichlet polynomials is an elementary topos.


title: Extracting the Transverse Momentum Dependent Polarizing Fragmentation Functions

abstract: We demonstrate that spontaneous transverse polarization of Lambda baryon ($\Lambda$) production in $e^+e^-$ annihilation can be described using the transverse momentum dependent polarizing fragmentation functions (TMD PFFs). Using a simple Gaussian model, we perform an extraction of the TMD PFFs by fitting the BELLE collaboration's recent measurement of the $\Lambda$ transverse polarization in back-to-back $\Lambda+h$ production in $e^+ e^-$ collisions, $e^{-} + e^{+} \rightarrow \Lambda^{\uparrow}+h+X$. We find that this simple model accurately describes the experimental data for $\Lambda$ production associated with pions and kaons, and we are able to determine TMD PFFs for different quark flavors. We use these newly extracted TMD PFFs to make predictions for the transverse polarization of $\Lambda$ produced in semi-inclusive deep inelastic scattering at a future electron-ion collider, and find that such a polarization is around $10\%$ and should be measurable.


title: Existence and Uniqueness for McKean-Vlasov equations with singular interactions

abstract: We investigate the well-posedness of following McKean-Vlasov equation in $\mathbb{R}^d$: \[ \mathrm{d} X_t=\sigma(t,X_t, \mu_{X_t})\mathrm{d} W_t+b(t, X_t, \mu_{X_t}) \mathrm{d} t, \] where $\mu_{X_t}$ is the law of $X_t$. The existence of solutions is demonstrated when $\sigma$ satisfies certain non-degeneracy and continuity assumptions, and when $b$ meets some integrability conditions, and continuity requirements in the (generalized) total variation distance. Furthermore, uniqueness is established under additional continuity assumptions of a Lipschitz type.


title: Pattern formation in two-dimensional hard-core/soft-shell systems with variable soft shell profiles

abstract: Hard-core/soft shell (HCSS) particles have been shown to self-assemble into a remarkably rich variety of structures under compression due to the simple interplay between the hard-core and soft-shoulder length scales in their interactions. Most studies in this area model the soft shell interaction as a square shoulder potential. Although appealing from a theoretical point of view, the potential is physically unrealistic because there is no repulsive force in the soft shell regime, unlike in experimental HCSS systems. To make the model more realistic, here we consider HCSS particles with a range soft shell potential profiles beyond the standard square shoulder form and study the model using both minimum energy calculations and Monte Carlo simulations. We find that by tuning density and the soft shell profile, HCSS particles in the thin shell regime (i.e., shell to core ratio $r_1/r_0 \leq \sqrt{3}$) can form a large range of structures, including hexagons, chains, squares, rhomboids and two distinct zig-zag structures. Furthermore, by tuning the density and $r_1/r_0$, we find that HCSS particles with experimentally realistic linear ramp soft shoulder repulsions can form honeycombs and quasicrystals with 10-fold and 12-fold symmetry. Our study therefore suggests the exciting possibility of fabricating these exotic 2D structures experimentally through colloidal self-assembly.


title: Measurement of $C\!P$-averaged observables in the $B^{0}\rightarrow K^{*0}\mu^{+}\mu^{-}$ decay

abstract: An angular analysis of the $B^{0}\rightarrow K^{*0}(\to K^{+}\pi^{-})\mu^{+}\mu^{-}$ decay is presented using a data set corresponding to an integrated luminosity of 4.7 fb$^{-1}$ of $pp$ collision data collected with the LHCb experiment. The full set of $C\!P$-averaged observables are determined in bins of the invariant mass squared of the dimuon system. Contamination from decays with the $K^{+}\pi^{-}$ system in an S-wave configuration is taken into account. The tension seen between the previous LHCb results and the Standard Model predictions persists with the new data. The precise value of the significance of this tension depends on the choice of theory nuisance parameters.


title: Reinforcement Learning for Mitigating Intermittent Interference in Terahertz Communication Networks

abstract: Emerging wireless services with extremely high data rate requirements, such as real-time extended reality applications, mandate novel solutions to further increase the capacity of future wireless networks. In this regard, leveraging large available bandwidth at terahertz frequency bands is seen as a key enabler. To overcome the large propagation loss at these very high frequencies, it is inevitable to manage transmissions over highly directional links. However, uncoordinated directional transmissions by a large number of users can cause substantial interference in terahertz networks. While such interference will be received over short random time intervals, the received power can be large. In this work, a new framework based on reinforcement learning is proposed that uses an adaptive multi-thresholding strategy to efficiently detect and mitigate the intermittent interference from directional links in the time domain. To find the optimal thresholds, the problem is formulated as a multidimensional multi-armed bandit system. Then, an algorithm is proposed that allows the receiver to learn the optimal thresholds with very low complexity. Another key advantage of the proposed approach is that it does not rely on any prior knowledge about the interference statistics, and hence, it is suitable for interference mitigation in dynamic scenarios. Simulation results confirm the superior bit-error-rate performance of the proposed method compared with two traditional time-domain interference mitigation approaches.


title: Nodal sets of Laplace eigenfunctions under small perturbations

abstract: We study the stability properties of nodal sets of Laplace eigenfunctions on compact manifolds under specific small perturbations. We prove that nodal sets are fairly stable if said perturbations are relatively small, more formally, supported at a sub-wavelength scale. We do not need any assumption on the topology of the nodal sets. As an indirect application, we are able to show that a certain "Payne property" concerning the second nodal line remains stable under controlled perturbations of the domain.


title: Algebraic Branching Programs, Border Complexity, and Tangent Spaces

abstract: Nisan showed in 1991 that the width of a smallest noncommutative single-(source,sink) algebraic branching program (ABP) to compute a noncommutative polynomial is given by the ranks of specific matrices. This means that the set of noncommutative polynomials with ABP width complexity at most $k$ is Zariski-closed, an important property in geometric complexity theory. It follows that approximations cannot help to reduce the required ABP width. It was mentioned by Forbes that this result would probably break when going from single-(source,sink) ABPs to trace ABPs. We prove that this is correct. Moreover, we study the commutative monotone setting and prove a result similar to Nisan, but concerning the analytic closure. We observe the same behavior here: The set of polynomials with ABP width complexity at most $k$ is closed for single-(source,sink) ABPs and not closed for trace ABPs. The proofs reveal an intriguing connection between tangent spaces and the vector space of flows on the ABP. We close with additional observations on VQP and the closure of VNP which allows us to establish a separation between the two classes.


title: Dynamics of a two-dimensional quantum spin-orbital liquid: spectroscopic signatures of fermionic magnons

abstract: We provide an exact study of dynamical correlations for the quantum spin-orbital liquid phases of an SU(2)-symmetric Kitaev honeycomb lattice model. We show that the spin dynamics in this Kugel-Khomskii type model is exactly the density-density correlation function of S=1 fermionic magnons, which could be probed in resonant inelastic x-ray scattering experiments. We predict the characteristic signatures of spin-orbital fractionalization in inelastic scattering experiments and compare them to the ones of the spin-anisotropic Kitaev honeycomb spin liquid. In particular, the resonant inelastic x-ray scattering response shows a characteristic momentum dependence directly related to the dispersion of fermionic excitations. The neutron scattering cross section displays a mixed response of fermionic magnons as well as spin-orbital excitations. The latter has a bandwidth of broad excitations and a vison gap that is three times larger than that of the spin-1/2 Kitaev model.


title: Strong chaotic fluctuations of laser beams propagating through temperature inhomogeneities in the atmosphere

abstract: The atmospheric temperature inhomogeneities are the main cause of the index of refraction variations resulting in strong fluctuations of intensity of the laser beams propagating through the atmosphere. It is shown that the Kolmogorov-Bolgiano-Obukhov phenomenology of the thermal (buoyancy driven) convection can effectively describe this process in the frames of the distributed chaos approach. Results of the direct numerical simulations and measurements in the urban atmosphere (based on the laser beams with the wavelengths of 532nm and 690nm) have been used in order to support the theoretical considerations.


title: Local Immunodeficiency: Role of Neutral Viruses

abstract: This paper analyzes the role of neutral viruses in the phenomenon of local immunodeficiency. We show that, even in the absence of altruistic viruses, neutral viruses can support the existence of persistent viruses, and thus local immunodeficiency. However, in all such cases neutral viruses can maintain only bounded (relatively small) concentration of persistent viruses. Moreover, in all such cases the state of local immunodeficiency could only be marginally stable, while it is known that altruistic viruses can maintain stable local immunodeficiency. We also present an absolutely minimal cross-immunoreactivity network where a stable and robust state of local immunodeficiency can be maintained. It is now a challenge to synthetic biology to build such small networks with stable local immunodeficiency. Another important challenge for biology is to understand which types of viruses can play a role of persistent, altrustic and neutral ones, and whether a role which a given virus plays depends on the structure (topology) of a given cross-immunoreactivity network.


title: High performance picosecond- and micron-level 4D particle tracking with 100% fill-factor Resistive AC-Coupled Silicon Detectors (RSD)

abstract: In this paper we present a complete characterization of the first batch of Resistive AC-Coupled Silicon Detectors, called RSD1, designed at INFN Torino and manufactured by Fondazione Bruno Kessler (FBK) in Trento. With their 100% fill-factor, RSD represent the new enabling technology for high-precision 4D-tracking. Indeed, being based on the well-known charge multiplication mechanism of Low-Gain Avalanche Detectors (LGAD), they benefit from the very good timing performances of such technology together with an unprecedented resolution of the spatial tracking, which allows to reach the micron-level scale in the track reconstruction. This is essentially due to the absence of any segmentation structure between pads (100% fill-factor) and to other two innovative key-features: the first one is a properly doped n+ resistive layer, slowing down the charges just after being multiplied, and the second one is a dielectric layer grown on Silicon, inducing a capacitive coupling on the metal pads deposited on top of the detector. The very good spatial resolution (micron-level) we measured experimentally - higher than the nominal pad pitch - comes from the analogical nature of the readout of signals, whose amplitude attenuates from the pad center to its periphery, while the outstanding results in terms of timing (less than 14 ps, even better than standard LGAD) are due to a combination of very-fine pitch, analogical response and charge multiplication.


title: Optimal Gravitational-wave Follow-up Tiling Strategies Using a Genetic Algorithm

abstract: The identification of electromagnetic emission from gravitational-wave sources typically requires multiple follow-up observations due to the limited fields-of-view of follow-up observatories compared to the poorly localized direction of gravitational waves. Gravitational-wave localization regions are typically covered with multiple telescope pointings using a "honeycomb" structure, which is optimal only on an infinite, flat surface. Here we present a machine-learning algorithm which uses genetic algorithms along with Broyden-Fletcher-Goldfarb-Shanno (BFGS) optimization to find an optimal configuration of tiles to cover the gravitational-wave sky localization area on a spherical surface.


title: Exact Solutions in Log-Concave Maximum Likelihood Estimation

abstract: We study probability density functions that are log-concave. Despite the space of all such densities being infinite-dimensional, the maximum likelihood estimate is the exponential of a piecewise linear function determined by finitely many quantities, namely the function values, or heights, at the data points. We explore in what sense exact solutions to this problem are possible. First, we show that the heights given by the maximum likelihood estimate are generically transcendental. For a cell in one dimension, the maximum likelihood estimator is expressed in closed form using the generalized W-Lambert function. Even more, we show that finding the log-concave maximum likelihood estimate is equivalent to solving a collection of polynomial-exponential systems of a special form. Even in the case of two equations, very little is known about solutions to these systems. As an alternative, we use Smale's alpha-theory to refine approximate numerical solutions and to certify solutions to log-concave density estimation.


title: Closed neighborhood ideal of a graph

abstract: We introduce a family of squarefree monomial ideals associated to finite simple graphs, whose monomial generators correspond to closed neighborhood of vertices of the underlying graph. Any such ideal is called the closed neighborhood ideal of the graph. We study some algebraic invariants of these ideals like Castelnuovo-Mumford regularity and projective dimension and present some combinatorial descriptions for these invariants in terms of graph invariants.


title: Fusion systems on a Sylow $p$-subgroup of $SU_4(p)$

abstract: We determine, for $p$ odd, all saturated fusion systems on a Sylow $p$-subgroup $S$ of the unitary group $SU_4(p)$ and we prove that they are all realizable by finite groups. In particular, we prove that $S$ does not support any exotic fusion systems.


title: Smart City IoT Services Creation through Large Scale Collaboration

abstract: Smart cities solutions are often monolithically implemented, from sensors data handling through to the provided services. The same challenges are regularly faced by different developers, for every new solution in a new city. Expertise and know-how can be re-used and the effort shared. In this article we present the methodologies to minimize the efforts of implementing new smart city solutions and maximizing the sharing of components. The final target is to have a live technical community of smart city application developers. The results of this activity comes from the implementation of 35 city services in 27 cities between Europe and South Korea. To share efforts, we encourage developers to devise applications using a modular approach. Single-function components that are re-usable by other city services are packaged and published as standalone components, named Atomic Services. We identify 15 atomic services addressing smart city challenges in data analytics, data evaluation, data integration, data validation, and visualization. 38 instances of the atomic services are already operational in several smart city services. We detail in this article, as atomic service examples, some data predictor components. Furthermore, we describe real-world atomic services usage in the scenarios of Santander and three Danish cities. The resulting atomic services also generate a side market for smart city solutions, allowing expertise and know-how to be re-used by different stakeholders.


title: Robust stochastic sorting with interacting criteria hierarchically structured

abstract: In this paper we propose a new multiple criteria decision aiding method to deal with sorting problems in which alternatives are evaluated on criteria structured in a hierarchical way and presenting interactions. The underlying preference model of the proposed method is the Choquet integral, while the hierarchical structure of the criteria is taken into account by applying the Multiple Criteria Hierarchy Process. Considering the Choquet integral based on a 2-additive capacity, the paper presents a procedure to find all the minimal sets of pairs of interacting criteria representing the preference information provided by the Decision Maker (DM). Robustness concerns are also taken into account by applying the Robust Ordinal Regression and the Stochastic Multicriteria Acceptability Analysis. Even if in different ways, both of them provide recommendations on the hierarchical sorting problem at hand by exploring the whole set of capacities compatible with the preferences provided by the DM avoiding to take into account only one of them. The applicability of the considered method to real world problems is demonstrated by means of an example regarding rating of European Countries by considering economic and financial data provided by Standard \& Poor's Global Inc.


title: Hierarchical Human Parsing with Typed Part-Relation Reasoning

abstract: Human parsing is for pixel-wise human semantic understanding. As human bodies are underlying hierarchically structured, how to model human structures is the central theme in this task. Focusing on this, we seek to simultaneously exploit the representational capacity of deep graph networks and the hierarchical human structures. In particular, we provide following two contributions. First, three kinds of part relations, i.e., decomposition, composition, and dependency, are, for the first time, completely and precisely described by three distinct relation networks. This is in stark contrast to previous parsers, which only focus on a portion of the relations and adopt a type-agnostic relation modeling strategy. More expressive relation information can be captured by explicitly imposing the parameters in the relation networks to satisfy the specific characteristics of different relations. Second, previous parsers largely ignore the need for an approximation algorithm over the loopy human hierarchy, while we instead address an iterative reasoning process, by assimilating generic message-passing networks with their edge-typed, convolutional counterparts. With these efforts, our parser lays the foundation for more sophisticated and flexible human relation patterns of reasoning. Comprehensive experiments on five datasets demonstrate that our parser sets a new state-of-the-art on each.


title: Hopf type Theorem for Self-Shrinkers

abstract: In this paper, we prove that a two-dimensional self-shrinker, homeomorphic to the sphere, immersed in the three dimensional Euclidean space is a round sphere, provided its mean curvature and the norm of its position vector have an upper bound in terms of the norm of its traceless second fundamental form. The example constructed by Drugan justifies that the hypothesis on the second fundamental form is necessary. We can also prove the same kind of rigidity results for surfaces with parallel weighted mean curvature vector in R n with radial weight. These results are applications of a new generalization of Cauchy's Theorem in complex analysis which concludes that a complex function is identically zero or its zeroes are isolated if it satisfies some weak holomorphy.