To Explain or Not to Explain A Study on the Necessity of Explanations for Autonomous Vehicles. Explainable AI, in the context of autonomous systems, like self driving cars, has drawn broad interests from researchers. Recent studies have found that providing explanations for an autonomous vehicle actions has many benefits, e.g., increase trust and acceptance, but put little emphasis on when an explanation is needed and how the content of explanation changes with context. In this work, we investigate which scenarios people need explanations and how the critical degree of explanation shifts with situations and driver types. Through a user experiment, we ask participants to evaluate how necessary an explanation is and measure the impact on their trust in the self driving cars in different contexts. We also present a self driving explanation dataset with first person explanations and associated measure of the necessity for 1103 video clips, augmenting the Berkeley Deep Drive Attention dataset. Additionally, we propose a learning based model that predicts how necessary an explanation for a given situation in real time, using camera data inputs. Our research reveals that driver types and context dictates whether or not an explanation is necessary and what is helpful for improved interaction and understanding.


Detecting Bad Smells in Use Case Descriptions. Use case modeling is very popular to represent the functionality of the system to be developed, and it consists of two parts use case diagram and use case description. Use case descriptions are written in structured natural language (NL), and the usage of NL can lead to poor descriptions such as ambiguous, inconsistent and or incomplete descriptions, etc. Poor descriptions lead to missing requirements and eliciting incorrect requirements as well as less comprehensiveness of produced use case models. This paper proposes a technique to automate detecting bad smells of use case descriptions, symptoms of poor descriptions. At first, to clarify bad smells, we analyzed existing use case models to discover poor use case descriptions concretely and developed the list of bad smells, i.e., a catalogue of bad smells. Some of the bad smells can be refined into measures using the Goal Question Metric paradigm to automate their detection. The main contribution of this paper is the automated detection of bad smells. We have implemented an automated smell detector for 22 bad smells at first and assessed its usefulness by an experiment. As a result, the first version of our tool got a precision ratio of 0.591 and recall ratio of 0.981.


Cloud as an Attack Platform. We present an exploratory study of responses from 75 security professionals and ethical hackers in order to understand how they abuse cloud platforms for attack purposes. The participants were recruited at the Black Hat and DEF CON conferences. We presented the participants' with various attack scenarios and asked them to explain the steps they would have carried out for launching the attack in each scenario. Participants' responses were studied to understand attackers' mental models, which would improve our understanding of necessary security controls and recommendations regarding precautionary actions to circumvent the exploitation of clouds for malicious activities. We observed that in 93.78 of the responses, participants are abusing cloud services to establish their attack environment and launch attacks.


Ergodicity for p adic continued fraction algorithms. Following Schweiger's generalization of multidimensional continued fraction algorithms, we consider a very large family of p adic multidimensional continued fraction algorithms, which include Schneider's algorithm, Ruban's algorithms, and the p adic Jacobi Perron algorithm as special cases. The main result is to show that all the transformations in the family are ergodic with respect to the Haar measure.


perm2vec Graph Permutation Selection for Decoding of Error Correction Codes using Self Attention. Error correction codes are an integral part of communication applications, boosting the reliability of transmission. The optimal decoding of transmitted codewords is the maximum likelihood rule, which is NP hard due to the curse of dimensionality. For practical realizations, sub optimal decoding algorithms are employed yet limited theoretical insights prevent one from exploiting the full potential of these algorithms. One such insight is the choice of permutation in permutation decoding. We present a data driven framework for permutation selection, combining domain knowledge with machine learning concepts such as node embedding and self attention. Significant and consistent improvements in the bit error rate are introduced for all simulated codes, over the baseline decoders. To the best of the authors' knowledge, this work is the first to leverage the benefits of the neural Transformer networks in physical layer communication systems.


Realization of manifolds as leaves using graph colorings. It is proved that any (repetitive) Riemannian manifold of bounded geometry can be realized as a leaf of some (minimal) Riemannian matchbox manifold without holonomy. Our methods can be adapted to achieve Cantor transversals or a prescribed holonomy covering, but then the manifold may not be realized as a dense leaf.


On the modular Jones polynomial. A major problem in knot theory is to decide whether the Jones polynomial detects the unknot. In this paper we study a weaker related problem, namely whether the Jones polynomial reduced modulo an integer n detects the unknot. The answer is known to be negative for n 2 k with k geq 1 and n 3 . Here we show that if the answer is negative for some n , then it is negative for n k with any k geq 1 . In particular, for any k geq 1 , we construct nontrivial knots whose Jones polynomial is trivial modulo 3 k .


Degeneracy of cross sections in scattering of light. We theoretically and numerically prove that under an electromagnetic plane wave with linear polarization incident normally to cylindrical passive scatterers, a single energy diagram can integrate absorption, scattering, and extinction cross sections for arbitrary scattering systems, irrespective of internal configuration, material parameters, and its sizes. For a system with definite resonant orders, along the corresponding boundary of the energy diagram, not only the magnitudes of scattering coefficients, but also its phases, are required the same, corresponding to superabsorption or superscattering. For systems composed by larger resonant orders, the domain of the energy diagram can completely cover systems with lower one. Hence, systems with different resonant orders can provide the same energy characteristics, reflecting the energy degenerate property in light scattering. This degeneracy may relax more degrees of freedom in functional designs, such as energy harvesting, imaging, sensing devices. We demonstrate various systems based on real materials to support this finding.


Optical isolation induced by subwavelength spinning particle via spin orbit interaction. Optical isolation enables nonreciprocal manipulations of light with broad applications in optical communications. Optical isolation by rotating structures has drawn considerable attention due to its magnetic free nature and unprecedented performance. Conventional rotation based optical isolation relies on the use of bulky cavities hindering applications in subwavelength photonics. Here, we propose a novel mechanism of optical isolation by integrating the unique dispersion of a hyperbolic metamaterial with the transverse spin orbit interaction of evanescent waves. We show that rotation of a subwavelength hyperbolic nanoparticle breaks the time reversal symmetry and yields two resonant chiral modes that selectively couple to the transverse spin of waveguide modes. Remarkably, the transverse spin orbit interaction can give rise to unidirectional coupling and 95 isolation of infrared light at an experimentally feasible rotation speed. Our work fuses the two important fields of optical isolation and photonic spin orbit interactions, leading to magnetic free yet compact nonreciprocal devices for novel applications in optical communications, chiral quantum optics, and topological photonics.


Poisson stable solutions for stochastic differential equations with L 'evy noise. In this paper, we use a unified framework to study Poisson stable (including stationary, periodic, quasi periodic, almost periodic, almost automorphic, Birkhoff recurrent, almost recurrent in the sense of Bebutov, Levitan almost periodic, pseudo periodic, pseudo recurrent and Poisson stable) solutions for semilinear stochastic differential equations driven by infinite dimensional L 'evy noise with large jumps. Under suitable conditions on drift, diffusion and jump coefficients, we prove that there exist solutions which inherit the Poisson stability of coefficients. Further we show that these solutions are globally asymptotically stable in square mean sense. Finally, we illustrate our theoretical results by several examples.


An SMT Based Concolic Testing Tool for Logic Programs. Concolic testing mixes symbolic and concrete execution to generate test cases covering paths effectively. Its benefits have been demonstrated for more than 15 years to test imperative programs. Other programming paradigms, like logic programming, have received less attention. In this paper, we present a concolic based test generation method for logic programs. Our approach exploits SMT solving for constraint resolution. We then describe the implementation of a concolic testing tool for Prolog and validate it on some selected benchmarks.


A Markovian and Roe algebraic approach to asymptotic expansion in measure. In this paper, we conduct further studies on geometric and analytic properties of asymptotic expansion in measure. More precisely, we develop a machinery of Markov expansion and obtain an associated structure theorem for asymptotically expanding actions. Based on this, we establish an analytic characterisation for asymptotic expansion in terms of the Dru c t u Nowak projection and the Roe algebra of the associated warped cones. As an application, we provide new counterexamples to the coarse Baum Connes conjecture.


Codeswitched Sentence Creation using Dependency Parsing. Codeswitching has become one of the most common occurrences across multilingual speakers of the world, especially in countries like India which encompasses around 23 official languages with the number of bilingual speakers being around 300 million. The scarcity of Codeswitched data becomes a bottleneck in the exploration of this domain with respect to various Natural Language Processing (NLP) tasks. We thus present a novel algorithm which harnesses the syntactic structure of English grammar to develop grammatically sensible Codeswitched versions of English Hindi, English Marathi and English Kannada data. Apart from maintaining the grammatical sanity to a great extent, our methodology also guarantees abundant generation of data from a minuscule snapshot of given data. We use multiple datasets to showcase the capabilities of our algorithm while at the same time we assess the quality of generated Codeswitched data using some qualitative metrics along with providing baseline results for couple of NLP tasks.


On the law of killed exponential functionals. For two independent L ' e vy processes xi and eta and an exponentially distributed random variable tau with parameter q 0 that is independent of xi and eta , the killed exponential functional is given by V q, xi, eta int 0 tau mathrm e xi s , mathrm d eta s . With the killed exponential functional arising as the stationary distribution of a Markov process, we calculate the infinitesimal generator of the process and use it to derive different distributional equations describing the law of V q, xi, eta , as well as functional equations for its Lebesgue density in the absolutely continuous case. Various special cases and examples are considered, yielding more explicit information on the law of the killed exponential functional and illustrating the applications of the equations obtained. Interpreting the case q 0 as tau infty leads to the classical exponential functional int 0 infty mathrm e xi s , mathrm d eta s , allowing to extend many previous results to include killing.


