Optimization of Power Transfer Efficiency and Energy Efficiency for Wireless Powered Systems with Massive MIMO. Massive MIMO is attractive for wireless information and energy transfer due to its ability to focus energy towards desired spatial locations. In this paper, the overall power transfer efficiency (PTE) and the energy efficiency (EE) of a wireless powered massive MIMO system is investigated where a multi antenna base station (BS) uses wireless energy transfer to charge single antenna energy harvesting users on the downlink. The users may exploit the harvested energy to transmit information to the BS on the uplink. The overall system performance is analyzed while accounting for the nonlinear nature of practical energy harvesters. First, for wireless energy transfer, the PTE is characterized using a scalable model for the BS circuit power consumption. The PTE optimal number of BS antennas and users are derived. Then, for wireless energy and information transfer, the EE performance is characterized. The EE optimal BS transmit power is derived in terms of the key system parameters such as the number of BS antennas and the number of users. As the number of antennas becomes large, increasing the transmit power improves the energy efficiency for moderate to large number of antennas. Simulation results suggest that it is energy efficient to operate the system in the massive antenna regime.


Mathematical Foundations of Regression Methods for the approximation of the Forward Initial Margin. Abundant literature has been published on approximation methods for the forward initial margin. The most popular ones being the family of regression methods. This paper describes the mathematical foundations on which these regression approximation methods lie. We introduce mathematical rigor to show that in essence, all the methods propose variations of approximations for the conditional expectation function, which is interpreted as an orthogonal projection on Hilbert spaces. We show that each method is simply choosing a different functional form to numerically estimate the conditional expectation. We cover in particular the most popular methods in the literature so far, Polynomial approximation, Kernel regressions and Neural Networks.


Scalable Reinforcement Learning Policies for Multi Agent Control. We develop a Multi Agent Reinforcement Learning (MARL) method to learn scalable control policies for target tracking. Our method can handle an arbitrary number of pursuers and targets we show results for tasks consisting up to 1000 pursuers tracking 1000 targets. We use a decentralized, partially observable Markov Decision Process framework to model pursuers as agents receiving partial observations (range and bearing) about targets which move using fixed, unknown policies. An attention mechanism is used to parameterize the value function of the agents this mechanism allows us to handle an arbitrary number of targets. Entropy regularized off policy RL methods are used to train a stochastic policy, and we discuss how it enables a hedging behavior between pursuers that leads to a weak form of cooperation in spite of completely decentralized control execution. We further develop a masking heuristic that allows training on smaller problems with few pursuers targets and execution on much larger problems. Thorough simulation experiments, ablation studies, and comparisons to state of the art algorithms are performed to study the scalability of the approach and robustness of performance to varying numbers of agents and targets.


Seedless Graph Matching via Tail of Degree Distribution for Correlated Erdos Renyi Graphs. The network alignment (or graph matching) problem refers to recovering the node to node correspondence between two correlated networks. In this paper, we propose a network alignment algorithm which works without using a seed set of pre matched node pairs or any other auxiliary information (e.g., node or edge labels) as an input. The algorithm assigns structurally innovative features to nodes based on the tail of empirical degree distribution of their neighbor nodes. Then, it matches the nodes according to these features. We evaluate the performance of proposed algorithm on both synthetic and real networks. For synthetic networks, we generate Erdos Renyi graphs in the regions of Theta( log(n) n) and Theta( log 2 (n) n) , where a previous work theoretically showed that recovering is feasible in sparse Erdos Renyi graphs if and only if the probability of having an edge between a pair of nodes in one of the graphs and also between the corresponding nodes in the other graph is in the order of Omega( log(n) n) , where n is the number of nodes. Experiments on both real and synthetic networks show that it outperforms previous works in terms of probability of correct matching.


Multi Granularity Self Attention for Neural Machine Translation. Current state of the art neural machine translation (NMT) uses a deep multi head self attention network with no explicit phrase information. However, prior work on statistical machine translation has shown that extending the basic translation unit from words to phrases has produced substantial improvements, suggesting the possibility of improving NMT performance from explicit modeling of phrases. In this work, we present multi granularity self attention (Mg Sa) a neural network that combines multi head self attention and phrase modeling. Specifically, we train several attention heads to attend to phrases in either n gram or syntactic formalism. Moreover, we exploit interactions among phrases to enhance the strength of structure modeling a commonly cited weakness of self attention. Experimental results on WMT14 English to German and NIST Chinese to English translation tasks show the proposed approach consistently improves performance. Targeted linguistic analysis reveals that Mg Sa indeed captures useful phrase information at various levels of granularities.


Big principal series, p adic families and L invariants. In earlier work, the first named author generalized the construction of Darmon style mathcal L invariants to cuspidal automorphic representations of semisimple groups of higher rank, which are cohomological with respect to the trivial coefficient system and Steinberg at a fixed prime. In this paper, assuming that the Archimedean component of the group has discrete series we show that these automorphic mathcal L invariants can be computed in terms of derivatives of Hecke eigenvalues in p adic families. Our proof is novel even in the case of modular forms, which was established by Bertolini, Darmon, and Iovita. The main new technical ingredient is the Koszul resolution of locally analytic principal series representations by Kohlhaase and Schraen. As an application of our results we settle a conjecture of Spie ss we show that automorphic mathcal L invariants of Hilbert modular forms of parallel weight 2 are independent of the sign character used to define them. Moreover, we show that they are invariant under Jacquet Langlands transfer and, in fact, equal to the Fontaine Mazur mathcal L invariant of the associated Galois representation. Under mild assumptions, we also prove the equality of automorphic and Fontaine Mazur mathcal L invariants for representations of definite unitary groups of arbitrary rank. Finally, we study the case of Bianchi modular forms to show how our methods, given precise results on eigenvarieties, can also work in the absence of discrete series representations.


Toxic Language Detection in Social Media for Brazilian Portuguese New Dataset and Multilingual Analysis. Hate speech and toxic comments are a common concern of social media platform users. Although these comments are, fortunately, the minority in these platforms, they are still capable of causing harm. Therefore, identifying these comments is an important task for studying and preventing the proliferation of toxicity in social media. Previous work in automatically detecting toxic comments focus mainly in English, with very few work in languages like Brazilian Portuguese. In this paper, we propose a new large scale dataset for Brazilian Portuguese with tweets annotated as either toxic or non toxic or in different types of toxicity. We present our dataset collection and annotation process, where we aimed to select candidates covering multiple demographic groups. State of the art BERT models were able to achieve 76 macro F1 score using monolingual data in the binary case. We also show that large scale monolingual data is still needed to create more accurate models, despite recent advances in multilingual approaches. An error analysis and experiments with multi label classification show the difficulty of classifying certain types of toxic comments that appear less frequently in our data and highlights the need to develop models that are aware of different categories of toxicity.


Actions of Small Groups on Two Dimensional Artin Schelter Regular Algebras. In commutative invariant theory, a classical result due to Auslander says that if R Bbbk x 1, dots, x n and G is a finite subgroup of text Aut text gr (R) cong text GL (n, Bbbk) which contains no reflections, then there is a natural graded isomorphism R hspace 1pt hspace 1pt G cong text End R G (R) . In this paper, we show that a version of Auslander's Theorem holds if we replace R by an Artin Schelter regular algebra A of global dimension 2, and G by a finite subgroup of text Aut text gr (A) which contains no quasi reflections. This extends work of Chan Kirkman Walton Zhang. As part of the proof, we classify all such pairs (A,G) , up to conjugation of G by an element of text Aut text gr (A) . In all but one case, we also write down explicit presentations for the invariant rings A G , and show that they are isomorphic to factors of AS regular algebras.


Fairness Issues in AI Systems that Augment Sensory Abilities. Systems that augment sensory abilities are increasingly employing AI and machine learning (ML) approaches, with applications ranging from object recognition and scene description tools for blind users to sound awareness tools for d Deaf users. However, unlike many other AI enabled technologies, these systems provide information that is already available to non disabled people. In this paper, we discuss unique AI fairness challenges that arise in this context, including accessibility issues with data and models, ethical implications in deciding what sensory information to convey to the user, and privacy concerns both for the primary user and for others.


Demonstrating Delay based Reservoir Computing Using a Compact Photonic Integrated Chip. Photonic delay based reservoir computing (RC) has gained considerable attention lately, as it allows for simple technological implementations of the RC concept that can operate at high speed. In this paper, we discuss a practical, compact and robust implementation of photonic delay based RC, by integrating a laser and a 5.4cm delay line on an InP photonic integrated circuit. We demonstrate the operation of this chip with 23 nodes at a speed of 0.87GSa s, showing performances that are similar to previous non integrated delay based setups. We also investigate two other post processing methods to obtain more nodes in the output layer. We show that these methods improve the performance drastically, without compromising the computation speed.


Generalized Crofoot Transform and Matrix Valued Asymmetric Truncated Toeplitz Operators. Matrix valued asymmetric truncated Toeplitz operator are compression of multiplication operators acting between two model spaces. These are the generalization of matrix valued truncated Toeplitz operators. In this paper we use generalized Crofoot transform to characterize symbol of matrix valued asymmetric truncated Toeplitz operator equal to zero operator.


Robust Template Matching via Hierarchical Convolutional Features from a Shape Biased CNN. Finding a template in a search image is an important task underlying many computer vision applications. Recent approaches perform template matching in a deep feature space, produced by a convolutional neural network (CNN), which is found to provide more tolerance to changes in appearance. In this article we investigate if enhancing the CNN's encoding of shape information can produce more distinguishable features that improve the performance of template matching. This investigation results in a new template matching method that produces state of the art results on a standard benchmark. To confirm these results we also create a new benchmark and show that the proposed method also outperforms existing techniques on this new dataset. Our code and dataset is available at https github.com iminfine Deep DIM.


