title: Watch It Twice: Video Captioning with a Refocused Video Encoder

abstract: With the rapid growth of video data and the increasing demands of various applications such as intelligent video search and assistance toward visually-impaired people, video captioning task has received a lot of attention recently in computer vision and natural language processing fields. The state-of-the-art video captioning methods focus more on encoding the temporal information, while lack of effective ways to remove irrelevant temporal information and also neglecting the spatial details. However, the current RNN encoding module in single time order can be influenced by the irrelevant temporal information, especially the irrelevant temporal information is at the beginning of the encoding. In addition, neglecting spatial information will lead to the relationship confusion of the words and detailed loss. Therefore, in this paper, we propose a novel recurrent video encoding method and a novel visual spatial feature for the video captioning task. The recurrent encoding module encodes the video twice with the predicted key frame to avoid the irrelevant temporal information often occurring at the beginning and the end of a video. The novel spatial features represent the spatial information in different regions of a video and enrich the details of a caption. Experiments on two benchmark datasets show superior performance of the proposed method.


title: Unsupervised Separation of Dynamics from Pixels

abstract: We present an approach to learn the dynamics of multiple objects from image sequences in an unsupervised way. We introduce a probabilistic model that first generate noisy positions for each object through a separate linear state-space model, and then renders the positions of all objects in the same image through a highly non-linear process. Such a linear representation of the dynamics enables us to propose an inference method that uses exact and efficient inference tools and that can be deployed to query the model in different ways without retraining.


title: Comprehending deterministic and stochastic occasional uncoupling induced synchronizations through each other

abstract: In this paper, we numerically study the stochastic and the deterministic occasional uncoupling methods of effecting identical synchronized states in low dimensional, dissipative, diffusively coupled, chaotic flows that are otherwise not synchronized when continuously coupled at the same coupling strength parameter. In the process of our attempt to understand the mechanisms behind the success of the occasional uncoupling schemes, we devise a hybrid between the transient uncoupling and the stochastic on-off coupling, and aptly name it the transient stochastic uncoupling---yet another stochastic occasional uncoupling method. Our subsequent investigation on the transient stochastic uncoupling allows us to surpass the effectiveness of the stochastic on-off coupling with very fast on-off switching rate. Additionally, through the transient stochastic uncoupling, we establish that the indicators quantifying the local contracting dynamics in the corresponding transverse manifold are generally not useful in finding the optimal coupling region of the phase space in the case of the deterministic transient uncoupling. In fact, we highlight that the autocorrelation function---a non-local indicator of the dynamics---of the corresponding response system's chaotic time-series dictates when the deterministic uncoupling could be successful. We illustrate all our heuristic results using a few well-known examples of diffusively coupled chaotic oscillators.


title: Detecting Spoofing Attacks Using VGG and SincNet: BUT-Omilia Submission to ASVspoof 2019 Challenge

abstract: In this paper, we present the system description of the joint efforts of Brno University of Technology (BUT) and Omilia -- Conversational Intelligence for the ASVSpoof2019 Spoofing and Countermeasures Challenge. The primary submission for Physical access (PA) is a fusion of two VGG networks, trained on single and two-channels features. For Logical access (LA), our primary system is a fusion of VGG and the recently introduced SincNet architecture. The results on PA show that the proposed networks yield very competitive performance in all conditions and achieved 86\:\% relative improvement compared to the official baseline. On the other hand, the results on LA showed that although the proposed architecture and training strategy performs very well on certain spoofing attacks, it fails to generalize to certain attacks that are unseen during training.


title: Open shop scheduling games

abstract: This paper takes a game theoretical approach to open shop scheduling problems with unit execution times to minimize the sum of completion times. By supposing an initial schedule and associating each job (consisting in a number of operations) to a different player, we can construct a cooperative TU-game associated with any open shop scheduling problem. We assign to each coalition the maximal cost savings it can obtain through admissible rearrangements of jobs' operations. By providing a core allocation, we show that the associated games are balanced. Finally, we relax the definition of admissible rearrangements for a coalition to study to what extend balancedness still holds.


title: Improving Social Awareness Through DANTE: A Deep Affinity Network for Clustering Conversational Interactants

abstract: We propose a data-driven approach to detect conversational groups by identifying spatial arrangements typical of these focused social encounters. Our approach uses a novel Deep Affinity Network (DANTE) to predict the likelihood that two individuals in a scene are part of the same conversational group, considering their social context. The predicted pair-wise affinities are then used in a graph clustering framework to identify both small (e.g., dyads) and large groups. The results from our evaluation on multiple, established benchmarks suggest that combining powerful deep learning methods with classical clustering techniques can improve the detection of conversational groups in comparison to prior approaches. Finally, we demonstrate the practicality of our approach in a human-robot interaction scenario. Our efforts show that our work advances group detection not only in theory, but also in practice.


title: Single-jet inclusive rates with exact color at $\mathcal{O}(\alpha_s^4)$

abstract: Next-to-next-to-leading order QCD predictions for single-, double- and even triple-differential distributions of jet events in proton-proton collisions have recently been obtained using the NNLOjet framework based on antenna subtraction. These results are an important input for Parton Distribution Function fits to hadron-collider data. While these calculations include all of the partonic channels occurring at this order of the perturbative expansion, they are based on the leading-color approximation in the case of channels involving quarks and are only exact in color in the pure-gluon channel. In the present publication, we verify that the sub-leading color effects in the single-jet inclusive double-differential cross sections are indeed negligible as far as phenomenological applications are concerned. This is the first independent and complete calculation for this observable. We also take the opportunity to discuss the necessary modifications of the sector-improved residue subtraction scheme that made this work possible.


title: On the estimation of average treatment effects with right-censored time to event outcome and competing risks

abstract: We are interested in the estimation of average treatment effects based on right-censored data of an observational study. We focus on causal inference of differences between t-year absolute event risks in a situation with competing risks. We derive doubly robust estimation equations and implement estimators for the nuisance parameters based on working regression models for the outcome, the censoring and the treatment distribution conditional on auxiliary baseline covariates. We use the functional delta method to show that our estimators are regular asymptotically linear estimators and estimate their variances based on estimates of their influence functions. In empirical studies we assess the robustness of the estimators and the coverage of confidence intervals. The methods are further illustrated using data from a Danish registry study.


title: Formal Specification of Continuum Deformation Coordination

abstract: Continuum deformation is a leader-follower multiagent cooperative control approach. Previous work showed a desired continuum deformation can be uniquely defined based on trajectories of d +1 leaders in a d-dimensional motion space and acquired by followers through local inter-agent communication. This paper formally specifies continuum deformation coordination in an obstacle-laden environment. Using linear temporal logic (LTL), continuum deformation liveness and safety requirements are defined. Safety is prescribed by providing conditions on (i) agent deviation bound, (ii) inter-agent collision avoidance, (iii) agent containment, (iv) motion space containment, and (v) obstacle collision avoidance. Liveness specifies a reachability condition on the desired final formation.


title: Evolutionary Algorithms and Efficient Data Analytics for Image Processing

abstract: Steganography algorithms facilitate communication between a source and a destination in a secret manner. This is done by embedding messages/text/data into images without impacting the appearance of the resultant images/videos. Steganalysis is the science of determining if an image has secret messages embedded/hidden in it. Because there are numerous steganography algorithms, and since each one of them requires a different type of steganalysis, the steganalysis process is extremely challenging. Thus, researchers aim to develop one universal steganalysis to detect all known and unknown steganography algorithms, ideally in real-time. Universal steganalysis extracts a large number of features to distinguish stego images from cover images. However, the increase in features leads to the problem of the curse of dimensionality (CoD), which is considered to be an NP-hard problem. This COD problem additionally makes real-time steganalysis hard. A large number of features generates large datasets for which machine learning cannot generate an optimal model. Generating a machine learning based model also takes a long time which makes real-time processing appear impossible in any optimization for time-intensive fields such as visual computing. Possible solutions for CoD are deep learning and evolutionary algorithms that overcome the machine learning limitations. In this study, we investigate previously developed evolutionary algorithms for boosting real-time image processing and argue that they provide the most promising solutions for the CoD problem.


title: Reg R-CNN: Lesion Detection and Grading under Noisy Labels

abstract: For the task of concurrently detecting and categorizing objects, the medical imaging community commonly adopts methods developed on natural images. Current state-of-the-art object detectors are comprised of two stages: the first stage generates region proposals, the second stage subsequently categorizes them. Unlike in natural images, however, for anatomical structures of interest such as tumors, the appearance in the image (e.g., scale or intensity) links to a malignancy grade that lies on a continuous ordinal scale. While classification models discard this ordinal relation between grades by discretizing the continuous scale to an unordered bag of categories, regression models are trained with distance metrics, which preserve the relation. This advantage becomes all the more important in the setting of label confusions on ambiguous data sets, which is the usual case with medical images. To this end, we propose Reg R-CNN, which replaces the second-stage classification model of a current object detector with a regression model. We show the superiority of our approach on a public data set with 1026 patients and a series of toy experiments. Code will be available at github.com/MIC-DKFZ/RegRCNN.


title: DeepPlace: Learning to Place Applications in Multi-Tenant Clusters

abstract: Large multi-tenant production clusters often have to handle a variety of jobs and applications with a variety of complex resource usage characteristics. It is non-trivial and non-optimal to manually create placement rules for scheduling that would decide which applications should co-locate. In this paper, we present DeepPlace, a scheduler that learns to exploits various temporal resource usage patterns of applications using Deep Reinforcement Learning (Deep RL) to reduce resource competition across jobs running in the same machine while at the same time optimizing for overall cluster utilization.


title: Covering up bias in CelebA-like datasets with Markov blankets: A post-hoc cure for attribute prior avoidance

