Combinatorics of criniferous entire maps with escaping critical values. A transcendental entire function is called criniferous if every point in its escaping set can eventually be connected to infinity by a curve of escaping points. Many transcendental entire functions with bounded singular set have this property, and this class has recently attracted much attention in complex dynamics. In the presence of escaping critical values, these curves break or split at (preimages of) critical points. In this paper, we develop combinatorial tools that allow us to provide a complete description of the escaping set of any criniferous function without asymptotic values on its Julia set. In particular, our description precisely reflects the splitting phenomenon. This combinatorial structure provides the foundation for further study of this class of functions. For example, we use these results in arXiv 1905.03778 to give the first full description of the topological dynamics of a class of transcendental entire maps with unbounded postsingular set.


Melanoma detection with electrical impedance spectroscopy and dermoscopy using joint deep learning models. The initial assessment of skin lesions is typically based on dermoscopic images. As this is a difficult and time consuming task, machine learning methods using dermoscopic images have been proposed to assist human experts. Other approaches have studied electrical impedance spectroscopy (EIS) as a basis for clinical decision support systems. Both methods represent different ways of measuring skin lesion properties as dermoscopy relies on visible light and EIS uses electric currents. Thus, the two methods might carry complementary features for lesion classification. Therefore, we propose joint deep learning models considering both EIS and dermoscopy for melanoma detection. For this purpose, we first study machine learning methods for EIS that incorporate domain knowledge and previously used heuristics into the design process. As a result, we propose a recurrent model with state max pooling which automatically learns the relevance of different EIS measurements. Second, we combine this new model with different convolutional neural networks that process dermoscopic images. We study ensembling approaches and also propose a cross attention module guiding information exchange between the EIS and dermoscopy model. In general, combinations of EIS and dermoscopy clearly outperform models that only use either EIS or dermoscopy. We show that our attention based, combined model outperforms other models with specificities of 34.4 (CI 31.3 38.4), 34.7 (CI 31.0 38.8) and 53.7 (CI 50.1 57.6) for dermoscopy, EIS and the combined model, respectively, at a clinically relevant sensitivity of 98 .


A Hoeffding's inequality for uniformly ergodic diffusion process. In this note, we present a version of Hoeffding's inequality in a continuous time setting, where the data stream comes from a uniformly ergodic diffusion process. Similar to the well studied case of Hoeffding's inequality for discrete time uniformly ergodic Markov chain, the proof relies on techniques ranging from martingale theory to classical Hoeffding's lemma as well as the notion of deviation kernel of diffusion process. We present two examples to illustrate our results. In the first example we consider large deviation probability on the occupation time of the Jacobi diffusion, a popular process used in modelling of exchange rates in mathematical finance, while in the second example we look at the exponential functional of a finite interval analogue of the Ornstein Uhlenbeck process introduced by Kessler and S o rensen (1999).


A kinetic traffic network model and its macroscopic limit diverging lanes. In this paper we propose coupling conditions for a kinetic two velocity model for vehicular traffic for junctions with diverging lanes. We consider cases with and without directional preferences and present corresponding kinetic coupling conditions. From this kinetic network model coupling conditions for a macroscopic traffic model are derived. We use an analysis of the layer equations at the junction in combination with a suitable matching procedure with half Riemann problems for the macroscopic model. In this way classical coupling conditions for scalar conservation laws for traffic flow on networks are derived from an underlying network problem.


Infant ID Fingerprints for Global Good. In many of the least developed and developing countries, a multitude of infants continue to suffer and die from vaccine preventable diseases and malnutrition. Lamentably, the lack of official identification documentation makes it exceedingly difficult to track which infants have been vaccinated and which infants have received nutritional supplements. Answering these questions could prevent this infant suffering and premature death around the world. To that end, we propose Infant Prints, an end to end, low cost, infant fingerprint recognition system. Infant Prints is comprised of our (i) custom built, compact, low cost (85 USD), high resolution (1,900 ppi), ergonomic fingerprint reader, and (ii) high resolution infant fingerprint matcher. To evaluate the efficacy of Infant Prints, we collected a longitudinal infant fingerprint database captured in 4 different sessions over a 12 month time span (December 2018 to January 2020), from 315 infants at the Saran Ashram Hospital, a charitable hospital in Dayalbagh, Agra, India. Our experimental results demonstrate, for the first time, that Infant Prints can deliver accurate and reliable recognition (over time) of infants enrolled between the ages of 2 3 months, in time for effective delivery of vaccinations, healthcare, and nutritional supplements (TAR 95.2 FAR 1.0 for infants aged 8 16 weeks at enrollment and authenticated 3 months later).


The 0 concordance monoid is infinitely generated. Under the relation of 0 concordance, the set of knotted 2 spheres in S 4 forms a commutative monoid mathcal M 0 with the operation of connected sum. Sunukjian has recently shown that mathcal M 0 contains a submonoid isomorphic to mathbb Z ge 0 . In this note, we show that mathcal M 0 contains a submonoid isomorphic to ( mathbb Z ge 0 ) infty . Our argument relates the 0 concordance monoid to linear independence of certain Seifert solids in the (spin) rational homology cobordism group.


Mitigating Vulnerabilities of Voltage based Intrusion Detection Systems in Controller Area Networks. Data for controlling a vehicle is exchanged among Electronic Control Units (ECUs) via in vehicle network protocols such as the Controller Area Network (CAN) protocol. Since these protocols are designed for an isolated network, the protocols do not encrypt data nor authenticate messages. Intrusion Detection Systems (IDSs) are developed to secure the CAN protocol by detecting abnormal deviations in physical properties. For instance, a voltage based IDS (VIDS) exploits voltage characteristics of each ECU to detect an intrusion. An ECU with VIDS must be connected to the CAN bus using extra wires to measure voltages of the CAN bus lines. These extra wires, however, may introduce new attack surfaces to the CAN bus if the ECU with VIDS is compromised. We investigate new vulnerabilities of VIDS and demonstrate that an adversary may damage an ECU with VIDS, block message transmission, and force an ECU to retransmit messages. In order to defend the CAN bus against these attacks, we propose two hardware based Intrusion Response Systems (IRSs) that disconnect the compromised ECU from the CAN bus once these attacks are detected. We develop four voltage based attacks by exploiting vulnerabilities of VIDS and evaluate the effectiveness of the proposed IRSs using a CAN bus testbed.


Measurable versions of Vizing's theorem. We establish two versions of Vizing's theorem for Borel multi graphs whose vertex degrees and edge multiplicities are uniformly bounded by respectively Delta and pi . The approximate'' version states that, for any Borel probability measure on the edge set and any epsilon 0 , we can properly colour all but epsilon fraction of edges with Delta pi colours in a Borel way. The measurable'' version, which is our main result, states that if, additionally, the measure is invariant, then there is a measurable proper edge colouring of the whole edge set with at most Delta pi colours.


Commuting probability and simultaneous conjugacy classes of commuting tuples in a group. Let G be a finite group. This expository article explores the subject of commuting probability in the group G and its relation with simultaneous conjugacy classes of commuting tuples in G . We also point out the relevance of this topic in context of topology where similar problems are studied when G is a Lie group.


An endpoint estimate for the commutators of singular integral operators with rough kernels. Let Omega be homogeneous of degree zero and have mean value zero on the unit sphere S d 1 , T Omega be the homogeneous singular integral operator with kernel frac Omega(x) x d and T Omega, ,b be the commutator of T Omega with symbol b . In this paper, we prove that if Omega in L( log L) 2(S d 1 ) , then for b in rm BMO ( mathbb R d) , T Omega, ,b satisfies an endpoint estimate of L log L type.


Resilient Coverage Exploring the Local to Global Trade off. We propose a centralized control framework to select suitable robots from a heterogeneous pool and place them at appropriate locations to monitor a region for events of interest. In the event of a robot failure, the framework repositions robots in a user defined local neighborhood of the failed robot to compensate for the coverage loss. The central controller augments the team with additional robots from the robot pool when simply repositioning robots fails to attain a user specified level of desired coverage. The size of the local neighborhood around the failed robot and the desired coverage over the region are two objectives that can be manipulated to achieve a user specified balance. We investigate the trade off between the coverage compensation achieved through local repositioning and the computation required to plan the new robot locations. We also study the relationship between the size of the local neighborhood and the number of additional robots added to the team for a given user specified level of desired coverage. We use extensive simulations and an experiment with a team of seven quadrotors to verify the effectiveness of our framework. Additionally, we show that to reach a high level of coverage in a neighborhood with a large robot population, it is more efficient to enlarge the neighborhood size, instead of adding additional robots and repositioning them.


An extension of Furstenberg's theorem of the infinitude of primes. The usual product m cdot n on mathbb Z can be viewed as the sum of n terms of an arithmetic progression whose first term is a 1 m n 1 and whose difference is d 2 . Generalizing this idea, we define new similar product mappings, and we consider new arithmetics that enable us to extend Furstenberg's theorem of the infinitude of primes. We also review the classic conjectures in the new arithmetics. Finally, we make important extensions of the main idea. We see that given any integer sequence, the approach generates an arithmetic on integers.


Reconfigurable Lattice Agreement and Applications. Reconfiguration is one of the central mechanisms in distributed systems. Due to failures and connectivity disruptions, the very set of service replicas (or servers) and their roles in the computation may have to be reconfigured over time. To provide the desired level of consistency and availability to applications running on top of these servers, the clients of the service should be able to reach some form of agreement on the system configuration. We observe that this agreement is naturally captured via a lattice partial order on the system states. We propose an asynchronous implementation of reconfigurable lattice agreement that implies elegant reconfigurable versions of a large class of lattice abstract data types, such as max registers and conflict detectors, as well as popular distributed programming abstractions, such as atomic snapshot and commit adopt.