Domain Specific Mappings for Generative Adversarial Style Transfer. Style transfer generates an image whose content comes from one image and style from the other. Image to image translation approaches with disentangled representations have been shown effective for style transfer between two image categories. However, previous methods often assume a shared domain invariant content space, which could compromise the content representation power. For addressing this issue, this paper leverages domain specific mappings for remapping latent features in the shared content space to domain specific content spaces. This way, images can be encoded more properly for style transfer. Experiments show that the proposed method outperforms previous style transfer methods, particularly on challenging scenarios that would require semantic correspondences between images. Code and results are available at https acht7111020.github.io DSMAP demo .


On the edge length ratio of 2 trees. We study planar straight line drawings of graphs that minimize the ratio between the length of the longest and the shortest edge. We answer a question of Lazard et al. Theor. Comput. Sci. 770 (2019), 88 94 and, for any given constant r , we provide a 2 tree which does not admit a planar straight line drawing with a ratio bounded by r . When the ratio is restricted to adjacent edges only, we prove that any 2 tree admits a planar straight line drawing whose edge length ratio is at most 4 varepsilon for any arbitrarily small varepsilon 0 , hence the upper bound on the local edge length ratio of partial 2 trees is 4 .


Surgery and Excision for Furuta Ohta invariants on Homology S 1 times S 3 . We prove a surgery formula and an excision formula for the Furuta Ohta invariant lambda FO defined on homology S 1 times S 3 , which provides more evidence on its equivalence with the Casson Seiberg Witten invariant lambda SW . These formulae are applied to compute lambda FO of certain families of manifolds obtained as mapping tori under diffeomorphisms of 3 manifolds. In the course of the proof, we give a complete description of the degree zero moduli space of ASD instantons on 4 manifolds of homology H (D 2 times T 2 mathbb Z ) with a cylindrical end modeled on 0, infty) times T 3 .


Photonic nanobeam cavities with nano pockets for efficient integration of fluorescent nanoparticles. Integrating fluorescent nanoparticles with high Q, small mode volume cavities is indispensable for nanophotonics and quantum technologies. To date, nanoparticles have largely been coupled to evanescent fields of cavity modes, which limits the strength of the interaction. Here, we developed both a cavity design and a fabrication method that enable efficient coupling between a fluorescent nanoparticle and a cavity optical mode. The design consists of a fishbone shaped, one dimensional photonic crystal cavity with a nano pocket located at the electric field maximum of the fundamental optical mode. Furthermore, the presence of a nanoparticle inside the pocket reduces the mode volume substantially and induces subwavelength light confinement. Our approach opens exciting pathways to achieve strong light confinement around fluorescent nanoparticles for applications in energy, sensing, lasing and quantum technologies.


Approximation and optimal control of dissipative solutions to the Ericksen Leslie system. We analyze the Ericksen Leslie system equipped with the Oseen Frank energy in three space dimensions. Recently, the author introduced the concept of dissipative solutions. These solutions show several advantages in comparison to the earlier introduced measure valued solutions. In this article, we argue that dissipative solutions can be numerically approximated by a relative simple scheme, which fulfills the norm restriction on the director in every step. We introduce a semi discrete scheme and derive an approximated version of the relative energy inequality for solutions of this scheme. Passing to the limit in the semi discretization, we attain dissipative solutions. Additionally, we introduce an optimal control scheme, show the existence of an optimal control and a possible approximation strategy. We prove that the cost functional is lower semi continuous with respect to the convergence of this approximation and argue that an optimal control is attained in the case that there exists a solution admitting additional regularity.


A Benchmark Dataset for Understandable Medical Language Translation. In this paper, we introduce MedLane a new human annotated Medical Language translation dataset, to align professional medical sentences with layperson understandable expressions. The dataset contains 12,801 training samples, 1,015 validation samples, and 1,016 testing samples. We then evaluate one naive and six deep learning based approaches on the MedLane dataset, including directly copying, a statistical machine translation approach Moses, four neural machine translation approaches (i.e., the proposed PMBERT MT model, Seq2Seq and its two variants), and a modified text summarization model PointerNet. To compare the results, we utilize eleven metrics, including three new measures specifically designed for this task. Finally, we discuss the limitations of MedLane and baselines, and point out possible research directions for this task.


Influence of Topology and Porosity on Size Effects in Stripes of Cellular Material with Honeycomb Structure under Shear, Tension and Bending. Cellular solids are known to exhibit size effects, i.e., differences in the apparent effective elastic moduli, when the specimen size becomes comparable to the cell size. The present contribution employs direct numerical simulations (DNS) of the mesostructure to investigate the influences of porosity, shape of pores, and thus material distribution along the struts, and orientation of loading on the size effects and effective moduli of regular honeycomb structures. Beam models are compared to continuum models for simple shear, uniaxial loading and pure bending of strips of finite width. It is found that the honeycomb structure exhibits a considerable anisotropy of the size effects and that honeycomb structures with circular pores exhibit considerably stronger size effects than those with hexagonal pores (and thus straight struts). Positive (stiffening) size effects are observed under simple shear and negative (softening) size effects under bending and uniaxial loading. The negative size effects are interpreted in terms of the stress gradient theory.


Ginzburg Landau relaxation for harmonic maps on planar domains into a general compact vacuum manifold. We study the asymptotic behaviour, as a small parameter varepsilon tends to zero, of minimisers of a Ginzburg Landau type energy with a nonlinear penalisation potential vanishing on a compact submanifold mathcal N and with a given mathcal N valued Dirichlet boundary data. We show that minimisers converge up to a subsequence to a singular mathcal N valued harmonic map, which is smooth outside a finite number of points around which the energy concentrates and whose singularities' location minimises a renormalised energy, generalising known results by Bethuel, Brezis and H 'elein for the circle mathbb S 1 . We also obtain Gamma convergence results and uniform Marcinkiewicz weak L 2 or Lorentz L 2 estimates on the derivatives. We prove that solutions to the corresponding Euler Lagrange equation converge uniformly to the constraint and converge to harmonic maps away from singularities.


Fine Grained Segmentation Networks Self Supervised Segmentation for Improved Long Term Visual Localization. Long term visual localization is the problem of estimating the camera pose of a given query image in a scene whose appearance changes over time. It is an important problem in practice, for example, encountered in autonomous driving. In order to gain robustness to such changes, long term localization approaches often use segmantic segmentations as an invariant scene representation, as the semantic meaning of each scene part should not be affected by seasonal and other changes. However, these representations are typically not very discriminative due to the limited number of available classes. In this paper, we propose a new neural network, the Fine Grained Segmentation Network (FGSN), that can be used to provide image segmentations with a larger number of labels and can be trained in a self supervised fashion. In addition, we show how FGSNs can be trained to output consistent labels across seasonal changes. We demonstrate through extensive experiments that integrating the fine grained segmentations produced by our FGSNs into existing localization algorithms leads to substantial improvements in localization performance.


The Impact of DNS Insecurity on Time. We demonstrate the first practical off path time shifting attacks against NTP as well as against Man in the Middle (MitM) secure Chronos enhanced NTP. Our attacks exploit the insecurity of DNS allowing us to redirect the NTP clients to attacker controlled servers. We perform large scale measurements of the attack surface in NTP clients and demonstrate the threats to NTP due to vulnerable DNS.


Closed Form Analysis of Non Linear Age of Information in Status Updates with an Energy Harvesting Transmitter. Timely status updates are crucial to enabling applications in massive Internet of Things (IoT). This paper measures the data freshness performance of a status update system with an energy harvesting transmitter, considering the randomness in information generation, transmission and energy harvesting. The performance is evaluated by a non linear function of age of information (AoI) that is defined as the time elapsed since the generation of the most up to date status information at the receiver. The system is formulated as two queues with status packet generation and energy arrivals both assumed to be Poisson processes. With negligible service time, both First Come First Served (FCFS) and Last Come First Served (LCFS) disciplines for arbitrary buffer and battery capacities are considered, and a method for calculating the average penalty with non linear penalty functions is proposed. The average AoI, the average penalty under exponential penalty function, and AoI's threshold violation probability are obtained in closed form. When the service time is assumed to follow exponential distribution, matrix geometric method is used to obtain the average peak AoI. The results illustrate that under the FCFS discipline, the status update frequency needs to be carefully chosen according to the service rate and energy arrival rate in order to minimize the average penalty.


Smooth profinite groups, III the Smoothness Theorem. Let p be a prime. The goal of this article is to prove the Smoothness Theorem 5.1 (Theorem D), which notably asserts that a (1, infty) cyclotomic pair is (n,1) cyclotomic, for all n geq 1 . In the particular case of Galois cohomology, the Smoothness Theorem provides a new proof of the Norm Residue Isomorphism Theorem. Using the formalism of smooth profinite groups, this proof presents it as a consequence of Kummer theory for fields.


Averages Along the Primes Improving and Sparse Bounds. Consider averages along the prime integers mathbb P given by begin equation mathcal A N f (x) N 1 sum p in mathbb P p leq N ( log p) f (x p). end equation These averages satisfy a uniform scale free ell p improving estimate. For all 1 p 2 , there is a constant C p so that for all integer N and functions f supported on 0,N , there holds begin equation N 1 p' lVert mathcal A N f rVert ell p' leq C p N 1 p lVert f rVert ell p . end equation The maximal function mathcal A ast f sup N lvert mathcal A N f rvert satisfies (p,p) sparse bounds for all 1 p 2 . The latter are the natural variants of the scale free bounds. As a corollary, mathcal A ast is bounded on ell p (w) , for all weights w in the Muckenhoupt A p class. No prior weighted inequalities for mathcal A ast were known.