Limiting regimes of turbulent horizontal convection. Part I Intermediate and low Prandtl numbers. We report the existence of two new limiting turbulent regimes in horizontal convection (HC) using direct numerical simulations at intermediate to low Prandtl numbers. The flow driven by a horizontal gradient along a horizontal surface, perpendicular to the acceleration of gravity is shown to transition to turbulence in the plume and the core, modifying the rate of heat and momentum transport. These transitions set a sequence of scaling laws blending the theoretical arguments from both the Shishkina, Grossmann Lohse (SGL) theory with the Hughes, Griffiths Mullarney (HGM) regime. These results embed the HGM model in the SGL theory, agree, and extend the known regime diagram of horizontal convection at high Rayleigh numbers. In particular, we show that HC and Rayleigh B 'enard share similar turbulent characteristics at low Prandtl numbers, where HC is shown for the first time to be ruled by its core dynamics and turbulent boundary layers. This new scenario confirms that fully turbulent HC enhances the transport of heat and momentum with respect to previously reported regimes at high Rayleigh numbers. This work provides new insights on the applicability of horizontal convection for geophysical flows such as overturning circulations found in the atmosphere, the oceans, and flows near the earth's inner core.


Operation and Calibration of a Highly Granular Hadron Calorimeter with SiPM on Tile Read out. The Analogue Hadron Calorimeter (AHCAL) is being developed within the CALICE collaboration for experiments at a future lepton collider. It is a sampling calorimeter with alternating layers of steel absorber plates and plastic scintillator tiles as active material. In the SiPM on tile design, the tiles are directly coupled to silicon photomultipliers (SiPMs). The front end electronics are integrated into the active layers of the calorimeter. They are designed for low power consumption by rapidly power cycling according to the beam structure of a linear accelerator. In 2017 and 2018, a new large prototype with 38 active layers of 72x72 cm 2 size has been built. Each active layer consists of four readout boards with four 36 channel SPIROC2E readout ASIC each, resulting in 576 channels per layer. The prototype has been designed for mass production and assembly techniques It uses injection moulded tiles which were wrapped semi automatically in reflector foil, tiles and electronics components were assembled using pick and place machines and all detector parts were tested during assembly. The prototype with 22,000 channels was commissioned at DESY and took muon, electron and pion data at the CERN SPS to demonstrate the capabilities of a SiPM on tile calorimeter concept with scalable detector design and the reliable operation of a large prototype. This proceedings gives an overview of the calibration results of the large CALICE AHCAL technological prototype.


On a family of mild functions. We prove that the function P alpha(x) exp(1 x alpha ) with alpha 0 , is 1 alpha mild. We apply this result to obtain a uniform 1 alpha mild parametrization of the family of curves xy epsilon 2 mid (x,y) in (0,1) 2 for epsilon in (0,1) , which does not have a uniform 0 mild parametrization by work of Yomdin. More generally we can parametrize families of power subanalytic curves. This improves a result of Benjamini and Novikov that gives a 2 mild parametrization.


Local Models For Moduli Spaces For Local P Shtukas. In this article we study local properties of Rapoport Zink spaces for local mathbb P shtukas by constructing local models for them. This provides a "local" complementary to the previous results related to the local models for the moduli stacks of "global" mathfrak G shtukas. We also discuss some of its applications.


A nucleation and growth model for COVID 19 epidemic in Japan. COVID 19 epidemics in Japan and Tokyo were analyzed by a fundamental equation of the dynamic phase transition. As a result, the epidemic was found to be in good agreement with the random nucleation and linear growth model suggesting that the epidemic between March 13, 2020 and May 22, 2020 was simply rate limited by the three constant parameters the initial susceptible, domain growth rate, and nucleation decay constant. This model provides a good predictor of the epidemic because it consists of one equation and the initial specific plot is linear.


Transferable Semi supervised 3D Object Detection from RGB D Data. We investigate the direction of training a 3D object detector for new object classes from only 2D bounding box labels of these new classes, while simultaneously transferring information from 3D bounding box labels of the existing classes. To this end, we propose a transferable semi supervised 3D object detection model that learns a 3D object detector network from training data with two disjoint sets of object classes a set of strong classes with both 2D and 3D box labels, and another set of weak classes with only 2D box labels. In particular, we suggest a relaxed reprojection loss, box prior loss and a Box to Point Cloud Fit network that allow us to effectively transfer useful 3D information from the strong classes to the weak classes during training, and consequently, enable the network to detect 3D objects in the weak classes during inference. Experimental results show that our proposed algorithm outperforms baseline approaches and achieves promising results compared to fully supervised approaches on the SUN RGBD and KITTI datasets. Furthermore, we show that our Box to Point Cloud Fit network improves performances of the fully supervised approaches on both datasets.


On construction of a global numerical solution for a semilinear singularly perturbed reaction diffusion boundary value problem. A class of different schemes for the numerical solving of semilinear singularly perturbed reaction diffusion boundary value problems was constructed. The stability of the difference schemes was proved, and the existence and uniqueness of a numerical solution were shown. After that, the uniform convergence with respect to a perturbation parameter varepsilon on a modified Shishkin mesh of order 2 has been proven. For such a discrete solution, a global solution based on a linear spline was constructed, also the error of this solution is in expected boundaries. Numerical experiments at the end of the paper, confirm the theoretical results. The global solutions based on a natural cubic spline, and the experiments with Liseikin, Shishkin and modified Bakhvalov meshes are included in the numerical experiments as well.


Metrical Service Systems with Transformations. We consider a generalization of the fundamental online metrical service systems (MSS) problem where the feasible region can be transformed between requests. In this problem, which we call T MSS, an algorithm maintains a point in a metric space and has to serve a sequence of requests. Each request is a map (transformation) f t colon A t to B t between subsets A t and B t of the metric space. To serve it, the algorithm has to go to a point a t in A t , paying the distance from its previous position. Then, the transformation is applied, modifying the algorithm's state to f t(a t) . Such transformations can model, e.g., changes to the environment that are outside of an algorithm's control, and we therefore do not charge any additional cost to the algorithm when the transformation is applied. The transformations also allow to model requests occurring in the k taxi problem. We show that for alpha Lipschitz transformations, the competitive ratio is Theta( alpha) n 2 on n point metrics. Here, the upper bound is achieved by a deterministic algorithm and the lower bound holds even for randomized algorithms. For the k taxi problem, we prove a competitive ratio of tilde O((n log k) 2) . For chasing convex bodies, we show that even with contracting transformations no competitive algorithm exists. The problem T MSS has a striking connection to the following deep mathematical question Given a finite metric space M , what is the required cardinality of an extension hat M supseteq M where each partial isometry on M extends to an automorphism? We give partial answers for special cases.


Is Depth Really Necessary for Salient Object Detection?. Salient object detection (SOD) is a crucial and preliminary task for many computer vision applications, which have made progress with deep CNNs. Most of the existing methods mainly rely on the RGB information to distinguish the salient objects, which faces difficulties in some complex scenarios. To solve this, many recent RGBD based networks are proposed by adopting the depth map as an independent input and fuse the features with RGB information. Taking the advantages of RGB and RGBD methods, we propose a novel depth aware salient object detection framework, which has following superior designs 1) It only takes the depth information as training data while only relies on RGB information in the testing phase. 2) It comprehensively optimizes SOD features with multi level depth aware regularizations. 3) The depth information also serves as error weighted map to correct the segmentation process. With these insightful designs combined, we make the first attempt in realizing an unified depth aware framework with only RGB information as input for inference, which not only surpasses the state of the art performances on five public RGB SOD benchmarks, but also surpasses the RGBD based methods on five benchmarks by a large margin, while adopting less information and implementation light weighted. The code and model will be publicly available.


Parabolic category mathcal O mathfrak p for periplectic Lie superalgebras mathfrak pe (n) . We provide a linkage principle in an arbitrary parabolic category mathcal O mathfrak p for the periplectic Lie superalgebras mathfrak pe (n) . As an application, we classify indecomposable blocks in mathcal O mathfrak p . We classify indecomposable tilting modules in mathcal O mathfrak p whose characters are controlled by the Kazhdan Lusztig polynomials of type bf A Lie algebras. We establish the complete list of characters of indecomposable tilting modules in mathcal O mathfrak p for mathfrak pe (3) .


Lagrangian statistics of pressure fluctuation events in homogeneous isotropic turbulence. Homogeneous and isotropic turbulent fields obtained from two DNS databases (with mbox Re lambda equal to 150 and 418) were seeded with point particles that moved with the local fluid velocity to obtain Lagrangian pressure histories. Motivated by cavitation inception modeling, the statistics of events in which such particles undergo low pressure fluctuations were computed, parameterized by the amplitude of the fluctuations and by their duration. The main results are the average frequencies of these events and the probabilistic distribution of their duration, which are of predictive value. A connection is also established between these average frequencies and the pressure probability density function, thus justifying experimental methods proposed in the literature. Further analyses of the data show that the occurrence of very low pressure events is highly intermittent and is associated with worm like vortical structures of length comparable to the integral scale of the flow.


