A Computational Model for Molecular Interactions Between Curved Slender Fibers Undergoing Large 3D Deformations With a Focus on Electrostatic, van der Waals and Repulsive Steric Forces. This contribution proposes the first 3D beam to beam interaction model for molecular interactions between curved slender fibers undergoing large deformations. While the general model is not restricted to a specific beam formulation, in the present work it is combined with the geometrically exact beam theory and discretized via the finite element method. A direct evaluation of the total interaction potential for general 3D bodies requires the integration of contributions from molecule or charge distributions over the volumes of the interaction partners, leading to a 6D integral (two nested 3D integrals) that has to be solved numerically. Here, we propose a novel strategy to formulate reduced section to section interaction laws for the resultant interaction potential between a pair of cross sections of two slender fibers such that only two 1D integrals along the fibers' length directions have to be solved numerically. This section to section interaction potential (SSIP) approach yields a significant gain in efficiency, which is essential to enable the simulation of relevant time and length scales for many practical applications. In a first step, the generic structure of SSIP laws, which is suitable for the most general interaction scenario (e.g. fibers with arbitrary cross section shape and inhomogeneous atomic charge density within the cross section) is presented. Assuming circular, homogeneous cross sections, in a next step, specific analytical expressions for SSIP laws describing short range volume interactions (e.g. van der Waals or steric interactions) and long range surface interactions (e.g. Coulomb interactions) are proposed. The validity of the SSIP laws as well as the accuracy and robustness of the general SSIP approach to beam to beam interactions is thoroughly verified by means of a set of numerical examples considering steric repulsion, electrostatic or van der Waals adhesion.


Single Boundary Control of the Two Phase Stefan System. This paper presents the control design of the two phase Stefan problem. The two phase Stefan problem is a representative model of liquid solid phase transition by describing the time evolutions of the temperature profile which is divided by subdomains of liquid and solid phases as the liquid solid moving interface position. The mathematical formulation is given by two diffusion partial differential equations (PDEs) defined on a time varying spatial domain described by an ordinary differential equation (ODE) driven by the Neumann boundary values of both PDE states, resulting in a nonlinear coupled PDE ODE PDE system. We design a state feedback control law by means of energy shaping to stabilize the interface position to a desired setpoint by using single boundary heat input. We prove that the closed loop system under the control law ensures some conditions for model validity and the global exponential stability estimate is shown in L 2 norm. Furthermore, the robustness of the closed loop stability with respect to the uncertainties of the physical parameters is shown. Numerical simulation is provided to illustrate the good performance of the proposed control law in comparison to the control design for the one phase Stefan problem.


Pose Estimation for Omni directional Cameras using Sinusoid Fitting. We propose a novel pose estimation method for geometric vision of omni directional cameras. On the basis of the regularity of the pixel movement after camera pose changes, we formulate and prove the sinusoidal relationship between pixels movement and camera motion. We use the improved Fourier Mellin invariant (iFMI) algorithm to find the motion of pixels, which was shown to be more accurate and robust than the feature based methods. While iFMI works only on pin hole model images and estimates 4 parameters (x, y, yaw, scaling), our method works on panoramic images and estimates the full 6 DoF 3D transform, up to an unknown scale factor. For that we fit the motion of the pixels in the panoramic images, as determined by iFMI, to two sinusoidal functions. The offsets, amplitudes and phase shifts of the two functions then represent the 3D rotation and translation of the camera between the two images. We perform experiments for 3D rotation, which show that our algorithm outperforms the feature based methods in accuracy and robustness. We leave the more complex 3D translation experiments for future work.


Geometric Invariants of Plane and Space Curves. The traditional study of plane and space algebraic curves by looking at their tangent vectors, curvatures and torsions provides geometric, but unfortunately not sufficient information about individual curves in order to be able to distinguish between two different ones. The aim of this note is to generalize the classical concept of curvature and torsion to so called higher algebraic curvatures and to show that each analytic branch of a complex curve is already uniquely defined by them.


Maximum size intersecting families of bounded minimum positive co degree. Let mathcal H be an r uniform hypergraph. The emph minimum positive co degree of mathcal H , denoted by delta r 1 ( mathcal H ) , is the minimum k such that if S is an (r 1) set contained in a hyperedge of mathcal H , then S is contained in at least k hyperedges of mathcal H . For r geq k fixed and n sufficiently large, we determine the maximum possible size of an intersecting r uniform n vertex hypergraph with minimum positive co degree delta r 1 ( mathcal H ) geq k and characterize the unique hypergraph attaining this maximum. This generalizes the Erd H os Ko Rado theorem which corresponds to the case k 1 . Our proof is based on the delta system method.


Plug and Play SLAM A Unified SLAM Architecture for Modularity and Ease of Use. Nowadays, SLAM (Simultaneous Localization and Mapping) is considered by the Robotics community to be a mature field. Currently, there are many open source systems that are able to deliver fast and accurate estimation in typical real world scenarios. Still, all these systems often provide an ad hoc implementation that entailed to predefined sensor configurations. In this work, we tackle this issue, proposing a novel SLAM architecture specifically designed to address heterogeneous sensors' configuration and to standardize SLAM solutions. Thanks to its modularity and to specific design patterns, the presented architecture is easy to extend, enhancing code reuse and efficiency. Finally, adopting our solution, we conducted comparative experiments for a variety of sensor configurations, showing competitive results that confirm state of the art performance.


Eliciting Touristic Profiles A User Study on Picture Collections. Eliciting the preferences and needs of tourists is challenging, since people often have difficulties to explicitly express them, especially in the initial phase of travel planning. Recommender systems employed at the early stage of planning can therefore be very beneficial to the general satisfaction of a user. Previous studies have explored pictures as a tool of communication and as a way to implicitly deduce a traveller's preferences and needs. In this paper, we conduct a user study to verify previous claims and conceptual work on the feasibility of modelling travel interests from a selection of a user's pictures. We utilize fine tuned convolutional neural networks to compute a vector representation of a picture, where each dimension corresponds to a travel behavioural pattern from the traditional Seven Factor model. In our study, we followed strict privacy principles and did not save uploaded pictures after computing their vector representation. We aggregate the representations of the pictures of a user into a single user representation, i.e., touristic profile, using different strategies. In our user study with 81 participants, we let users adjust the predicted touristic profile and confirm the usefulness of our approach. Our results show that given a collection of pictures the touristic profile of a user can be determined.


Big Picard theorem for moduli spaces of polarized manifolds. Consider a smooth projective family of complex polarized manifolds with semi ample canonical sheaf over a quasi projective manifold V . When the associated moduli map V to P h from the base to coarse moduli space is quasi finite, we prove that the generalized big Picard theorem holds for the base manifold V for any projective compactification Y of V , any holomorphic map f Delta 0 to V from the punctured unit disk to V extends to a holomorphic map of the unit disk Delta into Y . This result generalizes our previous work on the Brody hyperbolicity of V (i.e. there are no entire curves on V ), as well as a more recent work by Lu Sun Zuo on the Borel hyperbolicity of V (i.e. any holomorphic map from a quasi projective variety to V is algebraic). We also obtain generalized big Picard theorem for bases of log Calabi Yau families.


Steady State Cargo Transport Modalities of Molecular Motor Ensembles Emerge from Single Motor Behavior. Transport of intracellular cargo is often mediated by teams of molecular motors that function in a chaotic environment and varying conditions. We show that the motors have unique steady state behavior which enables transport modalities that are robust. Under reduced ATP concentrations, multi motor configurations are preferred over single motors. Higher load force drives motors to cluster, but very high loads compel them to separate in a manner that promotes immediate cargo movement once the load reduces. These inferences, backed by analytical guarantees, provide unique insights into the coordination strategies adopted by motors.


New incompressible symmetric tensor categories in positive characteristic. We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field bf k . If rm char ( bf k ) p 0 , we use this method to construct generalizations rm Ver p n , rm Ver p n of the incompressible abelian symmetric tensor categories defined in arXiv 1807.05549 for p 2 and by Gelfand Kazhdan and Georgiev Mathieu for n 1 . Namely, rm Ver p n is the abelian envelope of the quotient of the category of tilting modules for SL 2( bf k) by the n th Steinberg module, and rm Ver p n is its subcategory generated by PGL 2( bf k) modules. We show that rm Ver p n are reductions to characteristic p of Verlinde braided tensor categories in characteristic zero, which explains the notation. We study the structure of these categories in detail, and in particular show that they categorify the real cyclotomic rings mathbb Z 2 cos(2 pi p n) , and that rm Ver p n embeds into rm Ver p n 1 . We conjecture that every symmetric tensor category of moderate growth over bf k admits a fiber functor to the union rm Ver p infty of the nested sequence rm Ver p subset rm Ver p 2 subset cdots . This would provide an analog of Deligne's theorem in characteristic zero and a generalization of the result of arXiv 1503.01492, which shows that this conjecture holds for fusion categories, and then moreover the fiber functor lands in rm Ver p .


Mapping properties of fundamental harmonic analysis operators in the exotic Bessel framework. We prove sharp power weighted L p , weak type and restricted weak type inequalities for the heat semigroup maximal operator and Riesz transforms associated with the Bessel operator B nu in the exotic range of the parameter infty nu 1 . Moreover, in the same framework, we characterize basic mapping properties for other fundamental harmonic analysis operators, including the heat semigroup based vertical g function and fractional integrals (Riesz potential operators).


