Temporal Stochastic Softmax for 3D CNNs An Application in Facial Expression Recognition. Training deep learning models for accurate spatiotemporal recognition of facial expressions in videos requires significant computational resources. For practical reasons, 3D Convolutional Neural Networks (3D CNNs) are usually trained with relatively short clips randomly extracted from videos. However, such uniform sampling is generally sub optimal because equal importance is assigned to each temporal clip. In this paper, we present a strategy for efficient video based training of 3D CNNs. It relies on softmax temporal pooling and a weighted sampling mechanism to select the most relevant training clips. The proposed softmax strategy provides several advantages a reduced computational complexity due to efficient clip sampling, and an improved accuracy since temporal weighting focuses on more relevant clips during both training and inference. Experimental results obtained with the proposed method on several facial expression recognition benchmarks show the benefits of focusing on more informative clips in training videos. In particular, our approach improves performance and computational cost by reducing the impact of inaccurate trimming and coarse annotation of videos, and heterogeneous distribution of visual information across time.


High frequency, resonant acousto optic modulators fabricated in a MEMS foundry platform. We report the design and characterization of high frequency, resonant acousto optic modulators (AOM) in a MEMS foundry process. The doubly resonant cavity design, with short ( L sim 10.5 , mu m ) acoustic and optical cavity lengths, allows us to measure acousto optic modulation at GHz frequencies with high modulation efficiency. In contrast to traditional AOMs, these devices rely on the perturbation induced by the displacement of cavity boundaries, which can be significantly enhanced in a suspended geometry. This platform can serve as the building block for fast 2D spatial light modulators (SLM), low cost integrated free space optical links and optically enhanced low noise RF receivers.


Second Order Unconditional Positive Preserving Schemes for Non equilibrium Reactive Flows with Mass and Mole Balance. In this study, a family of second order process based modified Patankar Runge Kutta schemes is proposed with both the mass and mole maintained in balance while preserving the positivity of density and pressure with the time step determined by convection terms. The accuracy analysis is conducted to derive the sufficient and necessary conditions for the Runge Kutta and Patankar coefficients. Coupling with the finite volume method, the proposed schemes are extended to Euler equations with non equilibrium reacting source terms. Benchmark tests are given to prove the prior order of accuracy and validate the positive preserving property for both density and pressure.


Fourier interpolation and time frequency localization. We prove that under very mild conditions for any interpolation formula f(x) sum lambda in Lambda f( lambda)a lambda(x) sum mu in M hat f ( mu)b mu (x) we have a lower bound for the counting functions n Lambda(R 1) n M (R 2) ge 4R 1R 2 C log 2 varepsilon (4R 1R 2) which very closely matches interpolation formulas discovered by Radchenko and Viazovska and by Bondarenko, Radchenko and Seip.


Systematic Counting of Restricted Partitions. Integer partitions are one of the most fundamental objects of combinatorics (and number theory), and so is enumerating objects avoiding patterns. In the present paper we describe two approaches for the systematic counting of classes of partitions avoiding an arbitrary set of "patterns".


Achromatic number, achromatic index and diachromatic number of circulant graphs and digraphs. In this paper, we determine the achromatic and diachromatic numbers of some circulant graphs and digraphs each one with two lengths and give bounds for other circulant graphs and digraphs with two lengths. In particular, for the achromatic number we state that alpha(C 16q 2 20q 7 (1,2)) 8q 5 , and for the diachromatic number we state that dac( overrightarrow C 32q 2 24q 5 (1,2)) 8q 3 . In general, we give the lower bounds alpha(C 4q 2 aq 1 (1,a)) geq 4q 1 and dac( overrightarrow C 8q 2 2(a 4)q a 3 (1,a)) geq 4q 3 when a is a non quadratic residue of mathbb Z 4q 1 for graphs and mathbb Z 4q 3 for digraphs, and the equality is attained, in both cases, for a 3 . Finally, we determine the achromatic index for circulant graphs of q 2 q 1 vertices when the projective cyclic plane of odd order q exists.


Evaluation of Error Probability of Classification Based on the Analysis of the Bayes Code Extension and Example. Suppose that we have two training sequences generated by parametrized distributions P theta and P xi , where theta and xi are unknown true parameters. Given training sequences, we study the problem of classifying whether a test sequence was generated according to P theta or P xi . This problem can be thought of as a hypothesis testing problem and our aim is to analyze the weighted sum of type I and type II error probabilities. Utilizing the analysis of the codeword lengths of the Bayes code, our previous study derived more refined bounds on the error probability than known previously. However, our previous study had the following deficiencies i) the prior distributions of theta and xi are the same ii) the prior distributions of two hypotheses are uniform iii) no numerical calculation at finite blocklength. This study solves these problems. We remove the restrictions i) and ii) and derive more general results than obtained previously. To deal with problem iii), we perform a numerical calculation for a concrete model.


Solving Satisfiability of Polynomial Formulas By Sample Cell Projection. A new algorithm for deciding the satisfiability of polynomial formulas over the reals is proposed. The key point of the algorithm is a new projection operator, called sample cell projection operator, custom made for Conflict Driven Clause Learning (CDCL) style search. Although the new operator is also a CAD (Cylindrical Algebraic Decomposition) like projection operator which computes the cell (not necessarily cylindrical) containing a given sample such that each polynomial from the problem is sign invariant on the cell, it is of singly exponential time complexity. The sample cell projection operator can efficiently guide CDCL style search away from conflicting states. Experiments show the effectiveness of the new algorithm.


Advanced Deep Convolutional Neural Network Approaches for Digital Pathology Image Analysis a comprehensive evaluation with different use cases. Deep Learning (DL) approaches have been providing state of the art performance in different modalities in the field of medical imagining including Digital Pathology Image Analysis (DPIA). Out of many different DL approaches, Deep Convolutional Neural Network (DCNN) technique provides superior performance for classification, segmentation, and detection tasks. Most of the task in DPIA problems are somehow possible to solve with classification, segmentation, and detection approaches. In addition, sometimes pre and post processing methods are applied for solving some specific type of problems. Recently, different DCNN models including Inception residual recurrent CNN (IRRCNN), Densely Connected Recurrent Convolution Network (DCRCN), Recurrent Residual U Net (R2U Net), and R2U Net based regression model (UD Net) have proposed and provide state of the art performance for different computer vision and medical image analysis tasks. However, these advanced DCNN models have not been explored for solving different problems related to DPIA. In this study, we have applied these DCNN techniques for solving different DPIA problems and evaluated on different publicly available benchmark datasets for seven different tasks in digital pathology including lymphoma classification, Invasive Ductal Carcinoma (IDC) detection, nuclei segmentation, epithelium segmentation, tubule segmentation, lymphocyte detection, and mitosis detection. The experimental results are evaluated with different performance metrics such as sensitivity, specificity, accuracy, F1 score, Receiver Operating Characteristics (ROC) curve, dice coefficient (DC), and Means Squired Errors (MSE). The results demonstrate superior performance for classification, segmentation, and detection tasks compared to existing machine learning and DCNN based approaches.


physics.comp-ph cs.DC cs.NA cs.PF math.NA physics.flu-dyn

GPU Accelerated Discontinuous Galerkin Methods 30x Speedup on 345 Billion Unknowns. A discontinuous Galerkin method for the discretization of the compressible Euler equations, the governing equations of inviscid fluid dynamics, on Cartesian meshes is developed for use of Graphical Processing Units via OCCA, a unified approach to performance portability on multi threaded hardware architectures. A 30x time to solution speedup over CPU only implementations using non CUDA Aware MPI communications is demonstrated up to 1,536 NVIDIA V100 GPUs and parallel strong scalability is shown up to 6,144 NVIDIA V100 GPUs for a problem containing 345 billion unknowns. A comparison of CUDA Aware MPI communication to non GPUDirect communication is performed demonstrating an additional 24 speedup on eight nodes composed of 32 NVIDIA V100 GPUs.


A Sequential Composition Framework for Coordinating Multi Robot Behaviors. A number of coordinated behaviors have been proposed for achieving specific tasks for multi robot systems. However, since most applications require more than one such behavior, one needs to be able to compose together sequences of behaviors while respecting local information flow constraints. Specifically, when the inter agent communication depends on inter robot distances, these constraints translate into particular configurations that must be reached in finite time in order for the system to be able to transition between the behaviors. To this end, we develop a distributed framework based on finite time convergence control barrier functions that enables a team of robots to adjust its configuration in order to meet the communication requirements for the different tasks. In order to demonstrate the significance of the proposed framework, we implemented a full scale scenario where a team of eight planar robots explore an urban environment in order to localize and rescue a subject.


Lattice paths and branched continued fractions. II. Multivariate Lah polynomials and Lah symmetric functions. We introduce the generic Lah polynomials L n,k ( phi) , which enumerate unordered forests of increasing ordered trees with a weight phi i for each vertex with i children. We show that, if the weight sequence phi is Toeplitz totally positive, then the triangular array of generic Lah polynomials is totally positive and the sequence of row generating polynomials L n( phi,y) is coefficientwise Hankel totally positive. Upon specialization we obtain results for the Lah symmetric functions and multivariate Lah polynomials of positive and negative type. The multivariate Lah polynomials of positive type are also given by a branched continued fraction. Our proofs use mainly the method of production matrices the production matrix is obtained by a bijection from ordered forests of increasing ordered trees to labeled partial Lukasiewicz paths. We also give a second proof of the continued fraction using the Euler Gauss recurrence method.