Gallai Ramsey numbers for graphs with five vertices and eight edges. A Gallai k coloring is a k edge coloring of a complete graph in which there are no rainbow triangles. For given graphs G 1, G 2, G 3 and nonnegative integers r, s, t with that k r s t , the k colored Gallai Ramsey number gr k (K 3 r cdot G 1, s cdot G 2, t cdot G 3) is the minimum integer n such that every Gallai k colored K n contains a monochromatic copy of G 1 colored by one of the first r colors or a monochromatic copy of G 2 colored by one of the middle s colors or a monochromatic copy of G 3 colored by one of the last t colors. In this paper, we determine the value of Gallai Ramsey number in the case that G 1 B 3 , G 2 S 3 and G 3 K 3 . Then the Gallai Ramsey number gr k (K 3 B 3 ) is obtained. Thus the Gllai Ramsey numbers for graphs with five vertices and eight edges are solved completely. Furthermore, the the Gallai Ramsey numbers gr k (K 3 r cdot B 3 , (k r) cdot S 3 ) , gr k (K 3 r cdot B 3 , (k r) cdot K 3) and gr k (K 3 s cdot S 3 , (k s) cdot K 3) are obtained, respecticely.


Approximation algorithms for car sharing problems. We consider several variants of a car sharing problem. Given are a number of requests each consisting of a pick up location and a drop off location, a number of cars, and nonnegative, symmetric travel times that satisfy the triangle inequality. Each request needs to be served by a car, which means that a car must first visit the pick up location of the request, and then visit the drop off location of the request. Each car can serve two requests. One problem is to serve all requests with the minimum total travel time (called CS sum ), and the other problem is to serve all requests with the minimum total latency (called CS lat ). We also study the special case where the pick up and drop off location of a request coincide. We propose two basic algorithms, called the match and assign algorithm and the transportation algorithm. We show that the best of the resulting two solutions is a 2 approximation for CS sum (and a 7 5 approximation for its special case), and a 5 3 approximation for CS lat (and a 3 2 approximation for its special case) these ratios are better than the ratios of the individual algorithms. Finally, we indicate how our algorithms can be applied to more general settings where each car can serve more than two requests, or where cars have distinct speeds.


RapidBrachyMCTPS 2.0 A Comprehensive and Flexible Monte Carlo Based Treatment Planning System for Brachytherapy Applications. We have previously described RapidBrachyMCTPS, a brachytherapy treatment planning toolkit consisting of a graphical user interface (GUI) and a Geant4 based Monte Carlo (MC) dose calculation engine. This work describes the tools that have recently been added to RapidBrachyMCTPS, such that it now serves as the first stand alone application for MC based brachytherapy treatment planning. Notable changes include updated applicator import and positioning, three plane contouring tools, and updated dose optimization algorithms that, in addition to optimizing dwell position and dwell time, also optimize the rotating shield angles in intensity modulated brachytherapy. The main modules of RapidBrachyMCTPS were validated including DICOM import, applicator import and positioning, contouring, material assignment, source specification, catheter reconstruction, EGSphant generation, interface with the MC code, and dose optimization and analysis tools. Two patient cases were simulated to demonstrate these principles, illustrating the control and flexibility offered by RapidBrachyMCTPS for all steps of the treatment planning pathway. RapidBrachyMCTPS is now a stand alone application for brachytherapy treatment planning, and offers a user friendly interface to access powerful MC calculations. It can be used to validate dose distributions from clinical treatment planning systems or model based dose calculation algorithms, and is also well suited to testing novel combinations of radiation sources and applicators, especially those shielded with high Z materials.


CapWAP Captioning with a Purpose. The traditional image captioning task uses generic reference captions to provide textual information about images. Different user populations, however, will care about different visual aspects of images. In this paper, we propose a new task, Captioning with a Purpose (CapWAP). Our goal is to develop systems that can be tailored to be useful for the information needs of an intended population, rather than merely provide generic information about an image. In this task, we use question answer (QA) pairs a natural expression of information need from users, instead of reference captions, for both training and post inference evaluation. We show that it is possible to use reinforcement learning to directly optimize for the intended information need, by rewarding outputs that allow a question answering model to provide correct answers to sampled user questions. We convert several visual question answering datasets into CapWAP datasets, and demonstrate that under a variety of scenarios our purposeful captioning system learns to anticipate and fulfill specific information needs better than its generic counterparts, as measured by QA performance on user questions from unseen images, when using the caption alone as context.


Prokhorov like conditions for weak compactness of sets of bounded Radon measures on different topological spaces. The paper presents some weak compactness criterion for a subset M of the set mathfrak RM b(T, mathcal G ) of all positive bounded Radon measures on a Hausdorff topological space (T, mathcal G ) similar to the Prokhorov criterion for a complete separable metric space. Since for a general topological space the classical space C b(T, mathcal G ) of all bounded continuous functions on T can be trivial and so does not separate points and closed sets, instead of C b(T, mathcal G ) weak compactness we consider S(T, mathcal G ) weak compactness with respect to the new uniformly closed linear space S(T, mathcal G ) of all (symmetrizable) metasemicontinuous functions.


Dynamics of concentration in a population model structured by age and a phenotypical trait. We study a mathematical model describing the growth process of a population structured by age and a phenotypical trait, subject to aging, competition between individuals and rare mutations. Our goals are to describe the asymptotic behaviour of the solution to a renewal type equation, and then to derive properties that illustrate the adaptive dynamics of such a population. We begin with a simplified model by discarding the effect of mutations, which allows us to introduce the main ideas and state the full result. Then we discuss the general model and its limitations. Our approach uses the eigenelements of a formal limiting operator, that depend on the structuring variables of the model and define an effective fitness. Then we introduce a new method which reduces the convergence proof to entropy estimates rather than estimates on the constrained Hamilton Jacobi equation. Numerical tests illustrate the theory and show the selection of a fittest trait according to the effective fitness. For the problem with mutations, an unusual Hamiltonian arises with an exponential growth, for which we show existence of a global viscosity solution, using an uncommon a priori estimate and a new uniqueness result.


Higher level q oscillator representations for U q(C n (1) ),U q(C (2) (n 1)) and U q(B (1) (0,n)) . We introduce higher level q oscillator representations for the quantum affine (super)algebras of type C n (1) ,C (2) (n 1) and B (1) (0,n) . These representations are constructed by applying the fusion procedure to the level one q oscillator representations which were obtained through the studies of the tetrahedron equation. We prove that these higher level q oscillator representations are irreducible. For type C n (1) and C (2) (n 1) , we compute their characters explicitly in terms of Schur polynomials.


Smartphone Security Behavioral Scale A New Psychometric Measurement for Smartphone Security. Despite widespread use of smartphones, there is no measurement standard targeted at smartphone security behaviors. In this paper we translate a well known cybersecurity behavioral scale into the smartphone domain and show that we can improve on this translation by following an established psychometrics approach surveying 1011 participants. We design a new 14 item Smartphone Security Behavioral Scale (SSBS) exhibiting high reliability and good fit to a two component behavioural model based on technical versus social protection strategies. We then demonstrate how SSBS can be applied to measure the influence of mental health issues on smartphone security behavior intentions. We found significant correlations that predict SSBS profiles from three types of MHIs. Conversely, we are able to predict presence of MHIs using SSBS profiles.We obtain prediction AUCs of 72.1 for Internet addiction,75.8 for depression and 66.2 for insomnia.


A Newton algorithm for semi discrete optimal transport with storage fees. We introduce and prove convergence of a damped Newton algorithm to approximate solutions of the semi discrete optimal transport problem with storage fees, corresponding to a problem with hard capacity constraints. This is a variant of the optimal transport problem arising in queue penalization problems, and has applications to data clustering. Our result is novel as it is the first numerical method with proven convergence for this variant problem additionally the algorithm applies to the classical semi discrete optimal transport problem but does not require any connectedness assumptions on the support of the source measure, in contrast with existing results. Furthermore we find some stability results of the associated Laguerre cells. All of our results come with quantitative rates. We also present some numerical examples.


Privacy Preserving Count Statistics. The ability to preserve user privacy and anonymity is important. One of the safest ways to maintain privacy is to avoid storing personally identifiable information (PII), which poses a challenge for maintaining useful user statistics. Probabilistic counting has been used to find the cardinality of a multiset when precise counting is too resource intensive. In this paper, probabilistic counting is used as an anonymization technique that provides a reliable estimate of the number of unique users. We extend previous work in probabilistic counting by considering its use for preserving user anonymity, developing application guidelines and including hash collisions in the estimate. Our work complements previous method by attempting to explore the causes of the deviation of uncorrected estimate from the real value. The experimental results show that if the proper register size is used, collision compensation provides estimates are as good as, if not better than, the original probabilistic counting. We develop a new anonymity metric to precisely quantify the degree of anonymity the algorithm provides.


Content Aware Inter Scale Cost Aggregation for Stereo Matching. Cost aggregation is a key component of stereo matching for high quality depth estimation. Most methods use multi scale processing to downsample cost volume for proper context information, but will cause loss of details when upsampling. In this paper, we present a content aware inter scale cost aggregation method that adaptively aggregates and upsamples the cost volume from coarse scale to fine scale by learning dynamic filter weights according to the content of the left and right views on the two scales. Our method achieves reliable detail recovery when upsampling through the aggregation of information across different scales. Furthermore, a novel decomposition strategy is proposed to efficiently construct the 3D filter weights and aggregate the 3D cost volume, which greatly reduces the computation cost. We first learn the 2D similarities via the feature maps on the two scales, and then build the 3D filter weights based on the 2D similarities from the left and right views. After that, we split the aggregation in a full 3D spatial disparity space into the aggregation in 1D disparity space and 2D spatial space. Experiment results on Scene Flow dataset, KITTI2015 and Middlebury demonstrate the effectiveness of our method.