Full Duplex Nonreciprocal Beam Steering Metasurfaces Comprising Time Modulated Twin Meta Atoms. We present the concept, theoretical model and experimental implementation of a full duplex nonreciprocal beam steering transmissive phase gradient metasurface. Such a metasurface is realized by exploiting the unique properties of the frequency phase transition in coupled time modulated twin meta atoms. The metasurface may be placed on top of a source antenna to transform the radiation pattern of the source antenna, and introduce different radiation patterns for the transmit and receive states. In contrast to the recently proposed applications of time modulation, here the incident and transmitted waves share the same frequency. The metasurface is endowed with directive, diverse and asymmetric transmission and reception radiation beams, and tunable beam shapes. Furthermore, these beams can be steered by simply changing the modulation phase. The proposed coupled meta atoms inherently suppress undesired time harmonics, leading to a high conversion efficiency which is of paramount importance for practical applications such as point to point full duplex communications.


A Logic Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders. Deductive formalisms have been strongly developed in recent years among them, Answer Set Programming (ASP) gained some momentum, and has been lately fruitfully employed in many real world scenarios. Nonetheless, in spite of a large number of success stories in relevant application areas, and even in industrial contexts, deductive reasoning cannot be considered the ultimate, comprehensive solution to AI indeed, in several contexts, other approaches result to be more useful. Typical Bioinformatics tasks, for instance classification, are currently carried out mostly by Machine Learning (ML) based solutions. In this paper, we focus on the relatively new problem of analyzing the evolution of neurological disorders. In this context, ML approaches already demonstrated to be a viable solution for classification tasks here, we show how ASP can play a relevant role in the brain evolution simulation task. In particular, we propose a general and extensible framework to support physicians and researchers at understanding the complex mechanisms underlying neurological disorders. The framework relies on a combined use of ML and ASP, and is general enough to be applied in several other application scenarios, which are outlined in the paper.


On the exponential Diophantine equation related to powers of two consecutive terms of Lucas sequences. Let r ge 1 be an integer and bf U (U n ) n ge 0 be the Lucas sequence given by U 0 0 , U 1 1, and U n 2 rU n 1 U n , for all n ge 0 . In this paper, we show that there are no positive integers r ge 3, x ne 2, n ge 1 such that U n x U n 1 x is a member of bf U .


Probabilistic Counters for Privacy Preserving Data Aggregation. Probabilistic counters are well known tools often used for space efficient set cardinality estimation. In this paper we investigate probabilistic counters from the perspective of preserving privacy. We use standard, rigid differential privacy notion. The intuition is that the probabilistic counters do not reveal too much information about individuals, but provide only general information about the population. Thus they can be used safely without violating privacy of individuals. It turned out however that providing a precise, formal analysis of privacy parameters of probabilistic counters is surprisingly difficult and needs advanced techniques and a very careful approach. We demonstrate also that probabilistic counters can be used as a privacy protecion mechanism without any extra randomization. That is, the inherit randomization from the protocol is sufficient for protecting privacy, even if the probabilistic counter is used many times. In particular we present a specific privacy preserving data aggregation protocol based on a probabilistic counter. Our results can be used for example in performing distributed surveys.


Joint Learning of Word and Label Embeddings for Sequence Labelling in Spoken Language Understanding. We propose an architecture to jointly learn word and label embeddings for slot filling in spoken language understanding. The proposed approach encodes labels using a combination of word embeddings and straightforward word label association from the training data. Compared to the state of the art methods, our approach does not require label embeddings as part of the input and therefore lends itself nicely to a wide range of model architectures. In addition, our architecture computes contextual distances between words and labels to avoid adding contextual windows, thus reducing memory footprint. We validate the approach on established spoken dialogue datasets and show that it can achieve state of the art performance with much fewer trainable parameters.


Finite Memory Elephant Random Walk and the Central Limit Theorem for Additive Functionals. The Central Limit Theorem (CLT) for additive functionals of Markov chains is a well known result with a long history. In this paper we present applications to two finite memory versions of the Elephant Random Walk, solving a problem from arXiv 1812.01915. We also present a derivation of the CLT for additive functionals of finite state Markov chains, which is based on positive recurrence, the CLT for IID sequences and some elementary linear algebra, and which focuses on characterization of the variance.


Tomography Based Learning for Load Distribution through Opaque Networks. Applications such as virtual reality and online gaming require low delays for acceptable user experience. A key task for over the top (OTT) service providers who provide these applications is sending traffic through the networks to minimize delays. OTT traffic is typically generated from multiple data centers which are multi homed to several network ingresses. However, information about the path characteristics of the underlying network from the ingresses to destinations is not explicitly available to OTT services. These can only be inferred from external probing. In this paper, we combine network tomography with machine learning to minimize delays. We consider this problem in a general setting where traffic sources can choose a set of ingresses through which their traffic enter a black box network. The problem in this setting can be viewed as a reinforcement learning problem with constraints on a continuous action space, which to the best of our knowledge have not been investigated by the machine learning community. Key technical challenges to solving this problem include the high dimensionality of the problem and handling constraints that are intrinsic to networks. Evaluation results show that our methods achieve up to 60 delay reductions in comparison to standard heuristics. Moreover, the methods we develop can be used in a centralized manner or in a distributed manner by multiple independent agents.


Visualising Evolution History in Multi and Many Objective Optimisation. Evolutionary algorithms are widely used to solve optimisation problems. However, challenges of transparency arise in both visualising the processes of an optimiser operating through a problem and understanding the problem features produced from many objective problems, where comprehending four or more spatial dimensions is difficult. This work considers the visualisation of a population as an optimisation process executes. We have adapted an existing visualisation technique to multi and many objective problem data, enabling a user to visualise the EA processes and identify specific problem characteristics and thus providing a greater understanding of the problem landscape. This is particularly valuable if the problem landscape is unknown, contains unknown features or is a many objective problem. We have shown how using this framework is effective on a suite of multi and many objective benchmark test problems, optimising them with NSGA II and NSGA III.


Fingerprint Feature Extraction by Combining Texture, Minutiae, and Frequency Spectrum Using Multi Task CNN. Although most fingerprint matching methods utilize minutia points and or texture of fingerprint images as fingerprint features, the frequency spectrum is also a useful feature since a fingerprint is composed of ridge patterns with its inherent frequency band. We propose a novel CNN based method for extracting fingerprint features from texture, minutiae, and frequency spectrum. In order to extract effective texture features from local regions around the minutiae, the minutia attention module is introduced to the proposed method. We also propose new data augmentation methods, which takes into account the characteristics of fingerprint images to increase the number of images during training since we use only a public dataset in training, which includes a few fingerprint classes. Through a set of experiments using FVC2004 DB1 and DB2, we demonstrated that the proposed method exhibits the efficient performance on fingerprint verification compared with a commercial fingerprint matching software and the conventional method.


Analytic properties of hidden variable recurrent fractal interpolation function with function contractivity factors. In this paper, we analyze the smoothness and stability of hidden variable recurrent fractal interpolation functions (HVRFIF) with function contractivity factors introduced in Ref. 1. The HVRFIF is a hidden variable fractal interpolation function (HVFIF) constructed by recurrent iterated function system (RIFS) with function contractivity factors. An attractor of RIFS has a local self similar or self affine structure and looks more naturally than one of IFS. The contractivity factors of IFS(RIFS) determine fractal characteristic and shape of its attractor. Therefore, the HVRFIF with function contractivity factors has more flexibility and diversity than the HVFIF constructed by iterated function system (IFS) with constant contractivity factors. The analytic properties of the interpolation functions play very important roles in determining whether these functons can be applied to the practical problems or not. We analyze the smoothness of the one variable HVRFIFs in Ref. 1 and prove their stability according to perturbation of the interpolation dataset.


ClarQ A large scale and diverse dataset for Clarification Question Generation. Question answering and conversational systems are often baffled and need help clarifying certain ambiguities. However, limitations of existing datasets hinder the development of large scale models capable of generating and utilising clarification questions. In order to overcome these limitations, we devise a novel bootstrapping framework (based on self supervision) that assists in the creation of a diverse, large scale dataset of clarification questions based on post comment tuples extracted from stackexchange. The framework utilises a neural network based architecture for classifying clarification questions. It is a two step method where the first aims to increase the precision of the classifier and second aims to increase its recall. We quantitatively demonstrate the utility of the newly created dataset by applying it to the downstream task of question answering. The final dataset, ClarQ, consists of 2M examples distributed across 173 domains of stackexchange. We release this dataset in order to foster research into the field of clarification question generation with the larger goal of enhancing dialog and question answering systems.


Exa Dune Flexible PDE Solvers, Numerical Methods and Applications. In the Exa Dune project we have developed, implemented and optimised numerical algorithms and software for the scalable solution of partial differential equations (PDEs) on future exascale systems exhibiting a heterogeneous massively parallel architecture. In order to cope with the increased probability of hardware failures, one aim of the project was to add flexible, application oriented resilience capabilities into the framework. Continuous improvement of the underlying hardware oriented numerical methods have included GPU based sparse approximate inverses, matrix free sum factorisation for high order discontinuous Galerkin discretisations as well as partially matrix free preconditioners. On top of that, additional scalability is facilitated by exploiting massive coarse grained parallelism offered by multiscale and uncertainty quantification methods where we have focused on the adaptive choice of the coarse fine scale and the overlap region as well as the combination of local reduced basis multiscale methods and the multilevel Monte Carlo algorithm. Finally, some of the concepts are applied in a land surface model including subsurface flow and surface runoff.


