V CARE A Blockchain Based Framework for Secure Vehicle Health Record System. One of the biggest challenges associated with connected and autonomous vehicles (CAVs) is to maintain and make use of vehicles health records (VHR). VHR can facilitate different entities to offer various services in a proactive, transparent, secure, reliable and in an efficient manner. The state of the art solutions for maintaining the VHR are centralized in nature, mainly owned by manufacturer and authorized in vehicle device developers. Owners, drivers, and other key service providers have limited accessibility and control to the VHR. We need to change the strategy from single or limited party access to multi party access to VHR in an secured manner so that all stakeholders of intelligent transportation system (ITS) can be benefited from this. Any unauthorized attempt to alter the data should also be prevented. Blockchain is one such potential candidate, which can facilitate the sharing of such data among different participating organizations and individuals. For example, owners, manufacturers, trusted third parties, road authorities, insurance companies, charging stations, and car selling ventures can access VHR stored on the blockchain in a permissioned, secured, and with a higher level of confidence. In this paper, a blockchain based decentralized secure system for V CARE is proposed to manage records in an interoperable framework that leads to improved ITS services in terms of safety, availability, reliability, efficiency, and maintenance. Insurance based on pay how you drive (PHYD), and sale and purchase of used vehicles can also be made more transparent and reliable without compromising the confidentiality and security of sensitive data.


Divergence Preserving Branching Bisimilarity. This note considers the notion of divergence preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one and a half decade, discusses its role in the study of expressiveness of process calculi, and concludes with some suggestions for future work.


FALCON Honest Majority Maliciously Secure Framework for Private Deep Learning. We propose Falcon, an end to end 3 party protocol for efficient private training and inference of large machine learning models. Falcon presents four main advantages (i) It is highly expressive with support for high capacity networks such as VGG16 (ii) it supports batch normalization which is important for training complex networks such as AlexNet (iii) Falcon guarantees security with abort against malicious adversaries, assuming an honest majority (iv) Lastly, Falcon presents new theoretical insights for protocol design that make it highly efficient and allow it to outperform existing secure deep learning solutions. Compared to prior art for private inference, we are about 8x faster than SecureNN (PETS'19) on average and comparable to ABY3 (CCS'18). We are about 16 200x more communication efficient than either of these. For private training, we are about 6x faster than SecureNN, 4.4x faster than ABY3 and about 2 60x more communication efficient. Our experiments in the WAN setting show that over large networks and datasets, compute operations dominate the overall latency of MPC, as opposed to the communication.


Tangent Categories from the Coalgebras of Differential Categories. Following the pattern from linear logic, the coKleisli category of a differential category is a Cartesian differential category. What then is the coEilenberg Moore category of a differential category? The answer is a tangent category! A key example arises from the opposite of the category of Abelian groups with the free exponential modality. The coEilenberg Moore category, in this case, is the opposite of the category of commutative rings. That the latter is a tangent category captures a fundamental aspect of both algebraic geometry and Synthetic Differential Geometry. The general result applies when there are no negatives and thus encompasses examples arising from combinatorics and computer science. This is an extended version of a conference paper for CSL2020.


A Truthful Cardinal Mechanism for One Sided Matching. We revisit the well studied problem of designing mechanisms for one sided matching markets, where a set of n agents needs to be matched to a set of n heterogeneous items. Each agent i has a value v i,j for each item j , and these values are private information that the agents may misreport if doing so leads to a preferred outcome. Ensuring that the agents have no incentive to misreport requires a careful design of the matching mechanism, and mechanisms proposed in the literature mitigate this issue by eliciting only the emph ordinal preferences of the agents, i.e., their ranking of the items from most to least preferred. However, the efficiency guarantees of these mechanisms are based only on weak measures that are oblivious to the underlying values. In this paper we achieve stronger performance guarantees by introducing a mechanism that truthfully elicits the full emph cardinal preferences of the agents, i.e., all of the v i,j values. We evaluate the performance of this mechanism using the much more demanding Nash bargaining solution as a benchmark, and we prove that our mechanism significantly outperforms all ordinal mechanisms (even non truthful ones). To prove our approximation bounds, we also study the population monotonicity of the Nash bargaining solution in the context of matching markets, providing both upper and lower bounds which are of independent interest.


Joint Bilateral Learning for Real time Universal Photorealistic Style Transfer. Photorealistic style transfer is the task of transferring the artistic style of an image onto a content target, producing a result that is plausibly taken with a camera. Recent approaches, based on deep neural networks, produce impressive results but are either too slow to run at practical resolutions, or still contain objectionable artifacts. We propose a new end to end model for photorealistic style transfer that is both fast and inherently generates photorealistic results. The core of our approach is a feed forward neural network that learns local edge aware affine transforms that automatically obey the photorealism constraint. When trained on a diverse set of images and a variety of styles, our model can robustly apply style transfer to an arbitrary pair of input images. Compared to the state of the art, our method produces visually superior results and is three orders of magnitude faster, enabling real time performance at 4K on a mobile phone. We validate our method with ablation and user studies.


Strong traces to degenerate parabolic equations. We prove existence of strong traces at t 0 for quasi solutions to the degenerate parabolic equations under non degeneracy assumptions. In order to solve the problem, we introduce a defect measure type functional and combine it with the blow up method.


Zero Shot Feature Selection via Transferring Supervised Knowledge. Feature selection, an effective technique for dimensionality reduction, plays an important role in many machine learning systems. Supervised knowledge can significantly improve the performance. However, faced with the rapid growth of newly emerging concepts, existing supervised methods might easily suffer from the scarcity and validity of labeled data for training. In this paper, the authors study the problem of zero shot feature selection (i.e., building a feature selection model that generalizes well to "unseen" concepts with limited training data of "seen" concepts). Specifically, they adopt class semantic descriptions (i.e., attributes) as supervision for feature selection, so as to utilize the supervised knowledge transferred from the seen concepts. For more reliable discriminative features, they further propose the center characteristic loss which encourages the selected features to capture the central characteristics of seen concepts. Extensive experiments conducted on various real world datasets demonstrate the effectiveness of the method.


ProLab perceptually uniform projective colour coordinate system. In this work, we propose proLab a new colour coordinate system derived as a 3D projective transformation of CIE XYZ. We show that proLab is far ahead of the widely used CIELAB coordinate system (though inferior to the modern CAM16 UCS) according to perceptual uniformity evaluated by the STRESS metric in reference to the CIEDE2000 colour difference formula. At the same time, angular errors of chromaticity estimation that are standard for linear colour spaces can also be used in proLab since projective transformations preserve the linearity of manifolds. Unlike in linear spaces, angular errors for different hues are normalized according to human colour discrimination thresholds within proLab. We also demonstrate that shot noise in proLab is more homoscedastic than in CAM16 UCS or other standard colour spaces. This makes proLab a convenient coordinate system in which to perform linear colour analysis.


On the divergence of Birkhoff Normal Forms. It is well known that a real analytic symplectic diffeomorphism of the 2d dimensional disk ( d geq 1 ) admitting the origin as a non resonant elliptic fixed can be it formally conjugated to its Birkhoff Normal Form, a formal power series defining a it formal integrable symplectic diffeomorphism at the origin. We prove in this paper that this Birkhoff Normal Form is in general divergent. This solves, in any dimension, the question of determining which of the two alternatives of Perez Marco's theorem cite PM is true and answers a question by H. Eliasson. Our result is a consequence of the fact that when d 1 the convergence of the formal object that is the BNF has strong dynamical consequences on the Lebesgue measure of the set of invariant circles in arbitrarily small neighborhoods of the origin. Our proof, as well as our results, extend to the case of real analytic diffeomorphisms of the annulus admitting a Diophantine invariant torus.


Harmonic Center of a Closed Convex Polytope Definition, Calculation and Some Properties. A closed convex polytope in n dimensions defined by m linear inequality constraints is considered. If L is a straight line drawn in any direction from any feasible point P, then in general, it intersects every constraint at one point, giving m intersections. It is shown that there exists a unique feasible point Q somewhere along this line, such that the sum of 1 di values is 0, where di is the algebraic distance between Q and the intersection with constraint i, measured along the line. The point Q is defined as the harmonic point along the line L. The harmonic center of the polytope is defined as that point which is the harmonic point for all n lines drawn through it, each parallel to one of the coordinate axes. The existence and uniqueness of such a center is shown. The harmonic center can be calculated using the coordinate search algorithm (CS), as illustrated with some simple examples. The harmonic center defined here is a generalization of the BI center defined earlier and is better in several respects. It is shown that the harmonic center of the polytope is also the harmonic point for any line drawn through it in any direction. It is also shown that for any strictly feasible point P, there exists a unique harmonic hyperplane passing through it, such that P is the harmonic point for any line which lies in the harmonic hyperplane and passes through P.


Multiparty Session Programming with Global Protocol Combinators. Multiparty Session Types (MPST) is a typing discipline for communication protocols. It ensures the absence of communication errors and deadlocks for well typed communicating processes. The state of the art implementations of the MPST theory rely on (1) runtime linearity checks to ensure correct usage of communication channels and (2) external domain specific languages for specifying and verifying multiparty protocols. To overcome these limitations, we propose a library for programming with global combinators a set of functions for writing and verifying multiparty protocols in OCaml. Local behaviours for all processes in a protocol are inferred at once from a global combinator. We formalise global combinators and prove a sound realisability of global combinators a well typed global combinator derives a set of local types, by which typed endpoint programs can ensure type and communication safety. Our approach enables fully static verification and implementation of the whole protocol, from the protocol specification to the process implementations, to happen in the same language. We compare our implementation to untyped and continuation passing style implementations, and demonstrate its expressiveness by implementing a plethora of protocols. We show our library can interoperate with existing libraries and services, implementing DNS (Domain Name Service) protocol and the OAuth (Open Authentication) protocol.