Time's Arrow and Self Locating Probability. One of the most difficult problems in the foundations of physics is what gives rise to the arrow of time. Since the fundamental dynamical laws of physics are (essentially) symmetric in time, the explanation for time's arrow must come from elsewhere. A promising explanation introduces a special cosmological initial condition, now called the Past Hypothesis the universe started in a low entropy state. Unfortunately, in a universe where there are many copies of us (in the distant "past" or the distant "future"), the Past Hypothesis is not enough we also need to postulate self locating (de se) probabilities. However, I show that we can similarly use self locating probabilities to strengthen its rival the Fluctuation Hypothesis, leading to in principle empirical underdetermination and radical epistemological skepticism. The underdetermination is robust in the sense that it is not resolved by the usual appeal to 'empirical coherence' or 'simplicity.' That is a serious problem for the vision of providing a completely scientific explanation of time's arrow.


Runtime Analysis of Evolutionary Algorithms via Symmetry Arguments. We use an elementary argument building on group actions to prove that the selection free steady state genetic algorithm analyzed by Sutton and Witt (GECCO 2019) takes an expected number of Omega(2 n sqrt n) iterations to find any particular target search point. This bound is valid for all population sizes mu . Our result improves over the previous lower bound of Omega( exp(n delta 2 )) valid for population sizes mu O(n 1 2 delta ) , 0 delta 1 2 .


Simple Formula for Integration of Polynomials on a Simplex. We show that integrating a polynomial of degree t on an arbitrary simplex (with respect to Lebesgue measure) reduces to evaluating t homogeneous polynomials of degree j 1, 2,. .. , t, each at a unique point xi j of the simplex. This new and very simple formula can be exploited in finite (and extended finite) element methods, as well as in other applications where such integrals are needed.


Stripe based and Attribute aware Network A Two Branch Deep Model for Vehicle Re identification. Vehicle re identification (Re ID) has been attracting increasing interest in the field of computer vision due to the growing utilization of surveillance cameras in public security. However, vehicle Re ID still suffers a similarity challenge despite the efforts made to solve this problem. This challenge involves distinguishing different instances with nearly identical appearances. In this paper, we propose a novel two branch stripe based and attribute aware deep convolutional neural network (SAN) to learn the efficient feature embedding for vehicle Re ID task. The two branch neural network, consisting of stripe based branch and attribute aware branches, can adaptively extract the discriminative features from the visual appearance of vehicles. A horizontal average pooling and dimension reduced convolutional layers are inserted into the stripe based branch to achieve part level features. Meanwhile, the attribute aware branch extracts the global feature under the supervision of vehicle attribute labels to separate the similar vehicle identities with different attribute annotations. Finally, the part level and global features are concatenated together to form the final descriptor of the input image for vehicle Re ID. The final descriptor not only can separate vehicles with different attributes but also distinguish vehicle identities with the same attributes. The extensive experiments on both VehicleID and VeRi databases show that the proposed SAN method outperforms other state of the art vehicle Re ID approaches.


Birefringence in thermally anisotropic relativistic plasmas and its impact on laser plasma interactions. One of the paradigm shifting phenomena triggered in laser plasma interactions at relativistic intensities is the so called relativistic transparency. As the electrons become heated by the laser to relativistic energies, the plasma becomes transparent to the laser light even though the plasma density is sufficiently high to reflect the laser pulse in the non relativistic case. This paper highlights the impact that relativistic transparency can have on laser matter interactions by focusing on a collective phenomenon that is associated with the onset of relativistic transparency plasma birefringence in thermally anisotropic relativistic plasmas. The optical properties of such a system become dependent on the polarization of light, and this can serve as the basis for plasma based optical devices or novel diagnostic capabilities.


Adaptive Precision Training for Resource Constrained Devices. Learn in situ is a growing trend for Edge AI. Training deep neural network (DNN) on edge devices is challenging because both energy and memory are constrained. Low precision training helps to reduce the energy cost of a single training iteration, but that does not necessarily translate to energy savings for the whole training process, because low precision could slows down the convergence rate. One evidence is that most works for low precision training keep an fp32 copy of the model during training, which in turn imposes memory requirements on edge devices. In this work we propose Adaptive Precision Training. It is able to save both total training energy cost and memory usage at the same time. We use model of the same precision for both forward and backward pass in order to reduce memory usage for training. Through evaluating the progress of training, APT allocates layer wise precision dynamically so that the model learns quicker for longer time. APT provides an application specific hyper parameter for users to play trade off between training energy cost, memory usage and accuracy. Experiment shows that APT achieves more than 50 saving on training energy and memory usage with limited accuracy loss. 20 more savings of training energy and memory usage can be achieved in return for a 1 sacrifice in accuracy loss.


Mainlining Databases Supporting Fast Transactional Workloads on Universal Columnar Data File Formats. The proliferation of modern data processing tools has given rise to open source columnar data formats. The advantage of these formats is that they help organizations avoid repeatedly converting data to a new format for each application. These formats, however, are read only, and organizations must use a heavy weight transformation process to load data from on line transactional processing (OLTP) systems. We aim to reduce or even eliminate this process by developing a storage architecture for in memory database management systems (DBMSs) that is aware of the eventual usage of its data and emits columnar storage blocks in a universal open source format. We introduce relaxations to common analytical data formats to efficiently update records and rely on a lightweight transformation process to convert blocks to a read optimized layout when they are cold. We also describe how to access data from third party analytical tools with minimal serialization overhead. To evaluate our work, we implemented our storage engine based on the Apache Arrow format and integrated it into the DB X DBMS. Our experiments show that our approach achieves comparable performance with dedicated OLTP DBMSs while enabling orders of magnitude faster data exports to external data science and machine learning tools than existing methods.


Nilpotent covers of symmetric and alternating groups. We prove that the symmetric group S n has a unique minimal cover mathcal M by maximal nilpotent subgroups, and we obtain an explicit and easily computed formula for the order of mathcal M . In addition, we prove that the order of mathcal M is equal to the order of a maximal non nilpotent subset of S n . This cover mathcal M has attractive properties for instance, it is a normal cover, and the number of conjugacy classes of subgroups in the cover is equal to the number of partitions of n into distinct positive integers. We show that these results contrast with those for the alternating group A n . In particular, we prove that, for all but finitely many values of n , no minimal cover of A n by maximal nilpotent subgroups is a normal cover and the order of a minimal cover of A n by maximal nilpotent subgroups is strictly greater than the order of a maximal non nilpotent subset of A n .


Bounded verification of message passing concurrency in Go using Promela and Spin. This paper describes a static verification framework for the message passing fragment of the Go programming language. Our framework extracts models that over approximate the message passing behaviour of a program. These models, or behavioural types, are encoded in Promela, hence can be efficiently verified with Spin. We improve on previous works by verifying programs that include communication related parameters that are unknown at compile time, i.e., programs that spawn a parameterised number of threads or that create channels with a parameterised capacity. These programs are checked via a bounded verification approach with bounds provided by the user.


Large Scale Optimal Transport via Adversarial Training with Cycle Consistency. Recent advances in large scale optimal transport have greatly extended its application scenarios in machine learning. However, existing methods either not explicitly learn the transport map or do not support general cost function. In this paper, we propose an end to end approach for large scale optimal transport, which directly solves the transport map and is compatible with general cost function. It models the transport map via stochastic neural networks and enforces the constraint on the marginal distributions via adversarial training. The proposed framework can be further extended towards learning Monge map or optimal bijection via adopting cycle consistency constraint(s). We verify the effectiveness of the proposed method and demonstrate its superior performance against existing methods with large scale real world applications, including domain adaptation, image to image translation, and color transfer.


Mixed Privacy Forgetting in Deep Networks. We show that the influence of a subset of the training samples can be removed or "forgotten" from the weights of a network trained on large scale image classification tasks, and we provide strong computable bounds on the amount of remaining information after forgetting. Inspired by real world applications of forgetting techniques, we introduce a novel notion of forgetting in mixed privacy setting, where we know that a "core" subset of the training samples does not need to be forgotten. While this variation of the problem is conceptually simple, we show that working in this setting significantly improves the accuracy and guarantees of forgetting methods applied to vision classification tasks. Moreover, our method allows efficient removal of all information contained in non core data by simply setting to zero a subset of the weights with minimal loss in performance. We achieve these results by replacing a standard deep network with a suitable linear approximation. With opportune changes to the network architecture and training procedure, we show that such linear approximation achieves comparable performance to the original network and that the forgetting problem becomes quadratic and can be solved efficiently even for large models. Unlike previous forgetting methods on deep networks, ours can achieve close to the state of the art accuracy on large scale vision tasks. In particular, we show that our method allows forgetting without having to trade off the model accuracy.


Wrapper Feature Selection Algorithm for the Optimization of an Indicator System of Patent Value Assessment. Effective patent value assessment provides decision support for patent transection and promotes the practical application of patent technology. The limitations of previous research on patent value assessment were analyzed in this work, and a wrapper mode feature selection algorithm that is based on classifier prediction accuracy was developed. Verification experiments on multiple UCI standard datasets indicated that the algorithm effectively reduced the size of the feature set and significantly enhanced the prediction accuracy of the classifier. When the algorithm was utilized to establish an indicator system of patent value assessment, the size of the system was reduced, and the generalization performance of the classifier was enhanced. Sequential forward selection was applied to further reduce the size of the indicator set and generate an optimal indicator system of patent value assessment.