Introducing recalibrated academic performance indicators in the evaluation of individuals' research performance A case study from Eastern Europe. In Hungary, the highest and most prestigious scientific qualification is considered to be the Doctor of Science (DSc) title being awarded by the Hungarian Academy of Sciences. The academic performance indicators of the DSc title are of high importance in the evaluation of individuals' research performance not only when a researcher applies for obtaining a DSc title, but also during promotions and appointments at universities, and in the case of the evaluation of applications for scientific titles and degrees, and the assessment of applications for funding. In the Section of Earth Sciences encompassing nine related disciplines, rather than carrying out a straightforward bibliometric analysis, the performance indicators were designed as a result of a consensual agreement between leading academicians, each of whom represented a particular discipline. Therefore, the minimum values of the indicators, required to be fulfilled if one is applying for a DSc title, do not adequately reflect the actual discipline specific performance of researchers. This problem may generate tension between researchers during the evaluation process. The main goal of this paper is to recalibrate the minimum values of four major performance indicators by taking the actual discipline specific distance ratios into account. In addition, each minimum value will be defined by employing integer and fractional counting methods as well. The research outcome of this study can provide impetus for the Section of Earth Sciences to optimize the minimum values of the DSc title performance indicators by taking the specifics of each discipline into account. Because academic performance indicators are also employed in other Eastern European countries in the evaluation of individuals' research performance, the methods used in that paper can be placed into a wider geographical context.


Legal document retrieval across languages topic hierarchies based on synsets. Cross lingual annotations of legislative texts enable us to explore major themes covered in multilingual legal data and are a key facilitator of semantic similarity when searching for similar documents. Multilingual probabilistic topic models have recently emerged as a group of semi supervised machine learning models that can be used to perform thematic explorations on collections of texts in multiple languages. However, these approaches require theme aligned training data to create a language independent space, which limits the amount of scenarios where this technique can be used. In this work, we provide an unsupervised document similarity algorithm based on hierarchies of multi lingual concepts to describe topics across languages. The algorithm does not require parallel or comparable corpora, or any other type of translation resource. Experiments performed on the English, Spanish, French and Portuguese editions of JCR Acquis corpora reveal promising results on classifying and sorting documents by similar content.


Limit theorems in the extended coupon collector's problem. We consider an extended variant of the classical coupon collector's problem with infinite number of collections. An arriving coupon is placed in the r th collection, r ge0 , if r is the smallest index such that the corresponding collection still does not have a coupon of this type. We derive distributional limit theorems for the number of empty spots in different collections at the time when the 0 th collection was completed, as well as after some delay. We also obtain limiting distributions for completion times of different collections. All main results are given in an ultimate infinite dimensional form in the sense of distributional convergence in mathbb R infty . The main tool in the proofs is convergence of specially constructed point processes.


A direct proof of Agafonov's theorem and an extension to shift of finite type. We provide a direct proof of Agafonov's theorem which states that finite state selection preserves normality. We also extends this result to the more general setting of shifts of finite type by defining selections which are compatible the shift. A slightly more general statement is obtained as we show that any Markov measure is preserved by finite state compatible selection.


Newcomer Candidate Characterizing Contributions of a Novice Developer to GitHub. Context To attract, onboard, and retain any new comer in Open Source Software (OSS) projects is vital to their livelihood. Recent studies conclude that OSS projects risk failure due to abandonment and poor participation of newcomers. Evidence suggests more new users are joining GitHub, however, the extent to which they contribute to OSS projects is unknown. Objective In this study, we coin the term 'newcomer candidate' to describe new users to the GitHub platform. Our objective is to track and characterize their initial contributions. As a preliminary survey, we collected 208 newcomer candidate contributions in GitHub. Using this dataset, we then plan to track their contributions to reveal insights. Method We will use a mixed methods approach, i.e., quantitative and qualitative, to identify whether or not newcomer candidates practice social coding, the kinds of their contributions, projects they target, and the proportion that they eventually onboard to an OSS project. Limitation The key limitation is that our newcomer candidates are restricted to those that were collected from our preliminary survey.


Riesz bases of port Hamiltonian systems. The location of the spectrum and the Riesz basis property of well posed homogeneous infinite dimensional linear port Hamiltonian systems on a 1D spatial domain are studied. It is shown that the Riesz basis property is equivalent to the fact that system operator generates a strongly continuous group. Moreover, in this situation the spectrum consists of eigenvalues only, located in a strip parallel to the imaginary axis and they can decomposed into finitely many sets having each a uniform gap.


When and where do you want to hide? Recommendation of location privacy preferences with local differential privacy. In recent years, it has become easy to obtain location information quite precisely. However, the acquisition of such information has risks such as individual identification and leakage of sensitive information, so it is necessary to protect the privacy of location information. For this purpose, people should know their location privacy preferences, that is, whether or not he she can release location information at each place and time. However, it is not easy for each user to make such decisions and it is troublesome to set the privacy preference at each time. Therefore, we propose a method to recommend location privacy preferences for decision making. Comparing to existing method, our method can improve the accuracy of recommendation by using matrix factorization and preserve privacy strictly by local differential privacy, whereas the existing method does not achieve formal privacy guarantee. In addition, we found the best granularity of a location privacy preference, that is, how to express the information in location privacy protection. To evaluate and verify the utility of our method, we have integrated two existing datasets to create a rich information in term of user number. From the results of the evaluation using this dataset, we confirmed that our method can predict location privacy preferences accurately and that it provides a suitable method to define the location privacy preference.


Work Design and Job Rotation in Software Engineering Results from an Industrial Study. Job rotation is a managerial practice to be applied in the organizational environment to reduce job monotony, boredom, and exhaustion resulting from job simplification, specialization, and repetition. Previous studies have identified and discussed the use of project to project rotations in software practice, gathering empirical evidence from qualitative and field studies and pointing out set of work related factors that can be positively or negatively affected by this practice. Goal We aim to collect and discuss the use of job rotation in software organizations in order to identify the potential benefits and limitations of this practice supported by the statement of existing theories of work design. Method Using a survey based research design, we collected and analyzed quantitative data from software engineers about how software development work is designed and organized, as well as the potential effects of job rotations on this work design. We investigated 21 work design constructs, along with job burnout, role conflict, role ambiguity, and two constructs related to job rotation. Results We identified one new benefit and six new limitations of job rotation, not observed in previous studies and added new discussions to the existing body of knowledge concerning the use of job rotation in software engineering practice. Conclusion We believe that these results represent another important step towards the construction of a consistent and comprehensive body of evidence that can guide future research and also inform practice about the potential positive and negative effects of job rotation in software development companies.


Spectral convergence in geometric quantization the case of toric symplectic manifolds. In this paper, we show the spectral convergence result of overline partial Laplacians when (X, omega) is a compact toric symplectic manifold equipped with the natural prequantum line bundle L . We consider a family J s s of omega compatible complex structures tending to the large complex structure limit, and obtain the spectral convergence of overline partial Laplacians acting on L k .


RVSDG An Intermediate Representation for Optimizing Compilers. Intermediate Representations (IRs) are central to optimizing compilers as the way the program is represented may enhance or limit analyses and transformations. Suitable IRs focus on exposing the most relevant information and establish invariants that different compiler passes can rely on. While control flow centric IRs appear to be a natural fit for imperative programming languages, analyses required by compilers have increasingly shifted to understand data dependencies and work at multiple abstraction layers at the same time. This is partially evidenced in recent developments such as the MLIR proposed by Google. However, rigorous use of data flow centric IRs in general purpose compilers has not been evaluated for feasibility and usability as previous works provide no practical implementations. We present the Regionalized Value State Dependence Graph (RVSDG) IR for optimizing compilers. The RVSDG is a data flow centric IR where nodes represent computations, edges represent computational dependencies, and regions capture the hierarchical structure of programs. It represents programs in demand dependence form, implicitly supports structured control flow, and models entire programs within a single IR. We provide a complete specification of the RVSDG, construction and destruction methods, as well as exemplify its utility by presenting Dead Node and Common Node Elimination optimizations. We implemented a prototype compiler and evaluate it in terms of performance, code size, compilation time, and representational overhead. Our results indicate that the RVSDG can serve as a competitive IR in optimizing compilers while reducing complexity.


A circle quotient of a G 2 cone. A study is made of R 6 as a singular quotient of the conical space R times CP 3 with holonomy G 2 with respect to an obvious action by U(1) on CP 3 with fixed points. Closed expressions are found for the induced metric, and for both the curvature and symplectic 2 forms characterizing the reduction. All these tensors are invariant by a diagonal action of SO(3) on R 6 , which can be used effectively to describe the resulting geometrical features.


Correlation between Content and Traffic of the Universities Website. The purpose of this study is to analyse the correlation between content and traffic of 21,485 academic websites (universities and research institutes). The achieved result is used as an indicator which shows the performance of the websites for attracting more visitors. This inspires a best practice for developing new websites or promoting the traffic of the existing websites. At the first step, content of the site is divided into three major items which are Size, Papers and Rich Files. Then, the Spearman correlation between traffic of the websites and these items are calculated for each country and for the world, respectively. At the next step, countries are ranked based on their correlations, also a new indicator is proposed from combining these three correlations of the countries. Results show that in most countries, correlation between traffic of the websites and Papers is less than correlations between traffic of the websites and Rich Files and Size.


