A dg Lie model for relative homotopy automorphisms. We construct a dg Lie model for the universal cover of the classifying space of the grouplike monoid of homotopy automorphisms of a space that fix a given subspace.


Lipschitz property for systems of linear mappings and bilinear forms. Let G be a graph with undirected and directed edges. Its representation is given by assigning a vector space to each vertex, a bilinear form on the corresponding vector spaces to each directed edge, and a linear map to each directed edge. Two representations A and A' of G are called isomorphic if there is a system of linear bijections between the vector spaces corresponding to the same vertices that transforms A to A'. We prove that if two representations are isomorphic and close to each other, then their isomorphism can be chosen close to the identity.


Semitoric systems of non simple type. A semitoric integrable system F (J,H) on a symplectic 4 manifold is simple if each fiber of J contains at most one focus focus critical point. Simple semitoric systems were classified about ten years ago by Pelayo V u Ngoc in terms of five invariants. In this paper we explain how the simplicity assumption can be removed from the classification by adapting the invariants.


Explicit Sequential Equilibria in LQ Deep Structured Games and Weighted Mean Field Games. In this paper, we investigate a class of nonzero sum dynamic stochastic games, where players have linear dynamics and quadratic cost functions. The players are coupled in both dynamics and cost through a linear regression (weighted average) as well as a quadratic regression (weighted covariance matrix) of the states and actions, where the linear regression of states is called deep state. We study collaborative and non collaborative games under three information structures perfect sharing, deep state sharing, and no sharing for three different types of weights positive, homogeneous and asymptotically vanishing weights. For perfect and deep state sharing information structures, we propose a transformation based technique to solve for the best response equations of players and identify a few sufficient conditions under which a unique subgame perfect Nash equilibrium exists. The equilibrium is linear in the local state and deep state, and the corresponding gains are obtained by solving a novel non standard Riccati equation (whose dimension is independent of the number of players, thus making the solution scalable). When the information structure is no sharing and the number of players is asymptotically large, one approximate population size dependent equilibrium and one approximate population size independent equilibrium (also called sequential weighted mean field equilibrium) are proposed, and their convergence to the infinite population limits are established. In addition, the main results are extended to infinite horizon cost function, and generalized to multiple orthogonal linear regressions and heterogeneous sub populations. A numerical example is provided to demonstrate the difference between the two proposed approximate equilibria.


AVClass2 Massive Malware Tag Extraction from AV Labels. Tags can be used by malware repositories and analysis services to enable searches for samples of interest across different dimensions. Automatically extracting tags from AV labels is an efficient approach to categorize and index massive amounts of samples. Recent tools like AVClass and Euphony have demonstrated that, despite their noisy nature, it is possible to extract family names from AV labels. However, beyond the family name, AV labels contain much valuable information such as malware classes, file properties, and behaviors. This work presents AVClass2, an automatic malware tagging tool that given the AV labels for a potentially massive number of samples, extracts clean tags that categorize the samples. AVClass2 uses, and helps building, an open taxonomy that organizes concepts in AV labels, but is not constrained to a predefined set of tags. To keep itself updated as AV vendors introduce new tags, it provides an update module that automatically identifies new taxonomy entries, as well as tagging and expansion rules that capture relations between tags. We have evaluated AVClass2 on 42M and showed how it enables advanced malware searches and to maintain an updated knowledge base of malware concepts in AV labels.


A Novel CNN based Method for Accurate Ship Detection in HR Optical Remote Sensing Images via Rotated Bounding Box. Currently, reliable and accurate ship detection in optical remote sensing images is still challenging. Even the state of the art convolutional neural network (CNN) based methods cannot obtain very satisfactory results. To more accurately locate the ships in diverse orientations, some recent methods conduct the detection via the rotated bounding box. However, it further increases the difficulty of detection, because an additional variable of ship orientation must be accurately predicted in the algorithm. In this paper, a novel CNN based ship detection method is proposed, by overcoming some common deficiencies of current CNN based methods in ship detection. Specifically, to generate rotated region proposals, current methods have to predefine multi oriented anchors, and predict all unknown variables together in one regression process, limiting the quality of overall prediction. By contrast, we are able to predict the orientation and other variables independently, and yet more effectively, with a novel dual branch regression network, based on the observation that the ship targets are nearly rotation invariant in remote sensing images. Next, a shape adaptive pooling method is proposed, to overcome the limitation of typical regular ROI pooling in extracting the features of the ships with various aspect ratios. Furthermore, we propose to incorporate multilevel features via the spatially variant adaptive pooling. This novel approach, called multilevel adaptive pooling, leads to a compact feature representation more qualified for the simultaneous ship classification and localization. Finally, detailed ablation study performed on the proposed approaches is provided, along with some useful insights. Experimental results demonstrate the great superiority of the proposed method in ship detection.


Influence of Control Parameters and the Size of Biomedical Image Datasets on the Success of Adversarial Attacks. In this paper, we study dependence of the success rate of adversarial attacks to the Deep Neural Networks on the biomedical image type, control parameters, and image dataset size. With this work, we are going to contribute towards accumulation of experimental results on adversarial attacks for the community dealing with biomedical images. The white box Projected Gradient Descent attacks were examined based on 8 classification tasks and 13 image datasets containing a total of 605,080 chest X ray and 317,000 histology images of malignant tumors. We concluded that (1) An increase of the amplitude of perturbation in generating malicious adversarial images leads to a growth of the fraction of successful attacks for the majority of image types examined in this study. (2) Histology images tend to be less sensitive to the growth of amplitude of adversarial perturbations. (3) Percentage of successful attacks is growing with an increase of the number of iterations of the algorithm of generating adversarial perturbations with an asymptotic stabilization. (4) It was found that the success of attacks dropping dramatically when the original confidence of predicting image class exceeds 0.95. (5) The expected dependence of the percentage of successful attacks on the size of image training set was not confirmed.