Obstacles to periodic orbits hidden at fixed point of holomorphic maps. Let f ( mathbb C n,0) mapsto( mathbb C n,0) be a germ of an n dimensional holomorphic map. Assume that the origin is an isolated fixed point of each iterate of f . Then mathcal N q(f) q 1 infty , the sequence of the maximal number of periodic orbits of period q that can be born from the fixed point zero under a small perturbation of f , is well defined. According to Shub Sullivan, Chow Mallet Paret Yorke and G. Y. Zhang, the linear part of the holomorphic germ f determines some natural restrictions on the sequence(cf. Theorem 1.1). Later, I. Gorbovickis proves that when the linear part of f is contained in a certain large class of diagonal matrices, it has no other restrictions on the sequence only when the dimension n leq2 (cf. Theorem 1.3). In this paper for the general case we obtain a sufficient and necessary condition that the linear part of f has no other restrictions on the sequence mathcal N q(f) q 1 infty , except the ones given by Theorem 1.1.


Second Main Theorem on the Moduli Spaces of Polarized Varieties. Let (X,D) be a smooth log pair over mathbb C such that the complement U X setminus D carries a maximally varied family of polarized manifolds. We prove a version of second main theorem on (X,D) by using the Viehweg Zuo construction of the family and McQuillan's tautological inequality. As an application, we generalize a classical result of Nadel about the distribution of entire curves in the (compactified) base space of polarized families.


Distributed IRS with Statistical Passive Beamforming for MISO Communications. Intelligent reflecting surface (IRS) has recently been identified as a prominent technology with the ability of enhancing wireless communication by dynamically manipulating the propagation environment. This paper investigates a multiple input single output (MISO) system deploying distributed IRSs. For practical considerations, we propose an efficient design of passive reflecting beamforming for the IRSs to exploit statistical channel state information (CSI) and analyze the achievable rate of the network taking into account the impact of CSI estimation error. The ergodic achievable rate is derived in a closed form, which provides insightful system design guidelines. Numerical results confirm the accuracy of the derived results and unveil the performance superiority of the proposed distributed IRS deployment over the conventional centralized deployment.


LinCbO fast algorithm for computation of the Duquenne Guigues basis. We propose and evaluate a novel algorithm for computation of the Duquenne Guigues basis which combines Close by One and LinClosure algorithms. This combination enables us to reuse attribute counters used in LinClosure and speed up the computation. Our experimental evaluation shows that it is the most efficient algorithm for computation of the Duquenne Guigues basis.


LiRaNet End to End Trajectory Prediction using Spatio Temporal Radar Fusion. In this paper, we present LiRaNet, a novel end to end trajectory prediction method which utilizes radar sensor information along with widely used lidar and high definition (HD) maps. Automotive radar provides rich, complementary information, allowing for longer range vehicle detection as well as instantaneous radial velocity measurements. However, there are factors that make the fusion of lidar and radar information challenging, such as the relatively low angular resolution of radar measurements, their sparsity and the lack of exact time synchronization with lidar. To overcome these challenges, we propose an efficient spatio temporal radar feature extraction scheme which achieves state of the art performance on multiple large scale datasets.Further, by incorporating radar information, we show a 52 reduction in prediction error for objects with high acceleration and a 16 reduction in prediction error for objects at longer range.


SO(2) symmetry of the translating solitons of the mean curvature flow in mathbb R 4 . In this paper, we prove that the translating solitons of the mean curvature flow in mathbb R 4 which arise as blow up limit of embedded, mean convex mean curvature flow must have SO(2) symmetry.


Coalesced TLB to Exploit Diverse Contiguity of Memory Mapping. The miss rate of TLB is crucial to the performance of address translation for virtual memory. To reduce the TLB misses, improving translation coverage of TLB has been an primary approach. Many previous works focus on coalescing multiple contiguously mapped pages of the memory mapping into a modified entry, which function well if the assumed contiguity of memory mapping is given. Unfortunately, scenarios of applications are complicated and the produced contiguity diversify. To gain better performance of translation, in this paper, we first introduce a complex but prevalent type of contiguity, mixed contiguity. Then we propose a HW SW hybrid coalesced TLB structure which works well on all observed types of contiguity including this type. In our evaluation, the proposed scheme, K bit Aligned TLB, outperforms the state of the art work by reducing at lease 27 TLB misses on average over it using 16 benchmarks.


Preserving spectral properties of structured matrices under structured perturbations. This paper is devoted to the study of preservation of eigenvalues, Jordan structure and complementary invariant subspaces of structured matrices under structured perturbations. Perturbations and structure preserving perturbations are determined such that a perturbed matrix reproduces a given subspace as an invariant subspace and preserves a pair of complementary invariant subspaces of the unperturbed matrix. These results are further utilized to obtain structure preserving perturbations which modify certain eigenvalues of a given structured matrix and reproduce a set of desired eigenvalues while keeping the Jordan chains unchanged. Moreover, a no spillover structured perturbation of a structured matrix is obtained whose rank is equal to the number of eigenvalues (including multiplicities) which are modified, and in addition, preserves the rest of the eigenvalues and the corresponding Jordan chains which need not be known. The specific structured matrices considered in this paper form Jordan and Lie algebra corresponding to an orthosymmetric scalar product.


Sharpness of the phase transition for parking on random trees. Recently, a phase transition phenomenon has been established for parking on random trees. We extend the results of Curien and H 'enard on general Galton Watson trees and allow different car arrival distributions depending on the vertex outdegrees. We then prove that this phase transition is sharp by establishing a large deviations result for the flux of exiting cars. This has consequences on the offcritical geometry of clusters of parked spots which displays similarities with the classical Erd H o s Renyi random graph model.


High resolution label free imaging of tissue morphology with confocal phase microscopy. Label free imaging approaches seek to simplify and augment histopathologic assessment by replacing the current practice of staining by dyes to visualize tissue morphology with quantitative optical measurements. Quantitative phase imaging (QPI) operates with visible UV light and thus provides a resolution matched to current practice. Here we introduce and demonstrate confocal QPI for label free imaging of tissue sections and assess its utility for manual histopathologic inspection. Imaging cancerous and normal adjacent human breast and prostate, we show that tissue structural organization can be resolved with high spatial detail comparable to conventional H E stains. Our confocal QPI images are found to be free of halo, solving this common problem in QPI. We further describe and apply a virtual imaging system based on Finite Difference Time Domain (FDTD) calculations to quantitatively compare confocal with wide field QPI methods and explore performance limits using numerical tissue phantoms.


The Structural Dynamics of the World Trade Center Catastrophe. Ba v z ant et al. have proposed a model of a gravity driven collapse of a tall building which collapses in a progressive floor collapse after the failure of a single storey. The model allows the re computation of the structural resistance of the building once the downward movement of the building has been quantified. We give a physically more sound version of the collapse model, and determine the downward movement of the North Tower of the World Trade Center. Thereby we reproduce a value for the upward resisting force during the collapse that is similar to what has been achieved by Ba v z ant et al. for the first three seconds of the collapse. However, our method of measurement also includes data up to 9 seconds after collapse initiation. These data show a much bigger upward resistance force between 4 and 7 seconds after collapse initiation


Investigating African American Vernacular English in Transformer Based Text Generation. The growth of social media has encouraged the written use of African American Vernacular English (AAVE), which has traditionally been used only in oral contexts. However, NLP models have historically been developed using dominant English varieties, such as Standard American English (SAE), due to text corpora availability. We investigate the performance of GPT 2 on AAVE text by creating a dataset of intent equivalent parallel AAVE SAE tweet pairs, thereby isolating syntactic structure and AAVE or SAE specific language for each pair. We evaluate each sample and its GPT 2 generated text with pretrained sentiment classifiers and find that while AAVE text results in more classifications of negative sentiment than SAE, the use of GPT 2 generally increases occurrences of positive sentiment for both. Additionally, we conduct human evaluation of AAVE and SAE text generated with GPT 2 to compare contextual rigor and overall quality.


Oscillations of a cantilevered micro beam driven by a viscoelastic flow instability. The interaction of flexible structures with viscoelastic flows can result in very rich dynamics. In this paper, we present the results of the interactions between the flow of a viscoelastic polymer solution and a cantilevered beam in a confined microfluidic geometry. Cantilevered beams with varying length and flexibility were studied. With increasing flow rate and Weissenberg number, the flow transitioned from a fore aft symmetric flow to a stable detached vortex upstream of the beam, to a time dependent unstable vortex shedding. The shedding of the unstable vortex upstream of the beam imposed a time dependent drag force on the cantilevered beam resulting in flow induced beam oscillations. The oscillations of the flexible beam were classified into two distinct regimes a regime with a clear single vortex shedding from upstream of the beam resulting in a sinusoidal beam oscillation pattern with the frequency of oscillation increasing monotonically with Weissenberg number, and a regime at high Weissenberg numbers characterized by 3D chaotic flow instabilities where the frequency of oscillations plateaued. The critical onset of the flow transitions, the mechanism of vortex shedding and the dynamics of the cantilevered beam response are presented in detail here as a function of beam flexibility and flow viscoelasticity.