The fast and the slow axonal transport a unified approach based on cargo and molecular motors coupled dynamics. The origins of the large differences observed to the rates with which the diverse particles are conveyed along axonal microtubules are still a matter of debate in the literature. There is evidence that certain neurodegenerative diseases may be triggered by disturbances to the related transport processes. Motivated by this, we employ a model to investigate the mobility properties of certain cargoes which dynamics are coupled with that of molecular motors on crowded microtubules. For certain initial and boundary conditions, we use the method of characteristics to resolve perturbatively the pair of equations of the Burgers type resulting from a mean field approach to the original microscopic stochastic model. Extensions to the non perturbative limits are explored numerically. In this context, we were able to figure out conditions under which cargos average velocities may differ up to orders of magnitude just by changing the number of motors on the considered track. We then discuss possibilities to connect these theoretical predictions with available experimental data about axon transport.


Mesh quality preserving shape optimization using nonlinear extension operators. In this article, we propose a shape optimization algorithm which is able to handle large deformations while maintaining a high level of mesh quality. Based on the method of mappings we introduce a nonlinear extension operator, which links a boundary control to domain deformations, ensuring admissibility of resulting shapes. The major focus is on comparisons between well established approaches involving linear elliptic operators for the extension and the effect of additional nonlinear advection on the set of reachable shapes. It is moreover discussed how the computational complexity of the proposed algorithm can be reduced. The benefit of the nonlinearity in the extension operator is substantiated by several numerical test cases of stationary, incompressible Navier Stokes flows in 2d and 3d.


Interior Schauder estimates for elliptic equations associated with L 'evy operators. We study the local regularity of solutions f to the integro differential equation Af g quad text in U associated with the infinitesimal generator A of a L 'evy process (X t) t geq 0 . Under the assumption that the transition density of (X t) t geq 0 satisfies a certain gradient estimate, we establish interior Schauder estimates for both pointwise and weak solutions f . Our results apply for a wide class of L 'evy generators, including generators of stable L 'evy processes and subordinated Brownian motions.


Potential automorphy of mathrm GSpin 2n 1 valued Galois representations. We prove a potentially automorphy theorem for suitable Galois representations Gamma F to mathrm GSpin 2n 1 ( overline mathbb F p) and Gamma F to mathrm GSpin 2n 1 ( overline mathbb Q p) , where Gamma F is the absolute Galois group of a totally real field F . We also prove results on solvable descent for mathrm GSp 2n ( mathbb A F ) and use these to put representations Gamma F to mathrm GSpin 2n 1 ( overline mathbb Q p) into compatible systems of mathrm GSpin 2n 1 ( overline mathbb Q ell ) valued representations.


Constrained Concealment Attacks against Reconstruction based Anomaly Detectors in Industrial Control Systems. Recently, reconstruction based anomaly detection was proposed as an effective technique to detect attacks in dynamic industrial control networks. Unlike classical network anomaly detectors that observe the network traffic, reconstruction based detectors operate on the measured sensor data, leveraging physical process models learned a priori. In this work, we investigate different approaches to evade prior work reconstruction based anomaly detectors by manipulating sensor data so that the attack is concealed. We find that replay attacks (commonly assumed to be very strong) show bad performance (i.e., increasing the number of alarms) if the attacker is constrained to manipulate less than 95 of all features in the system, as hidden correlations between the features are not replicated well. To address this, we propose two novel attacks that manipulate a subset of the sensor readings, leveraging learned physical constraints of the system. Our attacks feature two different attacker models A white box attacker, which uses an optimization approach with a detection oracle, and a black box attacker, which uses an autoencoder to translate anomalous data into normal data. We evaluate our implementation on two different datasets from the water distribution domain, showing that the detector's Recall drops from 0.68 to 0.12 by manipulating 4 sensors out of 82 in WADI dataset. In addition, we show that our black box attacks are transferable to different detectors They work against autoencoder , LSTM , and CNN based detectors. Finally, we implement and demonstrate our attacks on a real industrial testbed to demonstrate their feasibility in real time.


Multiple phase transitions on compact symbolic systems. Let phi X to mathbb R be a continuous potential associated with a symbolic dynamical system T X to X over a finite alphabet. Introducing a parameter beta 0 (interpreted as the inverse temperature) we study the regularity of the pressure function beta mapsto P rm top ( beta phi) on an interval alpha, infty) with alpha 0 . We say that phi has a phase transition at beta 0 if the pressure function P rm top ( beta phi) is not differentiable at beta 0 . This is equivalent to the condition that the potential beta 0 phi has two (ergodic) equilibrium states with distinct entropies. For any alpha 0 and any increasing sequence of real numbers ( beta n) contained in alpha, infty) , we construct a potential phi whose phase transitions in alpha, infty) occur precisely at the beta n 's. In particular, we obtain a potential which has a countably infinite set of phase transitions.


Augmenting Visual Place Recognition with Structural Cues. In this paper, we propose to augment image based place recognition with structural cues. Specifically, these structural cues are obtained using structure from motion, such that no additional sensors are needed for place recognition. This is achieved by augmenting the 2D convolutional neural network (CNN) typically used for image based place recognition with a 3D CNN that takes as input a voxel grid derived from the structure from motion point cloud. We evaluate different methods for fusing the 2D and 3D features and obtain best performance with global average pooling and simple concatenation. On the Oxford RobotCar dataset, the resulting descriptor exhibits superior recognition performance compared to descriptors extracted from only one of the input modalities, including state of the art image based descriptors. Especially at low descriptor dimensionalities, we outperform state of the art descriptors by up to 90 .


Small ball probabilities and a support theorem for the stochastic heat equation. We consider the following stochastic partial differential equation on t geq 0, x in 0,J , J geq 1 where we consider 0,J to be the circle with end points identified begin equation partial t mathbf u (t,x) frac 1 2 , partial x 2 mathbf u (t,x) mathbf g (t,x, mathbf u) mathbf sigma (t,x, mathbf u ) dot mathbf W (t,x) , end equation and dot mathbf W (t,x) is 2 parameter d dimensional vector valued white noise and mathbf sigma is function from mathbb R times mathbb R times mathbb R d rightarrow mathbb R d to space of symmetric d times d matrices which is Lipschitz in mathbf u . We assume that sigma is uniformly elliptic and that mathbf g is uniformly bounded. Assuming that mathbf u (0,x) equiv mathbf 0 , we prove small ball probabilities for the solution mathbf u . We also prove a support theorem for solutions, when mathbf u (0,x) is not necessarily zero.


Decidability and Synthesis of Abstract Inductive Invariants. Decidability and synthesis of inductive invariants ranging in a given domain play an important role in many software and hardware verification systems. We consider here inductive invariants belonging to an abstract domain A as defined in abstract interpretation, namely, ensuring the existence of the best approximation in A of any system property. In this setting, we study the decidability of the existence of abstract inductive invariants in A of transition systems and their corresponding algorithmic synthesis. Our model relies on some general results which relate the existence of abstract inductive invariants with least fixed points of best correct approximations in A of the transfer functions of transition systems and their completeness properties. This approach allows us to derive decidability and synthesis results for abstract inductive invariants which are applied to the well known Kildall's constant propagation and Karr's affine equalities abstract domains. Moreover, we show that a recent general algorithm for synthesizing inductive invariants in domains of logical formulae can be systematically derived from our results and generalized to a range of algorithms for computing abstract inductive invariants.


Transfer Learning with Convolutional Networks for Atmospheric Parameter Retrieval. The Infrared Atmospheric Sounding Interferometer (IASI) on board the MetOp satellite series provides important measurements for Numerical Weather Prediction (NWP). Retrieving accurate atmospheric parameters from the raw data provided by IASI is a large challenge, but necessary in order to use the data in NWP models. Statistical models performance is compromised because of the extremely high spectral dimensionality and the high number of variables to be predicted simultaneously across the atmospheric column. All this poses a challenge for selecting and studying optimal models and processing schemes. Earlier work has shown non linear models such as kernel methods and neural networks perform well on this task, but both schemes are computationally heavy on large quantities of data. Kernel methods do not scale well with the number of training data, and neural networks require setting critical hyperparameters. In this work we follow an alternative pathway we study transfer learning in convolutional neural nets (CNN s) to alleviate the retraining cost by departing from proxy solutions (either features or networks) obtained from previously trained models for related variables. We show how features extracted from the IASI data by a CNN trained to predict a physical variable can be used as inputs to another statistical method designed to predict a different physical variable at low altitude. In addition, the learned parameters can be transferred to another CNN model and obtain results equivalent to those obtained when using a CNN trained from scratch requiring only fine tuning.


Visual Object Recognition in Indoor Environments Using Topologically Persistent Features. Object recognition in unseen indoor environments remains a challenging problem for visual perception of mobile robots. In this letter, we propose the use of topologically persistent features, which rely on the objects' shape information, to address this challenge. In particular, we extract two kinds of features, namely, sparse persistence image (PI) and amplitude, by applying persistent homology to multi directional height function based filtrations of the cubical complexes representing the object segmentation maps. The features are then used to train a fully connected network for recognition. For performance evaluation, in addition to a widely used shape dataset and a benchmark indoor scenes dataset, we collect a new dataset, comprising scene images from two different environments, namely, a living room and a mock warehouse. The scenes are captured using varying camera poses under different illumination conditions and include up to five different objects from a given set of fourteen objects. On the benchmark indoor scenes dataset, sparse PI features show better recognition performance in unseen environments than the features learned using the widely used ResNetV2 56 and EfficientNet B4 models. Further, they provide slightly higher recall and accuracy values than Faster R CNN, an end to end object detection method, and its state of the art variant, Domain Adaptive Faster R CNN. The performance of our methods also remains relatively unchanged from the training environment (living room) to the unseen environment (mock warehouse) in the new dataset. In contrast, the performance of the object detection methods drops substantially. We also implement the proposed method on a real world robot to demonstrate its usefulness.