New Explicit Lorentzian Einstein Weyl Structures in 3 Dimensions. On a 3 D manifold, a Weyl geometry consists of pairs (g, A) (metric, 1 form) modulo gauge widehat g rm e 2 varphi g , widehat A A rm d varphi . In 1943, Cartan showed that every solution to the Einstein Weyl equations R ( mu nu) frac 1 3 R g mu nu 0 comes from an appropriate 3 D leaf space quotient of a 7 D connection bundle associated with a 3 rm rd order ODE y''' H(x,y,y',y'') modulo point transformations, provided 2 among 3 primary point invariants vanish text W "unschmann (H) equiv 0 equiv text Cartan (H). We find that point equivalence of a single PDE z y F(x,y,z,z x) with para CR integrability DF F x z x F z equiv 0 leads to a completely similar 7 D Cartan bundle and connection. Then magically, the (complicated) equation text W "unschmann (H) equiv 0 becomes 0 equiv text Monge (F) 9F pp 2F ppppp 45F pp F ppp F pppp 40F ppp 3, qquad p z x, whose solutions are just conics in the p, F plane. As an ansatz, we take F(x,y,z,p) frac alpha(y)(z xp) 2 beta(y)(z xp)p gamma(y)(z xp) delta(y)p 2 varepsilon(y)p zeta(y) lambda(y)(z xp) mu(y) p nu(y) , with 9 arbitrary functions alpha, dots, nu of y . This F satisfies DF equiv 0 equiv text Monge (F) , and we show that the condition text Cartan (H) equiv 0 passes to a certain boldsymbol K (F) equiv 0 which holds for any choice of alpha(y), dots, nu(y) . Descending to the leaf space quotient, we gain infty dimensional functionally parametrized and explicit families of Einstein Weyl structures big (g, A) big in 3 D. These structures are nontrivial in the sense that rm d A not equiv 0 and text Cotton ( g ) not equiv 0 .


Lower regularity assumption for an Euler Lagrange equation on the contact line of the phase dependent Helfrich energy. We examine the phase dependent Helfrich energy and show an Euler Lagrange equation on the phase seperation line. This result has already been observed by e.g. J "ulicher Lipowski and later Elliot Stinner. Here we are able to lower the regularity assumption for this result down to C 1,1 for the seperation line. In the proof we employ a carefully choosen test function utilising the signed distance function.


On Polyhedral Realization with Isosceles Triangles. Answering a question posed by Joseph Malkevitch, we prove that there exists a polyhedral graph, with triangular faces, such that every realization of it as the graph of a convex polyhedron includes at least one face that is a scalene triangle. Our construction is based on Kleetopes, and shows that there exists an integer i such that all convex i iterated Kleetopes have a scalene face. However, we also show that all Kleetopes of triangulated polyhedral graphs have non convex non self crossing realizations in which all faces are isosceles. We answer another question of Malkevitch by observing that a spherical tiling of Dawson (2005) leads to a fourth infinite family of convex polyhedra in which all faces are congruent isosceles triangles, adding one to the three families previously known to Malkevitch. We prove that the graphs of convex polyhedra with congruent isosceles faces have bounded diameter and have dominating sets of bounded size.


Coexistence of bounded and unbounded motions in a bouncing ball model. We consider the model describing the vertical motion of a ball falling with constant acceleration on a wall and elastically reflected. The wall is supposed to move in the vertical direction according to a given periodic function f . We apply the Aubry Mather theory to the generating function in order to prove the existence of bounded motions with prescribed mean time between the bounces. As the existence of unbounded motions is known, it is possible to find a class of functions f that allow both bounded and unbounded motions.


A note on sequential walks. This short note is devoted to motivate and clarify the notion of sequential walk introduced by the authors in a previous work. We also give some applications of this concept.


Higher Order Fibonacci Sequences from Generalized Schreier sets. A Schreier set S is a subset of the natural numbers with min S ge S . It has been known that the sequence (a 1,n ) , where a 1,n S subseteq mathbb N , , max S n mbox and min S ge S , is the Fibonacci sequence. Generalizing this result, we prove that for all p in mathbb N , the sequence (a p,n ) , where a p, n S subseteq mathbb N , , max S n mbox and min S ge p S , has a linear recurrence relation of higher order. We investigate further by requiring that rm min 2 S ge q S , where min 2 S is the second smallest element of S . We prove a linear recurrence relation for the sequence (a p, q, n ) , where a p, q, n S subseteq mathbb N , , max S n, min S ge p S mbox and rm min 2 S ge q S , and discuss a curious relationship between (a q, n ) and (a p, q, n ) .


Fair Auction and Trade Framework for Cloud VM Allocation based on Blockchain. Cloud auctions provide cost effective strategies for cloud VM allocation. Most existing cloud auctions simply assume that the auctioneer is trustable, and thus the fairness of auctions can be easily achieved. However, in fact, such a trustable auctioneer may not exist, and the fairness is non trivial to guarantee. In this work, for the first time, we propose a decentralized cloud VM auction and trade framework based on blockchain. We realize both auction fairness and trade fairness among participants (e.g., cloud provider and cloud users) in this system, which guarantees the interest of each party will not suffer any loss as long as it follows the protocol. Furthermore, we implement our system through the local blockchain and Ethereum official test blockchain, carry out experimental simulations, and demonstrate the feasibility of our system.


A Corpus for Argumentative Writing Support in German. In this paper, we present a novel annotation approach to capture claims and premises of arguments and their relations in student written persuasive peer reviews on business models in German language. We propose an annotation scheme based on annotation guidelines that allows to model claims and premises as well as support and attack relations for capturing the structure of argumentative discourse in student written peer reviews. We conduct an annotation study with three annotators on 50 persuasive essays to evaluate our annotation scheme. The obtained inter rater agreement of alpha 0.57 for argument components and alpha 0.49 for argumentative relations indicates that the proposed annotation scheme successfully guides annotators to moderate agreement. Finally, we present our freely available corpus of 1,000 persuasive student written peer reviews on business models and our annotation guidelines to encourage future research on the design and development of argumentative writing support systems for students.


MOSARIX Progress Report. MOSARIX is a collaborative project between three research group in Sorbonne University to build a x ray spectrometer (2 5 keV) portable to large scale facilities with high efficiency and good resolution. X ray spectroscopy and coincidences experiment are planned. A prototype with a single HADP crystal with von Hamos geometry has been tested (resolution and efficiency). A fast time and position detector has been realized (patent and publication).We plan to build the spectrometer with 8 HADP (or 4) crystals under Helium atmosphere using a TimePix3 or a CCD camera. MOSARIX is a project of an x ray spectrometer in the tender x ray domain (2 5 keV) with high efficiency, allowing performing x ray emission and coincidences (or covariance mapping) experiments using synchrotron radiation, XFEL, the future installation SPIRAL2 GANIL or CRYRING FAIR. It involves 2 groups at LCPMR (Francis PENENT and Marc SIMON) and one group at INSP (Dominique VERNHET). The coincidences covariance measurements will be between x ray photons and ions or electrons. It would be the first time for such coincidences with energy resolved photons. The spectrometer will be portable and will be brought to the different large scale facilities. MOSARIX is a multi crystal HAPG von Hamos spectrometer optimized for the 2 5 keV photon energy range. Its resolving power E DE will be 4000. It will be equipped with a fast time and position sensitive detection system, allowing performing coincidences, or with a CCD camera. I. Scientific case and some possible experiments The accelerated development of x ray sources, as 3 rd generation synchrotrons (and recent upgrades) or free electron lasers, has opened new opportunities to investigate new phenomena by means of photoelectron and Auger spectroscopy, electron ion coincidence techniques and x ray emission. However, several processes of high scientific interests are still hard to measure some of them require the measurement of photons with high efficiency, high resolution and even sometimes in coincidence mode. This is the purpose of MOSARIX development. As an example, we propose to revisit Resonance Enhanced X ray Multiple Ionization (REXMI) 1 with a significant amelioration of the detection of photons, i.e. measuring the photons not only with high efficiency and high resolution but also in coincidence with ions or electrons. This will allow accessing the involved intermediate states and obtaining a clearer image of the dynamic of the multiple ionization process. MOSARIX can also be used for the investigation of very low cross section phenomena such as attosecond electron dynamics 2 and High Energy Resolution Off Resonant Spectroscopy (HEROS) 3,4. X ray spectroscopy has also proved to be a very powerful tool to investigate quantum dynamics in heavy ions collisions with matter of whatever nature, dilute or condensed 5 7. A


n Regular Functions in Quaternionic Analysis. In this paper we study left and right n regular functions that originally were introduced in FL4 . When n 1, these functions are the usual quaternionic left and right regular functions. We show that n regular functions satisfy most of the properties of the usual regular functions, including the conformal invariance under the fractional linear transformations by the conformal group and the Cauchy Fueter type reproducing formulas. Arguably, these Cauchy Fueter type reproducing formulas for n regular functions are quaternionic analogues of Cauchy's integral formula for the n th order pole expressing the (n 1) st derivative of a holomorphic function. We also find two expansions of the Cauchy Fueter kernel for n regular functions in terms of certain basis functions, we give an analogue of Laurent series expansion for n regular functions, we construct an invariant pairing between left and right n regular functions and we describe the irreducible representations associated to the spaces of left and right n regular functions of the conformal group and its Lie algebra.


Towards Robust Curve Text Detection with Conditional Spatial Expansion. It is challenging to detect curve texts due to their irregular shapes and varying sizes. In this paper, we first investigate the deficiency of the existing curve detection methods and then propose a novel Conditional Spatial Expansion (CSE) mechanism to improve the performance of curve text detection. Instead of regarding the curve text detection as a polygon regression or a segmentation problem, we treat it as a region expansion process. Our CSE starts with a seed arbitrarily initialized within a text region and progressively merges neighborhood regions based on the extracted local features by a CNN and contextual information of merged regions. The CSE is highly parameterized and can be seamlessly integrated into existing object detection frameworks. Enhanced by the data dependent CSE mechanism, our curve text detection system provides robust instance level text region extraction with minimal post processing. The analysis experiment shows that our CSE can handle texts with various shapes, sizes, and orientations, and can effectively suppress the false positives coming from text like textures or unexpected texts included in the same RoI. Compared with the existing curve text detection algorithms, our method is more robust and enjoys a simpler processing flow. It also creates a new state of art performance on curve text benchmarks with F score of up to 78.4 .


Light Euclidean Steiner Spanners in the Plane. Lightness is a fundamental parameter for Euclidean spanners it is the ratio of the spanner weight to the weight of the minimum spanning tree of a finite set of points in mathbb R d . In a recent breakthrough, Le and Solomon (2019) established the precise dependencies on varepsilon 0 and d in mathbb N of the minimum lightness of (1 varepsilon) spanners, and observed that additional Steiner points can substantially improve the lightness. Le and Solomon (2020) constructed Steiner (1 varepsilon) spanners of lightness O( varepsilon 1 log Delta) in the plane, where Delta geq Omega( sqrt n ) is the emph spread of the point set, defined as the ratio between the maximum and minimum distance between a pair of points. They also constructed spanners of lightness tilde O ( varepsilon (d 1) 2 ) in dimensions d geq 3 . Recently, Bhore and T ' o th (2020) established a lower bound of Omega( varepsilon d 2 ) for the lightness of Steiner (1 varepsilon) spanners in mathbb R d , for d ge 2 . The central open problem in this area is to close the gap between the lower and upper bounds in all dimensions d geq 2 . In this work, we show that for every finite set of points in the plane and every varepsilon 0 , there exists a Euclidean Steiner (1 varepsilon) spanner of lightness O( varepsilon 1 ) this matches the lower bound for d 2 . We generalize the notion of shallow light trees, which may be of independent interest, and use directional spanners and a modified window partitioning scheme to achieve a tight weight analysis.


On the extension property of dilatation monotone risk measures. Let mathcal X be a subset of L 1 that contains the space of simple random variables mathcal L and rho mathcal X rightarrow ( infty, infty a dilatation monotone functional with the Fatou property. In this note, we show that rho extends uniquely to a sigma(L 1, mathcal L ) lower semicontinuous and dilatation monotone functional overline rho L 1 rightarrow ( infty, infty . Moreover, overline rho preserves monotonicity, (quasi)convexity, and cash additivity of rho . Our findings complement recent extension results for quasiconvex law invariant functionals proved in 17,20 . As an application of our results, we show that transformed norm risk measures on Orlicz hearts admit a natural extension to L 1 that retains the robust representations obtained in 4,6 .


A Speech Test Set of Practice Business Presentations with Additional Relevant Texts. We present a test corpus of audio recordings and transcriptions of presentations of students' enterprises together with their slides and web pages. The corpus is intended for evaluation of automatic speech recognition (ASR) systems, especially in conditions where the prior availability of in domain vocabulary and named entities is benefitable. The corpus consists of 39 presentations in English, each up to 90 seconds long. The speakers are high school students from European countries with English as their second language. We benchmark three baseline ASR systems on the corpus and show their imperfection.


Electrical Flows over Spanning Trees. The network reconfiguration problem seeks to find a rooted tree T such that the energy of the (unique) feasible electrical flow over T is minimized. The tree requirement on the support of the flow is motivated by operational constraints in electricity distribution networks. The bulk of existing results on convex optimization over vertices of polytopes and on the structure of electrical flows do not easily give guarantees for this problem, while many heuristic methods have been developed in the power systems community as early as 1989. Our main contribution is to give the first provable approximation guarantees for the network reconfiguration problem. We provide novel lower bounds and corresponding approximation factors for various settings ranging from min O(m n), O(n) for general graphs, to O( sqrt n ) over grids with uniform resistances on edges, and O(1) for grids with uniform edge resistances and demands. To obtain the result for general graphs, we propose a new method for (approximate) spectral graph sparsification, which may be of independent interest. Using insights from our theoretical results, we propose a general heuristic for the network reconfiguration problem that is orders of magnitude faster than existing methods in the literature, while obtaining comparable performance.


An Intermediate Data driven Methodology for Scientific Workflow Management System to Support Reusability. In this thesis first we propose an intermediate data management scheme for a SWfMS. In our second attempt, we explored the possibilities and introduced an automatic recommendation technique for a SWfMS from real world workflow data (i.e Galaxy 1 workflows) where our investigations show that the proposed technique can facilitate 51 of workflow building in a SWfMS by reusing intermediate data of previous workflows and can reduce 74 execution time of workflow buildings in a SWfMS. Later we propose an adaptive version of our technique by considering the states of tools in a SWfMS, which shows around 40 reusability for workflows. Consequently, in our fourth study, We have done several experiments for analyzing the performance and exploring the effectiveness of the technique in a SWfMS for various environments. The technique is introduced to emphasize on storing cost reduction, increase data reusability, and faster workflow execution, to the best of our knowledge, which is the first of its kind. Detail architecture and evaluation of the technique are presented in this thesis. We believe our findings and developed system will contribute significantly to the research domain of SWfMSs.


Learning dominant physical processes with data driven balance models. Throughout the history of science, physics based modeling has relied on judiciously approximating observed dynamics as a balance between a few dominant processes. However, this traditional approach is mathematically cumbersome and only applies in asymptotic regimes where there is a strict separation of scales in the physics. Here, we automate and generalize this approach to non asymptotic regimes by introducing the idea of an equation space, in which different local balances appear as distinct subspace clusters. Unsupervised learning can then automatically identify regions where groups of terms may be neglected. We show that our data driven balance models successfully delineate dominant balance physics in a much richer class of systems. In particular, this approach uncovers key mechanistic models in turbulence, combustion, nonlinear optics, geophysical fluids, and neuroscience.


Multi switches and representations of braid groups. In the paper, we introduce the notion of a (virtual) multi switch which generalizes the notion of a (virtual) switch. Using (virtual) multi switches we introduce a general approach on how to construct representations of (virtual) braid groups by automorphisms of algebraic systems. As a corollary, we introduce new representations of virtual braid groups which generalize several previously known representations.


A new paradigm of dissipation controllable, multi scale resolving schemes for compressible flows. The scale resolving simulation of high speed compressible flow through direct numerical simulation (DNS) or large eddy simulation (LES) requires shock capturing schemes to be more accurate for resolving broadband turbulence and robust for capturing strong shock waves. In this work, we develop a new paradigm of dissipation controllable, shock capturing scheme to resolve multi scale flow structures in high speed compressible flow. This novel paradigm of shock capturing scheme is named as PnTm BVD CD. The proposed PnTm BVD CD scheme has following desirable properties. First, it can capture large scale discontinuous structures such as strong shock waves without obvious non physical oscillations while resolving sharp contact, material interface and shear layer. Secondly, the numerical dissipation property of PnTm BVD CD can be effectively controlled between n 1 order upwind biased scheme and non dissipative n 2 order central scheme through a simple tunable parameter lambda . Thirdly, with lambda 0.5 the scheme can recover to n 2 order non dissipative central interpolation for smooth solution over all wavenumber, which is preferable for solving small scale structures in DNS as well as resolvable scale in explicit LES. Finally, the under resolved small scale can be solved with dissipation controllable algorithm through so called implicit LES (ILES) approach.


Transparent Negative Index of Refraction Metamaterial Using a Wire Array in a Magnetic Host. We have made measurements of microwave transmission over the 12 18 GHz range and through a simple metamaterial exhibiting a negative index of refraction. The metamaterial consisted of an array of wires cladded in dielectric embedded in a magnetic ferrite. The ferrite replaced the cut ring structure usually used to create the negative permeability. The dielectric cladding decoupled the ferrite from the wires, thereby allowing the wire array permittivity to be simultaneously negative with the permeability. The simplicity of the design allows for miniaturization of potential microwave devices based on this metamaterial.


Nonlinear MPC for Collision Avoidance and Controlof UAVs With Dynamic Obstacles. This article proposes a Novel Nonlinear Model Predictive Control (NMPC) for navigation and obstacle avoidance of an Unmanned Aerial Vehicle (UAV). The proposed NMPC formulation allows for a fully parametric obstacle trajectory, while in this article we apply a classification scheme to differentiate between different kinds of trajectories to predict future obstacle positions. The trajectory calculation is done from an initial condition, and fed to the NMPC as an additional input. The solver used is the nonlinear, non convex solver Proximal Averaged Newton for Optimal Control (PANOC) and its associated software OpEn (Optimization Engine), in which we apply a penalty method to properly consider the obstacles and other constraints during navigation. The proposed NMPC scheme allows for real time solutions using a sampling time of 50 ms and a two second prediction of both the obstacle trajectory and the NMPC problem, which implies that the scheme can be considered as a local path planner. This paper will present the NMPC cost function and constraint formulation, as well as the methodology of dealing with the dynamic obstacles. We include multiple laboratory experiments to demonstrate the efficacy of the proposed control architecture, and to show that the proposed method delivers fast and computationally stable solutions to the dynamic obstacle avoidance scenarios.


Characterizing ultrashort laser pulses with second harmonic dispersion scans. The dispersion scan (d scan) technique has emerged as a simple to implement characterization method for ultrashort laser pulses. D scan traces are intuitive to interpret and retrieval algorithms that are both fast and robust have been developed to obtain the spectral phase and the temporal pulse profile. Here, we give a review of the d scan technique based on second harmonic generation. We describe and compare recent implementations for the characterization of few and multi cycle pulses as well as two different approaches for recording d scan traces in single shot, thus showing the versatility of the technique.


Non uniform packings. We generalize the classical notion of packing a set by balls with identical radii to the case where the radii may be different. The largest number of such balls that fit inside the set without overlapping is called its em non uniform packing number . We show that the non uniform packing number can be upper bounded in terms of the em average radius of the balls, resulting in bounds of the familiar classical form.


Boundedness of minimal partial du Val resolutions of canonical surface foliations. In this paper, we prove the boundedness of foliated surfaces (X, mathscr F ) which are minimal partial du Val resolutions of canonical models (X c, mathscr F c) of general type. For applications, we show the boundedness of non cusp singularities on canonical models of foliated surfaces of general type and the effective generation on the complement of the cusp singularities.


Dynamics of retracting surfactant laden ligaments at intermediate Ohnesorge number. The dynamics of ligaments retracting under the action of surface tension occurs in a multitude of natural and industrial applications, such as inkjet printing and atomisation. We perform fully three dimensional, two phase direct numerical simulations of the retraction dynamics with soluble surfactants. A full parametric study is performed using a hybrid interface tracking level set method, which is utilised to treat the interface this method is capable of capturing faithfully the topological transitions that are a feature of the flow over a certain range of ligament aspect ratios and Ohnesorge numbers. Our results demonstrate the delicate interplay between capillarity, modulated by the presence of surfactants, surfactant induced Marangoni stresses, inertial and viscous effects. Particular attention is paid to the formation of vortices, which accompany the retraction process, and the influence of surfactant on the vortex dynamics.


Finite Element Simulations of an Elasto Viscoplastic Model for Clay. In this paper, we develop an elasto viscoplastic (EVP) model for clay using the non associated flow rule. This is accomplished by using a modified form of the Perzyna's overstressed EVP theory, the critical state soil mechanics, and the multi surface theory. The new model includes six parameters, five of which are identical to those in the critical state soil mechanics model. The other parameter is the generalized nonlinear secondary compression index. The EVP model was implemented in a nonlinear coupled consolidated code using a finite element numerical algorithm (AFENA). We then tested the model for different clays, such as the Osaka clay, the San Francisco Bay Mud clay, the Kaolin clay, and the Hong Kong Marine Deposit clay. The numerical results show good agreement with the experimental data.


Generalized Heegner cycles and p adic L functions in a quaternionic setting. In a recent paper, Castella and Hsieh proved results for Selmer groups associated with Galois representations attached to newforms twisted by Hecke characters of an imaginary quadratic field. These results are obtained under the so called Heegner hypothesis that the imaginary quadratic field satisfies with respect to the level of the modular form. In particular, Castella and Hsieh prove the rank 0 case of the Bloch Kato conjecture for L functions of modular forms in their setting. The key point of the work of Castella and Hsieh is a remarkable link between generalized Heegner cycles and p adic L functions. In this paper, several of the results of Castella Hsieh are extended to a quaternionic setting, that is, the setting that arises when one works under a "relaxed" Heegner hypothesis. More explicitly, we prove vanishing and one dimensionality results for Selmer groups. Crucial ingredients in our strategy are Brooks's results on generalized Heegner cycles over Shimura curves.


Non trivial idempotents of the matrix rings over polynomial ring Z pqr x . In this paper, we study the non trivial idempotents of the 2 times 2 matrix ring over the polynomial ring mathbb Z pqr x for distinct primes p, q and r greater than 3 . We have classified all the idempotents of this matrix ring into several classes such that any idempotent must belong to one of these classes. This work is extension of the work done in 1 .


Dietary Restriction of Amino Acids for Cancer Therapy. Biosyntheses of proteins, nucleotides and fatty acids, are essential for the malignant proliferation and survival of cancer cells. Cumulating research findings show that amino acid restrictions are potential strategies for cancer interventions. Meanwhile, dietary strategies are popular among cancer patients. However, there is still lacking solid rationale to clarify what is the best strategy, why and how it is. Here, integrated analyses and comprehensive summaries for the abundances, signalling and functions of amino acids in proteomes, metabolism, immunity and food compositions, suggest that, intermittent fasting or intermittent dietary lysine restriction with normal maize as an intermittent staple food for days or weeks, might have the value and potential for cancer prevention or therapy. Moreover, dietary supplements were also discussed for cancer cachexia including dietary immunomodulatory.


Multiparametric Cardiac 18F FDG PET Pilot Comparison of FDG Delivery Rate with 82Rb Myocardial Blood Flow. Myocardial blood flow (MBF) and flow reserve are usually quantified in the clinic with positron emission tomography (PET) using a perfusion specific radiotracer (e.g. 82Rbchloride). However, the clinical accessibility of existing perfusion tracers remains limited. Meanwhile, 18F fluorodeoxyglucose (FDG) is a commonly used radiotracer for PET metabolic imaging without similar limitations. In this paper, we explore the potential of 18F FDG for myocardial perfusion imaging by comparing the myocardial FDG delivery rate K1 with MBF as determined by dynamic 82Rb PET in fourteen human subjects with heart disease. Two sets of FDG K1 were derived from one hour dynamic FDG scans. One was the original FDG K1 estimates and the other was the corresponding K1 values that were linearly normalized for blood glucose levels. A generalized Renkin Crone model was used to fit FDG K1 with Rb MBF, which then allowed for a nonlinear extraction fraction correction for converting FDG K1 to MBF. The linear correlation between FDG derived MBF and Rb MBF was moderate (r 0.79) before the glucose normalization and became much improved (r 0.9) after glucose normalization. The extraction fraction of FDG was also similar to that of Rb chloride in the myocardium. The results from this pilot study suggest that dynamic cardiac FDG PET with tracer kinetic modeling has the potential to provide MBF in addition to its conventional use for metabolic imaging.


Eulers Graph World Purity, Regularity and Evenness Law of Nature? Constructions and Examples. We propose a Law of Nature? Viz., Pure Regularity Occurs at Na "ive Levels and Regularity has Affinity with Evenness. In a series of three papers, it was established that regular Euler graphs with only one type of (pure) cycles are nonexistent Regular Euler graphs with only two types of cycles are possible in one of the six cases, viz., regular bipartite Euler graphs of degree 2 Evenness plays role in unveiling regularity Lastly, K5 is a regular Euler graph with three types of cycles (0,1,3) This is the only known graph with the property It is conjectured that regular Euler graphs of order 5 with only three cycle types are nonexistent and this is proved true in part cases in each of the four cases. Some constructions and examples are given for the Euler graphs under (mod 4) satisfying intersection (combined cycle) rules. These infinite classes of Euler graphs serve as candidates for gracefulness. Infinite families of graceful graphs are presented in Case 0.


Matrix riccati equation solution of the 1d radiative transfer equation. In recent years, the first author has developed three successful numerical methods to solve the 1D radiative transport equation yielding highly precise benchmarks. The second author has shown a keen interest in novel solution methodologies and an ability for their implementation. Here, we combine talents to generate yet another high precision solution, the Matrix Riccati Equation Method (MREM). MREM features the solution to two of the four matrix Riccati ODEs that arise from the interaction principle of particle transport. Through interaction coefficients, the interaction principle describes how particles reflect from and transmit through a single slab. On combination with Taylor series and doubling, a high quality numerical benchmark, to nearly seven places, is established.


Embracing a mechanized formalization gap. If a code base is so big and complicated that complete mechanical verification is intractable, can we still apply and benefit from verification methods? We show that by allowing a deliberate mechanized formalization gap we can shrink and simplify the model until it is manageable, while still retaining a meaningful, declaratively documented connection to the original, unmodified source code. Concretely, we translate core parts of the Haskell compiler GHC into Coq, using hs to coq, and verify invariants related to the use of term variables.


Designing everyday automation with well being in mind. Nowadays, automation not only permeates industry but also becomes a substantial part of our private, everyday lives. Driven by the idea of increased convenience and more time for the "important things in life," automation relieves us from many daily chores robots vacuum floors and automated coffee makers produce supposedly barista quality coffee on the press of a button. In many cases, these offers are embraced by people without further questioning. However, while we save time by delegating more and more everyday activities to automation, we also may lose chances for enjoyable and meaningful experiences. In two field studies, we demonstrate that a manual process has experiential benefits over more automated processes by using the example of coffee making. We present a way to account for potential experiential costs of everyday automation and strategies of how to design interaction with automation to reconcile experience with the advantages of a more and more powerful automation.


Material Discrimination in Cosmic Muon Imaging using Pattern Recognition Method. This work reports numerical simulations and statistical tests carried out to study the performance of a prototype imaging setup to be developed for material discrimination using Muon Scattering Tomography (MST). The reconstructed images have been processed with a Pattern Recognition Method (PRM) to discriminate the low Z and high Z materials. The same method has been applied to examine the performance of the setup in recognizing the shape of the test objects. Design parameters of the setup, such as area of the muon detectors, their physical placement, along with their spatial resolution, etc. have been discussed. To evaluate the efficacy of the newly proposed PRM, the results have been compared to another technique based on cluster finding.


Online Administration of Research Based Assessments. The number and use of research based assessments (RBAs) has grown significantly over the last several decades. Data from RBAs can be compared against national datasets to provide instructors with empirical evidence on the efficacy of their teaching practices. Many physics instructors, however, opt not to use RBAs due to barriers such as having to use class time to administer them. In this article we examine how these barriers can be mitigated through online administrations of RBAs, particularly through the use of free online RBA platforms that automate administering, scoring, and analyzing RBAs (e.g., the Learning About STEM Student Outcomes LASSO , Colorado Learning Attitudes About Science Survey for Experimental Physics E CLASS , Physics Lab Inventory of Critical thinking PLIC , and PhysPort DataExplorer platforms). We also explore the research into common concerns of administering RBAs online and conclude with a practical how to guide for instructors.


Discretization and Convergence of the EIT Optimal Control Problem in 2D and 3D Domains. We consider Inverse Electrical Impedance Tomography (EIT) problem on recovering electrical conductivity and potential in the body based on the measurement of the boundary voltages on the m electrodes for a given electrode current. The variational formulation is pursued in the optimal control framework, where electrical conductivity and boundary voltages are control parameters, and the cost functional is the norm declinations of the boundary electrode current from the given current pattern and boundary electrode voltages from the measurements. EIT optimal control problem is fully discretized using the method of finite differences. New Sobolev Hilbert space is introduced, and the convergence of the sequence of finite dimensional optimal control problems to EIT coefficient optimal control problem is proved both with respect to functional and control in 2 and 3 dimensional domains.


Using Spectral Submanifolds for Optimal Mode Selection in Model Reduction. Model reduction of large nonlinear systems often involves the projection of the governing equations onto linear subspaces spanned by carefully selected modes. The criteria to select the modes relevant for reduction are usually problem specific and heuristic. In this work, we propose a rigorous mode selection criterion based on the recent theory of Spectral Submanifolds (SSM), which facilitates a reliable projection of the governing nonlinear equations onto modal subspaces. SSMs are exact invariant manifolds in the phase space that act as nonlinear continuations of linear normal modes. Our criterion identifies critical linear normal modes whose associated SSMs have locally the largest curvature. These modes should then be included in any projection based model reduction as they are the most sensitive to nonlinearities. To make this mode selection automatic, we develop explicit formulas for the scalar curvature of an SSM and provide an open source numerical implementation of our mode selection procedure. We illustrate the power of this procedure by accurately reproducing the forced response curves on three examples of varying complexity, including high dimensional finite element models.


A note on minimal art galleries. We will consider some extensions of the polygonal art gallery problem. In a recent paper Morrison has shown the smallest (9 sides) example of an art gallery that cannot be observed by guards placed in every third corner. Author also mentioned two related problems, for which the minimal examples are not known. We will show that a polygonal fortress such that its exterior cannot be guarded by sentries placed in every second vertex has at least 12 sides. Also, we will show an example of three dimensional polyhedron such that its inside cannot be covered by placing guard in every vertex which has both fewer vertices and faces than previously known.


Improving BERT Fine tuning with Embedding Normalization. Large pre trained sentence encoders like BERT start a new chapter in natural language processing. A common practice to apply pre trained BERT to sequence classification tasks (e.g., classification of sentences or sentence pairs) is by feeding the embedding of CLS token (in the last layer) to a task specific classification layer, and then fine tune the model parameters of BERT and classifier jointly. In this paper, we conduct systematic analysis over several sequence classification datasets to examine the embedding values of CLS token before the fine tuning phase, and present the biased embedding distribution issue i.e., embedding values of CLS concentrate on a few dimensions and are non zero centered. Such biased embedding brings challenge to the optimization process during fine tuning as gradients of CLS embedding may explode and result in degraded model performance. We further propose several simple yet effective normalization methods to modify the CLS embedding during the fine tuning. Compared with the previous practice, neural classification model with the normalized embedding shows improvements on several text classification tasks, demonstrates the effectiveness of our method.


A Dirac type theorem for uniform hypergraphs. Dirac (1952) proved that every connected graph of order n 2k 1 with minimum degree more than k contains a path of length at least 2k 1 . Erd H o s and Gallai (1959) showed that every n vertex graph G with average degree more than k 1 contains a path of length k . The hypergraph extension of the Erd H o s Gallai Theorem have been given by Gy H o ri, Katona, Lemons (2016) and Davoodi et al. (2018). F "uredi, Kostochka, and Luo (2019) gave a connected version of the Erd H o s Gallai Theorem for hypergraphs. In this paper, we give a hypergraph extension of the Dirac's Theorem Given positive integers n,k and r , let H be a connected n vertex r graph with no Berge path of length 2k 1 . We show that (1) If k r ge 4 and n 2k 1 , then delta 1(H) le binom k r 1 . Furthermore, the equality holds if and only if S' r(n,k) subseteq H subseteq S r(n,k) or H cong S(sK k 1 (r) ,1) (2) If k ge r ge 2 and n 2k(r 1) , then delta 1(H) le binom k r 1 . The result is also a Dirac type version of the result of F "uredi, Kostochka, and Luo. As an application of (1), we give a better lower bound of the minimum degree than the ones in the Dirac type results for Berge Hamiltonian cycle given by Bermond et al. (1976) and Clemens et al. (2016), respectively.


Extremality of graph entropy based on Laplacian degrees of k uniform hypergraphs. The graph entropy describes the structural information of graph. Motivated by the definition of graph entropy in general graphs, the graph entropy of hypergraphs based on Laplacian degree are defined. Some results on graph entropy of simple graphs are extended to k uniform hypergraphs. Using an edge moving operation, the maximum and minimum graph entropy based on Laplacian degrees are determined in k uniform hypertrees, unicyclic k uniform hypergraphs, bicyclic k uniform hypergraphs and k uniform chemical hypertrees, respectively, and the corresponding extremal graphs are determined.


TORNADO Net mulTiview tOtal vaRiatioN semAntic segmentation with Diamond inceptiOn module. Semantic segmentation of point clouds is a key component of scene understanding for robotics and autonomous driving. In this paper, we introduce TORNADO Net a neural network for 3D LiDAR point cloud semantic segmentation. We incorporate a multi view (bird eye and range) projection feature extraction with an encoder decoder ResNet architecture with a novel diamond context block. Current projection based methods do not take into account that neighboring points usually belong to the same class. To better utilize this local neighbourhood information and reduce noisy predictions, we introduce a combination of Total Variation, Lovasz Softmax, and Weighted Cross Entropy losses. We also take advantage of the fact that the LiDAR data encompasses 360 degrees field of view and uses circular padding. We demonstrate state of the art results on the SemanticKITTI dataset and also provide thorough quantitative evaluations and ablation results.


The FaceChannelS Strike of the Sequences for the AffWild 2 Challenge. Predicting affective information from human faces became a popular task for most of the machine learning community in the past years. The development of immense and dense deep neural networks was backed by the availability of numerous labeled datasets. These models, most of the time, present state of the art results in such benchmarks, but are very difficult to adapt to other scenarios. In this paper, we present one more chapter of benchmarking different versions of the FaceChannel neural network we demonstrate how our little model can predict affective information from the facial expression on the novel AffWild2 dataset.


New Examples of Minimal Non Strongly Perfect Graphs. A graph is strongly perfect if every induced subgraph H has a stable set that meets every nonempty maximal clique of H. The characterization of strongly perfect graphs by a set of forbidden induced subgraphs is not known. Here we provide several new minimal non strongly perfect graphs.


User item matching for recommendation fairness. As we all know, users and item providers are two main parties of participants in recommender systems. However, most existing research efforts on recommendation were focused on better serving users and overlooked the purpose of item providers. This paper is devoted to improve the item exposure fairness for item providers' objective, and keep the recommendation accuracy not decreased or even improved for users' objective. We propose to set stock volume constraints on items, to be specific, limit the maximally allowable recommended times of an item to be proportional to the frequency of its being interacted in the past, which is validated to achieve superior item exposure fairness to common recommenders and thus mitigates the Matthew Effect on item popularity. With the two constraints of pre existing recommendation length of users and our stock volumes of items, a heuristic strategy based on normalized scores and a Minimum Cost Maximum Flow (MCMF) based model are proposed to solve the optimal user item matching problem, whose accuracy performances are even better than that of baseline algorithm in regular recommendation context, and in line with state of the art enhancement of the baseline. What's more, our MCMF based strategy is parameter free, while those counterpart algorithms have to resort to parameter traversal process to achieve their best performance.


Overview for the Second Shared Task on Language Identification in Code Switched Data. We present an overview of the second shared task on language identification in code switched data. For the shared task, we had code switched data from two different language pairs Modern Standard Arabic Dialectal Arabic (MSA DA) and Spanish English (SPA ENG). We had a total of nine participating teams, with all teams submitting a system for SPA ENG and four submitting for MSA DA. Through evaluation, we found that once again language identification is more difficult for the language pair that is more closely related. We also found that this year's systems performed better overall than the systems from the previous shared task indicating overall progress in the state of the art for this task.


On the eigenpoints of cubic surfaces. We show that the eigenschemes of 4 times 4 times 4 symmetric tensors are parametrized by a linear subvariety of the Grassmannian operatorname Gr (3, mathbb P 14 ) . We also study the decomposition of the eigenscheme into the subscheme associated to the zero eigenvalue and its residue. In particular, we categorize the possible degrees and dimensions.


Optimal few weight codes from simplicial complexes. Recently, some infinite families of binary minimal and optimal linear codes are constructed from simplicial complexes by Hyun em et al . Inspired by their work, we present two new constructions of codes over the ring Bbb F 2 u Bbb F 2 by employing simplicial complexes. When the simplicial complexes are all generated by a maximal element, we determine the Lee weight distributions of two classes of the codes over Bbb F 2 u Bbb F 2 . Our results show that the codes have few Lee weights. Via the Gray map, we obtain an infinite family of binary codes meeting the Griesmer bound and a class of binary distance optimal codes.


Are we done with ImageNet?. Yes, and no. We ask whether recent progress on the ImageNet classification benchmark continues to represent meaningful generalization, or whether the community has started to overfit to the idiosyncrasies of its labeling procedure. We therefore develop a significantly more robust procedure for collecting human annotations of the ImageNet validation set. Using these new labels, we reassess the accuracy of recently proposed ImageNet classifiers, and find their gains to be substantially smaller than those reported on the original labels. Furthermore, we find the original ImageNet labels to no longer be the best predictors of this independently collected set, indicating that their usefulness in evaluating vision models may be nearing an end. Nevertheless, we find our annotation procedure to have largely remedied the errors in the original labels, reinforcing ImageNet as a powerful benchmark for future research in visual recognition.


Solving path dependent PDEs with LSTM networks and path signatures. Using a combination of recurrent neural networks and signature methods from the rough paths theory we design efficient algorithms for solving parametric families of path dependent partial differential equations (PPDEs) that arise in pricing and hedging of path dependent derivatives or from use of non Markovian model, such as rough volatility models in Jacquier and Oumgari, 2019. The solutions of PPDEs are functions of time, a continuous path (the asset price history) and model parameters. As the domain of the solution is infinite dimensional many recently developed deep learning techniques for solving PDEs do not apply. Similarly as in Vidales et al. 2018, we identify the objective function used to learn the PPDE by using martingale representation theorem. As a result we can de bias and provide confidence intervals for then neural network based algorithm. We validate our algorithm using classical models for pricing lookback and auto callable options and report errors for approximating both prices and hedging strategies.


Language aware Indexing for Conjunctive Path Queries. Conjunctive path queries (CPQ) are one of the most frequently used queries for complex graph analysis. However, current graph indexes are not tailored to fully support the power of query languages to express CPQs. Consequently, current methods do not take advantage of significant pruning opportunities during cpq evaluation, resulting in poor query processing performance. We propose the CPQ aware path index CPQx, the first path index tailored to the expressivity of CPQ. CPQx is built on the partition of the set of source target vertex pairs of paths in a graph based on the structural notion of path bisimulation. Path bisimulation is an equivalence relation on paths such that each partition block induced by the relation consists of paths in the graph indistinguishable with respect to CPQs. This language aware partitioning of the graph can significantly reduce the cost of query evaluation. We present methods to support the full index life cycle index construction, maintenance, and query processing with our index. We also develop interest aware CPQx to reduce index size and index construction overhead while accelerating query evaluation for queries of interest. We demonstrate through extensive experiments on 14 real graphs that our methods accelerate query processing by up to multiple orders of magnitude over the state of the art methods, with smaller index sizes. Our complete C codebase is available as open source for further research.


Explicit Vologodsky Integration for Hyperelliptic Curves. Vologodsky's theory of p adic integration plays a central role in computing several interesting invariants in arithmetic geometry. In contrast with the theory developed by Coleman, it has the advantage of being insensitive to the reduction type at p . Building on recent work of Besser and Zerbes, we describe an algorithm for computing Vologodsky integrals on bad reduction hyperelliptic curves. This extends previous joint work with Katz to all meromorphic differential forms. We illustrate our algorithm with numerical examples computed in Sage.


Learning to Navigate Using Mid Level Visual Priors. How much does having visual priors about the world (e.g. the fact that the world is 3D) assist in learning to perform downstream motor tasks (e.g. navigating a complex environment)? What are the consequences of not utilizing such visual priors in learning? We study these questions by integrating a generic perceptual skill set (a distance estimator, an edge detector, etc.) within a reinforcement learning framework (see Fig. 1). This skill set ("mid level vision") provides the policy with a more processed state of the world compared to raw images. Our large scale study demonstrates that using mid level vision results in policies that learn faster, generalize better, and achieve higher final performance, when compared to learning from scratch and or using state of the art visual and non visual representation learning methods. We show that conventional computer vision objectives are particularly effective in this regard and can be conveniently integrated into reinforcement learning frameworks. Finally, we found that no single visual representation was universally useful for all downstream tasks, hence we computationally derive a task agnostic set of representations optimized to support arbitrary downstream tasks.


Predicting COVID 19 cases using Bidirectional LSTM on multivariate time series. Background To assist policy makers in taking adequate decisions to stop the spread of COVID 19 pandemic, accurate forecasting of the disease propagation is of paramount importance. Materials and Methods This paper presents a deep learning approach to forecast the cumulative number of COVID 19 cases using Bidirectional Long Short Term Memory (Bi LSTM) network applied to multivariate time series. Unlike other forecasting techniques, our proposed approach first groups the countries having similar demographic and socioeconomic aspects and health sector indicators using K Means clustering algorithm. The cumulative cases data for each clustered countries enriched with data related to the lockdown measures are fed to the Bidirectional LSTM to train the forecasting model. Results We validate the effectiveness of the proposed approach by studying the disease outbreak in Qatar. Quantitative evaluation, using multiple evaluation metrics, shows that the proposed technique outperforms state of art forecasting approaches. Conclusion Using data of multiple countries in addition to lockdown measures improve accuracy of the forecast of daily cumulative COVID 19 cases.


Spherical harmonic analysis based optimization of atomic weighting functions for multicenter numerical integration in molecules. The well known spatial integration schemes in molecular electronic structure theory, immune to cusps and point singularities of some kind at atomic positions, use a set of weighting functions to split the integrand into a sum of atom centered parts, each dealt with in its own spherical coordinate system. Here, for a given set of integrands in the two center case, a quality measure of the weighting functions is defined to compare, design, and optimize them, it is roughly proportional to the average number of angular quadrature points needed to reach a given integration accuracy. A study of Becke's fuzzy Vorono "i cells has helped to improve their performance by a new modification. New spherically symmetric unnormalized weighting functions are found in the form of a negative power times the negative exponential of the fourth power of the scaled distance to the atomic center, with the parameters related to the asymptotic decay of the integrand and the integration accuracy these are much simpler but no less efficient and naturally fit for linear scaling calculations. Radial distribution of spherical quadrature orders is studied. A radial integration scheme of double exponential type is optimized. A symmetric analog of the pseudospectral approximation is used for the seminumerical evaluation of two electron repulsion integrals. Taken together, this allows efficient calculation of all molecular integrals with well controlled accuracy, as shown by tests on a set of molecules.


A Parallel Down Up Fusion Network for Salient Object Detection in Optical Remote Sensing Images. The diverse spatial resolutions, various object types, scales and orientations, and cluttered backgrounds in optical remote sensing images (RSIs) challenge the current salient object detection (SOD) approaches. It is commonly unsatisfactory to directly employ the SOD approaches designed for nature scene images (NSIs) to RSIs. In this paper, we propose a novel Parallel Down up Fusion network (PDF Net) for SOD in optical RSIs, which takes full advantage of the in path low and high level features and cross path multi resolution features to distinguish diversely scaled salient objects and suppress the cluttered backgrounds. To be specific, keeping a key observation that the salient objects still are salient no matter the resolutions of images are in mind, the PDF Net takes successive down sampling to form five parallel paths and perceive scaled salient objects that are commonly existed in optical RSIs. Meanwhile, we adopt the dense connections to take advantage of both low and high level information in the same path and build up the relations of cross paths, which explicitly yield strong feature representations. At last, we fuse the multiple resolution features in parallel paths to combine the benefits of the features with different resolutions, i.e., the high resolution feature consisting of complete structure and clear details while the low resolution features highlighting the scaled salient objects. Extensive experiments on the ORSSD dataset demonstrate that the proposed network is superior to the state of the art approaches both qualitatively and quantitatively.


Resilient Distributed Recovery of Large Fields. This paper studies the resilient distributed recovery of large fields under measurement attacks, by a team of agents, where each measures a small subset of the components of a large spatially distributed field. An adversary corrupts some of the measurements. The agents collaborate to process their measurements, and each is interested in recovering only a fraction of the field. We present a field recovery consensus innovations type distributed algorithm that is resilient to measurement attacks, where an agent maintains and updates a local state based on its neighbors states and its own measurement. Under sufficient conditions on the attacker and the connectivity of the communication network, each agent's state, even those with compromised measurements, converges to the true value of the field components that it is interested in recovering. Finally, we illustrate the performance of our algorithm through numerical examples.


Fast Spatially Varying Indoor Lighting Estimation. We propose a real time method to estimate spatiallyvarying indoor lighting from a single RGB image. Given an image and a 2D location in that image, our CNN estimates a 5th order spherical harmonic representation of the lighting at the given location in less than 20ms on a laptop mobile graphics card. While existing approaches estimate a single, global lighting representation or require depth as input, our method reasons about local lighting without requiring any geometry information. We demonstrate, through quantitative experiments including a user study, that our results achieve lower lighting estimation errors and are preferred by users over the state of the art. Our approach can be used directly for augmented reality applications, where a virtual object is relit realistically at any position in the scene in real time.


Planck spectroscopy. All spectrometers rely on some mechanism to achieve spectral selectivity common examples include gratings, prisms, and interferometers with moving mirrors. We experimentally demonstrated and validated a spectroscopic technique here dubbed Planck spectroscopy that measures the spectral emissivity of a surface using only a temperature controlled stage and a detector, without any wavelength selective optical components. Planck spectroscopy involves the measurement of temperature dependent thermally emitted power, where the spectral selectivity is realized via the temperature and wavelength dependence of Planck's law. We experimentally demonstrated and validated Planck spectroscopy in the mid infrared, for wavelengths from 3 to 13 um limited primarily by the bandwidth of our detector with resolution of approximately 1 um. The minimalistic setup of Planck spectroscopy can be implemented using infrared cameras to achieve low cost infrared hyperspectral imaging and imaging ellipsometry.


Biological effects of low power nonionizing radiation A Narrative Review. Background and controlled electromagnetic radiation (EMR) on biological cells and tissues induces thermal, non thermal, and dielectric property change. After EMR interaction with cells tissues the resulting signal is used for imaging, bio molecular response, and photo biomodulation studies at infrared regime, and for therapeutic use. We attempt to present a review of current literature with a focus to present compilation of published experimental results for each regime viz. microwave (extremely low frequency, ELF to 3 GHz), to cellular communication frequencies (100 KHz to 300 GHz), millimeter wave (300 GHz 1 THz), and the infra red band extending up to 461 THz. A unique graphical representation of frequency effects and their relevant significance in detection of direct biological effects, therapeutic applications and biophysical interpretation is presented. A total of seventy research papers from peer reviewed journals were used to compile a mixture of useful information, all presented in a narrative style. Out of the Journal articles used for this paper, 63 journal articles were published between 2000 to 2020. Physical, biological, and therapeutic mechanisms of thermal, non thermal and complex dielectric effects of EMR on cells are all explained in relevant sections of this paper. A broad up to date review for the EMR range KHz NIR (kilohertz to near infra red) is prepared. Published reports indicate that number of biological cell irradiation impact studies fall off rapidly beyond a few THz EMR, leading to relatively a smaller number of studies in FIR and NIR bands covering most of the thermal effects and microthermal effects, and rotation vibration effects.


Higher representation stability for ordered configuration spaces and twisted commutative factorization algebras. Using factorization homology with coefficients in twisted commutative algebras (TCAs), we prove two flavors of higher representation stability for the cohomology of (generalized) configuration spaces of a scheme topological space X . First, we provide an iterative procedure to study higher representation stability using actions coming from the cohomology of X and prove that all the modules involved are finitely generated over the corresponding TCAs. More quantitatively, we compute explicit bounds for the derived indecomposables in the sense of Galatius Kupers Randal Williams. Secondly, when certain C infty operations on the cohomology of X vanish, we prove that the cohomology of its configuration spaces forms a free module over a TCA built out of the configuration spaces of the affine space. This generalizes a result of Church Ellenberg Farb on the freeness of mathrm FI modules arising from the cohomology of configuration spaces of open manifolds and, moreover, resolves the various conjectures of Miller Wilson under these conditions.


Fluid Antenna Multiple Access. Fluid antenna is a novel technology that can make an antenna appear instantly at one of N preset locations in a predefined space. An important application is to adopt fluid antenna in a small space of mobile device for obtaining the tremendous diversity hidden in the small space. Previous results have revealed that a single antenna fluid antenna system, even with a very small space, can outperform a multiple antenna maximum ratio combining (MRC) system if N is large enough. This paper explores the potential of using fluid antenna for multiple access through performance analysis. Fluid antenna multiple access (FAMA) exploits moments of deep fade experienced by the interference to achieve a favourable channel condition for the desired signal, without requiring sophisticated signal processing. We analyze the FAMA system by first deriving the outage probability of the signal to interference ratio (SIR) in a double integral form. We then obtain an outage probability upper bound in closed form and an average outage capacity lower bound for the FAMA system, with an arbitrary number of interferers, from which the multiplexing gain of FAMA is characterized. We also estimate how large N is required to achieve a given multiplexing gain using fluid antennas with a given size. Results illustrate that it is possible for FAMA to support hundreds of users using only one fluid antenna at each user in a few wavelengths of space, giving rise to significant enhancement in the network outage capacity.


Learning Multi Agent Coordination for Enhancing Target Coverage in Directional Sensor Networks. Maximum target coverage by adjusting the orientation of distributed sensors is an important problem in directional sensor networks (DSNs). This problem is challenging as the targets usually move randomly but the coverage range of sensors is limited in angle and distance. Thus, it is required to coordinate sensors to get ideal target coverage with low power consumption, e.g. no missing targets or reducing redundant coverage. To realize this, we propose a Hierarchical Target oriented Multi Agent Coordination (HiT MAC), which decomposes the target coverage problem into two level tasks targets assignment by a coordinator and tracking assigned targets by executors. Specifically, the coordinator periodically monitors the environment globally and allocates targets to each executor. In turn, the executor only needs to track its assigned targets. To effectively learn the HiT MAC by reinforcement learning, we further introduce a bunch of practical methods, including a self attention module, marginal contribution approximation for the coordinator, goal conditional observation filter for the executor, etc. Empirical results demonstrate the advantage of HiT MAC in coverage rate, learning efficiency,and scalability, comparing to baselines. We also conduct an ablative analysis on the effectiveness of the introduced components in the framework.


Developing cybersecurity education and awareness programmes for Small and medium sized enterprises (SMEs). Purpose An essential component of an organisation's cybersecurity strategy is building awareness and education of online threats, and how to protect corporate data and services. This research article focuses on this topic and proposes a high level programme for cybersecurity education and awareness to be used when targeting Small to Medium sized Enterprises Businesses (SMEs SMBs) at a city level. We ground this programme in existing research as well as unique insight into an ongoing city based project with similar aims. Findings We find that whilst literature can be informative at guiding education and awareness programmes, it may not always reach real world programmes. On the other hand, existing programmes, such as the one we explored, have great potential but there can also be room for improvement. Knowledge from each of these areas can, and should, be combined to the benefit of the academic and practitioner communities. Originality value The study contributes to current research through the outline of a high level programme for cybersecurity education and awareness targeting SMEs SMBs. Through this research, we engage in a reflection of literature in this space, and present insights into the advances and challenges faced by an on going programme. These analyses allow us to craft a proposal for a core programme that can assist in improving the security education, awareness and training that targets SMEs SMBs.


Fair Decision Making using Privacy Protected Data. Data collected about individuals is regularly used to make decisions that impact those same individuals. We consider settings where sensitive personal data is used to decide who will receive resources or benefits. While it is well known that there is a tradeoff between protecting privacy and the accuracy of decisions, we initiate a first of its kind study into the impact of formally private mechanisms (based on differential privacy) on fair and equitable decision making. We empirically investigate novel tradeoffs on two real world decisions made using U.S. Census data (allocation of federal funds and assignment of voting rights benefits) as well as a classic apportionment problem. Our results show that if decisions are made using an epsilon differentially private version of the data, under strict privacy constraints (smaller epsilon ), the noise added to achieve privacy may disproportionately impact some groups over others. We propose novel measures of fairness in the context of randomized differentially private algorithms and identify a range of causes of outcome disparities.


Tilting subcategories in extriangulated categories. Extriangulated category was introduced by Nakaoka and Palu to give a unification of properties in exact categories and triangulated categories. A notion of tilting (or cotilting) subcategories in an extriangulated category is defined in this paper. We give a Bazzoni characterization of tilting (or cotilting) subcategories and obtain an Auslander Reiten correspondence between tilting (cotilting) subcategories and coresolving covariantly (resolving contravariantly, resp.) finite subcatgories which are closed under direct summands and satisfies some cogenerating (generating, resp.) conditons. Applications of the results are given we show that tilting (cotilting) subcategories defined here unify many previous works about tilting theory in module categories of Artin algebras and abelian categories admitting a cotorsion triples we also show that the results work for triangulated categories with a proper class of triangles introduced by Beligiannis.


On the Uniqueness Problem for Quadrature Domains. We study questions of existence and uniqueness of quadrature domains using computational tools from real algebraic geometry. These problems are transformed into questions about the number of solutions to an associated real semi algebraic system, which is analyzed using the method of real comprehensive triangular decomposition.


A Dynamic Embedding Model of the Media Landscape. Information about world events is disseminated through a wide variety of news channels, each with specific considerations in the choice of their reporting. Although the multiplicity of these outlets should ensure a variety of viewpoints, recent reports suggest that the rising concentration of media ownership may void this assumption. This observation motivates the study of the impact of ownership on the global media landscape and its influence on the coverage the actual viewer receives. To this end, the selection of reported events has been shown to be informative about the high level structure of the news ecosystem. However, existing methods only provide a static view into an inherently dynamic system, providing underperforming statistical models and hindering our understanding of the media landscape as a whole. In this work, we present a dynamic embedding method that learns to capture the decision process of individual news sources in their selection of reported events while also enabling the systematic detection of large scale transformations in the media landscape over prolonged periods of time. In an experiment covering over 580M real world event mentions, we show our approach to outperform static embedding methods in predictive terms. We demonstrate the potential of the method for news monitoring applications and investigative journalism by shedding light on important changes in programming induced by mergers and acquisitions, policy changes, or network wide content diffusion. These findings offer evidence of strong content convergence trends inside large broadcasting groups, influencing the news ecosystem in a time of increasing media ownership concentration.


The behavior of harmonic functions at singular points of mathsf RCD spaces. In this note we investigate the behavior of harmonic functions at singular points of mathsf RCD (K,N) spaces. In particular we show that their gradient vanishes at all points where the tangent cone is isometric to a cone over a metric measure space with non maximal diameter. The same analysis is performed for functions with a Laplacian in L N varepsilon . As a consequence we show that on smooth manifolds there is no a priori estimate on the modulus of continuity of the gradient of harmonic functions which depends only on lower bounds of the sectional curvature. In the same way we show that there is no a priori Calder 'on Zygmund theory for the Laplacian with bounds depending only on lower bounds of the sectional curvature.


Far field subwavelength acoustic imaging by deep learning. Seeing and recognizing an object whose size is much smaller than the illumination wavelength is a challenging task for an observer placed in the far field, due to the diffraction limit. Recent advances in near and far field microscopy have offered several ways to overcome this limitation however, they often use invasive markers and require intricate equipment with complicated image post processing. On the other hand, a simple marker free solution for high resolution imaging may be found by exploiting resonant metamaterial lenses that can convert the subwavelength image information contained in the near field of the object to propagating field components that can reach the far field. Unfortunately, resonant metalenses are inevitably sensitive to absorption losses, which has so far largely hindered their practical applications. Here, we solve this vexing problem and show that this limitation can be turned into an advantage when metalenses are combined with deep learning techniques. We demonstrate that combining deep learning with lossy metalenses allows recognizing and imaging largely subwavelength features directly from the far field. Our acoustic learning experiment shows that, despite being thirty times smaller than the wavelength of sound, the fine details of images can be successfully reconstructed and recognized in the far field, which is crucially enabled by the presence of absorption. We envision applications in acoustic image analysis, feature detection, object classification, or as a novel noninvasive acoustic sensing tool in biomedical applications.


Normed ideal perturbation of irreducible operators in semifinite von Neumann factors. In 10 , Halmos proved an interesting result that the set of irreducible operators is dense in mathcal B( mathcal H) in the sense of Hilbert Schmidt approximation. In a von Neumann algebra mathcal M with separable predual, an operator a in mathcal M is said to be irreducible in mathcal M if W (a) is an irreducible subfactor of mathcal M , i.e., W (a)' cap mathcal M mathbb C cdot I . In this paper, let Phi( cdot) be a Vert cdot Vert dominating, unitarily invariant norm (see Definition 2.1), where by Vert cdot Vert we denote the operator norm. We prove that in every semifinite von Neumann factor mathcal M with separable predual, if the norm Phi( cdot) satisfies a natural restriction introduced in (1.1), then irreducible operators are Phi( cdot) norm dense in mathcal M . In particular, the operator norm Vert cdot Vert and the max Vert cdot Vert, Vert cdot Vert p norm (for each p 1 ) naturally satisfy the condition in (1.1), where tau is a faithful, normal, semifinite, tracial weight and Vert x Vert p tau( x p) 1 p for all x in mathcal M cap L p ( mathcal M, tau) (see 18, Preliminaries ). This can be viewed as a (stronger) analogue of a theorem of Halmos in 10 , proved with different techniques developed in semifinite, properly infinite von Neumann factors. Meanwhile, for every Vert cdot Vert dominating, unitarily invariant norm Phi( cdot) , we develop another method to prove that each normal operator in mathcal M is a sum of an irreducible operator in mathcal M and an arbitrarily small Phi( cdot) norm perturbation, where the Phi( cdot) norm isn't restricted by (1.1). Particularly, the Phi( cdot) norm can be the max Vert cdot Vert, Vert cdot Vert 1 norm.


Fractal zeta functions of orbits of parabolic diffeomorphisms. In this paper, we prove that fractal zeta functions of orbits of parabolic germs of diffeomorphisms can be meromorphically extended to the whole complex plane. We describe their set of poles (i.e. their complex dimensions) and their principal parts which can be understood as their fractal footprint. We study the fractal footprint of one orbit of a parabolic germ f and extract intrinsic information about the germ f from it, in particular, its formal class. Moreover, we relate complex dimensions to the generalized asymptotic expansion of the tube function of orbits with oscillatory "coefficients" as well as to the asymptotic expansion of their dynamically regularized tube function. Interestingly, parabolic orbits provide a first example of sets that have nontrivial Minkowski (or box) dimension and their tube function possesses higher order oscillatory terms, however, they do not posses non real complex dimensions and are therefore not called fractal in the sense of Lapidus.


Improving short text classification through global augmentation methods. We study the effect of different approaches to text augmentation. To do this we use 3 datasets that include social media and formal text in the form of news articles. Our goal is to provide insights for practitioners and researchers on making choices for augmentation for classification use cases. We observe that Word2vec based augmentation is a viable option when one does not have access to a formal synonym model (like WordNet based augmentation). The use of emph mixup further improves performance of all text based augmentations and reduces the effects of overfitting on a tested deep learning model. Round trip translation with a translation service proves to be harder to use due to cost and as such is less accessible for both normal and low resource use cases.


A Multi Semantic Metapath Model for Large Scale Heterogeneous Network Representation Learning. Network Embedding has been widely studied to model and manage data in a variety of real world applications. However, most existing works focus on networks with single typed nodes or edges, with limited consideration of unbalanced distributions of nodes and edges. In real world applications, networks usually consist of billions of various types of nodes and edges with abundant attributes. To tackle these challenges, in this paper we propose a multi semantic metapath (MSM) model for large scale heterogeneous representation learning. Specifically, we generate multi semantic metapath based random walks to construct the heterogeneous neighborhood to handle the unbalanced distributions and propose a unified framework for the embedding learning. We conduct systematical evaluations for the proposed framework on two challenging datasets Amazon and Alibaba. The results empirically demonstrate that MSM can achieve relatively significant gains over previous state of arts on link prediction.


Generative Hybrid Representations for Activity Forecasting with No Regret Learning. Automatically reasoning about future human behaviors is a difficult problem but has significant practical applications to assistive systems. Part of this difficulty stems from learning systems' inability to represent all kinds of behaviors. Some behaviors, such as motion, are best described with continuous representations, whereas others, such as picking up a cup, are best described with discrete representations. Furthermore, human behavior is generally not fixed people can change their habits and routines. This suggests these systems must be able to learn and adapt continuously. In this work, we develop an efficient deep generative model to jointly forecast a person's future discrete actions and continuous motions. On a large scale egocentric dataset, EPIC KITCHENS, we observe our method generates high quality and diverse samples while exhibiting better generalization than related generative models. Finally, we propose a variant to continually learn our model from streaming data, observe its practical effectiveness, and theoretically justify its learning efficiency.


Homological invariants of Cameron Walker graphs. Let G be a finite simple connected graph on n and R K x 1, ldots, x n the polynomial ring in n variables over a field K . The edge ideal of G is the ideal I(G) of R which is generated by those monomials x ix j for which i, j is an edge of G . In the present paper, the possible tuples (n, rm depth (R I(G)), rm reg (R I(G)), dim R I(G), rm deg h(R I(G))) , where rm deg h(R I(G)) is the degree of the h polynomial of R I(G) , arising from Cameron Walker graphs on n will be completely determined.


Performance of High Mobility MIMO Communications with Doppler Diversity. A rapid change of channels in high speed mobile communications will lead to difficulties in channel estimation and tracking but can also provide Doppler diversity. In this paper, the performance of a multiple input multiple output system with pilot assisted repetition coding and spatial multiplexing is studied. With minimum mean square error (MMSE) channel estimation, an equivalent channel model and the corresponding system model are presented. Based on random matrix theory, asymptotic expressions of the normalized achievable sum rate of the linear receivers, such as the maximal ratio combining (MRC) receiver, MMSE receiver and MRC like receiver, are derived. In addition, according to the symbol error rate of the MRC like receiver, the maximum normalized Doppler diversity order and the minimum coding gain loss can be achieved when the repetition number and signal to noise ratio tend to infinity, and the corresponding conditions are derived. Based on the theoretical results, the impacts of different system configurations and channel parameters on the system performance are demonstrated.


Minimal automaton for multiplying and translating the Thue Morse set. The Thue Morse set mathcal T is the set of those non negative integers whose binary expansions have an even number of 1 . The name of this set comes from the fact that its characteristic sequence is given by the famous Thue Morse word tt abbabaabbaababba cdots , which is the fixed point starting with tt a of the word morphism tt a mapsto ab,b mapsto ba . The numbers in mathcal T are commonly called the em evil numbers . We obtain an exact formula for the state complexity of the set m mathcal T r (i.e. the number of states of its minimal automaton) with respect to any base b which is a power of 2 . Our proof is constructive and we are able to explicitly provide the minimal automaton of the language of all 2 p expansions of the set of integers m mathcal T r for any positive integers p and m and any remainder r in 0, ldots,m 1 . The proposed method is general for any b recognizable set of integers. As an application, we obtain a decision procedure running in quadratic time for the problem of deciding whether a given 2 p recognizable set is equal to a set of the form m mathcal T r .


Robustness Out of the Box Compositional Representations Naturally Defend Against Black Box Patch Attacks. Patch based adversarial attacks introduce a perceptible but localized change to the input that induces misclassification. While progress has been made in defending against imperceptible attacks, it remains unclear how patch based attacks can be resisted. In this work, we study two different approaches for defending against black box patch attacks. First, we show that adversarial training, which is successful against imperceptible attacks, has limited effectiveness against state of the art location optimized patch attacks. Second, we find that compositional deep networks, which have part based representations that lead to innate robustness to natural occlusion, are robust to patch attacks on PASCAL3D and the German Traffic Sign Recognition Benchmark, without adversarial training. Moreover, the robustness of compositional models outperforms that of adversarially trained standard models by a large margin. However, on GTSRB, we observe that they have problems discriminating between similar traffic signs with fine grained differences. We overcome this limitation by introducing part based finetuning, which improves fine grained recognition. By leveraging compositional representations, this is the first work that defends against black box patch attacks without expensive adversarial training. This defense is more robust than adversarial training and more interpretable because it can locate and ignore adversarial patches.


SNEAP A Fast and Efficient Toolchain for Mapping Large Scale Spiking Neural Network onto NoC based Neuromorphic Platform. Spiking neural network (SNN), as the third generation of artificial neural networks, has been widely adopted in vision and audio tasks. Nowadays, many neuromorphic platforms support SNN simulation and adopt Network on Chips (NoC) architecture for multi cores interconnection. However, interconnection brings huge area overhead to the platform. Moreover, run time communication on the interconnection has a significant effect on the total power consumption and performance of the platform. In this paper, we propose a toolchain called SNEAP for mapping SNNs to neuromorphic platforms with multi cores, which aims to reduce the energy and latency brought by spike communication on the interconnection. SNEAP includes two key steps partitioning the SNN to reduce the spikes communicated between partitions, and mapping the partitions of SNN to the NoC to reduce average hop of spikes under the constraint of hardware resources. SNEAP can reduce more spikes communicated on the interconnection of NoC and spend less time than other toolchains in the partitioning phase. Moreover, the average hop of spikes is reduced more by SNEAP within a time period, which effectively reduces the energy and latency on the NoC based neuromorphic platform. The experimental results show that SNEAP can achieve 418x reduction in end to end execution time, and reduce energy consumption and spike latency, on average, by 23 and 51 respectively, compared with SpiNeMap.


Geronimus transformations for sequences of d orthogonal polynomials. In this paper an extension of the concept of Geronimus transformation for sequences of d orthogonal polynomials P n is introduced. The transformed sequences P (k) n , for k 1, ldots, d, are analyzed and some relationships between these new sequences of polynomials are given. Also the associated Hessenberg matrices and their transformed are studied.


Subcubic Equivalences Between Graph Centrality Measures and Complementary Problems. Despite persistent efforts, there is no known technique for obtaining unconditional super linear lower bounds for the computational complexity of the problems in P. Vassilevska Williams and Williams introduce a fruitful approach to advance a better understanding of the computational complexity of the problems in P. In particular, they consider All Pairs Shortest Paths (APSP) and other fundamental problems such as checking whether a matrix defines a metric, verifying the correctness of a matrix product, and detecting a negative triangle in a graph. Abboud, Grandoni, and Vassilevska Williams study well known graph centrality problems such as Radius, Median, etc., and make a connection between their computational complexity to that of two fundamental problems, namely APSP and Diameter. They show any algorithm with subcubic running time for these centrality problems, implies a subcubic algorithm for either APSP or Diameter. In this paper, we define vertex versions for these centrality problems and based on that we introduce new complementary problems. The main open problem of Abboud et al. is whether or not APSP and Diameter are equivalent under subcubic reduction. One of the results of this paper is APSP and CoDiameter, which is the complementary version of Diameter, are equivalent. Moreover, for some of the problems in this set, we show that they are equivalent to their complementary versions. Considering the slight difference between a problem and its complementary version, these equivalences give us the impression that every problem has such a property, and thus APSP and Diameter are equivalent. This paper is a step forward in showing a subcubic equivalence between APSP and Diameter, and we hope that the approach introduced in our paper can be helpful to make this breakthrough happen.


Distribution Free Models of Social Networks. The structure of large scale social networks has predominantly been articulated using generative models, a form of average case analysis. This chapter surveys recent proposals of more robust models of such networks. These models posit deterministic and empirically supported combinatorial structure rather than a specific probability distribution. We discuss the formal definitions of these models and how they relate to empirical observations in social networks, as well as the known structural and algorithmic results for the corresponding graph classes.


Hahn Banach for metric functionals and horofunctions. It is observed that a natural analog of the Hahn Banach theorem is valid for metric functionals but fails for horofunctions. Several statements of the existence of invariant metric functionals for individual isometries and 1 Lipschitz maps are proved. Various other definitions, examples and facts are pointed out related to this topic. In particular it is shown that the metric (horofunction) boundary of every infinite Cayley graphs contains at least two points.


Thickness independent narrow resonance in a stack of two plasmonic lattices. Plasmonic lattices consisting of nanoparticles in a homogeneous environment are well known fortheir support of so called lattice plasmon resonances. They are associated with localized surfaceplasmons coupled to each other via free propagating photons along the structure. In this paper, weexplore modes in a stack of two identical plasmonic lattices. We demonstrate that such a structureis able to support a mode that is positioned strictly on a Rayleigh anomaly and does not shift withthe variation of distance between two lattices in wide limits. Given the fact that period is the moststably reproduced quantity in an experiment, such behavior can be used to simplify the fabricationof structures with resonances at desired energies.


Strong chromatic index and Hadwiger number. We investigate the effect of a fixed forbidden clique minor upon the strong chromatic index, both in multigraphs and in simple graphs. We conjecture for each k ge 4 that any K k minor free multigraph of maximum degree Delta has strong chromatic index at most frac32(k 2) Delta . We present a construction certifying that if true the conjecture is asymptotically sharp as Delta to infty . In support of the conjecture, we show it in the case k 4 and prove the statement for strong clique number in place of strong chromatic index. By contrast, we make a basic observation that for K k minor free simple graphs, the problem of strong edge colouring is "between" Hadwiger's Conjecture and its fractional relaxation. For k geq5 , we also show that K k minor free multigraphs of edge diameter at most 2 have strong clique number at most (k frac 1 2 ) Delta .