Strong sums of projections in type rm II factors. Let M be a type rm II factor and let tau be the faithful positive semifinite normal trace, unique up to scalar multiples in the type rm II infty case and normalized by tau(I) 1 in the type rm II 1 case. Given A in M , we denote by A (A I) chi A(1, A the excess part of A and by A (I A) chi A(0,1) the defect part of A . V. Kaftal, P. Ng and S. Zhang provided necessary and sufficient conditions for a positive operator to be the sum of a finite or infinite collection of projections (not necessarily mutually orthogonal) in type rm I and type rm III factors. For type rm II factors, V. Kaftal, P. Ng and S. Zhang proved that tau(A ) geq tau(A ) is a necessary condition for an operator A in M which can be written as the sum of a finite or infinite collection of projections and also sufficient if the operator is "diagonalizable". In this paper, we prove that if A in M and tau(A ) geq tau(A ) , then A can be written as the sum of a finite or infinite collection of projections. This result answers affirmatively a question raised by V. Kaftal, P. Ng and S. Zhang.


A physical investigation on the phenomenon of the Dancing Coin. When a coin is placed on the neck of a cold bottle, the coin will move cyclically. This is caused by the expansion of the gas inside the bottle warming up, which will cause the coin to rise when the internal pressure is large enough to overcome the weight of the coin. This problem, widely used to qualitatively demonstrate several laws of thermodynamics, has no quantitative solution in the literature. For this we use the ideal gas model and Newton's law of cooling combined with computational numerical simulations and systematic experimental measures to confront our theoretical model, including equations for the evolution of temperature, pressure and behaviour of the coins in the system.


Shaping caustics into propagation invariant light. Structured light has revolutionized optical particle manipulation and nano scale material processing. In particular, propagation invariant structured light fields, such as Bessel beams, have enabled applications that require robust intensity distributions. Their self healing nature facilitates imaging with enhanced resolution e.g. in light sheet microscopy. The prominent high intensity features of propagation invariant fields such as Airy, Bessel, and Mathieu beams can be understood in terms of caustics. While these beams have found many applications in material processing and trapping, these technologies would greatly benefit from structured, controllable intensities in a variety of shapes well beyond the standard families of propagation invariant beams. Here we generalize propagation invariant beams by tailoring their caustics through two different methods. We illustrate these approaches by implementing various tailored propagation invariant beams experimentally, whose patterns range from simple geometric shapes to complex configurations such as words. This approach clarifies that the known solutions are a small subset of a far more general set of propagation invariant fields with intensity maxima concentrated around any desired curve.


Towards Real Time Automatic Portrait Matting on Mobile Devices. We tackle the problem of automatic portrait matting on mobile devices. The proposed model is aimed at attaining real time inference on mobile devices with minimal degradation of model performance. Our model MMNet, based on multi branch dilated convolution with linear bottleneck blocks, outperforms the state of the art model and is orders of magnitude faster. The model can be accelerated four times to attain 30 FPS on Xiaomi Mi 5 device with moderate increase in the gradient error. Under the same conditions, our model has an order of magnitude less number of parameters and is faster than Mobile DeepLabv3 while maintaining comparable performance. The accompanied implementation can be found at url https github.com hyperconnect MMNet .


Multinomial Distribution Learning for Effective Neural Architecture Search. Architectures obtained by Neural Architecture Search (NAS) have achieved highly competitive performance in various computer vision tasks. However, the prohibitive computation demand of forward backward propagation in deep neural networks and searching algorithms makes it difficult to apply NAS in practice. In this paper, we propose a Multinomial Distribution Learning for extremely effective NAS,which considers the search space as a joint multinomial distribution, i.e., the operation between two nodes is sampled from this distribution, and the optimal network structure is obtained by the operations with the most likely probability in this distribution. Therefore, NAS can be transformed to a multinomial distribution learning problem, i.e., the distribution is optimized to have a high expectation of the performance. Besides, a hypothesis that the performance ranking is consistent in every training epoch is proposed and demonstrated to further accelerate the learning process. Experiments on CIFAR10 and ImageNet demonstrate the effectiveness of our method. On CIFAR 10, the structure searched by our method achieves 2.55 test error, while being 6.0x (only 4 GPU hours on GTX1080Ti) faster compared with state of the art NAS algorithms. On ImageNet, our model achieves 75.2 top1 accuracy under MobileNet settings (MobileNet V1 V2), while being 1.2x faster with measured GPU latency. Test code with pre trained models are available at https github.com tanglang96 MDENAS


The weak Lefschetz property for Artinian Gorenstein algebras of codimension three. We study the weak Lefschetz property of a class of graded Artinian Gorenstein algebras of codimension three associated in a natural way to the Ap 'ery set of a numerical semigroup generated by four natural numbers. We show that these algebras have the weak Lefschetz property whenever the initial degree of their defining ideal is small.


Measure representation of evolving genealogies. We study evolving genealogies, i.e. processes that take values in the space of (marked) ultra metric measure spaces and satisfy some sort of "consistency" condition. This condition is based on the observation that the genealogical distance of two individuals who do not have common ancestors up to a time h in the past is completely determined by the genealogical distance of the respective ancestors at that time h in the past. Now the idea is to color all possible ancestors at time h in the past and measure the relative number of their descendants. The resulting collection of measure valued processes (the construction is possible for all h ) is called a measure representation. As a main result we give a tightness criterion of evolving genealogies in terms of their measure representation. We then apply our theory to study a finite system scheme for tree valued interacting Fleming Viot processes.


Softwarization, Virtualization, Machine Learning For Intelligent Effective V2X Communications. The concept of the fifth generation (5G) mobile network system has emerged in recent years as telecommunication operators and service providers look to upgrade their infrastructure and delivery modes to meet the growing demand. Concepts such as softwarization, virtualization, and machine learning will be key components as innovative and flexible enablers of such networks. In particular, paradigms such as software defined networks, software defined perimeter, cloud edge computing, and network function virtualization will play a major role in addressing several 5G networks' challenges, especially in terms of flexibility, programmability, scalability, and security. In this work, the role and potential of these paradigms in the context of V2X communication is discussed. To do so, the paper starts off by providing an overview and background of V2X communications. Then, the paper discusses in more details the various challenges facing V2X communications and some of the previous literature work done to tackle them. Furthermore, the paper describes how softwarization, virtualization, and machine learning can be adapted to tackle the challenges of such networks.


Improved Fitness Dependent Optimizer Algorithm. The fitness dependent optimizer (FDO) algorithm was recently introduced in 2019. An improved FDO (IFDO) algorithm is presented in this work, and this algorithm contributes considerably to refining the ability of the original FDO to address complicated optimization problems. To improve the FDO, the IFDO calculates the alignment and cohesion and then uses these behaviors with the pace at which the FDO updates its position. Moreover, in determining the weights, the FDO uses the weight factor (wf), which is zero in most cases and one in only a few cases. Conversely, the IFDO performs wf randomization in the 0 1 range and then minimizes the range when a better fitness weight value is achieved. In this work, the IFDO algorithm and its method of converging on the optimal solution are demonstrated. Additionally, 19 classical standard test function groups are utilized to test the IFDO, and then the FDO and three other well known algorithms, namely, the particle swarm algorithm (PSO), dragonfly algorithm (DA), and genetic algorithm (GA), are selected to evaluate the IFDO results. Furthermore, the CECC06 2019 Competition, which is the set of IEEE Congress of Evolutionary Computation benchmark test functions, is utilized to test the IFDO, and then, the FDO and three recent algorithms, namely, the salp swarm algorithm (SSA), DA and whale optimization algorithm (WOA), are chosen to gauge the IFDO results. The results show that IFDO is practical in some cases, and its results are improved in most cases. Finally, to prove the practicability of the IFDO, it is used in real world applications.


Neural Network Approximation. Neural Networks (NNs) are the method of choice for building learning algorithms. Their popularity stems from their empirical success on several challenging learning problems. However, most scholars agree that a convincing theoretical explanation for this success is still lacking. This article surveys the known approximation properties of the outputs of NNs with the aim of uncovering the properties that are not present in the more traditional methods of approximation used in numerical analysis. Comparisons are made with traditional approximation methods from the viewpoint of rate distortion. Another major component in the analysis of numerical approximation is the computational time needed to construct the approximation and this in turn is intimately connected with the stability of the approximation algorithm. So the stability of numerical approximation using NNs is a large part of the analysis put forward. The survey, for the most part, is concerned with NNs using the popular ReLU activation function. In this case, the outputs of the NNs are piecewise linear functions on rather complicated partitions of the domain of f into cells that are convex polytopes. When the architecture of the NN is fixed and the parameters are allowed to vary, the set of output functions of the NN is a parameterized nonlinear manifold. It is shown that this manifold has certain space filling properties leading to an increased ability to approximate (better rate distortion) but at the expense of numerical stability. The space filling creates a challenge to the numerical method in finding best or good parameter choices when trying to approximate.


Theoretical Characterization of Photoactive Molecular Systems Based on BODIPY Derivatives for the Design of Organic Solar Cells. To search for high efficiency narrow band donor materials to improve the short circuit current density ( J sc ) of organic solar cells, a series of small molecules based in Bodipy Triphenylamine were characterized using density functional theory (DFT) and time dependent (TD DFT) calculations. According to the energy of the exciton driving force they have the appropriate energy levels to match textbf textit PC 61 BM . The properties affecting the open circuit voltage ( V oc ), J sc and the fill factor ( FF ) were investigated by calculating the geometric structures, the boundary molecular orbital energy levels, absorption spectra, light collection efficiencies, chare transfer rates, and exciton binding energies. The results show that the textbf textit BTPA III system has a lower LUMO level, high absorption efficiency, and exction dissociation than other molecular systems, facilitating the improvement of V oc , J sc and FF . Finally, textbf textit BTPA III would be the most promising of this series of donors and further increase the efficiency of the device.


Effective computation of degree bounded minimal models for GCDA's. Given a finitely presented Graded Commutative Differential Algebra (GCDA), we present a method to compute its minimal model, together with a map that is a quasi isomorphism up to a given degree. The method works by adding generators one by one. We also provide a specific implementation of the method. We also provide two criteria for i formality, one necessary and one sufficient.


DeepHMap Combined Projection Grouping and Correspondence Learning for Full DoF Pose Estimation. In recent years, estimating the 6D pose of object instances with convolutional neural network (CNN) has received considerable attention. Depending on whether intermediate cues are used, the relevant literature can be roughly divided into two broad categories direct methods and two stage pipelines. For the latter, intermediate cues, such as 3D object coordinates, semantic keypoints, or virtual control points instead of pose parameters are regressed by CNN in the first stage. Object pose can then be solved by correspondence constraints constructed with these intermediate cues. In this paper, we focus on the postprocessing of a two stage pipeline and propose to combine two learning concepts for estimating object pose under challenging scenes projection grouping on one side, and correspondence learning on the other. We firstly employ a local patch based method to predict projection heatmaps which denote the confidence distribution of projection of 3D bounding box's corners. A projection grouping module is then proposed to remove redundant local maxima from each layer of heatmaps. Instead of directly feeding 2D 3D correspondences to the perspective n point (PnP) algorithm, multiple correspondence hypotheses are sampled from local maxima and its corresponding neighborhood and ranked by a correspondence evaluation network. Finally, correspondences with higher confidence are selected to determine object pose. Extensive experiments on three public datasets demonstrate that the proposed framework outperforms several state of the art methods.


Tilting Modules Over Gorensetein T n d Injective Gorensetein T n d flat Modules. Let T be a tilting module.In this paper, some relative Gorenstein projective and Gortenstein injective modules are studied.


Reconstruction of piecewise constant layered conductivities in electrical impedance tomography. This work presents a new constructive uniqueness proof for Calder 'on's inverse problem of electrical impedance tomography, subject to local Cauchy data, for a large class of piecewise constant conductivities that we call "piecewise constant layered conductivities" (PCLC). The resulting reconstruction method only relies on the physically intuitive monotonicity principles of the local Neumann to Dirichlet map, and therefore the method lends itself well to efficient numerical implementation and generalization to electrode models. Several direct reconstruction methods exist for the related problem of inclusion detection, however they share the property that "holes in inclusions" or "inclusions within inclusions" cannot be determined. One such method is the monotonicity method of Harrach, Seo, and Ullrich, and in fact the method presented here is a modified variant of the monotonicity method which overcomes this problem. More precisely, the presented method abuses that a PCLC type conductivity can be decomposed into nested layers of positive and or negative perturbations that, layer by layer, can be determined via the monotonicity method. The conductivity values on each layer are found via basic one dimensional optimization problems constrained by monotonicity relations.


A subexponential upper bound for van der Waerden numbers W(3,k). We show an improved upper estimate for van der Waerden number W(3,k) there is an absolute constant c 0 such that if 1, dots,N X cup Y is a partition such that X does not contain any arithmetic progression of length 3 and Y does not contain any arithmetic progression of length k then N le exp(O(k 1 c )) ,.


A monotonicity result under symmetry and Morse index constraints in the plane. This paper deals with solutions of semilinear elliptic equations of the type left begin array ll Delta u f( x , u) qquad text in Omega, u 0 text on partial Omega, end array right. where Omega is a radially symmetric domain of the plane that can be bounded or unbounded. We consider solutions u that are invariant by rotations of a certain angle theta and which have a bound on their Morse index in spaces of functions invariant by these rotations. We can prove that or u is radial, or, else, there exists a direction e in mathcal S such that u is symmetric with respect to e and it is strictly monotone in the angular variable in a sector of angle frac theta 2 . The result applies to least energy and nodal least energy solutions in spaces of functions invariant by rotations and produces multiplicity results.


Algebraic hull of maximal measurable cocycles of surface groups into Hermitian Lie groups. Following the work of Burger, Iozzi and Wienhard for representations, in this paper we introduce the notion of maximal measurable cocycles of a surface group. More precisely, let mathbf G be a semisimple algebraic mathbb R group such that G mathbf G ( mathbb R ) circ is of Hermitian type. If Gamma leq L is a torsion free lattice of a finite connected covering of text PU (1,1) , given a standard Borel probability Gamma space ( Omega, mu Omega) , we introduce the notion of Toledo invariant for a measurable cocycle sigma Gamma times Omega rightarrow G . The Toledo remains unchanged along G cohomology classes and its absolute value is bounded by the rank of G . This allows to define maximal measurable cocycles. We show that the algebraic hull mathbf H of a maximal cocycle sigma is reductive and the centralizer of H mathbf H ( mathbb R ) circ is compact. If additionally sigma admits a boundary map, then H is of tube type and sigma is cohomologous to a cocycle stabilizing a unique maximal tube type subdomain. This result is analogous to the one obtained for representations. In the particular case G text PU (n,1) maximality is sufficient to prove that sigma is cohomologous to a cocycle preserving a complex geodesic. We conclude with some remarks about boundary maps of maximal Zariski dense cocycles.


Group Fairness for Knapsack Problems. We study the knapsack problem with group fairness constraints. The input of the problem consists of a knapsack of bounded capacity and a set of items, each item belongs to a particular category and has and associated weight and value. The goal of this problem is to select a subset of items such that all categories are fairly represented, the total weight of the selected items does not exceed the capacity of the knapsack,and the total value is maximized. We study the fairness parameters such as the bounds on the total value of items from each category, the total weight of items from each category, and the total number of items from each category. We give approximation algorithms for these problems. These fairness notions could also be extended to the min knapsack problem. The fair knapsack problems encompass various important problems, such as participatory budgeting, fair budget allocation, advertising.


Vanishing relaxation time dynamics of the Jordan Moore Gibson Thompson equation arising in nonlinear acoustics. The (third order in time) JMGT equation cite Jordan2,HCP is a nonlinear (quasi linear) Partial Differential Equation (PDE) model introduced to describe a nonlinear propagation of sound in an acoustic medium. The important feature is that the model avoids the infinite speed of propagation paradox associated with a classical second order in time equation referred to as Westervelt equation. Replacing Fourier's law by Maxwell Cattaneo's law gives rise to the third order in time derivative scaled by a small parameter tau 0 , the latter represents the thermal relaxation time parameter and is intrinsic to the medium where the dynamics occur. In this paper we provide an asymptotic analysis of the third order model when tau rightarrow 0 . It is shown that the corresponding solutions converge it in a strong topology of the phase space to a limit which is the solution of Westervelt equation. In addition, rate of convergence is provided for solutions displaying higher order regularity. This addresses an open question raised in cite kaltev2 , where a related JMGT equation has been studied and it weak star convergence of the solutions when tau rightarrow 0 has been established. Thus, our main contribution is showing it strong convergence on infinite time horizon, along with related rates of convergence valid on a finite time horizon. The key to unlocking the difficulty owns to a tight control and propagation of the "smallness" of the initial data in carrying the estimates at three different topological levels. The rate of convergence allows one then to estimate the relaxation time needed for the signal to reach the target. The interest in studying this type of problems is motivated by a large array of applications arising in engineering and medical sciences.


Gravitational and Autoregressive Analysis Spatial Diffusion of COVID 19 in Hubei Province, China. The spatial diffusion of epidemic disease follows distance decay law in geography, but different diffusion processes may be modeled by different mathematical functions under different spatio temporal conditions. This paper is devoted to modeling spatial diffusion patterns of COVID 19 stemming from Wuhan city to Hubei province. The methods include gravity and spatial auto regression analyses. The local gravity model is derived from allometric scaling and global gravity model, and then the parameters of the local gravity model are estimated by observational data and linear regression. The main results are as below. The local gravity model based on power law decay can effectively describe the diffusion patterns and process of COVID 19 in Hubei Province, and the goodness of fit of the gravity model based on negative exponential decay to the observation data is not satisfactory. Further, the goodness of fit of the model to data entirely became better and better over time, the size elasticity coefficient increases first and then decreases, and the distance attenuation exponent decreases first and then increases. Moreover, the significance of spatial autoregressive coefficient in the model is low, and the confidence level is less than 80 . The conclusions can be reached as follows. (1) The spatial diffusion of COVID 19 of Hubei bears long range effect, and the size of a city and the distance of the city to Wuhan affect the total number of confirmed cases. (2) Wuhan direct transmission is the main process in the spatial diffusion of COVID 19 in Hubei at the early stage, and the horizontal transmission between regions is not significant. (3) The effect of spatial isolation measures taken by Chinese government against the transmission of COVID 19 is obvious. This study suggests that the role of gravity should be taken into account to prevent and control epidemic disease.


Degenerate elastic networks. We minimize a linear combination of the Willmore and the length functional among networks in mathbb R d belonging to a given class determined by the number of curves, the order of the junctions and the angles between curves at the junctions. Since this class lacks compactness, we characterize the set of limits of sequences of networks bounded in energy, providing an explicit representation of the relaxed problem. This is expressed in terms of the new notion of degenerate elastic networks that, rather surprisingly, involves only the properties of the given class, without reference to the curvature. In the case of d 2 we also give an equivalent description of degenerate elastic networks by means of a combinatorial definition easy to validate by a finite algorithm. Moreover we provide examples, counterexamples, and additional results that motivate our study and show the sharpness of our characterization.


Stochastic Cahn Hilliard equation in higher space dimensions The motion of bubbles. We study the stochastic motion of a droplet in a stochastic Cahn Hilliard equation in the sharp interface limit for sufficiently small noise. The key ingredient in the proof is a deterministic slow manifold, where we show its stability for long times under small stochastic perturbations. We also give a rigorous stochastic differential equation for the motion of the center of the droplet.


Characterizing Smart Home IoT Traffic in the Wild. As the smart home IoT ecosystem flourishes, it is imperative to gain a better understanding of the unique challenges it poses in terms of management, security, and privacy. Prior studies are limited because they examine smart home IoT devices in testbed environments or at a small scale. To address this gap, we present a measurement study of smart home IoT devices in the wild by instrumenting home gateways and passively collecting real world network traffic logs from more than 200 homes across a large metropolitan area in the United States. We characterize smart home IoT traffic in terms of its volume, temporal patterns, and external endpoints along with focusing on certain security and privacy concerns. We first show that traffic characteristics reflect the functionality of smart home IoT devices such as smart TVs generating high volume traffic to content streaming services following diurnal patterns associated with human activity. While the smart home IoT ecosystem seems fragmented, our analysis reveals that it is mostly centralized due to its reliance on a few popular cloud and DNS services. Our findings also highlight several interesting security and privacy concerns in smart home IoT ecosystem such as the need to improve policy based access control for IoT traffic, lack of use of application layer encryption, and prevalence of third party advertising and tracking services. Our findings have important implications for future research on improving management, security, and privacy of the smart home IoT ecosystem.


BGG category for the quantum Schr "odinger algebra. In this paper, we study the BGG category mathcal O for the quantum Schr "o dinger algebra U q( mathfrak s ) , where q is a nonzero complex number which is not a root of unity. If the central charge dot z neq 0 , using the module B dot z over the quantum Weyl algebra H q , we show that there is an equivalence between the full subcategory mathcal O dot z consisting of modules with the central charge dot z and the BGG category mathcal O ( mathfrak sl 2) for the quantum group U q( mathfrak sl 2) . In the case that dot z 0 , we study the subcategory mathcal A consisting of finite dimensional U q( mathfrak s ) modules of type 1 with zero action of Z . Motivated by the ideas in cite DLMZ, Mak , we directly construct an equivalent functor from mathcal A to the category of finite dimensional representations of an infinite quiver with some quadratic relations. As a corollary, we show that the category of finite dimensional U q( mathfrak s ) modules is wild.


Los perfiles de investigaci 'on y su implantaci 'on en la Universidad Publica de Navarra. This work aims to monitor and control the presence of UPNA research staff in the main research profiles platforms, not only in the most obvious ones such as Google Scholar Citation, Researcher ID, Scopus ID and ORCID, but also in other services that, in practice, they function as research profiles, such as Mendeley, Linkedin, ResearchGate, Academia.edu and Academica e. We also find it interesting to analyze that presence and see how it responds to a variables, such as the department, gender, job category, research group. In this study we have excluded some platforms for different reasons. Dialnet profiles are entered from the UPNA library (BUPNA), which means that all those who meet the requirements for inclusion would be there, so their analysis does not make much sense, since it depends on factors outside the will of the researcher himself. The same is the case with the UPNA Scientific Production Portal (PPC) the data is entered from the Vicerrectorado de Investigaci 'on and should include all members of the UPNA PDI. Using as a base the census of university research staff provided by the Vicerrectorado de Investigaci 'on, it has been verified, for each author, the existence or not of a profile in the different services studied. The results have been tabulated in an Excel file to be able to analyze them later. The data has been collected in March 2018 for Orcid, ResearcherID, ScopusID, Google Scholar Citations and Mendeley. In November 2018, data from Academica e, Academia.edu, ResearchGate and Linkedin were taken. For each of the profiles, a search by institutional affiliation was used, when possible, to obtain a first list of UPNA research personnel with that profile. Subsequently, a search was carried out, person by person, of the rest of the research staff that did not appear in that first list.


Data Warehouse and Decision Support on Integrated Crop Big Data. In recent years, precision agriculture is becoming very popular. The introduction of modern information and communication technologies for collecting and processing Agricultural data revolutionise the agriculture practises. This has started a while ago (early 20th century) and it is driven by the low cost of collecting data about everything from information on fields such as seed, soil, fertiliser, pest, to weather data, drones and satellites images. Specially, the agricultural data mining today is considered as Big Data application in terms of volume, variety, velocity and veracity. Hence it leads to challenges in processing vast amounts of complex and diverse information to extract useful knowledge for the farmer, agronomist, and other businesses. It is a key foundation to establishing a crop intelligence platform, which will enable efficient resource management and high quality agronomy decision making and recommendations. In this paper, we designed and implemented a continental level agricultural data warehouse (ADW). ADW is characterised by its (1) flexible schema (2) data integration from real agricultural multi datasets (3) data science and business intelligent support (4) high performance (5) high storage (6) security (7) governance and monitoring (8) consistency, availability and partition tolerant (9) cloud compatibility. We also evaluate the performance of ADW and present some complex queries to extract and return necessary knowledge about crop management.


Download Time Analysis for Distributed Storage Codes with Locality and Availability. The paper presents techniques for analyzing the expected download time in distributed storage systems that employ systematic availability codes. These codes provide access to hot data through the systematic server containing the object and multiple recovery groups. When a request for an object is received, it can be replicated (forked) to the systematic server and all recovery groups. We first consider the low traffic regime and present the close form expression for the download time. By comparison across systems with availability, maximum distance separable (MDS), and replication codes, we demonstrate that availability codes can reduce download time in some settings but are not always optimal. In the high traffic regime, the system consists of multiple inter dependent Fork Join queues, making exact analysis intractable. Accordingly, we present upper and lower bounds on the download time, and an M G 1 queue approximation for several cases of interest. Via extensive numerical simulations, we evaluate our bounds and demonstrate that the M G 1 queue approximation has a high degree of accuracy.


Style transfer GANs for bridging the domain gap in synthetic pose estimator training. Given the dependency of current CNN architectures on a large training set, the possibility of using synthetic data is alluring as it allows generating a virtually infinite amount of labeled training data. However, producing such data is a non trivial task as current CNN architectures are sensitive to the domain gap between real and synthetic data. We propose to adopt general purpose GAN models for pixel level image translation, allowing to formulate the domain gap itself as a learning problem. The obtained models are then used either during training or inference to bridge the domain gap. Here, we focus on training the single stage YOLO6D object pose estimator on synthetic CAD geometry only, where not even approximate surface information is available. When employing paired GAN models, we use an edge based intermediate domain and introduce different mappings to represent the unknown surface properties. Our evaluation shows a considerable improvement in model performance when compared to a model trained with the same degree of domain randomization, while requiring only very little additional effort.


On Attribution of Deepfakes. Progress in generative modelling, especially generative adversarial networks, have made it possible to efficiently synthesize and alter media at scale. Malicious individuals now rely on these machine generated media, or deepfakes, to manipulate social discourse. In order to ensure media authenticity, existing research is focused on deepfake detection. Yet, the adversarial nature of frameworks used for generative modeling suggests that progress towards detecting deepfakes will enable more realistic deepfake generation. Therefore, it comes at no surprise that developers of generative models are under the scrutiny of stakeholders dealing with misinformation campaigns. At the same time, generative models have a lot of positive applications. As such, there is a clear need to develop tools that ensure the transparent use of generative modeling, while minimizing the harm caused by malicious applications. Our technique optimizes over the source of entropy of each generative model to probabilistically attribute a deepfake to one of the models. We evaluate our method on the seminal example of face synthesis, demonstrating that our approach achieves 97.62 attribution accuracy, and is less sensitive to perturbations and adversarial examples. We discuss the ethical implications of our work, identify where our technique can be used, and highlight that a more meaningful legislative framework is required for a more transparent and ethical use of generative modeling. Finally, we argue that model developers should be capable of claiming plausible deniability and propose a second framework to do so this allows a model developer to produce evidence that they did not produce media that they are being accused of having produced.


Primal dual subgradient method for constrained convex optimization problems. This paper considers a general convex constrained problem setting where functions are not assumed to be differentiable nor Lipschitz continuous. Our motivation is in finding a simple first order method for solving a wide range of convex optimization problems with minimal requirements. We study the method of weighted dual averages (Nesterov, 2009) in this setting and prove that it is an optimal method.


Environmental effects with Frozen Density Embedding in Real Time Time Dependent Density Functional Theory using localized basis functions. Frozen Density Embedding (FDE) represents a versatile embedding scheme to describe the environmental effect on the electron dynamics in molecular systems. The extension of the general theory of FDE to the real time time dependent Kohn Sham method has previously been presented and implemented in plane waves and periodic boundary conditions (Pavanello et al. J. Chem. Phys. 142, 154116, 2015). In the current paper, we extend our recent formulation of real time time dependent Kohn Sham method based on localized basis set functions and developed within the Psi4NumPy framework (De Santis et al. J. Chem. Theory Comput. 2020, 16, 2410) to the FDE scheme. The latter has been implemented in its "uncoupled" flavor (in which the time evolution is only carried out for the active subsystem, while the environment subsystems remain at their ground state), using and adapting the FDE implementation already available in the PyEmbed module of the scripting framework PyADF. The implementation was facilitated by the fact that both Psi4NumPy and PyADF, being native Python API, provided an ideal framework of development using the Python advantages in terms of code readability and reusability. We demonstrate that the inclusion of the FDE potential does not introduce any numerical instability in time propagation of the density matrix of the active subsystem and in the limit of weak external field, the numerical results for low lying transition energies are consistent with those obtained using the reference FDE calculations based on the linear response TDDFT. The method is found to give stable numerical results also in the presence of strong external field inducing non linear effects.


Counting solutions to random CNF formulas. We give the first efficient algorithm to approximately count the number of solutions in the random k SAT model when the density of the formula scales exponentially with k . The best previous counting algorithm for the permissive version of the model was due to Montanari and Shah and was based on the correlation decay method, which works up to densities (1 o k(1)) frac 2 log k k , the Gibbs uniqueness threshold for the model. Instead, our algorithm harnesses a recent technique by Moitra to work for random formulas. The main challenge in our setting is to account for the presence of high degree variables whose marginal distributions are hard to control and which cause significant correlations within the formula.


Examining Directional Strain Sensitivity of Shaped Optical Fibre Embedded in Polyurethane Strip. Distributed strain sensing using a straight optical fibre cable suffers from a decreased strain senstivity away from the fibre's axis. In this study, the directional senstivity is enhanced via sinusoidally shaping the fibre that is embedded in a polyurethane strip. First, the directional senstivity is quantified via a relatively simple analytical model. Second, static strain measurements using a Brillouin Optical Frequency Domain Analysis (BOFDA) system are carried out on a physical sample of the strip. Two different directions are examined, namely in line and broadside orientations. The former involves deforming parallel to the plane where the fibre is sinusoidally embedded, whereas the latter means deforming the plane normal to it. It can be observed that the response to the deformation in these orientations is opposite, i.e. the fibre experiences negative strain, so shortening, an in line deformation, and a positive strain, so stretching, for a broadside deformation. It can be found that the fibre is slightly more senstive in the in line direction which agrees with the behaviour as predicted by the model. Also, we see that the measured strain along the optical fibre is mainly influenced by the elastic properties of the embedding material due to, most importantly, the Poisson's ratio as well as the geometrical parameters of the sinusoidally shaped fibre.


Simulation of Conditioned Diffusions on the Flat Torus. Diffusion processes are fundamental in modelling stochastic dynamics in natural sciences. Recently, simulating such processes on complicated geometries has found applications for example in biology, where toroidal data arises naturally when studying the backbone of protein sequences, creating a demand for efficient sampling methods. In this paper, we propose a method for simulating diffusions on the flat torus, conditioned on hitting a terminal point after a fixed time, by considering a diffusion process in R 2 which we project onto the torus. We contribute a convergence result for this diffusion process, translating into convergence of the projected process to the terminal point on the torus. We also show that under a suitable change of measure, the Euclidean diffusion is locally a Brownian motion.


Adversarial collision attacks on image hashing functions. Hashing images with a perceptual algorithm is a common approach to solving duplicate image detection problems. However, perceptual image hashing algorithms are differentiable, and are thus vulnerable to gradient based adversarial attacks. We demonstrate that not only is it possible to modify an image to produce an unrelated hash, but an exact image hash collision between a source and target image can be produced via minuscule adversarial perturbations. In a white box setting, these collisions can be replicated across nearly every image pair and hash type (including both deep and non learned hashes). Furthermore, by attacking points other than the output of a hashing function, an attacker can avoid having to know the details of a particular algorithm, resulting in collisions that transfer across different hash sizes or model architectures. Using these techniques, an adversary can poison the image lookup table of a duplicate image detection service, resulting in undefined or unwanted behavior. Finally, we offer several potential mitigations to gradient based image hash attacks.


A novel combination of theoretical analysis and data driven method for reconstruction of structural defects. Ultrasonic guided wave technology has played a significant role in the field of non destructive testing as it employs acoustic waves that have advantages of high propagation efficiency and low energy consumption during the inspect process. However, theoretical solutions to guided wave scattering problems using assumptions such as Born approximation, have led to the poor quality of the reconstructed results. To address this issue, a novel approach to quantitative reconstruction of defects using the integration of data driven method with the guided wave scattering analysis has been proposed in this paper. Based on the geometrical information of defects and initial results by the theoretical analysis of defect reconstructions, a deep learning neural network model is built to reveal the physical relationship between defects and the received signals. This data driven model is then applied to quantitatively assess and characterize defect profiles in structures, reduce the inaccuracy of the theoretical modelling and eliminate the impact of noise pollution in the process of inspection. To demonstrate advantages of the developed approach to reconstructions of defects with complex profiles, numerical examples including basic defect profiles and a defect with the noisy fringe have been examined. Results show that this approach has greater accuracy for reconstruction of defects in structures as compared with the analytical method and provides a valuable insight into the development of artificial intelligence assisted inspection systems with high accuracy and efficiency in the field of non destructive testing.


An Epistemic Approach to the Formal Specification of Statistical Machine Learning. We propose an epistemic approach to formalizing statistical properties of machine learning. Specifically, we introduce a formal model for supervised learning based on a Kripke model where each possible world corresponds to a possible dataset and modal operators are interpreted as transformation and testing on datasets. Then we formalize various notions of the classification performance, robustness, and fairness of statistical classifiers by using our extension of statistical epistemic logic (StatEL). In this formalization, we show relationships among properties of classifiers, and relevance between classification performance and robustness. As far as we know, this is the first work that uses epistemic models and logical formulas to express statistical properties of machine learning, and would be a starting point to develop theories of formal specification of machine learning.


MonoRec Semi Supervised Dense Reconstruction in Dynamic Environments from a Single Moving Camera. In this paper, we propose MonoRec, a semi supervised monocular dense reconstruction architecture that predicts depth maps from a single moving camera in dynamic environments. MonoRec is based on a multi view stereo setting which encodes the information of multiple consecutive images in a cost volume. To deal with dynamic objects in the scene, we introduce a MaskModule that predicts moving object masks by leveraging the photometric inconsistencies encoded in the cost volumes. Unlike other multi view stereo methods, MonoRec is able to reconstruct both static and moving objects by leveraging the predicted masks. Furthermore, we present a novel multi stage training scheme with a semi supervised loss formulation that does not require LiDAR depth values. We carefully evaluate MonoRec on the KITTI dataset and show that it achieves state of the art performance compared to both multi view and single view methods. With the model trained on KITTI, we further demonstrate that MonoRec is able to generalize well to both the Oxford RobotCar dataset and the more challenging TUM Mono dataset recorded by a handheld camera. Code and related materials will be available at https vision.in.tum.de research monorec.


Generative Adversarial Data Programming. The paucity of large curated hand labeled training data forms a major bottleneck in the deployment of machine learning models in computer vision and other fields. Recent work (Data Programming) has shown how distant supervision signals in the form of labeling functions can be used to obtain labels for given data in near constant time. In this work, we present Adversarial Data Programming (ADP), which presents an adversarial methodology to generate data as well as a curated aggregated label, given a set of weak labeling functions. More interestingly, such labeling functions are often easily generalizable, thus allowing our framework to be extended to different setups, including self supervised labeled image generation, zero shot text to labeled image generation, transfer learning, and multi task learning.


Distributed Bayesian Matrix Decomposition for Big Data Mining and Clustering. Matrix decomposition is one of the fundamental tools to discover knowledge from big data generated by modern applications. However, it is still inefficient or infeasible to process very big data using such a method in a single machine. Moreover, big data are often distributedly collected and stored on different machines. Thus, such data generally bear strong heterogeneous noise. It is essential and useful to develop distributed matrix decomposition for big data analytics. Such a method should scale up well, model the heterogeneous noise, and address the communication issue in a distributed system. To this end, we propose a distributed Bayesian matrix decomposition model (DBMD) for big data mining and clustering. Specifically, we adopt three strategies to implement the distributed computing including 1) the accelerated gradient descent, 2) the alternating direction method of multipliers (ADMM), and 3) the statistical inference. We investigate the theoretical convergence behaviors of these algorithms. To address the heterogeneity of the noise, we propose an optimal plug in weighted average that reduces the variance of the estimation. Synthetic experiments validate our theoretical results, and real world experiments show that our algorithms scale up well to big data and achieves superior or competing performance compared to other distributed methods.