Edge Intelligence Paving the Last Mile of Artificial Intelligence with Edge Computing. With the breakthroughs in deep learning, the recent years have witnessed a booming of artificial intelligence (AI) applications and services, spanning from personal assistant to recommendation systems to video audio surveillance. More recently, with the proliferation of mobile computing and Internet of Things (IoT), billions of mobile and IoT devices are connected to the Internet, generating zillions Bytes of data at the network edge. Driving by this trend, there is an urgent need to push the AI frontiers to the network edge so as to fully unleash the potential of the edge big data. To meet this demand, edge computing, an emerging paradigm that pushes computing tasks and services from the network core to the network edge, has been widely recognized as a promising solution. The resulted new inter discipline, edge AI or edge intelligence, is beginning to receive a tremendous amount of interest. However, research on edge intelligence is still in its infancy stage, and a dedicated venue for exchanging the recent advances of edge intelligence is highly desired by both the computer system and artificial intelligence communities. To this end, we conduct a comprehensive survey of the recent research efforts on edge intelligence. Specifically, we first review the background and motivation for artificial intelligence running at the network edge. We then provide an overview of the overarching architectures, frameworks and emerging key technologies for deep learning model towards training inference at the network edge. Finally, we discuss future research opportunities on edge intelligence. We believe that this survey will elicit escalating attentions, stimulate fruitful discussions and inspire further research ideas on edge intelligence.


Constructing Object Groups Corresponding to Concepts for Recovery of a Summarized Sequence Diagram. Comprehending the behavior of an object oriented system solely from its source code is troublesome, owing to its dynamism. To aid comprehension, visualizing program behavior through reverse engineered sequence diagrams from execution traces is a promising approach. However, because of the massiveness of traces, recovered diagrams tend to become very large, causing scalability issues. To address the issues, we propose an object grouping technique that horizontally summarizes a reverse engineered sequence diagram. Our technique constructs object groups based on Pree's meta patterns, in which each group corresponds to a concept in the domain of a subject system. Visualizing interactions only among important groups, we generate a summarized sequence diagram depicting a behavioral overview of the system. Our experiment showed that our technique outperformed the state of the art trace summarization technique in terms of reducing the horizontal size of reverse engineered sequence diagrams. Regarding the quality of object grouping, our technique achieved an F score of 0.670 and a Recall of 0.793 on average under the condition of lifelines (i.e., the horizontal size of a sequence diagram) 30, whereas those of the state of the art technique were 0.421 and 0.670, respectively. The runtime overhead imposed by our technique was 129.2 on average, which is relatively smaller in the literature.


Invariant Surfaces for Toric Type Foliations in Dimension Three. A foliation is of toric type when it has a combinatorial reduction of singularities. We show that every toric type foliation on (C3, 0), without saddle nodes, has invariant surface. We extend the argument of Cano Cerveau, done for the nondicritical case, to the compact dicritical components of the exceptional divisor. These components are projective toric surfaces and the isolated invariant branches of the induced foliation extend to global curves. We build the invariant surface as a germ along the singular locus and those global invariant curves. The result of Ortiz Rosales Voronin, about the distribution of invariant curves in dimension two, is a key argument in our proof.


Matched wavelets for equidistant points. Matched wavelets interpolating equidistant data are designed. These wavelets form Riesz bases. Meyer wavelets that interpolate data on a particular uniform lattice are found.


Mitigation of Civilian to Military Interference in DSRC for Urban Operations. Dedicated short range communications (DSRC) attracts popularity in the military applications thanks to its easiness in establishment, no need for paid subscription, and wide compatibility with any other IEEE 802.11 standards. The main challenge in DSRC is congestion due to existence of only 7 channels, which may not be enough to accommodate the increased number of transmitters expected to be deployed in the near future. Recently, there are a myriad of urban operation scenarios for the military including urban warfare and humanitarian assistance disaster relief (HA DR). The key challenge is that the communications among the military vehicles can be interfered by civilian users. It is the desire that the messages transmitted by the military vehicles hold a higher significance so that they can avoid the interference coming from the civilian users, which is not supported in the current version of DSRC. As a remedy, this paper proposes a protocol that prioritizes the military DSRC users while muffling the civilian DSRC users. Our results show that this prioritization method achieves higher communications performances for the military DSRC users.


Relative Singularity categories and singular equivalences. Let R be a right notherian ring. We introduce the concept of relative singularity category Delta mathcal X (R) of R with respect to a contravariantly finite subcategory mathcal X of rm mod mbox R. Along with some finiteness conditions on mathcal X , we prove that Delta mathcal X (R) is triangle equivalent to a subcategory of the homotopy category mathbb K rm ac ( mathcal X ) of exact complexes over mathcal X . As an application, a new description of the classical singularity category mathbb D rm sg (R) is given. The relative singularity categories are applied to lift a stable equivalence between two suitable subcategories of the module categories of two given right notherian ring to get a singular equivalence between the rings. In different types of rings, including path rings, triangular matrix rings, trivial extension rings and tensor rings, we provide some consequences for their singularity categories.


A New Heuristic for Physical Design. In a physical design problem, the designer chooses values of some physical parameters, within limits, to optimize the resulting field. We focus on the specific case in which each physical design parameter is the ratio of two field variables. This form occurs for photonic design with real scalar fields, diffusion type systems, and others. We show that such problems can be reduced to a convex optimization problem, and therefore efficiently solved globally, given the sign of an optimal field at every point. This observation suggests a heuristic, in which the signs of the field are iteratively updated. This heuristic appears to have good practical performance on diffusion type problems (including thermal design and resistive circuit design) and some control problems, while exhibiting moderate performance on photonic design problems. We also show in many practical cases there exist globally optimal designs whose design parameters are maximized or minimized at each point in the domain, i.e., that there is a discrete globally optimal structure.


Speeding up Markov chains with deterministic jumps. We show that the convergence of finite state space Markov chains to stationarity can often be considerably speeded up by alternating every step of the chain with a deterministic move. Under fairly general conditions, we show that not only do such schemes exist, they are numerous.


Industrial DevOps. The visions and ideas of Industry 4.0 require a profound interconnection of machines, plants, and IT systems in industrial production environments. This significantly increases the importance of software, which is coincidentally one of the main obstacles to the introduction of Industry 4.0. Lack of experience and knowledge, high investment and maintenance costs, as well as uncertainty about future developments cause many small and medium sized enterprises hesitating to adopt Industry 4.0 solutions. We propose Industrial DevOps as an approach to introduce methods and culture of DevOps into industrial production environments. The fundamental concept of this approach is a continuous process of operation, observation, and development of the entire production environment. This way, all stakeholders, systems, and data can thus be integrated via incremental steps and adjustments can be made quickly. Furthermore, we present the Titan software platform accompanied by a role model for integrating production environments with Industrial DevOps. In two initial industrial application scenarios, we address the challenges of energy management and predictive maintenance with the methods, organizational structures, and tools of Industrial DevOps.


Double phase problems and a discontinuity property of the spectrum. We consider a nonlinear eigenvalue problem driven by the sum of p and q Laplacian. We show that the problem has a continuous spectrum. Our result reveals a discontinuity property for the spectrum of a parametric ( p,q ) differential operator as the parameter beta rightarrow 1 .


Parallel Algorithm for Non Monotone DR Submodular Maximization. In this work, we give a new parallel algorithm for the problem of maximizing a non monotone diminishing returns submodular function subject to a cardinality constraint. For any desired accuracy epsilon , our algorithm achieves a 1 e epsilon approximation using O( log n log(1 epsilon) epsilon 3) parallel rounds of function evaluations. The approximation guarantee nearly matches the best approximation guarantee known for the problem in the sequential setting and the number of parallel rounds is nearly optimal for any constant epsilon . Previous algorithms achieve worse approximation guarantees using Omega( log 2 n ) parallel rounds. Our experimental evaluation suggests that our algorithm obtains solutions whose objective value nearly matches the value obtained by the state of the art sequential algorithms, and it outperforms previous parallel algorithms in number of parallel rounds, iterations, and solution quality.


Norms of composition operators on the H 2 space of Dirichlet series. We consider composition operators mathscr C varphi on the Hardy space of Dirichlet series mathscr H 2 , generated by Dirichlet series symbols varphi . We prove two different subordination principles for such operators. One concerns affine symbols only, and is based on an arithmetical condition on the coefficients of varphi . The other concerns general symbols, and is based on a geometrical condition on the boundary values of varphi . Both principles are strict, in the sense that they characterize the composition operators of maximal norm generated by symbols having given mapping properties. In particular, we generalize a result of J. H. Shapiro on the norm of composition operators on the classical Hardy space of the unit disc. Based on our techniques, we also improve the recently established upper and lower norm bounds in the special case that varphi(s) c r2 s . A number of other examples are given.