Establishing a Search String to Detect Secondary Studies in Software Engineering. Search for secondary studies is essential to establish whether the review on the intended topic has already been done, avoiding waste time. In addition, secondary studies are the inputs of a tertiary study. However, one critical step in searching for secondary studies is to elaborate a search string. The main goal of this work is to analyze search strings to establish directions to better detect secondary studies in Software Engineering (SE). We analyzed seven tertiary studies under two perspectives (1) structure strings' terms to detect secondary studies and (2) field where searching titles alone or abstracts alone or titles and abstracts together, among others. We also performed a validation of the results found. The suitable search string for finding secondary studies in SE contain the terms "systematic review", "literature review", "systematic mapping", "mapping study", "systematic map", "meta analysis", "survey" and "literature analysis". Furthermore, we recommend (1) researchers use the title, abstract and keywords search fields in their searches to increase studies recall (2) researchers choose carefully their paper title, abstract and keyword terms to increase the chance of having such studies found on digital libraries.


Hyperpolarizability of plasmonic meta atoms in metasurfaces. Plasmonic metasurfaces are promising as enablers of nanoscale nonlinear optics and flat nonlinear optical components. Nonlinear optical responses of such metasurfaces are determined by the nonlinear optical properties of individual nanostructured plasmonic meta atoms, which are the building blocks of the metasurfaces. Unfortunately, no simple methods exist to determine the nonlinear coefficients (hyperpolarizabilities) of the meta atoms hindering designing of nonlinear metasurfaces. Here, we develop the equivalent RLC circuit model of such meta atoms to estimate their second order nonlinear optical parameter i.e. the first order hyperpolarizability in the optical spectral range. In parallel, we extract from second harmonic generation experiments the spectrum of the 1st order hyperpolarizabilities of individual meta atoms consisting of asymmetrically shaped (elongated) plasmonic nanoprisms. Moreover, we verify our results using nonlinear hydrodynamic FDTD and with calculations based on nonlinear scattering theory. All three approaches analytical, experimental, and computational, yield results that agree very well. Our empirical RLC model can thus be used as a simple tool to enable efficient design of nonlinear plasmonic metasurfaces.


Hodge ideals of free divisors. We consider the Hodge filtration on the sheaf of meromorphic functions along free divisors for which the logarithmic comparison theorem holds. We describe the Hodge filtration steps as submodules of the order filtration on a cyclic presentation in terms of a special factor of the Bernstein Sato polynomial of the divisor and we conjecture a bound for the generating level of the Hodge filtration. Finally, we develop an algorithm to compute Hodge ideals of such divisors and we apply it to some examples.


Forking and Dividing in Fields with Several Orderings and Valuations. We consider existentially closed fields with several orderings, valuations, and p valuations. We show that these structures are NTP 2 of finite burden, but usually have the independence property. Moreover, forking agrees with dividing, and forking can be characterized in terms of forking in ACVF, RCF, and p CF.


An Online Platform for Automatic Skull Defect Restoration and Cranial Implant Design. We introduce a fully automatic system for cranial implant design, a common task in cranioplasty operations. The system is currently integrated in Studierfenster (http studierfenster.tugraz.at ), an online, cloud based medical image processing platform for medical imaging applications. Enhanced by deep learning algorithms, the system automatically restores the missing part of a skull (i.e., skull shape completion) and generates the desired implant by subtracting the defective skull from the completed skull. The generated implant can be downloaded in the STereoLithography (.stl) format directly via the browser interface of the system. The implant model can then be sent to a 3D printer for in loco implant manufacturing. Furthermore, thanks to the standard format, the user can thereafter load the model into another application for post processing whenever necessary. Such an automatic cranial implant design system can be integrated into the clinical practice to improve the current routine for surgeries related to skull defect repair (e.g., cranioplasty). Our system, although currently intended for educational and research use only, can be seen as an application of additive manufacturing for fast, patient specific implant design.


Measuring Memorization Effect in Word Level Neural Networks Probing. Multiple studies have probed representations emerging in neural networks trained for end to end NLP tasks and examined what word level linguistic information may be encoded in the representations. In classical probing, a classifier is trained on the representations to extract the target linguistic information. However, there is a threat of the classifier simply memorizing the linguistic labels for individual words, instead of extracting the linguistic abstractions from the representations, thus reporting false positive results. While considerable efforts have been made to minimize the memorization problem, the task of actually measuring the amount of memorization happening in the classifier has been understudied so far. In our work, we propose a simple general method for measuring the memorization effect, based on a symmetric selection of comparable sets of test words seen versus unseen in training. Our method can be used to explicitly quantify the amount of memorization happening in a probing setup, so that an adequate setup can be chosen and the results of the probing can be interpreted with a reliability estimate. We exemplify this by showcasing our method on a case study of probing for part of speech in a trained neural machine translation encoder.


Boolean valued models, presheaves, and 'etal 'e spaces. Boolean valued models for a signature mathcal L are generalizations of mathcal L structures in which we allow the mathcal L relation symbols to be interpreted by boolean truth values. For example, for elements a,b in mathcal M with mathcal M a mathsf B valued mathcal L structure for some boolean algebra mathsf B , (a b) may be neither true nor false, but get an intermediate truth value in mathsf B . In this paper we introduce a topological characterization of the sheafification process for presheaves on topological spaces induced by the dense Grothendieck topology. On the way to produce our characterization, we also relate the notion of open continuous mapping between topological spaces to that of complete homomorphism between complete boolean algebras, and to that of adjoint homomorphism between boolean algebras (e.g. an homomorphism which has a left adjoint, if seen as a functor between partial orders categories). Next we link these topological category theoretic results to the theory of boolean valued models. We give a different proof of a result by Monro identifying topological presheaves on Stone spaces with boolean valued models, and sheaves (according to the dense Grothendieck topology) with boolean valued models having the mixing property. We also give an exact topological characterization (the so called fullness property) of which boolean valued models satisfy Lo 's Theorem (i.e. the general form of the Forcing Theorem which Cohen Scott, Solovay, Vopenka established for the special case given by the forcing method in set theory). Then we separate the fullness property from the mixing property, by showing that the latter is strictly stronger. Finally we give an exact categorical characterization of which presheaves correspond to full boolean valued models in terms of the structure of global sections of their associated 'etal 'e space


The DEEP ER project I O and resiliency extensions for the Cluster Booster architecture. The recently completed research project DEEP ER has developed a variety of hardware and software technologies to improve the I O capabilities of next generation high performance computers, and to enable applications recovering from the larger hardware failure rates expected on these machines. The heterogeneous Cluster Booster architecture first introduced in the predecessor DEEP project has been extended by a multi level memory hierarchy employing non volatile and network attached memory devices. Based on this hardware infrastructure, an I O and resiliency software stack has been implemented combining and extending well established libraries and software tools, and sticking to standard user interfaces. Real world scientific codes have tested the projects' developments and demonstrated the improvements achieved without compromising the portability of the applications.


DPMC Weighted Model Counting by Dynamic Programming on Project Join Trees. We propose a unifying dynamic programming framework to compute exact literal weighted model counts of formulas in conjunctive normal form. At the center of our framework are project join trees, which specify efficient project join orders to apply additive projections (variable eliminations) and joins (clause multiplications). In this framework, model counting is performed in two phases. First, the planning phase constructs a project join tree from a formula. Second, the execution phase computes the model count of the formula, employing dynamic programming as guided by the project join tree. We empirically evaluate various methods for the planning phase and compare constraint satisfaction heuristics with tree decomposition tools. We also investigate the performance of different data structures for the execution phase and compare algebraic decision diagrams with tensors. We show that our dynamic programming model counting framework DPMC is competitive with the state of the art exact weighted model counters cachet, c2d, d4, and miniC2D.


Absolute continuity and numerical approximation of stochastic Cahn Hilliard equation with unbounded noise diffusion. In this article, we develop and analyze a full discretization, based on the spatial spectral Galerkin method and the temporal drift implicit Euler scheme, for the stochastic Cahn Hilliard equation driven by multiplicative space time white noise. By introducing an appropriate decomposition of the numerical approximation, we first use the factorization method to deduce the a priori estimate and regularity estimate of the proposed full discretization. With the help of the variation approach, we then obtain the sharp spatial and temporal convergence rate in negative Sobolev space in mean square sense. Furthermore, the sharp mean square convergence rates in both time and space are derived via the Sobolev interpolation inequality and semigroup theory. To the best of our knowledge, this is the first result on the convergence rate of temporally and fully discrete numerical methods for the stochastic Cahn Hilliard equation driven by multiplicative space time white noise.


A nonlocal approximation of the Gaussian perimeter Gamma convergence and Isoperimetric properties. We study a non local approximation of the Gaussian perimeter, proving the Gamma convergence to the local one. Surprisingly, in contrast with the local setting, the halfspace turns out to be a volume constrained stationary point if and only if the boundary hyperplane passes through the origin. In particular, this implies that Ehrhard symmetrization can in general increase the considered non local Gaussian perimeter.


On the correlation between solar activity and large earthquakes worldwide. Large earthquakes occurring worldwide have long been recognised to be non Poisson distributed, so involving some large scale correlation mechanism, which could be internal or external to the Earth. Till now, no statistically significant correlation of the global seismicity with one of the possible mechanisms has been demonstrated yet. In this paper, we analyse 20 years of proton density and velocity data, as reported by the ISC GEM catalogue. We found clear correlation between proton density and the occurrence of large earthquakes (M 5.8), with a time shift of one day. The significance of such correlation is very high, with probability to be wrong less than 10 5. The correlation increases with the magnitude threshold of the seismic catalogue. A tentative model explaining such a correlation is also proposed, in terms of the reverse piezoelectric effect induced by the applied electric field. This result opens new perspectives in seismological interpretations, as well as in earthquake forecast.


