Intraspecific competition in models for vegetation patterns decrease in resilience to aridity and facilitation of species coexistence. Patterned vegetation is a characteristic feature of many dryland ecosystems. While plant densities on the ecosystem wide scale are typically low, a spatial self organisation principle leads to the occurrence of alternating patches of high biomass and patches of bare soil. Nevertheless, intraspecific competition dynamics other than competition for water over long spatial scales are commonly ignored in mathematical models for vegetation patterns. In this chapter, I address the impact of local intraspecific competition on a modelling framework for banded vegetation patterns. Firstly, I show that in the context of a single species model, neglecting local intraspecific competition leads to an overestimation of a patterned ecosystem's resilience to increases in aridity. Secondly, in the context of a multispecies model, I argue that local intraspecific competition is a key element in the successful capture of species coexistence in model solutions representing a vegetation pattern. For both models, a detailed bifurcation analysis is presented to analyse the onset, existence and stability of patterns. Besides the strengths of local intraspecific competition, also the the difference between two species has a significant impact on the bifurcation structure, providing crucial insights into the complex ecosystem dynamics. Predictions on future ecosystem dynamics presented in this chapter, especially on pattern onset and pattern stability, can aid the development of conservation programs.


Dynamic Programming for Optimal Delivery Time Slot Pricing. We study the dynamic programming approach to revenue management in the context of attended home delivery. We draw on results from dynamic programming theory for Markov decision problems to show that the underlying Bellman operator has a unique fixed point. We then provide a closed form expression for the resulting fixed point and show that it admits a natural interpretation. Moreover, we also show that under certain technical assumptions the value function, which has a discrete domain and a continuous codomain, admits a continuous extension, which is a finite valued, concave function of its state variables, at every time step. This result opens the road for achieving scalable implementations of the proposed formulation in future work, as it allows making informed choices of basis functions in an approximate dynamic programming context. We illustrate our findings on a simple numerical example and provide suggestions on how our results can be exploited to obtain closer approximations of the exact value function.


Computational approaches to non convex, sparsity inducing multi penalty regularization. In this work we consider numerical efficiency and convergence rates for solvers of non convex multi penalty formulations when reconstructing sparse signals from noisy linear measurements. We extend an existing approach, based on reduction to an augmented single penalty formulation, to the non convex setting and discuss its computational intractability in large scale applications. To circumvent this limitation, we propose an alternative single penalty reduction based on infimal convolution that shares the benefits of the augmented approach but is computationally less dependent on the problem size. We provide linear convergence rates for both approaches, and their dependence on design parameters. Numerical experiments substantiate our theoretical findings.


Positron Binding and Annihilation in Alkane Molecules. A model potential approach has been developed to study positron interactions with molecules. Binding energies and annihilation rates are calculated for positron bound states with a range of alkane molecules, including rings and isomers. The calculated binding energies are in good agreement with experimental data, and the existence of a second bound state for n alkanes (C n H 2n 2 ) with n geq12 is predicted in accord with experiment. The annihilation rate for the ground positron bound state scales linearly with the square root of the binding energy.


Network intrusion detection systems for in vehicle network Technical report. Modern vehicles are complex safety critical cyber physical systems, that are connected to the outside world, with all security implications that brings. To enhance vehicle security several network intrusion detection systems (NIDS) have been proposed for the CAN bus, the predominant type of in vehicle network. The in vehicle CAN bus, however, is a challenging place to do intrusion detection as messages provide very little information interpreting them requires specific knowledge about the implementation that is not readily available. In this technical report we collect how existing solutions address this challenge by providing an organized inventory of various CAN NIDSs present in the literature, categorizing them based on what information they extract from the network and how they build their model.


physics.flu-dyn physics.ao-ph physics.data-an physics.geo-ph

Synchronization to big data nudging the Navier Stokes equations for data assimilation of turbulent flows. Nudging is an important data assimilation technique where partial field measurements are used to control the evolution of a dynamical system and or to reconstruct the entire phase space configuration of the supplied flow. Here, we apply it to the toughest problem in fluid dynamics three dimensional homogeneous and isotropic turbulence. By doing numerical experiments we perform a systematic assessment of how well the technique reconstructs large and small scales features of the flow with respect to the quantity and the quality type of data supplied to it. The types of data used are (i) field values on a fixed number of spatial locations (Eulerian nudging), (ii) Fourier coefficients of the fields on a fixed range of wavenumbers (Fourier nudging), or (iii) field values along a set of moving probes inside the flow (Lagrangian nudging). We present state of the art quantitative measurements of the scale by scale it transition to synchronization and a detailed discussion of the probability distribution function of the reconstruction error, by comparing the nudged field and the it truth point by point. Furthermore, we show that for more complex flow configurations, like the case of anisotropic rotating turbulence, the presence of cyclonic and anticyclonic structures leads to unexpectedly better performances of the algorithm. We discuss potential further applications of nudging to a series of applied flow configurations, including the problem of field reconstruction in thermal Rayleigh B 'enard convection and in magnetohydrodynamics (MHD), and to the determination of optimal parametrisation for small scale turbulent modeling. Our study fixes the standard requirements for future applications of nudging to complex turbulent flows.


Natural Language Generation Using Reinforcement Learning with External Rewards. We propose an approach towards natural language generation using a bidirectional encoder decoder which incorporates external rewards through reinforcement learning (RL). We use attention mechanism and maximum mutual information as an initial objective function using RL. Using a two part training scheme, we train an external reward analyzer to predict the external rewards and then use the predicted rewards to maximize the expected rewards (both internal and external). We evaluate the system on two standard dialogue corpora Cornell Movie Dialog Corpus and Yelp Restaurant Review Corpus. We report standard evaluation metrics including BLEU, ROUGE L, and perplexity as well as human evaluation to validate our approach.


Drifting mass accommodation coefficients in situ measurements from a steady state molecular dynamics setup. A fundamental understanding of the evaporation condensation phenomena is vital to many fields of science and engineering, yet there is much discrepancy in the usage of phase change models and associated coefficients. First, a brief review of kinetic theory of phase change is provided, and the mass accommodation coefficient (MAC, alpha ) and its inconsistent definitions are discussed. The discussion focuses on the departure from equilibrium represented as a macroscopic "drift" velocity. Then a continuous flow, phase change driven molecular dynamics setup is used to investigate steady state condensation at a flat liquid vapor interface of argon at various phase change rates and temperatures to elucidate the effect of equilibrium departure. MAC is computed directly from the kinetic theory based Hertz Knudsen (H K) and Schrage (exact and approximate) expressions without the need for a priori physical definitions, ad hoc particle injection removal or particle counting. MAC values determined from the approximate and exact Schrage expressions ( alpha app Schrage and alpha exact Schrage ) are between 0.8 and 0.9, while MAC values from the H K expression ( alpha H K ) are above unity for all cases tested. alpha exact Schrage yields values closest to the results from transition state theory J Chem Phys, 118, 1392 1399 (2003) . The departure from equilibrium does not affect the value of alpha exact Schrage but causes alpha H K to vary drastically emphasizing the importance of a drift velocity correction. Additionally, equilibrium departure causes a non uniform distribution in vapor properties. At the condensing interface, a local rise in vapor temperature and a drop in vapor density are observed when compared with the corresponding bulk values.


Self labeled Conditional GANs. This paper introduces a novel and fully unsupervised framework for conditional GAN training in which labels are automatically obtained from data. We incorporate a clustering network into the standard conditional GAN framework that plays against the discriminator. With the generator, it aims to find a shared structured mapping for associating pseudo labels with the real and fake images. Our generator outperforms unconditional GANs in terms of FID with significant margins on large scale datasets like ImageNet and LSUN. It also outperforms class conditional GANs trained on human labels on CIFAR10 and CIFAR100 where fine grained annotations or a large number of samples per class are not available. Additionally, our clustering network exceeds the state of the art on CIFAR100 clustering.


Improving Privacy in Graphs Through Node Addition. The rapid growth of computer systems which generate graph data necessitates employing privacy preserving mechanisms to protect users' identity. Since structure based de anonymization attacks can reveal users' identity's even when the graph is simply anonymized by employing naive ID removal, recently, k anonymity is proposed to secure users' privacy against the structure based attack. Most of the work ensured graph privacy using fake edges, however, in some applications, edge addition or deletion might cause a significant change to the key property of the graph. Motivated by this fact, in this paper, we introduce a novel method which ensures privacy by adding fake nodes to the graph. First, we present a novel model which provides k anonymity against one of the strongest attacks seed based attack. In this attack, the adversary knows the partial mapping between the main graph and the graph which is generated using the privacy preserving mechanisms. We show that even if the adversary knows the mapping of all of the nodes except one, the last node can still have k anonymity privacy. Then, we turn our attention to the privacy of the graphs generated by inter domain routing against degree attacks in which the degree sequence of the graph is known to the adversary. To ensure the privacy of networks against this attack, we propose a novel method which tries to add fake nodes in a way that the degree of all nodes have the same expected value.


Shot noise limited, supercontinuum based optical coherence tomography. We present the first demonstration of shot noise limited supercontinuum based spectral domain optical coherence tomography (SD OCT) with axial resolution of 5.9 mu m at a center wavelength of 1370 nm. Current supercontinuum based SD OCT systems cannot be operated in the shot noise limited detection regime because of severe pulse to pulse relative intensity noise of the supercontinuum source. To overcome this disadvantage we have developed a low noise supercontinuum source based on an all normal dispersion (ANDi) fiber, pumped by a femtosecond laser. The noise performance of our 90 MHz ANDi supercontinuum source is compared to that of two commercial sources operating at 80 and 320 MHz repetition rate. We show that the low noise of the ANDi supercontinuum source improves the OCT images significantly in terms of both higher contrast, better sensitivity, and improved penetration. From SD OCT imaging of skin, retina, and multi layer stacks we conclude that supercontinuum based SD OCT can enter the domain of shot noise limited detection.