Hierarchical Bi Directional Feature Perception Network for Person Re Identification. Previous Person Re Identification (Re ID) models aim to focus on the most discriminative region of an image, while its performance may be compromised when that region is missing caused by camera viewpoint changes or occlusion. To solve this issue, we propose a novel model named Hierarchical Bi directional Feature Perception Network (HBFP Net) to correlate multi level information and reinforce each other. First, the correlation maps of cross level feature pairs are modeled via low rank bilinear pooling. Then, based on the correlation maps, Bi directional Feature Perception (BFP) module is employed to enrich the attention regions of high level feature, and to learn abstract and specific information in low level feature. And then, we propose a novel end to end hierarchical network which integrates multi level augmented features and inputs the augmented low and middle level features to following layers to retrain a new powerful network. What's more, we propose a novel trainable generalized pooling, which can dynamically select any value of all locations in feature maps to be activated. Extensive experiments implemented on the mainstream evaluation datasets including Market 1501, CUHK03 and DukeMTMC ReID show that our method outperforms the recent SOTA Re ID models.


Pixel DAG Recurrent Neural Network for Spectral Spatial Hyperspectral Image Classification. Exploiting rich spatial and spectral features contributes to improve the classification accuracy of hyperspectral images (HSIs). In this paper, based on the mechanism of the population receptive field (pRF) in human visual cortex, we further utilize the spatial correlation of pixels in images and propose pixel directed acyclic graph recurrent neural network (Pixel DAG RNN) to extract and apply spectral spatial features for HSIs classification. In our model, an undirected cyclic graph (UCG) is used to represent the relevance connectivity of pixels in an image patch, and four DAGs are used to approximate the spatial relationship of UCGs. In order to avoid overfitting, weight sharing and dropout are adopted. The higher classification performance of our model on HSIs classification has been verified by experiments on three benchmark data sets.


mathrm GL 2( mathbb Q p) ordinary families and automorphy lifting. We prove automorphy lifting results for certain essentially conjugate self dual p adic Galois representations rho over CM imaginary fields F , which satisfy in particular that p splits in F , and that the restriction of rho on any decomposition group above p is reducible with all the Jordan H "older factors of dimension at most 2 . We also show some results on Breuil's locally analytic socle conjecture in certain non trianguline case. The main results are obtained by establishing an R mathbb T type result over the mathrm GL 2( mathbb Q p) ordinary families considered by Breuil Ding.


Riordan Groups in d Dimensions. The classical Riordan groups associated to a given commutative ring are groups of infinite matrices (called Riordan arrays) associated to pairs of formal power series in one variable. The Fundamental Theorem of Riordan Arrays relates matrix multiplication to two group actions on such series, namely formal (convolution) multiplication and formal composition. We define the analogous Riordan groups involving formal power series in several variables, and establish the analogue of the Fundamental Theorem in that context.


Justness A Completeness Criterion for Capturing Liveness Properties. This paper poses that transition systems constitute a good model of distributed systems only in combination with a criterion telling which paths model complete runs of the represented systems. Among such criteria, progress is too weak to capture relevant liveness properties, and fairness is often too strong for typical applications we advocate the intermediate criterion of justness. Previously, we proposed a definition of justness in terms of an asymmetric concurrency relation between transitions. Here we define such a concurrency relation for the transition systems associated to the process algebra CCS as well as its extensions with broadcast communication and signals, thereby making these process algebras suitable for capturing liveness properties requiring justness.


Real time Event Detection on Social Data Streams. Social networks are quickly becoming the primary medium for discussing what is happening around real world events. The information that is generated on social platforms like Twitter can produce rich data streams for immediate insights into ongoing matters and the conversations around them. To tackle the problem of event detection, we model events as a list of clusters of trending entities over time. We describe a real time system for discovering events that is modular in design and novel in scale and speed it applies clustering on a large stream with millions of entities per minute and produces a dynamically updated set of events. In order to assess clustering methodologies, we build an evaluation dataset derived from a snapshot of the full Twitter Firehose and propose novel metrics for measuring clustering quality. Through experiments and system profiling, we highlight key results from the offline and online pipelines. Finally, we visualize a high profile event on Twitter to show the importance of modeling the evolution of events, especially those detected from social data streams.


Dual pairs in complex reductive groups. In Roger Howe's 1989 paper, "Remarks on classical invariant theory," Howe introduces the notion of a "dual pair of Lie subalgebras" a pair ( mathfrak g 1, mathfrak g 2) of reductive Lie subalgebras of a Lie algebra mathfrak g such that mathfrak g 1 and mathfrak g 2 are each other's centralizers in mathfrak g . This notion has a natural analog for algebraic groups namely, a "dual pair of subgroups" is a pair (G 1, G 2) of reductive subgroups of an algebraic group G such that G 1 and G 2 are each other's centralizers in G . We present substantial progress towards classifying the dual pairs of the complex classical groups ( GL(n, mathbb C ) , SL(n, mathbb C ) , Sp(2n, mathbb C ) , O(n, mathbb C ) , and SO(n, mathbb C ) ) and their projective counterparts ( PGL(n, mathbb C ) , PSp(2n, mathbb C ) , PO(n, mathbb C ) , PSO(n, mathbb C ) ). The classifications of dual pairs in Sp(2n, mathbb C ) , GL(n, mathbb C ) , and O(n, mathbb C ) are known, but lack a unified explicit treatment we provide such a treatment. Additionally, we classify the dual pairs in SL(n, mathbb C ) and SO(n, mathbb C ) , and present partial progress towards classifying the dual pairs in PGL(n, mathbb C ) , PSp(2n, mathbb C ) , and PO(n, mathbb C ) .


Sofic profiles of S( omega ) and computability. We show that for every sofic chunk E there is a bijective homomorphism f E c rightarrow E , where E c is a chunk of the group of computable permutations of mathbb N so that the approximating morphisms of E can be viewed as restrictions of permutations of E c to finite subsets of mathbb N . Using this we study some relevant effectivity conditions associated with sofic chunks and their profiles.


Light shift spectroscopy of optically trapped atomic ensembles. We develop a method for extracting the physical parameters of interest for a dipole trapped cold atomic ensemble. This technique uses the spatially dependent ac Stark shift of the trap itself to project the atomic distribution onto a light shift broadened transmission spectrum. We develop a model that connects the atomic distribution with the expected transmission spectrum. We then demonstrate the utility of the technique by deriving the temperature, trap depth, lifetime, and trapped atom number from data that was taken in a single shot experimental measurement.


Revisiting the Context Window for Cross lingual Word Embeddings. Existing approaches to mapping based cross lingual word embeddings are based on the assumption that the source and target embedding spaces are structurally similar. The structures of embedding spaces largely depend on the co occurrence statistics of each word, which the choice of context window determines. Despite this obvious connection between the context window and mapping based cross lingual embeddings, their relationship has been underexplored in prior work. In this work, we provide a thorough evaluation, in various languages, domains, and tasks, of bilingual embeddings trained with different context windows. The highlight of our findings is that increasing the size of both the source and target window sizes improves the performance of bilingual lexicon induction, especially the performance on frequent nouns.


"Wait, I'm Still Talking!" Predicting the Dialogue Interaction Behavior Using Imagine Then Arbitrate Model. Producing natural and accurate responses like human beings is the ultimate goal of intelligent dialogue agents. So far, most of the past works concentrate on selecting or generating one pertinent and fluent response according to current query and its context. These models work on a one to one environment, making one response to one utterance each round. However, in real human human conversations, human often sequentially sends several short messages for readability instead of a long message in one turn. Thus messages will not end with an explicit ending signal, which is crucial for agents to decide when to reply. So the first step for an intelligent dialogue agent is not replying but deciding if it should reply at the moment. To address this issue, in this paper, we propose a novel Imagine then Arbitrate (ITA) neural dialogue model to help the agent decide whether to wait or to make a response directly. Our method has two imaginator modules and an arbitrator module. The two imaginators will learn the agent's and user's speaking style respectively, generate possible utterances as the input of the arbitrator, combining with dialogue history. And the arbitrator decides whether to wait or to make a response to the user directly. To verify the performance and effectiveness of our method, we prepared two dialogue datasets and compared our approach with several popular models. Experimental results show that our model performs well on addressing ending prediction issue and outperforms baseline models.


Gradient Flow Finite Element Discretizations with Energy Based Adaptivity for the Gross Pitaevskii Equation. We present an effective adaptive procedure for the numerical approximation of the steady state Gross Pitaevskii equation. Our approach is solely based on energy minimization, and consists of a combination of gradient flow iterations and adaptive finite element mesh refinements. Numerical tests show that this strategy is able to provide highly accurate results, with optimal convergence rates with respect to the number of freedom.


The behavior of pi submaximal subgroups under homomorphisms with pi separable kernels. We explore the extent to which constructing the inductive theory of mathfrak X submaximal subgroups is possible. To this end, we study the behavior of pi submaximal subgroups under homomorphisms with pi separable kernels and construct examples where such behavior is irregular.


Counting invariant subspaces and decompositions of additive polynomials. The functional (de)composition of polynomials is a topic in pure and computer algebra with many applications. The structure of decompositions of (suitably normalized) polynomials f(x) g(h(x)) in F x over a field F is well understood in many cases, but less well when the degree of f is divisible by the positive characteristic p of F. This work investigates the decompositions of r additive polynomials, where every exponent and also the field size is a power of r, which itself is a power of p. The decompositions of an r additive polynomial f are intimately linked to the Frobenius invariant subspaces of its root space V in the algebraic closure of F. We present an efficient algorithm to compute the rational Jordan form of the Frobenius automorphism on V. A formula of Fripertinger (2011) then counts the number of Frobenius invariant subspaces of a given dimension and we derive the number of decompositions with prescribed degrees.


