Circular chromatic number of signed graphs. A signed graph is a pair (G, sigma) , where G is a graph and sigma E(G) to , is a signature which assigns to each edge of G a sign. Various notions of coloring of signed graphs have been studied. In this paper, we extend circular coloring of graphs to signed graphs. Given a signed graph (G, sigma) a circular r coloring of (G, sigma) is an assignment psi of points of a circle of circumference r to the vertices of G such that for every edge e uv of G , if sigma(e) , then psi(u) and psi(v) have distance at least 1 , and if sigma(e) , then psi(v) and the antipodal of psi(u) have distance at least 1 . The circular chromatic number chi c(G, sigma) of a signed graph (G, sigma) is the infimum of those r for which (G, sigma) admits a circular r coloring. For a graph G , we define the signed circular chromatic number of G to be max chi c(G, sigma) sigma text is a signature of G . We study basic properties of circular coloring of signed graphs and develop tools for calculating chi c(G, sigma) . We explore the relation between the circular chromatic number and the signed circular chromatic number of graphs, and present bounds for the signed circular chromatic number of some families of graphs. In particular, we determine the supremum of the signed circular chromatic number of k chromatic graphs of large girth, of simple bipartite planar graphs, d degenerate graphs, simple outerplanar graphs and series parallel graphs. We construct a signed planar simple graph whose circular chromatic number is 4 frac 2 3 . This is based and improves on a signed graph built by Kardos and Narboni as a counterexample to a conjecture of M ' a v c ajov ' a , Raspaud, and v S koviera.


Neural Legal Judgment Prediction in English. Legal judgment prediction is the task of automatically predicting the outcome of a court case, given a text describing the case's facts. Previous work on using neural models for this task has focused on Chinese only feature based models (e.g., using bags of words and topics) have been considered in English. We release a new English legal judgment prediction dataset, containing cases from the European Court of Human Rights. We evaluate a broad variety of neural models on the new dataset, establishing strong baselines that surpass previous feature based models in three tasks (1) binary violation classification (2) multi label classification (3) case importance prediction. We also explore if models are biased towards demographic information via data anonymization. As a side product, we propose a hierarchical version of BERT, which bypasses BERT's length limitation.


Deep Learning based Wireless Resource Allocation with Application to Vehicular Networks. It has been a long held belief that judicious resource allocation is critical to mitigating interference, improving network efficiency, and ultimately optimizing wireless communication performance. The traditional wisdom is to explicitly formulate resource allocation as an optimization problem and then exploit mathematical programming to solve the problem to a certain level of optimality. Nonetheless, as wireless networks become increasingly diverse and complex, e.g., in the high mobility vehicular networks, the current design methodologies face significant challenges and thus call for rethinking of the traditional design philosophy. Meanwhile, deep learning, with many success stories in various disciplines, represents a promising alternative due to its remarkable power to leverage data for problem solving. In this paper, we discuss the key motivations and roadblocks of using deep learning for wireless resource allocation with application to vehicular networks. We review major recent studies that mobilize the deep learning philosophy in wireless resource allocation and achieve impressive results. We first discuss deep learning assisted optimization for resource allocation. We then highlight the deep reinforcement learning approach to address resource allocation problems that are difficult to handle in the traditional optimization framework. We also identify some research directions that deserve further investigation.


Directional quasi pseudo normality as sufficient conditions for metric subregularity. In this paper we study sufficient conditions for metric subregularity of a set valued map which is the sum of a single valued continuous map and a locally closed subset. First we derive a sufficient condition for metric subregularity which is weaker than the so called first order sufficient condition for metric subregularity (FOSCMS) by adding an extra sequential condition. Then we introduce a directional version of the quasi normality and the pseudo normality which is stronger than the new weak sufficient condition for metric subregularity but is weaker than the classical quasi normality and pseudo normality respectively. Moreover we introduce a nonsmooth version of the second order sufficient condition for metric subregularity and show that it is a sufficient condition for the new sufficient condition for metric sub regularity to hold. An example is used to illustrate that the directional pseduo normality can be weaker than FOSCMS. For the class of set valued maps where the single valued mapping is affine and the abstract set is the union of finitely many convex polyhedral sets, we show that the pseudo normality and hence the directional pseudo normality holds automatically at each point of the graph. Finally we apply our results to the complementarity and the Karush Kuhn Tucker systems.


Final size and convergence rate for an epidemic in heterogeneous population. We formulate a general SEIR epidemic model in a heterogenous population characterized by some trait in a discrete or continuous subset of a space R d. The incubation and recovery rates governing the evolution of each homogenous subpopulation depend upon this trait, and no restriction is assumed on the contact matrix that defines the probability for an individual of a given trait to be infected by an individual with another trait. Our goal is to derive and study the final size equation fulfilled by the limit distribution of the population. We show that this limit exists and satisfies the final size equation. The main contribution is to prove the uniqueness of this solution among the distributions smaller than the initial condition. We also establish that the dominant eigenvalue of the next generation operator (whose initial value is equal to the basic reproduction number) decreases along every trajectory until a limit smaller than 1. The results are shown to remain valid in presence of diffusion term. They generalize previous works corresponding to finite number of traits (including metapopulation models) or to rank 1 contact matrix (modeling e.g. susceptibility or infectivity presenting heterogeneity independently of one another).


Statistics of a Family of Piecewise Linear Maps. We study statistical properties of the truncated flat spot map f t(x) . In particular, we investigate whether for large n , the deviations sum i 0 n 1 left(f t i(x 0) frac 12 right) upon rescaling satisfy a Q Gaussian distribution if x 0 and t are both independently and uniformly distributed on the unit circle. This was motivated by the fact that if f t is the rotation by t , then it has been shown that in this case the rescaled deviations are distributed as a Q Gaussian with Q 2 (a Cauchy distribution). This is the only case where a non trivial (i.e. Q neq 1 ) Q Gaussian has been analytically established in a conservative dynamical system. In this note, however, we prove that for the family considered here, lim n S n n converges to a random variable with a curious distribution which is clearly not a Q Gaussian or any other standard smooth distribution.


The coin turning walk and its scaling limit. Let S be the random walk obtained from "coin turning" with some sequence p n n ge 1 , as introduced in 6 . In this paper we investigate the scaling limits of S in the spirit of the classical Donsker invariance principle, both for the heating and for the cooling dynamics. We prove that an invariance principle, albeit with a non classical scaling, holds for "not too small" sequences, the order const cdot n 1 (critical cooling regime) being the threshold. At and below this critical order, the scaling behavior is dramatically different from the one above it. The same order is also the critical one for the Weak Law of Large Numbers to hold. In the critical cooling regime, an interesting process emerges it is a continuous, piecewise linear, recurrent process, for which the one dimensional marginals are Beta distributed. We also investigate the recurrence of the walk and its scaling limit, as well as the ergodicity and mixing of the n th step of the walk.


Higher Kazhdan projections, ell 2 Betti numbers and Baum Connes conjectures. We introduce higher dimensional analogs of Kazhdan projections in matrix algebras over group C algebras and Roe algebras. These projections are constructed in the framework of cohomology with coefficients in unitary representations and in certain cases give rise to non trivial K theory classes. We apply the higher Kazhdan projections to establish a relation between ell 2 Betti numbers of a group and surjectivity of different Baum Connes type assembly maps.


Varying Annotations in the Steps of the Visual Analysis. Annotations in Visual Analytics (VA) have become a common means to support the analysis by integrating additional information into the VA system. That additional information often depends on the current process step in the visual analysis. For example, the data preprocessing step has data structuring operations while the data exploration step focuses on user interaction and input. Describing suitable annotations to meet the goals of the different steps is challenging. To tackle this issue, we identify individual annotations for each step and outline their gathering and design properties for the visual analysis of heterogeneous clinical data. We integrate our annotation design into a visual analysis tool to show its applicability to data from the ophthalmic domain. In interviews and application sessions with experts we asses its usefulness for the analysis of patients with different medications.


On "Optimal" h Independent Convergence of Parareal and MGRIT using Runge Kutta Time Integration. Although convergence of the Parareal and multigrid reduction in time (MGRIT) parallel in time algorithms is well studied, results on their optimality is limited. Appealling to recently derived tight bounds of two level Parareal and MGRIT convergence, this paper proves (or disproves) h x and h t independent convergence of two level Parareal and MGRIT, for linear problems of the form mathbf u '(t) mathcal L mathbf u (t) f(t) , where mathcal L is symmetric positive definite and Runge Kutta time integration is used. The theory presented in this paper also encompasses analysis of some modified Parareal algorithms, such as the theta Parareal method, and shows that not all Runge Kutta schemes are equal from the perspective of parallel in time. Some schemes, particularly L stable methods, offer significantly better convergence than others as they are guaranteed to converge rapidly at both limits of small and large h t xi , where xi denotes an eigenvalue of mathcal L and h t time step size. On the other hand, some schemes do not obtain h optimal convergence, and two level convergence is restricted to certain regimes. In certain cases, an mathcal O (1) factor change in time step h t or coarsening factor k can be the difference between convergence factors rho approx0.02 and divergence! The analysis is extended to skew symmetric operators as well, which cannot obtain h independent convergence and, in fact, will generally not converge for a sufficiently large number of time steps. Numerical results confirm the analysis in practice and emphasize the importance of a priori analysis in choosing an effective coarse grid scheme and coarsening factor. A Mathematica notebook to perform a priori two grid analysis is available at https github.com XBraid xbraid convergence est.