Graphene epsilon near zero plasmonic crystals. Plasmonic crystals are a class of optical metamaterials that consist of engineered structures at the sub wavelength scale. They exhibit optical properties that are not found under normal circumstances in nature, such as negative refractive index and epsilon near zero (ENZ) behavior. Graphene based plasmonic crystals present linear, elliptical, or hyperbolic dispersion relations that exhibit ENZ behavior, normal or negative index diffraction. The optical properties can be dynamically tuned by controlling the operating frequency and the doping level of graphene. We propose a construction approach to expand the frequency range of the ENZ behavior. We demonstrate how the combination of a host material with an optical Lorentzian response in combination with a graphene conductivity that follows a Drude model leads to an ENZ condition spanning a large frequency range.


Smart Grid A Survey of Architectural Elements, Machine Learning and Deep Learning Applications and Future Directions. The Smart grid (SG), generally known as the next generation power grid emerged as a replacement for ill suited power systems in the 21st century. It is in tegrated with advanced communication and computing capabilities, thus it is ex pected to enhance the reliability and the efficiency of energy distribution with minimum effects. With the massive infrastructure it holds and the underlying communication network in the system, it introduced a large volume of data that demands various techniques for proper analysis and decision making. Big data analytics, machine learning (ML), and deep learning (DL) plays a key role when it comes to the analysis of this massive amount of data and generation of valuable insights. This paper explores and surveys the Smart grid architectural elements, machine learning, and deep learning based applications and approaches in the context of the Smart grid. In addition in terms of machine learning based data an alytics, this paper highlights the limitations of the current research and highlights future directions as well.


