title: Refactoring Graphs: Assessing Refactoring over Time

abstract: Refactoring is an essential activity during software evolution. Frequently, practitioners rely on such transformations to improve source code maintainability and quality. As a consequence, this process may produce new source code entities or change the structure of existing ones. Sometimes, the transformations are atomic, i.e., performed in a single commit. In other cases, they generate sequences of modifications performed over time. To study and reason about refactorings over time, in this paper, we propose a novel concept called refactoring graphs and provide an algorithm to build such graphs. Then, we investigate the history of 10 popular open-source Java-based projects. After eliminating trivial graphs, we characterize a large sample of 1,150 refactoring graphs, providing quantitative data on their size, commits, age, refactoring composition, and developers. We conclude by discussing applications and implications of refactoring graphs, for example, to improve code comprehension, detect refactoring patterns, and support software evolution studies.


title: Concrete polytopes may not tile the space

abstract: Brandolini et al. conjectured that all concrete lattice polytopes can multitile the space. We disprove this conjecture in a strong form, by constructing an infinite family of counterexamples in $\mathbb{R}^3$.


title: Incremental Few-Shot Object Detection

abstract: Most existing object detection methods rely on the availability of abundant labelled training samples per class and offline model training in a batch mode. These requirements substantially limit their scalability to open-ended accommodation of novel classes with limited labelled training data. We present a study aiming to go beyond these limitations by considering the Incremental Few-Shot Detection (iFSD) problem setting, where new classes must be registered incrementally (without revisiting base classes) and with few examples. To this end we propose OpeN-ended Centre nEt (ONCE), a detector designed for incrementally learning to detect novel class objects with few examples. This is achieved by an elegant adaptation of the CentreNet detector to the few-shot learning scenario, and meta-learning a class-specific code generator model for registering novel classes. ONCE fully respects the incremental learning paradigm, with novel class registration requiring only a single forward pass of few-shot training samples, and no access to base classes -- thus making it suitable for deployment on embedded devices. Extensive experiments conducted on both the standard object detection and fashion landmark detection tasks show the feasibility of iFSD for the first time, opening an interesting and very important line of research.


title: Test of Nonlocal Hidden Variable Theory by Leggett Inequality in High Energy Physics

abstract: The Leggett inequality is a constraint on the bipartite correlation that admits certain types of non-localities. Existing tests mainly focused on the electromagnetic systems where measurement apparatus are assumed to be projective and sharp. However, in nature there are interactions that do not obey the same conservation laws for photon, and the actual measurements may subject to unavoidable uncertainties due to the fundamental physical principles. In this work, we generalize the Leggett inequality to incorporate the measurements that are unsharp and/or biased. It is found that the parity violation in nature provides a spontaneous implementation of an unsharp measurement for the spin of hyperon. A fine structured Leggett inequality for hyperon decays characterized by the asymmetry parameters is obtained and its violation is found which could be observed with the yet obtained data in experiment, like BESIII and Belle.


title: Symmetry resolved entanglement entropy of excited states in a CFT

abstract: We report a throughout analysis of the entanglement entropies related to different symmetry sectors in the low-lying primary excited states of a conformal field theory (CFT) with an internal U(1) symmetry. Our findings extend recent results for the ground state. We derive a general expression for the charged moments, i.e. the generalised cumulant generating function, which can be written in terms of correlation functions of the operator that define the state through the CFT operator-state correspondence. We provide explicit analytic computations for the compact boson CFT (aka Luttinger liquid) for the vertex and derivative excitations. The Fourier transform of the charged moments gives the desired symmetry resolved entropies. At the leading order, they satisfy entanglement equipartition, as in the ground state, but we find, within CFT, subleading terms that break it. Our analytical findings are checked against free fermions calculations on a lattice, finding excellent agreement. As a byproduct, we have exact results for the full counting statistics of the U(1) charge in the considered excited states.


title: Realizing Pixel-Level Semantic Learning in Complex Driving Scenes based on Only One Annotated Pixel per Class

abstract: Semantic segmentation tasks based on weakly supervised condition have been put forward to achieve a lightweight labeling process. For simple images that only include a few categories, researches based on image-level annotations have achieved acceptable performance. However, when facing complex scenes, since image contains a large amount of classes, it becomes difficult to learn visual appearance based on image tags. In this case, image-level annotations are not effective in providing information. Therefore, we set up a new task in which only one annotated pixel is provided for each category. Based on the more lightweight and informative condition, a three step process is built for pseudo labels generation, which progressively implement optimal feature representation for each category, image inference and context-location based refinement. In particular, since high-level semantics and low-level imaging feature have different discriminative ability for each class under driving scenes, we divide each category into "object" or "scene" and then provide different operations for the two types separately. Further, an alternate iterative structure is established to gradually improve segmentation performance, which combines CNN-based inter-image common semantic learning and imaging prior based intra-image modification process. Experiments on Cityscapes dataset demonstrate that the proposed method provides a feasible way to solve weakly supervised semantic segmentation task under complex driving scenes.


title: Continuation Based Computation of Root-Locus for SISO Dead-Time Systems

abstract: We present a numerical method to plot the root-locus of Single-Input-Single-Output (SISO) dead-time systems on a given right half-plane up to a predefined controller gain. We compute the starting and intersection points of root-locus inside the region and we obtain the root-loci of each root based on a predictor-corrector type continuation method. The method is effective for high-order SISO dead-time systems.


title: Exciton-Exciton Interaction and Cascade Relaxation of Excitons in Colloidal CdSe Nanoplatelets

abstract: We experimentally investigated for the first time the lowest four band structure of Cd Se nanoplatelets at the r point of Brillouin zone [heavy-hole (hh), light-hole (lh) and two spin-orbital bands] and its modification due to the changing of the CdS shell thickness. The results of an experimental and theoretical study of exciton dynamics in colloidal CdSe/CdS nanoplateles are presented in the case of stationary laser excitation. The excitation was performed by means of the powerful nanosecond laser and the pump and probe technique was utilized. The differential transmission spectra peculiarities


title: On weakly reflective submanifolds in compact isotropy irreducible Riemannian homogeneous spaces

abstract: We show that for any weakly reflective submanifold of a compact isotropy irreducible Riemannian homogeneous space its inverse image under the parallel transport map is an infinite dimensional weakly reflective PF submanifold of a Hilbert space. This is an extension of the author's previous result in the case of compact irreducible Riemannian symmetric spaces. We also give a characterization of so obtained weakly reflective PF submanifolds.


title: Towards Interpretable ANNs: An Exact Transformation to Multi-Class Multivariate Decision Trees

abstract: On the one hand, artificial neural networks (ANNs) are commonly labelled as black-boxes, lacking interpretability; an issue that hinders human understanding of ANNs' behaviors. A need exists to generate a meaningful sequential logic of the ANN for interpreting a production process of a specific output. On the other hand, decision trees exhibit better interpretability and expressive power due to their representation language and the existence of efficient algorithms to transform the trees into rules. However, growing a decision tree based on the available data could produce larger than necessary trees or trees that do not generalise well. In this paper, we introduce two novel multivariate decision tree (MDT) algorithms for rule extraction from ANNs: an Exact-Convertible Decision Tree (EC-DT) and an Extended C-Net algorithm. They both transform a neural network with Rectified Linear Unit activation functions into a representative tree, which can further be used to extract multivariate rules for reasoning. While the EC-DT translates an ANN in a layer-wise manner to represent exactly the decision boundaries implicitly learned by the hidden layers of the network, the Extended C-Net combines the decompositional approach from EC-DT with a C5 tree learning algorithm to form decision rules. The results suggest that while EC-DT is superior in preserving the structure and the fidelity of ANN, Extended C-Net generates the most compact and highly effective trees from ANN. Both proposed MDT algorithms generate rules including combinations of multiple attributes for precise interpretations for decision-making.


title: Deep Hough Transform for Semantic Line Detection

abstract: We focus on a fundamental task of detecting meaningful line structures, a.k.a. semantic line, in natural scenes. Many previous methods regard this problem as a special case of object detection and adjust existing object detectors for semantic line detection. However, these methods neglect the inherent characteristics of lines, leading to sub-optimal performance. Lines enjoy much simpler geometric property than complex objects and thus can be compactly parameterized by a few arguments. To better exploit the property of lines, in this paper, we incorporate the classical Hough transform technique into deeply learned representations and propose a one-shot end-to-end learning framework for line detection. By parameterizing lines with slopes and biases, we perform Hough transform to translate deep representations into the parametric domain, in which we perform line detection. Specifically, we aggregate features along candidate lines on the feature map plane and then assign the aggregated features to corresponding locations in the parametric domain. Consequently, the problem of detecting semantic lines in the spatial domain is transformed into spotting individual points in the parametric domain, making the post-processing steps, i.e. non-maximal suppression, more efficient. Furthermore, our method makes it easy to extract contextual line features eg features along lines close to a specific line, that are critical for accurate line detection. In addition to the proposed method, we design an evaluation metric to assess the quality of line detection and construct a large scale dataset for the line detection task. Experimental results on our proposed dataset and another public dataset demonstrate the advantages of our method over previous state-of-the-art alternatives.


title: Computer Aided Control System Design for Time Delay Systems using MATLAB

abstract: Computer Aided Control System Design (CACSD) allows to analyze complex interconnected systems and design controllers achieving challenging control requirements. We extend CACSD to systems with time delays and illustrate the functionality of Control System Toolbox in MATLAB for such systems. We easily define systems in time and frequency domain system representations and build the overall complex system by interconnecting subsystems. We analyze the overall system in time and frequency domains and design PID controllers satisfying design requirements. Various visualization tools are used for analysis and design verification. Our goal is to introduce these functionalities to researchers and engineers and to discuss the open directions in computer algorithms for control system design.


title: Direct reconstruction of the quantum master equation dynamics of a trapped ion qubit