Magnetic resonance imaging of mean cell size in human breast tumors. Purpose Cell size is a fundamental characteristic of all tissues, and changes in cell size in cancer reflect tumor status and response to treatments, such as apoptosis and cell cycle arrest. Unfortunately, cell size can only be obtained by pathologic evaluation of the tumor in the current standard of care. Previous imaging approaches can be implemented on only animal MRI scanners or require relatively long acquisition times that are undesirable for clinical imaging. There is a need to develop cell size imaging for clinics. Experimental Design We propose a new method, IMPULSED (Imaging Microstructural Parameters Using Limited Spectrally Edited Diffusion) that can characterize mean cell sizes in solid tumors. We report the use of combined sequences with different gradient waveforms on human MRI and analytical equations that link DWI signals of real gradient waveforms and specific microstructural parameters such as cell size. We also describe comprehensive validations using computer simulations, cell experiments in vitro, and animal experiments in vivo and finally demonstrate applications in pre operative breast cancer patients. Results With fast acquisitions ( 7 mins), IMPULSED can provide high resolution (1.3 mm in plane) mapping of mean cell size of human tumors in vivo on currently available 3T MRI scanners. All validations suggest IMPULSED provide accurate and reliable measurements of mean cell size. Conclusion The proposed IMPULSED method can assess cell size variations in the tumor of breast cancer patients, which may have the potential to assess early response to neoadjuvant therapy.


Reusing a Pretrained Language Model on Languages with Limited Corpora for Unsupervised NMT. Using a language model (LM) pretrained on two languages with large monolingual data in order to initialize an unsupervised neural machine translation (UNMT) system yields state of the art results. When limited data is available for one language, however, this method leads to poor translations. We present an effective approach that reuses an LM that is pretrained only on the high resource language. The monolingual LM is fine tuned on both languages and is then used to initialize a UNMT model. To reuse the pretrained LM, we have to modify its predefined vocabulary, to account for the new language. We therefore propose a novel vocabulary extension method. Our approach, RE LM, outperforms a competitive cross lingual pretraining model (XLM) in English Macedonian (En Mk) and English Albanian (En Sq), yielding more than 8.3 BLEU points for all four translation directions.


Lower bounds for eigenvalues of the Steklov eigenvalue problem with variable coefficients. In this paper, using new correction to the Crouzeix Raviart finite element eigenvalue approximations, we obtain lower eigenvalue bounds for the Steklov eigenvalue problem with variable coefficients on d dimensional domains (d 2,3). In addition, we prove that the corrected eigenvalues asymptotically converge to the exact ones from below whether the eigenfunctions are singular or smooth and whether the eigenvalues are large enough or not. Further, we prove that the corrected eigenvalues still maintain the same convergence order as that of uncorrected eigenvalues. Finally, numerical experiments validate our theoretical results.


Data driven identification of the spatio temporal structure of turbulent flows by streaming Dynamic Mode Decomposition. Streaming Dynamic Mode Decomposition (sDMD) (Hemati et al., Phys. Fluids 26(2014)) is a low storage version of Dynamic Mode Decomposition (DMD) (Schmid, J. Fluid Mech. 656 (2010)), a data driven method to extract spatio temporal flow patterns. Streaming DMD avoids storing the entire data sequence in memory by approximating the dynamic modes through incremental updates with new available data. In this paper, we use sDMD to identify and extract dominant spatio temporal structures of different turbulent flows, requiring the analysis of large datasets. First, the efficiency and accuracy of sDMD are compared to the classical DMD, using a publicly available test dataset that consists of velocity field snapshots obtained by direct numerical simulation of a wake flow behind a cylinder. Streaming DMD not only reliably reproduces the most important dynamical features of the flow our calculations also highlight its advantage in terms of the required computational resources. We subsequently use sDMD to analyse three different turbulent flows that all show some degree of large scale coherence rapidly rotating Rayleigh B 'enard convection, horizontal convection and the asymptotic suction boundary layer. Structures of different frequencies and spatial extent can be clearly separated, and the prominent features of the dynamics are captured with just a few dynamic modes. In summary, we demonstrate that sDMD is a powerful tool for the identification of spatio temporal structures in a wide range of turbulent flows.


Basis independent partial matchings induced by morphisms between persistence modules. In this paper, we study how basis independent partial matchings induced by morphisms between persistence modules (also called ladder modules) can be defined. Besides, we extend the notion of basis independent partial matchings to the situation of a pair of morphisms with same target persistence module. The relation with the state of the art methods is also given. Apart form the basis independent property, another important property that makes our partial matchings different to the state of the art ones is their linearity with respect to ladder modules.


Modelling transport provision in a polycentric mega city region. The aim of this paper is to present a model of interaction between transport and land use which aims at endogenously integrates the provision of transportation infrastructure and its effects on land use, with a long term perspective (Lowry, 1964, Wegener, 2004, Levinson, 2011, Bretagnolle, 2014, Mimeur et al., 2015). LUTECIA (Land Use, Transport, Evaluation of Cooperation, Infrastructure provision and Agglomeration effects) model puts emphasis on multiscale processes of urban growth, in the context of the emergence of Mega City Regions (MCR, Hall Pain, 2006). It allows us, in this exploratory phase, to characterize via simulation the conditions of development of polycentric metropolises. Nevertheless, we argue that such approaches are all the more necessary that we are in a period of multiple transitions that classical modelling tools have difficulty to capture.


Limit theorems and ergodicity for general bootstrap random walks. Given the increments of a simple symmetric random walk (X n) n ge0 , we characterize all possible ways of recycling these increments into a simple symmetric random walk (Y n) n ge0 adapted to the filtration of (X n) n ge0 . We study the long term behavior of a suitably normalized two dimensional process ((X n,Y n)) n ge0 . In particular, we provide necessary and sufficient conditions for the process to converge to a two dimensional Brownian motion (possibly degenerate). We also discuss cases in which the limit is not Gaussian. Finally, we provide a simple necessary and sufficient condition for the ergodicity of the recycling transformation, thus generalizing results from Dubins and Smorodinsky (1992) and Fujita (2008), and solving the discrete version of the open problem of the ergodicity of the general L 'evy transformation (see Mansuy and Yor, 2006).


A review of metadata fields associated with podcast RSS feeds. Podcasts are traditionally shared through RSS feeds. As well as pointing to the audio files, RSS gives a creator a way of providing metadata about the podcast shows and episodes. We investigate how certain metadata fields associated with podcasts are currently being used and comment on their applicability to recommendations. Specifically, we find that many creators are not using the itunes type field in the expected fashion, and that using this field for recommendations might not lead to an optimal user experience. We perform similar explorations for the season number and the category associated with a podcast, and also find that the fields aren't being used in the expected fashion. Finally, we examine the notion that a single podcast show is the same as a single RSS feed. This also turns out to not be strictly true in all cases. In short, the metadata associated with many podcasts isn't always reflective of the show and should be used with caution.


Two FRT bialgebroids and their relations. We generalize the FRT construction for the quiver theoretical quantum Yang Baxter equation and obtain a left bialgebroid mathfrak A (w) . There are some relations between the left bialgebroid mathfrak A (w) and a left bialgebroid A sigma by the FRT construction for the dynamical Yang Baxter map.


Premium Access to Convolutional Neural Networks. Neural Networks (NNs) are today used for all our daily tasks for instance, in mobile phones. We here want to show how to restrict their access to privileged users. Our solution relies on a degraded implementation which can be corrected thanks to a PIN. We explain how to select a few parameters in an NN so as to maximize the gap in the accuracy between the premium and the degraded modes. We report experiments on an implementation of our proposal on a deep NN to prove its practicability.


Divide knots of maximal genus defect. We construct divide knots with arbitrary smooth four genus but topological four genus equal to one. In particular, for strongly quasipositive fibred knots, the ratio between the topological and the smooth four genus can be arbitrarily close to zero.


Behavioural Theory of Reflective Algorithms I Reflective Sequential Algorithms. We develop a behavioural theory of reflective sequential algorithms (RSAs), i.e. sequential algorithms that can modify their own behaviour. The theory comprises a set of language independent postulates defining the class of RSAs, an abstract machine model, and the proof that all RSAs are captured by this machine model. As in Gurevich's behavioural theory for sequential algorithms RSAs are sequential time, bounded parallel algorithms, where the bound depends on the algorithm only and not on the input. Different from the class of sequential algorithms every state of an RSA includes a representation of the algorithm in that state, thus enabling linguistic reflection. Bounded exploration is preserved using terms as values. The model of reflective sequential abstract state machines (rsASMs) extends sequential ASMs using extended states that include an updatable representation of the main ASM rule to be executed by the machine in that state. Updates to the representation of ASM signatures and rules are realised by means of a sophisticated tree algebra.


Grid diagrams as tools to investigate knot spaces and topoisomerase mediated simplification of DNA topology. Grid diagrams with their relatively simple mathematical formalism provide a convenient way to generate and model projections of various knots. It has been an open question whether these 2D diagrams can be used to model a complex 3D process such as the topoisomerase mediated preferential unknotting of DNA molecules. We model here topoisomerase mediated passages of double stranded DNA segments through each other using the formalism of grid diagrams. We show that this grid diagram based modelling approach captures the essence of the preferential unknotting mechanism, based on topoisomerase selectivity of hooked DNA juxtapositions as the sites of intersegmental passages. We show that grid diagram based approach provide an important, new and computationally convenient framework for investigating entanglement in biopolymers.