Designing for Emergent Security in Heterogeneous Human Machine Teams. This work seeks to design decisionmaking rules for autonomous agents to jointly influence and optimize the behavior of teamed human decisionmakers in the presence of an adversary. We study a situation in which computational jobs are scheduled on servers by a collection of autonomous machines in concert with self interested human decisionmakers, and the human and machine schedulers must react to an adversary's attack on one of the servers. We show a simple machine scheduling policy such that if all schedulers have permission to schedule jobs on all servers, increasing the penetration of machine schedulers always increases the level of security in the system, even when the machine schedulers have no explicit coordination or communication amongst themselves. However, we show a companion result in which simple constraints on server availability can nullify the machine schedulers' ability to effectively influence human schedulers here, even if machine schedulers control an overwhelming majority of jobs, are socially aware, and fully coordinated amongst themselves, they are incapable of influencing human decisionmakers to mitigate the harm of an attack.


The complete bipartite graph K 4,4 is Uniformly Most Reliable. In network design, the all terminal reliability maximization is of paramount importance. In this classical setting, we assume a simple graph with perfect nodes but independent edge failures with identical probability rho . The goal is to communicate n terminals using e edges, in such a way that the connectedness probability of the resulting random graph is maximum. A graph with n nodes and e edges that meets the maximum reliability property for all rho in (0,1) is called uniformly most reliable (n, e) graph (UMRG). The discovery of these graphs is a challenging problem that involves an interplay between extremal graph theory and computational optimization. Recent works confirm the existence of special cubic UMRGs, such as Wagner, Petersen and Yutsis graphs, and a 4 regular graph H overline C 7 . In a foundational work in the field, Boesch. et. al. state with no proof that the bipartite complete graph K 4,4 is UMRG. In this paper, we revisit the breakthroughs in the theory of UMRG. A simple methodology to determine UMRGs based on counting trivial cuts is presented. Finally, we test this methodology to mathematically prove that the complete bipartite graph K 4,4 is UMRG.