abstract: Attribute prior avoidance entails subconscious or willful non-modeling of (meta)attributes that datasets are oft born with, such as the 40 semantic facial attributes associated with the CelebA and CelebA-HQ datasets. The consequences of this infirmity, we discover, are especially stark in state-of-the-art deep generative models learned on these datasets that just model the pixel-space measurements, resulting in an inter-attribute bias-laden latent space. This viscerally manifests itself when we perform face manipulation experiments based on latent vector interpolations. In this paper, we address this and propose a post-hoc solution that utilizes an Ising attribute prior learned in the attribute space and showcase its efficacy via qualitative experiments.


title: EmoCo: Visual Analysis of Emotion Coherence in Presentation Videos

abstract: Emotions play a key role in human communication and public presentations. Human emotions are usually expressed through multiple modalities. Therefore, exploring multimodal emotions and their coherence is of great value for understanding emotional expressions in presentations and improving presentation skills. However, manually watching and studying presentation videos is often tedious and time-consuming. There is a lack of tool support to help conduct an efficient and in-depth multi-level analysis. Thus, in this paper, we introduce EmoCo, an interactive visual analytics system to facilitate efficient analysis of emotion coherence across facial, text, and audio modalities in presentation videos. Our visualization system features a channel coherence view and a sentence clustering view that together enable users to obtain a quick overview of emotion coherence and its temporal evolution. In addition, a detail view and word view enable detailed exploration and comparison from the sentence level and word level, respectively. We thoroughly evaluate the proposed system and visualization techniques through two usage scenarios based on TED Talk videos and interviews with two domain experts. The results demonstrate the effectiveness of our system in gaining insights into emotion coherence in presentations.


title: Attention Filtering for Multi-person Spatiotemporal Action Detection on Deep Two-Stream CNN Architectures

abstract: Action detection and recognition tasks have been the target of much focus in the computer vision community due to their many applications, namely, security, robotics and recommendation systems. Recently, datasets like AVA, provide multi-person, multi-label, spatiotemporal action detection and recognition challenges. Being unable to discern which portions of the input to use for classification is a limitation of two-stream CNN approaches, once the vision task involves several people with several labels. We address this limitation and improve the state-of-the-art performance of two-stream CNNs. In this paper we present four contributions: our fovea attention filtering that highlights targets for classification without discarding background; a generalized binary loss function designed for the AVA dataset; miniAVA, a partition of AVA that maintains temporal continuity and class distribution with only one tenth of the dataset size; and ablation studies on alternative attention filters. Our method, using fovea attention filtering and our generalized binary loss, achieves a relative video mAP improvement of 20% over the two-stream baseline in AVA, and is competitive with the state-of-the-art in the UCF101-24. We also show a relative video mAP improvement of 12.6% when using our generalized binary loss over the standard sum-of-sigmoids.


title: Tracking Holistic Object Representations

abstract: Recent advances in visual tracking are based on siamese feature extractors and template matching. For this category of trackers, latest research focuses on better feature embeddings and similarity measures. In this work, we focus on building holistic object representations for tracking. We propose a framework that is designed to be used on top of previous trackers without any need for further training of the siamese network. The framework leverages the idea of obtaining additional object templates during the tracking process. Since the number of stored templates is limited, our method only keeps the most diverse ones. We achieve this by providing a new diversity measure in the space of siamese features. The obtained representation contains information beyond the ground truth object location provided to the system. It is then useful for tracking itself but also for further tasks which require a visual understanding of objects. Strong empirical results on tracking benchmarks indicate that our method can improve the performance and robustness of the underlying trackers while barely reducing their speed. In addition, our method is able to match current state-of-the-art results, while using a simpler and older network architecture and running three times faster.


title: Evaluation of Distance Measures for Feature based Image Registration using AlexNet

abstract: Image registration is a classic problem of computer vision with several applications across areas like defence, remote sensing, medicine etc. Feature based image registration methods traditionally used hand-crafted feature extraction algorithms, which detect key points in an image and describe them using a region around the point. Such features are matched using a threshold either on distances or ratio of distances computed between the feature descriptors. Evolution of deep learning, in particular convolution neural networks, has enabled researchers to address several problems of vision such as recognition, tracking, localization etc. Outputs of convolution layers or fully connected layers of CNN which has been trained for applications like visual recognition are proved to be effective when used as features in other applications such as retrieval. In this work, a deep CNN, AlexNet, is used in the place of handcrafted features for feature extraction in the first stage of image registration. However, there is a need to identify a suitable distance measure and a matching method for effective results. Several distance metrics have been evaluated in the framework of nearest neighbour and nearest neighbour ratio matching methods using benchmark dataset. Evaluation is done by comparing matching and registration performance using metrics computed from ground truth. Keywords: Distance measures; deep learning; feature detection; feature descriptor; image matching


title: CVA and vulnerable options in stochastic volatility models

abstract: In this work we want to provide a general principle to evaluate the CVA (Credit Value Adjustment) for a vulnerable option, that is an option subject to some default event, concerning the solvability of the issuer. CVA is needed to evaluate correctly the contract and it is particularly important in presence of WWR (Wrong Way Risk), when a credit deterioration determines an increase of the claim's price. In particular, we are interested in evaluating the CVA in stochastic volatility models for the underlying's price (which often fit quite well the market's prices) when admitting correlation with the default event. By cunningly using Ito's calculus, we provide a general representation formula applicable to some popular models such as SABR, Hull \& White and Heston, which explicitly shows the correction in CVA due to the processes correlation. Later, we specialize this formula and construct its approximation for the three selected models. Lastly, we run a numerical study to test the formula's accuracy, comparing our results with Monte Carlo simulations.


title: NuSTAR observations of the wind-fed X-ray pulsar GX 301--2 during an unusual spin-up event

abstract: We report on \textit{NuSTAR} observations of the well-known wind-accreting X-ray pulsar \source\ during a strong spin-up episode that took place in January-March 2019. A high luminosity of the source in a most recent observation allowed us to detect a positive correlation of the cyclotron line energy with luminosity. Beyond that, only minor differences in spectral and temporal properties of the source during the spin-up, presumably associated with the formation of a transient accretion disk, and the normal wind-fed state could be detected. We finally discuss conditions for the formation of the disk and possible reasons for lack of any appreciable variations in most of the observed source properties induced by the change of the accretion mechanism, and conclude that the bulk of the observed X-ray emission is still likely powered by direct accretion from the wind.


title: Look Further to Recognize Better: Learning Shared Topics and Category-Specific Dictionaries for Open-Ended 3D Object Recognition

abstract: Service robots are expected to operate effectively in human-centric environments for long periods of time. In such realistic scenarios, fine-grained object categorization is as important as basic-level object categorization. We tackle this problem by proposing an open-ended object recognition approach which concurrently learns both the object categories and the local features for encoding objects. In this work, each object is represented using a set of general latent visual topics and category-specific dictionaries. The general topics encode the common patterns of all categories, while the category-specific dictionary describes the content of each category in details. The proposed approach discovers both sets of general and specific representations in an unsupervised fashion and updates them incrementally using new object views. Experimental results show that our approach yields significant improvements over the previous state-of-the-art approaches concerning scalability and object classification performance. Moreover, our approach demonstrates the capability of learning from very few training examples in a real-world setting. Regarding computation time, the best result was obtained with a Bag-of-Words method followed by a variant of the Latent Dirichlet Allocation approach.


title: Deep Neural Network Approach to Forward-Inverse Problems

abstract: In this paper, we construct approximated solutions of Differential Equations (DEs) using the Deep Neural Network (DNN). Furthermore, we present an architecture that includes the process of finding model parameters through experimental data, the inverse problem. That is, we provide a unified framework of DNN architecture that approximates an analytic solution and its model parameters simultaneously. The architecture consists of a feed forward DNN with non-linear activation functions depending on DEs, automatic differentiation, reduction of order, and gradient based optimization method. We also prove theoretically that the proposed DNN solution converges to an analytic solution in a suitable function space for fundamental DEs. Finally, we perform numerical experiments to validate the robustness of our simplistic DNN architecture for 1D transport equation, 2D heat equation, 2D wave equation, and the Lotka-Volterra system.


title: Distill-to-Label: Weakly Supervised Instance Labeling Using Knowledge Distillation

abstract: Weakly supervised instance labeling using only image-level labels, in lieu of expensive fine-grained pixel annotations, is crucial in several applications including medical image analysis. In contrast to conventional instance segmentation scenarios in computer vision, the problems that we consider are characterized by a small number of training images and non-local patterns that lead to the diagnosis. In this paper, we explore the use of multiple instance learning (MIL) to design an instance label generator under this weakly supervised setting. Motivated by the observation that an MIL model can handle bags of varying sizes, we propose to repurpose an MIL model originally trained for bag-level classification to produce reliable predictions for single instances, i.e., bags of size $1$. To this end, we introduce a novel regularization strategy based on virtual adversarial training for improving MIL training, and subsequently develop a knowledge distillation technique for repurposing the trained MIL model. Using empirical studies on colon cancer and breast cancer detection from histopathological images, we show that the proposed approach produces high-quality instance-level prediction and significantly outperforms state-of-the MIL methods.


title: Unifying Structure Analysis and Surrogate-driven Function Regression for Glaucoma OCT Image Screening

abstract: Optical Coherence Tomography (OCT) imaging plays an important role in glaucoma diagnosis in clinical practice. Early detection and timely treatment can prevent glaucoma patients from permanent vision loss. However, only a dearth of automated methods has been developed based on OCT images for glaucoma study. In this paper, we present a novel framework to effectively classify glaucoma OCT images from normal ones. A semi-supervised learning strategy with smoothness assumption is applied for surrogate assignment of missing function regression labels. Besides, the proposed multi-task learning network is capable of exploring the structure and function relationship from the OCT image and visual field measurement simultaneously, which contributes to classification performance boosting. Essentially, we are the first to unify the structure analysis and function regression for glaucoma screening. It is also worth noting that we build the largest glaucoma OCT image dataset involving 4877 volumes to develop and evaluate the proposed method. Extensive experiments demonstrate that our framework outperforms the baseline methods and two glaucoma experts by a large margin, achieving 93.2%, 93.2% and 97.8% on accuracy, F1 score and AUC, respectively.


title: Improved Super-Resolution Convolution Neural Network for Large Images

abstract: Single image super-resolution (SISR) is a very popular topic nowadays, which has both research value and practical value. In daily life, we crop a large image into sub-images to do super-resolution and then merge them together. Although convolution neural network performs very well in the research field, if we use it to do super-resolution, we can easily observe cutting lines from merged pictures. To address these problems, in this paper, we propose a refined architecture of SRCNN with 'Symmetric padding', 'Random learning' and 'Residual learning'. Moreover, we have done a lot of experiments to prove our model performs best among a lot of the state-of-art methods.


title: Object as Distribution

abstract: Object detection is a critical part of visual scene understanding. The representation of the object in the detection task has important implications on the efficiency and feasibility of annotation, robustness to occlusion, pose, lighting, and other visual sources of semantic uncertainty, and effectiveness in real-world applications (e.g., autonomous driving). Popular object representations include 2D and 3D bounding boxes, polygons, splines, pixels, and voxels. Each have their strengths and weakness. In this work, we propose a new representation of objects based on the bivariate normal distribution. This distribution-based representation has the benefit of robust detection of highly-overlapping objects and the potential for improved downstream tracking and instance segmentation tasks due to the statistical representation of object edges. We provide qualitative evaluation of this representation for the object detection task and quantitative evaluation of its use in a baseline algorithm for the instance segmentation task.


title: Attention Guided Network for Retinal Image Segmentation

abstract: Learning structural information is critical for producing an ideal result in retinal image segmentation. Recently, convolutional neural networks have shown a powerful ability to extract effective representations. However, convolutional and pooling operations filter out some useful structural information. In this paper, we propose an Attention Guided Network (AG-Net) to preserve the structural information and guide the expanding operation. In our AG-Net, the guided filter is exploited as a structure sensitive expanding path to transfer structural information from previous feature maps, and an attention block is introduced to exclude the noise and reduce the negative influence of background further. The extensive experiments on two retinal image segmentation tasks (i.e., blood vessel segmentation, optic disc and cup segmentation) demonstrate the effectiveness of our proposed method.


title: Efficient Architecture-Aware Acceleration of BWA-MEM for Multicore Systems

abstract: Innovations in Next-Generation Sequencing are enabling generation of DNA sequence data at ever faster rates and at very low cost. Large sequencing centers typically employ hundreds of such systems. Such high-throughput and low-cost generation of data underscores the need for commensurate acceleration in downstream computational analysis of the sequencing data. A fundamental step in downstream analysis is mapping of the reads to a long reference DNA sequence, such as a reference human genome. Sequence mapping is a compute-intensive step that accounts for more than 30% of the overall time of the GATK workflow. BWA-MEM is one of the most widely used tools for sequence mapping and has tens of thousands of users. In this work, we focus on accelerating BWA-MEM through an efficient architecture aware implementation, while maintaining identical output. The volume of data requires distributed computing environment, usually deploying multicore processors. Since the application can be easily parallelized for distributed memory systems, we focus on performance improvements on a single socket multicore processor. BWA-MEM run time is dominated by three kernels, collectively responsible for more than 85% of the overall compute time. We improved the performance of these kernels by 1) improving cache reuse, 2) simplifying the algorithms, 3) replacing small fragmented memory allocations with a few large contiguous ones, 4) software prefetching, and 5) SIMD utilization wherever applicable - and massive reorganization of the source code enabling these improvements. As a result, we achieved nearly 2x, 183x, and 8x speedups on the three kernels, respectively, resulting in up to 3.5x and 2.4x speedups on end-to-end compute time over the original BWA-MEM on single thread and single socket of Intel Xeon Skylake processor. To the best of our knowledge, this is the highest reported speedup over BWA-MEM.