Assessment of Empathy in an Affective VR Environment using EEG Signals. With the advancements in social robotics and virtual avatars, it becomes increasingly important that these agents adapt their behavior to the mood, feelings and personality of their users. One such aspect of the user is empathy. Whereas many studies measure empathy through offline measures that are collected after empathic stimulation (e.g. post hoc questionnaires), the current study aimed to measure empathy online, using brain activity collected during the experience. Participants watched an affective 360 video of a child experiencing domestic violence in a virtual reality headset while their EEG signals were recorded. Results showed a significant attenuation of alpha, theta and delta asymmetry in the frontal and central areas of the brain. Moreover, a significant relationship between participants' empathy scores and their frontal alpha asymmetry at baseline was found. These results demonstrate specific brain activity alterations when participants are exposed to an affective virtual reality environment, with the level of empathy as a personality trait being visible in brain activity during a baseline measurement. These findings suggest the potential of EEG measurements for development of passive brain computer interfaces that assess the user's affective responses in real time and consequently adapt the behavior of socially intelligent agents for a personalized interaction.


Cover and variable degeneracy. Let f be a nonnegative integer valued function on the vertex set of a graph. A graph is textbf strictly f degenerate if each nonempty subgraph Gamma has a vertex v such that mathrm deg Gamma (v) f(v) . In this paper, we define a new concept, strictly f degenerate transversal, which generalizes list coloring, signed coloring, DP coloring, L forested coloring, and (f 1 , f 2 , dots, f s ) partition. A textbf cover of a graph G is a graph H with vertex set V(H) bigcup v in V(G) X v , where X v (v, 1), (v, 2), dots, (v, s) the edge set mathscr M bigcup uv in E(G) mathscr M uv , where mathscr M uv is a matching between X u and X v . A vertex set R subseteq V(H) is a textbf transversal of H if R cap X v 1 for each v in V(G) . A transversal R is a textbf strictly f degenerate transversal if H R is strictly f degenerate. The main result of this paper is a degree type result, which generalizes Brooks' theorem, Gallai's theorem, degree choosable result, signed degree colorable result, and DP degree colorable result. We also give some structural results on critical graphs with respect to strictly f degenerate transversal. Using these results, we can uniformly prove many new and known results. In the final section, we pose some open problems.


What is Normal, What is Strange, and What is Missing in a Knowledge Graph Unified Characterization via Inductive Summarization. Knowledge graphs (KGs) store highly heterogeneous information about the world in the structure of a graph, and are useful for tasks such as question answering and reasoning. However, they often contain errors and are missing information. Vibrant research in KG refinement has worked to resolve these issues, tailoring techniques to either detect specific types of errors or complete a KG. In this work, we introduce a unified solution to KG characterization by formulating the problem as unsupervised KG summarization with a set of inductive, soft rules, which describe what is normal in a KG, and thus can be used to identify what is abnormal, whether it be strange or missing. Unlike first order logic rules, our rules are labeled, rooted graphs, i.e., patterns that describe the expected neighborhood around a (seen or unseen) node, based on its type, and information in the KG. Stepping away from the traditional support confidence based rule mining techniques, we propose KGist, Knowledge Graph Inductive SummarizaTion, which learns a summary of inductive rules that best compress the KG according to the Minimum Description Length principle a formulation that we are the first to use in the context of KG rule mining. We apply our rules to three large KGs (NELL, DBpedia, and Yago), and tasks such as compression, various types of error detection, and identification of incomplete information. We show that KGist outperforms task specific, supervised and unsupervised baselines in error detection and incompleteness identification, (identifying the location of up to 93 of missing entities over 10 more than baselines), while also being efficient for large knowledge graphs.


Towards efficient density functional theory calculations without self interaction The Fermi L "owdin orbital self interaction correction. The Fermi L "owdin orbital (FLO) approach to the Perdew Zunger self interaction correction (PZ SIC) to density functional theory (DFT) is described and an improved approach to the problem of optimizing the Fermi orbitals in order to minimize the DFT SIC total energy is introduced. To illustrate the use of the FLO SIC method, results are given for several applications involving problems where self interaction errors are pronounced.


Volumetric heating of nanowire arrays to keV temperatures using kilojoule scale petawatt laser interactions. We present picosecond resolution streaked K shell spectra from 400 nm diameter nickel nanowire arrays, demonstrating the ability to generate large volumes of high energy density plasma when combined with the longer pulses typical of the largest short pulse lasers. After irradiating the wire array with 100 J, 600 fs ultra high contrast laser pulses focussed to 10 20 W cm 2 at the Orion laser facility, we combine atomic kinetics modeling of the streaked spectra with 2D collisional particle in cell simulations to describe the evolution of material conditions within these samples for the first time. We observe a three fold enhancement of helium like emission compared to a flat foil in a near solid density plasma sustaining keV temperatures for tens of picoseconds, the result of strong electric return currents heating the wires and causing them to explode and collide.


Framework Code Samples How Are They Maintained and Used by Developers?. Background Modern software systems are commonly built on the top of frameworks. To accelerate the learning process of features provided by frameworks, code samples are made available to assist developers. However, we know little about how code samples are actually developed. Aims In this paper, we aim to fill this gap by assessing the characteristics of framework code samples. We provide insights on how code samples are maintained and used by developers. Method We analyze 233 code samples of Android and SpringBoot, and assess aspects related to their source code, evolution, popularity, and client usage. Results We find that most code samples are small and simple, provide a working environment to the clients, and rely on automated build tools. They change frequently over time, for example, to adapt to new framework versions. We also detect that clients commonly fork the code samples, however, they rarely modify them. Conclusions We provide a set of lessons learned and implications to creators and clients of code samples to improve maintenance and usage activities.


Total dominator chromatic number of Kneser graphs. In this paper among some other results and by using the existance of Steiner triple systems, we determine the total dominator chromatic number of the Kneser graph KG(n,2).


Cooperative Problem Solving an experience of high school teaching updating. We present the results of an experience of teaching updating dispensed to Italian high school physics teachers to promote the application of the Cooperative Problem Solving method as an useful strategy to improve physics learning at high school level and to foster the development of problem solving skills. Beside analysing the method and discussing the ways to propose and apply it in a high school context, the teachers experienced the method acting both as learners and as tutors of student group learners. Students and teachers evaluated as positive the experience, mainly focusing on cooperation within the group by information exchange and the application of a solution scheme. The ex post analysis of the students' performance in applying the method to solve some rich context text showed the need of improving critical sense with respect to achieved results to fully exploit the strategy and develop their problem solving skills. Finally, an analysis on gender differences and scholar distribution of students is presented.


A Large Scale Multi Document Summarization Dataset from the Wikipedia Current Events Portal. Multi document summarization (MDS) aims to compress the content in large document collections into short summaries and has important applications in story clustering for newsfeeds, presentation of search results, and timeline generation. However, there is a lack of datasets that realistically address such use cases at a scale large enough for training supervised models for this task. This work presents a new dataset for MDS that is large both in the total number of document clusters and in the size of individual clusters. We build this dataset by leveraging the Wikipedia Current Events Portal (WCEP), which provides concise and neutral human written summaries of news events, with links to external source articles. We also automatically extend these source articles by looking for related articles in the Common Crawl archive. We provide a quantitative analysis of the dataset and empirical results for several state of the art MDS techniques.


Freeform shape optimization of a compact DC photo electron gun using isogeometric analysis. Compact DC high voltage photo electron guns are able to meet the sophisticated demands of high current applications such as energy recovery linacs. A main design parameter for such sources is the electric field strength, which depends on the electrode geometry and is limited by the field emission threshold of the electrode material. In order to minimize the maximum field strength for optimal gun operation, isogeometric analysis (IGA) can be used to exploit the axisymmetric geometry and describe its cross section by non uniform rational B splines, the control points of which are the parameters to be optimized. This computationally efficient method is capable of describing CAD generated geometries using open source software (GeoPDEs, NLopt, Octave) and it can simplify the step from design to simulation. We will present the mathematical formulation, the software workflow, and the results of an IGA based shape optimization for a planned high voltage upgrade of the DC photogun teststand Photo CATCH at TU Darmstadt. The software builds on a general framework for isogeometric analysis and allows for easy adaptations to other geometries or quantities of interest. Simulations assuming a bias voltage of 300 kV yielded maximum field gradients of 9.06 MV m on the surface of an inverted insulator electrode and below 3 MV m on the surface of the photocathode.


IStego100K Large scale Image Steganalysis Dataset. In order to promote the rapid development of image steganalysis technology, in this paper, we construct and release a multivariable large scale image steganalysis dataset called IStego100K. It contains 208,104 images with the same size of 1024 1024. Among them, 200,000 images (100,000 cover stego image pairs) are divided as the training set and the remaining 8,104 as testing set. In addition, we hope that IStego100K can help researchers further explore the development of universal image steganalysis algorithms, so we try to reduce limits on the images in IStego100K. For each image in IStego100K, the quality factors is randomly set in the range of 75 95, the steganographic algorithm is randomly selected from three well known steganographic algorithms, which are J uniward, nsF5 and UERD, and the embedding rate is also randomly set to be a value of 0.1 0.4. In addition, considering the possible mismatch between training samples and test samples in real environment, we add a test set (DS Test) whose source of samples are different from the training set. We hope that this test set can help to evaluate the robustness of steganalysis algorithms. We tested the performance of some latest steganalysis algorithms on IStego100K, with specific results and analysis details in the experimental part. We hope that the IStego100K dataset will further promote the development of universal image steganalysis technology. The description of IStego100K and instructions for use can be found at https github.com YangzlTHU IStego100K