A Framework for Debugging Java Programs in a Bytecode. In the domain of Software Engineering, program analysis and understanding has been considered to be a very challenging task since decade, as it demands dedicated time and efforts. The analysis of source code may occasionally be comparatively easier due to its static nature, however, the back end code (Bytecode), especially in terms of Java programming, is complicated to be analysed. In this paper, we present a methodological approach towards understanding the Bytecode of Java programs. We put forward a framework for the debugging process of Java Bytecode. Furthermore, we discuss the debugging process of Bytecode understanding from simple to multiple statements with regards to data flow analysis. Finally, we present a comparative analysis of Bytecode along with the simulation of the proposed framework for the debugging process


S matrix in orbifold theory. The restricted S matrix of V G is determined for any regular vertex operator algebra V and finite automorphism group G of V. As an application, the S matrices for cyclic permutation orbifolds of prime orders are computed.


Panoptic DeepLab A Simple, Strong, and Fast Baseline for Bottom Up Panoptic Segmentation. In this work, we introduce Panoptic DeepLab, a simple, strong, and fast system for panoptic segmentation, aiming to establish a solid baseline for bottom up methods that can achieve comparable performance of two stage methods while yielding fast inference speed. In particular, Panoptic DeepLab adopts the dual ASPP and dual decoder structures specific to semantic, and instance segmentation, respectively. The semantic segmentation branch is the same as the typical design of any semantic segmentation model (e.g., DeepLab), while the instance segmentation branch is class agnostic, involving a simple instance center regression. As a result, our single Panoptic DeepLab simultaneously ranks first at all three Cityscapes benchmarks, setting the new state of art of 84.2 mIoU, 39.0 AP, and 65.5 PQ on test set. Additionally, equipped with MobileNetV3, Panoptic DeepLab runs nearly in real time with a single 1025x2049 image (15.8 frames per second), while achieving a competitive performance on Cityscapes (54.1 PQ on test set). On Mapillary Vistas test set, our ensemble of six models attains 42.7 PQ, outperforming the challenge winner in 2018 by a healthy margin of 1.5 . Finally, our Panoptic DeepLab also performs on par with several top down approaches on the challenging COCO dataset. For the first time, we demonstrate a bottom up approach could deliver state of the art results on panoptic segmentation.


Bayesian Inference of Social Norms as Shared Constraints on Behavior. People act upon their desires, but often, also act in adherence to implicit social norms. How do people infer these unstated social norms from others' behavior, especially in novel social contexts? We propose that laypeople have intuitive theories of social norms as behavioral constraints shared across different agents in the same social context. We formalize inference of norms using a Bayesian Theory of Mind approach, and show that this computational approach provides excellent predictions of how people infer norms in two scenarios. Our results suggest that people separate the influence of norms and individual desires on others' actions, and have implications for modelling generalizations of hidden causes of behavior.


Towards Sharper First Order Adversary with Quantized Gradients. Despite the huge success of Deep Neural Networks (DNNs) in a wide spectrum of machine learning and data mining tasks, recent research shows that this powerful tool is susceptible to maliciously crafted adversarial examples. Up until now, adversarial training has been the most successful defense against adversarial attacks. To increase adversarial robustness, a DNN can be trained with a combination of benign and adversarial examples generated by first order methods. However, in state of the art first order attacks, adversarial examples with sign gradients retain the sign information of each gradient component but discard the relative magnitude between components. In this work, we replace sign gradients with quantized gradients. Gradient quantization not only preserves the sign information, but also keeps the relative magnitude between components. Experiments show white box first order attacks with quantized gradients outperform their variants with sign gradients on multiple datasets. Notably, our BLOB QG attack achieves an accuracy of 88.32 on the secret MNIST model from the MNIST Challenge and it outperforms all other methods on the leaderboard of white box attacks.


7 dimensional simply connected spin manifolds whose integral cohomology rings are isomorphic to that of mathbb C P 2 times S 3 admit round fold maps. We have been interested in understanding the class of 7 dimensional closed and simply connected manifolds in geometric and constructive ways. We have constructed explicit fold maps, which are higher dimensional versions of Morse functions, on some of the manifolds, previously. The studies have been motivated by studies of it special generic maps, higher dimensional versions of Morse functions on homotopy spheres with exactly two singular points, characterizing them topologically except 4 dimensional cases. The class contains canonical projections of unit spheres for example. This class has been found to be interesting, restricting the topologies and the differentiable structures of the manifolds strictly Saeki, Sakuma and Wrazidlo found explicit phenomena. The present paper concerns fold maps on 7 dimensional closed and simply connected spin manifolds whose integral cohomology rings are isomorphic to that of the product of the 2 dimensional complex projective space and the 3 dimensional sphere.


Analysis of Social Media Data using Multimodal Deep Learning for Disaster Response. Multimedia content in social media platforms provides significant information during disaster events. The types of information shared include reports of injured or deceased people, infrastructure damage, and missing or found people, among others. Although many studies have shown the usefulness of both text and image content for disaster response purposes, the research has been mostly focused on analyzing only the text modality in the past. In this paper, we propose to use both text and image modalities of social media data to learn a joint representation using state of the art deep learning techniques. Specifically, we utilize convolutional neural networks to define a multimodal deep learning architecture with a modality agnostic shared representation. Extensive experiments on real world disaster datasets show that the proposed multimodal architecture yields better performance than models trained using a single modality (e.g., either text or image).


The Power of the Combined Basic LP and Affine Relaxation for Promise CSPs. In the field of constraint satisfaction problems (CSP), promise CSPs are an exciting new direction of study. In a promise CSP, each constraint comes in two forms "strict" and "weak," and in the associated decision problem one must distinguish between being able to satisfy all the strict constraints versus not being able to satisfy all the weak constraints. The most commonly cited example of a promise CSP is the approximate graph coloring problem which has recently seen exciting progress BKO19, WZ20 benefiting from a systematic algebraic approach to promise CSPs based on "polymorphisms," operations that map tuples in the strict form of each constraint to tuples in the corresponding weak form. In this work, we present a simple algorithm which in polynomial time solves the decision problem for all promise CSPs that admit infinitely many symmetric polymorphisms, which are invariant under arbitrary coordinate permutations. This generalizes previous work of the first two authors BG19 . We also extend this algorithm to a more general class of block symmetric polymorphisms. As a corollary, this single algorithm solves all polynomial time tractable Boolean CSPs simultaneously. These results give a new perspective on Schaefer's classic dichotomy theorem and shed further light on how symmetries of polymorphisms enable algorithms. Finally, we show that block symmetric polymorphisms are not only sufficient but also necessary for this algorithm to work, thus establishing its precise power


Practical Approach of Knowledge Management in Medical Science. Knowledge organization, infrastructure, and knowledge based activities are all subjects that help in the creation of business strategies for the new enterprise. In this paper, the first basics of knowledge based systems are studied. Practical issues and challenges of Knowledge Management (KM) implementations are then illustrated. Finally, a comparison of different knowledge based projects is presented along with abstracted information on their implementation, techniques, and results. Most of these projects are in the field of medical science. Based on our study and evaluation of different KM projects, we conclude that KM is being used in every science, industry, and business. But its importance in medical science and assisted living projects are highlighted nowadays with the most of research institutes. Most medical centers are interested in using knowledge based services like portals and learning techniques of knowledge for their future innovations and supports.


Small diffusion and short time asymptotics for Pucci operators. This paper presents asymptotic formulas in the case of the following two problems for the it Pucci's extremal operators mathcal M pm . It is considered the solution u varepsilon(x) of varepsilon 2 mathcal M pm left( nabla 2 u varepsilon right) u varepsilon 0 in Omega such that u varepsilon 1 on Gamma . Here, Omega subset mathbb R N is a domain (not necessarily bounded) and Gamma is its boundary. It is also considered v(x,t) the solution of v t mathcal M pm left( nabla 2 v right) 0 in Omega times (0, infty) , v 1 on Gamma times(0, infty) and v 0 on Omega times 0 . In the spirit of their previous works, the authors establish the profiles as varepsilon or t to 0 of the values of u varepsilon(x) and v(x,t) as well as of those of their q means on balls touching Gamma . The results represent a further step in the extensions of those obtained by Varadhan and by Magnanini Sakaguchi in the linear regime.


Theorems of Alternatives for Substructural Logics. A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative formulas in the R mingle logic RM to the validity of a linear combination of these formulas, and Gordan's theorem for solutions of linear systems over the real numbers, that yields an analogous reduction for validity in Abelian logic A. In this paper, general conditions are provided for axiomatic extensions of involutive uninorm logic without additive constants to admit a theorem of alternatives. It is also shown that a theorem of alternatives for a logic can be used to establish (uniform) deductive interpolation and completeness with respect to a class of dense totally ordered residuated lattices.


A reducibility problem for even unitary groups The depth zero case. We study a problem concerning parabolic induction in certain p adic unitary groups. More precisely, for E F a quadratic extension of p adic fields the associated unitary group G mathrm U (n,n) contains a parabolic subgroup P with Levi component L isomorphic to mathrm GL n(E) . Let pi be an irreducible supercuspidal representation of L of depth zero. We use Hecke algebra methods to determine when the parabolically induced representation iota P G pi is reducible.