title: The influence of invariant solutions on the transient behaviour of an air bubble in a Hele-Shaw channel

abstract: We hypothesize that dynamical systems concepts used to study the transition to turbulence in shear flows are applicable to other transition phenomena in fluid mechanics. In this paper, we consider a finite air bubble that propagates within a Hele-Shaw channel containing a depth-perturbation. Recent experiments revealed that the bubble shape becomes more complex, quantified by an increasing number of transient bubble tips, with increasing flow rate. Eventually the bubble changes topology, breaking into two or more distinct entities with non-trivial dynamics. We demonstrate that qualitatively similar behaviour to the experiments is exhibited by a previously established, depth-averaged mathematical model; a consequence of the model's intricate solution structure. For the bubble volumes studied, a stable asymmetric bubble exists for all flow rates of interest, whilst a second stable solution branch develops above a critical flow rate and transitions between symmetric and asymmetric shapes. The region of bistability is bounded by two Hopf bifurcations on the second branch. By developing a method for a numerical weakly nonlinear stability analysis we show that unstable periodic orbits emanate from the Hopf bifurcation at the lower flow rate and, moreover, that these orbits are edge states that influence the transient behaviour of the system.


title: Incremental Bounded Model Checking of Artificial Neural Networks in CUDA

abstract: Artificial Neural networks (ANNs) are powerful computing systems employed for various applications due to their versatility to generalize and to respond to unexpected inputs/patterns. However, implementations of ANNs for safety-critical systems might lead to failures, which are hardly predicted in the design phase since ANNs are highly parallel and their parameters are hardly interpretable. Here we develop and evaluate a novel symbolic software verification framework based on incremental bounded model checking (BMC) to check for adversarial cases and coverage methods in multi-layer perceptron (MLP). In particular, we further develop the efficient SMT-based Context-Bounded Model Checker for Graphical Processing Units (ESBMC-GPU) in order to ensure the reliability of certain safety properties in which safety-critical systems can fail and make incorrect decisions, thereby leading to unwanted material damage or even put lives in danger. This paper marks the first symbolic verification framework to reason over ANNs implemented in CUDA. Our experimental results show that our approach implemented in ESBMC-GPU can successfully verify safety properties and covering methods in ANNs and correctly generate 28 adversarial cases in MLPs.


title: Min-max Entropy for Weakly Supervised Pointwise Localization

abstract: Pointwise localization allows more precise localization and accurate interpretability, compared to bounding box, in applications where objects are highly unstructured such as in medical domain. In this work, we focus on weakly supervised localization (WSL) where a model is trained to classify an image and localize regions of interest at pixel-level using only global image annotation. Typical convolutional attentions maps are prune to high false positive regions. To alleviate this issue, we propose a new deep learning method for WSL, composed of a localizer and a classifier, where the localizer is constrained to determine relevant and irrelevant regions using conditional entropy (CE) with the aim to reduce false positive regions. Experimental results on a public medical dataset and two natural datasets, using Dice index, show that, compared to state of the art WSL methods, our proposal can provide significant improvements in terms of image-level classification and pixel-level localization (low false positive) with robustness to overfitting. A public reproducible PyTorch implementation is provided in: https://github.com/sbelharbi/wsol-min-max-entropy-interpretability .


title: RNN-based Online Handwritten Character Recognition Using Accelerometer and Gyroscope Data

abstract: This abstract explores an RNN-based approach to online handwritten recognition problem. Our method uses data from an accelerometer and a gyroscope mounted on a handheld pen-like device to train and run a character pre-diction model. We have built a dataset of timestamped gyroscope and accelerometer data gathered during the manual process of handwriting Latin characters, labeled with the character being written; in total, the dataset con-sists of 1500 gyroscope and accelerometer data sequenc-es for 8 characters of the Latin alphabet from 6 different people, and 20 characters, each 1500 samples from Georgian alphabet from 5 different people. with each sequence containing the gyroscope and accelerometer data captured during the writing of a particular character sampled once every 10ms. We train an RNN-based neural network architecture on this dataset to predict the character being written. The model is optimized with categorical cross-entropy loss and RMSprop optimizer and achieves high accuracy on test data.


title: Invariant rings and representations of the symmetric groups

abstract: In this paper we study invariant rings arising in the study of finite dimensional algebraic structures. The rings we encounter are graded rings of the form $K[U]^{\Gamma}$ where $\Gamma$ is a product of general linear groups over a field $K$ of characteristic zero, and $U$ is a finite dimensional rational representation of $\Gamma$. We will calculate the Hilbert series of such rings using the representation theory of the symmetric groups and Schur-Weyl duality. We focus on the case where $U=\text{End}(W^{\oplus k})$ and $\Gamma = \text{GL}(W)$ and on the case where $U=\text{End}(V\otimes W)$ and $\Gamma = \text{GL}(V)\times \text{GL}(W)$, though the methods introduced here can also be applied in more general framework. For the two aforementioned cases we calculate the Hilbert function of the ring of invariants in terms of Littlewood-Richardson and Kronecker coefficients. When the vector spaces are of dimension 2 we also give an explicit calculation of this Hilbert series.


title: Effects of resonant magnetic perturbation on locked mode of neo-classical tearing modes

abstract: Effects of externally applied resonant magnetic perturbation (RMP) on the locked mode of neo-classical tearing mode (NTM) are numerically investigated by means of a set of reduced magnetohydrodynamic equations. It is found that for a small bootstrap current fraction, three regimes, namely slight suppression regime, small locked island (SLI) regime and big locked island (BLI) regime, are discovered with the increase of RMP strength. For a much higher bootstrap current fraction, however, a new oscillation regime appears instead of the SLI regime, although the other regimes still remain. The physical process in each regime is analyzed in detail based on the phase difference between NTM and RMP. Moreover, the critical values of RMP in both SLI and BLI regimes are obtained, and their dependence on key plasma parameters is discussed as well.


title: Global smooth solutions for 1D barotropic Navier-Stokes equations with a large class of degenerate viscosities