abstract: The physics of Markovian open quantum systems can be described by quantum master equations. These are dynamical equations, that incorporate the Hamiltonian and jump operators, and generate the system's time evolution. Reconstructing the system's Hamiltonian and and its coupling to the environment from measurements is important both for fundamental research as well as for performance-evaluation of quantum machines. In this paper we introduce a method that reconstructs the dynamical equation of open quantum systems, directly from a set of expectation values of selected observables. We benchmark our technique both by a simulation and experimentally, by measuring the dynamics of a trapped $^{88}\text{Sr}^+$ ion under spontaneous photon scattering.


title: Learning to Respond with Stickers: A Framework of Unifying Multi-Modality in Multi-Turn Dialog

abstract: Stickers with vivid and engaging expressions are becoming increasingly popular in online messaging apps, and some works are dedicated to automatically select sticker response by matching text labels of stickers with previous utterances. However, due to their large quantities, it is impractical to require text labels for the all stickers. Hence, in this paper, we propose to recommend an appropriate sticker to user based on multi-turn dialog context history without any external labels. Two main challenges are confronted in this task. One is to learn semantic meaning of stickers without corresponding text labels. Another challenge is to jointly model the candidate sticker with the multi-turn dialog context. To tackle these challenges, we propose a sticker response selector (SRS) model. Specifically, SRS first employs a convolutional based sticker image encoder and a self-attention based multi-turn dialog encoder to obtain the representation of stickers and utterances. Next, deep interaction network is proposed to conduct deep matching between the sticker with each utterance in the dialog history. SRS then learns the short-term and long-term dependency between all interaction results by a fusion network to output the the final matching score. To evaluate our proposed method, we collect a large-scale real-world dialog dataset with stickers from one of the most popular online chatting platform. Extensive experiments conducted on this dataset show that our model achieves the state-of-the-art performance for all commonly-used metrics. Experiments also verify the effectiveness of each component of SRS. To facilitate further research in sticker selection field, we release this dataset of 340K multi-turn dialog and sticker pairs.


title: Dzyaloshinskii-Moriya interaction in absence of spin-orbit coupling

abstract: In contrast to conventional assumptions, we show that the Dzyaloshinskii-Moriya interaction can be of non-relativistic origin, in particular in materials with a non-collinear magnetic configuration, where non-relativistic contributions can dominate over spin-orbit effects. The weak antiferromagnetic phase of Mn$_{3}$Sn is used to illustrate these findings. Using electronic structure theory as a conceptual platform, all relevant exchange interactions are derived for a general, non-collinear magnetic state. It is demonstrated that non-collinearity influences all three types of exchange interaction and that physically distinct mechanisms, which connect to electron- and spin-density and currents, may be used as a general way to analyze and understand magnetic interactions of the solid state.


title: Dynamical Localization and Delocalization in Polychromatically Perturbed Anderson Map

abstract: In the previous paper [PRE 101,032210(2020)], localization and delocalization phenomena in the polychromatically perturbed Anderson map (AM) were elucidated mainly from the viewpoint of localization-delocalization transition (LDT) on the increase of the perturbation strength $\epsilon$. In this paper, we mainly investigate the dependency of the phenomena on the disorder strength $W$ ($W-$dependence) in the AM with a characteristic disorder strength $W^*$. In the completely localized region the $W-$dependence and $\epsilon-$dependence of the localization length show characteristic behavior similar to those reported in monochromatically perturbed case [PRE 97,012210(2018)]. Furthermore, the obtained results show that even for the increase of the $W$, the critical phenomena and critical exponent are found to be similar to those in the LDT caused by the increase of $\epsilon$. We also investigate the diffusive properties of the delocalized states induced by the parameters.


title: Multiple insulating phases due to the interplay of strong correlations and lattice geometry in a single-orbital Hubbard model

abstract: We report ten ground states arising from strong correlations in the single-orbital Hubbard model on the decorated honeycomb lattice; including Dirac metals, flat-band ferromagnets, real-space Mott insulators, dimer and trimer Mott insulators, and a spin-$1$ Mott insulator. The rich phase diagram arises from structures within the unit cell. Hence, such states are absent on simpler lattices. We argue that such insulating phases are prevalent on decorated lattices. These are found in many materials and common in coordination polymers, providing a playground to explore this physics.


title: To Measure, or Not to Measure, That is the Question

abstract: A method is proposed that allows one to infer the sum of the values of an observable taken during contacts with a pointer state. Hereby the state of the pointer is updated while contacted with the system and remains unchanged between contacts while the system evolves in time. After a prescribed number of such contacts the position of the pointer is determined by means of a projective measurement. The outcome is specified in terms of a probability distribution function for unitary and Markovian dissipative dynamics and compared with the results of the same number of generalized Gaussian measurements of the considered observable. As a particular example a qubit is considered with an observable contacting to the pointer that does not commute with the system Hamiltonian.


title: Distributed Deep Convolutional Compression for Massive MIMO CSI Feedback

abstract: Massive multiple-input multiple-output (MIMO) systems require downlink channel state information (CSI) at the base station (BS) to achieve spatial diversity and multiplexing gains. In a frequency division duplex (FDD) multiuser massive MIMO network, each user needs to compress and feedback its downlink CSI to the BS. The CSI overhead scales with the number of antennas, users and subcarriers, and becomes a major bottleneck for the overall spectral efficiency. In this paper, we propose a deep learning (DL)-based CSI compression scheme, called DeepCMC, composed of convolutional layers followed by quantization and entropy coding blocks. In comparison with previous DL-based CSI reduction structures, DeepCMC proposes a novel fully-convolutional neural network (NN) architecture, with residual layers at the decoder, and incorporates quantization and entropy coding blocks into its design. DeepCMC is trained to minimize a weighted rate-distortion cost, which enables a trade-off between the CSI quality and its feedback overhead. Simulation results demonstrate that DeepCMC outperforms the state of the art CSI compression schemes in terms of the reconstruction quality of CSI for the same compression rate. We also propose a distributed version of DeepCMC for a multi-user MIMO scenario to encode and reconstruct the CSI from multiple users in a distributed manner. Distributed DeepCMC not only utilizes the inherent CSI structures of a single MIMO user for compression, but also benefits from the correlations among the channel matrices of nearby users to further improve the performance in comparison with DeepCMC. We also propose a reduced-complexity training method for distributed DeepCMC, allowing to scale it to multiple users, and suggest a cluster-based distributed DeepCMC approach for practical implementation.


title: TopologyGAN: Topology Optimization Using Generative Adversarial Networks Based on Physical Fields Over the Initial Domain

abstract: In topology optimization using deep learning, load and boundary conditions represented as vectors or sparse matrices often miss the opportunity to encode a rich view of the design problem, leading to less than ideal generalization results. We propose a new data-driven topology optimization model called TopologyGAN that takes advantage of various physical fields computed on the original, unoptimized material domain, as inputs to the generator of a conditional generative adversarial network (cGAN). Compared to a baseline cGAN, TopologyGAN achieves a nearly $3\times$ reduction in the mean squared error and a $2.5\times$ reduction in the mean absolute error on test problems involving previously unseen boundary conditions. Built on several existing network models, we also introduce a hybrid network called U-SE(Squeeze-and-Excitation)-ResNet for the generator that further increases the overall accuracy. We publicly share our full implementation and trained network.


title: Communication-efficient Variance-reduced Stochastic Gradient Descent

abstract: We consider the problem of communication efficient distributed optimization where multiple nodes exchange important algorithm information in every iteration to solve large problems. In particular, we focus on the stochastic variance-reduced gradient and propose a novel approach to make it communication-efficient. That is, we compress the communicated information to a few bits while preserving the linear convergence rate of the original uncompressed algorithm. Comprehensive theoretical and numerical analyses on real datasets reveal that our algorithm can significantly reduce the communication complexity, by as much as 95\%, with almost no noticeable penalty. Moreover, it is much more robust to quantization (in terms of maintaining the true minimizer and the convergence rate) than the state-of-the-art algorithms for solving distributed optimization problems. Our results have important implications for using machine learning over internet-of-things and mobile networks.


title: No single unification theory of everything

abstract: In light of G\"{o}del's undecidability results (incomplete theorems) for math, quantum indeterminism indicates that physics and the Universe may be indeterministic, incomplete, and open in nature, and therefore demand no single unification theory of everything. The Universe is dynamic and so are the underlying physical models and spacetime. As the 4-d spacetime evolves dimension by dimension in the early universe, consistent yet different models emerge one by one with different sets of particles and interactions. A new set of first principles are proposed for building such models with new understanding of supersymmetry, mirror symmetry, and the dynamic phase transition mechanism - spontaneous symmetry breaking. Under this framework, we demonstrate that different models with no theory of everything operate in a hierarchical yet consistent way at different phases or scenarios of the Universe. In particular, the arrow of time is naturally explained and the Standard Model of physics is elegantly extended to time zero of the Universe.


title: Generation of XUV spectral continua from relativistic plasma mirrors driven in the near-single-cycle limit

abstract: function of the CEP, we observe a transition from a modulated to a continuous SHHG spectrum, indicating the transition from double to high-contrast isolated attosecond pulse emission. Single shot-acquisitions of XUV spectral continua support isolated attosecond pulses with isolation degrees between 10 and 50 for the majority of the driving pulse CEPs, which represents a significant improvement in terms of isolation degree as well as repetition rate over previous results obtained with 2-cycle drivers at 10-Hz. 2D Particle-in-cell simulations corroborate this interpretation and predict percent-level efficiencies for the generation of an isolated attosecond pulse even without any spectral filtering.


title: Adaptive phase field modelling of crack propagation in orthotropic functionally graded materials

