Multi channel Deep 3D Face Recognition. Face recognition has been of great importance in many applications as a biometric for its throughput, convenience, and non invasiveness. Recent advancements in deep Convolutional Neural Network (CNN) architectures have boosted significantly the performance of face recognition based on two dimensional (2D) facial texture images and outperformed the previous state of the art using conventional methods. However, the accuracy of 2D face recognition is still challenged by the change of pose, illumination, make up, and expression. On the other hand, the geometric information contained in three dimensional (3D) face data has the potential to overcome the fundamental limitations of 2D face data. We propose a multi Channel deep 3D face network for face recognition based on 3D face data. We compute the geometric information of a 3D face based on its piecewise linear triangular mesh structure and then conformally flatten geometric information along with the color from 3D to 2D plane to leverage the state of the art deep CNN architectures. We modify the input layer of the network to take images with nine channels instead of three only such that more geometric information can be explicitly fed to it. We pre train the network using images from the VGG Face cite Parkhi2015 and then fine tune it with the generated multi channel face images. The face recognition accuracy of the multi Channel deep 3D face network has achieved 98.6. The experimental results also clearly show that the network performs much better when a 9 channel image is flattened to plane based on the conformal map compared with the orthographic projection.


Uncertainty aware Self supervised 3D Data Association. 3D object trackers usually require training on large amounts of annotated data that is expensive and time consuming to collect. Instead, we propose leveraging vast unlabeled datasets by self supervised metric learning of 3D object trackers, with a focus on data association. Large scale annotations for unlabeled data are cheaply obtained by automatic object detection and association across frames. We show how these self supervised annotations can be used in a principled manner to learn point cloud embeddings that are effective for 3D tracking. We estimate and incorporate uncertainty in self supervised tracking to learn more robust embeddings, without needing any labeled data. We design embeddings to differentiate objects across frames, and learn them using uncertainty aware self supervised training. Finally, we demonstrate their ability to perform accurate data association across frames, towards effective and accurate 3D tracking. Project videos and code are at https jianrenw.github.io Self Supervised 3D Data Association.


A Structure based Memory Maintenance Model for Neural Tracking of Linguistic Structures. It is recently demonstrated that cortical activity can track the time courses of phrases and sentences during speech listening. Here, we propose a plausible neural processing framework to explain this phenomenon. It is argued that the brain maintains the neural representation of a linguistic unit, i.e., a word or a phrase, in a processing buffer until the unit is integrated into a higher level structure. After being integrated, the unit is removed from the buffer and becomes activated long term memory. In this model, the duration each unit is maintained in the processing buffer depends on the linguistic structure of the speech input. It is shown that the number of items retained in the processing buffer follows the time courses of phrases and sentences, in line with neurophysiological data, whether the syntactic structure of a sentence is mentally parsed using a bottom up or top down predictive model. This model generates a range of testable predictions about the link between linguistic structures, their dynamic psychological representations and their neural underpinnings.


Using an interpretable Machine Learning approach to study the drivers of International Migration. Globally increasing migration pressures call for new modelling approaches in order to design effective policies. It is important to have not only efficient models to predict migration flows but also to understand how specific parameters influence these flows. In this paper, we propose an artificial neural network (ANN) to model international migration. Moreover, we use a technique for interpreting machine learning models, namely Partial Dependence Plots (PDP), to show that one can well study the effects of drivers behind international migration. We train and evaluate the model on a dataset containing annual international bilateral migration from 1960 to 2010 from 175 origin countries to 33 mainly OECD destinations, along with the main determinants as identified in the migration literature. The experiments carried out confirm that 1) the ANN model is more efficient w.r.t. a traditional model, and 2) using PDP we are able to gain additional insights on the specific effects of the migration drivers. This approach provides much more information than only using the feature importance information used in previous works.


From Pixel to Patch Synthesize Context aware Features for Zero shot Semantic Segmentation. Zero shot learning has been actively studied for image classification task to relieve the burden of annotating image labels. Interestingly, semantic segmentation task requires more labor intensive pixel wise annotation, but zero shot semantic segmentation has only attracted limited research interest. Thus, we focus on zero shot semantic segmentation, which aims to segment unseen objects with only category level semantic representations provided for unseen categories. In this paper, we propose a novel Context aware feature Generation Network (CaGNet), which can synthesize context aware pixel wise visual features for unseen categories based on category level semantic representations and pixel wise contextual information. The synthesized features are used to finetune the classifier to enable segmenting unseen objects. Furthermore, we extend pixel wise feature generation and finetuning to patch wise feature generation and finetuning, which additionally considers inter pixel relationship. Experimental results on Pascal VOC, Pascal Context, and COCO stuff show that our method significantly outperforms the existing zero shot semantic segmentation methods. Code is available at https github.com bcmi CaGNetv2 Zero Shot Semantic Segmentation.


Forcing Hamiltonicity in locally finite graphs via forbidden induced subgraphs I nets and bulls. In a series of papers, of which this is the first, we study sufficient conditions for Hamiltonicity in terms of forbidden induced subgraphs and extend such results to locally finite infinite graphs. For this we use topological circles within the Freudenthal compactification of a locally finite graph as infinite cycles. In this paper we focus on conditions involving claws, nets and bulls as induced subgraphs. We extend Hamiltonicity results for finite claw free and net free graphs by Shepherd to locally finite graphs. Moreover, we generalise a classification of finite claw free and net free graphs by Shepherd to locally finite ones. Finally, we extend to locally finite graphs a Hamiltonicity result by Ryj ' a v c ek involving a relaxed condition of being bull free.


Compression and Symmetry of Small World Graphs and Structures. For various purposes and, in particular, in the context of data compression, a graph can be examined at three levels. Its structure can be described as the unlabeled version of the graph then the labeling of its structure can be added and finally, given then structure and labeling, the contents of the labels can be described. Determining the amount of information present at each level and quantifying the degree of dependence between them, requires the study of symmetry, graph automorphism, entropy, and graph compressibility. In this paper, we focus on a class of small world graphs. These are geometric random graphs where vertices are first connected to their nearest neighbors on a circle and then pairs of non neighbors are connected according to a distance dependent probability distribution. We establish the degree distribution of this model, and use it to prove the model's asymmetry in an appropriate range of parameters. Then we derive the relevant entropy and structural entropy of these random graphs, in connection with graph compression.


On the Odd Cycle Game and Connected Rules. We study the positional game where two players, Maker and Breaker, alternately select respectively 1 and b previously unclaimed edges of K n . Maker wins if she succeeds in claiming all edges of some odd cycle in K n and Breaker wins otherwise. Improving on a result of Bednarska and Pikhurko, we show that Maker wins the odd cycle game if b leq ((4 sqrt 6 ) 5 o(1)) n . We furthermore introduce "connected rules" and study the odd cycle game under them, both in the Maker Breaker as well as in the Client Waiter variant.


Iterative regularization algorithms for image denoising with the TV Stokes model. We propose a set of iterative regularization algorithms for the TV Stokes model to restore images from noisy images with Gaussian noise. These are some extensions of the iterative regularization algorithm proposed for the classical Rudin Osher Fatemi (ROF) model for image reconstruction, a single step model involving a scalar field smoothing, to the TV Stokes model for image reconstruction, a two steps model involving a vector field smoothing in the first and a scalar field smoothing in the second. The iterative regularization algorithms proposed here are Richardson's iteration like. We have experimental results that show improvement over the original method in the quality of the restored image. Convergence analysis and numerical experiments are presented.


Generative Adversarial Networks for Video to Video Domain Adaptation. Endoscopic videos from multicentres often have different imaging conditions, e.g., color and illumination, which make the models trained on one domain usually fail to generalize well to another. Domain adaptation is one of the potential solutions to address the problem. However, few of existing works focused on the translation of video based data. In this work, we propose a novel generative adversarial network (GAN), namely VideoGAN, to transfer the video based data across different domains. As the frames of a video may have similar content and imaging conditions, the proposed VideoGAN has an X shape generator to preserve the intra video consistency during translation. Furthermore, a loss function, namely color histogram loss, is proposed to tune the color distribution of each translated frame. Two colonoscopic datasets from different centres, i.e., CVC Clinic and ETIS Larib, are adopted to evaluate the performance of domain adaptation of our VideoGAN. Experimental results demonstrate that the adapted colonoscopic video generated by our VideoGAN can significantly boost the segmentation accuracy, i.e., an improvement of 5 , of colorectal polyps on multicentre datasets. As our VideoGAN is a general network architecture, we also evaluate its performance with the CamVid driving video dataset on the cloudy to sunny translation task. Comprehensive experiments show that the domain gap could be substantially narrowed down by our VideoGAN.


Atomicity and Density of Puiseux Monoids. A Puiseux monoid is a submonoid of ( mathbb Q , ) consisting of nonnegative rational numbers. Although the operation of addition is continuous with respect to the standard topology, the set of irreducibles of a Puiseux monoid is, in general, difficult to describe. In this paper, we use topological density to understand how much a Puiseux monoid, as well as its set of irreducibles, spread through mathbb R ge 0 . First, we separate Puiseux monoids according to their density in mathbb R ge 0 , and we characterize monoids in each of these classes in terms of generating sets and sets of irreducibles. Then we study the density of the difference group, the root closure, and the conductor semigroup of a Puiseux monoid. Finally, we prove that every Puiseux monoid generated by a strictly increasing sequence of rationals is nowhere dense in mathbb R ge 0 and has empty conductor.