Investigating Retrieval Method Selection with Axiomatic Features. We consider algorithm selection in the context of ad hoc information retrieval. Given a query and a pair of retrieval methods, we propose a meta learner that predicts how to combine the methods' relevance scores into an overall relevance score. Inspired by neural models' different properties with regard to IR axioms, these predictions are based on features that quantify axiom related properties of the query and its top ranked documents. We conduct an evaluation on TREC Web Track data and find that the meta learner often significantly improves over the individual methods. Finally, we conduct feature and query weight analyses to investigate the meta learner's behavior.


Computing a Geodesic Two Center of Points in a Simple Polygon. Given a simple polygon P and a set Q of points contained in P , we consider the geodesic k center problem where we want to find k points, called emph centers , in P to minimize the maximum geodesic distance of any point of Q to its closest center. In this paper, we focus on the case for k 2 and present the first exact algorithm that efficiently computes an optimal 2 center of Q with respect to the geodesic distance in P .


Projective Embeddings of overline M 0,n and Parking Functions. The moduli space overline M 0,n may be embedded into the product of projective spaces mathbb P 1 times mathbb P 2 times cdots times mathbb P n 3 , using a combination of the Kapranov map psi n overline M 0,n to mathbb P n 3 and the forgetful maps pi i overline M 0,i to overline M 0,i 1 . We give an explicit combinatorial formula for the multidegree of this embedding in terms of certain parking functions of height n 3 . We use this combinatorial interpretation to show that the total degree of the embedding (thought of as the projectivization of its cone in mathbb A 2 times mathbb A 3 cdots times mathbb A n 2 ) is equal to (2(n 3) 1)!! (2n 7)(2n 9) cdots(5)(3)(1) . As a consequence, we also obtain a new combinatorial interpretation for the odd double factorial.


Connecting User and Item Perspectives in Popularity Debiasing for Collaborative Recommendation. Recommender systems learn from historical users' feedback that is often non uniformly distributed across items. As a consequence, these systems may end up suggesting popular items more than niche items progressively, even when the latter would be of interest for users. This can hamper several core qualities of the recommended lists (e.g., novelty, coverage, diversity), impacting on the future success of the underlying platform itself. In this paper, we formalize two novel metrics that quantify how much a recommender system equally treats items along the popularity tail. The first one encourages equal probability of being recommended across items, while the second one encourages true positive rates for items to be equal. We characterize the recommendations of representative algorithms by means of the proposed metrics, and we show that the item probability of being recommended and the item true positive rate are biased against the item popularity. To promote a more equal treatment of items along the popularity tail, we propose an in processing approach aimed at minimizing the biased correlation between user item relevance and item popularity. Extensive experiments show that, with small losses in accuracy, our popularity mitigation approach leads to important gains in beyond accuracy recommendation quality.


Optically Driven Gold Nanoparticles Seed Surface Bubble Nucleation in Plasmonic Suspension. Photothermal surface bubbles play important roles in a wide range of applications like catalysis, microfluidics and biosensing, but their formation on a transparent substrate immersed in a plasmonic nanoparticle (NP) suspension has an unknown origin. Here, we show that NPs deposited on the substrate by dispersive optical forces are responsible for the nucleation of such photothermal surface bubbles. High speed videography shows that the surface bubble formation is always preceded by the optically driven NPs moving toward and adhering to the surface. We observe that the thresholds of laser power density to form a surface bubble drastically differ depending on if the surface is forward or backward facing the light propagation direction, which cannot be explained by a purely thermal process (e.g., volumetric heating by plasmonic NPs). This can be attributed to different optical power densities needed to enable optical pulling and pushing of NPs in the suspension. Optical pulling requires higher light intensity to excite supercavitation around NPs to enable proper optical configuration. Eventually, these optically deposited NPs work as a surface photothermal heater, seeding the surface bubble nucleation. We also find that there is a critical number density of deposited NPs to nucleate a surface bubble at a given laser power density, and it is nearly the same for both the forward and the backward facing surfaces. Our finding reveals interesting physics leading to photothermal surface bubble generation in plasmonic NP suspensions.


Construction of fixed points of asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces. Kohlenbach and Leustean have shown in 2010 that any asymptotically nonexpansive self mapping of a bounded nonempty UCW hyperbolic space has a fixed point. In this paper, we adapt a construction due to Moloney in order to provide a sequence that converges strongly to such a fixed point.


Euler characteristic and cohomology of mathrm Sp 4( mathbb Z ) with nontrivial coefficients. In this article, the cohomology of the arithmetic group mathrm Sp 4( mathbb Z ) with coefficients in any finite dimensional highest weight representation mathcal M lambda have been studied. Euler characteristic with coefficients in mathcal M lambda have been carried out in detail. Combining the results obtained on Euler characteristic and the work of Harder on Eisenstein cohomology, the description of the cuspidal cohomology has been achieved. At the end, we employ our study to compute the dimensions for the cohomology spaces H bullet ( mathrm Sp 4( mathbb Z ), mathcal M lambda) .


On subspaces of Kloosterman zeros and permutations of the form L 1(x 1 ) L 2(x) . Permutations of the form F L 1(x 1 ) L 2(x) with linear functions L 1,L 2 are closely related to several interesting questions regarding CCZ equivalence and EA equivalence of the inverse function. In this paper, we show that F cannot be a permutation if the kernel of L 1 or L 2 is too large. A key step of the proof is a new result on the maximal size of a subspace of mathbb F 2 n that contains only Kloosterman zeros, i.e. a subspace V such that K n(v) 0 for all v in V where K n(v) denotes the Kloosterman sum of v .


On the Bruhat Tits stratification for GU(2,2) type Rapoport Zink space unramified case. In this note we study the supersingular locus of the GU(2,2) Shimura variety modulo a prime which is unramified in the imaginary quadratic extension. The supersingular locus of this Shimura variety can be related to the basic Rapoport Zink space whose special fibre is described by the Bruhat Tits stratification. The description for this supersingular locus in the case where the prime is inert in imaginary quadratic field is already known to Howard and Pappas by exploiting the exceptional isomorphism. Our method is more direct without using the exceptional isomorphism.


A method for large diffeomorphic registration via broken geodesics. Anatomical variabilities seen in longitudinal data or inter subject data is usually described by the underlying deformation, captured by non rigid registration of these images. Stationary Velocity Field (SVF) based non rigid registration algorithms are widely used for registration. SVF based methods form a metric free framework which captures a finite dimensional submanifold of deformations embedded in the infinite dimensional smooth manifold of diffeomorphisms. However, these methods cover only a limited degree of deformations. In this paper, we address this limitation and define an approximate metric space for the manifold of diffeomorphisms mathcal G . We propose a method to break down the large deformation into finite compositions of small deformations. This results in a broken geodesic path on mathcal G and its length now forms an approximate registration metric. We illustrate the method using a simple, intensity based, log demon implementation. Validation results of the proposed method show that it can capture large and complex deformations while producing qualitatively better results than the state of the art methods. The results also demonstrate that the proposed registration metric is a good indicator of the degree of deformation.


Defending Against Neural Fake News. Recent progress in natural language generation has raised dual use concerns. While applications like summarization and translation are positive, the underlying technology also might enable adversaries to generate neural fake news targeted propaganda that closely mimics the style of real news. Modern computer security relies on careful threat modeling identifying potential threats and vulnerabilities from an adversary's point of view, and exploring potential mitigations to these threats. Likewise, developing robust defenses against neural fake news requires us first to carefully investigate and characterize the risks of these models. We thus present a model for controllable text generation called Grover. Given a headline like Link Found Between Vaccines and Autism,' Grover can generate the rest of the article humans find these generations to be more trustworthy than human written disinformation. Developing robust verification techniques against generators like Grover is critical. We find that best current discriminators can classify neural fake news from real, human written, news with 73 accuracy, assuming access to a moderate level of training data. Counterintuitively, the best defense against Grover turns out to be Grover itself, with 92 accuracy, demonstrating the importance of public release of strong generators. We investigate these results further, showing that exposure bias and sampling strategies that alleviate its effects both leave artifacts that similar discriminators can pick up on. We conclude by discussing ethical issues regarding the technology, and plan to release Grover publicly, helping pave the way for better detection of neural fake news.


Radar Artifact Labeling Framework (RALF) Method for Plausible Radar Detections in Datasets. Research on localization and perception for Autonomous Driving is mainly focused on camera and LiDAR datasets, rarely on radar data. Manually labeling sparse radar point clouds is challenging. For a dataset generation, we propose the cross sensor Radar Artifact Labeling Framework (RALF). Automatically generated labels for automotive radar data help to cure radar shortcomings like artifacts for the application of artificial intelligence. RALF provides plausibility labels for radar raw detections, distinguishing between artifacts and targets. The optical evaluation backbone consists of a generalized monocular depth image estimation of surround view cameras plus LiDAR scans. Modern car sensor sets of cameras and LiDAR allow to calibrate image based relative depth information in overlapping sensing areas. K Nearest Neighbors matching relates the optical perception point cloud with raw radar detections. In parallel, a temporal tracking evaluation part considers the radar detections' transient behavior. Based on the distance between matches, respecting both sensor and model uncertainties, we propose a plausibility rating of every radar detection. We validate the results by evaluating error metrics on semi manually labeled ground truth dataset of 3.28 cdot10 6 points. Besides generating plausible radar detections, the framework enables further labeled low level radar signal datasets for applications of perception and Autonomous Driving learning tasks.


Real Time Face Recognition Using Convoluted Neural Networks. Face Recognition is one of the process of identifying people using their face, it has various applications like authentication systems, surveillance systems and law enforcement. Convolutional Neural Networks are proved to be best for facial recognition. Detecting faces using core ml api and processing the extracted face through a coreML model, which is trained to recognize specific persons. The creation of dataset is done by converting face videos of the persons to be recognized into Hundreds of images of person, which is further used for training and validation of the model to provide accurate real time results.