Antimagic orientations of graphs with given independence number. Given a digraph D with m arcs and a bijection tau A(D) rightarrow 1, 2, ldots, m , we say (D, tau) is an antimagic orientation of a graph G if D is an orientation of G and no two vertices in D have the same vertex sum under tau , where the vertex sum of a vertex u in D under tau is the sum of labels of all arcs entering u minus the sum of labels of all arcs leaving u . Hefetz, M " u tze, and Schwartz in 2010 initiated the study of antimagic orientations of graphs, and conjectured that every connected graph admits an antimagic orientation. This conjecture seems hard, and few related results are known. However, it has been verified to be true for regular graphs, biregular bipartite graphs, and graphs with large maximum degree. In this paper, we establish more evidence for the aforementioned conjecture by studying antimagic orientations of graphs G with independence number at least V(G) 2 or at most four. We obtain several results. The method we develop in this paper may shed some light on attacking the aforementioned conjecture.


Scale dependent Rayleigh Taylor dynamics with variable acceleration by group theory approach. This work focuses on Rayleigh Taylor instability (RTI)driven by acceleration with power law time dependence. We review the existing theoretical approaches, apply the group theory approach to solve this long standing problem, and yield the unified framework for the scale dependent dynamics of Rayleigh Taylor (RT) bubbles and RT spikes. For the early time linear dynamics we provide the dependence of RTI evolution on the acceleration parameters and the initial conditions. For the late time nonlinear dynamics, we find a continuous family of asymptotic solutions, directly link the interface velocity to the interface morphology and the interfacial shear, derive solutions for the regular bubbles and for the singular spikes, and study stability of these solutions. The properties of special nonlinear solutions in the RT family are scrupulously described, including the critical, the Taylor, the Layzer drag, and the Atwood solutions. It is shown that the fastest Atwood bubble is regular and stable, and the fastest Atwood spike is singular and unstable. The essentially multi scale and interfacial character of RT dynamics is demonstrated. The former can be understood by viewing RT coherent structure of bubbles and spikes as a standing wave with the growing amplitude. The latter implies that RT flow has effectively no motion of the fluids away from the interface and has intense motion of the fluids near the interface, with shear driven vortical structures appearing at the interface. Our theory agrees with available observations, and elaborates extensive benchmarks for future research and for better understanding of RT driven phenomena in plasmas.


Gaussian Fields and Stochastic Heat Equations. The objective of the paper is to characterize the Gaussian free field as a stationary solution of the heat equation with additive space time white noise. In the case of whole space, the investigation leads to other types of Gaussian fields, as well as interesting phenomena in dimensions one and two.


Towards Resolving the Challenge of Long tail Distribution in UAV Images for Object Detection. Existing methods for object detection in UAV images ignored an important challenge imbalanced class distribution in UAV images which leads to poor performance on tail classes. We systematically investigate existing solutions to long tail problems and unveil that re balancing methods that are effective on natural image datasets cannot be trivially applied to UAV datasets. To this end, we rethink long tailed object detection in UAV images and propose the Dual Sampler and Head detection Network (DSHNet), which is the first work that aims to resolve long tail distribution in UAV images. The key components in DSHNet include Class Biased Samplers (CBS) and Bilateral Box Heads (BBH), which are developed to cope with tail classes and head classes in a dual path manner. Without bells and whistles, DSHNet significantly boosts the performance of tail classes on different detection frameworks. Moreover, DSHNet significantly outperforms base detectors and generic approaches for long tail problems on VisDrone and UAVDT datasets. It achieves new state of the art performance when combining with image cropping methods. Code is available at https github.com we1pingyu DSHNet


FedHealth A Federated Transfer Learning Framework for Wearable Healthcare. With the rapid development of computing technology, wearable devices such as smart phones and wristbands make it easy to get access to people's health information including activities, sleep, sports, etc. Smart healthcare achieves great success by training machine learning models on a large quantity of user data. However, there are two critical challenges. Firstly, user data often exists in the form of isolated islands, making it difficult to perform aggregation without compromising privacy security. Secondly, the models trained on the cloud fail on personalization. In this paper, we propose FedHealth, the first federated transfer learning framework for wearable healthcare to tackle these challenges. FedHealth performs data aggregation through federated learning, and then builds personalized models by transfer learning. It is able to achieve accurate and personalized healthcare without compromising privacy and security. Experiments demonstrate that FedHealth produces higher accuracy (5.3 improvement) for wearable activity recognition when compared to traditional methods. FedHealth is general and extensible and has the potential to be used in many healthcare applications.


Global Hopf bifurcation in networks with fast feedback cycles. Autonomous sustained oscillations are ubiquitous in living and nonliving systems. As open systems, far from thermodynamic equilibrium, they defy entropic laws which mandate convergence to stationarity. We present structural conditions on network cycles which support global Hopf bifurcation, i.e. global bifurcation of non stationary time periodic solutions from stationary solutions. Specifically, we show how monotone feedback cycles of the linearization at stationary solutions give rise to global Hopf bifurcation, for sufficiently dominant coefficients along the cycle. We include four example networks which feature such strong feedback cycles of length three and larger Oregonator chemical reaction networks, Lotka Volterra ecological population dynamics, citric acid cycles, and a circadian gene regulatory network in mammals. Reaction kinetics in our approach are not limited to mass action or Michaelis Menten type.


Quantum metamaterials with magnetic response at optical frequencies. We propose novel quantum antennas and metamaterials with strong magnetic response at optical frequencies. Our design is based on the arrangement of natural atoms with only electric dipole transition moments at distances smaller than a wavelength of light but much larger than their physical size. In particular, we show that an atomic dimer can serve as a magnetic antenna at its antisymmetric mode to enhance the decay rate of a magnetic transition in its vicinity by several orders of magnitude. Furthermore, we study metasurfaces composed of atomic bilayers with and without cavities and show that they can fully reflect the electric and magnetic fields of light, thus, forming nearly perfect electric magnetic mirrors. The proposed quantum metamaterials can be fabricated with available state of the art technologies and promise several applications both in classical optics and quantum engineering.


Harmonic Analysis of some arithmetical functions. We study three functions which are power series in the variable z , Dirichlet series in the variable s and with coefficients given by arithmetical functions. A strong point is to relate these functions to some Hilbert spaces. Three main ingredients are used an estimate of Davenport on sums of M "obius functions, a result of Lucht on convolutions of arithmetical Dirichlet series and the introduction of an operation otimes on power series, naturally associated with the mentioned Hilbert spaces.


Karp's patching algorithm on dense digraphs. We consider the following question. We are given a dense digraph D with minimum in and out degree at least alpha n , where alpha 1 2 is a constant. The edges of D are given edge costs C(e),e in E(D) , where C(e) is an independent copy of the uniform 0,1 random variable U . Let C(i,j),i,j in n be the associated n times n cost matrix where C(i,j) infty if (i,j) notin E(D) . We show that w.h.p. the patching algorithm of Karp finds a tour for the asymmetric traveling salesperson problem that is asymptotically equal to that of the associated assignment problem. Karp's algorithm runs in polynomial time.


Temporal aggregation of audio visual modalities for emotion recognition. Emotion recognition has a pivotal role in affective computing and in human computer interaction. The current technological developments lead to increased possibilities of collecting data about the emotional state of a person. In general, human perception regarding the emotion transmitted by a subject is based on vocal and visual information collected in the first seconds of interaction with the subject. As a consequence, the integration of verbal (i.e., speech) and non verbal (i.e., image) information seems to be the preferred choice in most of the current approaches towards emotion recognition. In this paper, we propose a multimodal fusion technique for emotion recognition based on combining audio visual modalities from a temporal window with different temporal offsets for each modality. We show that our proposed method outperforms other methods from the literature and human accuracy rating. The experiments are conducted over the open access multimodal dataset CREMA D.


Electron phase space hole transverse instability at high magnetic field. Analytic treatment is presented of the electrostatic instability of an initially planar electron hole in a plasma of effectively infinite particle magnetization. It is shown that there is an unstable mode consisting of a rigid shift of the hole in the trapping direction. Its low frequency is determined by the real part of the force balance between the Maxwell stress arising from the tranverse wavenumber k and the kinematic jetting from the hole's acceleration. The very low growth rate arises from a delicate balance in the imaginary part of the force between the passing particle jetting, which is destabilizing, and the resonant response of the trapped particles, which is stabilizing. Nearly universal scalings of the complex frequency and k with hole depth are derived. Particle in cell simulations show that the slow growing instabilities previously investigated as coupled hole wave phenomena occur at the predicted frequency, but with growth rates 2 to 4 times greater than the analytic prediction. This higher rate may be caused by a reduced resonant stabilization because of numerical phase space diffusion in the simulations.


A randomly weighted minimum arborescence with a random cost constraint. We study the minimum spanning arborescence problem on the complete digraph vec K n where an edge e has a weight W e and a cost C e , each of which is an independent uniform random variable U alpha where alpha leq 1 and U is uniform 0,1 . There is also a constraint that the spanning arborescence T must satisfy C(T) leq c 0 . We establish, for a range of values for c 0, alpha , the asymptotic value of the optimum weight via the consideration of a dual problem.