abstract: In this work, we extend the recently proposed adaptive phase field method to model fracture in orthotropic functionally graded materials (FGMs). A recovery type error indicator combined with quadtree decomposition is employed for adaptive mesh refinement. The proposed approach is capable of capturing the fracture process with a localized mesh refinement that provides notable gains in computational efficiency. The implementation is validated against experimental data and other numerical experiments on orthotropic materials with different material orientations. The results reveal an increase in the stiffness and the maximum force with increasing material orientation angle. The study is then extended to the analysis of orthotropic FGMs. It is observed that, if the gradation in fracture properties is neglected, the material gradient plays a secondary role, with the fracture behaviour being dominated by the orthotropy of the material. However, when the toughness increases along the crack propagation path, a substantial gain in fracture resistance is observed.


title: JS-son -- A Lean, Extensible JavaScript Agent Programming Library

abstract: A multitude of agent-oriented software engineering frameworks exist, most of which are developed by the academic multi-agent systems community. However, these frameworks often impose programming paradigms on their users that are challenging to learn for engineers who are used to modern high-level programming languages such as JavaScript and Python. To show how the adoption of agent-oriented programming by the software engineering mainstream can be facilitated, we provide a lean JavaScript library prototype for implementing reasoning-loop agents. The library focuses on core agent programming concepts and refrains from imposing further restrictions on the programming approach. To illustrate its usefulness, we show how the library can be applied to multi-agent systems simulations on the web, deployed to cloud-hosted function-as-a-service environments, and embedded in Python-based data science tools.


title: Time-varying Gaussian Process Bandit Optimization with Non-constant Evaluation Time

abstract: The Gaussian process bandit is a problem in which we want to find a maximizer of a black-box function with the minimum number of function evaluations. If the black-box function varies with time, then time-varying Bayesian optimization is a promising framework. However, a drawback with current methods is in the assumption that the evaluation time for every observation is constant, which can be unrealistic for many practical applications, e.g., recommender systems and environmental monitoring. As a result, the performance of current methods can be degraded when this assumption is violated. To cope with this problem, we propose a novel time-varying Bayesian optimization algorithm that can effectively handle the non-constant evaluation time. Furthermore, we theoretically establish a regret bound of our algorithm. Our bound elucidates that a pattern of the evaluation time sequence can hugely affect the difficulty of the problem. We also provide experimental results to validate the practical effectiveness of the proposed method.


title: Increased SNR in acousto-optic imaging via coded ultrasound transmission

abstract: Acousto-optic imaging (AOI) is a non-invasive method that uses acoustic modulation to map the light fluence inside biological tissue. In many AOI implementations, ultrasound pulses are used in a time-gated measurement to perform depth-resolved imaging without the need for mechanical scanning. However, to achieve high axial resolution, it is required that ultrasound pulses with few cycles are used, limiting the modulation strength. In this Letter, we developed a new approach to pulse-based AOI in which a coded ultrasound transmission is used. In coded-transmission AOI (CT-AOI), one may achieve an axial resolution that corresponds to a single cycle, but with a signal-to-noise ratio (SNR) that scales as the square root of the number of cycles. Using CT-AOI with 79 cycles, we experimentally demonstrate over 4-fold increase in SNR in comparison to a single-cycle AOI scheme.


title: Streamlining Integrity Tree Updates for Secure Persistent Non-Volatile Memory

abstract: Emerging non-volatile main memory (NVMM) is rapidly being integrated into computer systems. However, NVMM is vulnerable to potential data remanence and replay attacks. Established security models including split counter mode encryption and Bonsai Merkle tree (BMT) authentication have been introduced against such data integrity attacks. However, these security methods are not readily compatible with NVMM. Recent works on secure NVMM pointed out the need for data and its metadata, including the counter, the message authentication code (MAC), and the BMT to be persisted atomically. However, memory persistency models have been overlooked for secure NVMM, which is essential for crash recoverability. In this work, we analyze the invariants that need to be ensured in order to support crash recovery for secure NVMM. We highlight that prior research has substantially under-estimated the cost of BMT persistence and propose several optimization techniques to reduce the overhead of atomically persisting updates to BMTs. The optimizations proposed explore the use of pipelining, out-of-order writes, and update coalescing while conforming to strict or epoch persistency models respectively. We evaluate our work and show that our proposed optimizations significantly reduce the performance overhead of secure NVMM with crash recoverability.


title: Invariants and conservation laws of physical quantities in Minkowski space

abstract: It is shown that invariants and relativistically invariant laws of conservation of physical quantities in Minkowski space follow from 4-tensors of the second rank, which are four-dimensional derivatives of 4-vectors, tensor products of 4-vectors and inner products of 4-tensors of the second rank. Two forms of the system of equations of conservation laws for a number of physical quantities in Minkowski space are obtained. The four-dimensional law of conservation of energy-momentum combines the three-dimensional laws of conservation of energy, momentum and angular momentum. The equations of the four-dimensional laws of conservation of physical quantities in explicit or implicit form contain the wave part Based on a system of four-dimensional kinematic conservation equations, the reason for the stability of vortex rings in liquids and gases is explained.


title: On the sensitivity of the H-infinity norm of systems described by delay differential algebraic equations

abstract: We consider delay differential algebraic equations (DDAEs) to model interconnected systems with time-delays. The DDAE framework does not require any elimination techniques and can directly deal with any interconnection of systems and controllers with time-delays. In this framework, we analyze the properties of the H-infinity norm of systems described by delay differential algebraic equations. We show that the standard H-infinity norm may be sensitive to arbitrarily small delay perturbations. We introduce the strong H-infinity norm which is insensitive to small delay perturbations and describe its properties. We conclude that the strong H-infinity norm is more appropriate in any practical control application compared to the standard H-infinity norm for systems with time-delays whenever there are high-frequency paths in control loops.


title: TorchIO: A Python library for efficient loading, preprocessing, augmentation and patch-based sampling of medical images in deep learning

abstract: Processing of medical images such as MRI or CT presents unique challenges compared to RGB images typically used in computer vision. These include a lack of labels for large datasets, high computational costs, and metadata to describe the physical properties of voxels. Data augmentation is used to artificially increase the size of the training datasets. Training with image patches decreases the need for computational power. Spatial metadata needs to be carefully taken into account in order to ensure a correct alignment of volumes. We present TorchIO, an open-source Python library to enable efficient loading, preprocessing, augmentation and patch-based sampling of medical images for deep learning. TorchIO follows the style of PyTorch and integrates standard medical image processing libraries to efficiently process images during training of neural networks. TorchIO transforms can be composed, reproduced, traced and extended. We provide multiple generic preprocessing and augmentation operations as well as simulation of MRI-specific artifacts. Source code, comprehensive tutorials and extensive documentation for TorchIO can be found at https://torchio.rtfd.io/. The package can be installed from the Python Package Index running 'pip install torchio'. It includes a command-line interface which allows users to apply transforms to image files without using Python. Additionally, we provide a graphical interface within a TorchIO extension in 3D Slicer to visualize the effects of transforms. TorchIO was developed to help researchers standardize medical image processing pipelines and allow them to focus on the deep learning experiments. It encourages open science, as it supports reproducibility and is version controlled so that the software can be cited precisely. Due to its modularity, the library is compatible with other frameworks for deep learning with medical images.


title: Monotone iterative technique for nonlinear fourth order integro-differential equations

abstract: In this paper, we consider the solvability of a class of nonlinear fourth order integro-differential equations with Navier boundary condition. We first deal with a corresponding linear problem and establish a maximum principle. Using the maximum principle, we develop a monotone iterative technique in the presence of lower and upper solutions to solve the nonlinear problem under certain conditions. Some examples are presented to illustrate the main results.


title: Mixed fluid cosmological model in $f(R,T)$ gravity

abstract: We construct Locally Rotationally Symmetric (LRS) Bianchi type-I cosmological model in $f(R,T)$ theory of gravity when the source of gravitation is the mixture of barotropic fluid and dark energy (DE) by employing a time varying deceleration parameter (DP). We observe through the behavior of the state finder parameters $(r, s)$ that our model begins from the Einstein static era and goes to $\Lambda$CDM era. The EoS parameter($\omega_d$) for DE varies from phantom ($\omega<-1$) phase to quintessence ($\omega >-1$) phase which is consistent with the observational results. It is found that the discussed model can reproduce the current accelerating phase of expansion of the universe.


title: Look Around You: Sequence-based Radar Place Recognition with Learned Rotational Invariance

abstract: This paper details an application which yields significant improvements to the adeptness of place recognition with Frequency-Modulated Continuous-Wave radar - a commercially promising sensor poised for exploitation in mobile autonomy. We show how a rotationally-invariant metric embedding for radar scans can be integrated into sequence-based trajectory matching systems typically applied to videos taken by visual sensors. Due to the complete horizontal field of view inherent to the radar scan formation process, we show how this off-the-shelf sequence-based trajectory matching system can be manipulated to detect place matches when the vehicle is travelling down a previously visited stretch of road in the opposite direction. We demonstrate the efficacy of the approach on 26 km of challenging urban driving taken from the largest radar-focused urban autonomy dataset released to date -- showing a boost of 30% in recall at high levels of precision over a nearest neighbour approach.


title: Impact of transport modelling on the $^{60}$Fe abundance inside Galactic cosmic ray sources

abstract: The ACE-CRIS collaboration has recently released the measurement of radioactive $^{60}$Fe nuclei abundance in Galactic Cosmic Rays, in the energy range $\sim 195-500$ MeV per nucleon. We model Cosmic Ray propagation and derive from this measurement the $^{60}$Fe/$^{56}$Fe ratio that is expected in the sources of Galactic Cosmic Rays. We describe Cosmic Ray origin and transport within the framework of the disk/halo diffusion model, namely a scenario in which the matter and the Cosmic Ray sources in our Galaxy are confined to a thin disk, while Cosmic Ray propagation occurs in a much larger halo with negligible matter density. We solve the Cosmic Ray transport equation accounting for spallation reactions, decay and ionization losses as well as advection. We find that the $^{60}$Fe/$^{56}$Fe ratio at the source must be very close to the value detected in the local Cosmic Ray spectrum at Earth, due to the fact that spallation reactions are more effective for $^{56}$Fe than for $^{60}$Fe. Such a result could help identify the sources of Galactic Cosmic Rays.