Dynamical generalizations of the Prime Number Theorem and disjointness of additive and multiplicative semigroup actions. We establish two ergodic theorems which have among their corollaries numerous classical results from multiplicative number theory, including the Prime Number Theorem, a theorem of Pillai Selberg, a theorem of Erd H o s Delange, the mean value theorem of Wirsing, and special cases of the mean value theorem of Hal 'asz. By building on the ideas behind our ergodic results, we recast Sarnak's M "obius disjointness conjecture in a new dynamical framework. This naturally leads to an extension of Sarnak's conjecture which focuses on the disjointness of additive and multiplicative semigroup actions. We substantiate this extension by providing proofs of several special cases thereof.


OneGAN Simultaneous Unsupervised Learning of Conditional Image Generation, Foreground Segmentation, and Fine Grained Clustering. We present a method for simultaneously learning, in an unsupervised manner, (i) a conditional image generator, (ii) foreground extraction and segmentation, (iii) clustering into a two level class hierarchy, and (iv) object removal and background completion, all done without any use of annotation. The method combines a Generative Adversarial Network and a Variational Auto Encoder, with multiple encoders, generators and discriminators, and benefits from solving all tasks at once. The input to the training scheme is a varied collection of unlabeled images from the same domain, as well as a set of background images without a foreground object. In addition, the image generator can mix the background from one image, with a foreground that is conditioned either on that of a second image or on the index of a desired cluster. The method obtains state of the art results in comparison to the literature methods, when compared to the current state of the art in each of the tasks.


Adaptive Test Allocation for Outbreak Detection and Tracking in Social Contact Networks. We present a general framework for adaptive allocation of viral tests in social contact networks. We pose and solve several complementary problems. First, we consider the design of a social sensing system whose objective is the early detection of a novel epidemic outbreak. In particular, we propose an algorithm to select a subset of individuals to be tested in order to detect the onset of an epidemic outbreak as fast as possible. We pose this problem as a hitting time probability maximization problem and use submodularity optimization techniques to derive explicit quality guarantees for the proposed solution. Second, once an epidemic outbreak has been detected, we consider the problem of adaptively distributing viral tests over time in order to maximize the information gained about the current state of the epidemic. We formalize this problem in terms of information entropy and mutual information and propose an adaptive allocation strategy with quality guarantees. For these problems, we derive analytical solutions for any stochastic compartmental epidemic model with Markovian dynamics, as well as efficient Monte Carlo based algorithms for non Markovian dynamics. Finally, we illustrate the performance of the proposed framework in numerical experiments involving a model of Covid 19 applied to a real human contact network.


Centrality in dynamic competition networks. Competition networks are formed via adversarial interactions between actors. The Dynamic Competition Hypothesis predicts that influential actors in competition networks should have a large number of common out neighbors with many other nodes. We empirically study this idea as a centrality score and find the measure predictive of importance in several real world networks including food webs, conflict networks, and voting data from Survivor.


Optimizing Information Freshness in Wireless Networks A Stochastic Geometry Approach. Optimization of information freshness in wireless networks has usually been performed based on queueing analysis that captures only the temporal traffic dynamics associated with the transmitters and receivers. However, the effect of interference, which is mainly dominated by the interferers' geographic locations, is not well understood. In this paper, we leverage a spatiotemporal model, which allows one to characterize the age of information (AoI) from a joint queueing geometry perspective, for the design of a decentralized scheduling policy that exploits local observation to make transmission decisions that minimize the AoI. To quantify the performance, we also derive accurate and tractable expressions for the peak AoI. Numerical results reveal that i) the packet arrival rate directly affects the service process due to queueing interactions, ii) the proposed scheme can adapt to traffic variations and largely reduce the peak AoI, and iii) the proposed scheme scales well as the network grows in size. This is done by adaptively adjusting the radio access probability at each transmitter to the change of the ambient environment.


Towards Understanding Neural Machine Translation with Word Importance. Although neural machine translation (NMT) has advanced the state of the art on various language pairs, the interpretability of NMT remains unsatisfactory. In this work, we propose to address this gap by focusing on understanding the input output behavior of NMT models. Specifically, we measure the word importance by attributing the NMT output to every input word through a gradient based method. We validate the approach on a couple of perturbation operations, language pairs, and model architectures, demonstrating its superiority on identifying input words with higher influence on translation performance. Encouragingly, the calculated importance can serve as indicators of input words that are under translated by NMT models. Furthermore, our analysis reveals that words of certain syntactic categories have higher importance while the categories vary across language pairs, which can inspire better design principles of NMT architectures for multi lingual translation.


Automatic joint damage quantification using computer vision and deep learning. Joint raveled or spalled damage (henceforth called joint damage) can affect the safety and long term performance of concrete pavements. It is important to assess and quantify the joint damage over time to assist in building action plans for maintenance, predicting maintenance costs, and maximize the concrete pavement service life. A framework for the accurate, autonomous, and rapid quantification of joint damage with a low cost camera is proposed using a computer vision technique with a deep learning (DL) algorithm. The DL model is employed to train 263 images of sawcuts with joint damage. The trained DL model is used for pixel wise color masking joint damage in a series of query 2D images, which are used to reconstruct a 3D image using open source structure from motion algorithm. Another damage quantification algorithm using a color threshold is applied to detect and compute the surface area of the damage in the 3D reconstructed image. The effectiveness of the framework was validated through inspecting joint damage at four transverse contraction joints in Illinois, USA, including three acceptable joints and one unacceptable joint by visual inspection. The results show the framework achieves 76 recall and 10 error.


Micromagnetics of thin films in the presence of Dzyaloshinskii Moriya interaction. In this paper, we study the thin film limit of the micromagnetic energy functional in the presence of bulk Dzyaloshinskii Moriya interaction (DMI). Our analysis includes both a stationary Gamma convergence result for the micromagnetic energy, as well as the identification of the asymptotic behavior of the associated Landau Lifshitz Gilbert equation. In particular, we prove that, in the limiting model, part of the DMI term behaves like the projection of the magnetic moment onto the normal to the film, contributing this way to an increase in the shape anisotropy arising from the magnetostatic self energy. Finally, we discuss a convergent finite element approach for the approximation of the time dependent case and use it to numerically compare the original three dimensional model with the two dimensional thin film limit.


On the Resource Utilization of Multi Connectivity Transmission for URLLC Services in 5G New Radio. Multi connectivity with packet duplication, where the same data packet is duplicated and transmitted from multiple transmitters, is proposed in 5G New Radio as a reliability enhancement feature. This paper presents an analytical study of the outage probability enhancement with multi connectivity, and analyses its cost in terms of resource usage. The performance analysis is further compared against conventional single connectivity transmission. Our analysis shows that, for transmission with a given block error rate target, multi connectivity results in more than an order of magnitude outage probability improvement over the baseline single connectivity scheme. However, such gains are achieved at the cost of almost doubling the amount of radio resources used. Multi connectivity should thus be selectively used such that its benefits can be harnessed for critical users, while the price to pay in terms of resource utilization is simultaneously minimized.


Single Shot Reversible GAN for BCG artifact removal in simultaneous EEG fMRI. Simultaneous EEG fMRI acquisition and analysis technology has been widely used in various research fields of brain science. However, how to remove the ballistocardiogram (BCG) artifacts in this scenario remains a huge challenge. Because it is impossible to obtain clean and BCG contaminated EEG signals at the same time, BCG artifact removal is a typical unpaired signal to signal problem. To solve this problem, this paper proposed a new GAN training model Single Shot Reversible GAN (SSRGAN). The model is allowing bidirectional input to better combine the characteristics of the two types of signals, instead of using two independent models for bidirectional conversion as in the past. Furthermore, the model is decomposed into multiple independent convolutional blocks with specific functions. Through additional training of the blocks, the local representation ability of the model is improved, thereby improving the overall model performance. Experimental results show that, compared with existing methods, the method proposed in this paper can remove BCG artifacts more effectively and retain the useful EEG information.


Amenability and weak containment for actions of locally compact groups on C algebras. In this work we introduce and study a new notion of amenability for actions of locally compact groups on C algebras. Our definition extends the definition of amenability for actions of discrete groups due to Claire Anantharaman Delaroche. We show that our definition has several characterizations and permanence properties analogous to those known in the discrete case. For example, for actions on commutative C algebras, we show that our notion of amenability is equivalent to measurewise amenability. Combined with a recent result of Alex Bearden and Jason Crann, this also settles a long standing open problem about the equivalence of topological amenability and measurewise amenability for a second countable G space X . We use our new notion of amenability to study when the maximal and reduced crossed products agree. One of our main results generalizes a theorem of Matsumura we show that for an action of an exact locally compact group G on a locally compact space X the full and reduced crossed products C 0(X) rtimes max G and C 0(X) rtimes operatorname red G coincide if and only if the action of G on X is amenable. We also show that the analogue of this theorem does not hold for actions on noncommutative C algebras. Finally, we study amenability as it relates to more detailed structure in the case of C algebras that fibre over an appropriate G space X , and the interaction of amenability with various regularity properties such as nuclearity, exactness, and the (L)LP, and the equivariant versions of injectivity and the WEP.