A Swiss Army Knife for Dynamic Caching in Small Cell Networks. We consider a dense cellular network, in which a limited size cache is available at every base station (BS). Coordinating content allocation across the different caches can lead to significant performance gains, but is a difficult problem even when full information about the network and the request process is available. In this paper we present qLRU Delta , a general purpose dynamic caching policy that can be tailored to optimize different performance metrics also in presence of coordinated multipoint transmission techniques. The policy requires neither direct communication among BSs, nor a priori knowledge of content popularity and, under stationary request processes, has provable performance guarantees.


LaSeSOM A Latent and Semantic Representation Framework for Soft Object Manipulation. Soft object manipulation has recently gained popularity within the robotics community due to its potential applications in many economically important areas. Although great progress has been recently achieved in these types of tasks, most state of the art methods are case specific They can only be used to perform a single deformation task (e.g. bending), as their shape representation algorithms typically rely on "hard coded" features. In this paper, we present LaSeSOM, a new feedback latent representation framework for semantic soft object manipulation. Our new method introduces internal latent representation layers between low level geometric feature extraction and high level semantic shape analysis This allows the identification of each compressed semantic function and the formation of a valid shape classifier from different feature extraction levels. The proposed latent framework makes soft object representation more generic (independent from the object's geometry and its mechanical properties) and scalable (it can work with 1D 2D 3D tasks). Its high level semantic layer enables to perform (quasi) shape planning tasks with soft objects, a valuable and underexplored capability in many soft manipulation tasks. To validate this new methodology, we report a detailed experimental study with robotic manipulators.


Ekedahl Oort strata of curves of genus four in characteristic three. We study the induced Ekedahl Oort stratification on the moduli space mathcal M 4 of curves of genus 4 in characteristic 3 . By constructing families of curves with given Ekedahl Oort type and by computing the dimension of the intersection of the induced Ekedahl Oort strata and the boundary divisor classes, we show that for certain induced Ekedahl Oort strata in mathcal M 4 , they have the same codimension in mathcal M 4 as the corresponding Ekedahl Oort strata in moduli space mathcal A 4 of principally polarized abelian varieties of dimension 4 .


A Parallel Augmented Subspace Method for Eigenvalue Problems. A type of parallel augmented subspace scheme for eigenvalue problems is proposed by using coarse space in the multigrid method. With the help of coarse space in multigrid method, solving the eigenvalue problem in the finest space is decomposed into solving the standard linear boundary value problems and very low dimensional eigenvalue problems. The computational efficiency can be improved since there is no direct eigenvalue solving in the finest space and the multigrid method can act as the solver for the deduced linear boundary value problems. Furthermore, for different eigenvalues, the corresponding boundary value problem and low dimensional eigenvalue problem can be solved in the parallel way since they are independent of each other and there exists no data exchanging. This property means that we do not need to do the orthogonalization in the highest dimensional spaces. This is the main aim of this paper since avoiding orthogonalization can improve the scalability of the proposed numerical method. Some numerical examples are provided to validate the proposed parallel augmented subspace method.


A Survey on Big Data for Network Traffic Monitoring and Analysis. Network Traffic Monitoring and Analysis (NTMA) represents a key component for network management, especially to guarantee the correct operation of large scale networks such as the Internet. As the complexity of Internet services and the volume of traffic continue to increase, it becomes difficult to design scalable NTMA applications. Applications such as traffic classification and policing require real time and scalable approaches. Anomaly detection and security mechanisms require to quickly identify and react to unpredictable events while processing millions of heterogeneous events. At last, the system has to collect, store, and process massive sets of historical data for post mortem analysis. Those are precisely the challenges faced by general big data approaches Volume, Velocity, Variety, and Veracity. This survey brings together NTMA and big data. We catalog previous work on NTMA that adopt big data approaches to understand to what extent the potential of big data is being explored in NTMA. This survey mainly focuses on approaches and technologies to manage the big NTMA data, additionally briefly discussing big data analytics (e.g., machine learning) for the sake of NTMA. Finally, we provide guidelines for future work, discussing lessons learned, and research directions.


Closed text SL (3, mathbb C ) structures on nilmanifolds. In this paper we consider closed text SL (3, mathbb C ) structures which are either mean convex or tamed by a symplectic form. These notions were introduced by Donaldson in relation to text G 2 manifolds with boundary. In particular, we classify nilmanifolds which carry an invariant mean convex closed text SL (3, mathbb C ) structure and those which admit an invariant mean convex half flat text SU (3) structure. We also prove that, if a solvmanifold admits an invariant tamed closed text SL (3, mathbb C ) structure, then it also has an invariant symplectic half flat text SU (3) structure.


Cohomology and Deformations of left symmetric Rinehart Algebras. We introduce a notion of left symmetric Rinehart algebras, which is a generalization of a left symmetric algebras. The left multiplication gives rise to a representation of the corresponding sub adjacent Lie Rinehart algebra. We construct left symmetric Rinehart algebra from mathcal O operators on Lie Rinehart algebra. We extensively investigate representations of a left symmetric Rinehart algebras. Moreover, we study deformations of left symmetric Rinehart algebras, which is controlled by the second cohomology class in the deformation cohomology. We also give the relationships between mathcal O operators and Nijenhuis operators on left symmetric Rinehart algebras.


A weighted finite difference method for subdiffusive Black Scholes Model. In this paper we focus on the subdiffusive Black Scholes model. The main part of our work consists of the finite difference method as a numerical approach to the option pricing in the considered model. We derive the governing fractional differential equation and the related weighted numerical scheme being a generalization of the classical Crank Nicolson scheme. The proposed method has 2 alpha order of accuracy with respect to time where alpha in(0,1) is the subdiffusion parameter, and 2 with respect to space. Further, we provide the stability and convergence analysis. Finally, we present some numerical results.


Anosov groups local mixing, counting, and equidistribution. Let G be a connected semisimple real algebraic group, and Gamma G be a Zariski dense Anosov subgroup with respect to a minimal parabolic subgroup. We describe the asymptotic behavior of matrix coefficients langle ( exp tv). f 1, f 2 rangle in L 2( Gamma backslash G) as t to infty for any f 1, f 2 in C c( Gamma backslash G) and any vector v in the interior of the limit cone of Gamma . These asymptotics involve higher rank analogues of Burger Roblin measures which are introduced in this paper. As an application, for any affine symmetric subgroup H of G , we obtain a bisector counting result for Gamma orbits with respect to the corresponding generalized Cartan decomposition of G . Moreover, we obtain analogues of the results of Duke Rudnick Sarnak and Eskin McMullen for counting discrete Gamma orbits in affine symmetric spaces H backslash G .


AI Marker based Large scale AI Literature Mining. The knowledge contained in academic literature is interesting to mine. Inspired by the idea of molecular markers tracing in the field of biochemistry, three named entities, namely, methods, datasets and metrics are used as AI markers for AI literature. These entities can be used to trace the research process described in the bodies of papers, which opens up new perspectives for seeking and mining more valuable academic information. Firstly, the entity extraction model is used in this study to extract AI markers from large scale AI literature. Secondly, original papers are traced for AI markers. Statistical and propagation analysis are performed based on tracing results. Finally, the co occurrences of AI markers are used to achieve clustering. The evolution within method clusters and the influencing relationships amongst different research scene clusters are explored. The above mentioned mining based on AI markers yields many meaningful discoveries. For example, the propagation of effective methods on the datasets is rapidly increasing with the development of time effective methods proposed by China in recent years have increasing influence on other countries, whilst France is the opposite. Saliency detection, a classic computer vision research scene, is the least likely to be affected by other research scenes.


WSN simulators evaluation an approach focusing on energy awareness. The large number of Wireless Sensor Networks (WSN) simulators available nowadays, differ in their design, goals, and characteristics. Users who have to decide which simulator is the most appropriate for their particular requirements, are today lost, faced with a panoply of disparate and diverse simulators. Hence, it is obvious the need for establishing guidelines that support users in the tasks of selecting a simulator to suit their preferences and needs. In previous works, we proposed a generic and novel approach to evaluate networks simulators, considering a methodological process and a set of qualitative and quantitative criteria. In particularly, for WSN simulators, the criteria include relevant aspects for this kind of networks, such as energy consumption modelling and scalability capacity. The aims of this work are (i) describe deeply the criteria related to WSN aspects (ii) extend and update the state of the art of WSN simulators elaborated in our previous works to identify the most used and cited in scientific articles and (iii) demonstrate the suitability of our novel methodological approach by evaluating and comparing the three most cited simulators, specially in terms of energy modelling and scalability capacities. Results show that our proposed approach provides researchers with an evaluation tool that can be used to describe and compare WSN simulators in order to select the most appropriate one for a given scenario


bloomRF On Performing Range Queries with Bloom Filters based on Piecewise Monotone Hash Functions and Dyadic Trace Trees. We introduce bloomRF as a unified method for approximate membership testing that supports both point and range queries on a single data structure. bloomRF extends Bloom Filters with range query support and may replace them. The core idea is to employ a dyadic interval scheme to determine the set of dyadic intervals covering a data point, which are then encoded and inserted. bloomRF introduces Dyadic Trace Trees as novel data structure that represents those covering intervals implicitly. A Trace Tree encoding scheme represents the set of covering intervals efficiently, in a compact bit representation. Furthermore, bloomRF introduces novel piecewise monotone hash functions that are locally order preserving and thus support range querying. We present an efficient membership computation method for range queries. Although, bloomRF is designed for integers it also supports string and floating point data types. It can also handle multiple attributes and serve as multi attribute filter. We evaluate bloomRF in RocksDB and in a standalone library. bloomRF is more efficient and outperforms existing point range filters by up to 4x across a range of settings.


Robust Q tunable topological induced transparency in metasurface. In this study, we demonstrate first, to the best of our knowledge, robust and dynamically polarization controlled tunable high Q PIT in designed nanostructures metasurface, whose sharp resonance is guaranteed by design and protected against large geometrical imperfections. By employing the explicit analysis of near field characteristic in the reciprocal space based on the momentum matching, and the far field radiation features with point scattering approach in real space sparked from Huygens's principles, the physics of interference resonance in the spectra for plane wave optical transmission and reflection of the metasurface is theoretically and thoroughly investigated. The experimental results verify the theory prediction. The distinctive polarization selective and Q tunable PIT shows robust features to performance degradations in traditional PIT system caused by inadvertent fabrication flaws or geometry asymmetry variations, which paves way for the development of reconfigurable and flexible metasurface and, additionally, opens new avenues in robust and multifunctional nanophotonics device design and applications.


Effects of round to nearest and stochastic rounding in the numerical solution of the heat equation in low precision. Motivated by the advent of machine learning, the last few years have seen the return of hardware supported low precision computing. Computations with fewer digits are faster and more memory and energy efficient, but can be extremely susceptible to rounding errors. As shown by recent studies into reduced precision climate simulations, an application that can largely benefit from the advantages of low precision computing is the numerical solution of partial differential equations (PDEs). However, a careful implementation and rounding error analysis are required to ensure that sensible results can still be obtained. In this paper we study the accumulation of rounding errors in the solution of the heat equation, a proxy for parabolic PDEs, via Runge Kutta finite difference methods using round to nearest (RtN) and stochastic rounding (SR). We demonstrate how to implement the scheme to reduce rounding errors and we derive emph a priori estimates for local and global rounding errors. Let u be the unit roundoff. While the worst case local errors are O(u) with respect to the discretization parameters (mesh size and timestep), the RtN and SR error behavior is substantially different. In fact, the RtN solution always stagnates for small enough Delta t , and until stagnation the global error grows like O(u Delta t 1 ) . In contrast, we show that the leading order errors introduced by SR are zero mean, independent in space and mean independent in time, making SR resilient to stagnation and rounding error accumulation. In fact, we prove that for SR the global rounding errors are only O(u Delta t 1 4 ) in 1D and are essentially bounded (up to logarithmic factors) in higher dimensions.


Unsupervised Person Re identification via Multi label Classification. The challenge of unsupervised person re identification (ReID) lies in learning discriminative features without true labels. This paper formulates unsupervised person ReID as a multi label classification task to progressively seek true labels. Our method starts by assigning each person image with a single class label, then evolves to multi label classification by leveraging the updated ReID model for label prediction. The label prediction comprises similarity computation and cycle consistency to ensure the quality of predicted labels. To boost the ReID model training efficiency in multi label classification, we further propose the memory based multi label classification loss (MMCL). MMCL works with memory based non parametric classifier and integrates multi label classification and single label classification in a unified framework. Our label prediction and MMCL work iteratively and substantially boost the ReID performance. Experiments on several large scale person ReID datasets demonstrate the superiority of our method in unsupervised person ReID. Our method also allows to use labeled person images in other domains. Under this transfer learning setting, our method also achieves state of the art performance.


Virtues of Patience in Strategic Queuing Systems. We consider the problem of selfish agents in discrete time queuing systems, where competitive queues try to get their packets served. In this model, a queue gets to send a packet each step to one of the servers, which will attempt to serve the oldest arriving packet, and unprocessed packets are returned to each queue. We model this as a repeated game where queues compete for the capacity of the servers, but where the state of the game evolves as the length of each queue varies, resulting in a highly dependent random process. Earlier work by the authors EC'20 shows that with no regret learners, the system needs twice the capacity as would be required in the coordinated setting to ensure queue lengths remain stable despite the selfish behavior of the queues. In this paper, we demonstrate that this way of evaluating outcomes is myopic if more patient queues choose strategies that selfishly maximize their long run success rate, stability can be ensured with just frac e e 1 approx 1.58 times extra capacity, better than what is possible assuming the no regret property. As these systems induce highly dependent processes, our analysis draws heavily on techniques from probability theory. Though these systems are random under any fixed policies by the queues, we show that, surprisingly, these systems have deterministic and explicit asymptotic behavior. We show that the asymptotic growth rates of queues can be written as a ratio of a submodular and modular function, which provides significant game theoretic properties. Our equilibrium analysis then relies on a novel deformation argument towards a more analyzable solution that differs significantly from previous price of anarchy results. While the intermediate points will not be equilibria, this analytic structure will ensure that this deformation is monotonic along this continuous path.


Some novel minimax results for perfect matchings of hexagonal systems. The anti forcing number of a perfect matching M of a graph G is the minimum number of edges of G whose deletion results in a subgraph with a unique perfect matching M , denoted by af(G,M) . When G is a plane bipartite graph, Lei et al. established a minimax result For any perfect matching M of G , af(G,M) equals the maximum number of M alternating cycles of G where any two either are disjoint or intersect only at edges in M For a hexagonal system, the maximum anti forcing number equals the fries number. In this paper we show that for every perfect matching M of a hexagonal system H with the maximum anti forcing number or minus one, af(H,M) equals the number of M alternating hexagons of H . Further we show that a hexagonal system H has a triphenylene as nice subgraph if and only af(H,M) always equals the number of M alternating hexagons of H for every perfect matching M of H .


What They Don't Want An Analysis of Brexit's First Round of Indicative Votes. Since the result of the 2016 referendum, Brexit has been an unpredictable democratic adventure, the finale of which remains unclear. This year, in the final days of March, parliamentarians seized control of the order paper from the Government and held their own indicative votes in an attempt to break the deadlock. In this paper we analyse the results of this unusual cardinal ballot. We express the various motions in terms of how much Brexit' they deliver, and employ Monte Carlo in an attempt to determine this from the data. We find solutions which reproduce our intuitive understanding of the debate. Finally, we construct hypothetical ordinal ballots for the various Brexit scenarios, using three different processes. The results suggest that the Government would be more successful taking a softer position, and we quantify this. Additionally, there is some discussion of how tactical voting might manifest itself in the event of such an exercise.


On t adic Littlewood conjecture for generalised Thue Morse functions. We consider a Laurent series defined by infinite products g u(t) prod n 0 infty (1 ut 2 n ) , where u in mathbb F is a parameter and mathbb F is a field. We show that for all u in mathbb Q setminus 1,0,1 the series g u(t) does not satisfy the t adic Littlewood conjecture. On the other hand, if mathbb F is finite then g u(t) in mathbb F ((t 1 )) is either a rational function or it satisfies the t adic Littlewood conjecture.


If time were a graph, what would evolution equations look like?. Linear evolution equations are considered usually for the time variable being defined on an interval where typically initial conditions or time periodicity of solutions are required to single out certain solutions. Here we would like to make a point of allowing time to be defined on a metric graph or network where on the branching points coupling conditions are imposed such that time can have ramifications and even loops. This not only generalizes the classical setting and allows for more freedom in the modeling of coupled and interacting systems of evolution equations, but it also provides a unified framework for initial value and time periodic problems. For these time graph Cauchy problems questions of well posedness and regularity of solutions for parabolic problems are studied along with the question of which time graph Cauchy problems cannot be reduced to an iteratively solvable sequence of Cauchy problems on intervals. Based on two different approaches an application of the Kalton Weis theorem on the sum of closed operators and an explicit computation of a Green's function we present the main well posedness and regularity results. We further study some qualitative properties of solutions. While we mainly focus on parabolic problems we also explain how other Cauchy problems can be studied along the same lines. This is exemplified by discussing coupled systems with constraints that are non local in time akin to periodicity.


Boundedness for a fully parabolic Keller Segel model with sublinear segregation and superlinear aggregation. This work deals with a fully parabolic chemotaxis model with nonlinear production and chemoattractant. The problem is formulated on a bounded domain and, depending on a specific interplay between the coefficients associated to such production and chemoattractant, we establish that the related initial boundary value problem has a unique classical solution which is uniformly bounded in time. To be precise, we study this zero flux problem begin equation label problem abstract tag Diamond begin cases u t Delta u nabla cdot (f(u) nabla v) text in Omega times (0,T max ), v t Delta v v g(u) text in Omega times (0,T max ), end cases end equation where Omega is a bounded and smooth domain of mathbb R n , for n geq 2 , and f(u) and g(u) are reasonably regular functions generalizing, respectively, the prototypes f(u) u alpha and g(u) u l , with proper alpha, l 0 . After having shown that any sufficiently smooth u(x,0) u 0(x) geq 0, , v(x,0) v 0(x) geq 0 emanate a unique classical and nonnegative solution (u,v) to problem eqref problem abstract , which is defined on Omega times (0,T max ) with T max denoting the maximum time of existence, we establish that for any l in (0, frac 2 n ) and frac 2 n leq alpha 1 frac 1 n frac l 2 , T max infty and u and v are actually uniformly bounded in time. This paper is in line with the contribution by Horstmann and Winkler, moreover, extends the result by Liu and Tao. Indeed, in the first work it is proved that for g(u) u the value alpha frac 2 n represents the critical blow up exponent to the model, whereas in the second, for f(u) u , corresponding to alpha 1 , boundedness of solutions is shown under the assumption 0 l frac 2 n .


Modeling Microglia Activation and Inflammation Based Neuroprotectant Strategies During Ischemic Stroke. Neural inflammation immediately follows the onset of ischemic stroke. During this process, microglial cells can be activated into two different phenotypes the M1 phenotype, which can worsen brain injury by producing pro inflammatory cytokines or the M2 phenotype, which can aid in long term recovery by producing anti inflammatory cytokines. In this study, we formulate a nonlinear system of differential equations to model the activation of microglia post ischemic stroke, which includes bidirectional switching between the microglia phenotypes, as well as the interactions between these cells and the cytokines that they produce. Further, we explore neuroprotectant based modeling strategies to suppress the activation of the detrimental M1 phenotype, while promoting activation of the beneficial M2 phenotype. Through use of global sensitivity techniques, we analyze the effects of the model parameters on the ratio of M1 to M2 microglia and the total number of activated microglial cells in the system over time. Results demonstrate the significance of bidirectional microglia phenotype switching on the ratio of M1 to M2 microglia, in both the absence and presence of neuroprotectant terms. Simulations further suggest that early inhibition of M1 activation and support of M2 activation leads to a decreased minimum ratio of M1 to M2 microglia and allows for a larger number of M2 than M1 cells for a longer time period.


Portfolio optimization with two coherent risk measures. We provide analytical results for a static portfolio optimization problem with two coherent risk measures. The use of two risk measures is motivated by joint decision making for portfolio selection where the risk perception of the portfolio manager is of primary concern, hence, it appears in the objective function, and the risk perception of an external authority needs to be taken into account as well, which appears in the form of a risk constraint. The problem covers the risk minimization problem with an expected return constraint and the expected return maximization problem with a risk constraint, as special cases. For the general case of an arbitrary joint distribution for the asset returns, under certain conditions, we characterize the optimal portfolio as the optimal Lagrange multiplier associated to an equality constrained dual problem. Then, we consider the special case of Gaussian returns for which it is possible to identify all cases where an optimal solution exists and to give an explicit formula for the optimal portfolio whenever it exists.


Spectrally Selective Vanadium Dioxide Based Tunable Metafilm Emitter for Dynamic Radiative Cooling. Dynamic radiative cooling with variable emissive power is experimentally demonstrated in this study by a wavelength selective tunable metafilm emitter, which consists of an opaque aluminum film, a sputtered silicon spacer, and a thermochromic vanadium dioxide (VO2) layer fabricated by a furnace oxidation method. The temperature dependent spectral emittance, experimentally obtained from spectral reflectance measurements, clearly shows a pronounced emission peak around 10 um wavelength when the VO2 experiences an insulator to metal phase transition near 65C. The tunable metafilm emitter achieves a significant total emittance increase from 0.14 at room temperature to 0.6 at 100C. Theoretical modeling based on thin film optics indicates that the emission enhancement at high temperatures is realized by Fabry Perot cavity resonance with the metallic VO2 film. Moreover, a calorimetry based thermal vacuum experiment was conducted and the enhanced thermal emission of the fabricated tunable metafilm sample was experimentally demonstrated at temperatures higher than the phase transition temperature, compared to black, aluminum and doped silicon samples, whose emittance changes little near room temperatures. The developed tunable metafilm emitter with variable spectrally selective emittance in the mid infrared holds great promise for both terrestrial and extraterrestrial dynamic radiative cooling applications.


Tunable nonlinear and active THz devices based on hybrid graphene metasurfaces. Graphene is a two dimensional layer of carbon atoms arranged in a honeycomb lattice, whose outstanding properties makes it an excellent material for future electronic and photonic terahertz (THz) devices. In this work, we design hybrid graphene metasurfaces by using a monolayer graphene placed over a metallic grating, operating in the THz frequency range. Perfect absorption can be achieved at the resonance, where the electric field is greatly enhanced due to the coupling between the graphene and the grating plasmonic responses. The enhancement of the electric field along the graphene monolayer, as well as the large nonlinear conductivity of graphene, can dramatically boost the nonlinear response of the proposed THz device. In addition, the presented enhanced nonlinear effects can be significantly tuned by varying the doping level of graphene. The proposed structure can be used in the design of THz frequency generators and all optical processors.


Timely Status Updating Through Intermittent Sensing and Transmission. We consider a novel intermittent status updating model where an energy harvesting node with an intermittent energy source performs status updating to a receiver through non preemptive sensing and transmission operations. Each operation costs a single energy recharge of the node and the node cannot harvest energy while in operation. The sensing time for each update is independent with a general distribution. The transmission queue has a single server receiving packets generated after sensing operation, general service time distribution and a single data buffer to save the latest arriving update packet. Once energy is harvested, the node has to decide whether to activate sensing to generate a new update or transmission to send the existing update (if any) to the receiver. We prove that average peak age of information (AoI) at the receiver is minimized by a threshold based stopping rule that accepts only young packets to the transmission server. We then use this result to address average AoI optimization over the considered stopping rules through novel hybrid waiting and thresholding schemes. Our numerical results show the improvements in average AoI maintained by hybrid schemes.


Irreversibility and alternate minimization in phase field fracture a viscosity approach. This work is devoted to the analysis of convergence of an alternate (staggered) minimization algorithm in the framework of phase field models of fracture. The energy of the system is characterized by a nonlinear splitting of tensile and compressive strains, featuring non interpenetration of the fracture lips. The alternating scheme is coupled with an L 2 penalization in the phase field variable, driven by a viscous parameter delta 0 , and with an irreversibility constraint, forcing the monotonicity of the phase field only w.r.t. time, but not along the whole iterative minimization. We show first the convergence of such a scheme to a viscous evolution for delta 0 and then consider the vanishing viscosity limit delta to 0 .


On Cores in Yetter Drinfel'd Hopf Algebras. By constructing explicit examples, we show that the core of a group like element in a cocommutative cosemisimple Yetter Drinfel'd Hopf algebra over the group ring of a finite abelian group is not always completely trivial.


Context Aware Design of Cyber Physical Human Systems (CPHS). Recently, it has been widely accepted by the research community that interactions between humans and cyber physical infrastructures have played a significant role in determining the performance of the latter. The existing paradigm for designing cyber physical systems for optimal performance focuses on developing models based on historical data. The impacts of context factors driving human system interaction are challenging and are difficult to capture and replicate in existing design models. As a result, many existing models do not or only partially address those context factors of a new design owing to the lack of capabilities to capture the context factors. This limitation in many existing models often causes performance gaps between predicted and measured results. We envision a new design environment, a cyber physical human system (CPHS) where decision making processes for physical infrastructures under design are intelligently connected to distributed resources over cyberinfrastructure such as experiments on design features and empirical evidence from operations of existing instances. The framework combines existing design models with context aware design specific data involving human infrastructure interactions in new designs, using a machine learning approach to create augmented design models with improved predictive powers.


Learning Dense Representations for Entity Retrieval. We show that it is feasible to perform entity linking by training a dual encoder (two tower) model that encodes mentions and entities in the same dense vector space, where candidate entities are retrieved by approximate nearest neighbor search. Unlike prior work, this setup does not rely on an alias table followed by a re ranker, and is thus the first fully learned entity retrieval model. We show that our dual encoder, trained using only anchor text links in Wikipedia, outperforms discrete alias table and BM25 baselines, and is competitive with the best comparable results on the standard TACKBP 2010 dataset. In addition, it can retrieve candidates extremely fast, and generalizes well to a new dataset derived from Wikinews. On the modeling side, we demonstrate the dramatic value of an unsupervised negative mining algorithm for this task.


Entanglement via rotational blockade of MgF molecules in a magic potential. Diatomic polar molecules are one of the most promising platforms of quantum computing due to their rich internal states and large electric dipole moments. Here, we propose entangling rotational states of adjacent polar molecules via a strong electric dipole dipole interaction. The splitting of 1.27 kHz between two entangled states is predicted for MgF molecules in an optical tweezer array. The resolution of the entangled states can be achieved in a magic potential for the molecules where the rotational states have the same trap frequencies. The magic potential can be formed by tuning the angle between the molecules' quantization axis and the linear polarization of trapping light, so called magic angle. We calculate the magic angle for MgF molecules in a reasonable experimental condition and obtain that the trap frequencies of the two involved states can be matched within a few 10s of Hz. Establishing entanglement between molecules, our results provide a first step towards quantum computing using diatomic polar molecules.


Challenges in the Decentralised Web The Mastodon Case. The Decentralised Web (DW) has recently seen a renewed momentum, with a number of DW platforms like Mastodon, Peer Tube, and Hubzilla gaining increasing traction. These offer alternatives to traditional social networks like Twitter, YouTube, and Facebook, by enabling the operation of web infrastructure and services without centralised ownership or control. Although their services differ greatly, modern DW platforms mostly rely on two key innovations first, their open source software allows anybody to setup independent servers ("instances") that people can sign up to and use within a local community and second, they build on top of federation protocols so that instances can mesh together, in a peer to peer fashion, to offer a globally integrated platform. In this paper, we present a measurement driven exploration of these two innovations, using a popular DW microblogging platform (Mastodon) as a case study. We focus on identifying key challenges that might disrupt continuing efforts to decentralise the web, and empirically highlight a number of properties that are creating natural pressures towards recentralisation. Finally, our measurements shed light on the behaviour of both administrators (i.e., people setting up instances) and regular users who sign up to the platforms, also discussing a few techniques that may address some of the issues observed.


Small quotient minimal log discrepancies. We prove that for each positive integer n there exists a positive number epsilon n so that n dimensional toric quotient singularities satisfy the ACC for mld's on the interval (0, epsilon n) . In the course of the proof, we will show a geometric Jordan property for finite automorphism groups of affine toric varieties.


Exponentially slow motion of interface layers for the one dimensional Allen Cahn equation with nonlinear phase dependent diffusivity. This paper considers a one dimensional generalized Allen Cahn equation of the form u t varepsilon 2 (D(u)u x) x f(u), where varepsilon 0 is constant, D D(u) is a positive, uniformly bounded below diffusivity coefficient that depends on the phase field u and f(u) is a reaction function that can be derived from a double well potential with minima at two pure phases u alpha and u beta . It is shown that interface layers (namely, solutions that are equal to alpha or beta except at a finite number of thin transitions of width varepsilon ) persist for an exponentially long time proportional to exp(C varepsilon) , where C 0 is a constant. In other words, the emergence and persistence of emph metastable patterns for this class of equations is established. For that purpose, we prove energy bounds for a renormalized effective energy potential of Ginzburg Landau type. Numerical simulations, which confirm the analytical results, are also provided.


On Inertial Navigation and Attitude Initialization in Polar Areas. Inertial navigation and attitude initialization in polar areas become a hot topic in recent years in the navigation community, as the widely used navigation mechanization of the local level frame encounters the inherent singularity when the latitude approaches 90 degrees. Great endeavors have been devoted to devising novel navigation mechanizations such as the grid or transversal frames. This paper highlights the fact that the common Earth frame mechanization is sufficiently good to well handle the singularity problem in polar areas. Simulation results are reported to demonstrate the singularity problem and the effectiveness of the Earth frame mechanization.


Predicting Bank Loan Default with Extreme Gradient Boosting. Loan default prediction is one of the most important and critical problems faced by banks and other financial institutions as it has a huge effect on profit. Although many traditional methods exist for mining information about a loan application, most of these methods seem to be under performing as there have been reported increases in the number of bad loans. In this paper, we use an Extreme Gradient Boosting algorithm called XGBoost for loan default prediction. The prediction is based on a loan data from a leading bank taking into consideration data sets from both the loan application and the demographic of the applicant. We also present important evaluation metrics such as Accuracy, Recall, precision, F1 Score and ROC area of the analysis. This paper provides an effective basis for loan credit approval in order to identify risky customers from a large number of loan applications using predictive modeling.


A new upper bound on the chromatic number of graphs with no odd K t minor. Gerards and Seymour conjectured that every graph with no odd K t minor is (t 1) colorable. This is a strengthening of the famous Hadwiger's Conjecture. Geelen et al. proved that every graph with no odd K t minor is O(t sqrt log t ) colorable. Using the methods the present authors and Postle recently developed for coloring graphs with no K t minor, we make the first improvement on this bound by showing that every graph with no odd K t minor is O(t( log t) beta ) colorable for every beta 1 4 .


A roadmap for Generalized Plane Waves and their interpolation properties. This work focuses on the study of partial differential equation (PDE) based basis function for Discontinuous Galerkin methods to solve numerically wave related boundary value problems with variable coefficients. To tackle problems with constant coefficients, wave based methods have been widely studied in the literature they rely on the concept of Trefftz functions, i.e. local solutions to the governing PDE, using oscillating basis functions rather than polynomial functions to represent the numerical solution. Generalized Plane Waves (GPWs) are an alternative developed to tackle problems with variable coefficients, in which case Trefftz functions are not available. In a similar way, they incorporate information on the PDE, however they are only approximate Trefftz functions since they don't solve the governing PDE exactly, but only an approximated PDE. Considering a new set of PDEs beyond the Helmholtz equation, we propose to set a roadmap for the construction and study of local interpolation properties of GPWs. Identifying carefully the various steps of the process, we provide an algorithm to summarize the construction of these functions, and establish necessary conditions to obtain high order interpolation properties of the corresponding basis.


Proper classes and Gorensteinness in extriangulated categories. Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. A notion of proper class in an extriangulated category is defined in this paper. Let mathcal C be an extriangulated category and xi a proper class in mathcal C . We prove that mathcal C admits a new extriangulated structure. This construction gives extriangulated categories which are neither exact categories nor triangulated categories. Moreover, we introduce and study xi Gorenstein projective objects in mathcal C and demonstrate that xi Gorenstein projective objects share some basic properties with Gorenstein projective objects in module categories or in triangulated categories. In particular, we refine a result of Asadollahi and Salarian Gorenstein objects in triangulated categories, J. Algebra 281(2004), 264 286 . As an application, the xi mathcal G projective model structures on extriangulated categories are obtained.


Learning Transferable Concepts in Deep Reinforcement Learning. While humans and animals learn incrementally during their lifetimes and exploit their experience to solve new tasks, standard deep reinforcement learning methods specialize to solve only one task at a time. As a result, the information they acquire is hardly reusable in new situations. Here, we introduce a new perspective on the problem of leveraging prior knowledge to solve future tasks. We show that learning discrete representations of sensory inputs can provide a high level abstraction that is common across multiple tasks, thus facilitating the transference of information. In particular, we show that it is possible to learn such representations by self supervision, following an information theoretic approach. Our method is able to learn concepts in locomotive and optimal control tasks that increase the sample efficiency in both known and unknown tasks, opening a new path to endow artificial agents with generalization abilities.


Joint Embedding Learning of Educational Knowledge Graphs. As an efficient model for knowledge organization, the knowledge graph has been widely adopted in several fields, e.g., biomedicine, sociology, and education. And there is a steady trend of learning embedding representations of knowledge graphs to facilitate knowledge graph construction and downstream tasks. In general, knowledge graph embedding techniques aim to learn vectorized representations which preserve the structural information of the graph. And conventional embedding learning models rely on structural relationships among entities and relations. However, in educational knowledge graphs, structural relationships are not the focus. Instead, rich literals of the graphs are more valuable. In this paper, we focus on this problem and propose a novel model for embedding learning of educational knowledge graphs. Our model considers both structural and literal information and jointly learns embedding representations. Three experimental graphs were constructed based on an educational knowledge graph which has been applied in real world teaching. We conducted two experiments on the three graphs and other common benchmark graphs. The experimental results proved the effectiveness of our model and its superiority over other baselines when processing educational knowledge graphs.


A hybrid algorithm for disparity calculation from sparse disparity estimates based on stereo vision. In this paper, we have proposed a novel method for stereo disparity estimation by combining the existing methods of block based and region based stereo matching. Our method can generate dense disparity maps from disparity measurements of only 18 pixels of either the left or the right image of a stereo image pair. It works by segmenting the lightness values of image pixels using a fast implementation of K Means clustering. It then refines those segment boundaries by morphological filtering and connected components analysis, thus removing a lot of redundant boundary pixels. This is followed by determining the boundaries' disparities by the SAD cost function. Lastly, we reconstruct the entire disparity map of the scene from the boundaries' disparities through disparity propagation along the scan lines and disparity prediction of regions of uncertainty by considering disparities of the neighboring regions. Experimental results on the Middlebury stereo vision dataset demonstrate that the proposed method outperforms traditional disparity determination methods like SAD and NCC by up to 30 and achieves an improvement of 2.6 when compared to a recent approach based on absolute difference (AD) cost function for disparity calculations 1 .


The risk for a new COVID 19 wave and how it depends on R 0 , the current immunity level and current restrictions. The COVID 19 pandemic has hit different parts of the world differently some regions are still in the rise of the first wave, other regions are now facing a decline after a first wave, and yet other regions have started to see a second wave. The current immunity level hat i in a region is closely related to the cumulative fraction infected, which primarily depends on two factors a) the initial potential for COVID 19 in the region (often quantified by the basic reproduction number R 0 ), and b) the timing, amount and effectiveness of preventive measures put in place. By means of a mathematical model including heterogeneities owing to age, social activity and susceptibility, and allowing for time varying preventive measures, the risk for a new epidemic wave and its doubling time, and how they depend on R 0 , hat i and the overall effect of the current preventive measures, are investigated. Focus lies on quantifying the minimal overall effect of preventive measures p Min needed to prevent a future outbreak. The first result shows that the current immunity level hat i plays a more influential roll than when immunity is obtained from vaccination. Secondly, by comparing regions with different R 0 and hat i it is shown that regions with lower R 0 and low hat i may now need higher preventive measures ( p Min ) compared with other regions having higher R 0 but also higher hat i , even when such immunity levels are far from herd immunity.