A constructive proof of dependent choice in classical arithmetic via memoization. In a recent paper, Herbelin developed dPA omega , a calculus in which constructive proofs for the axioms of countable and dependent choices could be derived via the memoization of choice functions. However, the property of normalization (and therefore the one of soundness) was only conjectured. The difficulty for the proof of normalization is due to the simultaneous presence of dependent types (for the constructive part of the choice), of control operators (for classical logic), of coinductive objects (to encode functions of type mathbb N to A into streams ( a 0 , a 1 ,... )) and of lazy evaluation with sharing (for memoizing these coinductive objects). Elaborating on previous works, we introduce in this paper a variant of dPA omega presented as a sequent calculus. On the one hand, we take advantage of a variant of Krivine classical realizability that we developed to prove the normalization of classical call by need. On the other hand, we benefit from dL hat tp , a classical sequent calculus with dependent types in which type safety is ensured by using delimited continuations together with a syntactic restriction. By combining the techniques developed in these papers, we manage to define a realizability interpretation a la Krivine of our calculus that allows us to prove normalization and soundness. This paper goes over the whole process, starting from Herbelin's calculus dPA omega until our introduction of its sequent calculus counterpart dLPA omega .


Unsupervised Monocular Depth Learning with Integrated Intrinsics and Spatio Temporal Constraints. Monocular depth inference has gained tremendous attention from researchers in recent years and remains as a promising replacement for expensive time of flight sensors, but issues with scale acquisition and implementation overhead still plague these systems. To this end, this work presents an unsupervised learning framework that is able to predict at scale depth maps and egomotion, in addition to camera intrinsics, from a sequence of monocular images via a single network. Our method incorporates both spatial and temporal geometric constraints to resolve depth and pose scale factors, which are enforced within the supervisory reconstruction loss functions at training time. Only unlabeled stereo sequences are required for training the weights of our single network architecture, which reduces overall implementation overhead as compared to previous methods. Our results demonstrate strong performance when compared to the current state of the art on multiple sequences of the KITTI driving dataset and can provide faster training times with its reduced network complexity.


PiBooster A Light Weight Approach to Performance Improvements in Page Table Management for Paravirtual Virtual Machines. In paravirtualization, the page table management components of the guest operating systems are properly patched for the security guarantees of the hypervisor. However, none of them pay enough attentions to the performance improvements, which results in two noticeable performance issues. First, such security patches exacerbate the problem that the execution paths of the guest page table (de)allocations become extremely long, which would consequently increase the latencies of process creations and exits. Second, the patches introduce many additional IOTLB flushes, leading to extra IOTLB misses, and the misses would have negative impacts on I O performance of all peripheral devices. In this paper, we propose PiBooster, a novel lightweight approach for improving the performance in page table management. First, PiBooster shortens the execution paths of the page table (de)allocations by the PiBooster cache, which maintains dedicated buffers for serving page table (de)allocations. Second, PiBooster eliminates the additional IOTLB misses with a fine grained validation scheme, which performs page table and DMA validations separately, instead of doing both together. We implement a prototype on Xen with Linux as the guest kernel. We do small modifications on Xen (166 SLoC) and Linux kernel (350 SLoC). We evaluate the I O performance in both micro and macro ways. The micro experiment results indicate that PiBooster is able to completely eliminate the additional IOTLB flushes in the workload stable environments, and effectively reduces (de)allocation time of the page table by 47 on average. The macro benchmarks show that the latencies of the process creations and exits are expectedly reduced by 16 on average. Moreover, the SPECINT,lmbench and netperf results indicate that PiBooster has no negative performance impacts on CPU computation, network I O, and disk I O.


AI based Pilgrim Detection using Convolutional Neural Networks. Pilgrimage represents the most important Islamic religious gathering in the world where millions of pilgrims visit the holy places of Makkah and Madinah to perform their rituals. The safety and security of pilgrims is the highest priority for the authorities. In Makkah, 5000 cameras are spread around the holy for monitoring pilgrims, but it is almost impossible to track all events by humans considering the huge number of images collected every second. To address this issue, we propose to use artificial intelligence technique based on deep learning and convolution neural networks to detect and identify Pilgrims and their features. For this purpose, we built a comprehensive dataset for the detection of pilgrims and their genders. Then, we develop two convolutional neural networks based on YOLOv3 and Faster RCNN for the detection of Pilgrims. Experiments results show that Faster RCNN with Inception v2 feature extractor provides the best mean average precision over all classes of 51 .


Complete Willmore Legendrian surfaces in mathbb S 5 are minimal Legendrian surfaces. In this paper we continue to consider Willmore Legendrian surfaces and csL Willmroe surfaces in mathbb S 5 , notions introduced by Luo in cite Luo . We will prove that every complete Willmore Legendrian surface in mathbb S 5 is minimal and construct nontrivial examples of csL Willmore surfaces in mathbb S 5 .


Anomalous phase matching through inter sub cycle interference. Providing efficient nonlinear optical frequency conversion is essential for numerous applications. Fundamentally, dispersion limits the efficiency of such processes through mismatch of the phase velocities and the group velocities of the involved optical waves. We reveal a dispersion condition at which, surprisingly, phase and group velocity mismatch act together to provide efficient optical frequency conversion. We demonstrate this condition numerically for the process of high harmonic generation. This finding could be valuable to the theory and practice of nonlinear optical frequency conversion in general.


Inverse design of fluid flow structure with Turing pattern. Microchannel reactors are critical in biological plus energy related applications and require meticulous design of hundreds to thousands of fluid flow channels. Such systems commonly comprise intricate space filling microstructures to control the fluid flow distribution for the reaction process. Traditional flow channel design schemes are intuition based or utilize analytical rule based optimization strategies that are oversimplified for large scale domains of arbitrary geometry. Here, a gradient based optimization method is proposed, where effective porous media and fluid velocity vector design information is exploited and linked to explicit microchannel parameterizations. Reaction diffusion equations are then utilized to generate space filling Turing pattern microchannel flow structures from the porous media field. With this computationally efficient and broadly applicable technique, precise control of fluid flow distribution is demonstrated across large numbers (on the order of hundreds) of microchannels.


Improved Swarm Engineering Aligning Intuition and Analysis. We present a set of metrics intended to supplement designer intuitions when designing swarm robotic systems, increase accuracy in extrapolating swarm behavior from algorithmic descriptions and small test experiments, and lead to faster and less costly design cycles. We build on previous works studying self organizing behaviors in autonomous systems to derive a metric for swarm emergent self organization. We utilize techniques from high performance computing, time series analysis, and queueing theory to derive metrics for swarm scalability, flexibility to changing external environments, and robustness to internal system stimuli such as sensor and actuator noise and robot failures. We demonstrate the utility of our metrics by analyzing four different control algorithms in two scenarios an indoor warehouse object transport scenario with static objects and a spatially unconstrained outdoor search and rescue scenario with moving objects. In the spatially constrained warehouse scenario, efficient use of space is key to success so algorithms that use mechanisms for traffic regulation and congestion reduction are the most appropriate. In the search and rescue scenario, the same will happen with algorithms which can cope well with object motion through dynamic task allocation and randomized search trajectories. We show that our intuitions about comparative algorithm performance are well supported by the quantitative results obtained using our metrics, and that our metrics can be synergistically used together to predict collective behaviors based on previous results in some cases.


Generalized Multivariate Hawkes Processes. This work contributes to the theory and applications of Hawkes processes. We introduce and examine a new class of Hawkes processes that we call generalized Hawkes processes, and their special subclass the generalized multivariate Hawkes processes (GMHPs). GMHPs are multivariate marked point processes that add an important feature to the family of the (classical) multivariate Hawkes processes they allow for explicit modelling of simultaneous occurrence of excitation events coming from different sources, i.e. caused by different coordinates of the multivariate process. We study the issue of existence of a generalized Hawkes process, and we provide a construction of a specific generalized multivariate Hawkes process. We investigate Markovian aspects of GMHPs, and we indicate some plausible important applications of GMHPs.


On Compositions of Transformations in Contrastive Self Supervised Learning. In the image domain, excellent representations can be learned by inducing invariance to content preserving transformations via noise contrastive learning. In this paper, we generalize contrastive learning to a wider set of transformations, and their compositions, for which either invariance or distinctiveness is sought. We show that it is not immediately obvious how existing methods such as SimCLR can be extended to do so. Instead, we introduce a number of formal requirements that all contrastive formulations must satisfy, and propose a practical construction which satisfies these requirements. In order to maximise the reach of this analysis, we express all components of noise contrastive formulations as the choice of certain generalized transformations of the data (GDTs), including data sampling. We then consider videos as an example of data in which a large variety of transformations are applicable, accounting for the extra modalities for which we analyze audio and text and the dimension of time. We find that being invariant to certain transformations and distinctive to others is critical to learning effective video representations, improving the state of the art for multiple benchmarks by a large margin, and even surpassing supervised pretraining.


Combining Machine Learning and Human Experts to Predict Match Outcomes in Football A Baseline Model. In this paper, we present a new application focused benchmark dataset and results from a set of baseline Natural Language Processing and Machine Learning models for prediction of match outcomes for games of football (soccer). By doing so we give a baseline for the prediction accuracy that can be achieved exploiting both statistical match data and contextual articles from human sports journalists. Our dataset is focuses on a representative time period over 6 seasons of the English Premier League, and includes newspaper match previews from The Guardian. The models presented in this paper achieve an accuracy of 63.18 showing a 6.9 boost on the traditional statistical methods.