abstract: We prove the global existence and uniqueness of smooth solutions to the one-dimensional barotropic Navier-Stokes system with degenerate viscosity $\mu(\rho)=\rho^\alpha$. We establish that the smooth solutions have possibly two different far-fields, and the initial density remains positive globally in time, for the initial data satisfying the same conditions. In addition, our result works for any $\alpha>0$, i.e., for a large class of degenerate viscosities. In particular, our models include the viscous shallow water equations. This extends the result of Constantin-Drivas-Nguyen-Pasqualotto \cite[Theorem 1.5]{CDNP} (on the case of periodic domain) to the case where smooth solutions connect possibly two different limits at the infinity on the whole space.


title: J-PLUS: photometric calibration of large area multi-filter surveys with stellar and white dwarf loci

abstract: We present the photometric calibration of the twelve optical passbands observed by the Javalambre Photometric Local Universe Survey (J-PLUS). The proposed calibration method has four steps: (i) definition of a high-quality set of calibration stars using Gaia information and available 3D dust maps; (ii) anchoring of the J-PLUS gri passbands to the Pan-STARRS photometric solution, accounting for the variation of the calibration with the position of the sources on the CCD; (iii) homogenization of the photometry in the other nine J-PLUS filters using the dust de-reddened instrumental stellar locus in (X - r) versus (g - i) colours, where X is the filter to calibrate. The zero point variation along the CCD in these filters was estimated with the distance to the stellar locus. Finally, (iv) the absolute colour calibration was obtained with the white dwarf locus. We performed a joint Bayesian modelling of eleven J-PLUS colour-colour diagrams using the theoretical white dwarf locus as reference. This provides the needed offsets to transform instrumental magnitudes to calibrated magnitudes outside the atmosphere. The uncertainty of the J-PLUS photometric calibration, estimated from duplicated objects observed in adjacent pointings and accounting for the absolute colour and flux calibration errors, are ~19 mmag in u, J0378 and J0395, ~11 mmag in J0410 and J0430, and ~8 mmag in g, J0515, r, J0660, i, J0861, and z. We present an optimized calibration method for the large area multi-filter J-PLUS project, reaching 1-2% accuracy within an area of 1 022 square degrees without the need for long observing calibration campaigns or constant atmospheric monitoring. The proposed method will be adapted for the photometric calibration of J-PAS, that will observe several thousand square degrees with 56 narrow optical filters.


title: The generalized and extended uncertainty principles and their implications on the Jeans mass

abstract: The generalized and extended uncertainty principles affect the Newtonian gravity and also the geometry of the thermodynamic phase space. Under the influence of the latter, the energy-temperature relation of ideal gas may change. Moreover, it seems that the Newtonian gravity is modified in the framework of the R\'{e}nyi entropy formalism motivated by both the long-range nature of gravity, and the extended uncertainty principle. Here, the consequences of employing the generalized and extended uncertainty principles, instead of the Heisenberg uncertainty principle, on the Jeans mass are studied. The results of working in the R\'{e}nyi entropy formalism are also addressed. It is shown that unlike the extended uncertainty principle and the R\'{e}nyi entropy formalism which lead to the same increase in the Jeans mass, the generalized uncertainty principle can decrease it. The latter means that a cloud with mass smaller than the standard Jeans mass, obtained in the framework of the Newtonian gravity, may also undergo the gravitational collapse process.


title: Stratify or Inject: Two Simple Training Strategies to Improve Brain Tumor Segmentation

abstract: Deep learning methods for brain tumor segmentation are typically trained in an ad hoc fashion on all available data. Brain tumors are tremendously heterogeneous in image appearance and labeled training data is limited. We argue that incorporation of additional prior information, specifically tumor grade, associated with tumor imaging phenotypes during model training can significantly improve segmentation performance. Two strategies for incorporation of tumor grade during model training are proposed and their impact on segmentation performance is demonstrated on the BRATS 2018 dataset.


title: Improved randomized algorithm for $k$-submodular function maximization

abstract: Submodularity is one of the most important properties in combinatorial optimization, and $k$-submodularity is a generalization of submodularity. Maximization of a $k$-submodular function requires an exponential number of value oracle queries, and approximation algorithms have been studied. For unconstrained $k$-submodular maximization, Iwata et al. gave randomized $k/(2k-1)$-approximation algorithm for monotone functions, and randomized $1/2$-approximation algorithm for nonmonotone functions. In this paper, we present improved randomized algorithms for nonmonotone functions. Our algorithm gives $\frac{k^2+1}{2k^2+1}$-approximation for $k\geq 3$. We also give a randomized $\frac{\sqrt{17}-3}{2}$-approximation algorithm for $k=3$. We use the same framework used in Iwata et al. and Ward and \v{Z}ivn\'{y} with different probabilities.


title: A Microscopy Approach to Investigating the Energetics of Small Supported Metal Clusters

abstract: Metal clusters are partway between molecular and bulk systems and thus exhibit special physical and chemical properties. Atoms can rearrange within a cluster to form different structural isomers. Internal degrees of freedom and the interaction with the support - which both are dependent on cluster size - can promote diffusion across a support. Here, we show how fast scanning tunneling microscopy (FastSTM) can be used to investigate such dynamical behavior of individual clusters on the example of Pdn (1<=n<=19) on a hexagonal boron nitride nanomesh on Rh(111), in particular pertaining to minority species and rare events. By tuning the cluster size and varying the temperature to match the dynamics to the FastSTM frame rate, we followed steady state diffusion of clusters and atoms inside the nanomesh pore and reversible cluster isomerization in situ. While atoms diffuse along the rim of a pore, a small cluster experiences a corrugation in the potential energy landscape and jumps between six sites around the center of the pore. The atom and cluster diffusion between pores is strongly influenced by defects.


title: Influence of Local Defects on the Dynamics of O-H Bond Breaking and Formation on a Magnetite Surface

abstract: The transport of H adatoms across oxide supports plays an important role in many catalytic reactions. We investigate the dynamics of H/Fe3O4(001) between 295 and 382 K. By scanning tunneling microscopy at frame rates of up to 19.6 fps, we observe the thermally activated switching of H between two O atoms on neighboring Fe rows. This switching rate changes in proximity to a defect, explained by density functional theory as a distortion in the Fe-O lattice shortening the diffusion path. Quantitative analysis yields an apparent activation barrier of 0.94 +/- 0.07 eV on a pristine surface. The present work highlights the importance of local techniques in the study of atomic-scale dynamics at defective surfaces such as oxide supports.


title: Inertial nonconvex alternating minimizations for the image deblurring

abstract: In image processing, Total Variation (TV) regularization models are commonly used to recover blurred images. One of the most efficient and popular methods to solve the convex TV problem is the Alternating Direction Method of Multipliers (ADMM) algorithm, recently extended using the inertial proximal point method. Although all the classical studies focus on only a convex formulation, recent articles are paying increasing attention to the nonconvex methodology due to its good numerical performance and properties. In this paper, we propose to extend the classical formulation with a novel nonconvex Alternating Direction Method of Multipliers with the Inertial technique (IADMM). Under certain assumptions on the parameters, we prove the convergence of the algorithm with the help of the Kurdyka-{\L}ojasiewicz property. We also present numerical simulations on classical TV image reconstruction problems to illustrate the efficiency of the new algorithm and its behavior compared with the well established ADMM method.


title: The Culture of Exploratory Experimentation at CERN and the Future Colliders

abstract: We have become witnesses, as of late, to the development of an expansive and fertile debate regarding the implementation of future colliders, both within the confines of the scientific community, as well as outside of them. We consider a debate of this sort as imperative for such important research projects, but we also hold that they should develop upon sound foundations, avoiding specific pitfalls and biased tendencies that form a metaphorical minefield around them. Within this context, we will attempt to contribute to this particular discussion by highlighting a historical aspect regarding the issue at hand


title: A Workload and Programming Ease Driven Perspective of Processing-in-Memory

abstract: Many modern and emerging applications must process increasingly large volumes of data. Unfortunately, prevalent computing paradigms are not designed to efficiently handle such large-scale data: the energy and performance costs to move this data between the memory subsystem and the CPU now dominate the total costs of computation. This forces system architects and designers to fundamentally rethink how to design computers. Processing-in-memory (PIM) is a computing paradigm that avoids most data movement costs by bringing computation to the data. New opportunities in modern memory systems are enabling architectures that can perform varying degrees of processing inside the memory subsystem. However, there are many practical system-level issues that must be tackled to construct PIM architectures, including enabling workloads and programmers to easily take advantage of PIM. This article examines three key domains of work towards the practical construction and widespread adoption of PIM architectures. First, we describe our work on systematically identifying opportunities for PIM in real applications, and quantify potential gains for popular emerging applications (e.g., machine learning, data analytics, genome analysis). Second, we aim to solve several key issues on programming these applications for PIM architectures. Third, we describe challenges that remain for the widespread adoption of PIM.


title: An algebra for the propagation of errors in matrix calculus

abstract: We assume that every element of a matrix has a small, individual error, and model it by an external number, which is the sum of a nonstandard real number and a neutrix, the latter being a convex (external) set having the group property. The algebra of external numbers formalizes common error analysis, with rules for calculation which are a sort of mellowed form of the axioms for real numbers. We extend the algebra of external numbers to matrix calculus. Many classical properties continue to hold, sometimes stated in terms of inclusion instead of equality. There are notable exceptions, for which we give counterexamples and investigate suitable adaptations. In particular we study addition and multiplication of matrices, determinants, near inverses, and generalized notions of linear independence and rank.


title: Preterm infants' limb-pose estimation from depth images using convolutional neural networks