Adaptive extra gradient methods for min max optimization and games. We present a new family of min max optimization algorithms that automatically exploit the geometry of the gradient data observed at earlier iterations to perform more informative extra gradient steps in later ones. Thanks to this adaptation mechanism, the proposed method automatically detects whether the problem is smooth or not, without requiring any prior tuning by the optimizer. As a result, the algorithm simultaneously achieves order optimal convergence rates, i.e., it converges to an varepsilon optimal solution within mathcal O (1 varepsilon) iterations in smooth problems, and within mathcal O (1 varepsilon 2) iterations in non smooth ones. Importantly, these guarantees do not require any of the standard boundedness or Lipschitz continuity conditions that are typically assumed in the literature in particular, they apply even to problems with singularities (such as resource allocation problems and the like). This adaptation is achieved through the use of a geometric apparatus based on Finsler metrics and a suitably chosen mirror prox template that allows us to derive sharp convergence rates for the methods at hand.


Decentralized utility and locality aware replication for heterogeneous DHT based P2P cloud storage systems. As a Distributed Hash Table (DHT), Skip Graph routing overlays are exploited in several peer to peer (P2P) services, including P2P cloud storage. The fully decentralized replication algorithms that are applicable to the Skip Graph based P2P cloud storage fail on improving the performance of the system with respect to both the availability of replicas as well as their response time. Additionally, they presume the system as homogeneous with respect to the nodes' latency distribution, availability behavior, bandwidth, or storage. In this paper, we propose Pyramid, which is the first fully decentralized utility and locality aware replication approach for Skip Graph based P2P cloud storage systems. Pyramid considers the nodes as heterogeneous with respect to their latency distribution, availability behavior, bandwidth, and storage. Pyramid is utility aware as it maximizes the average available bandwidth of replicas per time slot (e.g., per hour). Additionally, Pyramid is locality aware as it minimizes the average latency between nodes and their closest replica. Our simulation results show that compared to the state of the art solutions that either perform good in utility awareness, or in locality awareness, our proposed Pyramid improves both the utility and locality awareness of replicas with a gain of about 1.2 and 1.1 times at the same time, respectively.


Closely spaced co rotating helical vortices General solutions. In this work, we present general solutions for closely spaced co rotating helical vortices using a filament approach. For these vortex structures, helical symmetry is broken, but solutions maintain a form of spatial periodicity. We show there exists a moving frame where vortex elements move along the structure without distorting it. These solutions can be used to characterize the evolution of the twin tip vortices produced in the wake of a tip splitting rotor blade. The resulting wake has a dual nature. Locally, the structure behaves much like an helical pair aligned with the locally tangent flow. However, as we move away from the vortex structure the induced flow is reminiscent of an 'equivalent' helical vortex with thicker core.


EQUS helping to see formulae. Visualisation is often presented as a means of simplifying information and helping people understand complex data. In this paper we describe the design, development and evaluation of an interactive visualisation for spreadsheet formulae (EQUS). The work is justified on the grounds that these are widely used tools for significant numerical processing and modeling, yet the formula developed can be easily misunderstood. The development process was one of iterative refinement engaging an initial target audience of mid teen learners, involving re design and formative evaluation. The resulting visualisation techniques have been found to be broadly relevant to spreadsheet users beyond the initial target audience. EQUS has since been developed as fully integrated plug in for MS Excel.


Third method for generation of spectral holes in chiral sculptured thin films. The introduction of either a central layer defect or a central twist defect in a periodic structurally chiral material generates circular polarization sensitive spectral holes in the remittance spectrums for normally incident plane waves. We propose and theoretically establish here the third method to generate such spectral holes using two section chiral sculptured thin films (STFs). Both sections of the proposed device have the same periodicity and handedness, but their dielectric properties are different and related in a specific way. The concept of pseudoisotropy is highly relevant for the production of the proposed device.


InternalBlue Bluetooth Binary Patching and Experimentation Framework. Bluetooth is one of the most established technologies for short range digital wireless data transmission. With the advent of wearables and the Internet of Things (IoT), Bluetooth has again gained importance, which makes security research and protocol optimizations imperative. Surprisingly, there is a lack of openly available tools and experimental platforms to scrutinize Bluetooth. In particular, system aspects and close to hardware protocol layers are mostly uncovered. We reverse engineer multiple Broadcom Bluetooth chipsets that are widespread in off the shelf devices. Thus, we offer deep insights into the internal architecture of a popular commercial family of Bluetooth controllers used in smartphones, wearables, and IoT platforms. Reverse engineered functions can then be altered with our InternalBlue Python framework outperforming evaluation kits, which are limited to documented and vendor defined functions. The modified Bluetooth stack remains fully functional and high performance. Hence, it provides a portable low cost research platform. InternalBlue is a versatile framework and we demonstrate its abilities by implementing tests and demos for known Bluetooth vulnerabilities. Moreover, we discover a novel critical security issue affecting a large selection of Broadcom chipsets that allows executing code within the attacked Bluetooth firmware. We further show how to use our framework to fix bugs in chipsets out of vendor support and how to add new security features to Bluetooth firmware.


Weighted counting of Bruhat paths by shifted R polynomials. We revisit R polynomials with introducing the new idea shifted R polynomials" (or Bruhat weight) for all Bruhat intervals in finite Coxeter groups. Then, we apply these polynomials to weighted counting of Bruhat paths. Further, we prove a new criterion of irregularity of lower intervals as analogy of Carrell Peterson's and Dyer's results. Also, we present the upper bound of shifted R polynomials for Bruhat intervals of fixed length by Jacobsthal numbers.


Linear maps characterized by special products on standard operator algebras. Let A be a unital standard algebra on a complex Banach space X with dimX 1. We characterize the linear maps D T A B(X) satisfying aT(b) D(a)b 0 whenever a,b in A are such that ab 0.


An infinite presentation for the twist subgroup of the mapping class group of a compact non orientable surface. A finite presentation for the subgroup of the mapping class group of a compact non orientable surface generated by all Dehn twists was given by Stukow. In this paper, we give an infinite presentation for this group, mainly using the presentation given by Stukow and Birman exact sequences on mapping class groups of non orientable surfaces.


Hate Speech Detection and Racial Bias Mitigation in Social Media based on BERT model. Disparate biases associated with datasets and trained classifiers in hateful and abusive content identification tasks have raised many concerns recently. Although the problem of biased datasets on abusive language detection has been addressed more frequently, biases arising from trained classifiers have not yet been a matter of concern. Here, we first introduce a transfer learning approach for hate speech detection based on an existing pre trained language model called BERT and evaluate the proposed model on two publicly available datasets annotated for racism, sexism, hate or offensive content on Twitter. Next, we introduce a bias alleviation mechanism in hate speech detection task to mitigate the effect of bias in training set during the fine tuning of our pre trained BERT based model. Toward that end, we use an existing regularization method to reweight input samples, thereby decreasing the effects of high correlated training set' s n grams with class labels, and then fine tune our pre trained BERT based model with the new re weighted samples. To evaluate our bias alleviation mechanism, we employ a cross domain approach in which we use the trained classifiers on the aforementioned datasets to predict the labels of two new datasets from Twitter, AAE aligned and White aligned groups, which indicate tweets written in African American English (AAE) and Standard American English (SAE) respectively. The results show the existence of systematic racial bias in trained classifiers as they tend to assign tweets written in AAE from AAE aligned group to negative classes such as racism, sexism, hate, and offensive more often than tweets written in SAE from White aligned. However, the racial bias in our classifiers reduces significantly after our bias alleviation mechanism is incorporated. This work could institute the first step towards debiasing hate speech and abusive language detection systems.


A necessary condition in a De Giorgi type conjecture for elliptic systems in infinite strips. Given a bounded Lipschitz domain omega subset mathbb R d 1 and a lower semicontinuous function W mathbb R N to mathbb R cup infty that vanishes on a finite set and that is bounded from below by a positive constant at infinity, we show that every map u mathbb R times omega to mathbb R N with int mathbb R times omega big( lvert nabla u rvert 2 W(u) big) mathop mathopen mathrm d x 1 mathop mathopen mathrm d x' infty has a limit u pm in W 0 as x 1 to pm infty . The convergence holds in L 2( omega) and almost everywhere in omega . We also prove a similar result for more general potentials W in the case where the considered maps u are divergence free in mathbb R times omega with omega being the (d 1) torus and N d .


The emergence of segregation from observable markers to group specific norms. Observable social traits determine how we interact in society and remain pervasive even in our globalized world. While a popular hypothesis states that they may help promote cooperation, the alternative explanation that they facilitate coordination has gained ground in recent years. Here we explore this framework and present a model that investigates the role of ethnic markers in coordination games. We consider fixed markers characterizing agents that use reinforcement learning to update their strategies in the game. For a wide range of parameters, we observe the emergence of a collective equilibrium in which markers play an assorting role. However, if individuals are too conformists or greedy, markers fail to shape social interactions. These results extend and complement previous work focused on agent imitation and show that reinforcement learning is a good candidate to explain many instances of ethnic markers.