title: On the origins of up-bending breaks in disk galaxies

abstract: Using SPITZER 3.6$\mu$m imaging, we investigate the physical and data-driven origins of up-bending (Type III) disk breaks. We apply a robust new break-finding algorithm to 175 low-inclination disk galaxies previously identified as containing Type III breaks, classify each galaxy by its outermost re-classified (via our new algorithm) break type, and compare the local environments of each resulting subgroup. Using three different measures of the local density of galaxies, we find that galaxies with extended outer spheroids (Type IIIs) occupy the highest density environments in our sample, while those with extended down-bending (Type II) disks and symmetric outskirts occupy the lowest density environments. Among outermost breaks, the most common origin of Type III breaks in our sample is methodological; the use of elliptical apertures to measure the radial profiles of asymmetric galaxies usually results in features akin to Type III breaks.


title: Equilibration of quantum cat states

abstract: We study the equilibration properties of isolated ergodic quantum systems initially prepared in a cat state, i.e a macroscopic quantum superposition of states. Our main result consists in showing that, even though decoherence is at work in the mean, there exists a remnant of the initial quantum coherences visible in the strength of the fluctuations of the steady state. We back-up our analysis with numerical results obtained on the XXX spin chain with a random field along the z-axis in the ergodic regime and find good qualitative and quantitative agreement with the theory. We also present and discuss a framework where equilibrium quantities can be computed from general statistical ensembles without relying on microscopic details about the initial state, akin to the eigenstate thermalization hypothesis.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Analysis of P-time Event Graphs in (Max,+) and (Min,+) Algebras

abstract: In this work we investigate the behavior of P-time event graphs, a class of time Petri nets with nondeterministic timing of places. Our approach is based on combined linear descriptions in both (max,+) and (min,+) semirings, where lower bounds on the state vector are (max,+)-linear and upper bounds are (min,+)-linear. We present necessary and sufficient conditions for the existence of extremal (fastest and slowest) periodic trajectories that are derived from the new description. The results are illustrated by a realistic example of an electroplating process.


title: CdO/MgO superlattices grown by MBE as cubic CdMgO quasi-alloys

abstract: New perspective cubic quasi-alloys CdO/MgO short period superlattices were grown on sapphire substrates by plasma assisted molecular beam epitaxy. Their crystal quality was characterized using High Resolution X-ray Diffraction (HRXRD) and Transmission Electron Microscopy (TEM) techniques. The thickness and growth rate of MgO and CdO individual layers have been extracted. Small angle X-ray diffraction peaks corresponding to the period of the superlattices ranging from 0.6 to 5 nm were clearly observed. From the XRD measurements we obtain 65% relaxation to the substrate of superlattice (SL) in Sample A (CdO/MgO - 4.7 nm/1 nm) and 96% relaxation of SL in Sample B (CdO/MgO - 2 nm/4 nm). Surface roughness parameters for SL were obtained both by Small angle X-ray diffraction and Atomic Force Microcopy studies.


title: Hadronic weak decays of the charmed baryon $\Omega_c$

abstract: Two-body hadronic weak decays of the charmed baryon $\Omega_c$, including Cabibbo-favored (CF), singly Cabibbo-suppressed (SCS) and doubly Cabibbo-suppressed (DCS) modes, are studied systematically in this work. To estimate nonfactorizable contributions, we work in the pole model for the $P$-wave amplitudes and current algebra for the $S$-wave amplitudes. Among all the channels decaying into a baryon octet and a pseudoscalar meson, $\Omega_c\to \Xi^0\overline{K}^0$ is the only allowed CF mode. The predicted branching fraction of order $3.8\%$ and large and positive decay asymmetry of order $0.50$ indicate that a measurement of this mode in the near future is promising. Proceeding through purely nonfactorizable contributions, the SCS mode $\Omega_c\to\Lambda^0\overline{K}^0$ and DCS mode $\Omega_c\to\Lambda^0 \eta$ are predicted to have branching fractions as large as $0.8\%$ and $0.4\%$, respectively. The two DCS modes $\Omega_c\to\Sigma^0\eta$ and $\Omega_c\to\Lambda^0\pi^0$ are suggested to serve as new physics searching channels for their vanishing SM background.


title: Communication-Efficient Distributed SGD with Error-Feedback, Revisited

abstract: We show that the convergence proof of a recent algorithm called dist-EF-SGD for distributed stochastic gradient descent with communication efficiency using error-feedback of Zheng et al. (NeurIPS 2019) is problematic mathematically. Concretely, the original error bound for arbitrary sequences of learning rate is unfortunately incorrect, leading to an invalidated upper bound in the convergence theorem for the algorithm. As evidences, we explicitly provide several counter-examples, for both convex and non-convex cases, to show the incorrectness of the error bound. We fix the issue by providing a new error bound and its corresponding proof, leading to a new convergence theorem for the dist-EF-SGD algorithm, and therefore recovering its mathematical analysis.


title: Neuro-symbolic Architectures for Context Understanding

abstract: Computational context understanding refers to an agent's ability to fuse disparate sources of information for decision-making and is, therefore, generally regarded as a prerequisite for sophisticated machine reasoning capabilities, such as in artificial intelligence (AI). Data-driven and knowledge-driven methods are two classical techniques in the pursuit of such machine sense-making capability. However, while data-driven methods seek to model the statistical regularities of events by making observations in the real-world, they remain difficult to interpret and they lack mechanisms for naturally incorporating external knowledge. Conversely, knowledge-driven methods, combine structured knowledge bases, perform symbolic reasoning based on axiomatic principles, and are more interpretable in their inferential processing; however, they often lack the ability to estimate the statistical salience of an inference. To combat these issues, we propose the use of hybrid AI methodology as a general framework for combining the strengths of both approaches. Specifically, we inherit the concept of neuro-symbolism as a way of using knowledge-bases to guide the learning progress of deep neural networks. We further ground our discussion in two applications of neuro-symbolism and, in both cases, show that our systems maintain interpretability while achieving comparable performance, relative to the state-of-the-art.


title: LiDAR Lateral Localisation Despite Challenging Occlusion from Traffic

abstract: This paper presents a system for improving the robustness of LiDAR lateral localisation systems. This is made possible by including detections of road boundaries which are invisible to the sensor (due to occlusion, e.g. traffic) but can be located by our Occluded Road Boundary Inference Deep Neural Network. We show an example application in which fusion of a camera stream is used to initialise the lateral localisation. We demonstrate over four driven forays through central Oxford - totalling 40 km of driving - a gain in performance that inferring of occluded road boundaries brings.


title: Riemannian geometry of Kahler-Einstein currents III: compactness of Kahler-Einstein manifolds of negative scalar curvature

abstract: Let $\mathcal{K}(n, V)$ be the set of $n$-dimensional compact Kahler-Einstein manifolds $(X, g)$ satisfying $Ric(g)= - g$ with volume bounded above by $V$. We prove that after passing to a subsequence, any sequence $\{ (X_j, g_j)\}_{j=1}^\infty$ in $\mathcal{K}(n, V)$ converges, in the pointed Gromov-Hausdorff topology, to a finite union of complete Kahler-Einstein metric spaces without loss of volume. The convergence is smooth off a closed singular set of Hausdorff dimension no greater than $2n-4$, and the limiting metric space is biholomorphic to an $n$-dimensional semi-log canonical model with its non log terminal locus of complex dimension no greater than $n-1$ removed. We also show that the Weil-Petersson metric extends uniquely to a Kahler current with bounded local potentials on the KSBA compactification of the moduli space of canonically polarized manifolds. In particular, the coarse KSBA moduli space has finite volume with respect to the Weil-Petersson metric. Our results are a high dimensional generalization of the well known compactness results for hyperbolic metrics on compact Riemann surfaces of fixed genus greater than one.


title: Development of Automatic Speech Recognition for Kazakh Language using Transfer Learning

abstract: Development of Automatic Speech Recognition system for Kazakh language is very challenging due to a lack of data.Existing data of kazakh speech with its corresponding transcriptions are heavily accessed and not enough to gain a worth mentioning results.For this reason, speech recognition of Kazakh language has not been explored well.There are only few works that investigate this area with traditional methods Hidden Markov Model, Gaussian Mixture Model, but they are suffering from poor outcome and lack of enough data.In our work we suggest a new method that takes pre-trained model of Russian language and applies its knowledge as a starting point to our neural network structure, which means that we are transferring the weights of pre-trained model to our neural network.The main reason we chose Russian model is that pronunciation of kazakh and russian languages are quite similar because they share 78 percent letters and there are quite large corpus of russian speech dataset. We have collected a dataset of Kazakh speech with transcriptions in the base of Suleyman Demirel University with 50 native speakers each having around 400 sentences.Data have been chosen from famous Kazakh books. We have considered 4 different scenarios in our experiment. First, we trained our neural network without using a pre-trained Russian model with 2 LSTM layers and 2 BiLSTM .Second, we have trained the same 2 LSTM layered and 2 BiLSTM layered using a pre-trained model. As a result, we have improved our models training cost and Label Error Rate by using external Russian speech recognition model up to 24 percent and 32 percent respectively.Pre-trained Russian language model has trained on 100 hours of data with the same neural network architecture.


title: Physics for Neuromorphic Computing