A Survey on Split Manufacturing Attacks, Defenses, and Challenges. In today's integrated circuit (IC) ecosystem, owning a foundry is not economically viable, and therefore most IC design houses are now working under a fabless business model. In order to overcome security concerns associated with the outsorcing of IC fabrication, the Split Manufacturing technique was proposed. In Split Manufacturing, the Front End of Line (FEOL) layers (transistors and lower metal layers) are fabricated at an untrusted high end foundry, while the Back End of Line (BEOL) layers (higher metal layers) are manufactured at a trusted low end foundry. This approach hides the BEOL connections from the untrusted foundry, thus preventing overproduction and piracy threats. However, many works demonstrate that BEOL connections can be derived by exploiting layout characteristics that are introduced by heuristics employed in typical floorplanning, placement, and routing algorithms. Since straightforward Split Manufacturing may not afford a desirable security level, many authors propose defense techniques to be used along with Split Manufacturing. In our survey, we present a detailed overview of the technique, the many types of attacks towards Split Manufacturing, as well as possible defense techniques described in the literature. For the attacks, we present a concise discussion on the different threat models and assumptions, while for the defenses we classify the studies into three categories proximity perturbation, wire lifting, and layout obfuscation. The main outcome of our survey is to highlight the discrepancy between many studies some claim netlists can be reconstructed with near perfect precision, while others claim marginal success in retrieving BEOL connections. Finally, we also discuss future trends and challenges inherent to Split Manufacturing, including the fundamental difficulty of evaluating the efficiency of the technique.


Renormalised energies and renormalisable singular harmonic maps into a compact manifold on planar domains. We define renormalised energies for maps that describe the first order asymptotics of harmonic maps outside of singularities arising due to obstructions generated by the boundary data and the mutliple connectedness of the target manifold. The constructions generalise the definition by Bethuel, Brezis and H 'elein for the circle (Ginzburg Landau vortices, 1994). In general, the singularities are geometrical objects and the dependence on homotopic singularities can be studied through a new notion of synharmony. The renormalised energies are showed to be coercive and Lipschitz continuous. The renormalised energies are associated to minimising renormalisable singular harmonic maps and minimising configurations of points can be characterised by the flux of the stress energy tensor at the singularities. We compute the singular energy and the renormalised energy in several particular cases.


Thermo kinetic explosions safety first or safety last?. Gas and vapour explosions have been involved in industrial accidents since the beginnings of industry. A century ago, at 11 55 am on Friday 24th September 1920, the petroleum barge Warwick exploded in London's docklands and seven men were killed. Understanding what happened when it blew up as it was being refurbished, and how to prevent similar explosions, involves fluid mechanics and thermodynamics plus chemistry. I recount the 1920 accident as an example, together with the history of thermo kinetic explosions prior to 1920 and up to the present day, and I review the history and the actual state of the science of explosion and the roles of fluid mechanics, thermodynamics, and chemistry in that science. The science of explosions has been aware of its societal implications from the beginning, but, despite advances in health and safety over the past century, is there still work to do?


Sample Paths Estimates for Stochastic Fast Slow Systems driven by Fractional Brownian Motion. We analyze the effect of additive fractional noise with Hurst parameter H frac 1 2 on fast slow systems. Our strategy is based on sample paths estimates, similar to the approach by Berglund and Gentz in the Brownian motion case. Yet, the setting of fractional Brownian motion does not allow us to use the martingale methods from fast slow systems with Brownian motion. We thoroughly investigate the case where the deterministic system permits a uniformly hyperbolic stable slow manifold. In this setting, we provide a neighborhood, tailored to the fast slow structure of the system, that contains the process with high probability. We prove this assertion by providing exponential error estimates on the probability that the system leaves this neighborhood. We also illustrate our results in an example arising in climate modeling, where time correlated noise processes have become of greater relevance recently.


An R Package for generating covariance matrices for maximum entropy sampling from precipitation chemistry data. We present an open source R package (MESgenCov v 0.1.0) for temporally fitting multivariate precipitation chemistry data and extracting a covariance matrix for use in the MESP (maximum entropy sampling problem). We provide multiple functionalities for modeling and model assessment. The package is tightly coupled with NADP NTN (National Atmospheric Deposition Program National Trends Network) data from their set of 379 monitoring sites, 1978 present. The user specifies the sites, chemicals, and time period desired, fits an appropriate user specified univariate model for each site and chemical selected, and the package produces a covariance matrix for use by MESP algorithms.


Runge Kutta methods for rough differential equations. We study Runge Kutta methods for rough differential equations which can be used to calculate solutions to stochastic differential equations driven by processes that are rougher than a Brownian motion. We use a Taylor series representation (B series) for both the numerical scheme and the solution of the rough differential equation in order to determine conditions that guarantee the desired order of the local error for the underlying Runge Kutta method. Subsequently, we prove the order of the global error given the local rate. In addition, we simplify the numerical approximation by introducing a Runge Kutta scheme that is based on the increments of the driver of the rough differential equation. This simplified method can be easily implemented and is computational cheap since it is derivative free. We provide a full characterization of this implementable Runge Kutta method meaning that we provide necessary and sufficient algebraic conditions for an optimal order of convergence in case that the driver, e.g., is a fractional Brownian motion with Hurst index frac 1 4 H leq frac 1 2 . We conclude this paper by conducting numerical experiments verifying the theoretical rate of convergence.


Quasi total Roman domination in graphs. A quasi total Roman dominating function on a graph G (V, E) is a function f V rightarrow 0,1,2 satisfying the following every vertex u for which f(u) 0 is adjacent to at least one vertex v for which f(v) 2 , and if x is an isolated vertex in the subgraph induced by the set of vertices labeled with 1 and 2, then f(x) 1 . The weight of a quasi total Roman dominating function is the value omega(f) f(V) sum u in V f(u) . The minimum weight of a quasi total Roman dominating function on a graph G is called the quasi total Roman domination number of G . We introduce the quasi total Roman domination number of graphs in this article, and begin the study of its combinatorial and computational properties.


Uneven Coverage of Natural Disasters in Wikipedia the Case of Flood. The usage of non authoritative data for disaster management presents the opportunity of accessing timely information that might not be available through other means, as well as the challenge of dealing with several layers of biases. Wikipedia, a collaboratively produced encyclopedia, includes in depth information about many natural and human made disasters, and its editors are particularly good at adding information in real time as a crisis unfolds. In this study, we focus on the English version of Wikipedia, that is by far the most comprehensive version of this encyclopedia. Wikipedia tends to have good coverage of disasters, particularly those having a large number of fatalities. However, we also show that a tendency to cover events in wealthy countries and not cover events in poorer ones permeates Wikipedia as a source for disaster related information. By performing careful automatic content analysis at a large scale, we show how the coverage of floods in Wikipedia is skewed towards rich, English speaking countries, in particular the US and Canada. We also note how coverage of floods in countries with the lowest income, as well as countries in South America, is substantially lower than the coverage of floods in middle income countries. These results have implications for systems using Wikipedia or similar collaborative media platforms as an information source for detecting emergencies or for gathering valuable information for disaster response.


Geometric Planar Networks on Bichromatic Points. We study four classical graph problems Hamiltonian path, Traveling salesman, Minimum spanning tree, and Minimum perfect matching on geometric graphs induced by bichromatic (red and blue) points. These problems have been widely studied for points in the Euclidean plane, and many of them are NP hard. In this work, we consider these problems in two restricted settings (i) collinear points and (ii) equidistant points on a circle. We show that almost all of these problems can be solved in linear time in these constrained, yet non trivial settings.


Automatic Calibration of Multiple 3D LiDARs in Urban Environments. Multiple LiDARs have progressively emerged on autonomous vehicles for rendering a wide field of view and dense measurements. However, the lack of precise calibration negatively affects their potential applications in localization and perception systems. In this paper, we propose a novel system that enables automatic multi LiDAR calibration without any calibration target, prior environmental information, and initial values of the extrinsic parameters. Our approach starts with a hand eye calibration for automatic initialization by aligning the estimated motions of each sensor. The resulting parameters are then refined with an appearance based method by minimizing a cost function constructed from point plane correspondences. Experimental results on simulated and real world data sets demonstrate the reliability and accuracy of our calibration approach. The proposed approach can calibrate a multi LiDAR system with the rotation and translation errors less than 0.04 rad and 0.1 m respectively for a mobile platform.


On Functions of Markov Random Fields. We derive two sufficient conditions for a function of a Markov random field (MRF) on a given graph to be a MRF on the same graph. The first condition is information theoretic and parallels a recent information theoretic characterization of lumpability of Markov chains. The second condition, which is easier to check, is based on the potential functions of the corresponding Gibbs field. We illustrate our sufficient conditions at the hand of several examples and discuss implications for practical applications of MRFs. As a side result, we give a partial characterization of functions of MRFs that are information preserving.


Probabilistic Saturations and Alt's Problem. Alt's problem, formulated in 1923, is to count the number of four bar linkages whose coupler curve interpolates nine general points in the plane. This problem can be phrased as counting the number of solutions to a system of polynomial equations which was first solved numerically using homotopy continuation by Wampler, Morgan, and Sommese in 1992. Since there is still not a proof that all solutions were obtained, we consider upper bounds for Alt's problem by counting the number of solutions outside of the base locus to a system arising as the general linear combination of polynomials. In particular, we derive effective symbolic and numeric methods for studying such systems using probabilistic saturations that can be employed using both finite fields and floating point computations. We give bounds on the size of finite field required to achieve a desired level of certainty. These methods can also be applied to many other problems where similar systems arise such as computing the volumes of Newton Okounkov bodies and computing intersection theoretic invariants including Euler characteristics, Chern classes, and Segre classes.