V Dream Immersive Exploration of Generative Design Solution Space. Generative Design workflows have introduced alternative paradigms in the domain of computational design, allowing designers to generate large pools of valid solutions by defining a set of goals and constraints. However, analyzing and narrowing down the generated solution space, which usually consists of various high dimensional properties, has been a major challenge in current generative workflows. By taking advantage of the interactive unbounded spatial exploration, and the visual immersion offered in virtual reality platforms, we propose V Dream, a virtual reality generative analysis framework for exploring large scale solution spaces. V Dream proposes a hybrid search workflow in which a spatial stochastic search approach is combined with a recommender system allowing users to pick desired candidates and eliminate the undesired ones iteratively. In each cycle, V Dream reorganizes the remaining options in clusters based on the defined features. Moreover, our framework allows users to inspect design solutions and evaluate their performance metrics in various hierarchical levels, assisting them in narrowing down the solution space through iterative cycles of search select re clustering of the solutions in an immersive fashion. Finally, we present a prototype of our proposed framework, illustrating how users can navigate and narrow down desired solutions from a pool of over 16000 monitor stands generated by Autodesk's Dreamcatcher software.


PATHoBot A Robot for Glasshouse Crop Phenotyping and Intervention. We present PATHoBot an autonomous crop surveying and intervention robot for glasshouse environments. The aim of this platform is to autonomously gather high quality data and also estimate key phenotypic parameters. To achieve this we retro fit an off the shelf pipe rail trolley with an array of multi modal cameras, navigation sensors and a robotic arm for close surveying tasks and intervention. In this paper we describe PATHoBot design choices made to ensure proper operation in a commercial glasshouse environment. As a surveying platform we collect a number of datasets which include both sweet pepper and tomatoes. We show how PATHoBot enables novel surveillance approaches by first improving our previous work on fruit counting by incorporating wheel odometry and depth information. We find that by introducing re projection and depth information we are able to achieve an absolute improvement of 20 points over the baseline technique in an "in the wild" situation. Finally, we present a 3D mapping case study, further showcasing PATHoBot's crop surveying capabilities.


A deep learning approach to multi track location and orientation in gaseous drift chambers. Accurate measuring the location and orientation of individual particles in a beam monitoring system is of particular interest to researchers in multiple disciplines. Among feasible methods, gaseous drift chambers with hybrid pixel sensors have the great potential to realize long term stable measurement with considerable precision. In this paper, we introduce deep learning to analyze patterns in the beam projection image to facilitate three dimensional reconstruction of particle tracks. We propose an end to end neural network based on segmentation and fitting for feature extraction and regression. Two segmentation branches, named binary segmentation and semantic segmentation, perform initial track determination and pixel track association. Then pixels are assigned to multiple tracks, and a weighted least squares fitting is implemented with full back propagation. Besides, we introduce a center angle measure to judge the precision of location and orientation by combining two separate factors. The initial position resolution achieves 8.8 mu m for the single track and 11.4 mu m (15.2 mu m ) for the 1 3 tracks (1 5 tracks), and the angle resolution achieves 0.15 circ and 0.21 circ (0.29 circ ) respectively. These results show a significant improvement in accuracy and multi track compatibility compared to traditional methods.


A New Class of Scaling Matrices for Scaled Trust Region Algorithms. A new class of affine scaling matrices for the interior point Newton type methods is considered to solve the nonlinear systems with simple bounds. We review the essential properties of a scaling matrix and consider several well known scaling matrices proposed in the literature. We define a new scaling matrix that is the convex combination of these matrices. The proposed scaling matrix inherits those interesting properties of the individual matrices and satisfies additional desired requirements. The numerical experiments demonstrate the superiority of the new scaling matrix in solving several important test problems.


Are We There Yet? Evaluating State of the Art Neural Network based Geoparsers Using EUPEG as a Benchmarking Platform. Geoparsing is an important task in geographic information retrieval. A geoparsing system, known as a geoparser, takes some texts as the input and outputs the recognized place mentions and their location coordinates. In June 2019, a geoparsing competition, Toponym Resolution in Scientific Papers, was held as one of the SemEval 2019 tasks. The winning teams developed neural network based geoparsers that achieved outstanding performances (over 90 precision, recall, and F1 score for toponym recognition). This exciting result brings the question "are we there yet?", namely have we achieved high enough performances to possibly consider the problem of geoparsing as solved? One limitation of this competition is that the developed geoparsers were tested on only one dataset which has 45 research articles collected from the particular domain of Bio medicine. It is known that the same geoparser can have very different performances on different datasets. Thus, this work performs a systematic evaluation of these state of the art geoparsers using our recently developed benchmarking platform EUPEG that has eight annotated datasets, nine baseline geoparsers, and eight performance metrics. The evaluation result suggests that these new geoparsers indeed improve the performances of geoparsing on multiple datasets although some challenges remain.


On perfect colorings of infinite multipath graphs. A coloring of vertices of a given graph is called perfect if the color structure of each ball of radius 1 in the graph depends only on the color of the ball center. Let n be a positive integer. We consider a lexicographic product of the infinite path graph and a graph G that can be either the complete or empty graph on n vertices. We give a complete description of perfect colorings with an arbitrary number of colors of such graph products.


Degenerate Bianchi transformations for three dimensional pseudo spherical submanifolds in mathbb R 5 . Three dimensional pseudo spherical submanifolds in mathbb R 5 , whose Bianchi transformations are degenerate of rank 2, are studied. A complete description of such submanifolds is obtained in the case where the Bianchi transformations are holonomically degenerate.


Context Aware Refinement Network Incorporating Structural Connectivity Prior for Brain Midline Delineation. Brain midline delineation can facilitate the clinical evaluation of brain midline shift, which plays an important role in the diagnosis and prognosis of various brain pathology. Nevertheless, there are still great challenges with brain midline delineation, such as the largely deformed midline caused by the mass effect and the possible morphological failure that the predicted midline is not a connected curve. To address these challenges, we propose a context aware refinement network (CAR Net) to refine and integrate the feature pyramid representation generated by the UNet. Consequently, the proposed CAR Net explores more discriminative contextual features and a larger receptive field, which is of great importance to predict largely deformed midline. For keeping the structural connectivity of the brain midline, we introduce a novel connectivity regular loss (CRL) to punish the disconnectivity between adjacent coordinates. Moreover, we address the ignored prerequisite of previous regression based methods that the brain CT image must be in the standard pose. A simple pose rectification network is presented to align the source input image to the standard pose image. Extensive experimental results on the CQ dataset and one inhouse dataset show that the proposed method requires fewer parameters and outperforms three state of the art methods in terms of four evaluation metrics. Code is available at https github.com ShawnBIT Brain Midline Detection.


A Modern Primer on Processing in Memory. Modern computing systems are overwhelmingly designed to move data to computation. This design choice goes directly against at least three key trends in computing that cause performance, scalability and energy bottlenecks (1) data access is a key bottleneck as many important applications are increasingly data intensive, and memory bandwidth and energy do not scale well, (2) energy consumption is a key limiter in almost all computing platforms, especially server and mobile systems, (3) data movement, especially off chip to on chip, is very expensive in terms of bandwidth, energy and latency, much more so than computation. These trends are especially severely felt in the data intensive server and energy constrained mobile systems of today. At the same time, conventional memory technology is facing many technology scaling challenges in terms of reliability, energy, and performance. As a result, memory system architects are open to organizing memory in different ways and making it more intelligent, at the expense of higher cost. The emergence of 3D stacked memory plus logic, the adoption of error correcting codes inside the latest DRAM chips, proliferation of different main memory standards and chips, specialized for different purposes (e.g., graphics, low power, high bandwidth, low latency), and the necessity of designing new solutions to serious reliability and security issues, such as the RowHammer phenomenon, are an evidence of this trend. This chapter discusses recent research that aims to practically enable computation close to data, an approach we call processing in memory (PIM). PIM places computation mechanisms in or near where the data is stored (i.e., inside the memory chips, in the logic layer of 3D stacked memory, or in the memory controllers), so that data movement between the computation units and memory is reduced or eliminated.


Usability, Accessibility and Web Security Assessment of E government Websites in Tanzania. In spite of the fact that e government agency (ega) in Tanzania emphasize on the use of ICT within public institutions in Tanzania, accessibility, usability and web security vulnerabilities are still not considered by the majority of web developers. The main objective of this study is to assess the usability, accessibility and web security vulnerabilities of selected Tanzania e government websites. Using several automatic diagnostic (evaluation) tools such as pingdom, google speed insight, wave, w3c checker and acunetix, this study assess the usability, accessibility and web security vulnerabilities of 79 selected e government websites in Tanzania. The results reveal several issues on usability, accessibility and security of Tanzania e government websites. There is high number of usability problems where 100 of websites were found to have broken links and 52 out of 79 websites have loading time of more than five (5) seconds for their main page. The accessibility results show that all 79 selected websites have accessibility errors and violate w3c Web Content Accessibility Guidelines (WCAG) 1.0. The results on web security vulnerabilities indicate that 40 out of 79 (50.6 ) assessed websites have one or more high severity vulnerability (SQL injection or cross site scripting XSS) while 51 out of 79 (64.5 ) have one or more medium severity vulnerabilities (Cross site request forgery or Denial of Service). Based on these results, this study provides some recommendations for improving the usability, accessibility and web security vulnerabilities of public institutions in Tanzania.


A multi scale model of virus pandemic Heterogeneous interactive entities in a globally connected world. This paper is devoted to the multidisciplinary modelling of a pandemic initiated by an aggressive virus, specifically the so called textit SARS CoV 2 Severe Acute Respiratory Syndrome, corona virus n.2 . The study is developed within a multiscale framework accounting for the interaction of different spatial scales, from the small scale of the virus itself and cells, to the large scale of individuals and further up to the collective behaviour of populations. An interdisciplinary vision is developed thanks to the contributions of epidemiologists, immunologists and economists as well as those of mathematical modellers. The first part of the contents is devoted to understanding the complex features of the system and to the design of a modelling rationale. The modelling approach is treated in the second part of the paper by showing both how the virus propagates into infected individuals, successfully and not successfully recovered, and also the spatial patterns, which are subsequently studied by kinetic and lattice models. The third part reports the contribution of research in the fields of virology, epidemiology, immune competition, and economy focused also on social behaviours. Finally, a critical analysis is proposed looking ahead to research perspectives.