Avatar Work Telework for Disabled People Unable to Go Outside by Using Avatar Robots "OriHime D" and Its Verification. In this study, we propose a telework "avatar work" that enables people with disabilities to engage in physical works such as customer service in order to realize an inclusive society, where we can do anything if we have free mind, even though we are bedridden. In avatar work, disabled people can remotely engage in physical work by operating a proposed robot "OriHime D" with a mouse or gaze input depending on their own disabilities. As a social implementation initiative of avatar work, we have opened a two week limited avatar robot cafe and have evaluated remote employment by people with disabilities using OriHime D. As the results by 10 people with disabilities, we have confirmed that the proposed avatar work leads to mental fulfillment for people with disparities, and can be designed with adaptable workload. In addition, we have confirmed that the work content of the experimental cafe is appropriate for people with a variety of disabilities seeking social participation. This study contributes to fulfillment all through life and lifetime working, and at the same time leads to a solution to the employment shortage problem.


Deep Convolutional Neural Network Based Autonomous Drone Navigation. This paper presents a novel approach for aerial drone autonomous navigation along predetermined paths using only visual input form an onboard camera and without reliance on a Global Positioning System (GPS). It is based on using a deep Convolutional Neural Network (CNN) combined with a regressor to output the drone steering commands. Furthermore, multiple auxiliary navigation paths that form a navigation envelope are used for data augmentation to make the system adaptable to real life deployment scenarios. The approach is suitable for automating drone navigation in applications that exhibit regular trips or visits to same locations such as environmental and desertification monitoring, parcel aid delivery and drone based wireless internet delivery. In this case, the proposed algorithm replaces human operators, enhances accuracy of GPS based map navigation, alleviates problems related to GPS spoofing and enables navigation in GPS denied environments. Our system is tested in two scenarios using the Unreal Engine based AirSim plugin for drone simulation with promising results of average cross track distance less than 1.4 meters and mean waypoints minimum distance of less than 1 meter.


Vanishing viscosity limit to vortex sheet for the isentropic compressible circularly symmetric 2D flow. In this paper, we consider the small viscosity limit problem for the isentropic compressible Navier Stokes equations in a 2D exterior domain with impermeable boundary conditions , and the corresponding Euler equations have vortex sheet solutions.We obtain that away from the boundary and the contact discontinuous the isentropic compressible viscous flow can be approximated by the corresponding inviscid flow, near the boundary (the contact discontinuous) there is a boundary layer (vortex layer)for the angular velocity in the leading order expansion of solution, while the radial velocity and the pressure do not have boundary layers (vortex layers) in the leading order. We rigorously justify the asymptotic behavior of solutions in the L infty space for the small viscosities limit in the Lagrangian coordinates.


A Time Delay Dynamical Model for Outbreak of 2019 nCoV and the Parameter Identification. In this paper, we propose a novel dynamical system with time delay to describe the outbreak of 2019 nCoV in China. One typical feature of this epidemic is that it can spread in latent period, which is therefore described by the time delay process in the differential equations. The accumulated numbers of classified populations are employed as variables, which is consistent with the official data and facilitates the parameter identification. The numerical methods for the prediction of outbreak of 2019 nCoV and parameter identification are provided, and the numerical results show that the novel dynamic system can well predict the outbreak trend so far. Based on the numerical simulations, we suggest that the transmission of individuals should be greatly controlled with high isolation rate by the government.


Dialog Simulation with Realistic Variations for Training Goal Oriented Conversational Systems. Goal oriented dialog systems enable users to complete specific goals like requesting information about a movie or booking a ticket. Typically the dialog system pipeline contains multiple ML models, including natural language understanding, state tracking and action prediction (policy learning). These models are trained through a combination of supervised or reinforcement learning methods and therefore require collection of labeled domain specific datasets. However, collecting annotated datasets with language and dialog flow variations is expensive, time consuming and scales poorly due to human involvement. In this paper, we propose an approach for automatically creating a large corpus of annotated dialogs from a few thoroughly annotated sample dialogs and the dialog schema. Our approach includes a novel goal sampling technique for sampling plausible user goals and a dialog simulation technique that uses heuristic interplay between the user and the system (Alexa), where the user tries to achieve the sampled goal. We validate our approach by generating data and training three different downstream conversational ML models. We achieve 18 ? 50 relative accuracy improvements on a held out test set compared to a baseline dialog generation approach that only samples natural language and entity value variations from existing catalogs but does not generate any novel dialog flow variations. We also qualitatively establish that the proposed approach is better than the baseline. Moreover, several different conversational experiences have been built using this method, which enables customers to have a wide variety of conversations with Alexa.


Minimizing The Maximum Distance Traveled To Form Patterns With Systems of Mobile Robots. In the pattern formation problem, robots in a system must self coordinate to form a given pattern, regardless of translation, rotation, uniform scaling, and or reflection. In other words, a valid final configuration of the system is a formation that is textit similar to the desired pattern. While there has been no shortage of research in the pattern formation problem under a variety of assumptions, models, and contexts, we consider the additional constraint that the maximum distance traveled among all robots in the system is minimum. Existing work in pattern formation and closely related problems are typically application specific or not concerned with optimality (but rather feasibility). We show the necessary conditions any optimal solution must satisfy and present a solution for systems of three robots. Our work also led to an interesting result that has applications beyond pattern formation. Namely, a metric for comparing two triangles where a distance of 0 indicates the triangles are similar, and 1 indicates they are emph fully dissimilar .


On permutations derived from integer powers x n . We present a general theorem characterizing the relationship between the prime base p representations of non negative integers x and their positive integer powers, x n . For any positive integer l , the theorem establishes the existence of bijective mappings (permutations) between all p l members x of each non zero residue class mod p satisfying x p l 1 . These mappings are obtained as the integer part of x p p alpha for a particular positive integer alpha , depending on n and p , called the "coding shift", for which an explicit formula is given. For relatively prime n and p , alpha 1 and the result follows directly from properties of the multiplicative group of invertible elements modulo p l 1 . We extend our result for general n also to identify the coding shift required to obtain such bijective mappings for members of the zero residue class mod p , demonstrating that such bijective mappings (or encodings) can be found for any finite l and for all positive integers x p l 1 .


On a subdiffusive tumour growth model with fractional time derivative. In this work, we present and analyse a system of coupled partial differential equations, which models tumour growth under the influence of subdiffusion, mechanical effects, nutrient supply, and chemotherapy. The subdiffusion of the system is modelled by a time fractional derivative in the equation governing the volume fraction of the tumour cells. The mass densities of the nutrients and the chemotherapeutic agents are modelled by reaction diffusion equations. We prove the existence and uniqueness of a weak solution to the model via the Faedo Galerkin method and the application of appropriate compactness theorems. Lastly, we propose a fully discretised system and illustrate the effects of the fractional derivative and the influence of the fractional parameter in numerical examples.


On ideal triangulations of surfaces up to branched transit equivalences. We consider triangulations of closed surfaces S with a given set of vertices V every triangulation can be branched that is enhanced to a Delta complex. Branched triangulations are considered up to the b transit equivalence generated by b flips (i.e. branched diagonal exchanges) and isotopy keeping V point wise fixed. We extend a well known connectivity result for naked' triangulations in particular in the generic case when S has negative Euler Poincare' characteristic c(S), we show that branched triangulations are equivalent to each other if c(S) is even, while this holds also for odd c(S) possibly after the complete inversion of one of the two branchings. Moreover we show that under a mild assumption, two branchings on a same triangulation are connected via a sequence of inversions of ambiguous edges (and possibly the total inversion of one of them). A natural organization of the b flips in subfamilies gives rise to restricted transit equivalences with non trivial (even infinite) quotient sets. We analyze them in terms of certain preserved structures of differential topological nature carried by any branched triangulations in particular a pair of transverse foliations with determined singular sets contained in V, including as particular cases the configuration of the vertical and horizontal foliations of the square of an Abelian differential on a Riemann surface.


The Prescribed Ricci Curvature Problem for Homogeneous Metrics. The prescribed Ricci curvature problem consists in finding a Riemannian metric g on a manifold M such that the Ricci curvature of g equals a given (0,2) tensor field T . We survey the recent progress on this problem in the case where M is a homogeneous space.


UFRGS Participation on the WMT Biomedical Translation Shared Task. This paper describes the machine translation systems developed by the Universidade Federal do Rio Grande do Sul (UFRGS) team for the biomedical translation shared task. Our systems are based on statistical machine translation and neural machine translation, using the Moses and OpenNMT toolkits, respectively. We participated in four translation directions for the English Spanish and English Portuguese language pairs. To create our training data, we concatenated several parallel corpora, both from in domain and out of domain sources, as well as terminological resources from UMLS. Our systems achieved the best BLEU scores according to the official shared task evaluation.


Mean field limit of a hybrid system for multi lane multi class traffic. This article aims to study coupled mean field equation and ODEs with discrete events motivated by vehicular traffic flow. Precisely, multi lane traffic flow in presence of human driven and autonomous vehicles is considered, with the autonomous vehicles possibly influenced by external policy makers. First a finite dimensional hybrid system is developed based on the continuous Bando Follow the Leader dynamics coupled with discrete events due to lane change maneuvers. Then the mean field limit of the finite dimensional hybrid system is rigorously derived for the dynamics of the human driven vehicles. The microscopic lane change maneuvers of the human driven vehicles generates a source term to the mean field PDE. This leads to an infinite dimensional hybrid system, which is described by coupled Vlasov type PDE, ODEs and discrete events.