Joint Traffic Aware UAV Placement and Predictive Routing for Aerial Networks. Aerial networks, composed of Unmanned Aerial Vehicles (UAVs) acting as Wi Fi access points or cellular base stations, are emerging as an interesting solution to provide on demand wireless connectivity to users, when there is no network infrastructure available, or to enhance the network capacity. This article proposes a traffic aware topology control solution for aerial networks that holistically combines the placement of UAVs with a predictive and centralized routing protocol. The synergy created by the combination of the UAV placement and routing solutions allows the aerial network to seamlessly update its topology according to the users' traffic demand, whilst minimizing the disruption caused by the movement of the UAVs. As a result, the Quality of Service (QoS) provided to the users is improved. The components of the proposed solution are described and evaluated individually in this article by means of simulation and an experimental testbed. The results show that all the components improve the QoS provided to the users when compared to the corresponding baseline solutions.


Cyclic structures and broken cycles. We introduce a new way to encode semicyclic structures using a stack of broken cycles. (We also prove an analogue for paracyclic structures.) This was motivated not only by higher algebra but also by Fukaya categorical considerations. We also openly speculate about some Fukaya categorical implications. For example, this stack sees moduli of stopped Liouville disks, and hence yields another platform for gluing together Fukaya categories. We also see that Lagrangian cobordisms with multiple ends may not only serve to detect K 0 groups of Fukaya categories, but higher K theory groups as well. Along the way, we include brief expositions of (i) basic techniques in infinity categories and (ii) the translation between exit path categories and constructible sheaves. These may be of independent interest.