An Electric Vehicles Migration Framework for Public Institutions in Developing Countries. Electric vehicles, noted EV, with smaller environmental footprint than traditional gasoline vehicles or hybrids, are growing rapidly worldwide. Several countries such as Norway and Canada have successfully established their EV networks and achieved a significant progress towards their EV deployment. While the new EV technology is becoming popular in developed countries, emerging countries are lacking behind mainly because of the huge investment hurdle to establish EV networks. This paper provides an efficient mathematical model aiming to minimize the total costs involved in establishing an EV network, using real work data from Morocco. A given set of public institutions having a fleet of EVs are first grouped into zones based on clustering algorithms. Mixed integer linear programming model are developed to optimally select charging station locations within these organizations, with an objective to minimize total cost. This paper support the minimization of the investment needed to establish EV networks. The transition towards EV networks can first take place in cities, especially for public institutions fleet that have a fixed and known operating itinerary and schedule, followed by locations among cities. The mathematical models provided through this paper aim to enhance and foster policy makers' ability in making decisions related to the migration towards EV.


Confidence aware Non repetitive Multimodal Transformers for TextCaps. When describing an image, reading text in the visual scene is crucial to understand the key information. Recent work explores the TextCaps task, i.e. image captioning with reading Optical Character Recognition (OCR) tokens, which requires models to read text and cover them in generated captions. Existing approaches fail to generate accurate descriptions because of their (1) poor reading ability (2) inability to choose the crucial words among all extracted OCR tokens (3) repetition of words in predicted captions. To this end, we propose a Confidence aware Non repetitive Multimodal Transformers (CNMT) to tackle the above challenges. Our CNMT consists of a reading, a reasoning and a generation modules, in which Reading Module employs better OCR systems to enhance text reading ability and a confidence embedding to select the most noteworthy tokens. To address the issue of word redundancy in captions, our Generation Module includes a repetition mask to avoid predicting repeated word in captions. Our model outperforms state of the art models on TextCaps dataset, improving from 81.0 to 93.0 in CIDEr. Our source code is publicly available.


Geometry of varieties for graded maximal Cohen Macaulay modules. We study a variety for graded maximal Cohen Macaulay modules, which was introduced by Dao and Shipman. The main result of this paper asserts that there are only a finite number of isomorphism classes of graded maximal Cohen Macaulay modules with fixed Hilbert series over Cohen Macaulay algebras of graded countable representation type.


Accretivity and form boundedness of second order differential operators. Let mathcal L be the general second order differential operator with complex valued distributional coefficients A (a jk ) j, k 1 n , vec b (b j ) j 1 n , and c in an open set Omega subseteq mathbb R n ( n ge 1 ), with principal part either in the divergence form, mathcal L u rm div , (A nabla u) vec b cdot nabla u c , u , or non divergence form, mathcal L u sum j, , k 1 n , a jk , partial j partial k u vec b cdot nabla u c , u . We give a survey of the results by the authors which characterize the following two properties of mathcal L (1) mathcal L is accretive, i.e., rm Re , langle mathcal L u, , u rangle ge 0 (2) mathcal L is form bounded, i.e., vert langle mathcal L u, u rangle vert le C , Vert nabla u Vert L 2( Omega) 2 , for all complex valued u in C infty 0( Omega) .


A Multiple Filter Based Neural Network Approach to the Extrapolation of Adsorption Energies on Metal Surfaces for Catalysis Applications. Computational catalyst discovery involves the development of microkinetic reactor models based on estimated parameters determined from density functional theory (DFT). For complex surface chemistries, the cost of calculating the adsorption energies by DFT for a large number of reaction intermediates can become prohibitive. Here, we have identified appropriate descriptors and machine learning models that can be used to predict part of these adsorption energies given data on the rest of them. Our investigations also included the case when the species data used to train the predictive model is of different size relative to the species the model tries to predict an extrapolation in the data space which is typically difficult with regular machine learning models. We have developed a neural network based predictive model that combines an established model with the concepts of a convolutional neural network that, when extrapolating, achieves significant improvement over the previous models.


Infant mortality across species. A global probe of congenital abnormalities. Infant mortality, by which we understand the postnatal stage during which mortality is declining, is a manifestation and embodiment of congenital abnormalities. Severe defects will translate into death occurring shortly after birth whereas slighter anomalies may contribute to death much later, possibly only in adult age. While for many species birth defects would be nearly impossible to identify, infant mortality provides a convenient global assessment. In the present paper we examine a broad range of species from mammals to fish to gastropods to insects. One of the objectives of our comparative analysis is to test a conjecture suggested by reliability engineering according to which the frequency of defects tends to increase together with the complexity of organisms. For that purpose, we set up experiments specially designed to measure infant mortality. In particular, we two species commonly used as model species in biological laboratories, namely the zebrafish Danio rerio and the rotifer Brachionus plicatilis. For the second, whose number of cells is about hundred times smaller than for the first, we find as expected that the screening effect of the infant phase is of much smaller amplitude. Our analysis also raises a number of challenging questions for which further investigation is necessary. For instance, why is the infant death rate of beetles and mollusks falling off exponentially rather than as a power law as observed for most other species? A possible research agenda is discussed in the conclusion of the paper.


Lightweight Real time Makeup Try on in Mobile Browsers with Tiny CNN Models for Facial Tracking. Recent works on convolutional neural networks (CNNs) for facial alignment have demonstrated unprecedented accuracy on a variety of large, publicly available datasets. However, the developed models are often both cumbersome and computationally expensive, and are not adapted to applications on resource restricted devices. In this work, we look into developing and training compact facial alignment models that feature fast inference speed and small deployment size, making them suitable for applications on the aforementioned category of devices. Our main contribution lies in designing such small models while maintaining high accuracy of facial alignment. The models we propose make use of light CNN architectures adapted to the facial alignment problem for accurate two stage prediction of facial landmark coordinates from low resolution output heatmaps. We further combine the developed facial tracker with a rendering method, and build a real time makeup try on demo that runs client side in smartphone Web browsers. More results and demo are in our project page http research.modiface.com makeup try on cvprw2019


Porosity in conformal dynamical systems. In this paper we study various aspects of porosities for conformal fractals. We first explore porosity in the general context of infinite graph directed Markov systems (GDMS), and we show that, under some natural assumptions, their limit sets are porous in large (in the sense of category and dimension) subsets, and they are mean porous almost everywhere. On the other hand, we prove that if the limit set of a GDMS is not porous then it is not porous almost everywhere. We also revisit porosity for finite graph directed Markov systems, and we provide checkable criteria which guarantee that limit sets have holes of relative size at every scale in a prescribed direction. We then narrow our focus to systems associated to complex continued fractions with arbitrary alphabet and we provide a novel characterization of porosity for their limit sets. Moreover, we introduce the notions of upper density and upper box dimension for subsets of Gaussian integers and we explore their connections to porosity. As applications we show that limit sets of complex continued fractions system whose alphabet is co finite, or even a co finite subset of the Gaussian primes, are not porous almost everywhere, while they are mean porous almost everywhere. We finally turn our attention to complex dynamics and we delve into porosity for Julia sets of meromorphic functions. We show that if the Julia set of a tame meromorphic function is not the whole complex plane then it is porous at a dense set of its points and it is almost everywhere mean porous with respect to natural ergodic measures. On the other hand, if the Julia set is not porous then it is not porous almost everywhere. In particular, if the function is elliptic we show that its Julia set is not porous at a dense set of its points.


Rejection Based Simulation of Non Markovian Agents on Complex Networks. Stochastic models in which agents interact with their neighborhood according to a network topology are a powerful modeling framework to study the emergence of complex dynamic patterns in real world systems. Stochastic simulations are often the preferred sometimes the only feasible way to investigate such systems. Previous research focused primarily on Markovian models where the random time until an interaction happens follows an exponential distribution. In this work, we study a general framework to model systems where each agent is in one of several states. Agents can change their state at random, influenced by their complete neighborhood, while the time to the next event can follow an arbitrary probability distribution. Classically, these simulations are hindered by high computational costs of updating the rates of interconnected agents and sampling the random residence times from arbitrary distributions. We propose a rejection based, event driven simulation algorithm to overcome these limitations. Our method over approximates the instantaneous rates corresponding to inter event times while rejection events counterbalance these over approximations. We demonstrate the effectiveness of our approach on models of epidemic and information spreading.


Reconstructed discontinuous Galerkin method for compressible flows in arbitrary Lagrangian Eulerian formulation. We present a high order accurate reconstructed discontinuous Galerkin (rDG) method in arbitrary Lagrangian Eulerian (ALE) formulation, for solving two dimensional compressible flows on moving and deforming domains with unstructured curved meshes. The Taylor basis functions in use are defined on the time dependent domain, on which also the integration and computations are performed. A third order ESDIRK3 scheme is employed for the temporal integration. The Geometric Conservation Law (GCL) is satisfied by modifying the grid velocity terms on the right hand side of the discretized equations at Gauss quadrature points. To avoid excessive distortion and invalid elements near the moving boundary, we use the radial basis function (RBF) interpolation method for propagating the mesh motion of the boundary nodes to the interior of the mesh. Several numerical examples are performed to verify the designed spatial and temporal orders of accuracy, and to demonstrate the ability of handling moving boundary problems of the rDG ALE method.