abstract: Neuromorphic computing takes inspiration from the brain to create energy efficient hardware for information processing, capable of highly sophisticated tasks. In this article, we make the case that building this new hardware necessitates reinventing electronics. We show that research in physics and material science will be key to create artificial nano-neurons and synapses, to connect them together in huge numbers, to organize them in complex systems, and to compute with them efficiently. We describe how some researchers choose to take inspiration from artificial intelligence to move forward in this direction, whereas others prefer taking inspiration from neuroscience, and we highlight recent striking results obtained with these two approaches. Finally, we discuss the challenges and perspectives in neuromorphic physics, which include developing the algorithms and the hardware hand in hand, making significant advances with small toy systems, as well as building large scale networks.


title: Dialectica Fuzzy Petri Nets

abstract: Brown and Gurr have introduced a model of Petri Nets that is based on de~Paiva's Dialectica categories. This model was refined in an unpublished technical report, where Petri nets with multiplicities, instead of {\em elementary} nets (i.e., nets with multiplicities zero and one only) were considered. In this note we expand this modelling to deal with {\em fuzzy} petri nets. The basic idea is to use as the dualizing object in the Dialectica categories construction, the unit interval that has all the properties of a {\em lineale} structure.


title: Neighborhood Information-based Probabilistic Algorithm for Network Disintegration

abstract: Many real-world applications can be modelled as complex networks, and such networks include the Internet, epidemic disease networks, transport networks, power grids, protein-folding structures and others. Network integrity and robustness are important to ensure that crucial networks are protected and undesired harmful networks can be dismantled. Network structure and integrity can be controlled by a set of key nodes, and to find the optimal combination of nodes in a network to ensure network structure and integrity can be an NP-complete problem. Despite extensive studies, existing methods have many limitations and there are still many unresolved problems. This paper presents a probabilistic approach based on neighborhood information and node importance, namely, neighborhood information-based probabilistic algorithm (NIPA). We also define a new centrality-based importance measure (IM), which combines the contribution ratios of the neighbor nodes of each target node and two-hop node information. Our proposed NIPA has been tested for different network benchmarks and compared with three other methods: optimal attack strategy (OAS), high betweenness first (HBF) and high degree first (HDF). Experiments suggest that the proposed NIPA is most effective among all four methods. In general, NIPA can identify the most crucial node combination with higher effectiveness, and the set of optimal key nodes found by our proposed NIPA is much smaller than that by heuristic centrality prediction. In addition, many previously neglected weakly connected nodes are identified, which become a crucial part of the newly identified optimal nodes. Thus, revised strategies for protection are recommended to ensure the safeguard of network integrity. Further key issues and future research topics are also discussed.


title: Les suites spectrales de Hodge-Tate

abstract: This book presents two important results in p-adic Hodge theory following the approach initiated by Faltings, namely (i) his main p-adic comparison theorem, and (ii) the Hodge-Tate spectral sequence. We establish for each of these results two versions, an absolute one and a relative one. While the absolute statements can reasonably be considered as well understood, particularly after their extension to rigid varieties by Scholze, Faltings' initial approach for the relative variants has remained much less studied. Although we follow the same strategy as that used by Faltings to establish his main p-adic comparison theorem, part of our proofs is based on new results. The relative Hodge-Tate spectral sequence is new in this approach.


title: Frequency Stability of Synchronous Machines and Grid-Forming Power Converters

abstract: An inevitable consequence of the global power system transition towards nearly 100% renewable-based generation is the loss of conventional bulk generation by synchronous machines, their inertia, and accompanying frequency and voltage control mechanisms. This gradual transformation of the power system to a low-inertia system leads to critical challenges in maintaining system stability. Novel control techniques for converters, so-called grid-forming strategies, are expected to address these challenges and replicate functionalities that so far have been provided by synchronous machines. This article presents a low-inertia case study that includes synchronous machines and converters controlled under various grid-forming techniques. In this work 1) the positive impact of the grid-forming converters on the frequency stability of synchronous machines is highlighted, 2) a qualitative analysis which provides insights into the frequency stability of the system is presented, 3) we explore the behavior of the grid-forming controls when imposing the converter dc and ac current limitations, 4) the importance of the dc dynamics in grid-forming control design as well as the critical need for an effective ac current limitation scheme are reported, and lastly 5) we analyze how and when the interaction between the fast grid-forming converter and the slow synchronous machine dynamics can contribute to the system instability


title: Deep Blind Video Super-resolution

abstract: Existing video super-resolution (SR) algorithms usually assume that the blur kernels in the degradation process are known and do not model the blur kernels in the restoration. However, this assumption does not hold for video SR and usually leads to over-smoothed super-resolved images. In this paper, we propose a deep convolutional neural network (CNN) model to solve video SR by a blur kernel modeling approach. The proposed deep CNN model consists of motion blur estimation, motion estimation, and latent image restoration modules. The motion blur estimation module is used to provide reliable blur kernels. With the estimated blur kernel, we develop an image deconvolution method based on the image formation model of video SR to generate intermediate latent images so that some sharp image contents can be restored well. However, the generated intermediate latent images may contain artifacts. To generate high-quality images, we use the motion estimation module to explore the information from adjacent frames, where the motion estimation can constrain the deep CNN model for better image restoration. We show that the proposed algorithm is able to generate clearer images with finer structural details. Extensive experimental results show that the proposed algorithm performs favorably against state-of-the-art methods.


title: Paraxial wave function and Gouy phase for a relativistic electron in a uniform magnetic field

abstract: A connection between relativistic quantum mechanics in the Foldy-Wouthuysen representation and the paraxial equations is established for a Dirac particle in external fields. The paraxial form of the Landau eigenfunction for a relativistic electron in a uniform magnetic field is determined. The obtained wave function contains the Gouy phase and significantly approaches to the paraxial wave function for a free electron.


title: Concentrating solutions for an anisotropic planar elliptic Neumann problem with Hardy-H\'{e}non weight and large exponent

abstract: Let $\Omega$ be a bounded domain in $\mathbb{R}^2$ with smooth boundary, we study the following anisotropic elliptic Neumann problem with Hardy-H\'{e}non weight $$ \begin{cases} -\nabla(a(x)\nabla u)+a(x)u=a(x)|x-q|^{2\alpha}u^p,\,\,\,\, u>0\,\,\,\,\, \textrm{in}\,\,\,\,\, \Omega,\\[2mm] \frac{\partial u}{\partial\nu}=0\,\, \qquad\quad\qquad\qquad\qquad \qquad\qquad\qquad\qquad \,\ \ \,\,\,\, \textrm{on}\,\,\, \partial\Omega, \end{cases} $$ where $\nu$ denotes the outer unit normal vector to $\partial\Omega$, $q\in\overline{\Omega}$, $\alpha\in(-1,+\infty)\setminus\mathbb{N}$, $p>1$ is a large exponent and $a(x)$ is a positive smooth function. We investigate the effect of the interaction between anisotropic coefficient $a(x)$ and singular source $q$ on the existence of concentrating solutions. We show that if $q\in\Omega$ is a strict local maximum point of $a(x)$, there exists a family of positive solutions with arbitrarily many interior spikes accumulating to $q$; while if $q\in\partial\Omega$ is a strict local maximum point of $a(x)$ and satisfies $\langle\nabla a(q),\,\nu(q)\rangle=0$, such a problem has a family of positive solutions with arbitrarily many mixed interior and boundary spikes accumulating to $q$. In particular, we find that concentration at singular source $q$ is always possible whether $q\in\overline{\Omega}$ is an isolated local maximum point of $a(x)$ or not.


title: Dual-attention Guided Dropblock Module for Weakly Supervised Object Localization

abstract: Attention mechanisms is frequently used to learn the discriminative features for better feature representations. In this paper, we extend the attention mechanism to the task of weakly supervised object localization (WSOL) and propose the dual-attention guided dropblock module (DGDM), which aims at learning the informative and complementary visual patterns for WSOL. This module contains two key components, the channel attention guided dropout (CAGD) and the spatial attention guided dropblock (SAGD). To model channel interdependencies, the CAGD ranks the channel attentions and treats the top-k attentions with the largest magnitudes as the important ones. It also keeps some low-valued elements to increase their value if they become important during training. The SAGD can efficiently remove the most discriminative information by erasing the contiguous regions of feature maps rather than individual pixels. This guides the model to capture the less discriminative parts for classification. Furthermore, it can also distinguish the foreground objects from the background regions to alleviate the attention misdirection. Experimental results demonstrate that the proposed method achieves new state-of-the-art localization performance.


title: The mean and variance in coupons required to complete a collection

abstract: This paper is about the Coupon collector's problem. There are some coupons, or baseball cards, or other plastic knick-knacks that are put into bags of chips or under soda bottles, etc. A collector starts collecting these trinkets and wants to form a complete collection of all possible ones. Every time they buy the product however, they don't know which coupon they will "collect" until they open the product. How many coupons do they need to collect before they complete the collection? In this paper, we explore the mean and variance of this random variable, $N$ using various methods. Some of them work only for the special case with the coupons having equal probabilities of being collected, while others generalize to the case where the coupons are collected with unequal probabilities (which is closer to a real world scenario).


title: Restore from Restored: Single Image Denoising with Pseudo Clean Image

abstract: In this study, we propose a simple and effective fine-tuning algorithm called "restore-from-restored", which can greatly enhance the performance of fully pre-trained image denoising networks. Many supervised denoising approaches can produce satisfactory results using large external training datasets. However, these methods have limitations in using internal information available in a given test image. By contrast, recent self-supervised approaches can remove noise in the input image by utilizing information from the specific test input. However, such methods show relatively lower performance on known noise types such as Gaussian noise compared to supervised methods. Thus, to combine external and internal information, we fine-tune the fully pre-trained denoiser using pseudo training set at test time. By exploiting internal self-similar patches (i.e., patch-recurrence), the baseline network can be adapted to the given specific input image. We demonstrate that our method can be easily employed on top of the state-of-the-art denoising networks and further improve the performance on numerous denoising benchmark datasets including real noisy images.