Fi GNN Modeling Feature Interactions via Graph Neural Networks for CTR Prediction. Click through rate (CTR) prediction is an essential task in web applications such as online advertising and recommender systems, whose features are usually in multi field form. The key of this task is to model feature interactions among different feature fields. Recently proposed deep learning based models follow a general paradigm raw sparse input multi filed features are first mapped into dense field embedding vectors, and then simply concatenated together to feed into deep neural networks (DNN) or other specifically designed networks to learn high order feature interactions. However, the simple emph unstructured combination of feature fields will inevitably limit the capability to model sophisticated interactions among different fields in a sufficiently flexible and explicit fashion. In this work, we propose to represent the multi field features in a graph structure intuitively, where each node corresponds to a feature field and different fields can interact through edges. The task of modeling feature interactions can be thus converted to modeling node interactions on the corresponding graph. To this end, we design a novel model Feature Interaction Graph Neural Networks (Fi GNN). Taking advantage of the strong representative power of graphs, our proposed model can not only model sophisticated feature interactions in a flexible and explicit fashion, but also provide good model explanations for CTR prediction. Experimental results on two real world datasets show its superiority over the state of the arts.


On the Mumford Tate conjecture for hyperk " a hler varieties. We study the Mumford Tate conjecture for hyperk " a hler varieties. We show that the full conjecture holds for all varieties deformation equivalent to either an Hilbert scheme of points on a K3 surface or to O'Grady's ten dimensional example, and all of their self products. For an arbitrary hyperk " a hler variety whose second Betti number is not 3, we prove the Mumford Tate conjecture in every codimension under the assumption that the K " u nneth components in even degree of its Andr ' e motive are abelian. Our results extend a theorem of Andr ' e .