abstract: Preterm infants' limb-pose estimation is a crucial but challenging task, which may improve patients' care and facilitate clinicians in infant's movements monitoring. Work in the literature either provides approaches to whole-body segmentation and tracking, which, however, has poor clinical value, or retrieve a posteriori limb pose from limb segmentation, increasing computational costs and introducing inaccuracy sources. In this paper, we address the problem of limb-pose estimation under a different point of view. We proposed a 2D fully-convolutional neural network for roughly detecting limb joints and joint connections, followed by a regression convolutional neural network for accurate joint and joint-connection position estimation. Joints from the same limb are then connected with a maximum bipartite matching approach. Our analysis does not require any prior modeling of infants' body structure, neither any manual interventions. For developing and testing the proposed approach, we built a dataset of four videos (video length = 90 s) recorded with a depth sensor in a neonatal intensive care unit (NICU) during the actual clinical practice, achieving median root mean square distance [pixels] of 10.790 (right arm), 10.542 (left arm), 8.294 (right leg), 11.270 (left leg) with respect to the ground-truth limb pose. The idea of estimating limb pose directly from depth images may represent a future paradigm for addressing the problem of preterm-infants' movement monitoring and offer all possible support to clinicians in NICUs.


title: Periodic points and measures for a class of skew products

abstract: We consider the open set constructed by M. Shub in [42] of partially hyperbolic skew products on the space $\mathbb{T}^2\times \mathbb{T}^2$ whose non-wandering set is not stable. We show that there exists an open set $\mathcal{U}$ of such diffeomorphisms such that if $F_S\in \mathcal{U}$ then its measure of maximal entropy is unique, hyperbolic and, generically, describes the distribution of periodic points. Moreover, the non-wandering set of such an $F_S\in \mathcal{U}$ contains closed invariant subsets carrying entropy arbitrarily close to the topological entropy of $F_S$ and within which the dynamics is conjugate to a subshift of finite type. Under an additional assumption on the base dynamics, we verify that $F_S$ preserves a unique SRB measure, which is physical, whose basin has full Lebesgue measure and coincides with the measure of maximal entropy. We also prove that there exists a residual subset $\mathcal{R}$ of $\mathcal{U}$ such that if $F_S\in \mathcal{R}$ then the topological and periodic entropies of $F_S$ are equal, $F_S$ is asymptotic per-expansive, has a sub-exponential growth rate of the periodic orbits and admits a principal strongly faithful symbolic extension with embedding.


title: Abstractive Document Summarization without Parallel Data

abstract: Abstractive summarization typically relies on large collections of paired articles and summaries. However, in many cases, parallel data is scarce and costly to obtain. We develop an abstractive summarization system that relies only on large collections of example summaries and non-matching articles. Our approach consists of an unsupervised sentence extractor that selects salient sentences to include in the final summary, as well as a sentence abstractor that is trained on pseudo-parallel and synthetic data, that paraphrases each of the extracted sentences. We perform an extensive evaluation of our method: on the CNN/DailyMail benchmark, on which we compare our approach to fully supervised baselines, as well as on the novel task of automatically generating a press release from a scientific journal article, which is well suited for our system. We show promising performance on both tasks, without relying on any article-summary pairs.


title: Pyramid: Machine Learning Framework to Estimate the Optimal Timing and Resource Usage of a High-Level Synthesis Design

abstract: The emergence of High-Level Synthesis (HLS) tools shifted the paradigm of hardware design by making the process of mapping high-level programming languages to hardware design such as C to VHDL/Verilog feasible. HLS tools offer a plethora of techniques to optimize designs for both area and performance, but resource usage and timing reports of HLS tools mostly deviate from the post-implementation results. In addition, to evaluate a hardware design performance, it is critical to determine the maximum achievable clock frequency. Obtaining such information using static timing analysis provided by CAD tools is difficult, due to the multitude of tool options. Moreover, a binary search to find the maximum frequency is tedious, time-consuming, and often does not obtain the optimal result. To address these challenges, we propose a framework, called Pyramid, that uses machine learning to accurately estimate the optimal performance and resource utilization of an HLS design. For this purpose, we first create a database of C-to-FPGA results from a diverse set of benchmarks. To find the achievable maximum clock frequency, we use Minerva, which is an automated hardware optimization tool. Minerva determines the close-to-optimal settings of tools, using static timing analysis and a heuristic algorithm, and targets either optimal throughput or throughput-to-area. Pyramid uses the database to train an ensemble machine learning model to map the HLS-reported features to the results of Minerva. To this end, Pyramid re-calibrates the results of HLS to bridge the accuracy gap and enable developers to estimate the throughput or throughput-to-area of hardware design with more than 95% accuracy and alleviates the need to perform actual implementation for estimation.


title: A real-time iterative machine learning approach for temperature profile prediction in additive manufacturing processes

abstract: Additive Manufacturing (AM) is a manufacturing paradigm that builds three-dimensional objects from a computer-aided design model by successively adding material layer by layer. AM has become very popular in the past decade due to its utility for fast prototyping such as 3D printing as well as manufacturing functional parts with complex geometries using processes such as laser metal deposition that would be difficult to create using traditional machining. As the process for creating an intricate part for an expensive metal such as Titanium is prohibitive with respect to cost, computational models are used to simulate the behavior of AM processes before the experimental run. However, as the simulations are computationally costly and time-consuming for predicting multiscale multi-physics phenomena in AM, physics-informed data-driven machine-learning systems for predicting the behavior of AM processes are immensely beneficial. Such models accelerate not only multiscale simulation tools but also empower real-time control systems using in-situ data. In this paper, we design and develop essential components of a scientific framework for developing a data-driven model-based real-time control system. Finite element methods are employed for solving time-dependent heat equations and developing the database. The proposed framework uses extremely randomized trees - an ensemble of bagged decision trees as the regression algorithm iteratively using temperatures of prior voxels and laser information as inputs to predict temperatures of subsequent voxels. The models achieve mean absolute percentage errors below 1% for predicting temperature profiles for AM processes. The code is made available for the research community at https://github.com/paularindam/ml-iter-additive.


title: Write head design for effective curvature reduction in heat-assisted magnetic recording by topology optimization

abstract: The reduction of the transition curvature of written bits in heat-assisted magnetic recording (HAMR) is expected to play an important role for the future areal density increase of hard disk drives. Recently a write head design with flipped write and return poles was proposed. In this design a large spatial field gradient of the write head was the key to significantly reduce the transition curvature. In this work we optimized the write pole of a heat-assisted magnetic recording head in order to produce large field gradients as well as large fields in the region of the heat pulse. This is done by topology optimization. The simulations are performed with dolfin-adjoint. For the maximum field gradients of $8.1\,$mT/nm, $8.6\,$mT/nm and $11.8\,$mT/nm, locally resolved footprints of an FePt like hard magnetic recording medium are computed with a coarse-grained Landau-Lifshitz-Bloch (LLB) model and the resulting transition curvature is analysed. Additional simulations with a bilayer structure with $50\%$ hard and $50\%$ soft magnetic material are computed. The results show that for both recording media, the optimized head design does not lead to any significant improvement of the written track. Thus, we analyse the transition curvature for the optimized write heads theoretically with an effective recording time window (ERTW) model. Moreover, we check how higher field gradients influence the curvature reduction. The results show that a simple optimization of the conventional head design design is not sufficient for effective curvature reduction. Instead, new head concepts will be needed to reduce transition curvature.


title: Latest results from the NA62 experiment at CERN

abstract: NA62 is a fixed target kaon experiment at the CERN SPS which aims at measuring the branching ratio of the $K^+\to\pi^+\nu\bar{\nu}$ decay with 10% precision. This ultra-rare kaon decay is theoretically extremely clean and an ideal place to look for physics beyond the Standard Model. The NA62 experiment has been running in 2016-2018 and has accumulated a large amount of kaon decays. The final result of the $K^+\to\pi^+\nu\bar{\nu}$ analysis using the 2016 dataset is discussed as well as prospects for the analysis of the 2017 dataset. NA62 also has sensitivity to various other rare and forbidden kaon decays, as well as some hidden sector models. The results of a search for the Lepton Number Violating decays $K^+\to\pi^-\ell^+\ell^+\ [\ell=e,\mu]$ is presented, along with new limits on the existence of a dark photon.


title: FingerNet: Pushing The Limits of Fingerprint Recognition Using Convolutional Neural Network

abstract: Fingerprint recognition has been utilized for cellphone authentication, airport security and beyond. Many different features and algorithms have been proposed to improve fingerprint recognition. In this paper, we propose an end-to-end deep learning framework for fingerprint recognition using convolutional neural networks (CNNs) which can jointly learn the feature representation and perform recognition. We train our model on a large-scale fingerprint recognition dataset, and improve over previous approaches in terms of accuracy. Our proposed model is able to achieve a very high recognition accuracy on a well-known fingerprint dataset. We believe this framework can be widely used for biometrics recognition tasks, making more scalable and accurate systems possible. We have also used a visualization technique to highlight the important areas in an input fingerprint image, that mostly impact the recognition results.


title: Time Evolution Operators for Periodic SU(3)

abstract: We present an outline of a technique to associate certain methods from time optimal quantum control with various transforms on SU(3). Unitary operators are taken from certain time dependent Hamiltonians and transformation laws are derived. A methodological framework for development of solution for these types of problems with a non-simple geometric framework is presented that is generally applicable. We give an expansive overview of the field of SU(3), its meaning, purpose and context within the presented results. Exact solutions for periodic curves on SU(3) are provided, along with the operators and physical framework that surrounds them. A comprehensive review of the literature and established results is given for reference. Discussion is given in full to effective approaches that may be given both to the teaching of the subject, and the development of further results within the science. We conclude the paper with an overview of new avenues of investigation that are opened through the results that are presented.


title: Wave excitation by energetic ring-distributed electron beams in the solar corona