title: Structure and rheology of suspensions of spherical strain-hardening capsules

abstract: We investigate the rheology of strain-hardening spherical capsules, from the dilute to the concentrated regime under a confined shear flow using three-dimensional numerical simulations. We consider the effect of capillary number, volume fraction and membrane inextensibility on the particle deformation and on the effective suspension viscosity and normal stress differences of the suspension. The suspension displays a shear-thinning behaviour which is a characteristic of soft particles such as emulsion droplets, vesicles, strain-softening capsules, and red blood cells. We find that the membrane inextensibility plays a significant role on the rheology and can almost suppress the shear-thinning. For concentrated suspensions a non-monotonic dependence of the normal stress differences on the membrane inextensibility is observed, reflecting a similar behaviour in the particle shape. The effective suspension viscosity, instead, grows and eventually saturates, for very large inextensibilities, approaching the solid particle limit. In essence, our results reveal that strain-hardening capsules share rheological features with both soft and solid particles depending on the ratio of the area dilatation to shear elastic modulus. Furthermore, the suspension viscosity exhibits a universal behaviour for the parameter space defined by the capillary number and the membrane inextensibility, when introducing the particle geometrical changes at the steady-state in the definition of the volume fraction.


title: Quintessential Inflation with Dynamical Higgs Generation as an Affine Gravity

abstract: First, we propose a scale-invariant modified gravity interacting with a neutral scalar "inflaton" and a Higgs-like SU(2)xU(1) iso-doublet scalar field based on the formalism of non-Riemannian (metric-independent) spacetime volume-elements. This model describes in the physical Einstein frame a quintessential inflationary scenario driven by the "inflaton" together with gravity-inflaton assisted dynamical spontaneous SU(2)xU(1) symmetry breaking in the post-inflationary universe, whereas SU(2)xU(1) symmetry remains intact in the inflationary epoch. Next, we find the explicit representation of the latter quintessential inflationary model with a dynamical Higgs effect as an Eddington-type purely affine gravity.


title: Convergence of the pressure in the homogenization of the Stokes equations in randomly perforated domains