Majorization Minimization Methods for Distributed Pose Graph Optimization with Convergence Guarantees. In this paper, we consider the problem of distributed pose graph optimization (PGO) that has extensive applications in multi robot simultaneous localization and mapping (SLAM). We propose majorization minimization methods to distributed PGO and show that our proposed methods are guaranteed to converge to first order critical points under mild conditions. Furthermore, since our proposed methods rely a proximal operator of distributed PGO, the convergence rate can be significantly accelerated with Nesterov's method, and more importantly, the acceleration induces no compromise of theoretical guarantees. In addition, we also present accelerated majorization minimization methods to the distributed chordal initialization that have a quadratic convergence, which can be used to compute an initial guess for distributed PGO. The efficacy of this work is validated through applications on a number of 2D and 3D SLAM datasets and comparisons with existing state of the art methods, which indicates that our proposed methods have faster convergence and result in better solutions to distributed PGO.


Variational phase field continuum model uncovers adhesive wear mechanisms in asperity junctions. Wear is well known for causing material loss in a sliding interface. Available macroscopic approaches are bound to empirical fitting parameters, which range several orders of magnitude. Major advances in tribology have recently been achieved via Molecular Dynamics, although its use is strongly limited by computational cost. Here, we propose a study of the physical processes that lead to wear at the scale of the surface roughness, where adhesive junctions are formed between the asperities on the surface of the materials. Using a brittle formulation of the variational phase field approach to fracture, we demonstrate that the failure mechanisms of an adhesive junction can be linked to its geometry. By imposing specific couplings between the damage and the elastic energy, we further investigate the triggering processes underlying each failure mechanism. We show that a large debris formation is mostly triggered by tensile stresses while shear stresses lead to small or no particle formation. We also study groups of junctions and discuss how microcontact interactions can be favored in some geometries to form macro particles. This leads us to propose a classification in terms of macroscopic wear rate. Although based on a continuum approach, our phase field calculations are able to effectively capture the failure of adhesive junctions, as observed through discrete Molecular Dynamics simulations.