On explicit estimates for S(t) , S 1(t) , and zeta(1 2 mathrm i t) under the Riemann Hypothesis. Assuming the Riemann Hypothesis, we provide explicit upper bounds for moduli of S(t) , S 1(t) , and zeta left(1 2 mathrm i t right) while comparing them with recently proven unconditional ones. As a corollary we obtain a conditional explicit bound on gaps between consecutive zeros of the Riemann zeta function.


A computationally efficient physiologically comprehensive 3D 0D closed loop model of the heart and circulation. Computer models of cardiac electro mechanics (EM) show promise as an effective means for quantitative analysis of clinical data and, potentially, for predicting therapeutic responses.realize such advanced applications methodological key challenges must be addressed. Enhanced computational efficiency and robustness is crucial to facilitate, within tractable time frames, model personalization, the simulation of prolonged observation periods under a broad range of conditions, and physiological completeness encompassing therapy relevant mechanisms is needed to endow models with predictive capabilities beyond the mere replication of observations. Here, we introduce a universal feature complete cardiac EM modeling framework that builds on a flexible method for coupling a 3D model of bi ventricular EM to the physiologically comprehensive 0D CircAdapt model representing atrial mechanics and closed loop circulation. A detailed mathematical description is given and efficiency, robustness, and accuracy of numerical scheme and solver implementation are evaluated. After parameterization and stabilization of the coupled 3D 0D model to a limit cycle under baseline conditions, the model's ability to replicate physiological behaviors is demonstrated, by simulating the transient response to alterations in loading conditions and contractility, as induced by experimental protocols used for assessing systolic and diastolic ventricular properties. Mechanistic completeness and computational efficiency of this novel model render advanced applications geared towards predicting acute outcomes of EM therapies feasible.


A Simple and Efficient Registration of 3D Point Cloud and Image Data for Indoor Mobile Mapping System. Registration of 3D LiDAR point clouds with optical images is critical in the combination of multi source data. Geometric misalignment originally exists in the pose data between LiDAR point clouds and optical images. To improve the accuracy of the initial pose and the applicability of the integration of 3D points and image data, we develop a simple but efficient registration method. We firstly extract point features from LiDAR point clouds and images point features is extracted from single frame LiDAR and point features from images using classical Canny method. Cost map is subsequently built based on Canny image edge detection. The optimization direction is guided by the cost map where low cost represents the the desired direction, and loss function is also considered to improve the robustness of the the purposed method. Experiments show pleasant results.


Learning to Take Good Pictures of People with a Robot Photographer. We present a robotic system capable of navigating autonomously by following a line and taking good quality pictures of people. When a group of people are detected, the robot rotates towards them and then back to line while continuously taking pictures from different angles. Each picture is processed in the cloud where its quality is estimated in a two stage algorithm. First, features such as the face orientation and likelihood of facial emotions are input to a fully connected neural network to assign a quality score to each face. Second, a representation is extracted by abstracting faces from the image and it is input to a to Convolutional Neural Network (CNN) to classify the quality of the overall picture. We collected a dataset in which a picture was labeled as good quality if subjects are well positioned in the image and oriented towards the camera with a pleasant expression. Our approach detected the quality of pictures with 78.4 accuracy in this dataset and received a better mean user rating (3.71 5) than a heuristic method that uses photographic composition procedures in a study where 97 human judges rated each picture. A statistical analysis against the state of the art verified the quality of the resulting pictures.


RPBA Robust Parallel Bundle Adjustment Based on Covariance Information. A core component of all Structure from Motion (SfM) approaches is bundle adjustment. As the latter is a computational bottleneck for larger blocks, parallel bundle adjustment has become an active area of research. Particularly, consensus based optimization methods have been shown to be suitable for this task. We have extended them using covariance information derived by the adjustment of individual three dimensional (3D) points, i.e., "triangulation" or "intersection". This does not only lead to a much better convergence behavior, but also avoids fiddling with the penalty parameter of standard consensus based approaches. The corresponding novel approach can also be seen as a variant of resection intersection schemes, where we adjust during intersection a number of sub blocks directly related to the number of threads available on a computer each containing a fraction of the cameras of the block. We show that our novel approach is suitable for robust parallel bundle adjustment and demonstrate its capabilities in comparison to the basic consensus based approach as well as a state of the art parallel implementation of bundle adjustment. Code for our novel approach is available on GitHub https github.com helmayer RPBA


Halin's end degree conjecture. An end of a graph G is an equivalence class of rays, where two rays are equivalent if there are infinitely many vertex disjoint paths between them in G . The degree of an end is the maximum cardinality of a collection of pairwise disjoint rays in this equivalence class. Halin conjectured that the end degree can be characterised in terms of certain typical ray configurations, which would generalise his famous emph grid theorem . In particular, every end of regular uncountable degree kappa would contain a emph star of rays , i.e. a configuration consisting of a central ray R and kappa neighbouring rays (R i colon i kappa) all disjoint from each other and each R i sending a family of infinitely many disjoint paths to R so that paths from distinct families only meet in R . We show that Halin's conjecture fails for end degree aleph 1 , holds for aleph 2, aleph 3, ldots, aleph omega , fails for aleph omega 1 , and is undecidable (in ZFC) for the next aleph omega n with n in mathbb N , n geq 2 . Further results include a complete solution for all cardinals under GCH, complemented by a number of consistency results.


Estimates of dissipation of wave energy by sea ice for a field experiment in the Southern Ocean, using model data inversion. A model data inversion is applied to a very large observational dataset collected in the Southern Ocean north of the Ross Sea during late autumn to early winter, producing estimates of the frequency dependent rate of dissipation by sea ice. The modeling platform is WAVEWATCH III(R) which accounts for non stationarity, advection, wave generation, and other relevant processes. The resulting 9477 dissipation profiles are co located with other variables such as ice thickness to quantify correlations which might be exploited in later studies to improve predictions. Mean dissipation profiles from the inversion are fitted to simple binomials. Variability about the mean profile is not small, but the binomials show remarkable qualitative similarity to prior observation based estimates of dissipation, and the power dependence is consistent with at least three theoretical models, one of which assumes that dissipation is dominated by turbulence generated by shear at the ice water interface.


Maintaining Smart Contracts on Ethereum Issues, Techniques, and Future Challenges. Software development is a very broad activity that captures the entire life cycle of a software, which includes designing, programming, maintenance and so on. In this study, we focus on the maintenance related concerns of the post deployment of smart contracts. Smart contracts are self executed programs that run on a blockchain. They cannot be modified once deployed and hence they bring unique maintenance challenges compared to conventional software. According to the definition of ISO IEC 14764, there are four kinds of software maintenance, i.e., corrective, adaptive, perfective, and preventive maintenance. This study aims to answer (i) What kinds of issues will smart contract developers encounter for corrective, adaptive, perfective, and preventive maintenance after they are deployed to the Ethereum? (ii) What are the current maintenance related methods used for smart contracts? To obtain the answers to these research questions, we first conducted a systematic literature review to analyze 131 smart contract related research papers published from 2014 to 2020. Since the Ethereum ecosystem is fast growing, some results from previous publications might be out of date and there may be a gap between academia and industry. To address this, we performed an online survey of smart contract developers on Github to validate our findings and received 165 useful responses. Based on the survey feedback and literature review, we present the first empirical study on smart contract maintenance related concerns. Our study can help smart contract developers better maintain their smart contract based projects, and we highlight some key future research directions to improve the Ethereum ecosystem.


IoU Loss for 2D 3D Object Detection. In 2D 3D object detection task, Intersection over Union (IoU) has been widely employed as an evaluation metric to evaluate the performance of different detectors in the testing stage. However, during the training stage, the common distance loss ( eg, L 1 or L 2 ) is often adopted as the loss function to minimize the discrepancy between the predicted and ground truth Bounding Box (Bbox). To eliminate the performance gap between training and testing, the IoU loss has been introduced for 2D object detection in cite yu2016unitbox and cite rezatofighi2019generalized . Unfortunately, all these approaches only work for axis aligned 2D Bboxes, which cannot be applied for more general object detection task with rotated Bboxes. To resolve this issue, we investigate the IoU computation for two rotated Bboxes first and then implement a unified framework, IoU loss layer for both 2D and 3D object detection tasks. By integrating the implemented IoU loss into several state of the art 3D object detectors, consistent improvements have been achieved for both bird eye view 2D detection and point cloud 3D detection on the public KITTI benchmark.


A Cloud Native Globally Distributed Financial Exchange Simulator for Studying Real World Trading Latency Issues at Planetary Scale. We describe a new public domain open source simulator of an electronic financial exchange, and of the traders that interact with the exchange, which is a truly distributed and cloud native system that been designed to run on widely available commercial cloud computing services, and in which various components can be placed in specified geographic regions around the world, thereby enabling the study of planetary scale latencies in contemporary automated trading systems. Our simulator allows an exchange server to be launched in the cloud, specifying a particular geographic zone for the cloud hosting service automated trading clients which attach to the exchange can then also be launched in the cloud, in the same geographic zone and or in different zones anywhere else on the planet, and those clients are then subject to the real world latencies introduced by planetary scale cloud communication interconnections. In this paper we describe the design and implementation of our simulator, called DBSE, which is based on a previous public domain simulator, extended in ways that are partly inspired by the architecture of the real world Jane Street Exchange. DBSE relies fundamentally on UDP and TCP network communications protocols and implements a subset of the FIX de facto standard protocol for financial information exchange. We show results from an example in which the exchange server is remotely launched on a cloud facility located in London (UK), with trader clients running in Ohio (USA) and Sydney (Australia). We close with discussion of how our simulator could be further used to study planetary scale latency arbitrage in financial markets.