Joint Architecture and Knowledge Distillation in CNN for Chinese Text Recognition. The technique of distillation helps transform cumbersome neural network into compact network so that the model can be deployed on alternative hardware devices. The main advantages of distillation based approaches include simple training process, supported by most off the shelf deep learning softwares and no special requirement of hardwares. In this paper, we propose a guideline to distill the architecture and knowledge of pre trained standard CNNs simultaneously. We first make a quantitative analysis of the baseline network, including computational cost and storage overhead in different components. And then, according to the analysis results, optional strategies can be adopted to the compression of fully connected layers. For vanilla convolution layers, the proposed parsimonious convolution (ParConv) block only consisting of depthwise separable convolution and pointwise convolution is used as a direct replacement without other adjustments such as the widths and depths in the network. Finally, the knowledge distillation with multiple losses is adopted to improve performance of the compact CNN. The proposed algorithm is first verified on offline handwritten Chinese text recognition (HCTR) where the CNNs are characterized by tens of thousands of output nodes and trained by hundreds of millions of training samples. Compared with the CNN in the state of the art system, our proposed joint architecture and knowledge distillation can reduce the computational cost by 10x and model size by 8x with negligible accuracy loss. And then, by conducting experiments on one of the most popular data sets MNIST, we demonstrate the proposed approach can also be successfully applied on mainstream backbone networks.


The perfect F locality from the basic F locality over a Frobenius P category F. Let p be a prime, P a finite p group, F a Frobenius P category and F sc the full subcategory of F over the set of F selfcentralizing subgroups of P. Recently, we have understood an easy way to obtain the perfect F sc locality P sc from the basic F sc locality L b it depends on a suitable filtration of the basic F locality L b and on a vanishing cohomology result, given with more generality in 'Categorizations of limits of Grothendieck groups over a Frobenius P category'.


Skew Generalized Cyclic Code over R x 1 sigma 1, delta 1 x 2 sigma 2, delta 2 . This article studies two dimensional skew generalized cyclic (SGC) codes, i.e., SGC codes over the ring R x 1 sigma 1, delta 1 x 2 sigma 2, delta 2 , where R is a ring with unity. Here, we discuss the structural properties of SGC codes, and a sufficient number of examples of MDS codes are given to show the importance of our results. Also, we improve BCH lower bounds for the minimum distance of SGC codes with non zero derivation.