Randomized fast no loss expert system to play tic tac toe like a human. This paper introduces a blazingly fast, no loss expert system for Tic Tac Toe using Decision Trees called T3DT, that tries to emulate human gameplay as closely as possible. It does not make use of any brute force, minimax or evolutionary techniques, but is still always unbeatable. In order to make the gameplay more human like, randomization is prioritized and T3DT randomly chooses one of the multiple optimal moves at each step. Since it does not need to analyse the complete game tree at any point, T3DT is exceptionally faster than any brute force or minimax algorithm, this has been shown theoretically as well as empirically from clock time analyses in this paper. T3DT also doesn't need the data sets or the time to train an evolutionary model, making it a practical no loss approach to play Tic Tac Toe.


DynoPlan Combining Motion Planning and Deep Neural Network based Controllers for Safe HRL. Many realistic robotics tasks are best solved compositionally, through control architectures that sequentially invoke primitives and achieve error correction through the use of loops and conditionals taking the system back to alternative earlier states. Recent end to end approaches to task learning attempt to directly learn a single controller that solves an entire task, but this has been difficult for complex control tasks that would have otherwise required a diversity of local primitive moves, and the resulting solutions are also not easy to inspect for plan monitoring purposes. In this work, we aim to bridge the gap between hand designed and learned controllers, by representing each as an option in a hybrid hierarchical Reinforcement Learning framework DynoPlan. We extend the options framework by adding a dynamics model and the use of a nearness to goal heuristic, derived from demonstrations. This translates the optimization of a hierarchical policy controller to a problem of planning with a model predictive controller. By unrolling the dynamics of each option and assessing the expected value of each future state, we can create a simple switching controller for choosing the optimal policy within a constrained time horizon similarly to hill climbing heuristic search. The individual dynamics model allows each option to iterate and be activated independently of the specific underlying instantiation, thus allowing for a mix of motion planning and deep neural network based primitives. We can assess the safety regions of the resulting hybrid controller by investigating the initiation sets of the different options, and also by reasoning about the completeness and performance guarantees of the underpinning motion planners.


Efficient Information Reconciliation for Energy Time Entanglement Quantum Key Distribution. Graph based codes such as low density parity check (LDPC) codes have been shown promising for the information reconciliation phase in quantum key distribution (QKD). However, existing graph coding schemes have not fully utilized the properties of the QKD channel. In this work, we first investigate the channel statistics for discrete variable (DV) QKD based on energy time entangled photons. We then establish a so called balanced modulation scheme that is promising for this channel. Based on the modulation, we propose a joint local global graph coding scheme that is expected to achieve good error correction performance.


Preservation of discrete structures. A metric point of view. In the early 80's, Alain Quilliot presented an approach of ordered sets and graphs in terms of metric spaces, where instead of positive real numbers, the values of the distance are elements of an ordered monoid equipped with an involution. This point of view was further developed in a series of papers by Jawhari, Misane, Pouzet, Rosenberg and Kabil. Some results are currently published by Rosenberg, Kabil and Pouzet, Bandelt, Pouzet and Sa "idane, Khamsi and Pouzet. Special aspects were developed by the authors of the present paper. A survey on generalized metric spaces is in print. In this paper, we review briefly the salient aspects of the theory of generalized metric spaces, then we illustrate the properties of the preservation, by operations, of sets of relations, notably binary relations, and particularly equivalence relations.


Self Calibration Methods for Uncontrolled Environments in Sensor Networks A Reference Survey. Growing progress in sensor technology has constantly expanded the number and range of low cost, small, and portable sensors on the market, increasing the number and type of physical phenomena that can be measured with wirelessly connected sensors. Large scale deployments of wireless sensor networks (WSN) involving hundreds or thousands of devices and limited budgets often constrain the choice of sensing hardware, which generally has reduced accuracy, precision, and reliability. Therefore, it is challenging to achieve good data quality and maintain error free measurements during the whole system lifetime. Self calibration or recalibration in ad hoc sensor networks to preserve data quality is essential, yet challenging, for several reasons, such as the existence of random noise and the absence of suitable general models. Calibration performed in the field, without accurate and controlled instrumentation, is said to be in an uncontrolled environment. This paper provides current and fundamental self calibration approaches and models for wireless sensor networks in uncontrolled environments.


Tanbih Get To Know What You Are Reading. We introduce Tanbih, a news aggregator with intelligent analysis tools to help readers understanding what's behind a news story. Our system displays news grouped into events and generates media profiles that show the general factuality of reporting, the degree of propagandistic content, hyper partisanship, leading political ideology, general frame of reporting, and stance with respect to various claims and topics of a news outlet. In addition, we automatically analyse each article to detect whether it is propagandistic and to determine its stance with respect to a number of controversial topics.


Simplify Node RED For End User Development in SeismoCloud. Networks of IoT devices often require configuration and definition of behavior by the final user. Node RED is a flow based programming platform commonly used for End User Development, but it requires networking and protocols skills in order to be efficiently used. We add a level of abstraction to Node RED nodes in order to allow non skilled users to configure and control networks of IoT devices and online services. We applied such abstractions to the SeismoCloud application for earthquake monitoring.


Beilinson Drinfeld Schubert varieties and global Demazure modules. We compute the spaces of sections of powers of the determinant line bundle on the spherical Schubert subvarieties of the Beilinson Drinfeld affine Grassmannians. The answer is given in terms of global Demazure modules over the current Lie algebra.


STITCHER Correlating Digital Forensic Evidence on Internet of Things Devices. The increasing adoption of Internet of Things (IoT) devices present new challenges to digital forensic investigators and law enforcement agencies when investigation into cybercrime on these new platforms are required. However, there has been no formal study to document actual challenges faced by investigators and whether existing tools help them in their work. Prior issues such as the correlation and consistency problem in digital forensic evidence have also become a pressing concern in light of numerous evidence sources from IoT devices. Motivated by these observations, we conduct a user study with 39 digital forensic investigators from both public and private sectors to document the challenges they faced in traditional and IoT digital forensics. We also created a tool, STITCHER, that addresses the technical challenges faced by investigators when handling IoT digital forensics investigation. We simulated an IoT crime that mimics sophisticated cybercriminals and invited our user study participants to utilize STITCHER to investigate the crime. The efficacy of STITCHER is confirmed by our study results where 96.2 of users indicated that STITCHER assisted them in handling the crime, and 61.5 of users who used STITCHER with its full features solved the crime completely.


Remarks on positive solutions to nonlinear problems and numerical methods. The existence of positive solutions to the system of ordinary differential equations related to the Belousov Zhabotinsky reaction is established. The key idea is to use successive approximation of solutions, ensuring its positivity. To obtain the positivity and invariant region for numerical solutions, the system is discretized as difference equations of explicit form, employing operator splitting methods with linear stability conditions.


Dynamic Power Control for Time Critical Networking with Heterogeneous Traffic. Future wireless networks will be characterized by heterogeneous traffic requirements. Such requirements can be low latency or minimum throughput. Therefore, the network has to adjust to different needs. Usually, users with low latency requirements have to deliver their demand within a specific time frame, i.e., before a deadline, and they co exist with throughput oriented users. In addition, the users are mobile and they share the same wireless channel. Therefore, they have to adjust their power transmission to achieve reliable communication. However, due to the limited power budget of wireless mobile devices, a power efficient scheduling scheme is required by the network. In this work, we cast a stochastic network optimization problem for minimizing the packet drop rate while guaranteeing a minimum throughput and taking into account the limited power capabilities of the users. We apply tools from Lyapunov optimization theory in order to provide an algorithm, named Dynamic Power Control (DPC) algorithm, that solves the formulated problem in realtime. It is proved that the DPC algorithm gives a solution arbitrarily close to the optimal one. Simulation results show that our algorithm outperforms the baseline Largest Debt First (LDF) algorithm for short deadlines and multiple users.


REMAP Multi layer entropy guided pooling of dense CNN features for image retrieval. This paper addresses the problem of very large scale image retrieval, focusing on improving its accuracy and robustness. We target enhanced robustness of search to factors such as variations in illumination, object appearance and scale, partial occlusions, and cluttered backgrounds particularly important when search is performed across very large datasets with significant variability. We propose a novel CNN based global descriptor, called REMAP, which learns and aggregates a hierarchy of deep features from multiple CNN layers, and is trained end to end with a triplet loss. REMAP explicitly learns discriminative features which are mutually supportive and complementary at various semantic levels of visual abstraction. These dense local features are max pooled spatially at each layer, within multi scale overlapping regions, before aggregation into a single image level descriptor. To identify the semantically useful regions and layers for retrieval, we propose to measure the information gain of each region and layer using KL divergence. Our system effectively learns during training how useful various regions and layers are and weights them accordingly. We show that such relative entropy guided aggregation outperforms classical CNN based aggregation controlled by SGD. The entire framework is trained in an end to end fashion, outperforming the latest state of the art results. On image retrieval datasets Holidays, Oxford and MPEG, the REMAP descriptor achieves mAP of 95.5 , 91.5 , and 80.1 respectively, outperforming any results published to date. REMAP also formed the core of the winning submission to the Google Landmark Retrieval Challenge on Kaggle.


Restricted Hilbert transform for non Hermitian management of fields. Non Hermitian systems exploiting the synergy between gain and loss have recently become the focus of interest to discover novel physical phenomena. The spatial symmetry breaking in such systems allows tailoring the wave propagation at will. Inspired by such property, we propose a feasible approach based on local Hilbert transform to control the field flows in two or higher dimensional non Hermitian systems, restricting the complex refractive index within practical limits. We propose an iterative procedure to reduce the dimensionality of complex refractive index parameter space to two, one or zero dimensions. The proposed method provides a flexible way to systematically design locally PT symmetric systems realizable with a limited collection of realistic materials.