Cross View Image Synthesis with Deformable Convolution and Attention Mechanism. Learning to generate natural scenes has always been a daunting task in computer vision. This is even more laborious when generating images with very different views. When the views are very different, the view fields have little overlap or objects are occluded, leading the task very challenging. In this paper, we propose to use Generative Adversarial Networks(GANs) based on a deformable convolution and attention mechanism to solve the problem of cross view image synthesis (see Fig.1). It is difficult to understand and transform scenes appearance and semantic information from another view, thus we use deformed convolution in the U net network to improve the network's ability to extract features of objects at different scales. Moreover, to better learn the correspondence between images from different views, we apply an attention mechanism to refine the intermediate feature map thus generating more realistic images. A large number of experiments on different size images on the Dayton dataset 1 show that our model can produce better results than state of the art methods.


Causal Curiosity RL Agents Discovering Self supervised Experiments for Causal Representation Learning. Animals exhibit an innate ability to learn regularities of the world through interaction. By performing experiments in their environment, they are able to discern the causal factors of variation and infer how they affect the world's dynamics. Inspired by this, we attempt to equip reinforcement learning agents with the ability to perform experiments that facilitate a categorization of the rolled out trajectories, and to subsequently infer the causal factors of the environment in a hierarchical manner. We introduce em causal curiosity , a novel intrinsic reward, and show that it allows our agents to learn optimal sequences of actions and discover causal factors in the dynamics of the environment. The learned behavior allows the agents to infer a binary quantized representation for the ground truth causal factors in every environment. Additionally, we find that these experimental behaviors are semantically meaningful (e.g., our agents learn to lift blocks to categorize them by weight), and are learnt in a self supervised manner with approximately 2.5 times less data than conventional supervised planners. We show that these behaviors can be re purposed and fine tuned (e.g., from lifting to pushing or other downstream tasks). Finally, we show that the knowledge of causal factor representations aids zero shot learning for more complex tasks. Visit https sites.google.com usc.edu causal curiosity home for website.


Interaction of the fast wave with a scrape off layer plasma in tokamaks. The ion cyclotron parametric instabilities and the anomalous heating of ions. The theory of the ion cyclotron (IC) electrostatic parametric instabilities of plasma which are driven by the elliptically polarized fast wave (FW) of the finite wavelength is developed. The growth rate of the IC quasimode decay instability, which was considered as a potential source of the generation of the high energy ions in scrape off layer (SOL) during FW injection in tokamaks, is derived analytically for arbitrary values of the FW electric field and wavelengths of the unstable IC perturbations. The comprehensive numerical analysis of the dispersion equation for three wave system which contains the IC mode varphi i left( mathbf k i , omega right) and its harmonics varphi i left( mathbf k i , omega omega 0 right) , varphi i left( mathbf k i , omega 2 omega 0 right) , where omega 0 is FW frequency, is performed. It reveals that the parametric IC instability for this wave system has the maximum growth rate for the IC waves with wavelength comparable with the thermal ion Larmor radius. It is found that the inverse electron Landau damping plays essential role in the development of this instability. The possible mechanism of the saturation of this instability is the scattering of ions by the ensemble of the IC waves with random phases, which limits the development of the instability on the high level. The anomalous heating rates of ions resulted from the interactions of ions with parametric IC turbulence is determined employing the developed quasilinear theory for the IC quasimode decay instability. The derived results reveals, that the experimentally observed anisotropic heating of cold SOL ions may be caused by the parametric IC turbulence in SOL. However, the IC parametric turbulence is unlikely to be responsible for the experimentally observed bursts of poorly confined suprathermal ions in the SOL of tokamak plasmas.


Pathwise uniqueness and non explosion property of Skorohod SDEs with a class of non Lipschitz coefficients and non smooth domains. Here we study stochastic differential equations with a reflecting boundary condition. We provide sufficient conditions for pathwise uniqueness and non explosion property of solutions in a framework admitting non Lipschitz continuous coefficients and non smooth domains.


Methyl cellulose cellulose nanocrystal nanocomposite fibers with high ductility. Methylcellulose cellulose nanocrystal (MC CNC) nanocomposite fibers showing high ductility and high modulus of toughness were prepared by a simple aqueous wet spinning from corresponding nanocomposite hydrogels into ethanol coagulation bath followed by drying. The hydrogel MC aq. concentration was maintained at 1 wt while the CNC aq. loading was systematically varied in the range 0 3 wt . This approach resulted in MC CNC fiber compositions from 25 75 wt wt to 95 5 wt wt . The optimal mechanical properties were achieved with the MC CNC composition of 80 20 wt wt allowing high strain (36.1 ) and modulus of toughness (48.3 MJ m 3), still keeping a high strength (190 MPa). Further, we demonstrate that the continuous spinning of MC CNC fibers is potentially possible. The results indicate possibilities to spin MC based highly ductile composite fibers from environmentally benign aqueous solvents.


Spatially Constrained GAN for Face and Fashion Synthesis. Image generation has raised tremendous attention in both academic and industrial areas, especially for the conditional and target oriented image generation, such as criminal portrait and fashion design. Although the current studies have achieved preliminary results along this direction, they always focus on class labels as the condition where spatial contents are randomly generated from latent vectors. Edge details are usually blurred since spatial information is difficult to preserve. In light of this, we propose a novel Spatially Constrained Generative Adversarial Network (SCGAN), which decouples the spatial constraints from the latent vector and makes these constraints feasible as additional controllable signals. To enhance the spatial controllability, a generator network is specially designed to take a semantic segmentation, a latent vector and an attribute level label as inputs step by step. Besides, a segmentor network is constructed to impose spatial constraints on the generator. Experimentally, we provide both visual and quantitative results on CelebA and DeepFashion datasets, and demonstrate that the proposed SCGAN is very effective in controlling the spatial contents as well as generating high quality images.


The telescope conjecture at height 2 and the tmf resolution. Mahowald proved the height 1 telescope conjecture at the prime 2 as an application of his seminal work on bo resolutions. In this paper we study the height 2 telescope conjecture at the prime 2 through the lens of tmf resolutions. To this end we compute the structure of the tmf resolution for a specifc type 2 complex Z. We find that, analogous to the height 1 case, the E1 page of the tmf resolution possesses a decomposition into a v2 periodic summand, and an Eilenberg MacLane summand which consists of bounded v2 torsion. However, unlike the height 1 case, the E2 page of the tmf resolution exhibits unbounded v2 torsion. We compare this to the work of Mahowald Ravenel Shick, and discuss how the validity of the telescope conjecture is connected to the fate of this unbounded v2 torsion either the unbounded v2 torsion kills itself off in the spectral sequence, and the telescope conjecture is true, or it persists to form v2 parabolas and the telescope conjecture is false. We also study how to use the tmf resolution to effectively give low dimensional computations of the homotopy groups of Z. These computations allow us to prove a conjecture of the second author and Egger the E(2) local Adams Novikov spectral sequence for Z collapses.


The Marginal Stability of Proteins How Jiggling and Wiggling of Atoms are Connected to Neutral Evolution. Here we propose that the upper bound marginal stability of proteins (7.4 kcal mol) is a universal property that includes macro molecular complexes and is not affected by molecular changes such as mutations and Post Translational Modifications. Its existence is, essentially, a consequence of the Anfinsen thermodynamic hypothesis rather than a result of an evolutive process. This result enables us to conjecture that neutral evolution should also be, with respect to protein stability, a universal phenomenon.


G equivariance of formal models of flag varieties. Let mathbb G be a split connected reductive group scheme over the ring of integers mathfrak o of a finite extension L mathbb Q p and lambda in X( mathbb T ) an algebraic character of a split maximal torus mathbb T subseteq mathbb G . Let us also consider X text rig the rigid analytic flag variety of mathbb G and G mathbb G (L) . In the first part of this paper, we introduce a family of lambda twisted differential operators on a formal model mathfrak Y of X text rig . We compute their global sections and we prove coherence together with several cohomological properties. In the second part, we define the category of coadmissible G equivariant arithmetic mathcal D ( lambda) modules over the family of formal models of the rigid flag variety X text rig . We show that if lambda is such that lambda rho is dominant and regular ( rho being the Weyl character), then the preceding category is anti equivalent to the category of admissible locally analytic G representations, with central character lambda . In particular, we generalize the results of Huyghe Patel Strauch Schmidt for algebraic characters (cf. 25 in the text).


A node charge graph based online carshare rebalancing policy with capacitated electric charging. Viability of electric car sharing operations depends on rebalancing algorithms. Earlier methods in the literature suggest a trend toward non myopic algorithms using queueing principles. We propose a new rebalancing policy using cost function approximation. The cost function is modeled as a p median relocation problem with minimum cost flow conservation and path based charging station capacities on a static node charge graph structure. The cost function is NP complete, so a heuristic is proposed that ensures feasible solutions that can be solved in an online system. The algorithm is validated in a case study of electric carshare in Brooklyn, New York, with demand data shared from BMW ReachNow operations in September 2017 (262 vehicle fleet, 231 pickups per day, 303 traffic analysis zones (TAZs)) and charging station location data (18 charging stations with 4 port capacities). The proposed non myopic rebalancing heuristic reduces the cost increase compared to myopic rebalancing by 38 . Other managerial insights are further discussed.