Schiffer variations and the generic Torelli theorem for hypersurfaces. We show how to recover a general hypersurface in mathbb P n of sufficiently large degree d dividing n 1 , from its finite order variation of Hodge structure. We also analyze the two other series of cases not covered by Donagi's generic Torelli theorem. Combined with Donagi's theorem, this shows that the generic Torelli theorem for hypersurfaces holds with finitely many exceptions.


Some identities of type 2 Degenerate Bernoulli polynomials of the second kind. I recent years, many mathematicians studied various degenerate version of some spcial polynomials of which quite a few interesting results were discovered. In this paper, we introduce the type 2 degenerate Bernoulli polynomials of the second kind and their higher order analogues, and study some identities and expressions for these polynomials. Specially, we obtain a relation between the type 2 degenerate Bernoulli polynomials of the second kind and degenerate Bernoulli polynomials of the second kind, and identity involving hihger order analogues of those polynomials and the degenerate stirling number of the second kin, and and expression of higher order analogues of those polynomials in terms of the higher order type 2 degenerate Bernoulli polynomials and the degenerate stirling number of the first kind.


Detection of Adversarial Supports in Few shot Classifiers Using Self Similarity and Filtering. Few shot classifiers excel under limited training samples, making them useful in applications with sparsely user provided labels. Their unique relative prediction setup offers opportunities for novel attacks, such as targeting support sets required to categorise unseen test samples, which are not available in other machine learning setups. In this work, we propose a detection strategy to identify adversarial support sets, aimed at destroying the understanding of a few shot classifier for a certain class. We achieve this by introducing the concept of self similarity of a support set and by employing filtering of supports. Our method is attack agnostic, and we are the first to explore adversarial detection for support sets of few shot classifiers to the best of our knowledge. Our evaluation of the miniImagenet (MI) and CUB datasets exhibits good attack detection performance despite conceptual simplicity, showing high AUROC scores. We show that self similarity and filtering for adversarial detection can be paired with other filtering functions, constituting a generalisable concept.


Geometric local varepsilon factors in higher dimensions. We use former results on geometric local varepsilon factors over curves in order to prove a factorization result for the determinant of the cohomology of an ell adic sheaf over an arbitrary proper scheme over a perfect field of positive characteristic p distinct from ell . The local contributions are constructed by iterating vanishing cycle functors as well as certain "refined Artin conductors", the latter being exact additive functors which can be considered as linearized versions of Artin conductors and local varepsilon factors. We provide several applications of our higher dimensional product formula, such as twist formulas for global varepsilon factors.


Long Range Neural Navigation Policies for the Real World. Learned Neural Network based policies have shown promising results for robot navigation. However, most of these approaches fall short of being used on a real robot due to the extensive simulated training they require. These simulations lack the visuals and dynamics of the real world, which makes it infeasible to deploy on a real robot. We present a novel Neural Net based policy, NavNet, which allows for easy deployment on a real robot. It consists of two sub policies a high level policy which can understand real images and perform long range planning expressed in high level commands a low level policy that can translate the long range plan into low level commands on a specific platform in a safe and robust manner. For every new deployment, the high level policy is trained on an easily obtainable scan of the environment modeling its visuals and layout. We detail the design of such an environment and how one can use it for training a final navigation policy. Further, we demonstrate a learned low level policy. We deploy the model in a large office building and test it extensively, achieving 0.80 success rate over long navigation runs and outperforming SLAM based models in the same settings.


The Moduli Space of smooth Ample Hypersurfaces in Abelian Varieties. We give a characterizaton of smooth ample Hypersurfaces in Abelian Varieties and also describe an irreducible connected component of their moduli space it consists of the Hypersurfaces of a given polarization type, plus the iterated univariate coverings of normal type (of the same polarization type). The above manifolds yield also a connected component of the open set of Teichm "uller space consisting of K "ahler complex structures.


The number of models of a fixed Scott rank, for a counterexample to the analytic Vaught conjecture. We show that if gamma in omega cup aleph 0 and mathcal A is a counterexample to the analytic Vaught conjecture having exactly gamma many models of Scott rank omega 1 , then there exists a club C subseteq omega 1 such that mathcal A has exactly gamma many models of Scott rank alpha , for each alpha in C .


Simulation based optimization of a multilayer 10B RPC thermal neutron detector. A Monte Carlo simulation based optimization of a multilayer 10B RPC thermal neutron detector is performed targeting an increase in the counting rate capability while maintaining high ( 50 ) detection efficiency for thermal neutrons. The converter layer thicknesses of individual RPCs are optimized for several configurations of a detector containing a stack of 10 double gap RPCs. The results suggest that it is possible to reach a counting rate which is by a factor of eight higher in comparison to the rate of a detector with only one double gap RPC. The effect of neutron scattering inside the detector contributing to the background is analyzed and design modifications of the first detector prototype, tested at neutron beam, are suggested.