abstract: We analyzed properties of waves excited by mildly relativistic electron beams propagating along magnetic field with a ring-shape perpendicular momentum distribution in neutral and current-free solar coronal plasmas. These plasmas are subject to both the beam and the electron cyclotron maser (ECM) instabilities driven by the positive momentum gradient of the ring-beam electron distribution in the directions parallel and perpendicular to the ambient magnetic field, respectively. To explore the related kinetic processes self-consistently, 2.5-dimensional fully kinetic particle-in-cell (PIC) simulations were carried out. To quantify excited wave properties in different coronal conditions, we investigated the dependence of their energy and polarization on the ring-beam electron density and magnetic field. In general, electrostatic waves dominate the energetics of waves and nonlinear waves are ubiquitous. In weakly magnetized plasmas, where the electron cyclotron frequency $\omega_{ce}$ is lower than the electron plasma frequency $\omega_{pe}$, it is difficult to produce escaping electromagnetic waves with frequency $\omega > \omega_{pe}$ and small refractive index $|c k / \omega| < 1$ ($k$ and $c$ are the wavenumber and the light speed, respectively). Highly polarized and anisotropic escaping electromagnetic waves can, however, be effectively excited in strongly magnetized plasmas with $\omega_{ce}/\omega_{pe} \geq 1$. The anisotropy of the energy, circular polarization degree (CPD), and spectrogram of these escaping electromagnetic waves strongly depend on the number density ratio of the ring-beam electrons to the background electrons. In particular, their CPDs can vary from left-handed to right-handed with the decrease of the ring-beam density, which may explain some observed properties of solar radio bursts (e.g., radio spikes) from the solar corona.


title: Towards Using Data to Inform Decisions in Agile Software Development: Views of Available Data

abstract: Software development comprises complex tasks which are performed by humans. It involves problem solving, domain understanding and communication skills as well as knowledge of a broad variety of technologies, architectures, and solution approaches. As such, software development projects include many situations where crucial decisions must be made. Making the appropriate organizational or technical choices for a given software team building a product can make the difference between project success or failure. Software development methods have introduced frameworks and sets of best practices for certain contexts, providing practitioners with established guidelines for these important choices. Current Agile methods employed in modern software development have highlighted the importance of the human factors in software development. These methods rely on short feedback loops and the self-organization of teams to enable collaborative decision making. While Agile methods stress the importance of empirical process control, i.e. relying on data to make decisions, they do not prescribe in detail how this goal should be achieved. In this paper, we describe the types and abstraction levels of data and decisions within modern software development teams and identify the benefits that usage of this data enables. We argue that the principles of data-driven decision making are highly applicable, yet underused, in modern Agile software development.


title: Capivara: A decentralized package version control using Blockchain

abstract: Distributed consensus and Blockchains are popular among the cryptocurrencies where no one except the coins users, owns the data and transactions. No different to open source repositories, where the data belongs to the users. In this work it is presented a manner of having a repository for software packages in a Blockchain with distributed consensus, supported by the idea of the also demonstrated proof-of-download.


title: Modeling long-term capacity degradation of lithium-ion batteries

abstract: Capacity degradation of lithium-ion batteries under long-term cyclic aging is modelled via a flexible sigmoidal-type regression set-up, where the regression parameters can be interpreted. Different approaches known from the literature are discussed and compared with the new proposal. Statistical procedures, such as parameter estimation, confidence and prediction intervals are presented and applied to real data. The long-term capacity degradation model may be applied in second-life scenarios of batteries. Using some prior information or training data on the complete degradation path, the model can be fitted satisfactorily even if only short-term degradation data is available. The training data may arise from a single battery.


title: Wave propagation for reaction-diffusion equations on infinite random trees

abstract: The asymptotic wave speed for FKPP type reaction-diffusion equations on a class of infinite random metric trees are considered. We show that a travelling wavefront emerges, provided that the reaction rate is large enough. The wavefront travels at a speed that can be quantified via a variational formula involving the random branching degrees $\vec{d}$ and the random branch lengths $\vec{\ell}$ of the tree. This speed is slower than that of the same equation on the real line $\mathbb{R}$, and we estimate this slow down in terms of $\vec{d}$ and $\vec{\ell}$. Our key idea is to project the Brownian motion on the tree onto a one-dimensional axis along the direction of the wave propagation. The projected process is a multi-skewed Brownian motion, introduced by Ramirez [Multi-skewed Brownian motion and diffusion in layered media, Proc. Am. Math. Soc., Vol. 139, No. 10, pp.3739-3752, 2011], with skewness and interface sets that encode the metric structure $(\vec{d}, \vec{\ell})$ of the tree. Combined with analytic arguments based on the Feynman-Kac formula, this idea connects our analysis of the wavefront propagation to the large deviations principle (LDP) of the multi-skewed Brownian motion with random skewness and random interface set. Our LDP analysis involves delicate estimates for an infinite product of $2\times 2$ random matrices parametrized by $\vec{d}$ and $\vec{\ell}$ and for hitting times of a random walk in random environment. By exhausting all possible shapes of the LDP rate function (action functional), the analytic arguments that bridge the LDP and the wave propagation overcome the random drift effect due to multi-skewness.


title: On the Complementary Equienergetic Graphs

abstract: Energy of a simple graph $G$, denoted by $\mathcal{E}(G)$, is the sum of the absolute values of the eigenvalues of $G$. Two graphs with the same order and energy are called equienergetic graphs. A graph $G$ with the property $G\cong \overline{G}$ is called self-complementary graph, where $\overline{G}$ denotes the complement of $G$. Two non-self-complementary equienergetic graphs $G_1$ and $G_2$ satisfying the property $G_1\cong \overline{G_2}$ are called complementary equienergetic graphs. Recently, Ramane et al. [Graphs equienergetic with their complements, MATCH Commun. Math. Comput. Chem. 82 (2019) 471-480] initiated the study of the complementary equienergetic regular graphs and they asked to study the complementary equienergetic non-regular graphs. In this paper, by developing some computer codes and by making use of some software like Nauty, Maple and GraphTea, all the complementary equienergetic graphs with at most 10 vertices as well as all the members of the graph class $\Omega=\{G \ : \ \mathcal{E}(L(G)) = \mathcal{E}(\overline{L(G)}) \text{, the order of $G$ is at most 10}\}$ are determined, where $L(G)$ denotes the line graph of $G$. In the cases where we could not find the closed forms of the eigenvalues and energies of the obtained graphs, we verify the graph energies using a high precision computing (2000 decimal places) of Maple. A result about a pair of complementary equienergetic graphs is also given at the end of this paper.


title: Admissible restrictions of irreducible representations of reductive Lie groups: symplectic geometry and discrete decomposability

abstract: Let $G$ be a real reductive Lie group, $L$ a compact subgroup, and $\pi$ an irreducible admissible representation of $G$. In this article we prove a necessary and sufficient condition for the finiteness of the multiplicities of $L$-types occurring in $\pi$ based on symplectic techniques. This leads us to a simple proof of the criterion for discrete decomposability of the restriction of unitary representations with respect to noncompact subgroups (the author, Ann. Math. 1998), and also provides a proof of a reverse statement which was announced in [Proc.ICM 2002, Thm.D]. A number of examples are presented in connection with Kostant's convexity theorem and also with non-Riemannian locally symmetric spaces.


title: Small disturbances can trigger cascading failures in power grids

abstract: With the sharp increase of power demand, large-scale blackouts in power grids occur frequently around the world. Cascading failures are the main causes of network outages. Therefore, revealing the complicated cascade mechanism in grids is conducive to design the efficient policy to restrain the failures and further ensure a stable supply of power to users. Motivated by the recent advances of network dynamics, we proposed a framework based Lyapunov stability to analyze the dynamically induced cascading failures in complex networks. We abandoned the assumption that the network is stable in traditional static failure models and then detected that small disturbances actually can trigger cascading failures in unstable networks. What's worse, such failure usually accompanied the overload failure of lines during the equilibriums conversion process. Through the simulation analysis of the Spanish grid, we summarized that the features of this new failure mode include low incidence, large destructiveness, and fast propagation speed. And it usually tends to occur first in edge nodes and subsequently propagate to the central nodes. These features are consistent with the empirical observation of outages in practice.


title: A generalization of d'Alembert's functional equation on semigroups

abstract: Given a semigroup $S$ generated by its squares equipped with an involutive automorphism $\sigma$ and a multiplicative function $\mu:S\to\mathbb{C}$ such that $\mu(x\sigma(x))=1$ for all $x\in S$, we determine the complex-valued solutions of the following functional equation.


title: Maximal ergodic inequalities for some positive operators on noncommutative $L_p$-spaces

abstract: In this paper, we establish the one-sided maximal ergodic inequalities for a large subclass of positive operators on noncommutative $L_p$-spaces for a fixed $1<p<\infty$, which particularly applies to positive isometries and general positive Lamperti contractions or power bounded doubly Lamperti operators; moreover, it is known that this subclass recovers all positive contractions on the classical Lebesgue spaces $L_p([0,1])$. Our study falls into neither the category of positive contractions considered by Junge-Xu nor the class of power bounded positive invertible operators considered by Hong-Liao-Wang. Our strategy essentially relies on various structural characterizations and dilation properties associated with Lamperti operators, which are of independent interest. More precisely, we give a structural description of Lamperti operators in the noncommutative setting, and obtain a simultaneous dilation theorem for Lamperti contractions. As a consequence we establish the maximal ergodic theorem for the strong closure of the convex hull of corresponding family of positive contractions. Moreover, in conjunction with a newly-built structural theorem, we also obtain the maximal ergodic inequalities for positive power bounded doubly Lamperti operators. We also observe that the concrete examples of positive contractions without Akcoglu's dilation, which were constructed by Junge-Le Merdy, still satisfy the maximal ergodic inequalities. We also discuss some other examples, showing sharp contrast to the classical situation.


title: Crossing the phantom divide line in universal extra dimensions

abstract: We investigate the cosmic acceleration and the evolution of dark energy across the cosmological constant boundary in universal extra dimensions UED. We adopt an empirical approach to solve the higher-dimensional cosmological equations so that the deceleration parameter $q$ is consistent with observations. The expressions for the jerk and deceleration parameters are independent of the number of dimensions $n$. The behavior of pressure in $4$D shows a positive-to-negative transition corresponding to the deceleration-to-acceleration cosmic transition. This pressure behavior helps in providing an explanation to the cosmic deceleration-acceleration transition although the reason behind the transition itself remains unknown. In the conventional $4$D cosmology, there is a no-go theorem prevents the EoS parameter of a single perfect fluid in FRW geometry to cross the $\omega=-1$ boundary. The current model includes a single homogenous but anisotropic perfect fluid in a homogenous FRW metric with two different scale factors in the ordinary $4$D and the UED. In contrast to the conventional $4$D cosmology, we have found that the dark energy evolution in UED shows $\omega=-1$ crossing. however, the no-go theorem is still respected in $4$D where the EoS parameter doesn't cross the $\omega=-1$ boundary.