Constructing Basis Path Set by Eliminating Path Dependency. The way the basis path set works in neural network remains mysterious, and the generalization of newly appeared G SGD algorithm to more practical network is hindered. The Basis Path Set Searching problem is formulated from the perspective of graph theory, to find the basis path set in a regular complicated neural network. Our paper aims to discover the underlying cause of path dependency between two independent substructures. Algorithm DEAH is designed to solve the Basis Path Set Searching problem by eliminating such path dependency. The path subdivision chain is proposed to effectively eliminate the path dependency inside the chain and between chains. The theoretical proofs and analysis of polynomial time complexity are presented. The paper therefore provides one methodology to find the basis path set in a more general neural network, which offers theoretical and algorithmic support for the application of G SGD algorithm in more practical scenarios.


Iterative solvers for Biot model under small and large deformation. We consider L scheme and Newton based solvers for Biot model under small or large deformation. The mechanical deformation follows the Saint Venant Kirchoff constitutive law. Further, the fluid compressibility is assumed to be nonlinear. A Lagrangian frame of reference is used to keep track of the deformation. We perform an implicit discretization in time (backward Euler) and propose two linearization schemes for solving the nonlinear problems appearing within each time step Newton's method and L scheme. The linearizations are used monolithically or in combination with a splitting algorithm. The resulting schemes can be applied for any spatial discretization. The convergences of all schemes are shown analytically for cases under small deformation. Illustrative numerical examples are presented to confirm the applicability of the schemes, in particular, for large deformation.


Existence of periodic solution of Nicholson type system with nonlinear density dependent mortality. This article studies an omega periodic system of Nicholson type differential equations with nonlinear density dependent mortality rate. Using the degree theory we obtain sufficient conditions for the existence of a positive solution omega periodic. Our result complement previous researches on the subject.


ERHARD RNG A Random Number Generator Built from Repurposed Hardware in Embedded Systems. Quality randomness is fundamental to cryptographic operations but on embedded systems good sources are (seemingly) hard to find. Rather than use expensive custom hardware, our ERHARD RNG Pseudo Random Number Generator (PRNG) utilizes entropy sources that are already common in a range of low cost embedded platforms. We empirically evaluate the entropy provided by three sources SRAM startup state, oscillator jitter, and device temperature and integrate those sources into a full Pseudo Random Number Generator implementation based on Fortuna. Our system addresses a number of fundamental challenges affecting random number generation on embedded systems. For instance, we propose SRAM startup state as a means to efficiently generate the initial seed even for systems that do not have writeable storage. Further, the system's use of oscillator jitter allows for the continuous collection of entropy generating events even for systems that do not have the user generated events that are commonly used in general purpose systems for entropy, e.g., key presses or network events.


MeToo on Campus Studying College Sexual Assault at Scale Using Data Reported on Social Media. Recently, the emergence of the MeToo trend on social media has empowered thousands of people to share their own sexual harassment experiences. This viral trend, in conjunction with the massive personal information and content available on Twitter, presents a promising opportunity to extract data driven insights to complement the ongoing survey based studies about sexual harassment in college. In this paper, we analyze the influence of the MeToo trend on a pool of college followers. The results show that the majority of topics embedded in those MeToo tweets detail sexual harassment stories, and there exists a significant correlation between the prevalence of this trend and official reports on several major geographical regions. Furthermore, we discover the outstanding sentiments of the MeToo tweets using deep semantic meaning representations and their implications on the affected users experiencing different types of sexual harassment. We hope this study can raise further awareness regarding sexual misconduct in academia.


XFake Explainable Fake News Detector with Visualizations. In this demo paper, we present the XFake system, an explainable fake news detector that assists end users to identify news credibility. To effectively detect and interpret the fakeness of news items, we jointly consider both attributes (e.g., speaker) and statements. Specifically, MIMIC, ATTN and PERT frameworks are designed, where MIMIC is built for attribute analysis, ATTN is for statement semantic analysis and PERT is for statement linguistic analysis. Beyond the explanations extracted from the designed frameworks, relevant supporting examples as well as visualization are further provided to facilitate the interpretation. Our implemented system is demonstrated on a real world dataset crawled from PolitiFact, where thousands of verified political news have been collected.


Splitting submanifolds in rational homogeneous spaces of Picard number one. Let M be a complex manifold. We prove that a compact submanifold S subset M with splitting tangent sequence (called a splitting submanifold) is rational homogeneous when M is in a large class of rational homogeneous spaces of Picard number one. Moreover, when M is irreducible Hermitian symmetric, we prove that S must be also Hermitian symmetric. The basic tool we use is the restriction and projection map pi of the global holomorphic vector fields on the ambient space which is induced from the splitting condition. The usage of global holomorphic vector fields may help us set up a new scheme to classify the splitting submanifolds in explicit examples, as an example we give a differential geometric proof for the classification of compact splitting submanifolds with dim geq 2 in a hyperquadric, which has been previously proven using algebraic geometry.


A second order cone characterization for sums of nonnegative circuits. The second order cone is a class of simple convex cones and optimizing over them can be done more efficiently than with semidefinite programming. It is interesting both in theory and in practice to investigate which convex cones admit a representation using second order cones, given that they have a strong expressive ability. In this paper, we prove constructively that the cone of sums of nonnegative circuits (SONC) admits a second order cone representation. Based on this, we give a new algorithm to compute SONC decompositions for certain classes of nonnegative polynomials via second order cone programming. Numerical experiments demonstrate the efficiency of our algorithm for polynomials with a fairly large size.


Coloring bipartite graphs with semi small list size. Recently, Alon, Cambie, and Kang introduced asymmetric list coloring of bipartite graphs, where the size of each vertex's list depends on its part. For complete bipartite graphs, we fix the list sizes of one part and consider the resulting asymptotics, revealing an invariant quantity instrumental in determining choosability across most of the parameter space. By connecting this quantity to a simple question on independent sets of hypergraphs, we strengthen bounds when a part has list size 2. Finally, we state via our framework a conjecture on general bipartite graphs, unifying three conjectures of Alon Cambie Kang.


Approximating Gromov Hausdorff Distance in Euclidean Space. The Gromov Hausdorff distance (d GH ) proves to be a useful distance measure between shapes. In order to approximate d GH for compact subsets X,Y subset mathbb R d , we look into its relationship with d H,iso , the infimum Hausdorff distance under Euclidean isometries. As already known for dimension d geq 2 , the d H,iso cannot be bounded above by a constant factor times d GH . For d 1 , however, we prove that d H,iso leq frac 5 4 d GH . We also show that the bound is tight. In effect, this gives rise to an O(n log n ) time algorithm to approximate d GH with an approximation factor of left(1 frac 1 4 right) .


Phoenix The Arabic Object Oriented Programming Language. A computer program is a set of electronic instructions executed from within the computer memory by the computer central processing unit. Its purpose is to control the functionalities of the computer allowing it to perform various tasks. Basically, a computer program is written by humans using a programming language. A programming language is the set of grammatical rules and vocabulary that governs the correct writing of a computer program. In practice, the majority of the existing programming languages are written in English speaking countries and thus they all use the English language to express their syntax and vocabulary. However, many other programming languages were written in non English languages, for instance, the Chinese BASIC, the Chinese Python, the Russian Rapira, and the Arabic Loughaty. This paper discusses the design and implementation of a new programming language, called Phoenix. It is a General Purpose, High Level, Imperative, Object Oriented, and Compiled Arabic programming language that uses the Arabic language as syntax and vocabulary. The core of Phoenix is a compiler system made up of six components, they are the Preprocessor, the scanner, the parser, the semantic analyzer, the code generator, and the linker. The experiments conducted have illustrated the several powerful features of the Phoenix language including functions, while loop, and arithmetic operations. As future work, more advanced features are to be developed including inheritance, polymorphism, file processing, graphical user interface, and networking.


Neural Network Embeddings for Test Case Prioritization. In modern software engineering, Continuous Integration (CI) has become an indispensable step towards systematically managing the life cycles of software development. Large companies struggle with keeping the pipeline updated and operational, in useful time, due to the large amount of changes and addition of features, that build on top of each other and have several developers, working on different platforms. Associated with such software changes, there is always a strong component of Testing. As teams and projects grow, exhaustive testing quickly becomes inhibitive, becoming adamant to select the most relevant test cases earlier, without compromising software quality. We have developed a new tool called Neural Network Embeeding for Test Case Prioritization (NNE TCP) is a novel Machine Learning (ML) framework that analyses which files were modified when there was a test status transition and learns relationships between these files and tests by mapping them into multidimensional vectors and grouping them by similarity. When new changes are made, tests that are more likely to be linked to the files modified are prioritized, reducing the resources needed to find newly introduced faults. Furthermore, NNE TCP enables entity visualization in low dimensional space, allowing for other manners of grouping files and tests by similarity and to reduce redundancies. By applying NNE TCP, we show for the first time that the connection between modified files and tests is relevant and competitive relative to other traditional methods.


Monitoring the refractive index of tissue models using light scattering spectroscopy. In this work, we report the application of Raman microspectroscopy for analysis of the refractive index of a range of tissue phantoms. Using both a custom developed setup with visible laser source and a commercial micro spectrometer with near infrared laser, we measured the Raman spectra of gelatin hydrogels at various concentrations. By building a calibration curve from measured refractometry data and Raman scattering intensity for different vibrational modes of the hydrogel, we determined the refractive indices of the gels from their Raman spectra, with approximately the same accuracy as that of refractometry measurements with an Abbe refractometer. This work highlights the importance of a correlative approach through Brillouin Raman microspectroscopy for the mechano chemical analysis of biologically relevant samples.