A local global principle for linear dependence in enveloping algebras of Lie algebras. For every associative algebra A and every class mathcal C of representations of A the following question (related to nullstellensatz) makes sense Characterize all tuples of elements a 1, ldots,a n in A such that vectors pi(a 1)v, ldots, pi(a n)v are linearly dependent for every pi in mathcal C and every v from the representation space of pi . We answer this question in the following cases (1) A U(L) is the enveloping algebra of a finite dimensional complex Lie algebra L and mathbb C is the class of all finite dimensional representations of A . (2) A U( mathfrak sl 2( mathbb C )) and mathbb C is the class of all finite dimensional irreducible representations of A . (3) A U( mathfrak sl 3( mathbb C )) and mathbb C is the class of all finite dimensional irreducible representations of A with sufficiently high weights. In case (1) the answer is tuples that are linearly dependent over mathbb C while in cases (2) and (3) the answer is tuples that are linearly dependent over the center of A . Similar results have been proved before for free algebras and Weyl algebras.


On Throughput of Compressive Random Access for One Short Message Delivery in IoT. In this paper, we study compressive random access (CRA) with two stages for machine type communication (MTC) in cellular Internet of Things (IoT). In particular, we consider the case that each user (IoT device or sensor) has only one short message (of the same length) when it is activated to send data in IoT applications. Two different CRA based random access schemes are discussed (one is conventional and the other is new based on a simplified handshaking process). Based on the throughput analysis, we show that the CRA based random access scheme with simplified handshaking process can outperform as its length of payload is adaptively decided depending on the number of active users. Simulation results confirm that the derived throughput expressions agree with them and can be used to design a random access system for MTC with each active device or sensor that has one short message.


High order difference schemes using the Local Anisotropic Basis Function Method. Mesh free methods have significant potential for simulations in complex geometries, as the time consuming process of mesh generation is avoided. Smoothed Particle Hydrodynamics (SPH) is the most widely used mesh free method, but suffers from a lack of consistency. High order, consistent, and local (using compact computational stencils) mesh free methods are particularly desirable. Here we present a novel framework for generating local high order difference operators for arbitrary node distributions, referred to as the Local Anisotropic Basis Function Method (LABFM). Weights are constructed from linear sums of anisotropic basis functions (ABFs), chosen to ensure exact reproduction of polynomial fields up to a given order. The ABFs are based on a fundamental Radial Basis Function (RBF), and the choice of fundamental RBF has small effect on accuracy, but influences stability. LABFM is able to generate high order difference operators with compact computational stencils (4th order with 25 nodes, 8th order with 60 nodes in two dimensions). At domain boundaries (with incomplete support) LABFM automatically provides one sided differences of the same order as the internal scheme, up to 4th order. We use the method to solve elliptic, parabolic and mixed hyperbolic parabolic PDEs, showing up to 8th order convergence. The inclusion of hyperviscosity is straightforward, and can effectively provide stability when solving hyperbolic problems. LABFM is a promising new mesh free method for the numerical solution of PDEs in complex geometries. The method is highly scalable, and for Eulerian schemes, the computational efficiency is competitive with RBF FD for a given accuracy. A particularly attractive feature is that in the low order limit, LABFM collapses to SPH, and there is potential for Arbitrary Lagrangian Eulerian schemes with natural adaptivity of resolution and accuracy.


Incremental Learning via Rate Reduction. Current deep learning architectures suffer from catastrophic forgetting, a failure to retain knowledge of previously learned classes when incrementally trained on new classes. The fundamental roadblock faced by deep learning methods is that deep learning models are optimized as "black boxes," making it difficult to properly adjust the model parameters to preserve knowledge about previously seen data. To overcome the problem of catastrophic forgetting, we propose utilizing an alternative "white box" architecture derived from the principle of rate reduction, where each layer of the network is explicitly computed without back propagation. Under this paradigm, we demonstrate that, given a pre trained network and new data classes, our approach can provably construct a new network that emulates joint training with all past and new classes. Finally, our experiments show that our proposed learning algorithm observes significantly less decay in classification performance, outperforming state of the art methods on MNIST and CIFAR 10 by a large margin and justifying the use of "white box" algorithms for incremental learning even for sufficiently complex image data.


Entropic Dynamic Time Warping Kernels for Co evolving Financial Time Series Analysis. In this work, we develop a novel framework to measure the similarity between dynamic financial networks, i.e., time varying financial networks. Particularly, we explore whether the proposed similarity measure can be employed to understand the structural evolution of the financial networks with time. For a set of time varying financial networks with each vertex representing the individual time series of a different stock and each edge between a pair of time series representing the absolute value of their Pearson correlation, our start point is to compute the commute time matrix associated with the weighted adjacency matrix of the network structures, where each element of the matrix can be seen as the enhanced correlation value between pairwise stocks. For each network, we show how the commute time matrix allows us to identify a reliable set of dominant correlated time series as well as an associated dominant probability distribution of the stock belonging to this set. Furthermore, we represent each original network as a discrete dominant Shannon entropy time series computed from the dominant probability distribution. With the dominant entropy time series for each pair of financial networks to hand, we develop a similarity measure based on the classical dynamic time warping framework, for analyzing the financial time varying networks. We show that the proposed similarity measure is positive definite and thus corresponds to a kernel measure on graphs. The proposed kernel bridges the gap between graph kernels and the classical dynamic time warping framework for multiple financial time series analysis. Experiments on time varying networks extracted through New York Stock Exchange (NYSE) database demonstrate the effectiveness of the proposed approach.


The order of the product of two elements in finite nilpotent groups. An old problem in group theory is that of describing how the order of an element behaves under multiplication. To generalize some classical bounds concerning the order mathrm o(ab) of two elements a, b in a finite abelian group to the non commutative case, we replace mathrm o(ab) with a notion of mutual order mathrm o(a, b) , defined as the least positive integer n such that a nb n 1 . Motivated by this, we then compare mathrm o(ab) and mathrm o(a, b) in finite nilpotent groups, and show that in a group of class gamma , the ratio mathrm o(ab) mathrm o(a, b) lies in some fixed finite set S( gamma) subset mathbb Q , whose elements do not involve prime factors exceeding gamma . In particular, we generalize a result of P. Hall, which asserts that mathrm o(ab) mathrm o(a, b) in p groups with p gamma . We end with a more detailed analysis for groups of class 2, which allows one to give a more explicit description of mathrm o(ab) mathrm o(a, b) .


A Unified Model for Gate Level Propagation Analysis. Classic hardware verification techniques (e.g., X propagation and fault propagation) and more recent hardware security verification techniques based on information flow tracking (IFT) aim to understand how information passes, affects, and otherwise modifies a circuit. These techniques all have separate usage scenarios, but when dissected into their core functionality, they relate in a fundamental manner. In this paper, we develop a common framework for gate level propagation analysis. We use our model to generate synthesizable propagation logic to use in standard EDA tools. To justify our model, we prove that Precise Hardware IFT is equivalent to gate level X propagation and imprecise fault propagation. We also show that the difference between Precise Hardware IFT and fault propagation is not significant for 74X series and '85 ISCAS benchmarks with more than 313 gates and the difference between imprecise hardware IFT and Precise Hardware IFT is almost always significant regardless of size.


Tracking as A Whole Multi Target Tracking by Modeling Group Behavior with Sequential Detection. Video based vehicle detection and tracking is one of the most important components for Intelligent Transportation Systems (ITS). When it comes to road junctions, the problem becomes even more difficult due to the occlusions and complex interactions among vehicles. In order to get a precise detection and tracking result, in this work we propose a novel tracking by detection framework. In the detection stage, we present a sequential detection model to deal with serious occlusions. In the tracking stage, we model group behavior to treat complex interactions with overlaps and ambiguities. The main contributions of this paper are twofold 1) Shape prior is exploited in the sequential detection model to tackle occlusions in crowded scene. 2) Traffic force is defined in the traffic scene to model group behavior, and it can assist to handle complex interactions among vehicles. We evaluate the proposed approach on real surveillance videos at road junctions and the performance has demonstrated the effectiveness of our method.


Multiscale Proper Orthogonal Decomposition (mPOD) of TR PIV data a Case Study on Stationary and Transient Cylinder Wake Flows. Data driven decompositions of Particle Image Velocimetry (PIV) measurements are widely used for a variety of purposes, including the detection of coherent features (e.g., vortical structures), filtering operations (e.g., outlier removal or random noise mitigation), data reduction and compression. This work presents the application of a novel decomposition method, referred to as Multiscale Proper Orthogonal Decomposition ( Mendez J Fluid Mech 870 988 1036, 2019) to Time Resolved PIV (TR PIV) measurement. This method combines Multiresolution Analysis (MRA) and standard Proper Orthogonal Decomposition (POD) to achieve a compromise between decomposition convergence and spectral purity of the resulting modes. The selected test case is the flow past a cylinder in both stationary and transient conditions, producing a frequency varying Karman vortex street. The results of the mPOD are compared to the standard POD, the Discrete Fourier Transform (DFT) and the Dynamic Mode Decomposition (DMD). The mPOD is evaluated in terms of decomposition convergence and time frequency localization of its modes. The multiscale modal analysis allows for revealing beat phenomena in the stationary cylinder wake, due to the three dimensional nature of the flow, and to correctly identify the transition from various stationary regimes in the transient test case.


The Ubiqus English Inuktitut System for WMT20. This paper describes Ubiqus' submission to the WMT20 English Inuktitut shared news translation task. Our main system, and only submission, is based on a multilingual approach, jointly training a Transformer model on several agglutinative languages. The English Inuktitut translation task is challenging at every step, from data selection, preparation and tokenization to quality evaluation down the line. Difficulties emerge both because of the peculiarities of the Inuktitut language as well as the low resource context.