On a semismooth Newton method for solving generalized equations. In the paper, a Newton type method for the solution of generalized equations (GEs) is derived, where the linearization concerns both the single valued and the multi valued part of the considered GE. The method is based on the new notion of semismoothness which, together with a suitable regularity condition, ensure the local superlinear convergence. An implementable version of the new method is derived for a class of GEs, frequently arising in optimization and equilibrium models.


A mixed discontinuous Galerkin method with symmetric stress for Brinkman problem based on the velocity pseudostress formulation. The Brinkman equations can be regarded as a combination of the Stokes and Darcy equations which model transitions between the fast flow in channels (governed by Stokes equations) and the slow flow in porous media (governed by Darcy's law). The numerical challenge for this model is the designing of a numerical scheme which is stable for both the Stokes dominated (high permeability) and the Darcy dominated (low permeability) equations. In this paper, we solve the Brinkman model in n dimensions ( n 2, 3 ) by using the mixed discontinuous Galerkin (MDG) method, which meets this challenge. This MDG method is based on the pseudostress velocity formulation and uses a discontinuous piecewise polynomial pair underline bm mathcal P k 1 mathbb S bm mathcal P k (k geq 0) , where the stress field is symmetric. The main unknowns are the pseudostress and the velocity, whereas the pressure is easily recovered through a simple postprocessing. A key step in the analysis is to establish the parameter robust inf sup stability through specific parameter dependent norms at both continuous and discrete levels. Therefore, the stability results presented here are uniform with respect to the permeability. Thanks to the parameter robust stability analysis, we obtain optimal error estimates for the stress in broken underline bm H ( bm rm div ) norm and velocity in bm L 2 norm. Furthermore, the optimal underline bm L 2 error estimate for pseudostress is derived under certain conditions. Finally, numerical experiments are provided to support the theoretical results and to show the robustness, accuracy, and flexibility of the MDG method.


L p Sobolev estimates for a class of integral operators with folding canonical relations. We prove a sharp L p Sobolev regularity results for a class of generalized Radon transforms for families of curves in a three dimensional manifold, with folding canonical relations. The proof relies on decoupling inequalities by Wolff and by Bourgain Demeter for plate decompositions of thin neighborhoods of cones.


On the non uniqueness of maximal purely wild extensions. In this paper we illustrate certain criteria which are sufficient for a henselian valued field to admit non isomorphic maximal purely wild extensions.


Point Level Temporal Action Localization Bridging Fully supervised Proposals to Weakly supervised Losses. Point Level temporal action localization (PTAL) aims to localize actions in untrimmed videos with only one timestamp annotation for each action instance. Existing methods adopt the frame level prediction paradigm to learn from the sparse single frame labels. However, such a framework inevitably suffers from a large solution space. This paper attempts to explore the proposal based prediction paradigm for point level annotations, which has the advantage of more constrained solution space and consistent predictions among neighboring frames. The point level annotations are first used as the keypoint supervision to train a keypoint detector. At the location prediction stage, a simple but effective mapper module, which enables back propagation of training errors, is then introduced to bridge the fully supervised framework with weak supervision. To our best of knowledge, this is the first work to leverage the fully supervised paradigm for the point level setting. Experiments on THUMOS14, BEOID, and GTEA verify the effectiveness of our proposed method both quantitatively and qualitatively, and demonstrate that our method outperforms state of the art methods.


Report of 2017 NSF Workshop on Multimedia Challenges, Opportunities and Research Roadmaps. With the transformative technologies and the rapidly changing global R D landscape, the multimedia and multimodal community is now faced with many new opportunities and uncertainties. With the open source dissemination platform and pervasive computing resources, new research results are being discovered at an unprecedented pace. In addition, the rapid exchange and influence of ideas across traditional discipline boundaries have made the emphasis on multimedia multimodal research even more important than before. To seize these opportunities and respond to the challenges, we have organized a workshop to specifically address and brainstorm the challenges, opportunities, and research roadmaps for MM research. The two day workshop, held on March 30 and 31, 2017 in Washington DC, was sponsored by the Information and Intelligent Systems Division of the National Science Foundation of the United States. Twenty three (23) invited participants were asked to review and identify research areas in the MM field that are most important over the next 10 15 year timeframe. Important topics were selected through discussion and consensus, and then discussed in depth in breakout groups. Breakout groups reported initial discussion results to the whole group, who continued with further extensive deliberation. For each identified topic, a summary was produced after the workshop to describe the main findings, including the state of the art, challenges, and research roadmaps planned for the next 5, 10, and 15 years in the identified area.


The planar Least Gradient problem in convex domains, the case of continuous datum. We study the two dimensional least gradient problem in a convex polygonal set in the plane. We show existence of solutions when the boundary data are attained in the trace sense. Due to the lack of strict convexity, the classical results are not applicable. We state the admissibility conditions on the continuous boundary datum f that are sufficient for establishing an existence and uniqueness result. The solutions are constructed by a limiting process, which uses the well known geometry of superlevel sets of least gradient functions.


SoK Beyond IoT MUD Deployments Challenges and Future Directions. Due to the advancement of IoT devices in both domestic and industrial environments, the need to incorporate a mechanism to build accountability in the IoT ecosystem is paramount. In the last few years, various initiatives have been started in this direction addressing many socio technical concerns and challenges to build an accountable system. The solution that has received a lot of attention in both industry and academia is the Manufacturer Usage Description (MUD) specification. It gives the possibility to the IoT device manufacturers to describe communications needed by each device to work properly. MUD implementation is challenging not only due to the diversity of IoT devices and manufacturer operator regulators but also due to the incremental integration of MUD based flow control in the already existing Internet infrastructure. To provide a better understanding of these challenges, in this work, we explore and investigate the prototypes of three implementations proposed by different research teams and organisations, useful for the community to understand which are the various features implemented by the existing technologies. By considering that there exist some behaviours which can be only defined by local policy, we propose a MUD capable network integrating our User Policy Server(UPS). The UPS provides network administrators and endusers an opportunity to interact with MUD components through a user friendly interface. Hence, we present a comprehensive survey of the challenges.


Differential Equation Invariance Axiomatization. This article proves the completeness of an axiomatization for differential equation invariants described by Noetherian functions. First, the differential equation axioms of differential dynamic logic are shown to be complete for reasoning about analytic invariants. Completeness crucially exploits differential ghosts, which introduce additional variables that can be chosen to evolve freely along new differential equations. Cleverly chosen differential ghosts are the proof theoretical counterpart of dark matter. They create new hypothetical state, whose relationship to the original state variables satisfies invariants that did not exist before. The reflection of these new invariants in the original system then enables its analysis. An extended axiomatization with existence and uniqueness axioms is complete for all local progress properties, and, with a real induction axiom, is complete for all semianalytic invariants. This parsimonious axiomatization serves as the logical foundation for reasoning about invariants of differential equations. Indeed, it is precisely this logical treatment that enables the generalization of completeness to the Noetherian case.


Numerical solution of the wave propagation problem in a plate. In this work, the propagation of an ultrasonic pulse in a thin plate is computed solving the differential equations modeling this problem. To solve these equations finite differences are used to discretize the temporal variable, while spacial variables are discretized using Finite Element method. The variational formulation of the problem corresponding to a fixed value of time is obtained and the existence an uniqueness of the solution is proved. The proposed approach leads to a sequence of linear systems with the same sparse, symmetric and positive defined matrix. The free software FreeFem is used to compute the approximated solution using polynomial triangular elements. Numerical experiments show that velocities computed using the approximated displacements for different frequency values are in good correspondence with analytical dispersion curves for the phase velocity.


Rapid charge redistribution leading to core hollowing in a high intensity ion beam. Recently, the first direct measurement of a full 6D accelerator beam distribution was reported 1 . That work observed a correlation between energy and transverse coordinates, for which the energy distribution becomes hollowed and double peaked near the transverse core. In this article, a similar structure is shown to emerge in expansion of an initially uncorrelated, high density bunched beam as the result of velocity perturbation from nonlinear space charge forces. This hollowing is obscured when the 6D phase space is projected onto one and two dimensional axes. This phenomenon has not been widely recognized in accelerator systems, but parallels can be drawn to observations of laser ionized nanoclusters and electron sources for diffraction. While this effect provides insight into the origin of the measured core correlation, it does not provide a complete description. A better reproduction of the measured structure can be obtained via self consistent simulation through the radio frequency quadrupole. 1 B. Cathey, S. Cousineau, A. Aleksandrov, and A. Zhukov, PRL 121, 064804 (2018).


Unsharp residuation in effect algebras. Effect algebras and pseudoeffect algebras were introduced by Foulis, Bennett, Dvurecenskij and Vetterlein as so called quantum structures which serve as an algebraic axiomatization of the logic of quantum mechanics. A natural question concerns their connections to substructural logics which are described by means of residuated lattices or posets. In a previous paper it was shown that an effect algebra can be organized into a so called conditionally residuated structure where the adjointness condition holds only for those elements for which multiplication and implication are defined. Because this is a very strong restriction, we try to find another kind of residuation where the terms occurring in the adjointness condition are everywhere defined though the binary operation of a given effect algebra is only partial. Moreover, we work with effect algebras which need not be lattice ordered and hence the lattice operations join and meet are replaced by means of upper and lower cones which, however, are not elements but subsets. Hence, the resulting concept, the so called unsharp residuated poset, is equipped with LU terms which substitute operations, but are everywhere defined. Although this concept seems rather complicated at the first glance, we prove that such an unsharp residuated poset can be conversely organized into an effect algebra or a pseudoeffect algebra depending on commutativity of the multiplication.


Unicity on entire function concerning its differential difference operators. In this paper, we study the uniqueness of the differential difference polynomials of entire functions on mathbb C n . We prove the following result Let f(z) be a transcendental entire function on mathbb C n of hyper order less than 1 and g(z) b 1 sum i 0 n b i f (k i ) (z eta i ) , where b 1 and b i (i 0 ldots,n) are small meromorphic functions of f on mathbb C n , k i geq0 (i 0 ldots,n) are integers, and eta i (i 0 ldots,n) are finite values. Let a 1 (z) not equiv infty, a 2 (z) not equiv infty be two distinct small meromorphic functions of f(z) on mathbb C n . If f(z) and g(z) share a 1 (z) CM, and a 2 (z) IM. Then either f(z) equiv g(z) or a 1 2a 2 2 , f(z) equiv e 2p 2e p 2, and g(z) equiv e p , where p(z) is a non constant entire function on mathbb C n . Especially, in the case of g(z) ( Delta eta n f(z)) k , we obtain f(z) equiv ( Delta eta n f(z)) k .


SIR Analysis via Signal Fractions. The analysis of signal to interference ratios (SIRs) in wireless networks is instrumental to derive important performance metrics, including reliability, throughput, and delay. While a host of results on SIR distributions are now available, they are often not straightforwards to interpret, bound, visualize, and compare. In this letter, we offer an alternative path towards the analysis and visualization of the SIR distribution. The quantity at the core of this approach is the signal fraction (SF), which is the ratio of the signal power to the total received power. A key advantage is that the SF is constrained to 0,1 . We exemplify the benefits of the SF based approach by reviewing known results for Poisson cellular networks. In the process, we derive new approximation and bounding techniques that are generally applicable.


CullNet Calibrated and Pose Aware Confidence Scores for Object Pose Estimation. We present a new approach for a single view, image based object pose estimation. Specifically, the problem of culling false positives among several pose proposal estimates is addressed in this paper. Our proposed approach targets the problem of inaccurate confidence values predicted by CNNs which is used by many current methods to choose a final object pose prediction. We present a network called CullNet, solving this task. CullNet takes pairs of pose masks rendered from a 3D model and cropped regions in the original image as input. This is then used to calibrate the confidence scores of the pose proposals. This new set of confidence scores is found to be significantly more reliable for accurate object pose estimation as shown by our results. Our experimental results on multiple challenging datasets (LINEMOD and Occlusion LINEMOD) reflects the utility of our proposed method. Our overall pose estimation pipeline outperforms state of the art object pose estimation methods on these standard object pose estimation datasets. Our code is publicly available on https github.com kartikgupta at anu CullNet.


Elementary numerical methods for double integrals. Approximations to the integral int a b int c d f(x,y) ,dy ,dx are obtained under the assumption that the partial derivatives of the integrand are in an L p space, for some 1 leq p leq infty . We assume lVert f xy rVert p is bounded (integration over a,b times c,d ), assume lVert f x( cdot,c) rVert p and lVert f x( cdot,d) rVert p are bounded (integration over a,b ), and assume lVert f y(a, cdot) rVert p and lVert f y(b, cdot) rVert p are bounded (integration over c,d ). The methods are elementary, using only integration by parts and H "older's inequality. Versions of the trapezoidal rule, composite trapezoidal rule, midpoint rule and composite midpoint rule are given, with error estimates in terms of the above norms.


Uniform error bounds of time splitting methods for the nonlinear Dirac equation in the nonrelativistic regime without magnetic potential. Super resolution of the Lie Trotter splitting ( S 1 ) and Strang splitting ( S 2 ) is rigorously analyzed for the nonlinear Dirac equation without external magnetic potentials in the nonrelativistic regime with a small parameter 0 varepsilon leq 1 inversely proportional to the speed of light. In this regime, the solution highly oscillates in time with wavelength at O( varepsilon 2) . The splitting methods surprisingly show super resolution, i.e. the methods can capture the solution accurately even if the time step size tau is much larger than the sampled wavelength at O( varepsilon 2) . Similar to the linear case, S 1 and S 2 both exhibit 1 2 order convergence uniformly with respect to varepsilon . Moreover, if tau is non resonant, i.e. tau is away from certain region determined by varepsilon , S 1 would yield an improved uniform first order O( tau) error bound, while S 2 would give improved uniform 3 2 order convergence. Numerical results are reported to confirm these rigorous results. Furthermore, we note that super resolution is still valid for higher order splitting methods.


A Genetic Feature Selection Based Two stream Neural Network for Anger Veracity Recognition. People can manipulate emotion expressions when interacting with others. For example, acted anger can be expressed when stimuli is not genuinely angry with an aim to manipulate the observer. In this paper, we aim to examine if the veracity of anger can be recognized with observers' pupillary data with computational approaches. We use Genetic based Feature Selection (GFS) methods to select time series pupillary features of of observers who observe acted and genuine anger of the video stimuli. We then use the selected features to train a simple fully connected neural work and a two stream neural network. Our results show that the two stream architecture is able to achieve a promising recognition result with an accuracy of 93.58 when the pupillary responses from both eyes are available. It also shows that genetic algorithm based feature selection method can effectively improve the classification accuracy by 3.07 . We hope our work could help daily research such as human machine interaction and psychology studies that require emotion recognition .


Fuzzy Tiling Activations A Simple Approach to Learning Sparse Representations Online. Recent work has shown that sparse representations where only a small percentage of units are active can significantly reduce interference. Those works, however, relied on relatively complex regularization or meta learning approaches, that have only been used offline in a pre training phase. In this work, we pursue a direction that achieves sparsity by design, rather than by learning. Specifically, we design an activation function that produces sparse representations deterministically by construction, and so is more amenable to online training. The idea relies on the simple approach of binning, but overcomes the two key limitations of binning zero gradients for the flat regions almost everywhere, and lost precision reduced discrimination due to coarse aggregation. We introduce a Fuzzy Tiling Activation (FTA) that provides non negligible gradients and produces overlap between bins that improves discrimination. We first show that FTA is robust under covariate shift in a synthetic online supervised learning problem, where we can vary the level of correlation and drift. Then we move to the deep reinforcement learning setting and investigate both value based and policy gradient algorithms that use neural networks with FTAs, in classic discrete control and Mujoco continuous control environments. We show that algorithms equipped with FTAs are able to learn a stable policy faster without needing target networks on most domains.


Tell me what this is Few Shot Incremental Object Learning by a Robot. For many applications, robots will need to be incrementally trained to recognize the specific objects needed for an application. This paper presents a practical system for incrementally training a robot to recognize different object categories using only a small set of visual examples provided by a human. The paper uses a recently developed state of the art method for few shot incremental learning of objects. After learning the object classes incrementally, the robot performs a table cleaning task organizing objects into categories specified by the human. We also demonstrate the system's ability to learn arrangements of objects and predict missing or incorrectly placed objects. Experimental evaluations demonstrate that our approach achieves nearly the same performance as a system trained with all examples at one time (batch training), which constitutes a theoretical upper bound.


Rigid fibers of spinning tops. (Non )displaceability of fibers of integrable systems has been an important problem in symplectic geometry. In this paper, for a large class of classical Liouville integrable systems containing the Lagrangian top, the Kovalevskaya top and the C. Neumann problem, we find a non displaceable fiber for each of them. Moreover, we show that the non displaceable fiber which we detect is the unique fiber which is non displaceable from the zero section. As a special case of this result, we also show that a singular level set of a convex Hamiltonian is non displaceable from the zero section. To prove these results, we use the notion of superheaviness introduced by Entov and Polterovich.


Consistent Flag Codes. In this paper we study flag codes on mathbb F q n , being mathbb F q the finite field with q elements. Special attention is given to the connection between the parameters and properties of a flag code and the ones of a family of constant dimension codes naturally associated to it (the projected codes). More precisely, we focus on consistent flag codes, that is, flag codes whose distance and size are completely determined by their projected codes. We explore some aspects of this family of codes and present examples of them by generalizing the concepts of equidistant and sunflower subspace code to the flag codes setting. Finally, we present a decoding algorithm for consistent flag codes that fully exploits the consistency condition.


Modeling and computation for non equilibrium gas dynamics beyond kinetic relaxation model. The non equilibrium gas dynamics is described by the Boltzmann equation, which can be solved numerically through the deterministic and stochastic methods. Due to the complicated collision term of the Boltzmann equation, many kinetic relaxation models have been proposed and used in the past seventy years for the study of rarefied flow. In order to develop a multiscale method for the rarefied and continuum flow simulation, by adopting the integral solution of the kinetic model equation a DVM type unified gas kinetic scheme (UGKS) has been constructed. The UGKS models the gas dynamics on the cell size and time step scales while the accumulating effect from particle transport and collision has been taken into account within a time step. Under the UGKS framework, a unified gas kinetic wave particle (UGKWP) method has been further developed for non equilibrium flow simulation, where the time evolution of gas distribution function is composed of analytical wave and individual particle. In the highly rarefied regime, particle transport and collision will play a dominant role. Due to the single relaxation time model for particle collision, there is a noticeable discrepancy between the UGKWP solution and the full Boltzmann or DSMC result, especially in the high Mach and Knudsen number cases. In this paper, besides the kinetic relaxation model, a modification of particle collision time according to the particle velocity will be implemented in UGKWP. As a result, the new model greatly improves the performance of UGKWP in the capturing of non equilibrium flow. There is a perfect match between UGKWP and DSMC or Boltzmann solution in the highly rarefied regime. In the near continuum and continuum flow regime, the UGKWP will gradually get back to the macroscopic variables based Navier Stokes flow solver at small cell Knudsen number.


Two Algorithms for Computing Exact and Approximate Nash Equilibria in Bimatrix Games. In this paper, we first devise two algorithms to determine whether or not a bimatrix game has a strategically equivalent zero sum game. If so, we propose an algorithm that computes the strategically equivalent zero sum game. If a given bimatrix game is not strategically equivalent to a zero sum game, we then propose an approach to compute a zero sum game whose saddle point equilibrium can be mapped to a well supported approximate Nash equilibrium of the original game. We conduct extensive numerical simulation to establish the efficacy of the two algorithms.


HeTDSE GPU based program to solve full dimensional time dependent Schr " o dinger equation for two electron Helium subjected to strong laser fields. We present a GPU based openACC fortran program named HeTDSE, which provides an efficient way to investigate the non perturbative electronic dynamics of helium subjected to a strong laser pulse by solving full dimensional two electron time dependent Schr " o dinger equation (TDSE). OpenACC is a directive based programming model for accelerators without modifying the underlying CPU code itself. HeTDSE uses B Spline basis sets expansion method to construct the radial part of the wavefunction, and the spherical harmonic functions is used to express for the angular part. Adams algorithm is employed for the time propagation. Our example shows HeTDSE running on an NVIDIA Kepler K20 GPU can outperform the one on an Intel E5 2640 single CPU core by a factor of 147.


On Concept of Creative Petri Nets. A new formalism of Petri nets, based on the adoption of the "position arc transition" triad and "transition arc position" triad as structure forming units is introduced. In accordance with the Fusion principle, an analytical representation of Petri nets is developed. We propose the concept of Creative Petri Nets, which allows to implement structural changes in Petri net by procreation deletion of structural units or complexes.


(De)Constructing Bias on Skin Lesion Datasets. Melanoma is the deadliest form of skin cancer. Automated skin lesion analysis plays an important role for early detection. Nowadays, the ISIC Archive and the Atlas of Dermoscopy dataset are the most employed skin lesion sources to benchmark deep learning based tools. However, all datasets contain biases, often unintentional, due to how they were acquired and annotated. Those biases distort the performance of machine learning models, creating spurious correlations that the models can unfairly exploit, or, contrarily destroying cogent correlations that the models could learn. In this paper, we propose a set of experiments that reveal both types of biases, positive and negative, in existing skin lesion datasets. Our results show that models can correctly classify skin lesion images without clinically meaningful information disturbingly, the machine learning model learned over images where no information about the lesion remains, presents an accuracy above the AI benchmark curated with dermatologists' performances. That strongly suggests spurious correlations guiding the models. We fed models with additional clinically meaningful information, which failed to improve the results even slightly, suggesting the destruction of cogent correlations. Our main findings raise awareness of the limitations of models trained and evaluated in small datasets such as the ones we evaluated, and may suggest future guidelines for models intended for real world deployment.


Isotropic covariance matrix functions on compact two point homogeneous spaces. The covariance matrix function is characterized in this paper for a Gaussian or elliptically contoured vector random field that is stationary, isotropic, and mean square continuous on the compact two point homogeneous space. Necessary and sufficient conditions are derived for a symmetric and continuous matrix function to be an isotropic covariance matrix function on all compact two point homogeneous spaces. It is also shown that, for a symmetric and continuous matrix function with compact support, if it makes an isotropic covariance matrix function in the Euclidean space, then it makes an isotropic covariance matrix function on the sphere or the real projective space.


Adams inequalities for Riesz subcritical potentials. We derive Adams inequalities for potentials on general measure spaces, extending and improving previous results obtained by the authors. The integral operators involved, which we call "Riesz subcritical", have kernels whose decreasing rearrangements are not worse than that of the Riesz kernel on mathbb R n , where the kernel is large, but they behave better where the kernel is small. The new element is a "critical integrability" condition on the kernel at infinity. Typical examples of such kernels are fundamental solutions of nonhomogeneous differential, or pseudo differential, operators. Another example is the Riesz kernel itself restricted to suitable measurable sets, which we name "Riesz subcritical domains". Such domains are characterized in terms of their growth at infinity. As a consequence of the general results we obtain several new sharp Adams and Moser Trudinger inequalities on mathbb R n , on the hyperbolic space, on Riesz subcritical domains, and on domains where the Poincar 'e inequality holds.


Uncertainty Modeling of Contextual Connections between Tracklets for Unconstrained Video based Face Recognition. Unconstrained video based face recognition is a challenging problem due to significant within video variations caused by pose, occlusion and blur. To tackle this problem, an effective idea is to propagate the identity from high quality faces to low quality ones through contextual connections, which are constructed based on context such as body appearance. However, previous methods have often propagated erroneous information due to lack of uncertainty modeling of the noisy contextual connections. In this paper, we propose the Uncertainty Gated Graph (UGG), which conducts graph based identity propagation between tracklets, which are represented by nodes in a graph. UGG explicitly models the uncertainty of the contextual connections by adaptively updating the weights of the edge gates according to the identity distributions of the nodes during inference. UGG is a generic graphical model that can be applied at only inference time or with end to end training. We demonstrate the effectiveness of UGG with state of the art results in the recently released challenging Cast Search in Movies and IARPA Janus Surveillance Video Benchmark dataset.


A real time multi constraints obstacle avoidance method using LiDAR. Obstacle avoidance is one of the essential and indispensable functions for autonomous mobile robots. Most of the existing solutions are typically based on single condition constraint and cannot incorporate sensor data in a real time manner, which often fail to respond to unexpected moving obstacles in dynamic unknown environments. In this paper, a novel real time multi constraints obstacle avoidance method using Light Detection and Ranging(LiDAR) is proposed, which is able to, based on the latest estimation of the robot pose and environment, find the sub goal defined by a multi constraints function within the explored region and plan a corresponding optimal trajectory at each time step iteratively, so that the robot approaches the goal over time. Meanwhile, at each time step, the improved Ant Colony Optimization(ACO) algorithm is also used to re plan optimal paths from the latest robot pose to the latest defined sub goal position. While ensuring convergence, planning in this method is done by repeated local optimizations, so that the latest sensor data from LiDAR and derived environment information can be fully utilized at each step until the robot reaches the desired position. This method facilitates real time performance, also has little requirement on memory space or computational power due to its nature, thus our method has huge potentials to benefit small low cost autonomous platforms. The method is evaluated against several existing technologies in both simulation and real world experiments.


Modified log Sobolev inequality for a compact PJMP with degenerate jumps. We study the modified log Sobolev inequality for a class of pure jump Markov processes that describe the interactions between brain neurons. In particular, we focus on a finite and compact process with degenerate jumps inspired by the model introduced by Galves and L "ocherbach. As a result, we obtain concentration properties for empirical approximations of the process.


Non elliptic Webs and Convex Sets in the Affine Building. We describe the mathfrak sl 3 non elliptic webs in terms of convex sets in the affine building. Kuperberg defined the non elliptic web basis in his work on rank 2 spider categories. Fontaine, Kamnitzer, Kuperberg showed that the mathfrak sl 3 non elliptic webs are dual to CAT(0) triangulated diskoids in the affine building. We show that each such triangulated diskoid is the intersection of the min convex and max convex hulls of a generic polygon in the building. Choosing a generic polygon from each of the components of the Satake fiber produces the non elliptic web basis. The convex hulls in the affine building were first introduced by Faltings and are related to tropical convexity, as discussed in work by Joswig, Sturmfels, Yu and by Zhang.


Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages. Probabilistic programming is an approach to reasoning under uncertainty by encoding inference problems as programs. In order to solve these inference problems, probabilistic programming languages (PPLs) employ different inference algorithms, such as sequential Monte Carlo (SMC), Markov chain Monte Carlo (MCMC), or variational methods. Existing research on such algorithms mainly concerns their implementation and efficiency, rather than the correctness of the algorithms themselves when applied in the context of expressive PPLs. To remedy this, we give a correctness proof for SMC methods in the context of an expressive PPL calculus, representative of popular PPLs such as WebPPL, Anglican, and Birch. Previous work have studied correctness of MCMC using an operational semantics, and correctness of SMC and MCMC in a denotational setting without term recursion. However, for SMC inference one of the most commonly used algorithms in PPLs as of today no formal correctness proof exists in an operational setting. In particular, an open question is if the resample locations in a probabilistic program affects the correctness of SMC. We solve this fundamental problem, and make four novel contributions (i) we extend an untyped PPL lambda calculus and operational semantics to include explicit resample terms, expressing synchronization points in SMC inference (ii) we prove, for the first time, that subject to mild restrictions, any placement of the explicit resample terms is valid for a generic form of SMC inference (iii) as a result of (ii), our calculus benefits from classic results from the SMC literature a law of large numbers and an unbiased estimate of the model evidence and (iv) we formalize the bootstrap particle filter for the calculus and discuss how our results can be further extended to other SMC algorithms.


Learning Cascaded Siamese Networks for High Performance Visual Tracking. Visual tracking is one of the most challenging computer vision problems. In order to achieve high performance visual tracking in various negative scenarios, a novel cascaded Siamese network is proposed and developed based on two different deep learning networks a matching subnetwork and a classification subnetwork. The matching subnetwork is a fully convolutional Siamese network. According to the similarity score between the exemplar image and the candidate image, it aims to search possible object positions and crop scaled candidate patches. The classification subnetwork is designed to further evaluate the cropped candidate patches and determine the optimal tracking results based on the classification score. The matching subnetwork is trained offline and fixed online, while the classification subnetwork performs stochastic gradient descent online to learn more target specific information. To improve the tracking performance further, an effective classification subnetwork update method based on both similarity and classification scores is utilized for updating the classification subnetwork. Extensive experimental results demonstrate that our proposed approach achieves state of the art performance in recent benchmarks.


A User experience Driven SSIM Aware Adaptation Approach for DASH Video Streaming. Dynamic Adaptive Streaming over HTTP (DASH) is a video streaming technique largely used. One key point is the adaptation mechanism which resides at the client's side. This mechanism impacts greatly on the overall Quality of Experience (QoE) of the video streaming. In this paper, we propose a new adaptation algorithm for DASH, namely SSIM Based Adaptation (SBA). This mechanism is user experience driven it uses the Structural Similarity Index Measurement (SSIM) as main video perceptual quality indicator moreover, the adaptation is based on a joint consideration of SSIM indicator and the physical resources (buffer occupancy, bandwidth) in order to minimize the buffer starvation (rebuffering) and video quality instability, as well as to maximize the overall video quality (through SSIM). To evaluate the performance of our proposal, we carried out trace driven emulation with real traffic traces (captured in real mobile network). Comparisons with some representative algorithms (BBA, FESTIVE, OSMF) through major QoE metrics show that our adaptation algorithm SBA achieves an efficient adaptation minimizing both the rebuffering and instability, whereas the displayed video is maintained at a high level of bitrate.


Few shot Decoding of Brain Activation Maps. Few shot learning addresses problems for which a limited number of training examples are available. So far, the field has been mostly driven by applications in computer vision. Here, we are interested in adapting recently introduced few shot methods to solve problems dealing with neuroimaging data, a promising application field. To this end, we create a neuroimaging benchmark dataset for few shot learning and compare multiple learning paradigms, including meta learning, as well as various backbone networks. Our experiments show that few shot methods are able to efficiently decode brain signals using few examples, which paves the way for a number of applications in clinical and cognitive neuroscience, such as identifying biomarkers from brain scans or understanding the generalization of brain representations across a wide range of cognitive tasks.


An energy dissipative level set method for the incompressible two phase Navier Stokes equations with surface tension using functional entropy variables. This paper presents the first energy dissipative level set method for the incompressible Navier Stokes equations with surface tension. The methodology relies on the recently proposed concept of functional entropy variables. Discretization in space is performed with isogeometric analysis. Temporal integration is performed with a new perturbed midpoint scheme. The fully discrete scheme is unconditionally energy dissipative, pointwise divergence free and satisfies the maximum principle for the density. Numerical examples in two and three dimensions verify the energetic stability of the methodology.


A data driven model for Mass Media influence in electoral context. Mass Media outlets have occupied the central role of the political scenario, and are persuasive in the process of opinion formation of the citizens. In particular, the study of the relationship between Mass Media and behaviour of citizens can be monitored during election times, given the accessibility of news related to the candidates and polls that precede the election's day. In this paper we present a novel two dimensional data driven Mass Media model based on semantic analysis of newspapers and national election surveys, which we use to analyse how a single influence mechanism should behave in order to reproduce the behaviour of the voters. Using simple and feasible rules for dynamics, we were able to find a notable agreement between the model's predictions and the polls which help us to understand the underlying mechanisms of the interactions between reader and media.


Closed points on cubic hypersurfaces. We generalize some results of Coray on closed points on cubic hypersurfaces. We show certain symmetric products of cubic hypersurfaces are stably birational.


The Potential of Social Media Analytics for Improving Social Media Communication of Emergency Agencies. A growing number of people use social media to seek information or coordinate relief activities in times of crisis. Thus, social media is increasingly deployed by emergency agencies as well to reach more people in crisis situations. However, the large amount of available data on social media could also be used by emergency agencies to understand how they are perceived by the public and to improve their communication. In this study, we examined the Twitter communication about the German emergency agency "Johanniter Unfall Hilfe" by conducting a frequency, sentiment, social network and content analysis. The results reveal that a right wing political cluster politically instrumentalised an incident related to this agency. Furthermore, some individuals used social media to express criticism. It can be concluded that the use of social media analytics in the daily routine of emergency management professionals can be beneficial for improving their social media communication strategy.


On Artin's conjecture for pairs of diagonal forms. Let p be an odd prime and d p tau (p 1) . In the spirit of Aritn's conjecture, consider the system of two diagonal forms of degree d in s variables given by begin equation begin split a 1x 1 d cdots a sx s d 0 b 1x 1 d cdots b sx s d 0 end split end equation with a i, b i in mathbb Q p . For s 2 frac p p 1 d 2 2d , this paper shows that this system has a non trivial p adic solution for every tau ge 3, p ge 7 , and for every tau 2, p ge frac C 2 4 , where C le 9996 . Moreover, for s (2 frac p p 1 frac C 3 2p 2 )d 2 2d , this system will have a non trivial p adic solution for every tau 1, p ge 5 .


Joint Inference of States, Robot Knowledge, and Human (False )Beliefs. Aiming to understand how human (false )belief a core socio cognitive ability would affect human interactions with robots, this paper proposes to adopt a graphical model to unify the representation of object states, robot knowledge, and human (false )beliefs. Specifically, a parse graph (pg) is learned from a single view spatiotemporal parsing by aggregating various object states along the time such a learned representation is accumulated as the robot's knowledge. An inference algorithm is derived to fuse individual pg from all robots across multi views into a joint pg, which affords more effective reasoning and inference capability to overcome the errors originated from a single view. In the experiments, through the joint inference over pg s, the system correctly recognizes human (false )belief in various settings and achieves better cross view accuracy on a challenging small object tracking dataset.


Tell Me About Yourself Using an AI Powered Chatbot to Conduct Conversational Surveys with Open ended Questions. The rise of increasingly more powerful chatbots offers a new way to collect information through conversational surveys, where a chatbot asks open ended questions, interprets a user's free text responses, and probes answers whenever needed. To investigate the effectiveness and limitations of such a chatbot in conducting surveys, we conducted a field study involving about 600 participants. In this study with mostly open ended questions, half of the participants took a typical online survey on Qualtrics and the other half interacted with an AI powered chatbot to complete a conversational survey. Our detailed analysis of over 5200 free text responses revealed that the chatbot drove a significantly higher level of participant engagement and elicited significantly better quality responses measured by Gricean Maxims in terms of their informativeness, relevance, specificity, and clarity. Based on our results, we discuss design implications for creating AI powered chatbots to conduct effective surveys and beyond.


Global existence in critical spaces for non Newtonian compressible viscoelastic flows. We are interested in the multi dimentional compressible viscoelastic flows of Oldroyd type, which is one of non Newtonian fluids exhibiting the elastic behavior. In order to capture the damping effect of the additional deformation tensor, to the best of our knowledge, the "div curl" structural condition plays a key role in previous efforts. Our aim of this paper is to remove the structural condition and prove a global existence of strong solutions to compressible viscoelastic flows in critical spaces. The new ingredient lies in the introduction of effective flux ( theta, mathcal G ) , which enables us to capture the dissipation arising from textit combination of density and deformation tensor. In absence of compatible conditions, the partial dissipation is found in non Newtonian compressible fluids, which is weaker than that of usual Navier Stokes equations.


Problems and results in Extremal Combinatorics IV. Extremal Combinatorics is among the most active topics in Discrete Mathematics, dealing with problems that are often motivated by questions in other areas, including Theoretical Computer Science and Information Theory. This paper contains a collection of problems and results in the area, including solutions or partial solutions to open problems suggested by various researchers. The topics considered here include questions in Extremal Graph Theory, Coding Theory and Social Choice. This is by no means a comprehensive survey of the area, and is merely a collection of problems, results and proofs, which are hopefully interesting. As the title of the paper suggests, this is a sequel of three previous papers of the same flavour. Each section of this paper is essentially self contained, and can be read separately.


Binary expression of ancestors in the Collatz graph. The Collatz graph is a directed graph with natural number nodes and where there is an edge from node x to node T(x) T 0(x) x 2 if x is even, or to node T(x) T 1(x) frac 3x 1 2 if x is odd. Studying the Collatz graph in binary reveals complex message passing behaviors based on carry propagation which seem to capture the essential dynamics and complexity of the Collatz process. We study the set mathcal E text Pred k(x) that contains the binary expression of any ancestor y that reaches x with a limited budget of k applications of T 1 . The set mathcal E text Pred k(x) is known to be regular, Shallit and Wilson EATCS 1992 . In this paper, we find that the geometry of the Collatz graph naturally leads to the construction of a regular expression, texttt reg k(x) , which defines mathcal E text Pred k(x) . Our construction, is exponential in k which improves upon the doubly exponentially construction of Shallit and Wilson. Furthermore, our result generalises Colussi's work on the x 1 case TCS 2011 to any natural number x , and gives mathematical and algorithmic tools for further exploration of the Collatz graph in binary.


Invariable generation and the Houghton groups. The Houghton groups H 1, H 2, ldots are a family of infinite groups. In 1975 Wiegold showed that H 3 was invariably generated (IG) but H 1 le H 3 was not. A natural question is then whether the groups H 2, H 3, ldots are all IG. Wiegold also ends by saying that, in the examples he had found of an IG group with a subgroup that is not IG, the subgroup was never of finite index. Another natural question is then whether there is a subgroup of finite index in H 3 that is not IG. In this note we prove, for each n in 2, 3, ldots , that H n and all of its finite index subgroups are IG. The independent work of Minasyan and Goffer Lazarovich in June 2020 frames this note quite nicely they showed that an IG group can have a finite index subgroup that is not IG.


Lefschetz operators, Hodge Riemann forms, and representations. For a field of characteristic ne 2 we study vector spaces that are graded by the weight lattice of a root system, and are endowed with linear operators in each simple root direction. We show that these data extend to a graded semisimple representation of the corresponding Lie algebra if and only if there exists a bilinear form that satisfies properties (roughly) analogous to those of the Hodge Riemann forms in complex geometry. In the second part of the article we replace the field by the p adic integers (with p ne 2 ) and show that in this case the existence of a certain bilinear form is equivalent to the existence of a structure of a tilting module for the associated simply connected p adic Chevalley group.


Delightful Companions Supporting Well Being Through Design Delight. This paper presents three design products referred to as delightful companions that are intended to help people engage in well being practices. It also introduces the approach utilized to guide the design decisions during their creation. Design delight is the name of this approach, which comprises six experiential qualities that are regarded as antecedents of delight. The objective of this paper is to introduce the approach and the companions and state the two paths that have defined the future steps of this research.


Synthetic Image Augmentation for Damage Region Segmentation using Conditional GAN with Structure Edge. Recently, social infrastructure is aging, and its predictive maintenance has become important issue. To monitor the state of infrastructures, bridge inspection is performed by human eye or bay drone. For diagnosis, primary damage region are recognized for repair targets. But, the degradation at worse level has rarely occurred, and the damage regions of interest are often narrow, so their ratio per image is extremely small pixel count, as experienced 0.6 to 1.5 percent. The both scarcity and imbalance property on the damage region of interest influences limited performance to detect damage. If additional data set of damaged images can be generated, it may enable to improve accuracy in damage region segmentation algorithm. We propose a synthetic augmentation procedure to generate damaged images using the image to image translation mapping from the tri categorical label that consists the both semantic label and structure edge to the real damage image. We use the Sobel gradient operator to enhance structure edge. Actually, in case of bridge inspection, we apply the RC concrete structure with the number of 208 eye inspection photos that rebar exposure have occurred, which are prepared 840 block images with size 224 by 224. We applied popular per pixel segmentation algorithms such as the FCN 8s, SegNet, and DeepLabv3 Xception v2. We demonstrates that re training a data set added with synthetic augmentation procedure make higher accuracy based on indices the mean IoU, damage region of interest IoU, precision, recall, BF score when we predict test images.


Technology Readiness Levels for AI ML. The development and deployment of machine learning systems can be executed easily with modern tools, but the process is typically rushed and means to an end. The lack of diligence can lead to technical debt, scope creep and misaligned objectives, model misuse and failures, and expensive consequences. Engineering systems, on the other hand, follow well defined processes and testing standards to streamline development for high quality, reliable results. The extreme is spacecraft systems, where mission critical measures and robustness are ingrained in the development process. Drawing on experience in both spacecraft engineering and AI ML (from research through product), we propose a proven systems engineering approach for machine learning development and deployment. Our Technology Readiness Levels for ML (TRL4ML) framework defines a principled process to ensure robust systems while being streamlined for ML research and product, including key distinctions from traditional software engineering. Even more, TRL4ML defines a common language for people across the organization to work collaboratively on ML technologies.


Knots with Prism Manifold Surgeries. Ballinger et al. have determined the list of all prism manifolds that are possibly realizable by Dehn surgeries on knots in S 3 . In this paper, we explicitly find braid words of primitive Seifert fibered knots on which surface slope surgeries yield all the prism manifolds listed above. This completes the solution to the prism manifold realization problem.


Extension to the Beraha Kahane Weiss Theorem with Applications. The beautiful Beraha Kahane Weiss theorem has found many applications within graph theory, allowing for the determination of the limits of root of graph polynomials in settings as vast as chromatic polynomials, network reliability, and generating polynomials related to independence and domination. Here we extend the class of functions to which the BKW theorem can be applied, and provide some applications in combinatorics.


Humor Detection A Transformer Gets the Last Laugh. Much previous work has been done in attempting to identify humor in text. In this paper we extend that capability by proposing a new task assessing whether or not a joke is humorous. We present a novel way of approaching this problem by building a model that learns to identify humorous jokes based on ratings gleaned from Reddit pages, consisting of almost 16,000 labeled instances. Using these ratings to determine the level of humor, we then employ a Transformer architecture for its advantages in learning from sentence context. We demonstrate the effectiveness of this approach and show results that are comparable to human performance. We further demonstrate our model's increased capabilities on humor identification problems, such as the previously created datasets for short jokes and puns. These experiments show that this method outperforms all previous work done on these tasks, with an F measure of 93.1 for the Puns dataset and 98.6 on the Short Jokes dataset.


Beyond Product Quantization Deep Progressive Quantization for Image Retrieval. Product Quantization (PQ) has long been a mainstream for generating an exponentially large codebook at very low memory time cost. Despite its success, PQ is still tricky for the decomposition of high dimensional vector space, and the retraining of model is usually unavoidable when the code length changes. In this work, we propose a deep progressive quantization (DPQ) model, as an alternative to PQ, for large scale image retrieval. DPQ learns the quantization codes sequentially and approximates the original feature space progressively. Therefore, we can train the quantization codes with different code lengths simultaneously. Specifically, we first utilize the label information for guiding the learning of visual features, and then apply several quantization blocks to progressively approach the visual features. Each quantization block is designed to be a layer of a convolutional neural network, and the whole framework can be trained in an end to end manner. Experimental results on the benchmark datasets show that our model significantly outperforms the state of the art for image retrieval. Our model is trained once for different code lengths and therefore requires less computation time. Additional ablation study demonstrates the effect of each component of our proposed model. Our code is released at https github.com cfm uestc DPQ.


On distance matrices of wheel graphs with odd number of vertices. Let W n denote the wheel graph having n vertices. If i and j are any two vertices of W n , define d ij begin cases 0 mbox if i j 1 mbox if i mbox and j mbox are adjacent 2 mbox else . end cases Let D be the n times n matrix with (i,j) rm th entry equal to d ij . The matrix D is called the distance matrix of W n . Suppose n geq 5 is an odd integer. In this paper, we deduce a formula to compute the Moore Penrose inverse of D . More precisely, we obtain an n times n matrix widetilde L and a rank one matrix ww' such that D dagger frac 1 2 widetilde L frac 4 n 1 ww'. Here, widetilde L is positive semidefinite, rm rank ( widetilde L ) n 2 and all row sums are equal to zero.


The Effect of Social Distancing on the Reach of an Epidemic in Social Networks. How does social distancing affect the reach of an epidemic in social networks? We present Monte Carlo simulation results of a capacity constrained Susceptible Infected Removed (SIR) model. The key modelling feature is that individuals are limited in the number of acquaintances that they can interact with, thereby constraining disease transmission to an infectious subnetwork of the original social network. While increased social distancing always reduces the spread of an infectious disease, the magnitude varies greatly depending on the topology of the network. Our results also reveal the importance of coordinating social distancing policies at the global level. In particular, the public health benefits from social distancing to a group (e.g., a country) may be completely undone if that group maintains connections with outside groups that are not following suit.


The Price of Gold Curiosity?. Gold open access as characterised by the payment of an article processing charge (APC) has become one of the dominant models in open access publication. This paper examines an extreme hypothetical case in which the APC model is the only model and the systematic issues that could develop in such a scenario.


Artificial boundary method for the solution of pricing European options under the Heston model. This paper considers the valuation of a European call option under the Heston stochastic volatility model. We present the asymptotic solution to the option pricing problem in powers of the volatility of variance. Then we introduce the artificial boundary method for solving the problem on a truncated domain, and derive several artificial boundary conditions (ABCs) on the artificial boundary of the bounded computational domain. A typical finite difference scheme and quadrature rule are used for the numerical solution of the reduced problem. Numerical experiments show that the proposed ABCs are able to improve the accuracy of the results and have a significant advantage over the widely used boundary conditions by Heston in the original paper (Heston, 1993).


End to End Learning for Simultaneously Generating Decision Map and Multi Focus Image Fusion Result. The general aim of multi focus image fusion is to gather focused regions of different images to generate a unique all in focus fused image. Deep learning based methods become the mainstream of image fusion by virtue of its powerful feature representation ability. However, most of the existing deep learning structures failed to balance fusion quality and end to end implementation convenience. End to end decoder design often leads to unrealistic result because of its non linear mapping mechanism. On the other hand, generating an intermediate decision map achieves better quality for the fused image, but relies on the rectification with empirical post processing parameter choices. In this work, to handle the requirements of both output image quality and comprehensive simplicity of structure implementation, we propose a cascade network to simultaneously generate decision map and fused result with an end to end training procedure. It avoids the dependence on empirical post processing methods in the inference stage. To improve the fusion quality, we introduce a gradient aware loss function to preserve gradient information in output fused image. In addition, we design a decision calibration strategy to decrease the time consumption in the application of multiple images fusion. Extensive experiments are conducted to compare with 19 different state of the art multi focus image fusion structures with 6 assessment metrics. The results prove that our designed structure can generally ameliorate the output fused image quality, while implementation efficiency increases over 30 for multiple images fusion.


Hardness of Distributed Optimization. This paper studies lower bounds for fundamental optimization problems in the CONGEST model. We show that solving problems exactly in this model can be a hard task, by providing tilde Omega (n 2) lower bounds for cornerstone problems, such as minimum dominating set (MDS), Hamiltonian path, Steiner tree and max cut. These are almost tight, since all of these problems can be solved optimally in O(n 2) rounds. Moreover, we show that even in bounded degree graphs and even in simple graphs with maximum degree 5 and logarithmic diameter, it holds that various tasks, such as finding a maximum independent set (MaxIS) or a minimum vertex cover, are still difficult, requiring a near tight number of tilde Omega (n) rounds. Furthermore, we show that in some cases even approximations are difficult, by providing an tilde Omega (n 2) lower bound for a (7 8 epsilon) approximation for MaxIS, and a nearly linear lower bound for an O( log n ) approximation for the k MDS problem for any constant k geq 2 , as well as for several variants of the Steiner tree problem. Our lower bounds are based on a rich variety of constructions that leverage novel observations, and reductions among problems that are specialized for the CONGEST model. However, for several additional approximation problems, as well as for exact computation of some central problems in P , such as maximum matching and max flow, we show that such constructions cannot be designed, by which we exemplify some limitations of this framework.


Drosophila Inspired 3D Moving Object Detection Based on Point Clouds. 3D moving object detection is one of the most critical tasks in dynamic scene analysis. In this paper, we propose a novel Drosophila inspired 3D moving object detection method using Lidar sensors. According to the theory of elementary motion detector, we have developed a motion detector based on the shallow visual neural pathway of Drosophila. This detector is sensitive to the movement of objects and can well suppress background noise. Designing neural circuits with different connection modes, the approach searches for motion areas in a coarse to fine fashion and extracts point clouds of each motion area to form moving object proposals. An improved 3D object detection network is then used to estimate the point clouds of each proposal and efficiently generates the 3D bounding boxes and the object categories. We evaluate the proposed approach on the widely used KITTI benchmark, and state of the art performance was obtained by using the proposed approach on the task of motion detection.


Bilinear Multipliers of Small Lebesgue spaces. Let G be a locally compact abelian metric group with Haar measure lambda and hat G its dual with Haar measure mu , and lambda ( G) is finite. Assume that 1 p i infty , p i prime frac p i p i 1 , ( i 1,2,3) and theta geq 0 . Let L (p i prime , theta ( G) , ( i 1,2,3) be small Lebesgue spaces. A bounded measurable function m( xi , eta ) defined on hat G times hat G is said to be a bilinear multiplier on G of type (p 1 prime (p 2 prime (p 3 prime theta if the bilinear operator B m associated with the symbol m , begin equation B m (f,g) ( x) sum s in hat G sum t in hat G hat f (s) hat g (t) m(s,t) langle s t,x rangle end equation defines a bounded bilinear operator from L (p 1 prime , theta ( G) times L (p 2 prime , theta ( G) into L (p 3 prime , theta (G) . We denote by BM theta (p 1 prime (p 2 prime (p 3 prime the space of all bilinear multipliers of type (p 1 prime (p 2 prime (p 3 prime theta . In this paper, we discuss some basic properties of the space BM theta (p 1 prime (p 2 prime (p 3 prime and give examples of bilinear multipliers.


Domain Theory in Constructive and Predicative Univalent Foundations. We develop domain theory in constructive univalent foundations without Voevodsky's resizing axioms. In previous work in this direction, we constructed the Scott model of PCF and proved its computational adequacy, based on directed complete posets (dcpos). Here we further consider algebraic and continuous dcpos, and construct Scott's D infty model of the untyped lambda calculus. A common approach to deal with size issues in a predicative foundation is to work with information systems or abstract bases or formal topologies rather than dcpos, and approximable relations rather than Scott continuous functions. Here we instead accept that dcpos may be large and work with type universes to account for this. For instance, in the Scott model of PCF, the dcpos have carriers in the second universe mathcal U 1 and suprema of directed families with indexing type in the first universe mathcal U 0 . Seeing a poset as a category in the usual way, we can say that these dcpos are large, but locally small, and have small filtered colimits. In the case of algebraic dcpos, in order to deal with size issues, we proceed mimicking the definition of accessible category. With such a definition, our construction of Scott's D infty again gives a large, locally small, algebraic dcpo with small directed suprema.


Spatially Conditioned Graphs for Detecting Human Object Interactions. We address the problem of detecting human object interactions in images using graphical neural networks. Unlike conventional methods, where nodes send scaled but otherwise identical messages to each of their neighbours, we propose to condition messages between pairs of nodes on their spatial relationships, resulting in different messages going to neighbours of the same node. To this end, we explore various ways of applying spatial conditioning under a multi branch structure. Through extensive experimentation we demonstrate the advantages of spatial conditioning for the computation of the adjacency structure, messages and the refined graph features. In particular, we empirically show that as the quality of the bounding boxes increases, their coarse appearance features contribute relatively less to the disambiguation of interactions compared to the spatial information. Our method achieves an mAP of 31.33 on HICO DET and 54.2 on V COCO, significantly outperforming state of the art on fine tuned detections.


Differential Brauer Monoids. The differential Brauer monoid of a differential commutative ring R s defined. Its elements are the isomorphism classes of differential Azumaya R algebras with operation from tensor product subject to the relation that two such algebras are equivalent if matrix algebras over them are differentially isomorphic. The Bauer monoid, which is a group, is the same thing without the differential requirement. The differential Brauer monoid is then determined from the Brauer monoids of R and its ring of constants and the submonoid whose underlying Azumaya algebras are matrix rings.


Lipschitz stability for an inverse source problem in anisotropic parabolic equations with dynamic boundary conditions. In this paper, we study an inverse problem for linear parabolic system with variable diffusion coefficients subject to dynamic boundary conditions. We prove a global Lipschitz stability for the inverse problem involving a simultaneous recovery of two source terms from a single measurement and interior observations, based on a recent Carleman estimate for such problems.


Large deviations for interacting diffusions with path dependent McKean Vlasov limit. We consider a mean field system of path dependent stochastic interacting diffusions in random media over a finite time window. The interaction term is given as a function of the empirical measure and is allowed to be non linear and path dependent. We prove that the sequence of empirical measures of the full trajectories satisfies a large deviation principle with explicit rate function. The minimizer of the rate function is characterized as the path dependent McKean Vlasov diffusion associated to the system. As corollary, we obtain a strong law of large numbers for the sequence of empirical measures. The proof is based on a decoupling technique by associating to the system a convenient family of product measures. To illustrate, we apply our results for the delayed stochastic Kuramoto model and for a SDE version of Galves L "ocherbach model.


Online Policies for Efficient Volunteer Crowdsourcing. Nonprofit crowdsourcing platforms such as food recovery organizations rely on volunteers to perform time sensitive tasks. To encourage volunteers to complete a task, platforms use nudging mechanisms to notify a subset of volunteers with the hope that at least one of them responds positively. However, since excessive notifications may reduce volunteer engagement, the platform faces a trade off between notifying more volunteers for the current task and saving them for future ones. Motivated by these applications, we introduce the online volunteer notification problem, a generalization of online stochastic bipartite matching where tasks arrive following a known time varying distribution over task types. Upon arrival of a task, the platform notifies a subset of volunteers with the objective of minimizing the number of missed tasks. To capture each volunteer's adverse reaction to excessive notifications, we assume that a notification triggers a random period of inactivity, during which she will ignore all notifications. However, if a volunteer is active and notified, she will perform the task with a given pair specific match probability that captures her preference for the task. We develop an online randomized policy that achieves a constant factor guarantee close to the upper bound we establish for the performance of any online policy. Our policy as well as hardness results are parameterized by the minimum discrete hazard rate of the inter activity time distribution. The design of our policy relies on sparsifying an ex ante feasible solution by solving a sequence of dynamic programs. Further, in collaboration with Food Rescue U.S., a volunteer based food recovery platform, we demonstrate the effectiveness of our policy by testing them on the platform's data from various locations across the U.S.


Hybrid Approaches for our Participation to the n2c2 Challenge on Cohort Selection for Clinical Trials. Objective Natural language processing can help minimize human intervention in identifying patients meeting eligibility criteria for clinical trials, but there is still a long way to go to obtain a general and systematic approach that is useful for researchers. We describe two methods taking a step in this direction and present their results obtained during the n2c2 challenge on cohort selection for clinical trials. Materials and Methods The first method is a weakly supervised method using an unlabeled corpus (MIMIC) to build a silver standard, by producing semi automatically a small and very precise set of rules to detect some samples of positive and negative patients. This silver standard is then used to train a traditional supervised model. The second method is a terminology based approach where a medical expert selects the appropriate concepts, and a procedure is defined to search the terms and check the structural or temporal constraints. Results On the n2c2 dataset containing annotated data about 13 selection criteria on 288 patients, we obtained an overall F1 measure of 0.8969, which is the third best result out of 45 participant teams, with no statistically significant difference with the best ranked team. Discussion Both approaches obtained very encouraging results and apply to different types of criteria. The weakly supervised method requires explicit descriptions of positive and negative examples in some reports. The terminology based method is very efficient when medical concepts carry most of the relevant information. Conclusion It is unlikely that much more annotated data will be soon available for the task of identifying a wide range of patient phenotypes. One must focus on weakly or non supervised learning methods using both structured and unstructured data and relying on a comprehensive representation of the patients.