Unbiased on lattice domain growth. Domain growth is a key process in many areas of biology, including embryonic development, the growth of tissue, and limb regeneration. As a result, mechanisms for incorporating it into traditional models for cell movement, interaction, and proliferation are of great importance. A previously well used method in order to incorporate domain growth into on lattice reaction diffusion models causes a build up of particles on the boundaries of the domain, which is particularly evident when diffusion is low in comparison to the rate of domain growth. Here, we present a new method which addresses this unphysical build up of particles at the boundaries, and demonstrate that it is accurate even for scenarios in which the previous method fails. Further, we discuss for which parameter regimes it is feasible to continue using the original method due to diffusion dominating the domain growth mechanism.


Approximation results for makespan minimization with budgeted uncertainty. We study approximation algorithms for the problem of minimizing the makespan on a set of machines with uncertainty on the processing times of jobs. In the model we consider, which goes back to cite BertsimasS03 , once the schedule is defined an adversary can pick a scenario where deviation is added to some of the jobs' processing times. Given only the maximal cardinality of these jobs, and the magnitude of potential deviation for each job, the goal is to optimize the worst case scenario. We consider both the cases of identical and unrelated machines. Our main result is an EPTAS for the case of identical machines. We also provide a 3 approximation algorithm and an inapproximability ratio of 2 epsilon for the case of unrelated machines


Resonance Laser Ionization Spectroscopy of Selenium. Photoionization spectra of Se have been studied by step wise resonance laser ionization. The Rydberg series 4s 2 4p 3 ( 4 S)np 3 P 0,1,2 and 4s 2 4p 3 ( 4 S)np 5 P 1,2,3 were measured via different excitation schemes. Using the Rydberg series 4s 2 4p 3 ( 4 S)np 3 P 2 with n 15 33, the ionization potential of Se was determined with improved precision to 76658.15(2) stat (4) sys cm 1 , which resolved the discrepancy in previous literatures. Autoionizing (AI) spectra between the IP and two neighboring converging limits of the Se ionic states 4s 2 4p 3 ( 2 D 3 2 ) and 4s 2 4p 3 ( 2 D 5 2 ) were obtained. In total eight AI Rydberg series have been observed, measured and assigned.


Ranking Users in Social Networks with Motif based PageRank. PageRank has been widely used to measure the authority or the influence of a user in social networks. However, conventional PageRank only makes use of edge based relations, which represent first order relations between two connected nodes. It ignores higher order relations that may exist between nodes. In this paper, we propose a novel framework, motif based PageRank (MPR), to incorporate higher order relations into the conventional PageRank computation. Motifs are subgraphs consisting of a small number of nodes. We use motifs to capture higher order relations between nodes in a network and introduce two methods, one linear and one non linear, to combine PageRank with higher order relations. We conduct extensive experiments on three real world networks, namely, DBLP, Epinions, and Ciao. We study different types of motifs, including 3 node simple and anchor motifs, 4 node and 5 node motifs. Besides using single motif, we also run MPR with ensemble of multiple motifs. We also design a learning task to evaluate the abilities of authority prediction with motif based features. All experimental results demonstrate that MPR can significantly improve the performance of user ranking in social networks compared to the baseline methods.


Evolution of the first eigenvalue of weighted p Laplacian along the Ricci Bourguignon flow. Let M be an n dimensional closed Riemannian manifold with metric g , d mu e phi(x) d nu be the weighted measure and Delta p, phi be the weighted p Laplacian. In this article we will investigate monotonicity for the first eigenvalue problem of the weighted p Laplace operator acting on the space of functions along the Ricci Bourguignon flow on closed Riemannian manifolds. We find the first variation formula for the eigenvalues of the weighted p Laplacian on a closed Riemannian manifold evolving by the Ricci Bourguignon flow and we obtain various monotonic quantities. At the end we find some applications in 2 dimensional and 3 dimensional manifolds and give an example.


Robust and fast generation of top and side grasps for unknown objects. In this work, we present a geometry based grasping algorithm that is capable of efficiently generating both top and side grasps for unknown objects, using a single view RGB D camera, and of selecting the most promising one. We demonstrate the effectiveness of our approach on a picking scenario on a real robot platform. Our approach has shown to be more reliable than another recent geometry based method considered as baseline 7 in terms of grasp stability, by increasing the successful grasp attempts by a factor of six.


Identity crises between supercompactness and Vopenka's Principle. In this paper we study the notion of C (n) supercompactness introduced by Bagaria in cite Bag and prove the identity crises phenomenon for such class. Specifically, we show that consistently the least supercompact is strictly below the least C (1) supercompact but also that the least supercompact is C (1) supercompact (and even C (n) supercompact). Furthermore, we prove under suitable hypothesis that the ultimate identity crises is also possible. These results solve several questions posed by Bagaria and Tsaprounis.


OV Validity based Optimistic Smart Contracts. Smart contract (SC) platforms form blocks of transactions into a chain and execute them via user defined smart contracts. In conventional platforms like Bitcoin and Ethereum, the transactions within a block are executed emph sequentially by the miner and are then validated emph sequentially by the validators to reach consensus about the final state of the block. In order to leverage the advances of multicores, this paper explores the next generation of smart contract platforms that enables concurrent execution of such contracts. Reasoning about the validity of the object states is challenging in concurrent smart contracts. We examine a programming model to support emph optimistic execution of SCTs. We introduce a novel programming language, so called OV, and a Solidity API to ease programing of optimistic smart contracts. OV language together with static checking will help reasoning about a crucial property of optimistically executed smart contracts the validity of object states in trustless systems.


Fair and Useful Cohort Selection. A challenge in fair algorithm design is that, while there are compelling notions of individual fairness, these notions typically do not satisfy desirable composition properties, and downstream applications based on fair classifiers might not preserve fairness. To study fairness under composition, Dwork and Ilvento introduced an archetypal problem called fair cohort selection problem, where a single fair classifier is composed with itself to select a group of candidates of a given size, and proposed a solution to this problem. In this work we design algorithms for selecting cohorts that not only preserve fairness, but also maximize the utility of the selected cohort under two notions of utility that we introduce and motivate. We give optimal (or approximately optimal) polynomial time algorithms for this problem in both an offline setting, and an online setting where candidates arrive one at a time and are classified as they arrive.


Learning to Complement Humans. A rising vision for AI in the open world centers on the development of systems that can complement humans for perceptual, diagnostic, and reasoning tasks. To date, systems aimed at complementing the skills of people have employed models trained to be as accurate as possible in isolation. We demonstrate how an end to end learning strategy can be harnessed to optimize the combined performance of human machine teams by considering the distinct abilities of people and machines. The goal is to focus machine learning on problem instances that are difficult for humans, while recognizing instances that are difficult for the machine and seeking human input on them. We demonstrate in two real world domains (scientific discovery and medical diagnosis) that human machine teams built via these methods outperform the individual performance of machines and people. We then analyze conditions under which this complementarity is strongest, and which training methods amplify it. Taken together, our work provides the first systematic investigation of how machine learning systems can be trained to complement human reasoning.


Weakly Supervised 3D Object Detection from Point Clouds. A crucial task in scene understanding is 3D object detection, which aims to detect and localize the 3D bounding boxes of objects belonging to specific classes. Existing 3D object detectors heavily rely on annotated 3D bounding boxes during training, while these annotations could be expensive to obtain and only accessible in limited scenarios. Weakly supervised learning is a promising approach to reducing the annotation requirement, but existing weakly supervised object detectors are mostly for 2D detection rather than 3D. In this work, we propose VS3D, a framework for weakly supervised 3D object detection from point clouds without using any ground truth 3D bounding box for training. First, we introduce an unsupervised 3D proposal module that generates object proposals by leveraging normalized point cloud densities. Second, we present a cross modal knowledge distillation strategy, where a convolutional neural network learns to predict the final results from the 3D object proposals by querying a teacher network pretrained on image datasets. Comprehensive experiments on the challenging KITTI dataset demonstrate the superior performance of our VS3D in diverse evaluation settings. The source code and pretrained models are publicly available at https github.com Zengyi Qin Weakly Supervised 3D Object Detection.


Optimal Investment with Vintage Capital Equilibrium Distributions. The paper concerns the study of equilibrium points, or steady states, of economic systems arising in modeling optimal investment with textit vintage capital , namely, systems where all key variables (capitals, investments, prices) are indexed not only by time tau but also by age s . Capital accumulation is hence described as a partial differential equation (briefly, PDE), and equilibrium points are in fact equilibrium distributions in the variable s of ages. Investments in frontier as well as non frontier vintages are possible. Firstly a general method is developed to compute and study equilibrium points of a wide range of infinite dimensional, infinite horizon boundary control problems for linear PDEs with convex criterion, possibly applying to a wide variety of economic problems. Sufficient and necessary conditions for existence of equilibrium points are derived in this general context. In particular, for optimal investment with vintage capital, existence and uniqueness of a long run equilibrium distribution is proved for general concave revenues and convex investment costs, and analytic formulas are obtained for optimal controls and trajectories in the long run, definitely showing how effective the theoretical machinery of optimal control in infinite dimension is in computing explicitly equilibrium distributions, and suggesting that the same method can be applied in examples yielding the same abstract structure. To this extent, the results of this work constitutes a first crucial step towards a thorough understanding of the behavior of optimal controls and trajectories in the long run.