Online Social Deception and Its Countermeasures for Trustworthy Cyberspace A Survey. We are living in an era when online communication over social network services (SNSs) have become an indispensable part of people's everyday lives. As a consequence, online social deception (OSD) in SNSs has emerged as a serious threat in cyberspace, particularly for users vulnerable to such cyberattacks. Cyber attackers have exploited the sophisticated features of SNSs to carry out harmful OSD activities, such as financial fraud, privacy threat, or sexual labor exploitation. Therefore, it is critical to understand OSD and develop effective countermeasures against OSD for building a trustworthy SNSs. In this paper, we conducted an extensive survey, covering (i) the multidisciplinary concepts of social deception (ii) types of OSD attacks and their unique characteristics compared to other social network attacks and cybercrimes (iii) comprehensive defense mechanisms embracing prevention, detection, and response (or mitigation) against OSD attacks along with their pros and cons (iv) datasets metrics used for validation and verification and (v) legal and ethical concerns related to OSD research. Based on this survey, we provide insights into the effectiveness of countermeasures and the lessons from existing literature. We conclude this survey paper with an in depth discussions on the limitations of the state of the art and recommend future research directions in this area.


Boundedness of ( epsilon, n) Complements for Surfaces. We show the existence of ( epsilon,n) complements for ( epsilon, mathbb R ) complementary surface pairs when the coefficients of boundaries belong to a DCC set.


A Model of the Enhanced Vertical Mixing Induced by Wind Waves. In the Navier Stokes equations, a current is decomposed into four constituents the mean flow, wave orbital motion, wave induced turbulent and background turbulent currents. Under certain statistical assumptions, this allows to separate the wave induced Reynolds stress from the background one. To close the wave induced Reynolds stress, the Prandtl approach for the wave induced fluctuations is used, resulting in the implicit expression for the wave induced vertical mixing function, B. Expression for B is specified, basing on the author results for the turbulent viscosity, found earlier in the frame of the three layer concept for the air sea interface. The explicit expression for function B is linear in both wave amplitude and friction velocity in the air. Due to exponential decay of wave amplitude, the found result means the possibility of the enhanced impact of waves on the vertical mixing and related geophysical processes, compared to the known cubic wave amplitude dependence for B, found by Qiao et al previously.


A lower prevalence for recessive disorders in a random mating population is a transient phenomenon during and after a growth phase. Despite increasing data from population wide sequencing studies, the risk for recessive disorders in consanguineous partnerships is still heavily debated. An important aspect that has not sufficiently been investigated theoretically, is the influence of inbreeding on mutation load and incidence rates when the population sizes change. We therefore developed a model to study these dynamics for a wide range of growth and mating conditions. In the phase of population expansion and shortly afterwards, our simulations show that there is a drop of diseased individuals at the expense of an increasing mutation load for random mating, while both parameters remain almost constant in highly consanguineous partnerships. This explains the empirical observation in present times that a high degree of consanguinity is associated with an increased risk of autosomal recessive disorders. However, it also states that the higher frequency of severe recessive disorders with developmental delay in inbred populations is a transient phenomenon before a mutation selection balance is reached again.


The COVID 19 pandemic socioeconomic and health disparities. Disadvantaged groups around the world have suffered and endured higher mortality during the current COVID 19 pandemic. This contrast disparity suggests that socioeconomic and health related factors may drive inequality in disease outcome. To identify these factors correlated with COVID 19 outcome, country aggregate data provided by the Lancet COVID 19 Commission subjected to correlation analysis. Socioeconomic and health related variables were used to predict mortality in the top 5 most affected countries using ridge regression and extreme gradient boosting (XGBoost) models. Our data reveal that predictors related to demographics and social disadvantage correlate with COVID 19 mortality per million and that XGBoost performed better than ridge regression. Taken together, our findings suggest that the health consequence of the current pandemic is not just confined to indiscriminate impact of a viral infection but that these preventable effects are amplified based on pre existing health and socioeconomic inequalities.


Comprehensive Taxonomies of Nature and Bio inspired Optimization Inspiration versus Algorithmic Behavior, Critical Analysis and Recommendations. In recent years, a great variety of nature and bio inspired algorithms has been reported in the literature. This algorithmic family simulates different biological processes observed in Nature in order to efficiently address complex optimization problems. In the last years the number of bio inspired optimization approaches in literature has grown considerably, reaching unprecedented levels that dark the future prospects of this field of research. This paper addresses this problem by proposing two comprehensive, principle based taxonomies that allow researchers to organize existing and future algorithmic developments into well defined categories, considering two different criteria the source of inspiration and the behavior of each algorithm. Using these taxonomies we review more than three hundred publications dealing with nature inspired and bio inspired algorithms, and proposals falling within each of these categories are examined, leading to a critical summary of design trends and similarities between them, and the identification of the most similar classical algorithm for each reviewed paper. From our analysis we conclude that a poor relationship is often found between the natural inspiration of an algorithm and its behavior. Furthermore, similarities in terms of behavior between different algorithms are greater than what is claimed in their public disclosure specifically, we show that more than one third of the reviewed bio inspired solvers are versions of classical algorithms. Grounded on the conclusions of our critical analysis, we give several recommendations and points of improvement for better methodological practices in this active and growing research field.


Profinet vs Profibus. We present a step by step definition of Profinet and Profibus. We introduced different types of each of the two communication protocols. Then, the topology and performance of each one has been described individually. Finally, the properties of them have been compared to show that which one has a better performance in the industry.


On structure of linear differential operators, acting in line bundles. We study differential invariants of linear differential operators and use them to find conditions for equivalence of differential operators acting in line bundles over smooth manifolds with respect to groups of authomorphisms.


Mind the Gap Enlarging the Domain Gap in Open Set Domain Adaptation. Unsupervised domain adaptation aims to leverage labeled data from a source domain to learn a classifier for an unlabeled target domain. Among its many variants, open set domain adaptation (OSDA) is perhaps the most challenging, as it further assumes the presence of unknown classes in the target domain. In this paper, we study OSDA with a particular focus on enriching its ability to traverse across larger domain gaps. Firstly, we show that existing state of the art methods suffer a considerable performance drop in the presence of larger domain gaps, especially on a new dataset (PACS) that we re purposed for OSDA. We then propose a novel framework to specifically address the larger domain gaps. The key insight lies with how we exploit the mutually beneficial information between two networks (a) to separate samples of known and unknown classes, (b) to maximize the domain confusion between source and target domain without the influence of unknown samples. It follows that (a) and (b) will mutually supervise each other and alternate until convergence. Extensive experiments are conducted on Office 31, Office Home, and PACS datasets, demonstrating the superiority of our method in comparison to other state of the arts. Code available at https github.com dongliangchang Mutual to Separate


Performance Analysis of Deep Learning Workloads on Leading edge Systems. This work examines the performance of leading edge systems designed for machine learning computing, including the NVIDIA DGX 2, Amazon Web Services (AWS) P3, IBM Power System Accelerated Compute Server AC922, and a consumer grade Exxact TensorEX TS4 GPU server. Representative deep learning workloads from the fields of computer vision and natural language processing are the focus of the analysis. Performance analysis is performed along with a number of important dimensions. Performance of the communication interconnects and large and high throughput deep learning models are considered. Different potential use models for the systems as standalone and in the cloud also are examined. The effect of various optimization of the deep learning models and system configurations is included in the analysis.


Boltzmann equation with cutoff Rutherford scattering cross section near Maxwellian. The well known Rutherford differential cross section, denoted by d Omega d sigma , corresponds to a two body interaction with Coulomb potential. It leads to the logarithmically divergence of the momentum transfer (or the transport cross section) which is described by int mathbb S 2 (1 cos theta) frac d Omega d sigma d sigma sim int 0 pi theta 1 d theta. Here theta is the deviation angle in the scattering event. Due to screening effect, physically one can assume that theta min is the order of magnitude of the smallest angles for which the scattering can still be regarded as Coulomb scattering. Under ad hoc cutoff theta geq theta min on the deviation angle, L. D. Landau derived a new equation in cite landau1936transport for the weakly interacting gas which is now referred to as the Fokker Planck Landau or Landau equation. In the present work, we establish a unified framework to justify Landau's formal derivation in cite landau1936transport and the so called Landau approximation problem proposed in cite alexandre2004landau in the close to equilibrium regime. Precisely, (i). we prove global well posedness of the Boltzmann equation with cutoff Rutherford cross section which is perhaps the most singular kernel both in relative velocity and deviation angle. (ii). we prove a global in time error estimate between solutions to Boltzmann and Landau equations with logarithm accuracy, which is consistent with the famous Coulomb logarithm. Key ingredients into the proofs of these results include a complete coercivity estimate of the linearized Boltzmann collision operator, a uniform spectral gap estimate and a novel linear quasilinear method.


Cross Lingual Transfer Learning for Complex Word Identification. Complex Word Identification (CWI) is a task centered on detecting hard to understand words, or groups of words, in texts from different areas of expertise. The purpose of CWI is to highlight problematic structures that non native speakers would usually find difficult to understand. Our approach uses zero shot, one shot, and few shot learning techniques, alongside state of the art solutions for Natural Language Processing (NLP) tasks (i.e., Transformers). Our aim is to provide evidence that the proposed models can learn the characteristics of complex words in a multilingual environment by relying on the CWI shared task 2018 dataset available for four different languages (i.e., English, German, Spanish, and also French). Our approach surpasses state of the art cross lingual results in terms of macro F1 score on English (0.774), German (0.782), and Spanish (0.734) languages, for the zero shot learning scenario. At the same time, our model also outperforms the state of the art monolingual result for German (0.795 macro F1 score).