Making Speculative BFT Resilient with Trusted Monotonic Counters. Consensus mechanisms used by popular distributed ledgers are highly scalable but notoriously inefficient. Byzantine fault tolerance (BFT) protocols are efficient but far less scalable. Speculative BFT protocols such as Zyzzyva and Zyzzyva5 are efficient and scalable but require a trade off Zyzzyva requires only 3f 1 replicas to tolerate f faults, but even a single slow replica will make Zyzzyva fall back to more expensive non speculative operation. Zyzzyva5 does not require a non speculative fallback, but requires 5f 1 replicas in order to tolerate f faults. BFT variants using hardware assisted trusted components can tolerate a greater proportion of faults, but require that every replica have this hardware. We present SACZyzzyva, addressing these concerns resilience to slow replicas and requiring only 3f 1 replicas, with only one replica needing an active monotonic counter at any given time. We experimentally evaluate our protocols, demonstrating low latency and high scalability. We prove that SACZyzzyva is optimally robust and that trusted components cannot increase fault tolerance unless they are present in greater than two thirds of replicas.


Envy free cake cutting A polynomial number of queries with high probability. In this article we propose a probabilistic framework in order to study the fair division of a divisible good, e.g., a cake, between n players. Our framework follows the same idea than the ''Full independence model'' used in the study of fair division of indivisible goods. We show that, in this framework, there exists an envy free division algorithm satisfying the following probability estimate mathbb P big( C( mu 1, ldots, mu n) geq n 7 b big) mathcal O Big(n frac b 1 3 1 o(1) Big), where mu 1, ldots, mu n correspond to the preferences of the n players, C( mu 1, ldots, mu n) is the number of queries used by the algorithm and b 4 . In particular, this gives lim n rightarrow infty mathbb P big( C( mu 1, ldots, mu n) geq n 12 big) 0. It must be noticed that nowadays few things are known about the complexity of envy free division algorithms. Indeed, Procaccia has given a lower bound in Omega(n 2) and Aziz and Mackenzie have given an upper bound in n n n n n n . As our estimate means that we have C( mu 1, ldots, mu n) n 12 with a high probability, this gives a new insight on the complexity of envy free cake cutting algorithms. Our result follows from a study of Webb's algorithm and a theorem of Tao and Vu about the smallest singular value of a random matrix.