The Return of Lexical Dependencies Neural Lexicalized PCFGs. In this paper we demonstrate that textit context free grammar (CFG) based methods for grammar induction benefit from modeling lexical dependencies . This contrasts to the most popular current methods for grammar induction, which focus on discovering textit either constituents textit or dependencies. Previous approaches to marry these two disparate syntactic formalisms (e.g. lexicalized PCFGs) have been plagued by sparsity, making them unsuitable for unsupervised grammar induction. However, in this work, we present novel neural models of lexicalized PCFGs which allow us to overcome sparsity problems and effectively induce both constituents and dependencies within a single model. Experiments demonstrate that this unified framework results in stronger results on both representations than achieved when modeling either formalism alone. Code is available at https github.com neulab neural lpcfg.


On Linear Forms in Jacobi theta constants. Elsner, Luca and Tachiya cite luca proved that the values of the Jacobi theta constants theta 3(m tau) and theta 3(n tau) are algebraically independent over Q for distinct integers m,n under some conditions on tau . On the other hand, in 2018 Elsner and Tachiya cite elsner also proved that three values theta 3(m tau), theta 3(n tau) and theta 3( ell tau) are algebraically dependent over Q . In this article we prove the non vanishing of linear forms in theta 3(m tau) , theta 3(n tau) and theta 3( ell tau) under various conditions on m,n, ell , and tau . Among other things we prove that for odd and distinct positive integers m,n 3 the three numbers theta 3( tau) , theta 3(m tau) and theta 3(n tau) are linearly independent over overline mathbb Q when tau is an algebraic number of some degree greater or equal to 3. In some sense this fills the gap between the above mentioned former results on theta constants. A theorem on the linear independence over mathbb C( tau) of the functions theta 3(a 1 tau), ldots, theta 3(a m tau) for distinct positive integers a 1, ldots a m is also established.


L 2 cohomology, derivations and quantum Markov semi groups on q Gaussian algebras. We study (quasi )cohomological properties through an analysis of quantum Markov semi groups. We construct higher order Hochschild cocycles using gradient forms associated with a quantum Markov semi group. By using Schatten mathcal S p estimates we analyze when these cocycles take values in the coarse bimodule. For the 1 cocycles (the derivations) we show that under natural conditions they imply the Akemann Ostrand property (using the Riesz transform). We apply this to q Gaussian algebras Gamma q(H) . As a result q Gaussians satisfy AO for q leqslant dim(H) 1 2 . This includes a new range of q in low dimensions compared to Shlyakhtenko.


Collaborative Robotic Manipulation A Use Case of Articulated Objects in Three dimensions with Gravity. This paper addresses two intertwined needs for collaborative robots operating in shop floor environments. The first is the ability to perform complex manipulation operations, such as those on articulated or even flexible objects, in a way robust to a high degree of variability in the actions possibly carried out by human operators during collaborative tasks. The second is encoding in such operations a basic knowledge about physical laws (e.g., gravity), and their effects on the models used by the robot to plan its actions, to generate more robust plans. We adopt the manipulation in three dimensional space of articulated objects as an effective use case to ground both needs, and we use a variant of the Planning Domain Definition Language to integrate the planning process with a notion of gravity. Different complexity levels in modelling gravity are evaluated, which trade off model faithfulness and performance. A thorough validation of the framework is done in simulation using a dual arm Baxter manipulator.


Extending tamely ramified strict 1 motives into ket log 1 motives. We define ket abelian schemes, ket 1 motives, and ket log 1 motives, and formulate duality theory for these objects. Then we show that tamely ramified strict 1 motives over a complete discrete valuation field can be extended to ket log 1 motives over the corresponding discrete valuation ring. As an application, we present a proof to a result of Kato stated in one of his preprint without proof.


FCP Delta extensions of rings. We consider ring extensions whose set of all subextensions is stable under the formation of sums, the so called Delta extensions and exhibit new examples of these extensions.


Limited Resource Optimal Distribution Algorithm Based on Game Iteration Method. The article provides a solution algorithm for the linear programming problem (LPP) with the latter being presented as an antagonistic matrix game so the game's further solution is based on the iterative method. The algorithm is presented as a computer program. Having applied necessary accuracy, the author has researched the solution assessment convergence rate in relation to the actual value. Program implementation demonstrates high rate of the LPP solution receipt, with the acceptable accuracy being fractions or unities. It allows using the algorithm in the integrated systems for the purpose of their optimal control.


Semigroups associated with differential algebraic equations. We consider differential algebraic equations in infinite dimensional state spaces and study, under which conditions we can associate a C 0 semigroup with such equations. We determine the right space of initial values and characterise the existence of a C 0 semigroup in the case of operator pencils with polynomially bounded resolvents.


On two M "obius function for a finite non solvable group. Let G be a finite group, mu be the M "obius function on the subgroup lattice of G , and lambda be the M "obius function on the poset of conjugacy classes of subgroups of G . It was proved by Pahlings that, whenever G is solvable, the property mu(H,G) N G prime (H) G prime cap H cdot lambda(H,G) holds for any subgroup H of G . It is known that this property does not hold in general for instance it does not hold for every simple groups, the Mathieu group M 12 being a counterexample. In this paper we investigate the relation between mu and lambda for some classes of non solvable groups among them, the minimal non solvable groups. We also provide several examples of groups not satisfying the property.


Units in quasigroups with classical Bol Moufang type identities. We prolong Kunen research about existence of units (left, right, two sided) in quasigroups with classical Bol Moufang type identities. These identities were listed in Fenvesh article.


VIFB A Visible and Infrared Image Fusion Benchmark. Visible and infrared image fusion is one of the most important areas in image processing due to its numerous applications. While much progress has been made in recent years with efforts on developing fusion algorithms, there is a lack of code library and benchmark which can gauge the state of the art. In this paper, after briefly reviewing recent advances of visible and infrared image fusion, we present a visible and infrared image fusion benchmark (VIFB) which consists of 21 image pairs, a code library of 20 fusion algorithms and 13 evaluation metrics. We also carry out large scale experiments within the benchmark to understand the performance of these algorithms. By analyzing qualitative and quantitative results, we identify effective algorithms for robust image fusion and give some observations on the status and future prospects of this field.


Enhanced multiscale restriction smoothed basis (MsRSB) preconditioning with applications to porous media flow and geomechanics. A novel method to enable application of the Multiscale Restricted Smoothed Basis (MsRSB) method to non M matrices is presented. The original MsRSB method is enhanced with a filtering strategy enforcing M matrix properties to enable the robust application of MsRSB as a preconditioner. Through applications to porous media flow and linear elastic geomechanics, the method is proven to be effective for scalar and vector problems with multipoint finite volume (FV) and finite element (FE) discretization schemes, respectively. Realistic complex (un)structured two and three dimensional test cases are considered to illustrate the method's performance.


Controlled K operator frame for End mathcal A ast ( mathcal H ) . Frame Theory has a great revolution for recent years. This theory has been extended from Hilbert spaces to Hilbert C ast modules. In this paper, we introduce the concept of Controlled K operator frame for the space End mathcal A ast ( mathcal H ) of all adjointable operators on a Hilbert mathcal A module mathcal H and we establish some results.


Hard X ray or Gamma Ray source based on the two stream instability and backward Raman scattering. A new scheme of hard x ray or gamma ray light is considered. The excitation of the Langmuir wave in an ultra dense electron beamm via the two stream instabilities and the interaction of the excited Langmuir wave with the visible light laser results in hard x ray or gamma ray via three wave interaction. The analysis suggests that the hard x ray with the wave lenght as small as 0.03 nm can be achieved. The plausible parameter for the practical use is proposed and the comparison with the conventional methods are provided.


On the force of vertical winds in the upper atmosphere consequences for small biological particles. For many decades vertical winds have been observed at high altitudes of the Earth's atmosphere, in the mesosphere and thermosphere layers. These observations have been used with a simple one dimensional model to make estimates of possible altitude climbs by biologically sized particles deeper into the thermosphere, in the rare occurrence where such a particle has been propelled to these altitudes. A particle transport mechanism is suggested from the literature on auroral arcs, indicating that an altitude of 120 km could be reached by a nanometer sized particle which is higher than the measured 77 km limit on the biosphere. Vertical wind observations in the upper mesophere and lower thermosphere are challenging to make and so we suggest that particles could reach altitudes greater than 120 km, depending on the magnitude of the vertical wind. Applications of the larger vertical winds in the upper atmosphere to astrobiology and climate science are explored.


What are GT shadows?. Let B 4 (resp. PB 4 ) be the braid group (resp. the pure braid group) on 4 strands and NFI PB 4 (B 4) be the poset whose objects are finite index normal subgroups of B 4 that are contained in PB 4 . In this paper, we introduce GT shadows which may be thought of as "approximations" to elements of the profinite version widehat GT of the Grothendieck Teichmueller group (see V. Drinfeld, Algebra i Analiz, 1990). We prove that GT shadows form a groupoid whose objects are elements of NFI PB 4 (B 4) . We show that GT shadows coming from elements of widehat GT satisfy various additional properties and we investigate these properties. We establish an explicit link between GT shadows and the group widehat GT (see Theorem 3.8). We also present selected results of computer experiments on GT shadows. In the appendix of this paper, we give a complete description of GT shadows in the Abelian setting. We also prove that, in the Abelian setting, every GT shadow comes from an element of widehat GT . Objects very similar to GT shadows were introduced in a paper by D. Harbater and L. Schneps in 1997. A variation of the concept of GT shadows for the coarse version of widehat GT was studied in papers by P. Guillot.