Blowing up Nonautonomous Vector Fields Infinite Delay Equations and Invariant Manifolds. We show the existence of nonautonomous invariant manifolds for planar, asymptotically autonomous differential equations, that have equilibrium solutions with zero Lyapunov spectrum. These invariant manifolds correspond to the stable and unstable manifold of a desingularized equation, that we obtain by using the blow up method. More precisely, the blow up method is extended to the nonautonomous setting and transforms the original finite dimensional ordinary differential equation into an infinite dimensional delay equation with infinite delay, but hyperbolic structure. In the technical construction of the invariant manifolds for the delay equation, we have to carefully study the effect of the time reparametrization used for desingularization in the blown up space to guarantee sufficient regularity. This allows us to employ a Lyapunov Perron argument to obtain existence of an invariant manifold. We combine the last step with an implicit function argument to study differentiability of the manifold. Finally, we reverse the blow up transformation of space and time variables obtaining invariant manifolds of the initially considered equation.


A Family of Congruences for Rogers Ramanujan Subpartitions. In 2015 Choi, Kim, and Lovejoy studied a weighted partition function, A 1(m) , which counted subpartitions with a structure related to the Rogers Ramanujan identities. They conjectured the existence of an infinite class of congruences for A 1(m) , modulo powers of 5. We give an explicit form of this conjecture, and prove it for all powers of 5.


Construction of Fully Faithful Tropicalizations for Curves in Ambient Dimension 3. In tropical geometry, one studies algebraic curves using combinatorial techniques via the tropicalization procedure. The tropicalization depends on a map to an algebraic torus and the combinatorial methods are most useful when the tropicalization has nice properties. We construct, for any Mumford curve X , a map to a three dimensional torus, such that the tropicalization is isometric to a subgraph of the Berkovich space X rm an , called the extended skeleton.


Recurrence in the evolution of air transport networks. Changes in air transport networks over time may be induced by competition among carriers, changes in regulations on airline industry, and socioeconomic events such as terrorist attacks and epidemic outbreaks. Such network changes may reflect corporate strategies of each carrier. In the present study, we propose a framework for analyzing evolution patterns in temporal networks in discrete time from the viewpoint of recurrence. Recurrence implies that the network structure returns to one relatively close to that in the past. We applied the proposed methods to four major carriers in the US from 1987 to 2019. We found that the carriers were different in terms of the autocorrelation, strength of periodicity, and changes in these quantities across decades. We also found that the network structure of the individual carriers abruptly changes from time to time. Such a network change reflects changes in their operation at their hub airports rather than famous socioeconomic events that look closely related to airline industry. The proposed methods are expected to be useful for revealing, for example, evolution of airline alliances and responses to natural disasters or infectious diseases, as well as characterizing evolution of social, biological, and other networks over time.


A Dirac type theorem for Berge cycles in random hypergraphs. A Hamilton Berge cycle of a hypergraph on n vertices is an alternating sequence (v 1, e 1, v 2, ldots, v n, e n) of distinct vertices v 1, ldots, v n and distinct hyperedges e 1, ldots, e n such that v 1,v n subseteq e n and v i, v i 1 subseteq e i for every i in n 1 . We prove the following Dirac type theorem about Berge cycles in the binomial random r uniform hypergraph H (r) (n,p) for every integer r geq 3 , every real gamma 0 and p geq frac ln 17r n n r 1 asymptotically almost surely, every spanning subgraph H subseteq H (r) (n,p) with minimum vertex degree delta 1(H) geq left( frac 1 2 r 1 gamma right) p binom n r 1 contains a Hamilton Berge cycle. The minimum degree condition is asymptotically tight and the bound on p is optimal up to some polylogarithmic factor.


Domain Specific Lexical Grounding in Noisy Visual Textual Documents. Images can give us insights into the contextual meanings of words, but current image text grounding approaches require detailed annotations. Such granular annotation is rare, expensive, and unavailable in most domain specific contexts. In contrast, unlabeled multi image, multi sentence documents are abundant. Can lexical grounding be learned from such documents, even though they have significant lexical and visual overlap? Working with a case study dataset of real estate listings, we demonstrate the challenge of distinguishing highly correlated grounded terms, such as "kitchen" and "bedroom", and introduce metrics to assess this document similarity. We present a simple unsupervised clustering based method that increases precision and recall beyond object detection and image tagging baselines when evaluated on labeled subsets of the dataset. The proposed method is particularly effective for local contextual meanings of a word, for example associating "granite" with countertops in the real estate dataset and with rocky landscapes in a Wikipedia dataset.


Girls Create Games Lessons Learned. Recent studies from all over the world show that more boys than girls play video games. The numbers are different for mobile gaming apps, where 65 of women are identified as gamers. Adapting game design activities for academic purposes is a widely applied approach at schools or off school initiatives is seen as a promising opportunity for all teenagers to learn to code in an entertaining way. This raise the questions do special girls' game design patterns exist, and what can we learn from them? This paper describes a girl only intervention where girls were asked to create their own games. This "Girls' Coding Week" was designed as an off school event and took place during summer 2018 with 13 girls between 11 to 14 years old. To explain the basic steps of programming and to create personalized games, the visual coding app Pocket Code, an app developed at Graz University of Technology, was used. The girls created their own games with the help of a storyboard after receiving all important information about coding. Qualitative and quantitative data was collected through open interviews, as well as created artefacts and surveys which refer to motivational aspects. The findings show that gaming elements female teenagers tend to like, create, and play, mostly follow stereotypical expectations. In contrast to our experiences in heterogeneous course settings, this was not seen as something negative by girls. Furthermore, the findings provided evidence for game making environments for girls. Subsequently, the results contributed to the development of new featured games to be used in our app to inspire female users around the world to code their own games. The authors argue that by understanding these differences in game design, we can support girls so that they become game designers and thereby more interested in coding.


On Designing Secure and Robust Scan Chain for Protecting Obfuscated Logic. In this paper, we assess the security and testability of the state of the art design for security (DFS) architectures in the presence of scan chain locking obfuscation, a group of solution that has previously proposed to restrict unauthorized access to the scan chain. We discuss the key leakage vulnerability in the recently published prior art DFS architectures. This leakage relies on the potential glitches in the DFS architecture that could lead the adversary to make a leakage condition in the circuit. Also, we demonstrate that the state of the art DFS architectures impose some substantial architectural drawbacks that moderately affect both test flow and design constraints. We propose a new DFS architecture for building a secure scan chain architecture while addressing the potential of key leakage. The proposed architecture allows the designer to perform the structural test with no limitation, enabling an untrusted foundry to utilize the scan chain for manufacturing fault testing without needing to access the scan chain. Our proposed solution poses negligible limitation overhead on the test flow, as well as the design criteria.


Contact and Human Dynamics from Monocular Video. Existing deep models predict 2D and 3D kinematic poses from video that are approximately accurate, but contain visible errors that violate physical constraints, such as feet penetrating the ground and bodies leaning at extreme angles. In this paper, we present a physics based method for inferring 3D human motion from video sequences that takes initial 2D and 3D pose estimates as input. We first estimate ground contact timings with a novel prediction network which is trained without hand labeled data. A physics based trajectory optimization then solves for a physically plausible motion, based on the inputs. We show this process produces motions that are significantly more realistic than those from purely kinematic methods, substantially improving quantitative measures of both kinematic and dynamic plausibility. We demonstrate our method on character animation and pose estimation tasks on dynamic motions of dancing and sports with complex contact patterns.


Towards Instance level Image to Image Translation. Unpaired Image to image Translation is a new rising and challenging vision problem that aims to learn a mapping between unaligned image pairs in diverse domains. Recent advances in this field like MUNIT and DRIT mainly focus on disentangling content and style attribute from a given image first, then directly adopting the global style to guide the model to synthesize new domain images. However, this kind of approaches severely incurs contradiction if the target domain images are content rich with multiple discrepant objects. In this paper, we present a simple yet effective instance aware image to image translation approach (INIT), which employs the fine grained local (instance) and global styles to the target image spatially. The proposed INIT exhibits three import advantages (1) the instance level objective loss can help learn a more accurate reconstruction and incorporate diverse attributes of objects (2) the styles used for target domain of local global areas are from corresponding spatial regions in source domain, which intuitively is a more reasonable mapping (3) the joint training process can benefit both fine and coarse granularity and incorporates instance information to improve the quality of global translation. We also collect a large scale benchmark for the new instance level translation task. We observe that our synthetic images can even benefit real world vision tasks like generic object detection.


Local Centrally Essential Subalgebras of Triangular Algebras. We study local centrally essential subalgebras in the algebra of all upper triangular matrices over a field of characteristic ne 2 . It is proved that the algebras of upper triangular 3 times 3 or 4 times 4 matrices have only commutative local centrally essential subalgebras. Every algebra of upper triangular matrices of order exceeding 6 contains a non commutative local centrally essential subalgebra. The paper will appear in Linear and Multilinear Algebra. The work of O.V. Lyubimtsev is done under the state assignment No 0729 2020 0055. A.A. Tuganbaev is supported by Russian Scientific Foundation, project 16 11 10013P.