Simplifying Impact Prediction for Scientific Articles. Estimating the expected impact of an article is valuable for various applications (e.g., article cooperator recommendation). Most existing approaches attempt to predict the exact number of citations each article will receive in the near future, however this is a difficult regression analysis problem. Moreover, most approaches rely on the existence of rich metadata for each article, a requirement that cannot be adequately fulfilled for a large number of them. In this work, we take advantage of the fact that solving a simpler machine learning problem, that of classifying articles based on their expected impact, is adequate for many real world applications and we propose a simplified model that can be trained using minimal article metadata. Finally, we examine various configurations of this model and evaluate their effectiveness in solving the aforementioned classification problem.


Does computer vision matter for action?. Computer vision produces representations of scene content. Much computer vision research is predicated on the assumption that these intermediate representations are useful for action. Recent work at the intersection of machine learning and robotics calls this assumption into question by training sensorimotor systems directly for the task at hand, from pixels to actions, with no explicit intermediate representations. Thus the central question of our work Does computer vision matter for action? We probe this question and its offshoots via immersive simulation, which allows us to conduct controlled reproducible experiments at scale. We instrument immersive three dimensional environments to simulate challenges such as urban driving, off road trail traversal, and battle. Our main finding is that computer vision does matter. Models equipped with intermediate representations train faster, achieve higher task performance, and generalize better to previously unseen environments. A video that summarizes the work and illustrates the results can be found at https youtu.be 4MfWa2yZ0Jc


Improved error estimates of hybridizable interior penalty methods using a variable penalty for highly anisotropic diffusion problems. In this paper, we derive improved a priori error estimates for families of hybridizable interior penalty discontinuous Galerkin (H IP) methods using a variable penalty for second order elliptic problems. The strategy is to use a penalization function of the form mathcal O (1 h 1 delta ) , where h denotes the mesh size and delta is a user dependent parameter. We then quantify its direct impact on the convergence analysis, namely, the (strong) consistency, discrete coercivity, and boundedness (with h delta dependency), and we derive updated error estimates for both discrete energy and L 2 norms. The originality of the error analysis relies specifically on the use of conforming interpolants of the exact solution. All theoretical results are supported by numerical evidence.


ClangJIT Enhancing C with Just in Time Compilation. The C programming language is not only a keystone of the high performance computing ecosystem but has proven to be a successful base for portable parallel programming frameworks. As is well known, C programmers use templates to specialize algorithms, thus allowing the compiler to generate highly efficient code for specific parameters, data structures, and so on. This capability has been limited to those specializations that can be identified when the application is compiled, and in many critical cases, compiling all potentially relevant specializations is not practical. ClangJIT provides a well integrated C language extension allowing template based specialization to occur during program execution. This capability has been implemented for use in large scale applications, and we demonstrate that just in time compilation based dynamic specialization can be integrated into applications, often requiring minimal changes (or no changes) to the applications themselves, providing significant performance improvements, programmer productivity improvements, and decreased compilation time.


Neural Rate Control for Video Encoding using Imitation Learning. In modern video encoders, rate control is a critical component and has been heavily engineered. It decides how many bits to spend to encode each frame, in order to optimize the rate distortion trade off over all video frames. This is a challenging constrained planning problem because of the complex dependency among decisions for different video frames and the bitrate constraint defined at the end of the episode. We formulate the rate control problem as a Partially Observable Markov Decision Process (POMDP), and apply imitation learning to learn a neural rate control policy. We demonstrate that by learning from optimal video encoding trajectories obtained through evolution strategies, our learned policy achieves better encoding efficiency and has minimal constraint violation. In addition to imitating the optimal actions, we find that additional auxiliary losses, data augmentation refinement and inference time policy improvements are critical for learning a good rate control policy. We evaluate the learned policy against the rate control policy in libvpx, a widely adopted open source VP9 codec library, in the two pass variable bitrate (VBR) mode. We show that over a diverse set of real world videos, our learned policy achieves 8.5 median bitrate reduction without sacrificing video quality.


Fine grained Action Segmentation using the Semi Supervised Action GAN. In this paper we address the problem of continuous fine grained action segmentation, in which multiple actions are present in an unsegmented video stream. The challenge for this task lies in the need to represent the hierarchical nature of the actions and to detect the transitions between actions, allowing us to localise the actions within the video effectively. We propose a novel recurrent semi supervised Generative Adversarial Network (GAN) model for continuous fine grained human action segmentation. Temporal context information is captured via a novel Gated Context Extractor (GCE) module, composed of gated attention units, that directs the queued context information through the generator model, for enhanced action segmentation. The GAN is made to learn features in a semi supervised manner, enabling the model to perform action classification jointly with the standard, unsupervised, GAN learning procedure. We perform extensive evaluations on different architectural variants to demonstrate the importance of the proposed network architecture, and show that it is capable of outperforming current state of the art on three challenging datasets 50 Salads, MERL Shopping and Georgia Tech Egocentric Activities dataset.


Acoustic spin transfer to a subwavelength spheroidal particle. We demonstrate that the acoustic spin of a first order Bessel beam can be transferred to a subwavelength (prolate) spheroidal particle at the beam axis in a viscous fluid. The induced radiation torque is proportional to the acoustic spin, which scales with the beam energy density. The analysis of the particle rotational dynamics in a Stokes' flow regime reveals that its angular velocity varies linearly with the acoustic spin. Asymptotic expressions of the radiation torque and angular velocity are obtained for a quasispherical and infinitely thin particle. Excellent agreement is found between the theoretical results of radiation torque and finite element simulations. The induced particle spin is predicted and analyzed using the typical parameter values of the acoustical vortex tweezer and levitation devices. We discuss how the beam energy density and fluid viscosity can be assessed by measuring the induced spin of the particle.


Spatial contributions to nuclear magnetic shieldings. We develop a methodology for calculating, analyzing and visualizing nuclear magnetic shielding densities, which are calculated from the current density via the Biot Savart relation. Atomic contributions to nuclear magnetic shielding constants can be estimated within our framework with a Becke partitioning scheme. The new features have been implemented in the GIMIC program and are applied in this work to the study of the 1 H and 13 C nuclear magnetic shieldings in benzene (C 6 H 6 ) and cyclobutadiene (C 4 H 4 ). The new methodology allows a visual inspection of the spatial origins of the positive (shielding) and negative (deshielding) contributions to the nuclear magnetic shielding constant of a single nucleus, something which has not been hitherto easily accomplished. Analysis of the shielding densities shows that diatropic and paratropic current density fluxes yield both shielding as well as deshielding contributions, as the shielding or deshielding is determined by the direction of the current density flux with respect to the studied nucleus instead of the tropicity. Becke partitioning of the magnetic shieldings shows that the magnetic shielding contributions mainly originate from the studied atom and its nearest neighbors, confirming the localized character of nuclear magnetic shieldings.


Stereo specific internally entangled roaming mechanism in the reaction of unstable B5 cluster with H. A new type of, called stereo specific entangled, roaming mechanism is presented in the reaction of structurally unstable B5 cluster with the hydrogen atom, by using the direct ab initio trajectory calculation with a practical level of DFT method using the rang separated functional. In this mechanism, the light moiety, i.e. H roams around far from the B5 cluster caused by a stereo specific energy transfer of translational energy to the cluster vibrational energy through the direct coupling due to the large amplitude motion of the unstable B5 cluster. We confirmed by the comparative computation that a clear change occur from the roaming trajectory to the repulsive trajectory, when we froze the vibrational motion of the B5 cluster. This drastic change of the trajectory due to the change between the structurally unstable B5 cluster and the frozen B5 cluster revealed the importance of kinematic energy transfer resulted in the soft landing like hydrogen absorption which manifested the present stereo specific entangled roaming mechanism. The trajectory calculation revealed that the present new type of roaming mechanism is very sensitive to the azimuthal angle of the H atom attack, especially to the bisection of the B B bond of the B5 cluster, where the energy flow from relative kinetic energy to the vibrational energy of the cluster efficiently takes place through the roaming trajectory driven due to the structural fluctuation of the B5 cluster.


A posteriori error estimates for the stationary Navier Stokes equations with Dirac measures. In two dimensions, we propose and analyze an a posteriori error estimator for finite element approximations of the stationary Navier Stokes equations with singular sources on Lipschitz, but not necessarily convex, polygonal domains. Under a smallness assumption on the continuous and discrete solutions, we prove that the devised error estimator is reliable and locally efficient. We illustrate the theory with numerical examples.


On the flow map of the Benjamin Ono equation on the torus. We prove that for any 0 s 1 2 , the Benjamin Ono equation on the torus is globally in time C 0 well posed on the Sobolev space H s ( T, R) ,in the sense that the solution map, which is known to be defined for smooth data, continuously extends to H s ( T, R) . The solution map does not extend continuously to H s ( T, R) with s 1 2 . Hence the critical Sobolev exponent s c 1 2 of the Benjamin Ono equation is the threshold for well posedness on the torus. The obtained solutions are almost periodic in time. Furthermore, we prove that the traveling wave solutions of the Benjamin Ono equation on the torus are orbitally stable in H s ( T, R) for any 0 le s 1 2 .