Establishing Secrecy Region for Directional Modulation Scheme with Random Frequency Diverse Array. Random frequency diverse array (RFDA) based directional modulation (DM) was proposed as a promising technology in secure communications to achieve a precise transmission of confidential messages, and artificial noise (AN) was considered as an important helper in RFDA DM. Compared with previous works that only focus on the spot of the desired receiver, in this work, we investigate a secrecy region around the desired receiver, that is, a specific range and angle resolution around the desired receiver. Firstly, the minimum number of antennas and the bandwidth needed to achieve a secrecy region are derived. Moreover, based on the lower bound of the secrecy capacity in RFDA DM AN scheme, we investigate the performance impact of AN on the secrecy capacity. From this work, we conclude that 1) AN is not always beneficial to the secure transmission. Specifically, when the number of antennas is sufficiently large and the transmit power is smaller than a specified value, AN will reduce secrecy capacity due to the consumption of limited transmit power. 2) Increasing bandwidth will enlarge the set for randomly allocating frequencies and thus lead to a higher secrecy capacity. 3) The minimum number of antennas increases as the predefined secrecy transmission rate increases.


Long time behavior for the porous medium equation with small initial energy. We study the long time behavior for the solution of the Porous Medium Equation in an open bounded connected set, with smooth boundary. Homogeneous Dirichlet boundary conditions are considered. We prove that if the initial datum has sufficiently small energy, then the solution converges to a nontrivial constant sign solution of a sublinear Lane Emden equation, once suitably rescaled. We point out that the initial datum is allowed to be sign changing. We also give a sufficient energetic criterion on the initial datum, which permits to decide whether convergence takes place towards the positive solution or to the negative one.


Multiplicative functions in large arithmetic progressions and applications. We establish new Bombieri Vinogradov type estimates for a wide class of multiplicative arithmetic functions and derive several applications, including a new proof of a recent estimate by Drappeau and Topacogullari for arithmetical correlations a theorem of Erd H o s Wintner type with support equal to the level set of an additive function at shifted argument and a law of iterated logarithm for the distribution of prime factors of integers weighted by tau(n 1) where tau denotes the divisor function.


Longest common subsequences between words of very unequal length. We consider the expected length of the longest common subsequence between two random words of lengths n and (1 varepsilon)kn over k symbol alphabet. It is well known that this quantity is asymptotic to gamma k, varepsilon n for some constant gamma k, varepsilon . We show that gamma k, varepsilon is of the order 1 c varepsilon 2 uniformly in k and varepsilon . In addition, for large k , we give evidence that gamma k, varepsilon approaches 1 tfrac 1 4 varepsilon 2 , and prove a matching lower bound.


A generalisation of Schenkman's theorem. Let G be a finite group and let mathfrak F be a hereditary saturated formation. We denote by mathbf Z mathfrak F (G) the product of all normal subgroups N of G such that every chief factor H K of G below N is mathfrak F central in G , that is, (H K) rtimes (G mathbf C G (H K)) in mathfrak F . A subgroup A leq G is said to be mathfrak F subnormal in the sense of Kegel, or K mathfrak F subnormal in G , if there is a subgroup chain A A 0 leq A 1 leq ldots leq A n G such that either A i 1 trianglelefteq A i or A i (A i 1 ) A i in mathfrak F for all i 1, ldots , n . In this paper, we prove the following generalisation of Schenkman's Theorem on the centraliser of the nilpotent residual of a subnormal subgroup Let mathfrak F be a hereditary saturated formation and let S be a K mathfrak F subnormal subgroup of G . If mathbf Z mathfrak F (E) 1 for every subgroup E of G such that S leq E then mathbf C G (D) leq D , where D S mathfrak F is the mathfrak F residual of S .


On Erd H o s Chains in the Plane. Let P be a finite point set in mathbb R 2 with the set of distance n chains defined as Delta n(P) ( p 1 p 2 , p 2 p 3 , ldots, p n p n 1 ) p i in P . We show that for 2 leq n O P (1) we have Delta n(P) gtrsim frac P n log frac 13 2 (n 1) P . Our argument uses the energy construction of Elekes and a general version of Rudnev's rich line bound implicit in Rudnev's recent hinge paper which allows one to iterate efficiently on highly intersecting nested subsets of Guth Katz lines. Let G is a simple connected graph on m O(1) vertices with m geq 2 . Define the graph distance set Delta G(P) as Delta G(P) ( p i p j ) i,j in E(G) p i,p j in P . Combining with results of Guth and Katz and Rudnev with the above, if G has a Hamiltonian path we have Delta G(P) gtrsim frac P m 1 text polylog P . end abstract


Compatibility of weak approximation for zero cycles on products of varieties. Zero cycles are conjectured to satisfy weak approximation with Brauer Manin obstruction for proper smooth varieties defined over number fields. Roughly speaking, we prove that the conjecture is compatible for products of rationally connected varieties, K3 surfaces, Kummer varieties, and one curve.


A new perspective on the Sullivan dictionary via Assouad type dimensions and spectra. The Sullivan dictionary provides a beautiful correspondence between Kleinian groups acting on hyperbolic space and rational maps of the extended complex plane. An especially direct correspondence exists concerning the dimension theory of the associated limit sets and Julia sets. In recent work we established formulae for the Assouad type dimensions and spectra for these fractal sets and certain conformal measures they support. This allows a rather more nuanced comparison of the two families in the context of dimension. In this expository article we discuss how these results provide new entries in the Sullivan dictionary, as well as revealing striking differences between the two settings.


Knowledge Graph Alignment using String Edit Distance. In this work, we propose a novel knowledge graph alignment technique based upon string edit distance that exploits the type information between entities and can find similarity between relations of any arity


Sidebar Scratchpad Based Communication Between CPUs and Accelerators. Hardware accelerators for neural networks have shown great promise for both performance and power. These accelerators are at their most efficient when optimized for a fixed functionality. But this inflexibility limits the longevity of the hardware itself as the underlying neural network algorithms and structures undergo improvements and changes. We propose and evaluate a flexible design paradigm for accelerators with a close coordination with host processors. The relatively static matrix operations are implemented in specialized accelerators while fast evolving functions, such as activations, are computed on the host processor. This architecture is enabled by a low latency shared buffer we call Sidebar. Sidebar memory is shared between the accelerator and host, exists outside of program address space and holds intermediate data only. We show that a generalised DMA dependent flexible accelerator design performs poorly in both perf and energy as compared to an equivalent fixed function accelerator. Sidebar based accelerator design achieves near identical performance and energy to equivalent fixed function accelerator while still providing all the flexibility of computing activations on the host processor.


An optics free computational spectrometer using a broadband and tunable dynamic detector. Optical spectrometers are the central instruments for exploring the interaction between light and matter. The current pursuit of the field is to design a spectrometer without the need for wavelength multiplexing optics to effectively reduce the complexity and physical size of the hardware. Based on computational spectroscopic results and combining a broadband responsive dynamic detector, we successfully demonstrate an optics free single detector spectrometer that maps the tunable quantum efficiency of a superconducting nanowire into an ill conditioned matrix to build a solvable inverse mathematical equation. Such a spectrometer can realize a broadband spectral responsivity ranging from 660 to 1900 nm. The spectral resolution at the telecom is 6 nm, exceeding the energy resolving capacity of existing infrared single photon detectors. Meanwhile, benefiting from the optics free setup, precise time of flight measurements can be simultaneously achieved. We have demonstrated a spectral LiDAR with 8 spectral channels. This work provides a concise method for building multifunctional spectrometers and paves the way for applying superconducting nanowire detectors in spectroscopy.


Object Tracking through Residual and Dense LSTMs. Visual object tracking task is constantly gaining importance in several fields of application as traffic monitoring, robotics, and surveillance, to name a few. Dealing with changes in the appearance of the tracked object is paramount to achieve high tracking accuracy, and is usually achieved by continually learning features. Recently, deep learning based trackers based on LSTMs (Long Short Term Memory) recurrent neural networks have emerged as a powerful alternative, bypassing the need to retrain the feature extraction in an online fashion. Inspired by the success of residual and dense networks in image recognition, we propose here to enhance the capabilities of hybrid trackers using residual and or dense LSTMs. By introducing skip connections, it is possible to increase the depth of the architecture while ensuring a fast convergence. Experimental results on the Re3 tracker show that DenseLSTMs outperform Residual and regular LSTM, and offer a higher resilience to nuisances such as occlusions and out of view objects. Our case study supports the adoption of residual based RNNs for enhancing the robustness of other trackers.


Coded Caching with Uneven Channels A Quality of Experience Approach. The rate performance of wireless coded caching schemes is typically limited by the lowest achievable per user rate in the given multicast group, during each transmission time slot. In this paper, we provide a new coded caching scheme, alleviating this worst user effect for the prominent case of multimedia applications. In our scheme, instead of maximizing the symmetric rate among all served users, we maximize the total quality of experience (QoE) where QoE at each user is defined as the video quality perceived by that user. We show the new scheme requires solving an NP hard optimization problem. Thus, we provide two heuristic algorithms to solve it in an approximate manner and numerically demonstrate the near optimality of the proposed approximations. Our approach allows flexible allocation of distinct video quality for each user, making wireless coded caching schemes more suitable for real world implementations.


A floating top electrode electrowetting on dielectric system. Herein, we describe a novel device configuration for double plate electrowetting on dielectric system with a floating top electrode. As conventional double plate EWOD device requires a grounded electrode on top plate, it will cause additional fabrication complicity and cost during the encapsulation process. In this work, we found that by carefully designing electrode arrangement and configuring driving electronic circuit, the droplet driving force can be maintained with a floating electrode on the top plate. This can provide the possibilities to integrate additional electrical or electrochemical sensing functions on the top plate. We use both finite element analysis and fabricated system to validate the theory, and the results indicate that floating top electrode EWOD systems are highly reliable and reproducible once the design considerations are fully met.