Non local reconfigurable sparse metasurface Efficient near field and far field wavefront manipulations. In recent years, metasurfaces have shown extremely powerful abilities for manipulation of electromagnetic waves. However, the local electromagnetic response of conventional metasurfaces yields to an intrinsic performance limitation in terms of efficiency, minimizing their implementation in real life applications. The efficiency of reconfigurable metasurfaces further decreases because of the high density of meta atoms, reaching 74 meta atoms per lambda 2 area, incorporating lossy tunable elements. To address these problems, we implement strong electromagnetic non local features in a textit sparse metasurface composed of electronically reconfigurable meta atoms. As a proof of concept demonstration, a dynamic sparse metasurface having as few as 8 meta atoms per lambda 2 area is experimentally realized in the microwave domain to control wavefronts in both near field and far field regions for focusing and beam forming, respectively. The proposed metasurface with its sparsity not only facilitates design and fabrication, but also opens the door to high efficiency real time reprogrammable functionalities in beam manipulations, wireless power transfer and imaging holography.


A Nonnested Augmented Subspace Method for Eigenvalue Problems with Curved Interfaces. In this paper, we present a nonnested augmented subspace algorithm and its multilevel correction method for solving eigenvalue problems with curved interfaces. The augmented subspace algorithm and the corresponding multilevel correction method are designed based on a coarse finite element space which is not the subset of the finer finite element space. The nonnested augmented subspace method can transform the eigenvalue problem solving on the finest mesh to the solving linear equation on the same mesh and small scale eigenvalue problem on the low dimensional augmented subspace. The corresponding theoretical analysis and numerical experiments are provided to demonstrate the efficiency of the proposed algorithms.


Mutex Graphs and Multicliques Reducing Grounding Size for Planning. We present an approach to representing large sets of mutual exclusions, also known as mutexes or mutex constraints. These are the types of constraints that specify the exclusion of some properties, events, processes, and so on. They are ubiquitous in many areas of applications. The size of these constraints for a given problem can be overwhelming enough to present a bottleneck for the solving efficiency of the underlying solver. In this paper, we propose a novel graph theoretic technique based on multicliques for a compact representation of mutex constraints and apply it to domain independent planning in ASP. As computing a minimum multiclique covering from a mutex graph is NP hard, we propose an efficient approximation algorithm for multiclique covering and show experimentally that it generates substantially smaller grounding size for mutex constraints in ASP than the previously known work in SAT.


How Secure Is Your IoT Network?. The proliferation of IoT devices in smart homes, hospitals, and enterprise networks is widespread and continuing to increase in a superlinear manner. With this unprecedented growth, how can one assess the security of an IoT network holistically? In this article, we explore two dimensions of security assessment, using vulnerability information of IoT devices and their underlying components ( textit compositional security scores ) and SIEM logs captured from the communications and operations of such devices in a network ( textit dynamic activity metrics ) to propose the notion of an textit attack circuit . These measures are used to evaluate the security of IoT devices and the overall IoT network, demonstrating the effectiveness of attack circuits as practical tools for computing security metrics (exploitability, impact, and risk to confidentiality, integrity, and availability) of heterogeneous networks. We propose methods for generating attack circuits with input output pairs constructed from CVEs using natural language processing (NLP) and with weights computed using standard security scoring procedures, as well as efficient optimization methods for evaluating attack circuits. Our system provides insight into possible attack paths an adversary may utilize based on their exploitability, impact, or overall risk. We have performed experiments on IoT networks to demonstrate the efficacy of the proposed techniques.


Estimation of Orofacial Kinematics in Parkinson's Disease Comparison of 2D and 3D Markerless Systems for Motion Tracking. Orofacial deficits are common in people with Parkinson's disease (PD) and their evolution might represent an important biomarker of disease progression. We are developing an automated system for assessment of orofacial function in PD that can be used in home or in clinic and can provide useful and objective clinical information that informs disease management. Our current approach relies on color and depth cameras for the estimation of 3D facial movements. However, depth cameras are not commonly available, might be expensive, and require specialized software for control and data processing. The objective of this paper was to evaluate if depth cameras are needed to differentiate between healthy controls and PD patients based on features extracted from orofacial kinematics. Results indicate that 2D features, extracted from color cameras only, are as informative as 3D features, extracted from color and depth cameras, differentiating healthy controls from PD patients. These results pave the way for the development of a universal system for automatic and objective assessment of orofacial function in PD.


Weak compactness and fixed point property for affine bi Lipschitz maps. Let X be a Banach space and let C be a closed convex bounded subset of X . It is proved that C is weakly compact if, and only if, C has the it generic fixed point property ( mathcal G FPP) for the class of L bi Lipschitz affine mappings for every L 1 . It is also proved that if X has Pe l czy 'nski's property (u) , then either C is weakly compact, contains an ell 1 sequence or a mathrm c 0 summing basic sequence. In this case, weak compactness of C is equivalent to the mathcal G FPP for the strengthened class of affine mappings that are uniformly bi Lipschitz. We also introduce a generalized form of property (u) , called it property ( mathfrak su ) , and use it to prove that if X has property ( mathfrak su ) then either C is weakly compact or contains a wide (s) sequence which is uniformly shift equivalent. In this case, weak compactness in such spaces can also be characterized in terms of the mathcal G FPP for affine uniformly bi Lipschitz mappings. It is also proved that every Banach space with a spreading basis has property ( mathfrak su ) , thus property ( mathfrak su ) is stronger than property (u) . These results yield a significant strengthening of an important theorem of Benavides, Jap 'on Pineda and Prus published in 2004.