Generality of Lieb's Concavity Theorem. We show that Lieb's concavity theorem holds more generally for any unitarily invariant matrix function phi mathbf H n rightarrow mathbb R that is monotone and concave. Concretely, we prove the joint concavity of the function (A,B) mapsto phi big (B frac qs 2 K A ps KB frac qs 2 ) frac 1 s big on mathbf H m times mathbf H n , for any K in mathbb C m times n ,s in(0,1 ,p,q in 0,1 , p q leq 1 .


Channel Planting for Deep Neural Networks using Knowledge Distillation. In recent years, deeper and wider neural networks have shown excellent performance in computer vision tasks, while their enormous amount of parameters results in increased computational cost and overfitting. Several methods have been proposed to compress the size of the networks without reducing network performance. Network pruning can reduce redundant and unnecessary parameters from a network. Knowledge distillation can transfer the knowledge of deeper and wider networks to smaller networks. The performance of the smaller network obtained by these methods is bounded by the predefined network. Neural architecture search has been proposed, which can search automatically the architecture of the networks to break the structure limitation. Also, there is a dynamic configuration method to train networks incrementally as sub networks. In this paper, we present a novel incremental training algorithm for deep neural networks called planting. Our planting can search the optimal network architecture with smaller number of parameters for improving the network performance by augmenting channels incrementally to layers of the initial networks while keeping the earlier trained parameters fixed. Also, we propose using the knowledge distillation method for training the channels planted. By transferring the knowledge of deeper and wider networks, we can grow the networks effectively and efficiently. We evaluate the effectiveness of the proposed method on different datasets such as CIFAR 10 100 and STL 10. For the STL 10 dataset, we show that we are able to achieve comparable performance with only 7 parameters compared to the larger network and reduce the overfitting caused by a small amount of the data.


One sided topological conjugacy of topological Markov shifts, continuous full groups and Cuntz Krieger algebras. We will characterize topological conjugate one sided topological Markov shifts in terms of their subgroups of continuous full groups and subalgebras of Cuntz Krieger algebras.


Topographic Deep Artificial Neural Networks (TDANNs) predict face selectivity topography in primate inferior temporal (IT) cortex. Deep convolutional neural networks are biologically driven models that resemble the hierarchical structure of primate visual cortex and are the current best predictors of the neural responses measured along the ventral stream. However, the networks lack topographic properties that are present in the visual cortex, such as orientation maps in primary visual cortex and category selective maps in inferior temporal (IT) cortex. In this work, the minimum wiring cost constraint was approximated as an additional learning rule in order to generate topographic maps of the networks. We found that our topographic deep artificial neural networks (ANNs) can reproduce the category selectivity maps of the primate IT cortex.


Do wind generated waves under steady forcing propagate primarily in the downwind direction?. Measuring the directional distribution of ocean waves is a difficult task in ocean wave research. For many decades, wind generated waves are assumed to propagate primarily in the wind direction. The concept is applied either implicitly or explicitly in the formulation of the wind input function and the design of the wave directional distribution function. Photographs of the ocean surface wave fields under steady wind forcing, however, display very different directional properties. In the near shore region, the surface undulations are dominantly crosswind. As the fetch increases, the geometry of surface waves is crosshatched, indicating two dominant wave trains crossing each other. This pattern of wave propagation in off wind directions is repeatedly photographed in different locations under different offshore (toward) wind events. The wavelengths of these airborne photographs are in the deca meter length scale. Shorter waves with wavelengths ranging from a few centimeters to a few decimeters also show crosshatched patterns, based on pictures taken from land and ship. In the crosshatched cases, most pictures show that the wind vector bisecting the diamond shape of the surface wave geometry. The observed wave geometries and their fetch evolution expose a major flaw in our fundamental assumption (implicitly or explicitly) that "wind generated waves propagate primarily in the wind direction." The assumption has been taken for granted for many decades in applications including basic research of wave dynamics and the design of directional wave spectral model for calculations of the ocean surface roughness and the force, energy, and momentum of a wave field.


Well posedness and Regularity for Distribution Dependent SPDEs with Singular Drifts. In this paper, the distribution dependent stochastic differential equation in a separable Hilbert space with a Dini continuous drift is investigated. The existence and uniqueness of weak and strong solutions are obtained. Moreover, some regularity results as well as gradient estimates and log Harnack inequality are derived for the associated semigroup. In addition, dimensional free Harnack inequality with power and shift Harnack inequality are also proved when the noise is additive. All of the results extend the ones in the distribution independent situation.


Improved error estimates for Hybrid High Order discretizations of Leray Lions problems. We derive novel error estimates for Hybrid High Order (HHO) discretizations of Leray Lions problems set in W (1,p) with p in (1,2 . Specifically, we prove that, depending on the degeneracy of the problem, the convergence rate may vary between (k 1)(p 1) and (k 1), with k denoting the degree of the HHO approximation. These regime dependent error estimates are illustrated by a complete panel of numerical experiments.


Modelling Fog Offloading Performance. Fog computing has emerged as a computing paradigm aimed at addressing the issues of latency, bandwidth and privacy when mobile devices are communicating with remote cloud services. The concept is to offload compute services closer to the data. However many challenges exist in the realisation of this approach. During offloading, (part of) the application underpinned by the services may be unavailable, which the user will experience as down time. This paper describes work aimed at building models to allow prediction of such down time based on metrics (operational data) of the underlying and surrounding infrastructure. Such prediction would be invaluable in the context of automated Fog offloading and adaptive decision making in Fog orchestration. Models that cater for four container based stateless and stateful offload techniques, namely Save and Load, Export and Import, Push and Pull and Live Migration, are built using four (linear and non linear) regression techniques. Experimental results comprising over 42 million data points from multiple lab based Fog infrastructure are presented. The results highlight that reasonably accurate predictions (measured by the coefficient of determination for regression models, mean absolute percentage error, and mean absolute error) may be obtained when considering 25 metrics relevant to the infrastructure.


Shear flow in a three dimensional complex plasma in microgravity conditions. Shear flow in a three dimensional complex plasma was experimentally studied in microgravity conditions using Plasmakristall 4 (PK 4) instrument on board the International Space Station (ISS). The shear flow was created in an extended suspension of microparticles by applying the radiation pressure force of the manipulation laser beam. Individual particle trajectories in the flow were analyzed and from these, using the Navier Stokes equation, an upper estimate of the complex plasma's kinematic viscosity was calculated in the range of 0.2 6.7 rm mm 2 s . This estimate is much lower than previously reported in ground based experiments with 3D complex plasmas. Possible reasons of this difference are discussed.


Artificial Intelligence from Research to Application the Upper Rhine Artificial Intelligence Symposium (UR AI 2019). The TriRhenaTech alliance universities and their partners presented their competences in the field of artificial intelligence and their cross border cooperations with the industry at the tri national conference 'Artificial Intelligence from Research to Application' on March 13th, 2019 in Offenburg. The TriRhenaTech alliance is a network of universities in the Upper Rhine Trinational Metropolitan Region comprising of the German universities of applied sciences in Furtwangen, Kaiserslautern, Karlsruhe, and Offenburg, the Baden Wuerttemberg Cooperative State University Loerrach, the French university network Alsace Tech (comprised of 14 'grandes 'ecoles' in the fields of engineering, architecture and management) and the University of Applied Sciences and Arts Northwestern Switzerland. The alliance's common goal is to reinforce the transfer of knowledge, research, and technology, as well as the cross border mobility of students.


Asymptotics of fundamental solutions for time fractional equations with convolution kernels. The paper deals with the large time asymptotic of the fundamental solution for a time fractional evolution equation for a convolution type operator. In this equation we use a Caputo time derivative of order alpha with alpha in(0,1) , and assume that the convolution kernel of the spatial operator is symmetric, integrable and shows a super exponential decay at infinity. Under these assumptions we describe the point wise asymptotic behavior of the fundamental solution in all space time regions.


Monads and Quantitative Equational Theories for Nondeterminism and Probability. The monad of convex sets of probability distributions is a well known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work we lift this monad from the category of sets to the category of metric spaces, by means of the Hausdorff and Kantorovich metric liftings. Our main result is the presentation of this lifted monad in terms of the quantitative equational theory of convex semilattices, using the framework of quantitative algebras recently introduced by Mardare, Panangaden and Plotkin.


Turbulent kinetic energy in 2D isothermal interchange dominated scrape off layer ExB drift turbulence Governing equation and relation to particle transport. This paper studies the turbulent kinetic energy ( k perp ) in 2D isothermal electrostatic interchange dominated ExB drift turbulence in the scrape off layer and its relation to particle transport. An evolution equation for the former is analytically derived from the underlying turbulence equations. Evaluating this equation shows that the dominant source for the turbulent kinetic energy is due to interchange drive, while the parallel current loss to the sheath constitutes the main sink. Perpendicular transport of the turbulent kinetic energy seems to play a minor role in the balance equation. Reynolds stress energy transfer also seems to be negligible, presumably because no significant shear flow develops under the given assumptions of isothermal sheath limited conditions in the open field line region. The interchange source of the turbulence is analytically related to the average turbulent ExB energy flux, while a regression analysis of TOKAM2D data suggests a model that is linear in the turbulent kinetic energy for the sheath loss. A similar regression analysis yields a diffusive model for the average radial particle flux, in which the anomalous diffusion coefficient scales with the square root of the turbulent kinetic energy. Combining these three components, a closed set of equations for the mean field particle transport is obtained, in which the source of the turbulence depends on mean flow gradients and k perp through the particle flux, while the turbulence is saturated by parallel losses to the sheath. Implementation of this new model in a 1D mean field code shows good agreement with the original TOKAM2D data over a range of model parameters.


Mining customer product reviews for product development A summarization process. This research set out to identify and structure from online reviews the words and expressions related to customers' likes and dislikes to guide product development. Previous methods were mainly focused on product features. However, reviewers express their preference not only on product features. In this paper, based on an extensive literature review in design science, the authors propose a summarization model containing multiples aspects of user preference, such as product affordances, emotions, usage conditions. Meanwhile, the linguistic patterns describing these aspects of preference are discovered and drafted as annotation guidelines. A case study demonstrates that with the proposed model and the annotation guidelines, human annotators can structure the online reviews with high inter agreement. As high inter agreement human annotation results are essential for automatizing the online review summarization process with the natural language processing, this study provides materials for the future study of automatization.


Curvature dimension conditions for diffusions under time change. We derive precise transformation formulas for synthetic lower Ricci bounds under time change. More precisely, for local Dirichlet forms we study how the curvature dimension condition in the sense of Bakry Emery will transform under time change. Similarly, for metric measure spaces we study how the curvature dimension condition in the sense of Lott Sturm Villani will transform under time change.


Approximate mathbb F 2 Sketching of Valuation Functions. We study the problem of constructing a linear sketch of minimum dimension that allows approximation of a given real valued function f colon mathbb F 2 n rightarrow mathbb R with small expected squared error. We develop a general theory of linear sketching for such functions through which we analyze their dimension for most commonly studied types of valuation functions additive, budget additive, coverage, alpha Lipschitz submodular and matroid rank functions. This gives a characterization of how many bits of information have to be stored about the input x so that one can compute f under additive updates to its coordinates. Our results are tight in most cases and we also give extensions to the distributional version of the problem where the input x in mathbb F 2 n is generated uniformly at random. Using known connections with dynamic streaming algorithms, both upper and lower bounds on dimension obtained in our work extend to the space complexity of algorithms evaluating f(x) under long sequences of additive updates to the input x presented as a stream. Similar results hold for simultaneous communication in a distributed setting.


On the minimal diameter of closed hyperbolic surfaces. We prove that the minimal diameter of a hyperbolic compact orientable surface of genus g is asymptotic to log g as g to infty . The proof relies on a random construction, which we analyse using lattice point counting theory and the exploration of random trivalent graphs.


Encoding Linear Constraints into SAT. Linear integer constraints are one of the most important constraints in combinatorial problems since they are commonly found in many practical applications. Typically, encodings to Boolean satisfiability (SAT) format of conjunctive normal form perform poorly in problems with these constraints in comparison with SAT modulo theories (SMT), lazy clause generation (LCG) or mixed integer programming (MIP) solvers. In this paper we explore and categorize SAT encodings for linear integer constraints. We define new SAT encodings based on multi valued decision diagrams, and sorting networks. We compare different SAT encodings of linear constraints and demonstrate where one may be preferable to another. We also compare SAT encodings against other solving methods and show they can be better than linear integer (MIP) solvers and sometimes better than LCG or SMT solvers on appropriate problems. Combining the new encoding with lazy decomposition, which during runtime only encodes constraints that are important to the solving process that occurs, gives the best option for many highly combinatorial problems involving linear constraints.


Transition Fronts of Fisher KPP Equations in Locally Spatially Inhomogeneous Patchy Environments I Existence and Non existence. This paper is devoted to the study of spatial propagation dynamics of species in locally spatially inhomogeneous patchy environments or media. For a lattice differential equation with monostable nonlinearity in a discrete homogeneous media, it is well known that there exists a minimal wave speed such that a traveling front exists if and only if the wave speed is not slower than this minimal wave speed. We shall show that strongly localized spatial inhomogeneous patchy environments may prevent the existence of transition fronts (generalized traveling fronts). Transition fronts may exist in weakly localized spatial inhomogeneous patchy environments but only in a finite range of speeds, which implies that it is plausible to obtain a maximal wave speed of existence of transition fronts.


HVNet Hybrid Voxel Network for LiDAR Based 3D Object Detection. We present Hybrid Voxel Network (HVNet), a novel one stage unified network for point cloud based 3D object detection for autonomous driving. Recent studies show that 2D voxelization with per voxel PointNet style feature extractor leads to accurate and efficient detector for large 3D scenes. Since the size of the feature map determines the computation and memory cost, the size of the voxel becomes a parameter that is hard to balance. A smaller voxel size gives a better performance, especially for small objects, but a longer inference time. A larger voxel can cover the same area with a smaller feature map, but fails to capture intricate features and accurate location for smaller objects. We present a Hybrid Voxel network that solves this problem by fusing voxel feature encoder (VFE) of different scales at point wise level and project into multiple pseudo image feature maps. We further propose an attentive voxel feature encoding that outperforms plain VFE and a feature fusion pyramid network to aggregate multi scale information at feature map level. Experiments on the KITTI benchmark show that a single HVNet achieves the best mAP among all existing methods with a real time inference speed of 31Hz.


VeriSmart A Highly Precise Safety Verifier for Ethereum Smart Contracts. We present VeriSmart, a highly precise verifier for ensuring arithmetic safety of Ethereum smart contracts. Writing safe smart contracts without unintended behavior is critically important because smart contracts are immutable and even a single flaw can cause huge financial damage. In particular, ensuring that arithmetic operations are safe is one of the most important and common security concerns of Ethereum smart contracts nowadays. In response, several safety analyzers have been proposed over the past few years, but state of the art is still unsatisfactory no existing tools achieve high precision and recall at the same time, inherently limited to producing annoying false alarms or missing critical bugs. By contrast, VeriSmart aims for an uncompromising analyzer that performs exhaustive verification without compromising precision or scalability, thereby greatly reducing the burden of manually checking undiscovered or incorrectly reported issues. To achieve this goal, we present a new domain specific algorithm for verifying smart contracts, which is able to automatically discover and leverage transaction invariants that are essential for precisely analyzing smart contracts. Evaluation with real world smart contracts shows that VeriSmart can detect all arithmetic bugs with a negligible number of false alarms, far outperforming existing analyzers.


MIMAMO Net Integrating Micro and Macro motion for Video Emotion Recognition. Spatial temporal feature learning is of vital importance for video emotion recognition. Previous deep network structures often focused on macro motion which extends over long time scales, e.g., on the order of seconds. We believe integrating structures capturing information about both micro and macro motion will benefit emotion prediction, because human perceive both micro and macro expressions. In this paper, we propose to combine micro and macro motion features to improve video emotion recognition with a two stream recurrent network, named MIMAMO (Micro Macro Motion) Net. Specifically, smaller and shorter micro motions are analyzed by a two stream network, while larger and more sustained macro motions can be well captured by a subsequent recurrent network. Assigning specific interpretations to the roles of different parts of the network enables us to make choice of parameters based on prior knowledge choices that turn out to be optimal. One of the important innovations in our model is the use of interframe phase differences rather than optical flow as input to the temporal stream. Compared with the optical flow, phase differences require less computation and are more robust to illumination changes. Our proposed network achieves state of the art performance on two video emotion datasets, the OMG emotion dataset and the Aff Wild dataset. The most significant gains are for arousal prediction, for which motion information is intuitively more informative. Source code is available at https github.com wtomin MIMAMO Net.


Comparative Analysis of State of the Art EDoS Mitigation Techniques in Cloud Computing Environment. A new variant of the DDoS attack, called Economic Denial of Sustainability attack has emerged. Since the cloud service is based on the pay per use model, the EDoS attack endeavors to scale up the resource usage over time to the point the purveyor of the server is financially incapable of sustaining the service due to the incurred unaffordable usage charges. The implication of the EDoS attack is a major security implication as more elastic cloud services are being deployed. Existing techniques to detect and mitigate such attacks are either have low accuracy or ineffective and, in some cases, aggravate the attack even further. Therefore, an Enhanced Mitigation Mechanism is proposed to address these shortcomings using OpenFlow and statistical techniques, i.e. Hellinger Distance and Entropy. The experiments clearly depicted that EMM is able to detect and mitigate EDoS attacks with high accuracy and it is effective in terms of resource utilization compared to existing mitigation techniques. Thus, can be deployed in the cloud environment without the need for additional resource requirements.


A Photonic Integrated Circuit based Compressive Sensing Radio Frequency Receiver Using Waveguide Speckle. A photonic integrated circuit (PIC) comprised of an 11 cm multimode speckle waveguide, a 1x32 splitter, and a linear grating coupler array is fabricated and utilized to receive 2 GHz of radio frequency (RF) signal bandwidth from 2.5 to 4.5 GHz using compressive sensing (CS). Incoming RF signals are modulated onto chirped optical pulses which are input to the multimode waveguide. The multimode waveguide produces the random projections needed for CS via optical speckle. The time varying phase and amplitude of two test RF signals between 2.5 and 4.5 GHz are successfully recovered using the standard penalized l 1 norm method. The use of a passive PIC serves as an initial step towards the miniaturization of a compressive sensing RF receiver.


Upper Tail For Homomorphism Counts In Constrained Sparse Random Graphs. Consider the upper tail probability that the homomorphism count of a fixed graph H within a large sparse random graph G n exceeds its expected value by a fixed factor 1 delta . Going beyond the Erd H o s R 'enyi model, we establish here explicit, sharp upper tail decay rates for sparse random d n regular graphs (provided H has a regular 2 core), and for sparse uniform random graphs. We further deal with joint upper tail probabilities for homomorphism counts of multiple graphs H 1, ldots, H k (extending the known results for k 1 ), and for inhomogeneous graph ensembles (such as the stochastic block model), we bound the upper tail probability by a variational problem analogous to the one that determines its decay rate in the case of sparse Erd H o s R 'enyi graphs.


A comparison of simple models for urban morphogenesis. The spatial distribution of population and activities within urban areas, or urban form at the mesoscopic scale, is the outcome of multiple antagonist processes. We propose in this paper to benchmark different models of urban morphogenesis, to systematically compare the urban forms they can produce. Different types of approaches are included, such as a reaction diffusion model, a gravity based model, and correlated percolation. Applying a diversity search algorithm, we estimate the feasible space of each model within a space of urban form indicators, in comparison of empirical values for worldwide urban areas. We find a complementarity of the different types of processes, advocating for a plurality of urban models.


Stability and instability of traveling wave solutions to nonlinear wave equations. In this paper, we study the stability and instability of plane wave solutions to semilinear systems of wave equations satisfying the null condition. We identify a condition which allows us to prove the global nonlinear asymptotic stability of the plane wave. The proof of global stability requires us to analyze the geometry of the interaction between the background plane wave and the perturbation. When this condition is not met, we are able to prove linear instability assuming an additional genericity condition. The linear instability is shown using a geometric optics ansatz.


Error Probability Bounds for Gaussian Channels under Maximal and Average Power Constraints. This paper studies the performance of block coding on an additive white Gaussian noise channel under different power limitations at the transmitter. Lower bounds are presented for the minimum error probability of codes satisfying maximal and average power constraints. These bounds are tighter than previous results in the finite blocklength regime, and yield a better understanding on the structure of good codes under an average power limitation. Evaluation of these bounds for short and moderate blocklengths is also discussed.


Optimal Resource Allocation for Elastic and Inelastic Jobs. Modern data centers are tasked with processing heterogeneous workloads consisting of various classes of jobs. These classes differ in their arrival rates, size distributions, and job parallelizability. With respect to paralellizability, some jobs are elastic, meaning they can parallelize linearly across many servers. Other jobs are inelastic, meaning they can only run on a single server. Although job classes can differ drastically, they are typically forced to share a single cluster. When sharing a cluster among heterogeneous jobs, one must decide how to allocate servers to each job at every moment in time. In this paper, we design and analyze allocation policies which aim to minimize the mean response time across jobs, where a job's response time is the time from when it arrives until it completes. We model this problem in a stochastic setting where each job may be elastic or inelastic. Job sizes are drawn from exponential distributions, but are unknown to the system. We show that, in the common case where elastic jobs are larger on average than inelastic jobs, the optimal allocation policy is Inelastic First, giving inelastic jobs preemptive priority over elastic jobs. We obtain this result by introducing a novel sample path argument. We also show that there exist cases where Elastic First (giving priority to elastic jobs) performs better than Inelastic First. We then provide the first analysis of mean response time under both Elastic First and Inelastic First by leveraging recent techniques for solving high dimensional Markov chains.


Learning Accurate and Human Like Driving using Semantic Maps and Attention. This paper investigates how end to end driving models can be improved to drive more accurately and human like. To tackle the first issue we exploit semantic and visual maps from HERE Technologies and augment the existing Drive360 dataset with such. The maps are used in an attention mechanism that promotes segmentation confidence masks, thus focusing the network on semantic classes in the image that are important for the current driving situation. Human like driving is achieved using adversarial learning, by not only minimizing the imitation loss with respect to the human driver but by further defining a discriminator, that forces the driving model to produce action sequences that are human like. Our models are trained and evaluated on the Drive360 HERE dataset, which features 60 hours and 3000 km of real world driving data. Extensive experiments show that our driving models are more accurate and behave more human like than previous methods.


Extremal aspects of graph and hypergraph decomposition problems. We survey recent advances in the theory of graph and hypergraph decompositions, with a focus on extremal results involving minimum degree conditions. We also collect a number of intriguing open problems, and formulate new ones.


Phase retrieval of complex valued objects via a randomized Kaczmarz method. This paper investigates the convergence of the randomized Kaczmarz algorithm for the problem of phase retrieval of complex valued objects. While this algorithm has been studied for the real valued case , its generalization to the complex valued case is nontrivial and has been left as a conjecture. This paper establishes the connection between the convergence of the algorithm and the convexity of an objective function. Based on the connection, it demonstrates that when the sensing vectors are sampled uniformly from a unit sphere and the number of sensing vectors m satisfies m O(n log n) as n, m rightarrow infty , then this algorithm with a good initialization achieves linear convergence to the solution with high probability.


Decays rates for Kelvin Voigt damped wave equations II the geometric control condition. We study in this article decay rates for Kelvin Voigt damped wave equations under a geometric control condition. We prove that when the damping coefficient is sufficiently smooth ( C 1 vanishing nicely) we show that exponential decay follows from geometric control conditions (see cite BuCh, Te12 for similar results under stronger assumptions on the damping function).


First Passage Percolation on Hyperbolic groups. We study first passage percolation (FPP) on a Gromov hyperbolic group G with boundary partial G equipped with the Patterson Sullivan measure nu . We associate an i.i.d. collection of random passage times to each edge of a Cayley graph of G , and investigate classical questions about the asymptotics of first passage time as well as the geometry of geodesics in the FPP metric. Under suitable conditions on the passage time distribution, we show that the velocity' exists in nu almost every direction xi in partial G , and is almost surely constant by ergodicity of the G action on partial G . For every xi in partial G , we also show almost sure coalescence of any two geodesic rays directed towards xi . Finally, we show that the variance of the first passage time grows linearly with word distance along word geodesic rays in every fixed boundary direction. This provides an affirmative answer to a conjecture of Benjamini, Tessera, and Zeitouni.


A higher rank Euler system for the multiplicative group over a totally real field. In this paper, we construct a higher rank Euler system for the multiplicative group over a totally real field by using the Iwasawa main conjecture proved by Wiles. A key ingredient of the construction is to generalize the notion of the characteristic ideal. Under certain technical assumptions, we prove that all higher Fitting ideals of a certain p ramified Iwasawa module are described by analytic invariants canonically associated with Stickelberger elements.


Torus breakdown near a Bykov attractor a case study. There are few explicit examples in the literature of vector fields exhibiting complex dynamics that may be proved analytically. This paper reports numerical experiments performed for an explicit two parameter family of vector fields unfolding an attracting heteroclinic network, linking two saddle foci with ( mathbb SO (2) oplus mathbb Z 2) symmetry. The vector field is the restriction to mathbb S 3 of a polynomial vector field in mathbb R 4 . We investigate global bifurcations due to symmetry breaking and we detect strange attractors via a phenomenon called Torus Breakdown theory. We explain how an attracting torus gets destroyed by following the changes in the invariant manifolds of the saddle foci. Although a complete understanding of the corresponding bifurcation diagram and the mechanisms underlying the dynamical changes is still out of reach, using a combination of theoretical tools and computer simulations, we have uncovered some complex patterns for the symmetric family under analysis. This also suggests a route to obtain rotational horseshoes additionally, we give an attempt to elucidate some of the bifurcations involved in an Arnold wedge.


A posteriori error analysis for a Lagrange multiplier method for a Stokes Biot fluid poroelastic structure interaction model. In this work we develop an a posteriori error analysis of a conforming mixed finite element method for solving the coupled problem arising in the interaction between a free fluid and a fluid in a poroelastic medium on isotropic meshes in mathbb R d , d in 2,3 . The approach utilizes the semi discrete formulation proposed by Ilona Ambartsumyan et al. in (Numerische Mathematik, October 2017). The a posteriori error estimate is based on a suitable evaluation on the residual of the finite element solution. It is proven that the a posteriori error estimate provided in this paper is both reliable and efficient. The proof of reliability makes use of suitable auxiliary problems, diverse continuous inf sup conditions satisfied by the bilinear forms involved, Helmholtz decomposition, and local approximation properties of the Cl 'ement interpolant. On the other hand, inverse inequalities, and the localization technique based on simplexe bubble and face bubble functions are the main tools for proving the efficiency of the estimator. Up to minor modifications, our analysis can be extended to other finite element subspaces yielding a stable Galerkin scheme.


Reflective AR Display An Interaction Methodology for Virtual Real Alignment in Medical Robotics. Robot assisted minimally invasive surgery has shown to improve patient outcomes, as well as reduce complications and recovery time for several clinical applications. While increasingly configurable robotic arms can maximize reach and avoid collisions in cluttered environments, positioning them appropriately during surgery is complicated because safety regulations prevent automatic driving. We propose a head mounted display (HMD) based augmented reality (AR) system designed to guide optimal surgical arm set up. The staff equipped with HMD aligns the robot with its planned virtual counterpart. In this user centric setting, the main challenge is the perspective ambiguities hindering such collaborative robotic solution. To overcome this challenge, we introduce a novel registration concept for intuitive alignment of AR content to its physical counterpart by providing a multi view AR experience via reflective AR displays that simultaneously show the augmentations from multiple viewpoints. Using this system, users can visualize different perspectives while actively adjusting the pose to determine the registration transformation that most closely superimposes the virtual onto the real. The experimental results demonstrate improvement in the interactive alignment of a virtual and real robot when using a reflective AR display. We also present measurements from configuring a robotic manipulator in a simulated trocar placement surgery using the AR guidance methodology.


Open Data Quality. The research discusses how (open) data quality could be described, what should be considered developing a data quality management solution and how it could be applied to open data to check its quality. The proposed approach focuses on development of data quality specification which can be executed to get data quality evaluation results, find errors in data and possible problems which must be solved. The proposed approach is applied to several open data sets to evaluate their quality. Open data is very popular, free available for every stakeholder it is often used to make business decisions. It is important to be sure that this data is trustable and error free as its quality problems can lead to huge losses.


Entropic matroids and their representation. This paper investigates entropic matroids, that is, matroids whose rank function is given as the Shannon entropy of random variables. In particular, we consider p entropic matroids, for which the random variables each have support of cardinality p . We draw connections between such entropic matroids and secret sharing matroids and show that entropic matroids are linear matroids when p 2,3 but not when p 9 . Our results leave open the possibility for p entropic matroids to be linear whenever p is prime, with particular cases proved here. Applications of entropic matroids to coding theory and cryptography are also discussed.


Communication in Plants Comparison of Multiple Action Potential and Mechanosensitive Signals with Experiments. Both action potentials and mechanosensitive signalling are an important communication mechanisms in plants. Considering an information theoretic framework, this paper explores the effective range of multiple action potentials for a long chain of cells (i.e., up to 100) in different configurations, and introduces the study of multiple mechanosensitive activation signals (generated due to a mechanical stimulus) in plants. For both these signals, we find that the mutual information per cell and information propagation speed tends to increase up to a certain number of receiver cells. However, as the number of cells increase beyond 10 to 12, the mutual information per cell starts to decrease. To validate our model and results, we include an experimental verification of the theoretical model, using a PhytlSigns biosignal amplifier, allowing us to measure the magnitude of the voltage associated with the multiple AP and mechanosensitive activation signals induced by different stimulus in plants. Experimental data is used to calculate the mutual information and information propagation speed, which is compared with corresponding numerical results. Since these signals are used for a variety of important tasks within the plant, understanding them may lead to new bioengineering methods for plants.


Augmenting Knowledge through Statistical, Goal oriented Human Robot Dialog. Some robots can interact with humans using natural language, and identify service requests through human robot dialog. However, few robots are able to improve their language capabilities from this experience. In this paper, we develop a dialog agent for robots that is able to interpret user commands using a semantic parser, while asking clarification questions using a probabilistic dialog manager. This dialog agent is able to augment its knowledge base and improve its language capabilities by learning from dialog experiences, e.g., adding new entities and learning new ways of referring to existing entities. We have extensively evaluated our dialog system in simulation as well as with human participants through MTurk and real robot platforms. We demonstrate that our dialog agent performs better in efficiency and accuracy in comparison to baseline learning agents. Demo video can be found at https youtu.be DFB3jbHBqYE


Dense Peelable Random Uniform Hypergraphs. We describe a new family of k uniform hypergraphs with independent random edges. The hypergraphs have a high probability of being peelable, i.e. to admit no sub hypergraph of minimum degree 2 , even when the edge density (number of edges over vertices) is close to 1 . In our construction, the vertex set is partitioned into linearly arranged segments and each edge is incident to random vertices of k consecutive segments. Quite surprisingly, the linear geometry allows our graphs to be peeled "from the outside in". The density thresholds f k for peelability of our hypergraphs ( f 3 approx 0.918 , f 4 approx 0.977 , f 5 approx 0.992 , ...) are well beyond the corresponding thresholds ( c 3 approx 0.818 , c 4 approx 0.772 , c 5 approx 0.702 , ...) of standard k uniform random hypergraphs. To get a grip on f k , we analyse an idealised peeling process on the random weak limit of our hypergraph family. The process can be described in terms of an operator on functions and f k can be linked to thresholds relating to the operator. These thresholds are then tractable with numerical methods. Random hypergraphs underlie the construction of various data structures based on hashing. These data structures frequently rely on peelability of the hypergraph or peelability allows for simple linear time algorithms. To demonstrate the usefulness of our construction, we used our 3 uniform hypergraphs as a drop in replacement for the standard 3 uniform hypergraphs in a retrieval data structure by Botelho et al. This reduces memory usage from 1.23m bits to 1.12m bits ( m being the input size) with almost no change in running time.


Empirical Models for the Realistic Generation of Cooperative Awareness Messages in Vehicular Networks. Most V2X (Vehicle to Everything) applications rely on broadcasting awareness messages known as CAM (Cooperative Awareness Messages) in ETSI or BSM (Basic Safety Message) in SAE standards. A large number of studies have been devoted to guarantee their reliable transmission. However, to date, the studies are generally based on simplified data traffic models that generate awareness messages at periodic intervals or with a constant message size. These models do not accurately represent the real generation of CAM messages that follow specific mobility based rules. Using simplified and unrealistic traffic models can significantly impact the results and validity of the studies, and hence accurate models for the generation of awareness messages are necessary. This paper proposes the first set of models that can realistically generate CAM messages. The models have been created from real traces collected by two car manufacturers in urban, sub urban and highway test drives. The models are based on mth order Markov sources, and model the size of CAMs and the time interval between CAMs. The models are openly provided to the community and can be easily integrated into any simulator.


MorphGAN One Shot Face Synthesis GAN for Detecting Recognition Bias. To detect bias in face recognition networks, it can be useful to probe a network under test using samples in which only specific attributes vary in some controlled way. However, capturing a sufficiently large dataset with specific control over the attributes of interest is difficult. In this work, we describe a simulator that applies specific head pose and facial expression adjustments to images of previously unseen people. The simulator first fits a 3D morphable model to a provided image, applies the desired head pose and facial expression controls, then renders the model into an image. Next, a conditional Generative Adversarial Network (GAN) conditioned on the original image and the rendered morphable model is used to produce the image of the original person with the new facial expression and head pose. We call this conditional GAN MorphGAN. Images generated using MorphGAN conserve the identity of the person in the original image, and the provided control over head pose and facial expression allows test sets to be created to identify robustness issues of a facial recognition deep network with respect to pose and expression. Images generated by MorphGAN can also serve as data augmentation when training data are scarce. We show that by augmenting small datasets of faces with new poses and expressions improves the recognition performance by up to 9 depending on the augmentation and data scarcity.


Generating Posets Beyond N. We introduce iposets posets with interfaces equipped with a novel gluing composition along interfaces and the standard parallel composition. We study their basic algebraic properties as well as the hierarchy of gluing parallel posets generated from singletons by finitary applications of the two compositions. We show that not only series parallel posets, but also interval orders, which seem more interesting for modelling concurrent and distributed systems, can be generated, but not all posets. Generating posets is also important for constructing free algebras for concurrent semirings and Kleene algebras that allow compositional reasoning about such systems.


Modeling Adverse Conditions in the Framework of Graph Transformation Systems. The concept of adverse conditions addresses systems interacting with an adversary environment and finds use also in the development of new technologies. We present an approach for modeling adverse conditions by graph transformation systems. In contrast to other approaches for graph transformational interacting systems, the presented main constructs are graph transformation systems. We introduce joint graph transformation systems which involve a system, an interfering environment, and an automaton modeling their interaction. For joint graph transformation systems, we introduce notions of (partial) correctness under adverse conditions, which contain the correctness of the system and a recovery condition. As main result, we show that two instances of correctness, namely k step correctness (recovery in at most k steps after an environment intervention) and last minute correctness (recovery until next environment intervention) are expressible in LTL (linear temporal logic), and that a weaker notion of k step correctness is expressible in CTL (computation tree logic).


Near Data Acceleration with Concurrent Host Access. Near data accelerators (NDAs) that are integrated with main memory have the potential for significant power and performance benefits. Fully realizing these benefits requires the large available memory capacity to be shared between the host and the NDAs in a way that permits both regular memory access by some applications and accelerating others with an NDA, avoids copying data, enables collaborative processing, and simultaneously offers high performance for both host and NDA. We identify and solve new challenges in this context mitigating row locality interference from host to NDAs, reducing read write turnaround overhead caused by fine grain interleaving of host and NDA requests, architecting a memory layout that supports the locality required for NDAs and sophisticated address interleaving for host performance, and supporting both packetized and traditional memory interfaces. We demonstrate our approach in a simulated system that consists of a multi core CPU and NDA enabled DDR4 memory modules. We show that our mechanisms enable effective and efficient concurrent access using a set of microbenchmarks, and then demonstrate the potential of the system for the important stochastic variance reduced gradient (SVRG) algorithm.


Artificial intelligence technology in oncology a new technological paradigm. Artificial Intelligence (AI) technology is based on theory and development of computer systems able to perform tasks that normally require human intelligence. In this context, deep learning is a family of computational methods that allow an algorithm to program itself by learning from a large set of examples that demonstrate the desired behavior. Application of these methods to medical imaging can assist pathologists in the detection of cancer subtype, gene mutations and or metastases for applying appropriate therapies. The purpose of this study is to show the emerging application of AI in medical imaging to detect lung and breast cancer. Moreover, this study shows the comparative evolutionary pathways of this emerging technology for three critical cancers lung, breast and thyroid. A main finding of this study is the recognition that, since the late 1990, the sharp increase of technological trajectories of AI technology applied in cancer imaging seems to be driven by high rates of mortality of some types of cancer (e.g., lung and breast) in order to find new techniques for a more accurate detection, characterization and monitoring as well as to apply efficiently anticancer therapies that increase the progression free survival of patients the so called mortality driven AI technological trajectories. Results also suggest that this new technology can generate a technological paradigm shift for diagnostic assessment of any cancer type. However, application of these methods to medical imaging requires further assessment and validation to assist pathologists to increase the efficiency of their workflow in both routine tasks and critical cases of diagnostics.


Existence and uniqueness for a viscoelastic Kelvin Voigt model with nonconvex stored energy. We consider nonlinear viscoelastic materials of Kelvin Voigt type with stored energies satisfying an Andrews Ball condition, allowing for non convexity in a compact set. Existence of weak solutions with deformation gradients in H 1 is established for energies of any superquadratic growth. In two space dimensions, weak solutions notably turn out to be unique in this class. Conservation of energy for weak solutions in two and three dimensions, as well as global regularity for smooth initial data in two dimensions are established under additional mild restrictions on the growth of the stored energy.


Computational tools for twisted topological Hochschild homology of equivariant spectra. Twisted topological Hochschild homology of C n equivariant spectra was introduced by Angeltveit, Blumberg, Gerhardt, Hill, Lawson, and Mandell, building on the work of Hill, Hopkins, and Ravenel on norms in equivariant homotopy theory. In this paper we introduce tools for computing twisted THH, which we apply to computations for Thom spectra, Eilenberg MacLane spectra, and the real bordism spectrum MU mathbb R . In particular, we construct an equivariant version of the B "okstedt spectral sequence, the formulation of which requires further development of the Hochschild homology of Green functors, first introduced by Blumberg, Gerhardt, Hill, and Lawson.


Fundamental groups and path lifting for algebraic varieties. We study 3 basic questions about fundamental groups of algebraic varieties. For a morphism, is being surjective on pi 1 preserved by base change? What is the connection between openness in the Zariski and in the Euclidean topologies? Which morphisms have the path lifting property?


Spectral properties of partial automorphisms of binary rooted tree. We study asymptotics of the spectral measure of a randomly chosen partial automorphism of a rooted tree. To every partial automorphism x we assign its action matrix A x . It is shown that the uniform distribution on eigenvalues of A x converges weakly in probability to delta 0 as n to infty , where delta 0 is the delta measure concentrated at 0 .


An Empirical Study of Multi Task Learning on BERT for Biomedical Text Mining. Multi task learning (MTL) has achieved remarkable success in natural language processing applications. In this work, we study a multi task learning model with multiple decoders on varieties of biomedical and clinical natural language processing tasks such as text similarity, relation extraction, named entity recognition, and text inference. Our empirical results demonstrate that the MTL fine tuned models outperform state of the art transformer models (e.g., BERT and its variants) by 2.0 and 1.3 in biomedical and clinical domains, respectively. Pairwise MTL further demonstrates more details about which tasks can improve or decrease others. This is particularly helpful in the context that researchers are in the hassle of choosing a suitable model for new problems. The code and models are publicly available at https github.com ncbi nlp bluebert


Distribution of the Sequence m P in Elliptic Curves. Major controversy surrounds the use of Elliptic Curves in finite fields as Random Number Generators. There is little information however concerning the "randomness" of different procedures on Elliptic Curves defined over fields of characteristic 0 . The aim of this paper is to investigate the behaviour of the sequence psi m m P and then generalize to polynomial seuences of the form phi m p(m) P . We examine the behaviour of this sequence in different domains and attempt to realize for which points it is not equidistributed in mathbb C Lambda . We will first study the sequence in the space of Elliptic Curves E( mathbb C ) defined over the complex numbers and then reconsider our approach to tackle real valued Elliptic Curves. In the process we obtain the measure with respect to which the sequence psi is equidistributed in E( mathbb R ) . In Section 4 we prove that every sequence of points P n (x n,y n,1) equidistributed w.r.t. that measure is not equidistributed mod(1) with the obvious map x n to x n .


The wave breaking for Whitham type equations revisited. We prove wave breaking (shock formation) for some Whitham type equations which include the Burgers Hilbert equation, the fractional Korteweg de Vries equation, and the classical Whitham equation. The result seems to be new for the Burgers Hilbert equation. In the other cases we provide simpler proofs than the known ones.


Degenerating sequences of conformal classes and the conformal Steklov spectrum. Let Sigma be a compact surface with boundary. For a given conformal class c on Sigma the functional sigma k ( Sigma,c) is defined as the supremum of the k th normalized Steklov eigenvalue over all metrics on c . We consider the behaviour of this functional on the moduli space of conformal classes on Sigma . A precise formula for the limit of sigma k ( Sigma,c n) when the sequence c n degenerates is obtained. We apply this formula to the study of natural analogs of the Friedlander Nadirashvili invariants of closed manifolds defined as inf c sigma k ( Sigma,c) , where the infimum is taken over all conformal classes c on Sigma . We show that these quantities are equal to 2 pi k for any surface with boundary. As an application of our techniques we obtain new estimates on the k th normalized Steklov eigenvalue of a non orientable surface in terms of its genus and the number of boundary components.


Where Does It End? Reasoning About Hidden Surfaces by Object Intersection Constraints. Dynamic scene understanding is an essential capability in robotics and VR AR. In this paper we propose Co Section, an optimization based approach to 3D dynamic scene reconstruction, which infers hidden shape information from intersection constraints. An object level dynamic SLAM frontend detects, segments, tracks and maps dynamic objects in the scene. Our optimization backend completes the shapes using hull and intersection constraints between the objects. In experiments, we demonstrate our approach on real and synthetic dynamic scene datasets. We also assess the shape completion performance of our method quantitatively. To the best of our knowledge, our approach is the first method to incorporate such physical plausibility constraints on object intersections for shape completion of dynamic objects in an energy minimization framework.


Volume bounds for the quantitative singular strata of non collapsed RCD metric measure spaces. The aim of this note is to generalize to the class of non collapsed RCD(K,N) metric measure spaces the volume bound for the effective singular strata obtained by Cheeger and Naber for non collapsed Ricci limits in cite CheegerNaber13a . The proof, which is based on a quantitative differentiation argument, closely follows the original one. As a simple outcome we provide a volume estimate for the enlargement of Gigli DePhilippis' boundary ( cite Remark 3.8 DePhilippisGigli18 ) of ncRCD(K,N) spaces.


Explainable Automated Reasoning in Law using Probabilistic Epistemic Argumentation. Applying automated reasoning tools for decision support and analysis in law has the potential to make court decisions more transparent and objective. Since there is often uncertainty about the accuracy and relevance of evidence, non classical reasoning approaches are required. Here, we investigate probabilistic epistemic argumentation as a tool for automated reasoning about legal cases. We introduce a general scheme to model legal cases as probabilistic epistemic argumentation problems, explain how evidence can be modeled and sketch how explanations for legal decisions can be generated automatically. Our framework is easily interpretable, can deal with cyclic structures and imprecise probabilities and guarantees polynomial time probabilistic reasoning in the worst case.


Cartesian product sets in Diophantine approximation with large Hausdorff dimension. We find sets naturally arising in Diophantine approximation whose Cartesian products exceed the expected Hausdorff dimension, that is the sum of the single dimensions. We also address their packing dimensions. Examples include n fold products of the set of Liouville numbers as well as of the Diophantine numbers with prescribed irrationality exponent. In particular, we show that almost every real number with respect to Lebesgue measure can be written as the sum of two numbers with sufficiently large prescribed irrationality exponents. A similar result holds when restricting to classical missing digit Cantor sets. This implies that the subset of numbers with prescribed large irrationality exponent has full packing dimension, i.e. the same packing dimension as the entire Cantor set. This complements results on the Hausdorff dimension of these sets, an intensely studied topic. Our proofs extend ideas of Erd H o s.


Network Coding Gaps for Completion Times of Multiple Unicasts. We study network coding gaps for the problem of makespan minimization of multiple unicasts. In this problem distinct packets at different nodes in a network need to be delivered to a destination specific to each packet, as fast as possible. The network coding gap specifies how much coding packets together in a network can help compared to the more natural approach of routing. While makespan minimization using routing has been intensely studied for the multiple unicasts problem, no bounds on network coding gaps for this problem are known. We develop new techniques which allow us to upper bound the network coding gap for the makespan of k unicasts, proving this gap is at most polylogarithmic in k . Complementing this result, we show there exist instances of k unicasts for which this coding gap is polylogarithmic in k . Our results also hold for average completion time, and more generally any ell p norm of completion times.


Seiberg Witten Floer homotopy contact invariant. We introduce a Floer homotopy version of the contact invariant introduced by Kronheimer Mrowka Ozv 'ath Szab 'o. Moreover, we prove a gluing formula relating our invariant with the first author's Bauer Furuta type invariant, which refines Kronheimer Mrowka's invariant for 4 manifolds with contact boundary. As an application, we give a constraint for a certain class of symplectic fillings using equivariant KO cohomology.


Malicious Overtones hunting data theft in the frequency domain with one class learning. A method for detecting electronic data theft from computer networks is described, capable of recognizing patterns of remote exfiltration occurring over days to weeks. Normal traffic flow data, in the form of a host's ingress and egress bytes over time, is used to train an ensemble of one class learners. The detection ensemble is modular, with individual classifiers trained on different traffic features thought to characterize malicious data transfers. We select features that model the egress to ingress byte balance over time, periodicity, short time scale irregularity, and density of the traffic. The features are most efficiently modeled in the frequency domain, which has the added benefit that variable duration flows are transformed to a fixed size feature vector, and by sampling the frequency space appropriately, long duration flows can be tested. When trained on days or weeks worth of traffic from individual hosts, our ensemble achieves a low false positive rate ( 2 ) on a range of different system types. Simulated exfiltration samples with a variety of different timing and data characteristics were generated and used to test ensemble performance on different kinds of systems when trained on a client workstation's external traffic, the ensemble was generally successful at detecting exfiltration that is not simultaneously ingress heavy, connection sparse, and of short duration a combination that is not optimal for attackers seeking to transfer large amounts of data. Remote exfiltration is more difficult to detect from egress heavy systems, like web servers, with normal traffic exhibiting timing characteristics similar to a wide range of exfiltration types.


Automated classification of stems and leaves of potted plants based on point cloud data. The accurate classification of plant organs is a key step in monitoring the growing status and physiology of plants. A classification method was proposed to classify the leaves and stems of potted plants automatically based on the point cloud data of the plants, which is a nondestructive acquisition. The leaf point training samples were automatically extracted by using the three dimensional convex hull algorithm, while stem point training samples were extracted by using the point density of a two dimensional projection. The two training sets were used to classify all the points into leaf points and stem points by utilizing the support vector machine (SVM) algorithm. The proposed method was tested by using the point cloud data of three potted plants and compared with two other methods, which showed that the proposed method can classify leaf and stem points accurately and efficiently.


A discrete time dynamical system of stage structured wild and sterile mosquito population. We study the discrete time dynamical systems associated to a stage structured wild and sterile mosquito population. We describe all fixed points of the evolution operator (which depends on five parameters) of mosquito population and show that depending on the parameters this operator may have unique, two and infinitely many fixed points. Under some general conditions on parameters we determine type of each fixed point and give the limit points of the dynamical system. Moreover, for a special case of parameters we give full analysis of corresponding dynamical system. We give some biological interpretations of our results.


Tameness for set theory I . The paper is a first of two and aims to show that (assuming large cardinals) set theory is a tractable (and we dare to say tame) first order theory when formalized in a first order signature with natural predicate symbols for the basic definable concepts of second and third order arithmetic, and appealing to the model theoretic notions of model completeness and model companionship. Specifically we develop a general framework linking generic absoluteness results to model companionship and show that (with the required care in details) a Pi 2 property formalized in an appropriate language for second or third order number theory is forcible from some T supseteq mathsf ZFC large cardinals if and only if it is consistent with the universal fragment of T if and only if it is realized in the model companion of T . The paper is accessible to any person who has a fair acquaintance with set theory and first order logic at the level of an under graduate course in both topics however bizarre this may appear (given the results we aim to prove) no knowledge of forcing or large cardinals is required to get the proofs of its main results (if one accepts as black boxes the relevant generic absoluteness results). On the other hand familiarity with the notions of model completeness and model companionship is essential. All the necessary model theoretic background will be given in full detail. The present work expands and systematize previous results obtained with Venturi.


Chinese E Romance Analyzing and Visualizing 7.92 Million Alibaba Valentine's Day Purchases. The days that precede Valentine's Day are characterized by extensive gift shopping activities all across the globe. In China, where much shopping takes place online, there has been an explosive growth in e commerce sales during Valentine's Day over the recent years. This exploratory study investigates the extent to which each product category and each shopper group can exhibit romantic love within China's e market throughout the 2 weeks leading up to 2019 Valentine's Day. Massive data from Alibaba, the biggest e commerce retailer worldwide, are utilized to formulate an innovative romance index (RI) to quantitatively measure e romantic values for products and shoppers. On this basis, millions of shoppers, along with their millions of products purchased around Valentine's Day, are analyzed as a case study to demonstrate their love consumption and romantic gift giving. The results of the analysis are then illustrated to help understand Chinese e romance based on the perspectives of different product categories and shopper groups. This empirical information visualization also contributes to improving the segmentation, targeting, and positioning of China's e market for Valentine's Day.


Dielectric breakdown prediction with GPU accelerated BEM. The prediction of a dielectric breakdown in a high voltage device is based on criteria that evaluate the electric field along field lines. Therefore it is necessary to efficiently compute the electric field at arbitrary points in space. A boundary element method (BEM) based on an indirect formulation, realized with MPI parallel collocation, has proven to cope very well with this requirement. It deploys surface meshes only, which are easy to generate even for complex industrial geometries. The assembly of the large dense BEM matrix, as well as the iterative solution process of the resulting system and the evaluation along the field lines all require us to carry out the same type of calculation many times. Graphical processing units (GPUs) promise to be more efficient than standard processors (CPUs) in these situations. In this paper we investigate if GPU acceleration can speed up the established CPU parallel BEM solver.


Towards a Reference Architecture Model for Industrial Edge Computing. In the context of the digital transformation of the industry, whole value chains get connected across various application domains as long as economic, ecologic, or social benefits arise to do so. Under the umbrella of the Industrial Internet of Things (IIoT), traditional Operational Technology (OT) approaches are replaced or at least augmented by Information and Communication Technology (ICT) systems to facilitate this development. To meet industrial requirements, for example, related to privacy, determinism, latency, or autonomy, established Cloud Computing mechanisms are being moved closer to data sources and actuators. Depending on the context, this distributed Cloud Computing paradigm is named Edge Computing or Fog Computing and various challenges have been subject to several publications. However, a proper reference model that describes the multi dimensional problem space which is being spanned by this paradigm, seems still to be undefined. Such a model should provide orientation, put work in relation and support the identification of current and future research issues. This paper aims to fill this gap with a focus on industrial automation and follows analog models that have been developed for specific domains such as the Smart Grid Architecture Model (SGAM) and the Reference Architecture Model Industrie 4.0 (RAMI4.0). The proposed Reference Architecture Model Edge Computing (RAMEC) identifies 210 views on the Edge Computing paradigm in the manufacturing domain. Future iterations of this model might be used for the classification of relevant research, standardization, and development activities.


Characterization and classification of optimal LCD codes. Linear complementary dual (LCD) codes are linear codes that intersect with their dual trivially. We give a characterization of LCD codes over mathbb F q having large minimum weights for q in 2,3 . Using the characterization, we determine the largest minimum weights among LCD n,k codes over mathbb F q for (q,k) in (2,4), (3,2),(3,3) . Moreover, we give a complete classification of optimal LCD n,k codes over mathbb F q for (q,k) in (2,3), (2,4), (3,2),(3,3) .


Multi Armed Bandit Based Client Scheduling for Federated Learning. By exploiting the computing power and local data of distributed clients, federated learning (FL) features ubiquitous properties such as reduction of communication overhead and preserving data privacy. In each communication round of FL, the clients update local models based on their own data and upload their local updates via wireless channels. However, latency caused by hundreds to thousands of communication rounds remains a bottleneck in FL. To minimize the training latency, this work provides a multi armed bandit based framework for online client scheduling (CS) in FL without knowing wireless channel state information and statistical characteristics of clients. Firstly, we propose a CS algorithm based on the upper confidence bound policy (CS UCB) for ideal scenarios where local datasets of clients are independent and identically distributed (i.i.d.) and balanced. An upper bound of the expected performance regret of the proposed CS UCB algorithm is provided, which indicates that the regret grows logarithmically over communication rounds. Then, to address non ideal scenarios with non i.i.d. and unbalanced properties of local datasets and varying availability of clients, we further propose a CS algorithm based on the UCB policy and virtual queue technique (CS UCB Q). An upper bound is also derived, which shows that the expected performance regret of the proposed CS UCB Q algorithm can have a sub linear growth over communication rounds under certain conditions. Besides, the convergence performance of FL training is also analyzed. Finally, simulation results validate the efficiency of the proposed algorithms.


A quantum cluster algebra approach to representations of simply laced quantum affine algebras. We establish a quantum cluster algebra structure on the quantum Grothendieck ring of a certain monoidal subcategory of the category of finite dimensional representations of a simply laced quantum affine algebra. Moreover, the (q,t) characters of certain irreducible representations, among which fundamental representations, are obtained as quantum cluster variables. This approach gives a new algorithm to compute these (q,t) characters. As an application, we prove that the quantum Grothendieck ring of a larger category of representations of the Borel subalgebra of the quantum affine algebra, defined in a previous work as a quantum cluster algebra, contains indeed the well known quantum Grothendieck ring of the category of finite dimensional representations. Finally, we display our algorithm on a concrete example.