On the stability of Bresse system with one discontinuous local internal Kelvin Voigt damping on the axial force. In this paper, we investigate the stabilization of a linear Bresse system with one discontinuous local internal viscoelastic damping of Kelvin Voigt type acting on the axial force, under fully Dirichlet boundary conditions. First, using a general criteria of Arendt Batty, we prove the strong stability of our system. Finally, using a frequency domain approach combined with the multiplier method, we prove that the energy of our system decays polynomially with different rates.


Data Cooperatives Towards a Foundation for Decentralized Personal Data Management. Data cooperatives with fiduciary obligations to members provide a promising direction for the empowerment of individuals through their own personal data. A data cooperative can manage, curate and protect access to the personal data of citizen members. Furthermore, the data cooperative can run internal analytics in order to obtain insights regarding the well being of its members. Armed with these insights, the data cooperative would be in a good position to negotiate better services and discounts for its members. Credit Unions and similar institutions can provide a suitable realization of data cooperatives.


Building a Nest by an Automaton. A robot modeled as a deterministic finite automaton has to build a structure from material available to it. The robot navigates in the infinite oriented grid mathbb Z times mathbb Z . Some cells of the grid are full (contain a brick) and others are empty. The subgraph of the grid induced by full cells, called the field, is initially connected. The (Manhattan) distance between the farthest cells of the field is called its span. The robot starts at a full cell. It can carry at most one brick at a time. At each step it can pick a brick from a full cell, move to an adjacent cell and drop a brick at an empty cell. The aim of the robot is to construct the most compact possible structure composed of all bricks, i.e., a nest. That is, the robot has to move all bricks in such a way that the span of the resulting field be the smallest. Our main result is the design of a deterministic finite automaton that accomplishes this task and subsequently stops, for every initially connected field, in time O(sz) , where s is the span of the initial field and z is the number of bricks. We show that this complexity is optimal.


Transport and two way coupling effect of inertial particles by large scale and very large scale motions in turbulence. Direct numerical simulations two way coupled with inertial particles are used to investigate the particle distribution and two way coupling effect of low inertia ( St LSM 0.0625 , St VLSM 0.009 ) and high inertia ( St LSM 0.475 , St VLSM 0.069 ) particles associated with the large scale motions (LSMs) and very large scale motions (VLSMs) in an open channel flow at a Reynolds number of Re tau 550 . One method of filtering the VLSMs from the flow is via artificial domain truncation, which alters the mean particle concentration profile and particle clustering due to the removal of VLSMs from a large domain simulation. In order to exclude possible correlation of the turbulence introduced by a small domain size with periodic boundary conditions, low and high pass filtering is performed during the simulation to isolate the particle interaction with different spatial scales. The results show that particle accumulation and turbophoresis are under predicted without VLSMs, whereas the particle clustering and two way coupling effects are mainly determined by particle coupling with LSMs. In the inner layer, the elongated streamwise anisotropic particle clustering can be reproduced by particles coupling solely with LSMs for low Stokes number ( St LSM 0.0625 ) particles. However, we do not observe similar particle clustering behavior in the outer layer as seen in the full simulation by coupling particles with either LSMs or VLSMs for high Stokes number ( St VLSM 0.069 ) particles. This indicates that the organized particle structures are formed by the joint action of LSMs and VLSMs, especially for high Stokes number particles in the outer layer.


Trustworthy Misinformation Mitigation with Soft Information Nudging. Research in combating misinformation reports many negative results facts may not change minds, especially if they come from sources that are not trusted. Individuals can disregard and justify lies told by trusted sources. This problem is made even worse by social recommendation algorithms which help amplify conspiracy theories and information confirming one's own biases due to companies' efforts to optimize for clicks and watch time over individuals' own values and public good. As a result, more nuanced voices and facts are drowned out by a continuous erosion of trust in better information sources. Most misinformation mitigation techniques assume that discrediting, filtering, or demoting low veracity information will help news consumers make better information decisions. However, these negative results indicate that some news consumers, particularly extreme or conspiracy news consumers will not be helped. We argue that, given this background, technology solutions to combating misinformation should not simply seek facts or discredit bad news sources, but instead use more subtle nudges towards better information consumption. Repeated exposure to such nudges can help promote trust in better information sources and also improve societal outcomes in the long run. In this article, we will talk about technological solutions that can help us in developing such an approach, and introduce one such model called Trust Nudging.


Overview of chemical ontologies. Ontologies order and interconnect knowledge of a certain field in a formal and semantic way so that they are machine parsable. They try to define allwhere acceptable definition of concepts and objects, classify them, provide properties as well as interconnect them with relations (e.g. "A is a special case of B"). More precisely, Tom Gruber defines Ontologies as a "specification of a conceptualization ... a description (like a formal specification of a program) of the concepts and relationships that can exist for an agent or a community of agents." 1 An Ontology is made of Individuals which are organized in Classes. Both can have Attributes and Relations among themselves. Some complex Ontologies define Restrictions, Rules and Events which change attributes or relations. To be computer accessible they are written in certain ontology languages, like the OBO language or the more used Common Algebraic Specification Language. With the rising of a digitalized, interconnected and globalized world, where common standards have to be found, ontologies are of great interest. 2 Yet, the development of chemical ontologies is in the beginning. Indeed, some interesting basic approaches towards chemical ontologies can be found, but nevertheless they suffer from two main flaws. Firstly, we found that they are mostly only fragmentary completed or are still in an architecture state. Secondly, apparently no chemical ontology is widespread accepted. Therefore, we herein try to describe the major ontology developments in the chemical related fields Ontologies about chemical analytical methods, Ontologies about name reactions and Ontologies about scientific units.


On the minimal free resolution of symbolic powers of cover ideals of graphs. For any graph G , assume that J(G) is the cover ideal of G . Let J(G) (k) denote the k th symbolic power of J(G) . We characterize all graphs G with the property that J(G) (k) has a linear resolution for some (equivalently, for all) integer k geq 2 . Moreover, it is shown that for any graph G , the sequence big( rm reg (J(G) (k) ) big) k 1 infty is nondecreasing. Furthermore, we compute the largest degree of minimal generators of J(G) (k) when G is either an unmixed of a claw free graph.


Hyper positive definite functions II A complete study of branching Toeplitz operators. We introduce and give a more or less complete study of a family of branching Toeplitz operators on the Hilbert space ell 2(T q) indexed by a rooted homogeneous tree T q of degree q ge 2 . The finite dimensional analogues of such operators form a very natural family of structured sparse matrices called branching Toeplitz matrices and will also be investigated. The branching Toeplitz operators matrices in this paper should be viewed as natural generalizations of the standard Toeplitz operators matrices. We will apply our results to construct a family of determinantal point processes on homogeneous trees which are branching type strong stationary stochastic processes.


Variational approach to study soliton dynamics in a passive fiber loop resonator with coherently driven phase modulated external field. We report a detailed semi analytical treatment to investigate the dynamics of a single cavity soliton (CS) and two co propagating CSs separately in a Kerr mediated passive optical fiber resonator which is driven by a phase modulated pump. The perturbation is dealt with by introducing a Rayleigh's dissipation function in the framework of variational principle that results in a set of coupled ordinary differential equations describing the evolution of individual soliton parameters. We further derive closed form expressions for quick estimation of the temporal trajectory, drift velocity and the phase shift accumulated by the CS due to the externally modulated pump. We also extend the variational approach to solve two solitons interaction problem in the absence as well as in the presence of the externally modulated field. In absence of phase modulated field, the two copropagating solitons can attract, repulse or can propagate independently depending on their initial delay. The final state of interaction can be predicted through a second order differential equation which is derived by the variational method. While in presence of the phase modulated field, the two solitons interaction can result in annihilation, merging, breathing or two soliton state depending on the detuning frequency and the pump power. Variational treatment analytically predicts these states and portrays the related dynamics that agrees with full numerical simulation carried out by solving the normalized Lugiato Lefever equation. The results obtained through this variational approach will enrich the understanding of complex pulse dynamics under phase modulated driving field in passive dissipative systems.


Frequency dependent topological phases and photonic detouring in valley photonic crystals. Here, the frequency degree of freedom is introduced into valley photonic crystals with dual band gaps. Based on the high order plane wave expansion model, we derive an effective Hamiltonian which characterizes dual band gaps. Metallic valley photonic crystals are demonstrated as examples in which all four topological phases are found. At the domain walls between topologically distinct valley photonic crystals, frequency dependent edge states are demonstrated and a broadband photonic detouring is proposed. Our findings provide the guidance for designing the frequency dependent property of topological structures and show its potential applications in wavelength division multiplexers.


Solving Optimization Problems through Fully Convolutional Networks an Application to the Travelling Salesman Problem. In the new wave of artificial intelligence, deep learning is impacting various industries. As a closely related area, optimization algorithms greatly contribute to the development of deep learning. But the reverse applications are still insufficient. Is there any efficient way to solve certain optimization problem through deep learning? The key is to convert the optimization to a representation suitable for deep learning. In this paper, a traveling salesman problem (TSP) is studied. Considering that deep learning is good at image processing, an image representation method is proposed to transfer a TSP to an image. Based on samples of a 10 city TSP, a fully convolutional network (FCN) is used to learn the mapping from a feasible region to an optimal solution. The training process is analyzed and interpreted through stages. A visualization method is presented to show how a FCN can understand the training task of a TSP. Once the training is completed, no significant effort is required to solve a new TSP and the prediction is obtained on the scale of milliseconds. The results show good performance in finding the global optimal solution. Moreover, the developed FCN model has been demonstrated on TSP's with different city numbers, proving excellent generalization performance.