SOLO Segmenting Objects by Locations. We present a new, embarrassingly simple approach to instance segmentation in images. Compared to many other dense prediction tasks, e.g., semantic segmentation, it is the arbitrary number of instances that have made instance segmentation much more challenging. In order to predict a mask for each instance, mainstream approaches either follow the 'detect thensegment' strategy as used by Mask R CNN, or predict category masks first then use clustering techniques to group pixels into individual instances. We view the task of instance segmentation from a completely new perspective by introducing the notion of "instance categories", which assigns categories to each pixel within an instance according to the instance's location and size, thus nicely converting instance mask segmentation into a classification solvable problem. Now instance segmentation is decomposed into two classification tasks. We demonstrate a much simpler and flexible instance segmentation framework with strong performance, achieving on par accuracy with Mask R CNN and outperforming recent singleshot instance segmenters in accuracy. We hope that this very simple and strong framework can serve as a baseline for many instance level recognition tasks besides instance segmentation.


A Panda? No, It's a Sloth Slowdown Attacks on Adaptive Multi Exit Neural Network Inference. Recent increases in the computational demands of deep neural networks (DNNs), combined with the observation that most input samples require only simple models, have sparked interest in input adaptive multi exit architectures, such as MSDNets or Shallow Deep Networks. These architectures enable faster inferences and could bring DNNs to low power devices, e.g., in the Internet of Things (IoT). However, it is unknown if the computational savings provided by this approach are robust against adversarial pressure. In particular, an adversary may aim to slowdown adaptive DNNs by increasing their average inference time a threat analogous to the denial of service attacks from the Internet. In this paper, we conduct a systematic evaluation of this threat by experimenting with three generic multi exit DNNs (based on VGG16, MobileNet, and ResNet56) and a custom multi exit architecture, on two popular image classification benchmarks (CIFAR 10 and Tiny ImageNet). To this end, we show that adversarial example crafting techniques can be modified to cause slowdown, and we propose a metric for comparing their impact on different architectures. We show that a slowdown attack reduces the efficacy of multi exit DNNs by 90 100 , and it amplifies the latency by 1.5 5 times in a typical IoT deployment. We also show that it is possible to craft universal, reusable perturbations and that the attack can be effective in realistic black box scenarios, where the attacker has limited knowledge about the victim. Finally, we show that adversarial training provides limited protection against slowdowns. These results suggest that further research is needed for defending multi exit architectures against this emerging threat. Our code is available at https github.com sanghyun hong deepsloth.


Task Scoping Generating Task Specific Abstractions for Planning. A generally intelligent agent requires an open scope world model one rich enough to tackle any of the wide range of tasks it may be asked to solve over its operational lifetime. Unfortunately, planning to solve any specific task using such a rich model is computationally intractable even for state of the art methods due to the many states and actions that are necessarily present in the model but irrelevant to that problem. We propose task scoping a method that exploits knowledge of the initial condition, goal condition, and transition dynamics structure of a task to automatically and efficiently prune provably irrelevant factors and actions from a planning problem, which can dramatically decrease planning time. We prove that task scoping never deletes relevant factors or actions, characterize its computational complexity, and characterize the planning problems for which it is especially useful. Finally, we empirically evaluate task scoping on a variety of domains and demonstrate that using it as a pre planning step can reduce the state action space of various planning problems by orders of magnitude and speed up planning. When applied to a complex Minecraft domain, our approach speeds up a state of the art planner by 30 times, including the time required for task scoping itself.


How to design a 2D active grid for dynamic inflow modulation. Wind turbines operate under constantly changing turbulent inflow conditions. In the rotating system, wind gusts lead to variations in the angle of attack at local blade segments resulting in dynamic effects such as dynamic stall. Such highly non linear effects are known to produce a significant overshoot in the lift and thus an increase in loads acting on the wind turbine, leading to long term fatigue. To better understand these effects, it is essential to perform experiments under defined conditions on 2D airfoil segments in the wind tunnel. In this study, a so called 2D active grid is presented which allows to generate local inflow conditions with defined fluctuations of the angle of incidence (AoI) in wind tunnel experiments. The focus of the investigations is on sinusoidal variations of AoI with high amplitudes generated by different grid configurations. By changing the AoI dynamic phenomena can be induced without the need to move the object under investigation. Inertial effects during force measurements and a changing shadow casting due to a moving airfoil in particle image velocimetry measurements do not appear. Additional variations in the longitudinal velocity component are another aspect in the presented work. Such longitudinal gusts can be combined with AoI variations in arbitrary phase. This can be used to mimic various inflow situations such as yaw or tower shadow effects on wind turbines.


What Color is this? Explaining Art Restoration Research Methods using Interactive Museum Installations. This case study describes an approach to designing interactive museum installations as a student project with the aim of presenting the research results of the restoration process of paintings to a wide range of visitors. During one and a half years, the Chair of Media Design created five interactive media stations in two lectures to enrich the special exhibition "Veronese The Cuccina Cycle. The Restored Masterpiece". The project was realised in close communication with the conservators of the Dresden State Art Collections and the employees of the Science and Archaeometric Laboratory of the Dresden University of Fine Arts. The students had to learn about the foreign content and how to translate it into a media related environment. With suitable teaching methods, we pushed the students towards a deeper understanding of the matter.


Global higher integrability for minimisers of convex functionals with (p,q) growth. We prove global W 1,q ( Omega, mathbb R m) regularity for minimisers of convex functionals of the form mathscr F (u) int Omega F(x,Du) mathrm d x . W 1,q ( Omega, mathbb R m) regularity is also proven for minimisers of the associated relaxed functional. Our main assumptions on F(x,z) are a uniform alpha H "older continuity assumption in x and controlled (p,q) growth conditions in z with q frac (n alpha)p n .


On Device Text Representations Robust To Misspellings via Projections. Recently, there has been a strong interest in developing natural language applications that live on personal devices such as mobile phones, watches and IoT with the objective to preserve user privacy and have low memory. Advances in Locality Sensitive Hashing (LSH) based projection networks have demonstrated state of the art performance in various classification tasks without explicit word (or word piece) embedding lookup tables by computing on the fly text representations. In this paper, we show that the projection based neural classifiers are inherently robust to misspellings and perturbations of the input text. We empirically demonstrate that the LSH projection based classifiers are more robust to common misspellings compared to BiLSTMs (with both word piece word only tokenization) and fine tuned BERT based methods. When subject to misspelling attacks, LSH projection based classifiers had a small average accuracy drop of 2.94 across multiple classifications tasks, while the fine tuned BERT model accuracy had a significant drop of 11.44 .


In Silico Screening of Some Naturally Occurring Bioactive Compounds Predicts Potential Inhibitors against SARS COV 2 (COVID 19) Protease. SARS COV 2 identified as COVID 19 in Wuhan city of China in the month of December, 2019 has now been declared as pandemic by World Health Organization whose transmission chain and cure both have emerged as a tough problem for the medical fraternity. The reports pertaining to the treatment of this pandemic are still lacking. We firmly believe that Nature itself provides a simple solution for any complicated problem created in it which motivated us to carry out In Silico investigations on some bioactive natural compounds reportedly found in the fruits and leaves of Anthocephalus Cadamba which is a miraculous plant found on the earth aiming to predict the potential inhibitors against aforesaid virus. Having modeled the ground state ligand structure of the such nine natural compounds applying density functional theory at B3LYP 631 G (d, p) level we have performed their molecular docking with SARS COV 2 protease to calculate the binding affinity as well as to screen the binding at S protein site during ligand protein interactions. Out of these nine studied naturally occurring compounds Oleanic Acid has been appeared to be potential inhibitor for COVID 19 followed by Ursolic Acid, IsoVallesiachotamine,Vallesiachotamine,Cadambine,Vincosamide N Oxide, Isodihydroamino cadambine, Pentyle Ester of Chlorogenic Acid and D Myo Inositol. Hence these bioactive natural compounds or their structural analogs may be explored as anti COVID19 drug agent which will be possessing the peculiar feature of cost less synthesis and less or no side effect due to their natural occurrence. The solubility and solvent effect related to the phytochemicals may be the point of concern. The In vivo investigations on these proposed natural compounds or on their structural analogs are invited for designing and developing the potential medicine vaccine for the treatment of COVID 19 pandemic.


Notes on spatial twisted central configurations for 2N body problem. We study the spatial central configuration formed by two twisted regular N polygons. For any twist angle theta and any ratio of the masses b in the two regular N polygons, we prove that the sizes of the two regular N polygons must be equal.


Non iterative Modal Logics are Coalgebraic. A modal logic is emph non iterative if it can be defined by axioms that do not nest modal operators, and emph rank 1 if additionally all propositional variables in axioms are in scope of a modal operator. It is known that every syntactically defined rank 1 modal logic can be equipped with a canonical coalgebraic semantics, ensuring soundness and strong completeness. In the present work, we extend this result to non iterative modal logics, showing that every non iterative modal logic can be equipped with a canonical coalgebraic semantics defined in terms of a copointed functor, again ensuring soundness and strong completeness via a canonical model construction. Like in the rank 1 case, the canonical coalgebraic semantics is equivalent to a neighbourhood semantics with suitable frame conditions, so the known strong completeness of non iterative modal logics over neighbourhood semantics is implied. As an illustration of these results, we discuss deontic logics with factual detachment, which is captured by axioms that are non iterative but not rank 1.