title: Photoionization of tungsten ions: experiment and theory for W$^{5+}$

abstract: Experimental and theoretical cross sections are reported for single-photon single ionization of W$^{5+}$ ions. Absolute measurements were conducted employing the photon-ion merged-beams technique. Detailed photon-energy scans were performed at (67$\pm$10)~meV resolution in the 20 -- 160 eV range. In contrast to photoionization of tungsten ions in lower charge states, the cross section is dominated by narrow, densely-spaced resonances. Theoretical results were obtained from a Dirac-Coulomb R-matrix approach employing a basis set of 457 levels providing cross sections for photoionization of W$^{5+}$ ions in the $4f^{14}5s^2 5p^6 5d \; {^2}{\rm D}_{3/2}$ ground level as well as the $4f^{14}5s^2 5p^6 5d \; {^2}{\rm D}_{5/2}$ and $4f^{14}5s^2 5p^6 6s \; {^2}{\rm S}_{1/2}$ metastable excited levels. Considering the complexity of the electronic structure of tungsten ions in low charge states, the agreement between theory and experiment is satisfactory.


title: Comparing nonorientable three genus and nonorientable four genus of torus knots

abstract: We compare the values of the nonorientable three genus (or, crosscap number) and the nonorientable four genus of torus knots. In particular, let T(p,q) be any torus knot with p even and q odd. The difference between these two invariants on T(p,q) is at least k/2, where p = qk + a and 0 < a < q and $k\geq 0$. Hence, the difference between the two invariants on torus knots T(p,q) grows arbitrarily large for any fixed odd q, as p ranges over values of a fixed congruence class modulo q. This contrasts with the orientable setting. Seifert proved that the orientable three genus of the torus knot T(p,q) is (p-1)(q-1)/2, and Kronheimer and Mrowka later proved that the orientable four genus of T(p,q) is also this same value.


title: Exponential integrators for large-scale stiff matrix Riccati differential equations

abstract: Matrix Riccati differential equations arise in many different areas and are particular important within the field of control theory. In this paper we consider numerical integration for large-scale systems of stiff matrix Riccati differential equations. We show how to apply exponential Rosenbrock-type integrators to get approximate solutions. Two typical exponential integration schemes are considered. The implementation issues are addressed and some low-rank approximations are exploited based on high quality numerical algebra codes. Numerical comparisons demonstrate that the exponential integrators can obtain high accuracy and efficiency for solving large-scale systems of stiff matrix Riccati differential equations.


title: Transferability of Spectral Graph Convolutional Neural Networks

abstract: This paper focuses on spectral graph convolutional neural networks (ConvNets), where filters are defined as elementwise multiplication in the frequency domain of a graph. In machine learning settings where the dataset consists of signals defined on many different graphs, the trained ConvNet should generalize to signals on graphs unseen in the training set. It is thus important to transfer ConvNets between graphs. Transferability, which is a certain type of generalization capability, can be loosely defined as follows: if two graphs describe the same phenomenon, then a single filter or ConvNet should have similar repercussions on both graphs. This paper aims at debunking the common misconception that spectral filters are not transferable. We show that if two graphs discretize the same "continuous" space, then a spectral filter or ConvNet has approximately the same repercussion on both graphs. Our analysis is more permissive than the standard analysis. Transferability is typically described as the robustness of the filter to small graph perturbations and re-indexing of the vertices. Our analysis accounts also for large graph perturbations. We prove transferability between graphs that can have completely different dimensions and topologies, only requiring that both graphs discretize the same underlying space in some generic sense.


title: Chaos in a predator-prey-based mathematical model for illicit drug consumption

abstract: Recently, a mathematical model describing the illicit drug consumption in a population consisting of drug users and non-users has been proposed. The model describes the dynamics of non-users, experimental users, recreational users, and addict users within a population. The aim of this work is to propose a modified version of this model by analogy with the classical predator-prey models, in particular considering non-users as prey and users as predator. Hence, our model includes a stabilizing effect of the growth rate of the prey, and a destabilizing effect of the predator saturation. Functional responses of Verhulst and of Holling type II have been used for modeling these effects. To forecast the marijuana consumption in the states of Colorado and Washington, we used data from Hanley (2013) and a genetic algorithm to calibrate the parameters in our model. Assuming that the population of non-users increases in proportion with the demography, and following the seminal works of Sir Robert May (1976), we use the growth rate of non-users as the main bifurcation parameter. For the state of Colorado, the model first exhibits a limit cycle, which agrees quite accurately with the reported periodic data in Hanley (2013). By further increasing the growth rate of non-users, the population then enters into two chaotic regions, within which the evolution of the variables becomes unpredictable. For the state of Washington, the model also exhibits a periodic solution, which is again in good agreement with observed data. A chaotic region for Washington is likewise observed in the bifurcation diagram. Our research confirms that mathematical models can be a useful tool for better understanding illicit drug consumption, and for guiding policy-makers towards more effective policies to contain this epidemic.


title: Direct Imaging of Charge Redistribution due to Bonding at Atomic Resolution via Electron Ptychography

abstract: Phase imaging in electron microscopy is sensitive to the local potential, including charge redistribution from bonding. We demonstrate that electron ptychography provides the necessary sensitivity to detect this subtle effect by directly imaging the charge redistribution in single layer boron nitride. Residual aberrations can be measured and corrected post-collection, and simultaneous atomic number contrast imaging provides unambiguous sub-lattice identification. Density functional theory calculations confirm the detection of charge redistribution.


title: Deep Learning architectures for generalized immunofluorescence based nuclear image segmentation

abstract: Separating and labeling each instance of a nucleus (instance-aware segmentation) is the key challenge in segmenting single cell nuclei on fluorescence microscopy images. Deep Neural Networks can learn the implicit transformation of a nuclear image into a probability map indicating the class membership of each pixel (nucleus or background), but the use of post-processing steps to turn the probability map into a labeled object mask is error-prone. This especially accounts for nuclear images of tissue sections and nuclear images across varying tissue preparations. In this work, we aim to evaluate the performance of state-of-the-art deep learning architectures to segment nuclei in fluorescence images of various tissue origins and sample preparation types without post-processing. We compare architectures that operate on pixel to pixel translation and an architecture that operates on object detection and subsequent locally applied segmentation. In addition, we propose a novel strategy to create artificial images to extend the training set. We evaluate the influence of ground truth annotation quality, image scale and segmentation complexity on segmentation performance. Results show that three out of four deep learning architectures (U-Net, U-Net with ResNet34 backbone, Mask R-CNN) can segment fluorescent nuclear images on most of the sample preparation types and tissue origins with satisfactory segmentation performance. Mask R-CNN, an architecture designed to address instance aware segmentation tasks, outperforms other architectures. Equal nuclear mean size, consistent nuclear annotations and the use of artificially generated images result in overall acceptable precision and recall across different tissues and sample preparation types.


title: Efficient estimation of Pauli channels

abstract: Pauli channels are ubiquitous in quantum information, both as a dominant noise source in many computing architectures and as a practical model for analyzing error correction and fault tolerance. Here we prove several results on efficiently learning Pauli channels, and more generally the Pauli projection of a quantum channel. We first derive a procedure for learning a Pauli channel on $n$ qubits with high probability to a relative precision $\epsilon$ using $O\bigl(\epsilon^{-2} n 2^n\bigr)$ measurements, which is efficient in the Hilbert space dimension. The estimate is robust to state preparation and measurement errors which, together with the relative precision, makes it especially appropriate for applications involving characterization of high-accuracy quantum gates. Next we show that the error rates for an arbitrary set of $s$ Pauli errors can be estimated to a relative precision $\epsilon$ using $O\bigl(\epsilon^{-4} \log s\log s/\epsilon\bigr)$ measurements. Finally, we show that when the Pauli channel is given by a Markov field with at most $k$-local correlations, we can learn an entire $n$-qubit Pauli channel to relative precision $\epsilon$ with only $O_k\bigl(\epsilon^{-2} n^2 \log n \bigr)$ measurements, which is efficient in the number of qubits. These results enable a host of applications beyond just characterizing noise in a large-scale quantum system: they pave the way to tailoring quantum codes, optimizing decoders, and customizing fault tolerance procedures to suit a particular device.


title: Variable-density buoyancy-driven turbulence with asymmetric initial density distribution

abstract: The effects of different initial density distributions on the evolution of buoyancy-driven homogeneous variable-density turbulence (HVDT) at low (0.05) and high (0.75) Atwood numbers are studied by using high-resolution direct numerical simulations. HVDT aims to mimic the acceleration-driven Rayleigh-Taylor and shock-driven Richtmyer-Meshkov instabilities and reveals new physics that arise from variable-density effects on the turbulent mixing. Here, the initial amounts of pure light and pure heavy flows are altered primarily to mimic the variable-density turbulence at the different locations of the Rayleigh-Taylor and Richtmyer-Meshkov instabilities' mixing layers where the amounts of the mixing fluids are not equal. It is found that for the low Atwood number cases, the asymmetric initial density distribution has limited effects on both global and local flow evolution for HVDT. However, at high Atwood number, both global flow evolution and the local flow structures are strongly affected by the initial composition ratio. The flow composed of more light fluid reaches higher turbulent levels and the local statistics reach their fully-developed behavior earlier in the time evolution. During the late time decay, where most of the flow is well-mixed, all parameters become independent of the initial composition ratio for both low and high Atwood number cases.


title: Thermal Transport in a Higher-Order Generalized Hydrodynamics