COVID 19 Vaccine Acceptance in the US and UK in the Early Phase of the Pandemic AI Generated Vaccines Hesitancy for Minors, and the Role of Governments. This study presents survey results of the public's willingness to get vaccinated against COVID 19 during an early phase of the pandemic and examines factors that could influence vaccine acceptance based on a between subjects design. A representative quota sample of 572 adults in the US and UK participated in an online survey. First, the participants' medical use tendencies and initial vaccine acceptance were assessed then, short vignettes were provided to evaluate their changes in attitude towards COVID 19 vaccines. For data analysis, ANOVA and post hoc pairwise comparisons were used. The participants were more reluctant to vaccinate their children than themselves and the elderly. The use of artificial intelligence (AI) in vaccine development did not influence vaccine acceptance. Vignettes that explicitly stated the high effectiveness of vaccines led to an increase in vaccine acceptance. Our study suggests public policies emphasizing the vaccine effectiveness against the virus could lead to higher vaccination rates. We also discuss the public's expectations of governments concerning vaccine safety and present a series of implications based on our findings.


Drill down Interactive Retrieval of Complex Scenes using Natural Language Queries. This paper explores the task of interactive image retrieval using natural language queries, where a user progressively provides input queries to refine a set of retrieval results. Moreover, our work explores this problem in the context of complex image scenes containing multiple objects. We propose Drill down, an effective framework for encoding multiple queries with an efficient compact state representation that significantly extends current methods for single round image retrieval. We show that using multiple rounds of natural language queries as input can be surprisingly effective to find arbitrarily specific images of complex scenes. Furthermore, we find that existing image datasets with textual captions can provide a surprisingly effective form of weak supervision for this task. We compare our method with existing sequential encoding and embedding networks, demonstrating superior performance on two proposed benchmarks automatic image retrieval on a simulated scenario that uses region captions as queries, and interactive image retrieval using real queries from human evaluators.


P2L Predicting Transfer Learning for Images and Semantic Relations. Transfer learning enhances learning across tasks, by leveraging previously learned representations if they are properly chosen. We describe an efficient method to accurately estimate the appropriateness of a previously trained model for use in a new learning task. We use this measure, which we call "Predict To Learn" ("P2L"), in the two very different domains of images and semantic relations, where it predicts, from a set of "source" models, the one model most likely to produce effective transfer for training a given "target" model. We validate our approach thoroughly, by assembling a collection of candidate source models, then fine tuning each candidate to perform each of a collection of target tasks, and finally measuring how well transfer has been enhanced. Across 95 tasks within multiple domains (images classification and semantic relations), the P2L approach was able to select the best transfer learning model on average, while the heuristic of choosing model trained with the largest data set selected the best model in only 55 cases. These results suggest that P2L captures important information in common between source and target tasks, and that this shared informational structure contributes to successful transfer learning more than simple data size.


Force exerted on particle bunch propagating near plasma vacuum boundary. If a charged particle bunch propagates near a plasma vacuum boundary, it excites a surface wave and experiences a force caused by the boundary. For the linearly responding plasma and ultra relativistic bunch, the spatial distribution of excited fields is calculated, and the force exerted on a short and narrow bunch is approximated by elementary functions. The force attracts the bunch to the boundary, if the bunch is in the vacuum, and repels otherwise. There are also additional focusing and defocusing components of the force.


Measurement driven Analysis of an Edge Assisted Object Recognition System. We develop an edge assisted object recognition system with the aim of studying the system level trade offs between end to end latency and object recognition accuracy. We focus on developing techniques that optimize the transmission delay of the system and demonstrate the effect of image encoding rate and neural network size on these two performance metrics. We explore optimal trade offs between these metrics by measuring the performance of our real time object recognition application. Our measurements reveal hitherto unknown parameter effects and sharp trade offs, hence paving the road for optimizing this key service. Finally, we formulate two optimization problems using our measurement based models and following a Pareto analysis we find that careful tuning of the system operation yields at least 33 better performance for real time conditions, over the standard transmission method.


Shape optimization for interface identification in nonlocal models. Shape optimization methods have been proven useful for identifying interfaces in models governed by partial differential equations. Here we consider a class of shape optimization problems constrained by nonlocal equations which involve interface dependent kernels. We derive a novel shape derivative associated to the nonlocal system model and solve the problem by established numerical techniques.


Boosting Students' Performance With The Aid Of Social Network Analysis. There are various teaching methods developed in order to attain successful delivery of a subject without prior knowledge of the interaction among the students in a class. Social network analysis can be used to identify individual, intermediate and group measures of interaction in a classroom. The idea is on identifying ways to boost the students performance by means of lecturers intervention based on their interaction. The case study was conducted involving third year batch that consisted of 76 female and 24 male students. A friendship network was drawn based on the information obtained at the end of semester 5 and it was investigated based on two metrics namely centrality measures and Girvan Newman algorithm. At the end of semester 5, grades were added as the attributes of the network. 12 clusters were found in this batch and a distinct pattern was identified between performing and poor achieving students. At the beginning of the 6th semester, the students were given the option to choose between 2 groups. Group 1 was unperturbed without any lecturers intervention whereas the performing students clusters in Group 1 were preserved but the students in poor performing clusters were distributed among performing clusters. The students were then asked to carry out assignments and quizzes in their respective groups. The final grades indicated that the performance of the students of Group 1 was much superior and there was clear evidence that those poor performing students in the 5th semester performed much better in semester 6. This shows that by understanding the students interaction and incorporating instructors minimal intervention, the performance of the students can be improved by creating a social contagion effect through group assignment clustering.


The Capacity of Private Information Retrieval Under Arbitrary Collusion Patterns. We study the private information retrieval (PIR) problem under arbitrary collusion pattern for replicated databases. We find its capacity, which is the same as the capacity of the original PIR problem with the number of databases N replaced by a number S . The number S is the optimal solution to a linear programming problem that is a function of the collusion pattern. Hence, the collusion pattern affects the capacity of the PIR problem only through the number S .


Lower bounds for the first eigenvalue of the Laplacian on K "ahler manifolds. We establish lower bound for the first nonzero eigenvalue of the Laplacian on a closed K "ahler manifold in terms of dimension, diameter, and lower bounds of holomorphic sectional curvature and orthogonal Ricci curvature. On compact K "ahler manifolds with boundary, we prove lower bounds for the first nonzero Neumann or Dirichlet eigenvalue in terms of geometric data. Our results are K "ahler analogues of well known results for Riemannian manifolds.


Resilience of Urban Transport Network of Networks under Intense Flood Hazards Exacerbated by Targeted Attacks. Natural hazards including floods can trigger catastrophic failures in interdependent urban transport network of networks (NoNs). Population growth has enhanced transportation demand while urbanization and climate change have intensified urban floods. However, despite the clear need to develop actionable insights for improving the resilience of critical urban lifelines, the theory and methods remain underdeveloped. Furthermore, as infrastructure systems become more intelligent, security experts point to the growing threat of targeted cyber physical attacks during natural hazards. Here we develop a hypothesis driven resilience framework for urban transport NoNs, which we demonstrate on the London Rail Network (LRN). We find that topological attributes designed for maximizing efficiency rather than robustness render the network more vulnerable to compound natural targeted threats including cascading failures. Our results suggest that an organizing principle for post disruption recovery may be developed with network science principles. Our findings and frameworks can generalize to urban lifelines and more generally to real world spatial networks.


Some non sign symmetric signed graphs with symmetric spectrum. We construct infinitely many signed graphs having symmetric spectrum, by using the NEPS and rooted product of signed graphs. We also present a method for constructing large cospectral signed graphs. Although the obtained family contains only a minority of signed graphs, it strengthen the belief that the signed graphs with symmetric spectrum are deeper than bipartite graphs, i.e the unsigned graphs with symmetric spectrum.


Optimal auction duration A price formation viewpoint. We consider an auction market in which market makers fill the order book during a given time period while some other investors send market orders. We define the clearing price of the auction as the price maximizing the exchanged volume at the clearing time according to the supply and demand of each market participants. Then we derive in a semi explicit form the error made between this clearing price and the efficient price as a function of the auction duration. We study the impact of the behavior of market takers on this error. To do so we consider the case of naive market takers and that of rational market takers playing a Nash equilibrium to minimize their transaction costs. We compute the optimal duration of the auctions for 77 stocks traded on Euronext and compare the quality of price formation process under this optimal value to the case of a continuous limit order book. Continuous limit order books are found to be usually sub optimal. However, in term of our metric, they only moderately impair the quality of price formation process. Order of magnitude of optimal auction durations is from 2 to 10 minutes.


Emotion Detection using Image Processing in Python. In this work, user's emotion using its facial expressions will be detected. These expressions can be derived from the live feed via system's camera or any pre exisiting image available in the memory. Emotions possessed by humans can be recognized and has a vast scope of study in the computer vision industry upon which several researches have already been done. The work has been implemented using Python (2.7, Open Source Computer Vision Library (OpenCV) and NumPy. The scanned image(testing dataset) is being compared to the training dataset and thus emotion is predicted. The objective of this paper is to develop a system which can analyze the image and predict the expression of the person. The study proves that this procedure is workable and produces valid results.


A brief proof of Bochner's tube theorem and a generalized tube. The aim of this note is firstly to give a new brief proof of classical Bochner's Tube Theorem (1938) by making use of K. Oka's Boundary Distance Theorem (1942), showing directly that two points of the envelope of holomorphy of a tube can be connected by a line segment. We then apply the same idea to show that if an unramified domain mathfrak D A 1 iA 2 to mathbf C n with unramified real domains A j to mathbf R n is pseudoconvex, then the both A j are univalent and convex (a generalization of Kajiwara's theorem). From the viewpoint of this result we discuss a generalization by M. Abe with giving an example of a finite tube over mathbf C n for which Abe's theorem no longer holds. The present method may clarify the point where the (affine) convexity comes from.