KETO Learning Keypoint Representations for Tool Manipulation. We aim to develop an algorithm for robots to manipulate novel objects as tools for completing different task goals. An efficient and informative representation would facilitate the effectiveness and generalization of such algorithms. For this purpose, we present KETO, a framework of learning keypoint representations of tool based manipulation. For each task, a set of task specific keypoints is jointly predicted from 3D point clouds of the tool object by a deep neural network. These keypoints offer a concise and informative description of the object to determine grasps and subsequent manipulation actions. The model is learned from self supervised robot interactions in the task environment without the need for explicit human annotations. We evaluate our framework in three manipulation tasks with tool use. Our model consistently outperforms state of the art methods in terms of task success rates. Qualitative results of keypoint prediction and tool generation are shown to visualize the learned representations.


From Rain Generation to Rain Removal. For the single image rain removal (SIRR) task, the performance of deep learning (DL) based methods is mainly affected by the designed deraining models and training datasets. Most of current state of the art focus on constructing powerful deep models to obtain better deraining results. In this paper, to further improve the deraining performance, we novelly attempt to handle the SIRR task from the perspective of training datasets by exploring a more efficient way to synthesize rainy images. Specifically, we build a full Bayesian generative model for rainy image where the rain layer is parameterized as a generator with the input as some latent variables representing the physical structural rain factors, e.g., direction, scale, and thickness. To solve this model, we employ the variational inference framework to approximate the expected statistical distribution of rainy image in a data driven manner. With the learned generator, we can automatically and sufficiently generate diverse and non repetitive training pairs so as to efficiently enrich and augment the existing benchmark datasets. User study qualitatively and quantitatively evaluates the realism of generated rainy images. Comprehensive experiments substantiate that the proposed model can faithfully extract the complex rain distribution that not only helps significantly improve the deraining performance of current deep single image derainers, but also largely loosens the requirement of large training sample pre collection for the SIRR task.


Some properties of the torsion function with Robin boundary conditions. In this paper we study some properties of the torsion function with Robin boundary conditions. Here we write the shape derivative of the L infty and L p norms, for p ge 1 , of the torsion function, seen as a functional on a bounded simply connected open set Omega subset mathbb R n , and prove that the balls are critical shapes for these functionals, when the volume of Omega is preserved.


Loop group actions on Cuntz algebras and geometric higher twists. We consider representations of the Cuntz algebras mathcal O N as constructed by Bratteli Jorgensen and use these to define a faithful action of the analytic loop group L text an U(n) on mathcal O N for N geq n . This extends to a faithful action on the infinite Cuntz algebra mathcal O infty , and we show that this action can be used to explicitly construct mathcal O infty otimes mathcal K bundles (where mathcal K is the algebra of compact operators) over spaces, which are geometric twists in higher twisted K theory.


LightTrack A Generic Framework for Online Top Down Human Pose Tracking. In this paper, we propose a novel effective light weight framework, called LightTrack, for online human pose tracking. The proposed framework is designed to be generic for top down pose tracking and is faster than existing online and offline methods. Single person Pose Tracking (SPT) and Visual Object Tracking (VOT) are incorporated into one unified functioning entity, easily implemented by a replaceable single person pose estimation module. Our framework unifies single person pose tracking with multi person identity association and sheds first light upon bridging keypoint tracking with object tracking. We also propose a Siamese Graph Convolution Network (SGCN) for human pose matching as a Re ID module in our pose tracking system. In contrary to other Re ID modules, we use a graphical representation of human joints for matching. The skeleton based representation effectively captures human pose similarity and is computationally inexpensive. It is robust to sudden camera shift that introduces human drifting. To the best of our knowledge, this is the first paper to propose an online human pose tracking framework in a top down fashion. The proposed framework is general enough to fit other pose estimators and candidate matching mechanisms. Our method outperforms other online methods while maintaining a much higher frame rate, and is very competitive with our offline state of the art. We make the code publicly available at https github.com Guanghan lighttrack.


Kinetic Relaxation to Entropy Based Coupling Conditions for Isentropic Flow on Networks. We consider networks for isentropic gas and prove existence of weak solutions for a large class of coupling conditions. First, we construct approximate solutions by a vector valued BGK model with a kinetic coupling function. Introducing so called kinetic invariant domains and using the method of compensated compactness justifies the relaxation towards the isentropic gas equations. We will prove that certain entropy flux inequalities for the kinetic coupling function remain true for the traces of the macroscopic solution. These inequalities define the macroscopic coupling condition. Our techniques are also applicable to networks with arbitrary many junctions which may possibly contain circles. We give several examples for coupling functions and prove corresponding entropy flux inequalities. We prove also new existence results for solid wall boundary conditions and pipelines with discontinuous cross sectional area.


Large time behavior of the deterministic and stochastic 3D convective Brinkman Forchheimer equations in periodic domains. The large time behavior of the deterministic and stochastic three dimensional convective Brinkman Forchheimer (CBF) equations for r geq3 ( r 3 , for any mu and beta , and r 3 for 2 beta mu geq1 ), in periodic domains is carried out in this work. Our first goal is to prove the existence of global attractors for the 3D deterministic CBF equations. Then, we show the existence of random attractors for the 3D stochastic CBF equations perturbed by small additive smooth noise. Finally, we establish the upper semicontinuity of random attractor for the 3D stochastic CBF equations (stability of attractors), when the coefficient of random perturbation approaches to zero.


TarTar A Timed Automata Repair Tool. We present TarTar, an automatic repair analysis tool that, given a timed diagnostic trace (TDT) obtained during the model checking of a timed automaton model, suggests possible syntactic repairs of the analyzed model. The suggested repairs include modified values for clock bounds in location invariants and transition guards, adding or removing clock resets, etc. The proposed repairs are guaranteed to eliminate executability of the given TDT, while preserving the overall functional behavior of the system. We give insights into the design and architecture of TarTar, and show that it can successfully repair 69 of the seeded errors in system models taken from a diverse suite of case studies.


Cohomogeneity One Manifolds and Homogeneous Spaces of Positive Scalar Curvature. We characterize cohomogeneity one manifolds and homogeneous spaces with a compact Lie group action admitting an invariant metric with positive scalar curvature.


Shape Constrained Network for Eye Segmentation in the Wild. Semantic segmentation of eyes has long been a vital pre processing step in many biometric applications. Majority of the works focus only on high resolution eye images, while little has been done to segment the eyes from low quality images in the wild. However, this is a particularly interesting and meaningful topic, as eyes play a crucial role in conveying the emotional state and mental well being of a person. In this work, we take two steps toward solving this problem (1) We collect and annotate a challenging eye segmentation dataset containing 8882 eye patches from 4461 facial images of different resolutions, illumination conditions and head poses (2) We develop a novel eye segmentation method, Shape Constrained Network (SCN), that incorporates shape prior into the segmentation network training procedure. Specifically, we learn the shape prior from our dataset using VAE GAN, and leverage the pre trained encoder and discriminator to regularise the training of SegNet. To improve the accuracy and quality of predicted masks, we replace the loss of SegNet with three new losses Intersection over Union (IoU) loss, shape discriminator loss and shape embedding loss. Extensive experiments shows that our method outperforms state of the art segmentation and landmark detection methods in terms of mean IoU (mIoU) accuracy and the quality of segmentation masks. The eye segmentation database is available at https www.dropbox.com s yvveouvxsvti08x Eye Segmentation Database.zip?dl 0.


Multi group Binary Choice with Social Interaction and a Random Communication Structure a Random Graph Approach. We construct and analyze a random graph model for discrete choice with social interaction and several groups of equal size. We concentrate on the case of two groups of equal sizes and we allow the interaction strength within a group to differ from the interaction strength between the two groups. Given that the resulting graph is sufficiently dense we show that, with probability one, the average decision in each of the two groups is the same as in the fully connected model. In particular, we show that there is a phase transition If the interaction among a group and between the groups is strong enough the average decision per group will either be positive or negative and the decision of the two groups will be correlated. We also compute the free energy per particle in our model.


Hunting keV sterile neutrinos with KATRIN building the first TRISTAN module. The KATRIN (Karlsruhe Tritium Neutrino) experiment investigates the energetic endpoint of the tritium beta decay spectrum to determine the effective mass of the electron anti neutrino. The collaboration has reported a first mass measurement result at this TAUP 2019 conference. The TRISTAN project aims at detecting a keV sterile neutrino signature by measuring the entire tritium beta decay spectrum with an upgraded KATRIN system. One of the greatest challenges is to handle the high signal rates generated by the strong activity of the KATRIN tritium source while maintaining a good energy resolution. Therefore, a novel multi pixel silicon drift detector and read out system are being designed to handle rates of about 100 Mcps with an energy resolution better than 300 eV (FWHM). This report presents succinctly the KATRIN experiment, the TRISTAN project, then the results of the first 7 pixels prototype measurement campaign and finally describes the construction of the first TRISTAN module composed of 166 SDD pixels as well as its implementation in KATRIN experiment.


Numerical scheme for kinetic transport equation with internal state . We investigate the numerical discretization of a two stream kinetic system with an internal state, such system has been introduced to model the motion of cells by chemotaxis. This internal state models the intracellular methylation level. It adds a variable in the mathematical model, which makes it more challenging to simulate numerically. Moreover, it has been shown that the macroscopic or mesoscopic quantities computed from this system converge to the Keller Segel system at diffusive scaling or to the velocity jump kinetic system for chemotaxis at hyperbolic scaling. Then we pay attention to propose numerical schemes uniformly accurate with respect to the scaling parameter. We show that these schemes converge to some limiting schemes which are consistent with the limiting macroscopic or kinetic system. This study is illustrated with some numerical simulations and comparisons with Monte Carlo simulations.