abstract: We consider the homogenization to the Brinkman equations for the incompressible Stokes equations in a bounded domain which is perforated by a random collection of small spherical holes. This problem has been studied by the same authors in [A. Giunti and R.M. H\"ofer, Homogenization for the Stokes equations in randomly perforated domains under almost minimal assumptions on the size of the holes] where convergence of the fluid velocity field towards the solution of the Brinkman equations has been established. In the present we consider the pressure associated to the solution of the Stokes equations in the perforated domain. We prove that it is possible to extend this pressure inside the holes and slightly modify it in a region of asymptotically negligible harmonic capacity such that it weakly converges to the pressure associated with the solution of the Brinkman equations.


title: Completing the dark matter solutions in degenerate Kaluza-Klein theory

abstract: A complete set of wave solutions is given for the weak field in a Kaluza-Klein theory with degenerate metric. In the five-dimensional version of this theory electromagnetism is described by two vector fields, and there is a reflection symmetry between them which unifies them with gravitation; wave behaviour in the extra dimension has been interpreted as dark matter. Here three independent dark matter solutions are found, and for two of them it is shown how they must be combined into a single solution in order to obey the reflection symmetry. The unification is also expanded to six dimensions to prepare the way to include further forces.


title: New advances in enumerative biclustering algorithms with online partitioning

abstract: This paper further extends RIn-Close_CVC, a biclustering algorithm capable of performing an efficient, complete, correct and non-redundant enumeration of maximal biclusters with constant values on columns in numerical datasets. By avoiding a priori partitioning and itemization of the dataset, RIn-Close_CVC implements an online partitioning, which is demonstrated here to guide to more informative biclustering results. The improved algorithm is called RIn-Close_CVC3, keeps those attractive properties of RIn-Close_CVC, as formally proved here, and is characterized by: a drastic reduction in memory usage; a consistent gain in runtime; additional ability to handle datasets with missing values; and additional ability to operate with attributes characterized by distinct distributions or even mixed data types. The experimental results include synthetic and real-world datasets used to perform scalability and sensitivity analyses. As a practical case study, a parsimonious set of relevant and interpretable mixed-attribute-type rules is obtained in the context of supervised descriptive pattern mining.


title: Positive solutions for nonlocal extended Fisher-Kolmogorov and Swift-Hohenberg equations via bifurcation methods

abstract: In this paper we study the existence of positive solutions for a class of nonlocal fourth-order nonautonomous differential equations which can be seen as generalization of extended Fisher-Kolmogorov and Swift-Hohenberg equations. The main result is proved using bifurcation theory.


title: Module checking of pushdown multi-agent systems

abstract: In this paper, we investigate the module-checking problem of pushdown multi-agent systems (PMS) against ATL and ATL* specifications. We establish that for ATL, module checking of PMS is 2EXPTIME-complete, which is the same complexity as pushdown module-checking for CTL. On the other hand, we show that ATL* module-checking of PMS turns out to be 4EXPTIME-complete, hence exponentially harder than both CTL* pushdown module-checking and ATL* model-checking of PMS. Our result for ATL* provides a rare example of a natural decision problem that is elementary yet but with a complexity that is higher than triply exponential-time.


title: Reeb flows with small contact volume and large return time to a global section

abstract: We show that any co-oriented closed contact manifold of dimension at least five admits a contact form such that the contact volume is arbitrarily small but the Reeb flow admits a global hypersurface of section with the property that the minimal period on the boundary of the hypersurface and the first return time in the interior of the hypersurface are bounded below. An immediate consequence of this statement is that every co-oriented contact structure on any closed manifold admits a contact form with arbitrarily large systolic ratio. This generalizes the result of Abbondandolo et al. in dimension three to higher dimensions. The proof the main result is inductive and uses the result of Abbondandolo et al. on large systolic ratio in dimension three in its basis step. The essential construction in the proof relies on the Giroux correspondence in higher dimensions.


title: Strategy Logic with Imperfect Information

abstract: We introduce an extension of Strategy Logic for the imperfect-information setting, called SLii, and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, this problem is undecidable; but we introduce a syntactical class of "hierarchical instances" for which, intuitively, as one goes down the syntactic tree of the formula, strategy quantifications are concerned with finer observations of the model, and we prove that model-checking SLii restricted to hierarchical instances is decidable. To establish this result we go through QCTL, an intermediary, "low-level" logic much more adapted to automata techniques. QCTL is an extension of CTL with second-order quantification over atomic propositions. We extend it to the imperfect information setting by parameterising second-order quantifiers with observations. While the model-checking problem of QCTLii is, in general, undecidable, we identify a syntactic fragment of hierarchical formulas and prove, using an automata-theoretic approach, that it is decidable. We apply our result to solve complex strategic problems in the imperfect-information setting. We first show that the existence of Nash equilibria for deterministic strategies is decidable in games with hierarchical information. We also introduce distributed rational synthesis, a generalisation of rational synthesis to the imperfect-information setting. Because it can easily be expressed in our logic, our main result provides solution to this problem in the case of hierarchical information.


title: On the second boundary value problem for a class of fully nonlinear flows III

abstract: We study the solvability of the second boundary value problem of the Lagrangian mean curvature equation arising from special Lagrangian geometry. By the parabolic method we obtain the existence and uniqueness of the smooth uniformly convex solution, which generalizes the Brendle-Warren's theorem about minimal Lagrangian diffeomorphism in Euclidean metric space.


title: Link Prediction using Graph Neural Networks for Master Data Management

abstract: Learning graph representations of n-ary relational data has a number of real world applications like anti-money laundering, fraud detection, and customer due diligence. Contact tracing of COVID19 positive persons could also be posed as a Link Prediction problem. Predicting links between people using Graph Neural Networks requires careful ethical and privacy considerations than in domains where GNNs have typically been applied so far. We introduce novel methods for anonymizing data, model training, explainability and verification for Link Prediction in Master Data Management, and discuss our results.


title: Speaker Identification using EEG

abstract: In this paper we explore speaker identification using electroencephalography (EEG) signals. The performance of speaker identification systems degrades in presence of background noise, this paper demonstrates that EEG features can be used to enhance the performance of speaker identification systems operating in presence and absence of background noise. The paper further demonstrates that in presence of high background noise, speaker identification system using only EEG features as input demonstrates better performance than the system using only acoustic features as input.


title: Isentropic evolution of the matter in heavy-ion collisions and the search for the critical endpoint

abstract: We study the isentropic evolution of the matter produced in relativistic heavy-ion collisions for various values of the entropy-per-baryon ratio of interest for the ongoing and future experimental searches for the critical endpoint (CEP) in the QCD phase diagram: these includes the current Beam-Energy-Scan (BES) program at RHIC and the fixed-target collisions foreseen for the near future at various facilities. We describe the hot-dense matter through two different effective Lagrangians: the PNJL (Polyakov-Nambu-Jona-Lasinio) and the PQM (Polyakov-quark-meson) models. We focus on quantities expected to have a direct experimental relevance: the speed of sound, responsible for the collective acceleration of the fireball, and the generalized susceptibilities, connected to the cumulants of the distributions of conserved charges. In principle, they should affect the momentum spectra and the event-by-event fluctuations of the yields of identified particles. Taking realistic values for the initial temperature and the entropy-per-baryon ratio we study the temporal evolution of the above quantities looking for differences along isentropic trajectories covering different regions of the QCD phase diagram, passing far or close to the CEP or even intersecting the first-order critical line.


title: Security of Distributed Machine Learning: A Game-Theoretic Approach to Design Secure DSVM

abstract: Distributed machine learning algorithms play a significant role in processing massive data sets over large networks. However, the increasing reliance on machine learning on information and communication technologies (ICTs) makes it inherently vulnerable to cyber threats. This work aims to develop secure distributed algorithms to protect the learning from data poisoning and network attacks. We establish a game-theoretic framework to capture the conflicting goals of a learner who uses distributed support vector machines (SVMs) and an attacker who is capable of modifying training data and labels. We develop a fully distributed and iterative algorithm to capture real-time reactions of the learner at each node to adversarial behaviors. The numerical results show that distributed SVM is prone to fail in different types of attacks, and their impact has a strong dependence on the network structure and attack capabilities.


title: Optimizing Revenue while showing Relevant Assortments at Scale

abstract: Scalable real-time assortment optimization has become essential in e-commerce operations due to the need for personalization and the availability of a large variety of items. While this can be done when there are simplistic assortment choices to be made, the optimization process becomes difficult when imposing constraints on the collection of relevant assortments based on insights by store-managers and historically well-performing assortments. We design fast and flexible algorithms based on variations of binary search that find the (approximately) optimal assortment in this difficult regime. In particular, we revisit the problem of large-scale assortment optimization under the multinomial logit choice model without any assumptions on the structure of the feasible assortments. We speed up the comparison steps using advances in similarity search in the field of information retrieval/machine learning. For an arbitrary collection of assortments, our algorithms can find a solution in time that is sub-linear in the number of assortments, and for the simpler case of cardinality constraints - linear in the number of items (existing methods are quadratic or worse). Empirical validations using a real world dataset (in addition to experiments using semi-synthetic data based on the Billion Prices dataset and several retail transaction datasets) show that our algorithms are competitive even when the number of items is $\sim 10^5$ ($10\times$ larger instances than previously studied).


title: Computing the Pseudospectral Abscissa of Time-Delay Systems

abstract: The pseudospectra of a linear time-invariant system are the sets in the complex plane consisting of all the roots of the characteristic equation when the system matrices are subjected to all possible perturbations with a given upper bound. The pseudospectral abscissa are defined as the maximum real part of the characteristic roots in the pseudospectra and, therefore, they are for instance important from a robust stability point of view. In this paper we present a numerical method for the computation of the pseudospectral abscissa of retarded delay differential equations with discrete pointwise delays. Our approach is based on the connections between the pseudospectra and the level sets of an appropriately defined complex function. These connections lead us to a bisection algorithm for the computation of the pseudospectral abscissa, where each step relies on checking the presence of imaginary axis eigenvalues of an appropriately defined operator. Because this operator is infinite-dimensional a predictor-corrector approach is taken. In the predictor step the bisection algorithm is applied where the operator is discretized into a matrix, yielding approximations for the pseudospectral abscissa. The effect of the discretization is fully characterized in the paper. In the corrector step, the approximate pseudospectral abscissa are corrected to any given accuracy, by solving a set of nonlinear equations that characterize extreme points in the pseudospectra contours.


title: EKOR strata on Shimura varieties with parahoric reduction

abstract: We investigate the geometry of the special fiber of the integral model of a Shimura variety with parahoric level at a given prime place. To be more precise, we deal with the EKOR stratification which interpolates between the Ekedahl-Oort and Kottwitz-Rapoport stratifications. In the Siegel case we give a geometric description by suitably generalizing the theory of $G$-zips of Moonen, Wedhorn, Pink and Ziegler to our context.


title: On the Co-Design of AV-Enabled Mobility Systems

abstract: The design of autonomous vehicles (AVs) and the design of AV-enabled mobility systems are closely coupled. Indeed, knowledge about the intended service of AVs would impact their design and deployment process, whilst insights about their technological development could significantly affect transportation management decisions. This calls for tools to study such a coupling and co-design AVs and AV-enabled mobility systems in terms of different objectives. In this paper, we instantiate a framework to address such co-design problems. In particular, we leverage the recently developed theory of co-design to frame and solve the problem of designing and deploying an intermodal Autonomous Mobility-on-Demand system, whereby AVs service travel demands jointly with public transit, in terms of fleet sizing, vehicle autonomy, and public transit service frequency. Our framework is modular and compositional, allowing one to describe the design problem as the interconnection of its individual components and to tackle it from a system-level perspective. To showcase our methodology, we present a real-world case study for Washington D.C., USA. Our work suggests that it is possible to create user-friendly optimization tools to systematically assess costs and benefits of interventions, and that such analytical techniques might gain a momentous role in policy-making in the future.


title: Drawing Graphs with Circular Arcs and Right-Angle Crossings

abstract: In a RAC drawing of a graph, vertices are represented by points in the plane, adjacent vertices are connected by line segments, and crossings must form right angles. Graphs that admit such drawings are RAC graphs. RAC graphs are beyond-planar graphs and have been studied extensively. In particular, it is known that a RAC graph with n vertices has at most 4n - 10 edges. We introduce a superclass of RAC graphs, which we call arc-RAC graphs. A graph is arc-RAC if it admits a drawing where edges are represented by circular arcs and crossings form right angles. We provide a Tur\'an-type result showing that an arc-RAC graph with n vertices has at most 14n - 12 edges and that there are n-vertex arc-RAC graphs with 4.5n - o(n) edges.


title: Persistence of hierarchical network organization and emergent topologies in models of functional connectivity

abstract: Functional networks provide a topological description of activity patterns in the brain, as they stem from the propagation of neural activity on the underlying anatomical or structural network of synaptic connections. This latter is well known to be organized in hierarchical and modular way. While it is assumed that structural networks shape their functional counterparts, it is also hypothesized that alterations of brain dynamics come with transformations of functional connectivity. In this computational study, we introduce a novel methodology to monitor the persistence and breakdown of hierarchical order in functional networks, generated from computational models of activity spreading on both synthetic and real structural connectomes. We show that hierarchical connectivity appears in functional networks in a persistent way if the dynamics is set to be in the quasi-critical regime associated with optimal processing capabilities and normal brain function, while it breaks down in other (supercritical) dynamical regimes, often associated with pathological conditions. Our results offer important clues for the study of optimal neurocomputing architectures and processes, which are capable of controlling patterns of activity and information flow. We conclude that functional connectivity patterns achieve optimal balance between local specialized processing (i.e. segregation) and global integration by inheriting the hierarchical organization of the underlying structural architecture.


title: Rainy screens: Collecting rainy datasets, indoors

abstract: Acquisition of data with adverse conditions in robotics is a cumbersome task due to the difficulty in guaranteeing proper ground truth and synchronising with desired weather conditions. In this paper, we present a simple method - recording a high resolution screen - for generating diverse rainy images from existing clear ground-truth images that is domain- and source-agnostic, simple and scales up. This setup allows us to leverage the diversity of existing datasets with auxiliary task ground-truth data, such as semantic segmentation, object positions etc. We generate rainy images with real adherent droplets and rain streaks based on Cityscapes and BDD, and train a de-raining model. We present quantitative results for image reconstruction and semantic segmentation, and qualitative results for an out-of-sample domain, showing that models trained with our data generalize well.


title: Benchmarking Forecasting Models for Space Weather Drivers

abstract: Space weather indices are commonly used to drive operational forecasts of various geospace systems, including the thermosphere for mass density and satellite drag. The drivers serve as proxies for various processes that cause energy flow and deposition in the geospace system. Forecasts of neutral mass density is a major uncertainty in operational orbit prediction and collision avoidance for objects in low earth orbit (LEO). For the strongly driven system, accuracy of space weather driver forecasts is crucial for operations. The High Accuracy Satellite Drag Model (HASDM) currently employed by the United States Air Force in an operational environment is driven by four (4) solar and two (2) geomagnetic proxies. Space Environment Technologies (SET) is contracted by the space command to provide forecasts for the drivers. This work performs a comprehensive assessment for the performance of the driver forecast models. The goal is to provide a benchmark for future improvements of the forecast models. Using an archived data set spanning six (6) years and 15,000 forecasts across solar cycle 24, we quantify the temporal statistics of the model performance.


title: On incidences of lines in regular complexes

abstract: A regular linear line complex is a three-parameter set of lines in space, whose Pl\"ucker vectors lie in a hyperplane, which is not tangent to the Klein quadric. Our main result is a bound $O(n^{1/2}m^{3/4} + m+n)$ for the number of incidences between $n$ lines in a complex and $m$ points in $\mathbb F^3$, where $\mathbb F$ is a field, and $n\leq char(\mathbb F)^{4/3}$ in positive characteristic. Zahl has recently observed that bichromatic pairwise incidences of lines coming from two distinct line complexes account for the nonzero single distance problem for a set of $n$ points in $\mathbb F^3$. This implied the new bound $O(n^{3/2})$ for the number of realisations of the distance, which is a square, for $\mathbb F$, where $-1$ is not a square in the $\mathbb F$-analogue of the Erd\H os single distance problem in $\mathbb R^3$. Our incidence bound yields, under a natural constraint, a weaker bound $O(n^{1.6})$, which holds for any distance, including zero, over any $\mathbb F$.


title: Spitzoid Lesions Diagnosis based on GA feature selection and Random Forest

abstract: Spitzoid lesions broadly categorized into Spitz Nevus (SN), Atypical Spitz Tumors (AST), and Spitz Melanomas (SM). The accurate diagnosis of these lesions is one of the most challenges for dermapathologists; this is due to the high similarities between them. Data mining techniques are successfully applied to situations like these where complexity exists. This study aims to develop an artificial intelligence model to support the diagnosis of Spitzoid lesions. A private spitzoid lesions dataset have been used to evaluate the system proposed in this study. The proposed system has three stages. In the first stage, SMOTE method applied to solve the imbalance data problem, in the second stage, in order to eliminate irrelevant features; genetic algorithm is used to select significant features. This later reduces the computational complexity and speed up the data mining process. In the third stage, Random forest classifier is employed to make a decision for two different categories of lesions (Spitz nevus or Atypical Spitz Tumors). The performance of our proposed scheme is evaluated using accuracy, sensitivity, specificity, G-mean, F- measure, ROC and AUC. Results obtained with our SMOTE-GA-RF model with GA-based 16 features show a great performance with accuracy 0.97, F-measure 0.98, AUC 0.98, and G-mean 0.97.Results obtained in this study have potential to open new opportunities in diagnosis of spitzoid lesions.


title: Existence and uniqueness of positive solutions for Kirchhoff type beam equations

abstract: This paper is concerned with the existence and uniqueness of positive solution for the fourth order Kirchhoff type problem $$\left\{\begin{array}{ll} u''''(x)-(a+b\int_0^1(u'(x))^2dx)u''(x)=\lambda f(u(x)),\ \ \ \ x\in(0,1),\\ u(0)=u(1)=u''(0)=u''(1)=0,\\ \end{array} \right. $$ where $a>0, b\geq 0$ are constants, $\lambda\in \mathbb{R}$ is a parameter. For the case $f(u)\equiv u$, we use an argument based on the linear eigenvalue problems of fourth order equations and their properties to show that there exists a unique positive solution for all $\lambda>\lambda_{1,a}$, here $\lambda_{1,a}$ is the first eigenvalue of the above problem with $b=0$; For the case $f$ is sublinear, we prove that there exists a unique positive solution for all $\lambda>0$ and no positive solution for $\lambda<0$ by using bifurcation method.


title: An Integer Programming Model for Embedding Social Values into Software Requirement Selection

abstract: The existing software requirement selection methods have mainly focused on optimizing the economic value of a software product while ignoring its social values and their long-term impacts on the society. Social values however, are also important and need to be taken into account in software requirement selection. Moreover, social values of software requirements may change in the presence or absence of other requirements due to the value dependencies among those requirements. These dependencies are imprecise and hard to specify in software projects. This paper presents an Integer Programming (IP) model for the integration of social values and dependencies among them into software requirement selection. We further, account for the imprecision of social values and dependencies among them using the algebraic structure of fuzzy graphs.


title: On the coexistence of competing languages

abstract: We investigate the evolution of competing languages, a subject where much previous literature suggests that the outcome is always the domination of one language over all the others. Since coexistence of languages is observed in reality, we here revisit the question of language competition, with an emphasis on uncovering the ways in which coexistence might emerge. We find that this emergence is related to symmetry breaking, and explore two particular scenarios -- the first relating to an imbalance in the population dynamics of language speakers in a single geographical area, and the second to do with spatial heterogeneity, where language preferences are specific to different geographical regions. For each of these, the investigation of paradigmatic situations leads us to a quantitative understanding of the conditions leading to language coexistence. We also obtain predictions of the number of surviving languages as a function of various model parameters.


title: UFOMap: An Efficient Probabilistic 3D Mapping Framework That Embraces the Unknown

abstract: 3D models are an essential part of many robotic applications. In applications where the environment is unknown a-priori, or where only a part of the environment is known, it is important that the 3D model can handle the unknown space efficiently. Path planning, exploration, and reconstruction all fall into this category. In this paper we present an extension to OctoMap which we call UFOMap. UFOMap uses an explicit representation of all three states in the map, i.e., occupied, free, and unknown. This gives, surprisingly, a more memory efficient representation. Furthermore, we provide methods that allow for significantly faster insertions into the octree. This enables real-time colored volumetric mapping at high resolution (below 1 cm). UFOMap is contributed as a C++ library that can be used standalone but is also integrated into ROS.


title: Homeomorphic subsurfaces and the omnipresent arcs

abstract: In this article, we are concerned with various aspects of arcs on surfaces. In the first part, we deal with topological aspects of arcs and their complements. We use this understanding, in the second part, to construct interesting actions of the mapping class group on a subgraph of the arc graph. This subgraph naturally emerges from a new characterisation of infinite-type surfaces in terms of homeomorphic subsurfaces.


title: Gorenstein property for phylogenetic trivalent trees

abstract: We study the Gorenstein property for phylogenetic group-based models. We prove that for the groups $\mathbb Z_3$ and $\mathbb Z_2\times \mathbb Z_2$ and trivalent trees the associated polytopes are always Gorenstein extending the results of Buczy\'nska and Wi\'sniewski for the group $\mathbb Z_2$.


title: The self-similar structure of advection-dominated discs with outflow and radial viscosity

abstract: Observational evidence and theoretical arguments postulate that outflows may play a significant role in the advection-dominated accretion discs (ADAFs). While the azimuthal viscosity is the main focus of most previous studies in this context, recent studies indicated that disc structure can also be affected by the radial viscosity. In this work, we incorporate these physical ingredients and the toroidal component of the magnetic field to explore their roles in the steady-state structure of ADAFs. We thereby present a set of similarity solutions where outflows contribute to the mass loss, angular momentum removal, and the energy extraction. Our solutions indicate that the radial viscosity causes the disc to rotate with a slower rate, whereas the radial gas velocity increases. For strong winds, the infall velocity may be of order the Keplerian speed if the radial viscosity is considered and the saturated conduction parameter is high enough. We show that the strength of magnetic field and of wind can affect the effectiveness of radial viscosity.


title: Integrating two-photon nonlinear spectroscopy of rubidium atoms with silicon photonics

abstract: We study an integrated silicon photonic chip, composed of several sub-wavelength ridge waveguides, and immersed in a micro-cell with rubidium vapor. Employing two-photon excitation, including a telecom wavelength, we observe that the waveguide transmission spectrum gets modified when the photonic mode is coupled to rubidium atoms through its evanescent tail. Due to the enhanced electric field in the waveguide cladding, the atomic transition can be saturated at a photon number $\approx$ 80 times less than a free-propagating beam case. The non-linearity of the atom-clad Si-waveguide is about 4 orders of magnitude larger than maximum achievable value in doped Si photonics. The measured spectra corroborate well with a generalized effective susceptibility model that includes the Casimir-Polder potentials, due to the dielectric surface, and the transient interaction between flying atoms and the evanescent waveguide mode. This work paves the way towards a miniaturized, low-power, and integrated hybrid atomic-photonic system compatible with CMOS technologies.


title: On a Class of Markov Order Estimators Based on PPM and Other Universal Codes

abstract: We investigate a class of estimators of the Markov order for stationary ergodic processes which form a slight modification of the constructions by Merhav, Gutman, and Ziv in 1989 as well as by Ryabko, Astola, and Malyutov in 2006 and 2016. All the considered estimators compare the estimate of the entropy rate given by a universal code with the empirical conditional entropy of a string and return the order for which the two quantities are approximately equal. However, our modification, which we call universal Markov orders, satisfies a few attractive properties, not shown by the mentioned authors for their original constructions. Firstly, the universal Markov orders are almost surely consistent, without any restrictions. Secondly, they are upper bounded asymptotically by the logarithm of the string length divided by the entropy rate. Thirdly, if we choose the Prediction by Partial Matching (PPM) as the universal code then the number of distinct substrings of the length equal to the universal Markov order constitutes an upper bound for the block mutual information. Thus universal Markov orders can be also used indirectly for quantification of long memory for an ergodic process.


title: Is this GitHub Project Maintained? Measuring the Level of Maintenance Activity of Open-Source Projects

abstract: Context: GitHub hosts an impressive number of high-quality OSS projects. However, selecting "the right tool for the job" is a challenging task, because we do not have precise information about those high-quality projects. Objective: In this paper, we propose a data-driven approach to measure the level of maintenance activity of GitHub projects. Our goal is to alert users about the risks of using unmaintained projects and possibly motivate other developers to assume the maintenance of such projects. Method: We train machine learning models to define a metric to express the level of maintenance activity of GitHub projects. Next, we analyze the historical evolution of 2,927 active projects in the time frame of one year. Results: From 2,927 active projects, 16% become unmaintained in the interval of one year. We also found that Objective-C projects tend to have lower maintenance activity than projects implemented in other languages. Finally, software tools---such as compilers and editors---have the highest maintenance activity over time. Conclusions: A metric about the level of maintenance activity of GitHub projects can help developers to select open source projects.


title: Characterization of the Detector Response to Electrons of Silicon Drift Detectors for the TRISTAN Project

abstract: Right-handed neutrinos are a natural extension of the Standard Model of particle physics. Such particles would only interact through the mixing with the left-handed neutrinos, hence they are called sterile neutrinos. If their mass were in the keV-range they would be Dark Matter candidates. By investigating the electron spectrum of the tritium beta-decay the parameter space with masses up to the endpoint of 18.6 keV can be probed. A sterile neutrino manifests as a kink-like structure in the spectrum. To achieve this goal the TRISTAN project develops a new detector system for the KATRIN experiment that can search for these new particles using the silicon drift detector technology. One major effect on the performance of the detectors is the so called dead layer. Here, a new characterization method for the prototype detectors is presented using the Kr-83m decay conversion electrons. By tilting the detector its effective dead layer increases, which leads to different peak positions. The difference of peak positions between two tilting angles is independent of source effects and is thus suitable for characterization.A dead layer is then extracted by comparing the measurements to Monte-Carlo simulations. A dead layer in the order of 50 nm was found.


title: On the values of unipotent characters of finite Chevalley groups of type $E_7$ in characteristic 2

abstract: Let $G$ be a finite group of Lie type. In order to determine the character table of $G$, Lusztig developed the theory of character sheaves. In this framework, one has to find the transformation between two bases for the space of class functions on $G$, one of them being the irreducible characters of $G$, the other one consisting of characteristic functions associated to character sheaves. In principle, this has been achieved by Lusztig and Shoji, but the underlying process involves some scalars which are still unknown in many cases. The problem of specifying these scalars can be reduced to considering cuspidal character sheaves. We will deal with the latter for the specific case where $G=E_7(q)$, and $q$ is a power of the bad prime $p=2$ for $E_7$.