abstract: Thermal transport in classical fluids is analyzed in terms of a Higher-Order Generalized Hydrodynamics (or Mesoscopic Hydro-Thermodynamics), that is, depending on the evolution of the energy density and its fluxes of all orders. It is derived in terms of a Kinetic Theory based on the Non-Equilibrium Statistical Ensemble Formalism. The general system of coupled evolution equations is derived. Maxwell times - which are of large relevance to determine the character of the motion - are derived. They also have a quite important role for the choice of the contraction of description (limitation in the number of fluxes to be retained) in the study of the hydrodynamic motion. In a description of order 1 it is presented an analysis of the technological process of thermal prototyping.


title: Counting Primes Rationally And Irrationally

abstract: The recent technique for estimating lower bounds of the prime counting function $\pi(x)=#\{p \leq x: p\text{ prime}\}$ by means of the irrationality measures $\mu(\zeta(s)) \geq 2$ of special values of the zeta function claims that $\pi(x) \gg \log \log x/\log \log \log x$. This note improves the lower bound to $\pi(x) \gg \log x$, and extends the analysis to the irrationality measures $\mu(\zeta(s)) \geq 1$ for rational ratios of zeta functions.


title: Forecasting Short-term Dynamics of Fair-Weather Cumuli using Dynamic Mode Decomposition

abstract: Application of Dynamic Mode Decomposition to clear-sky index forecasting of shadowing effects of convective fair-weather cumulus clouds is presented. Cloud dynamics are captured by sequences of visible-light photographic video frames. This method can be more easily applied to the modeling of cloud evolution than traditional fluid-based methods, and can enhance existing frozen-cloud advection methods. Its use is demonstrated for an actual fair-weather cumulus cloud image sequence and compared to an advection-only forecast. It is concluded that the method shows promise for very short-term clear-sky index forecasting for up to seven minute horizons.


title: Proof of some conjectures involving quadratic residues

abstract: We confirm several conjectures of Sun involving quadratic residues modulo odd primes. For any prime $p\equiv 1\pmod 4$ and integer $a\not\equiv0\pmod p$, we prove that \begin{align*}&(-1)^{|\{1\le k<\frac p4:\ (\frac kp)=-1\}|}\prod_{1\le j<k\le(p-1)/2}(e^{2\pi iaj^2/p}+e^{2\pi iak^2/p}) \\=&\begin{cases}1&\text{if}\ p\equiv1\pmod 8,\\\left(\frac ap\right)\varepsilon_p^{-(\frac ap)h(p)}&\text{if}\ p\equiv5\pmod8,\end{cases} \end{align*} and that \begin{align*}&\left|\left\{(j,k):\ 1\le j<k\le\frac{p-1}2\ \&\ \{aj^2\}_p>\{ak^2\}_p\right\}\right| \\&+\left|\left\{(j,k):\ 1\le j<k\le\frac{p-1}2\ \&\ \{ak^2-aj^2\}_p>\frac p2\right\}\right| \\\equiv&\left|\left\{1\le k<\frac p4:\ \left(\frac kp\right)=\left(\frac ap\right)\right\}\right|\pmod2. \end{align*} where $(\frac{a}p)$ is the Legendre symbol, $\varepsilon_p$ and $h(p)$ are the fundamental unit and the class number of the real quadratic field $\mathbb Q(\sqrt p)$ respectively, and $\{x\}_p$ is the least nonnegative residue of an integer $x$ modulo $p$. Also, for any prime $p\equiv3\pmod4$ and $\delta=1,2$, we determine $$(-1)^{\left|\left\{(j,k): \ 1\le j<k\le(p-1)/2\ \text{and}\ \{\delta T_j\}_p>\{\delta T_k\}_p\right\}\right|},$$ where $T_m$ denotes the triangular number $m(m+1)/2$.


title: The optimal exponent in the embedding into the Lebesgue spaces for functions with gradient in the Morrey space

abstract: We study the following natural question that, apparently, has not been well addressed in the literature: Given functions $u$ with support in the unit ball $B_1\subset\mathbb{R}^n$ and with gradient in the Morrey space $M^{p,\lambda}(B_1)$, where $1<p<\lambda<n$, what is the largest range of exponents $q$ for which necessarily $u\in L^{q}(B_1)$? While David R. Adams proved in 1975 that this embedding holds for $q\leq\lambda p/(\lambda-p)$, an article from 2011 claimed the embedding in the larger range $q<n p/(\lambda-p)$. Here we disprove this last statement by constructing a function that provides a counterexample for $q>\lambda p/(\lambda-p)$. The function is basically a negative power of the distance to a set of Hausdorff dimension $n-\lambda$. When $\lambda\notin\mathbb{Z}$, this set is a fractal. We also make a detailed study of the radially symmetric case, a situation in which the exponent $q$ can go up to $np/(\lambda-p)$.


title: Super-ORCA: Measuring the leptonic CP-phase with Atmospheric Neutrinos and Beam Neutrinos

abstract: Studying the atmospheric neutrino oscillation probabilities below 2 GeV with a multi-megaton Cherenkov detector allows for a measurement of the leptonic CP-phase $\delta_{CP}$. The most relevant CP-sensitive energy range is below the neutrino detection threshold of KM3NeT/ORCA, which is an underwater Cherenkov detector optimised to determine the neutrino mass ordering by measuring the oscillation pattern of 3-30 GeV atmospheric neutrinos. With Super-ORCA, a $\sim 10$ times more-densely instrumented version of ORCA, the detection threshold can be lowered and the event reconstruction capabilities improved. In this paper, the key detector performance indicators for a possible Super-ORCA detector and the sensitivity to $\delta_{CP}$ with atmospheric neutrinos are presented. Including systematics, a 1$\sigma$-resolution on $\delta_{CP}$ of about $38^\circ$ ($23^\circ$) is achieved for $\delta_{CP}=0$ ($\delta_{CP}=\pi/2$) after 10 years. In addition, the potential of using a neutrino beam from the Protvino accelerator facility to the Super-ORCA detector is discussed. With this, a 1$\sigma$-resolution on $\delta_{CP}$ of about $10^\circ$ ($16^\circ$) is achieved for $\delta_{CP}=0$ ($\delta_{CP}=\pi/2$) after 10 years.


title: DuTongChuan: Context-aware Translation Model for Simultaneous Interpreting

abstract: In this paper, we present DuTongChuan, a novel context-aware translation model for simultaneous interpreting. This model allows to constantly read streaming text from the Automatic Speech Recognition (ASR) model and simultaneously determine the boundaries of Information Units (IUs) one after another. The detected IU is then translated into a fluent translation with two simple yet effective decoding strategies: partial decoding and context-aware decoding. In practice, by controlling the granularity of IUs and the size of the context, we can get a good trade-off between latency and translation quality easily. Elaborate evaluation from human translators reveals that our system achieves promising translation quality (85.71% for Chinese-English, and 86.36% for English-Chinese), specially in the sense of surprisingly good discourse coherence. According to an End-to-End (speech-to-speech simultaneous interpreting) evaluation, this model presents impressive performance in reducing latency (to less than 3 seconds at most times). Furthermore, we successfully deploy this model in a variety of Baidu's products which have hundreds of millions of users, and we release it as a service in our AI platform.


title: Liouville-type results in exterior domains for radial solutions of fully nonlinear equations

abstract: We give necessary and sufficient conditions for the existence of positive radial solutions for a class of fully nonlinear uniformly elliptic equations posed in the complement of a ball in $\mathbb R^N$, and equipped with homogeneous Dirichlet boundary conditions.


title: Runtime QoS service for application-driven adaptation in network computing

abstract: A distributed application executing on a Network of Workstations (NOW) needs to be resource state aware to possibly adapt itself accordingly in order to keep satisfying the desired Quality of Service (QoS) demands throughout its lifespan. We implemented a QoS service to enable application-driven adaptation for performance and fault tolerance at runtime. The service is associated with lightweight middleware that monitors the state and load of all application entities (e.g., machines, tasks, and logical network links). Moreover, it makes its services available to an application task via an anonymous and simple to use QoS API. We present a Manager-Worker application that uses our fault tolerance QoS API to adapt for Worker faults in order to avoid application deadlock at runtime. Moreover, we show how a dynamic application-level scheduler can easily utilize the QoS API to find efficient schedules. Furthermore, we quantified the overhead of the QoS middleware in various scenarios to demonstrate that it has minor impact on the performance of the application it is servicing.


title: Floquet-engineered light-cone spreading of correlations in a driven quantum chain

abstract: We investigate the light-cone-like spread of electronic correlations in a laser-driven quantum chain. Using the time-dependent density matrix renormalization group, we show that high-frequency driving leads to a Floquet-engineered spread velocity that determines the enhancement of density-density correlations when the ratio of potential and kinetic energies is effectively increased both by either a continuous or a pulsed drive. For large times we numerically show the existence of a Floquet steady state at not too long distances on the lattice with minimal heating. Intriguingly, we find a discontinuity of dynamically scaled correlations at the edge of the light cone, akin to the discontinuity known to exist for quantum quenches in Luttinger liquids. Our work demonstrates the potential of pump-probe experiments for investigating light-induced correlations in low-dimensional materials and puts quantitative speed limits on the manipulation of long-ranged correlations through Floquet engineering.


title: Feedback Passivation of Linear Systems with Fixed-Structured Controllers

abstract: This paper addresses the problem of designing an optimal output feedback controller with a specified controller structure for linear time-invariant (LTI) systems to maximize the passivity level for the closed-loop system, in both continuous-time (CT) and discrete-time (DT). Specifically, the set of controllers under consideration is linearly parameterized with constrained parameters. Both input feedforward passivity (IFP) and output feedback passivity (OFP) indices are used to capture the level of passivity. Given a set of stabilizing controllers, a necessary and sufficient condition is proposed for the existence of such fixed-structured output feedback controllers that can passivate the closed-loop system. Moreover, it is shown that the condition can be used to obtain the controller that maximizes the IFP or the OFP index by solving a convex optimization problem.