Continuous Credit Networks and Layer 2 Blockchains Monotonicity and Sampling. To improve transaction rates, many cryptocurrencies have implemented so called ''Layer 2'' transaction protocols, where payments are routed across networks of private payment channels. However, for a given transaction, not every network state provides a feasible route to perform the payment in this case, the transaction must be put on the public ledger. The payment channel network thus multiplies the transaction rate of the overall system the less frequently it fails, the higher the multiplier. We build on earlier work on credit networks and show that this network liquidity problem is connected to the combinatorics of graphical matroids. Earlier work could only analyze the (unnatural) scenario where transactions had discrete sizes. Superficially, it might seem like the continuous case would be harder to examine. However, removing this assumption lets us make progress in two important directions. First, we give a partial answer to the monotonicity conjecture'' that previous work left open. This conjecture asks that the network's performance not degrade as capacity on any edge increases. And second, we construct here a network state sampling procedure with much faster asymptotic performance than off the shelf Markov chains ( O( vert E vert beta( vert E vert)) , where beta(x) is the complexity of solving a linear program on x constraints.) We obtain our results by mapping the underlying graphs to convex bodies and then showing that the liquidity and sampling problems reduce to bounding and computing the volumes of these bodies. The transformation relies crucially on the combinatorial properties of the underlying graphic matroid, as do the proofs of monotonicity and fast sampling.


Automatic Game Design via Mechanic Generation. Game designs often center on the game mechanics rules governing the logical evolution of the game. We seek to develop an intelligent system that generates computer games. As first steps towards this goal we present a composable and cross domain representation for game mechanics that draws from AI planning action representations. We use a constraint solver to generate mechanics subject to design requirements on the form of those mechanics what they do in the game. A planner takes a set of generated mechanics and tests whether those mechanics meet playability requirements controlling how mechanics function in a game to affect player behavior. We demonstrate our system by modeling and generating mechanics in a role playing game, platformer game, and combined role playing platformer game.


Determining two coefficients in diffuse optical tomography with incomplete and noisy Cauchy data. In this paper we investigate the non linear and ill posed inverse problem of simultaneously identifying the conductivity and the reaction in diffuse optical tomography with noisy measurement data available on an accessible part of the boundary. We propose an energy functional method and the total variational regularization combining with the quadratic stabilizing term to formulate the identification problem to a PDEs constrained optimization problem. We show the stability of the proposed regularization method and the convergence of the finite element regularized solutions to the identification in the Lebesgue norms and in the sense of the Bregman distance with respect to the total variation semi norm. To illustrate the theoretical results, a numerical case study is presented which supports our analytical findings.


Bidding Strategies with Gender Nondiscrimination Constraints for Online Ad Auctions. Interactions between bids to show ads online can lead to an advertiser's ad being shown to more men than women even when the advertiser does not target towards men. We design bidding strategies that advertisers can use to avoid such emergent discrimination without having to modify the auction mechanism. We mathematically analyze the strategies to determine the additional cost to the advertiser for avoiding discrimination, proving our strategies to be optimal in some settings. We use simulations to understand other settings.


Autonomous Spot Long Range Autonomous Exploration of Extreme Environments with Legged Locomotion. This paper serves as one of the first efforts to enable large scale and long duration autonomy using the Boston Dynamics Spot robot. Motivated by exploring extreme environments, particularly those involved in the DARPA Subterranean Challenge, this paper pushes the boundaries of the state of practice in enabling legged robotic systems to accomplish real world complex missions in relevant scenarios. In particular, we discuss the behaviors and capabilities which emerge from the integration of the autonomy architecture NeBula (Networked Belief aware Perceptual Autonomy) with next generation mobility systems. We will discuss the hardware and software challenges, and solutions in mobility, perception, autonomy, and very briefly, wireless networking, as well as lessons learned and future directions. We demonstrate the performance of the proposed solutions on physical systems in real world scenarios.


Approximate Isomorphism of Metric Structures. We give a formalism for approximate isomorphism in continuous logic simultaneously generalizing those of two papers by Ben Yaacov and by Ben Yaacov, Doucha, Nies, and Tsankov, which are largely incompatible. With this we explicitly exhibit Scott sentences for the perturbation systems of the former paper, such as the Banach Mazur distance and the Lipschitz distance between metric spaces. Our formalism is simultaneously characterized syntactically by a mild generalization of perturbation systems and semantically by certain elementary classes of two sorted structures that witness approximate isomorphism.


Regularization of a backwards parabolic equation by fractional operators. The backwards diffusion equation is one of the classical ill posed inverse problems, related to a wide range of applications, and has been extensively studied over the last 50 years. One of the first methods was that of it quasireversibility whereby the parabolic operator is replaced by a differential operator for which the backwards problem in time is well posed. This is in fact the direction we will take but will do so with a nonlocal operator an equation of fractional order in time for which the backwards problem is known to be almost well posed.'' We shall look at various possible options and strategies but our conclusion for the best of these will exploit the linearity of the problem to break the inversion into distinct frequency bands and to use a different fractional order for each. The fractional exponents will be chosen using the discrepancy principle under the assumption we have an estimate of the noise level in the data. An analysis of the method is provided as are some illustrative numerical examples.


Spatial interactions in urban scaling laws. Analyses of urban scaling laws assume that observations in different cities are independent of the existence of nearby cities. Here we introduce generative models and data analysis methods that overcome this limitation by modelling explicitly the effect of interactions between individuals at different locations. Parameters that describe the scaling law and the spatial interactions are inferred from data simultaneously, allowing for rigorous (Bayesian) model comparison and overcoming the problem of defining the boundaries of urban regions. Results in five different datasets show that including spatial interactions typically leads to better models and a change in the exponent of the scaling law. Data and codes are provided in Ref. 1 .


On uniform definability of types over finite sets for NIP formulas. Combining two results from machine learning theory we prove that a formula is NIP if and only if it satisfies uniform definability of types over finite sets (UDTFS). This settles a conjecture of Laskowski.


Self Referential Discs and the Light Bulb Lemma. We show how self referential discs in 4 manifolds lead to the construction of pairs of discs with a common geometrically dual sphere which are homotopic rel partial , concordant and coincide near their boundaries, yet are not properly isotopic. This occurs in manifolds without 2 torsion in their fundamental group, e.g. the boundary connect sum of S 2 times D 2 and S 1 times B 3 , thereby exhibiting phenomena not seen with spheres. On the other hand we show that two such discs are isotopic rel partial if the manifold is simply connected. We construct in S 2 times D 2 natural S 1 times B 3 a properly embedded 3 ball properly homotopic to a z 0 times B 3 but not properly isotopic to z 0 times B 3 .


Semidefinite Programming Relaxations of the Traveling Salesman Problem and Their Integrality Gaps. The traveling salesman problem (TSP) is a fundamental problem in combinatorial optimization. Several semidefinite programming relaxations have been proposed recently that exploit a variety of mathematical structures including, e.g., algebraic connectivity, permutation matrices, and association schemes. The main results of this paper are twofold. First, de Klerk and Sotirov 9 present an SDP based on permutation matrices and symmetry reduction they show that it is incomparable to the subtour elimination linear program, but generally dominates it on small instances. We provide a family of emph simplicial TSP instances that shows that the integrality gap of this SDP is unbounded. Second, we show that these simplicial TSP instances imply the unbounded integrality gap of every SDP relaxation of the TSP mentioned in the survey on SDP relaxations of the TSP in Section 2 of Sotirov 24 . In contrast, the subtour LP performs perfectly on simplicial instances. The simplicial instances thus form a natural litmus test for future SDP relaxations of the TSP.


Interpretation of Feature Space using Multi Channel Attentional Sub Networks. Convolutional Neural Networks have achieved impressive results in various tasks, but interpreting the internal mechanism is a challenging problem. To tackle this problem, we exploit a multi channel attention mechanism in feature space. Our network architecture allows us to obtain an attention mask for each feature while existing CNN visualization methods provide only a common attention mask for all features. We apply the proposed multi channel attention mechanism to multi attribute recognition task. We can obtain different attention mask for each feature and for each attribute. Those analyses give us deeper insight into the feature space of CNNs. The experimental results for the benchmark dataset show that the proposed method gives high interpretability to humans while accurately grasping the attributes of the data.


Maximal non compactness of Sobolev embeddings. It has been known that sharp Sobolev embeddings into weak Lebesgue spaces are non compact but the question of whether the measure of non compactness of such an embedding equals to its operator norm constituted a well known open problem. The existing theory suggested an argument that would possibly solve the problem should the target norms be disjointly superadditive, but the question of disjoint superadditivity of spaces L p, infty has been open, too. In this paper, we solve both these problems. We first show that weak Lebesgue spaces are never disjointly superadditive, so the suggested technique is ruled out. But then we show that, perhaps somewhat surprisingly, the measure of non compactness of a sharp Sobolev embedding coincides with the embedding norm nevertheless, at least as long as p infty . Finally, we show that if the target space is L infty (which formally is also a weak Lebesgue space with p infty ), then the things are essentially different. To give a comprehensive answer including this case, too, we develop a new method based on a rather unexpected combinatorial argument and prove thereby a general principle, whose special case implies that the measure of non compactness, in this case, is strictly less than its norm. We develop a technique that enables us to evaluate this measure of non compactness exactly.


Planar random walk in a stratified quasi periodic environment. We study the recurrence of inhomogeneous Markov chains in the plane, when the environment is horizontally stratified and the heterogeneity of quasi periodic type.