Rough Weierstrass functions and dynamical systems the smoothness of the SBR measure. We investigate Weierstrass functions with roughness parameter gamma that are H "older continuous with coefficient H log gamma log frac12 . Analytical access is provided by an embedding into a dynamical system related to the baker transform where the graphs of the functions are identified as their global attractors. They possess stable manifolds hosting Sinai Bowen Ruelle (SBR) measures. We systematically exploit a telescoping property of associated measures to give an alternative proof of the absolute continuity of the SBR measure for large enough gamma with square integrable density. Telescoping allows a macroscopic argument using the transversality of the flow related to the mapping describing the stable manifold. The smoothness of the SBR measure can be used to compute the Hausdorff dimension of the graphs of the original Weierstrass functions and investigate their local times.


Simulating Unknown Target Models for Query Efficient Black box Attacks. Many adversarial attacks have been proposed to investigate the security issues of deep neural networks. In the black box setting, current model stealing attacks train a substitute model to counterfeit the functionality of the target model. However, the training requires querying the target model. Consequently, the query complexity remains high, and such attacks can be defended easily. This study aims to train a generalized substitute model called "Simulator", which can mimic the functionality of any unknown target model. To this end, we build the training data with the form of multiple tasks by collecting query sequences generated during the attacks of various existing networks. The learning process uses a mean square error based knowledge distillation loss in the meta learning to minimize the difference between the Simulator and the sampled networks. The meta gradients of this loss are then computed and accumulated from multiple tasks to update the Simulator and subsequently improve generalization. When attacking a target model that is unseen in training, the trained Simulator can accurately simulate its functionality using its limited feedback. As a result, a large fraction of queries can be transferred to the Simulator, thereby reducing query complexity. Results of the comprehensive experiments conducted using the CIFAR 10, CIFAR 100, and TinyImageNet datasets demonstrate that the proposed approach reduces query complexity by several orders of magnitude compared to the baseline method. The implementation source code is released at https github.com machanic SimulatorAttack.


Formalization of PAL cdot S5 in Proof Assistant. As an experiment to the application of proof assistant for logic research, we formalize the model and proof system for multi agent modal logic S5 with PAL style dynamic modality in Lean theorem prover. We provide a formal proof for the reduction axiom of public announcement, and the soundness and completeness of modal logic S5, which can be typechecked with Lean 3.19.0. The complete proof is now available at Github.


Message Dissemination in Connected Vehicles. Advances in connected vehicles based on Vehicular Ad hoc Networks (VANETs) in recent years have gained significant attention in Intelligent Transport Systems (ITS) in terms of disseminating messages in an efficient manner. VANET uses Dedicated Short Range Communication (DSRC) for disseminating messages between vehicles and between infrastructures. Though DSRC based communications are viable, it is still challenging to disseminate messages in a timely manner when vehicles are not in the transmission range of each other. Furthermore, DSRC communication channels are heavily congested when the vehicle density increases on the road. To address these limitations, two emerging paradigms 1) vehicular cloud computing and 2) vehicular fog computing are been adopted to disseminate message between the vehicles in a connected vehicular environment. Vehicular fog computing uses fog nodes for the dissemination of messages among vehicles. Any real world object can be formed as a fog node by acquiring the properties such as 1) network connectivity, 2) computation, and 3) storage. In this book chapter, we highlight the significance of message dissemination in connected vehicles based on techniques like DSRC, vehicular cloud computing, and vehicular fog computing. Our objective is to help the readers better understand the fundamentals of connected vehicles and communication techniques while disseminating messages between vehicles and between infrastructures.


Collective Mobile Sequential Recommendation A Recommender System for Multiple Taxicabs. Mobile sequential recommendation was originally designed to find a promising route for a single taxicab. Directly applying it for multiple taxicabs may cause an excessive overlap of recommended routes. The multi taxicab recommendation problem is challenging and has been less studied. In this paper, we first formalize a collective mobile sequential recommendation problem based on a classic mathematical model, which characterizes time varying influence among competing taxicabs. Next, we propose a new evaluation metric for a collection of taxicab routes aimed to minimize the sum of potential travel time. We then develop an efficient algorithm to calculate the metric and design a greedy recommendation method to approximate the solution. Finally, numerical experiments show the superiority of our methods. In trace driven simulation, the set of routes recommended by our method significantly outperforms those obtained by conventional methods.


Determinants and Plemelj Smithies formulas. We establish Plemelj Smithies formulas for determinants in different algebras of operators. In particular we define a Poincar 'e type determinant for operators on the torus Tn and deduce formulas for determinants of periodic pseudo differential operators in terms of the symbol. On the other hand, by applying a recently introduced notion of invariant operators relative to fixed decompositions of Hilbert spaces we also obtain formulae for determinants with respect to the trace class. The analysis makes use of the corresponding notion of full matrix symbol. We also derive explicit formulas for determinants associated to elliptic operators on compact manifolds, compact Lie groups, and on homogeneous vector bundles over compact homogeneous manifolds.


A Geometric View of SDP Exactness in QCQPs and its Applications. Quadratically constrained quadratic programs (QCQPs) are a highly expressive class of nonconvex optimization problems. While QCQPs are NP hard in general, they admit a natural convex relaxation via the standard (Shor) semidefinite program (SDP) relaxation. Towards understanding when this relaxation is exact, we study general QCQPs and their (projected) SDP relaxations. We present sufficient (and in some cases, also necessary) conditions for objective value exactness (the condition that the objective values of the QCQP and its SDP relaxation coincide) and convex hull exactness (the condition that the convex hull of the QCQP epigraph coincides with the epigraph of its SDP relaxation). Our conditions for exactness are based on geometric properties of Gamma , the cone of convex Lagrange multipliers, and its relatives Gamma P and Gamma circ . These tools form the basis of our main message questions of exactness can be treated systematically whenever Gamma , Gamma P , or Gamma circ is well understood. As further evidence of this message, we apply our tools to address questions of exactness for a prototypical QCQP involving a binary on off constraint, quadratic matrix programs, the QCQP formulation of the partition problem, and random and semi random QCQPs.


Subsets of mathbb F p with only small products or ratios. Let p be a fixed prime. We estimate the number of elements of a set A subseteq mathbb F p for which s 1s 2 equiv a pmod p quad mbox for some quad a in X,X quad mbox for all quad s 1,s 2 in A. We also consider variations and generalizations.


Averaging Gaussian functionals. This paper consists of two parts. In the first part, we focus on the average of a functional over shifted Gaussian homogeneous noise and as the averaging domain covers the whole space, we establish a Breuer Major type Gaussian fluctuation based on various assumptions on the covariance kernel and or the spectral measure. Our methodology for the first part begins with the application of Malliavin calculus around Nualart Peccati's Fourth Moment Theorem, and in addition we apply the Fourier techniques as well as a soft approximation argument based on Bessel functions of first kind. The same methodology leads us to investigate a closely related problem in the second part. We study the spatial average of a linear stochastic heat equation driven by space time Gaussian colored noise. The temporal covariance kernel gamma 0 is assumed to be locally integrable in this paper. If the spatial covariance kernel is nonnegative and integrable on the whole space, then the spatial average admits Gaussian fluctuation with some extra mild integrability condition on gamma 0 , we are able to provide a functional central limit theorem. These results complement recent studies on the spatial average for SPDEs. Our analysis also allows us to consider the case where the spatial covariance kernel is not integrable For example, in the case of the Riesz kernel, the first chaotic component of the spatial average is dominant so that the Gaussian fluctuation also holds true.


Legal Concerns and Challenges in Cloud Computing. Legal issues have risen with the changing landscape of computing, especially when the service, data and infrastructure is not owned by the user. With the Cloud, the question arises as to who is in the possession of the data. The Cloud provider can be considered as a legal custodian, owner or possessor of the data thereby causing complexities in legal matters around trademark infringement, privacy of users and their data, abuse and security. By introducing Cloud design focusing on privacy, legal as a service on a Cloud and service provider accountability, users can expect the service providers to be accountable for privacy and data in addition to their regular SLAs.


Passive Beamforming for IRS Aided Wireless Networks. In this letter, we design passive beamforming in an intelligent reflecting surface (IRS) assisted multiple user wireless network. Two different scenarios are considered, namely, multicasting and multi user downlink transmission. We optimize the passive beamforming vector of the IRS to maximize the smallest signal to noise ratio of the users in both scenarios. Based on the alternating direction method of multipliers algorithm, a low complexity method is designed to iteratively solve the established problem. In each iteration of the proposed method, the solution is in closed form, and thus the computation complexity is low. Numerical results are presented to show the efficiency of the proposed method.


Tropical probability theory and an application to the entropic cone. In a series of articles, we have been developing a theory of tropical diagrams of probability spaces, expecting it to be useful for information optimization problems in information theory and artificial intelligence. In this article, we give a summary of our work so far and apply the theory to derive a dimension reduction statement about the shape of the entropic cone.


Emergence of lager densities in chemotaxis system with indirect signal production and non radial symmetry case. This paper deals with the classical solution of the following chemotaxis system with generalized logistic growth and indirect signal production begin eqnarray left begin array llll u t epsilon Delta u nabla cdot(u nabla v) ru mu u theta, 0 d 1 Delta v beta v alpha w, 0 d 2 Delta w delta w gamma u end array right. qquad(0.1) end eqnarray and the so called strong W 1, q ( Omega) solution of hyperbolic elliptic elliptic model begin eqnarray left begin array llll u t nabla cdot(u nabla v) ru mu u theta, 0 d 1 Delta v beta v alpha w, 0 d 2 Delta w delta w gamma u, end array right. qquad(0.2) end eqnarray in arbitrary bounded domain Omega subset mathbb R n , n geq1 , where r, mu, d 1, d 2, alpha, beta, gamma, delta 0 and theta 1 . Via applying the viscosity vanishing method, we first prove that the classical solution of (0.1) will converge to the strong W 1, q ( Omega) solution of (0.2) as epsilon rightarrow0 . After structuring the local well pose of (0.2), we find that the strong W 1, q ( Omega) solution will blow up in finite time with non radial symmetry setting if Omega is a bounded convex domain, theta in(1, 2 , and the initial data is suitable large. Moreover, for any positive constant M and the classical solution of (0.1), if we add another hypothesis that there exists positive constant epsilon 0(M) with epsilon in(0, epsilon 0(M)) , then the classical solution of (0.1) can exceed arbitrarily large finite value in the sense one can find some points left( tilde x , tilde t right) such that u( tilde x , tilde t ) M .


Dirac Assisted Tree Method for 1D Heterogeneous Helmholtz Equations with Arbitrary Variable Wave Numbers. In this paper we introduce a new method called the Dirac Assisted Tree (DAT) method, which can handle 1D heterogeneous Helmholtz equations with arbitrarily large variable wave numbers. DAT breaks an original global problem into many parallel tree structured small local problems, which are linked together to form a global solution by solving small linking problems. To solve the local problems in DAT, we propose a compact finite difference method (FDM) with arbitrarily high accuracy order and low numerical dispersion for piecewise smooth coefficients and variable wave numbers. This compact FDM is particularly appealing for DAT, because the local problems and their fluxes in DAT can be computed with high accuracy. DAT with such compact FDMs can solve heterogeneous Helmholtz equations with arbitrarily large variable wave numbers accurately by solving small linear systems 4 times 4 matrices in the extreme case with tridiagonal coefficient matrices in a parallel fashion. Several numerical examples are provided to illustrate the effectiveness of DAT using the M th order compact FDMs with M 6,8 for numerically solving heterogeneous Helmholtz equations with variable wave numbers. We shall also discuss how to solve some special 2D Helmholtz equations using DAT.


On strongly rigid hyperfluctuating random measures. In contrast to previous belief, we provide examples of stationary ergodic random measures that are both hyperfluctuating and strongly rigid. Therefore, we study hyperplane intersection processes (HIPs) that are formed by the vertices of Poisson hyperplane tessellations. These HIPs are known to be hyperfluctuating, that is, the variance of the number of points in a bounded observation window grows faster than the size of the window. Here we show that the HIPs exhibit a particularly strong rigidity property. For any bounded Borel set B , an exponentially small (bounded) stopping set suffices to reconstruct the position of all points in B and, in fact, all hyperplanes intersecting B . Therefore, also the random measures supported by the hyperplane intersections of arbitrary (but fixed) dimension, are hyperfluctuating. Our examples aid the search for relations between correlations, density fluctuations, and rigidity properties.


Augmented Equivariant Attention Networks for Microscopy Image Reconstruction. It is time consuming and expensive to take high quality or high resolution electron microscopy (EM) and fluorescence microscopy (FM) images. Taking these images could be even invasive to samples and may damage certain subtleties in the samples after long or intense exposures, often necessary for achieving high quality or high resolution in the first place. Advances in deep learning enable us to perform image to image transformation tasks for various types of microscopy image reconstruction, computationally producing high quality images from the physically acquired low quality ones. When training image to image transformation models on pairs of experimentally acquired microscopy images, prior models suffer from performance loss due to their inability to capture inter image dependencies and common features shared among images. Existing methods that take advantage of shared features in image classification tasks cannot be properly applied to image reconstruction tasks because they fail to preserve the equivariance property under spatial permutations, something essential in image to image transformation. To address these limitations, we propose the augmented equivariant attention networks (AEANets) with better capability to capture inter image dependencies, while preserving the equivariance property. The proposed AEANets captures inter image dependencies and shared features via two augmentations on the attention mechanism, which are the shared references and the batch aware attention during training. We theoretically derive the equivariance property of the proposed augmented attention model and experimentally demonstrate its consistent superiority in both quantitative and visual results over the baseline methods.


Pencil beam approximation of stationary Fokker Planck. Solutions of stationary Fokker Planck equations in the narrow beam regime are commonly approximated by either ballistic linear transport or by a Fermi pencil beam equation. We present a rigorous approximation analysis of these three models in a half space geometry. Error estimates are obtained in a 1 Wasserstein sense, which is an adapted metric to quantify beam spreading. The required well posedness and regularity results for the stationary Fokker Planck equation with singular internal and boundary sources are also presented in detail.


Proposal Towards a Personalized Knowledge powered Self play Based Ensemble Dialog System. This is the application document for the 2019 Amazon Alexa competition. We give an overall vision of our conversational experience, as well as a sample conversation that we would like our dialog system to achieve by the end of the competition. We believe personalization, knowledge, and self play are important components towards better chatbots. These are further highlighted by our detailed system architecture proposal and novelty section. Finally, we describe how we would ensure an engaging experience, how this research would impact the field, and related work.


Efficient Consensus Model based on Proximal Gradient Method applied to Convolutional Sparse Problems. Convolutional sparse representation (CSR), shift invariant model for inverse problems, has gained much attention in the fields of signal image processing, machine learning and computer vision. The most challenging problems in CSR implies the minimization of a composite function of the form min x sum i f i(x) g(x) , where a direct and low cost solution can be difficult to achieve. However, it has been reported that semi distributed formulations such as ADMM consensus can provide important computational benefits. In the present work, we derive and detail a thorough theoretical analysis of an efficient consensus algorithm based on proximal gradient (PG) approach. The effectiveness of the proposed algorithm with respect to its ADMM counterpart is primarily assessed in the classic convolutional dictionary learning problem. Furthermore, our consensus method, which is generically structured, can be used to solve other optimization problems, where a sum of convex functions with a regularization term share a single global variable. As an example, the proposed algorithm is also applied to another particular convolutional problem for the anomaly detection task.


Asymptotic properties of a class of linearly implicit schemes for weakly compressible Euler equations. In this paper we derive and analyse a class of linearly implicit schemes which includes the one of Feistauer and Ku v c era (JCP 2007) as well as the class of RS IMEX schemes. The implicit part is based on a Jacobian matrix which is evaluated at a reference state. This state can be either the solution at the old time level as in Feistauer and Ku v c era (JCP 2007), or a numerical approximation of the incompressible limit equations as in Zeifang et al. (Commun. Comput. Phys. 2009), or possibly another state. Subsequently, it is shown that this class of methods is asymptotically preserving under the assumption of a discrete Hilbert expansion. For a one dimensional setting with some limitations on the reference state, the existence of a discrete Hilbert expansion is shown.


Deep Learning Backdoors. Intuitively, a backdoor attack against Deep Neural Networks (DNNs) is to inject hidden malicious behaviors into DNNs such that the backdoor model behaves legitimately for benign inputs, yet invokes a predefined malicious behavior when its input contains a malicious trigger. The trigger can take a plethora of forms, including a special object present in the image (e.g., a yellow pad), a shape filled with custom textures (e.g., logos with particular colors) or even image wide stylizations with special filters (e.g., images altered by Nashville or Gotham filters). These filters can be applied to the original image by replacing or perturbing a set of image pixels.


Decoding up to 4 errors in Hyperbolic like Abelian Codes by the Sakata Algorithm. We deal with two problems related with the use of the Sakata's algorithm in a specific class of bivariate codes. The first one is to improve the general framework of locator decoding in order to apply it on such abelian codes. The second one is to find a set of indexes oF the syndrome table such that no other syndrome contributes to implement the BMSa and, moreover, any of them may be ignored textit a priori . In addition, the implementation on those indexes is sufficient to get the Groebner basis that is, it is also a termination criterion.


Black Box Optimization of Object Detector Scales. Object detectors have improved considerably in the last years by using advanced CNN architectures. However, many detector hyper parameters are generally manually tuned, or they are used with values set by the detector authors. Automatic Hyper parameter optimization has not been explored in improving CNN based object detectors hyper parameters. In this work, we propose the use of Black box optimization methods to tune the prior default box scales in Faster R CNN and SSD, using Bayesian Optimization, SMAC, and CMA ES. We show that by tuning the input image size and prior box anchor scale on Faster R CNN mAP increases by 2 on PASCAL VOC 2007, and by 3 with SSD. On the COCO dataset with SSD there are mAP improvement in the medium and large objects, but mAP decreases by 1 in small objects. We also perform a regression analysis to find the significant hyper parameters to tune.


Modulated Self attention Convolutional Network for VQA. As new data sets for real world visual reasoning and compositional question answering are emerging, it might be needed to use the visual feature extraction as a end to end process during training. This small contribution aims to suggest new ideas to improve the visual processing of traditional convolutional network for visual question answering (VQA). In this paper, we propose to modulate by a linguistic input a CNN augmented with self attention. We show encouraging relative improvements for future research in this direction.


Asymptotic spreading of interacting species with multiple fronts II Exponentially decaying initial data. This is part two of our study on the spreading properties of the Lotka Volterra competition diffusion systems with a stable coexistence state. We focus on the case when the initial data are exponential decaying. By establishing a comparison principle for Hamilton Jacobi equations, we are able to apply the Hamilton Jacobi approach for Fisher KPP equation due to Freidlin, Evans and Souganidis. As a result, the exact formulas of spreading speeds and their dependence on initial data are derived. Our results indicate that sometimes the spreading speed of the slower species is nonlocally determined. Connections of our results with the traveling profile due to Tang and Fife, as well as the more recent spreading result of Girardin and Lam, will be discussed.


Local criteria for the unit equation and the asymptotic Fermat's Last Theorem. Let F be a totally real number field of odd degree. We prove several purely local criteria for the asymptotic Fermat's Last Theorem to hold over F, and also for the non existence of solutions to the unit equation over F. For example, if 2 totally ramifies and 3 splits completely in F, then the asymptotic Fermat's Last Theorem holds over F.