Singular integrals on C w 1, alpha regular curves in Banach duals. The modern study of singular integral operators on curves in the plane began in the 1970's. Since then, there has been a vast array of work done on the boundedness of singular integral operators defined on lower dimensional sets in Euclidean spaces. In recent years, mathematicians have attempted to push these results into a more general metric setting particularly in the case of singular integral operators defined on curves and graphs in Carnot groups. Suppose X Y for a separable Banach space Y . Any separable metric space can be isometrically embedded in such a Banach space via the Kuratowski embedding. Suppose Gamma gamma( a,b ) is a curve in X whose w derivative is H " o lder continuous and bounded away from 0. We prove that any convolution type singular integral operator associated with a 1 dimensional Calder ' o n Zygmund kernel which is uniformly L 2 bounded on lines is L p bounded along Gamma . We also prove a version of David's good lambda'' theorem for upper regular measures on doubling metric spaces.


Data loci in algebraic optimization. In this article we provide examples, methods and algorithms to determine conditions on the parameters of certain type of parametric optimization problems, such that among the resulting local minima and maxima there is at least one which satisfies given polynomial conditions (for example it is singular or symmetric).


physics.ins-det physics.app-ph physics.atom-ph physics.geo-ph

Calibration of a superconducting gravimeter with an absolute atom gravimeter. We present a 27 days long common view measurement of an absolute cold atom gravimeter (CAG) and a relative iGrav superconducting gravimeter, which we use to calibrate the iGrav scale factor. This allowed us to push the CAG long term stability down to the level of 0.5 nm.s 2 . We investigate the impact of the duration of the measurement on the uncertainty in the determination of the correlation factor and show that it is limited to about 3 textperthousand by the coloured noise of our cold atom gravimeter. A 3 days long measurement session with an additional FG5X absolute gravimeter allows us to directly compare the calibration results obtained with two different absolute meters. Based on our analysis, we expect that with an improvement of its long term stability, the CAG will allow to calibrate the iGrav scale factor to better than the per mille level (1 sigma level of confidence) after only one day of concurrent measurements for maximum tidal amplitudes.


Artificial intelligence in space. In the next coming years, space activities are expected to undergo a radical transformation with the emergence of new satellite systems or new services which will incorporate the contributions of artificial intelligence and machine learning defined as covering a wide range of innovations from autonomous objects with their own decision making power to increasingly sophisticated services exploiting very large volumes of information from space. This chapter identifies some of the legal and ethical challenges linked to its use. These legal and ethical challenges call for solutions which the international treaties in force are not sufficient to determine and implement. For this reason, a legal methodology must be developed that makes it possible to link intelligent systems and services to a system of rules applicable thereto. It discusses existing legal AI based tools amenable for making space law actionable, interoperable and machine readable for future compliance tools.


Derived heat trace asymptotics for the de Rham and Dolbeault complexes. We examine the derived heat trace asymptotics in both the real and the complex settings for a generalized Witten perturbation. If the dimension is even, in the real context we show the integral of the local density for the derived heat trace asymptotics is half the Euler characteristic of the underlying manifold. In the complex context, we assume the underlying geometry is K "ahler and show the integral of the local density for the derived heat trace asymptotics defined by the Dolbeault complex is a characteristic number of the complex tangent bundle and the twisting vector bundle. We identify this characteristic number if the real dimension is 2 or 4 . In both the real and complex settings, the local density differs from the corresponding characteristic class by a divergence term.


Parallel Knowledge Transfer in Multi Agent Reinforcement Learning. Multi agent reinforcement learning is a standard framework for modeling multi agent interactions applied in real world scenarios. Inspired by experience sharing in human groups, learning knowledge parallel reusing between agents can potentially promote team learning performance, especially in multi task environments. When all agents interact with the environment and learn simultaneously, how each independent agent selectively learns from other agents' behavior knowledge is a problem that we need to solve. This paper proposes a novel knowledge transfer framework in MARL, PAT (Parallel Attentional Transfer). We design two acting modes in PAT, student mode and self learning mode. Each agent in our approach trains a decentralized student actor critic to determine its acting mode at each time step. When agents are unfamiliar with the environment, the shared attention mechanism in student mode effectively selects learning knowledge from other agents to decide agents' actions. PAT outperforms state of the art empirical evaluation results against the prior advising approaches. Our approach not only significantly improves team learning rate and global performance, but also is flexible and transferable to be applied in various multi agent systems.


Illuminated Decision Trees with Lucid. The Lucid methods described by Olah et al. (2018) provide a way to inspect the inner workings of neural networks trained on image classification tasks using feature visualization. Such methods have generally been applied to networks trained on visually rich, large scale image datasets like ImageNet, which enables them to produce enticing feature visualizations. To investigate these methods further, we applied them to classifiers trained to perform the much simpler (in terms of dataset size and visual richness), yet challenging task of distinguishing between different kinds of white blood cell from microscope images. Such a task makes generating useful feature visualizations difficult, as the discriminative features are inherently hard to identify and interpret. We address this by presenting the "Illuminated Decision Tree" approach, in which we use a neural network trained on the task as a feature extractor, then learn a decision tree based on these features, and provide Lucid visualizations for each node in the tree. We demonstrate our approach with several examples, showing how this approach could be useful both in model development and debugging, and when explaining model outputs to non experts.


Simplex space time meshes in two phase flow simulations. In this paper, we present the numerical solution of two phase flow problems of engineering significance with a space time finite element method that allows for local temporal refinement. Our basis is the method presented in 3 , which allows for arbitrary temporal refinement in preselected regions of the mesh. It has been extended to adaptive temporal refinement that is governed by a quantity that is part of the solution process, namely, the interface position in two phase flow. Due to local effects such as surface tension, jumps in material properties, etc., the interface can, in general, be considered a region that requires high flexibility and high resolution, both in space and in time. The new method, which leads to tetrahedral (for 2D problems) and pentatope (for 3D problems) meshes, offers an efficient yet accurate approach to the underlying two phase flow problems.


A conforming discontinuous Galerkin finite element method. A new finite element method with discontinuous approximation is introduced for solving second order elliptic problem. Since this method combines the features of both conforming finite element method and discontinuous Galerkin (DG) method, we call it conforming DG method. While using DG finite element space, this conforming DG method maintains the features of the conforming finite element method such as simple formulation and strong enforcement of boundary condition. Therefore, this finite element method has the flexibility of using discontinuous approximation and simplicity in formulation of the conforming finite element method. Error estimates of optimal order are established for the corresponding discontinuous finite element approximation in both a discrete H 1 norm and the L 2 norm. Numerical results are presented to confirm the theory.


Magmatic volatiles to assess permeable volcano tectonic structures in the Los Humeros geothermal field, Mexico. Magmatic volatiles can be considered as the surface fingerprint of active volcanic systems, both during periods of quiescent and eruptive volcanic activity. The spatial variability of gas emissions at Earths surface is a proxy for structural discontinuities in the subsurface of volcanic systems. We conducted extensive and regular spaced soil gas surveys within the Los Humeros geothermal field to improve the understanding of the structural control on fluid flow. Surveys at different scales were performed with the aim to identify areas of increased gas emissions on reservoir scale, their relation to unknown knows volcano tectonic structures on fault scale favoring fluid flow, and determine the origin of gas emissions. Herein, we show results from a carbon dioxide efflux scouting survey, which was performed across the main geothermal production zone together with soil temperature measurements. We identified five areas with increased carbon dioxide emissions, where further sampling was performed with denser sampling grids to understand the fault zone architecture and local variations in gas emissions. We show that a systematic sampling approach on reservoir scale is necessary for the identification and assessment of major permeable fault segments. The combined processing of CO2 efflux and carbon helium isotopes facilitated the detection of permeable structural segments with a connection to the deep, high temperature geothermal reservoir, also in areas with low to intermediate carbon dioxide emissions. The results of this study complement existing geophysical datasets and define further promising areas for future exploration activities in the north and southwestern sector of the production field.


Duality pairs and homomorphisms to oriented and unoriented cycles. In the homomorphism order of digraphs, a duality pair is an ordered pair of digraphs (G,H) such that for any digraph, D , G to D if and only if D not to H . The directed path on k 1 vertices together with the transitive tournament on k vertices is a classic example of a duality pair. This relation between paths and tournaments implies that a graph is k colourable if and only if it admits an orientation with no directed path on more than k vertices. In this work, for every undirected cycle C we find an orientation C D and an oriented path P C , such that (P C,C D) is a duality pair. As a consequence we obtain that there is a finite set, F C , such that an undirected graph is homomorphic to C , if and only if it admits an F C free orientation. As a byproduct of the proposed duality pairs, we show that if T is a tree of height at most 3 , one can choose a dual of T of linear size with respect to the size of T .


Optimality of constant inflow for a linear system with a bottleneck entrance. Sadeghi et al. considered a bottleneck system with periodic inflow rate, and proved that a constant rate input maximizes the time averaged output rate among all periodic inflow rates. Here we provide a short and elementary proof of this result, without use of optimal control theory. The new approach developed here allows us to prove an extension of the result to the case of a general non periodic inflow rate.


Optimal Algorithms for Geometric Centers and Depth. renewcommand Re mathbb R We develop a general randomized technique for solving "implic it" linear programming problems, where the collection of constraints are defined implicitly by an underlying ground set of elements. In many cases, the structure of the implicitly defined constraints can be exploited in order to obtain efficient linear program solvers. We apply this technique to obtain near optimal algorithms for a variety of fundamental problems in geometry. For a given point set P of size n in Re d , we develop algorithms for computing geometric centers of a point set, including the centerpoint and the Tukey median, and several other more involved measures of centrality. For d 2 , the new algorithms run in O(n log n) expected time, which is optimal, and for higher constant d 2 , the expected time bound is within one logarithmic factor of O(n d 1 ) , which is also likely near optimal for some of the problems.


Slope Dependent Turbulence over Two dimensional Wavy Surfaces. Knowledge of turbulent flows over non flat surfaces is of major practical interest in diverse applications. Significant work continues to be reported in the roughness regime at high Reynolds numbers where the cumulative effect of surface undulations on the averaged and integrated turbulence quantities is well documented. Even for such cases, the surface topology plays an important role for transitional roughness Reynolds numbers that is hard to characterize. In this work, we attempt to develop a bottom up understanding of the mechanisms underlying turbulence generation and transport, particularly within the region of the turbulent boundary layer (TBL) affected by the surface. We relate surface characteristics with turbulence generation mechanisms, Reynolds stress transport and the resulting drag increase. To this end, we perform a suite of direct numerical simulations of fully developed turbulent flow between two infinitely wide, two dimensional sinusoidally wavy surfaces at a friction Reynolds number, Re tau 180 , with different mean surface slopes, zeta (and fixed inner scaled undulation height, a 13 ) corresponding to the waviness' regime. The increase in wave slope enhances near surface turbulent mixing resulting in increased total drag, higher fraction of form drag, faster approach to isotropy and thereby, modulation of the buffer layer. The primary near surface streamwise and vertical turbulence generation occurs in the leeward and windward side of the wave. In contrast, the spanwise variance is produced through pressure rate of strain mechanism, primarily, along the windward side of the wave for flows with very little flow separation. We also observe significant dispersion effects in the production structure.


A spectral theory for transverse tensor operators. Tensors are multiway arrays of data, and transverse operators are the operators that change the frame of reference. We develop the spectral theory of transverse tensor operators and apply it to problems closely related to classifying quantum states of matter, isomorphism in algebra, clustering in data, and the design of high performance tensor type systems. We prove the existence and uniqueness of the optimally compressed tensor product spaces over algebras, called emph densors . This gives structural insights for tensors and improves how we recognize tensors in arbitrary reference frames. Using work of Eisenbud Sturmfels on binomial ideals, we classify the maximal groups and categories of transverse operators, leading us to general tensor data types and categorical tensor decompositions, amenable to theorems like Jordan H "older and Krull Schmidt. All categorical tensor substructure is detected by transverse operators whose spectra contain a Stanley Reisner ideal, which can be analyzed with combinatorial and geometrical tools via their simplicial complexes. Underpinning this is a ternary Galois correspondence between tensor spaces, multivariable polynomial ideals, and transverse operators. This correspondence can be computed in polynomial time. We give an implementation in the computer algebra system textsf Magma .


Multi Resolution 3D Mapping with Explicit Free Space Representation for Fast and Accurate Mobile Robot Motion Planning. With the aim of bridging the gap between high quality reconstruction and mobile robot motion planning, we propose an efficient system that leverages the concept of adaptive resolution volumetric mapping, which naturally integrates with the hierarchical decomposition of space in an octree data structure. Instead of a Truncated Signed Distance Function (TSDF), we adopt mapping of occupancy probabilities in log odds representation, which allows to represent both surfaces, as well as the entire free, i.e. observed space, as opposed to unobserved space. We introduce a method for choosing resolution on the fly in real time by means of a multi scale max min pooling of the input depth image. The notion of explicit free space mapping paired with the spatial hierarchy in the data structure, as well as map resolution, allows for collision queries, as needed for robot motion planning, at unprecedented speed. We quantitatively evaluate mapping accuracy, memory, runtime performance, and planning performance showing improvements over the state of the art, particularly in cases requiring high resolution maps.


Refinement type contracts for verification of scientific investigative software. Our scientific knowledge is increasingly built on software output. User code which defines data analysis pipelines and computational models is essential for research in the natural and social sciences, but little is known about how to ensure its correctness. The structure of this code and the development process used to build it limit the utility of traditional testing methodology. Formal methods for software verification have seen great success in ensuring code correctness but generally require more specialized training, development time, and funding than is available in the natural and social sciences. Here, we present a Python library which uses lightweight formal methods to provide correctness guarantees without the need for specialized knowledge or substantial time investment. Our package provides runtime verification of function entry and exit condition contracts using refinement types. It allows checking hyperproperties within contracts and offers automated test case generation to supplement online checking. We co developed our tool with a medium sized ( approx 3000 LOC) software package which simulates decision making in cognitive neuroscience. In addition to helping us locate trivial bugs earlier on in the development cycle, our tool was able to locate four bugs which may have been difficult to find using traditional testing methods. It was also able to find bugs in user code which did not contain contracts or refinement type annotations. This demonstrates how formal methods can be used to verify the correctness of scientific software which is difficult to test with mainstream approaches.


Real Time Detection of Simulator Sickness in Virtual Reality Games Based on Players' Psychophysiological Data during Gameplay. Virtual Reality (VR) technology has been proliferating in the last decade, especially in the last few years. However, Simulator Sickness (SS) still represents a significant problem for its wider adoption. Currently, the most common way to detect SS is using the Simulator Sickness Questionnaire (SSQ). SSQ is a subjective measurement and is inadequate for real time applications such as VR games. This research aims to investigate how to use machine learning techniques to detect SS based on in game characters' and users' physiological data during gameplay in VR games. To achieve this, we designed an experiment to collect such data with three types of games. We trained a Long Short Term Memory neural network with the dataset eye tracking and character movement data to detect SS in real time. Our results indicate that, in VR games, our model is an accurate and efficient way to detect SS in real time.


A comparable study Intrinsic difficulties of practical plant diagnosis from wide angle images. Practical automated detection and diagnosis of plant disease from wide angle images (i.e. in field images containing multiple leaves using a fixed position camera) is a very important application for large scale farm management, in view of the need to ensure global food security. However, developing automated systems for disease diagnosis is often difficult, because labeling a reliable wide angle disease dataset from actual field images is very laborious. In addition, the potential similarities between the training and test data lead to a serious problem of model overfitting. In this paper, we investigate changes in performance when applying disease diagnosis systems to different scenarios involving wide angle cucumber test data captured on real farms, and propose an effective diagnostic strategy. We show that leading object recognition techniques such as SSD and Faster R CNN achieve excellent end to end disease diagnostic performance only for a test dataset that is collected from the same population as the training dataset (with F1 score of 81.5 84.1 for diagnosed cases of disease), but their performance markedly deteriorates for a completely different test dataset (with F1 score of 4.4 6.2 ). In contrast, our proposed two stage systems using independent leaf detection and leaf diagnosis stages attain a promising disease diagnostic performance that is more than six times higher than end to end systems (with F1 score of 33.4 38.9 ) on an unseen target dataset. We also confirm the efficiency of our proposal based on visual assessment, concluding that a two stage model is a suitable and reasonable choice for practical applications.


Riesz transforms on compact quantum groups and strong solidity. One of the main aims of this paper is to give a large class of strongly solid compact quantum groups. We do this by using quantum Markov semi groups (QMS's) and non commutative Riesz transforms. We introduce a property for QMS's of central multipliers on a compact quantum group which we shall call approximate linearity with almost commuting intertwiners. We show that this property is stable under free products, monoidal equivalence, free wreath products and dual quantum subgroups. Examples include in particular all the (higher dimensional) free orthogonal easy quantum groups. We then show that a compact quantum group with a QMS that is approximately linear with almost commuting intertwiners, satisfies the immediately gradient mathcal S 2 condition from Cas21 and derive strong solidity results (following Cas21 , OzPo10 , Pet09 ). Using the non commutative Riesz transform we also show that these quantum groups have the Akemann Ostrand property in particular the same strong solidity results follow again (now following Iso15b , PoVa14 ).


Representation homology of simply connected spaces. Let G be an affine algebraic group defined over field k of characteristic zero. We study the derived moduli space of G local systems on a pointed connected CW complex X trivialized at the basepoint of X . This derived moduli space is represented by an affine DG scheme RLoc G(X, ) we call the (co)homology of the structure sheaf of RLoc G(X, ) the representation homology of X in G and denote it by HR (X,G) . The HR 0(X,G) is isomorphic to the coordinate ring of the representation variety Rep G pi 1(X) of the fundamental group of X in G a well known algebro geometric invariant of X with many applications in topology. The case when X is simply connected seems much less studied in this case, the HR 0(X,G) is trivial but the higher representation homology is still an interesting rational invariant of X depending on the algebraic group G . In this paper, we use rational homotopy theory to compute the HR (X,G) for an arbitrary simply connected space X (of finite rational type) in terms of its Quillen and Sullivan algebraic models. When G is reductive, we also compute the G invariant part of representation homology, HR (X,G) G , and study the question when HR (X,G) G is free of locally finite type as a graded commutative algebra. This question turns out to be closely related to the so called Strong Macdonald Conjecture, a celebrated result in representation theory proposed (as a conjecture) by B. Feigin and P. Hanlon in the 1980s and proved by S. Fishel, I. Grojnowski and C. Teleman in 2008. Reformulating the Strong Macdonald Conjecture in topological terms, we give a simple characterization of spaces X for which HR (X,G) G is a graded symmetric algebra for any complex reductive group G .


Subcritical route to turbulence via the Orr mechanism in a quasi two dimensional boundary layer. The link to the online abstract of this manuscript, accepted in Phys. Rev. Fluids, is https journals.aps.org prfluids accepted 32074S4aH8b1c608e19768b42571f9001086a3f44. A subcritical route to turbulence via purely quasi two dimensional mechanisms, for a quasi two dimensional system composed of an isolated exponential boundary layer, is numerically investigated. Exponential boundary layers are highly stable, and are expected to form on the walls of liquid metal coolant ducts within magnetic confinement fusion reactors. Subcritical transitions were detected only at weakly subcritical Reynolds numbers (at most approx 70 below critical). Furthermore, the likelihood of transition was very sensitive to both the perturbation structure and initial energy. Only the quasi two dimensional Tollmien Schlichting wave disturbance, attained by either linear or nonlinear optimisation, was able to initiate the transition process, by means of the Orr mechanism. The lower initial energy bound sufficient to trigger transition was found to be independent of the domain length. However, longer domains were able to increase the upper energy bound, via the merging of repetitions of the Tollmien Schlichting wave. This broadens the range of initial energies able to exhibit transitional behaviour. Although the eventual relaminarization of all turbulent states was observed, this was also greatly delayed in longer domains. The maximum nonlinear gains achieved were orders of magnitude larger than the maximum linear gains (with the same initial perturbations), regardless if the initial energy was above or below the lower energy bound. Nonlinearity provided a second stage of energy growth by an arching of the conventional Tollmien Schlichting wave structure. A streamwise independent structure, able to efficiently store perturbation energy, also formed.


Blind Video Temporal Consistency via Deep Video Prior. Applying image processing algorithms independently to each video frame often leads to temporal inconsistency in the resulting video. To address this issue, we present a novel and general approach for blind video temporal consistency. Our method is only trained on a pair of original and processed videos directly instead of a large dataset. Unlike most previous methods that enforce temporal consistency with optical flow, we show that temporal consistency can be achieved by training a convolutional network on a video with the Deep Video Prior. Moreover, a carefully designed iteratively reweighted training strategy is proposed to address the challenging multimodal inconsistency problem. We demonstrate the effectiveness of our approach on 7 computer vision tasks on videos. Extensive quantitative and perceptual experiments show that our approach obtains superior performance than state of the art methods on blind video temporal consistency. Our source codes are publicly available at github.com ChenyangLEI deep video prior.


Exact distributions for stochastic models of gene expression with arbitrary regulation. Stochasticity in gene expression can result in fluctuations in gene product levels. Recent experiments indicated that feedback regulation plays an important role in controlling the noise in gene expression. A quantitative understanding of the feedback effect on gene expression requires analysis of the corresponding stochastic model. However, for stochastic models of gene expression with general regulation functions, exact analytical results for gene product distributions have not been given so far. Here, we propose a technique to solve a generalized ON OFF model of stochastic gene expression with arbitrary (positive or negative, linear or nonlinear) feedbacks including posttranscriptional or posttranslational regulation. The obtained results, which generalize results obtained previously, provide new insights into the role of feedback in regulating gene expression. The proposed analytical framework can easily be extended to analysis of more complex models of stochastic gene expression.


On H " o lder solutions to the spiral winding problem. The winding problem concerns understanding the regularity of functions which map a line segment onto a spiral. This problem has relevance in fluid dynamics and conformal welding theory, where spirals arise naturally. Here we interpret regularity' in terms of H " o lder exponents and establish sharp results for spirals with polynomial winding rates, observing that the sharp H " o lder exponent of the forward map and its inverse satisfy a formula reminiscent of Sobolev conjugates. We also investigate the dimension theory of these spirals, in particular, the Assouad dimension, Assouad spectrum and box dimensions. The aim here is to compare the bounds on the H " o lder exponents in the winding problem coming directly from knowledge of dimension (and how dimension distorts under H " o lder image) with the sharp results. We find that the Assouad spectrum provides the best information, but that even this is not sharp. We also find that the Assouad spectrum is the only dimension' which distinguishes between spirals with different polynomial winding rates in the superlinear regime.


Full 3D 1 modelling of the tilted pulse front setups for single cycle terahertz generation. The tilted pulse front setup utilizing a diffraction grating is one of the most successful methods to generate single to few cycle terahertz pulses. However, the generated terahertz pulses have a large spatial inhomogeneity, due to the noncollinear phase matching condition and the asymmetry of the prism shaped nonlinear crystal geometry, especially when pushing for high optical to terahertz conversion efficiency. A 3D 1 (x,y,z,t) numerical model is necessary in order to fully investigate the terahertz generation problem in the tilted pulse front scheme. We compare in detail the differences between 1D 1, 2D 1 and 3D 1 models. The simulations show that the size of the optical beam in the pulse front tilt plane sensitively affects the spatio temporal properties of the terahertz electric field. The terahertz electric field is found to have a strong spatial dependence such that a few cycle pulse is only generated near the apex of the prism. The part of the beam farther from the apex contains a large fraction of the energy but has a waveform that deviates from a few cycle. This strong spatial dependence must be accounted for when using the terahertz pulses for strong field physics and carrier envelope phase sensitive experiments such as terahertz acceleration, coherent control of antiferromagnetic spin waves and terahertz high harmonic generation.


Spatiotemporal Contrastive Video Representation Learning. We present a self supervised Contrastive Video Representation Learning (CVRL) method to learn spatiotemporal visual representations from unlabeled videos. Our representations are learned using a contrastive loss, where two augmented clips from the same short video are pulled together in the embedding space, while clips from different videos are pushed away. We study what makes for good data augmentations for video self supervised learning and find that both spatial and temporal information are crucial. We carefully design data augmentations involving spatial and temporal cues. Concretely, we propose a temporally consistent spatial augmentation method to impose strong spatial augmentations on each frame of the video while maintaining the temporal consistency across frames. We also propose a sampling based temporal augmentation method to avoid overly enforcing invariance on clips that are distant in time. On Kinetics 600, a linear classifier trained on the representations learned by CVRL achieves 70.4 top 1 accuracy with a 3D ResNet 50 (R3D 50) backbone, outperforming ImageNet supervised pre training by 15.7 and SimCLR unsupervised pre training by 18.8 using the same inflated R3D 50. The performance of CVRL can be further improved to 72.9 with a larger R3D 152 (2x filters) backbone, significantly closing the gap between unsupervised and supervised video representation learning. Our code and models will be available at https github.com tensorflow models tree master official .


Boom, Bust, and Bitcoin Bitcoin Bubbles As Innovation Accelerators. Bitcoin represents one of the most interesting technological breakthroughs and socio economic experiments of the last decades. In this paper, we examine the role of speculative bubbles in the process of Bitcoin's technological adoption by analyzing its social dynamics. We trace Bitcoin's genesis and dissect the nature of its techno economic innovation. In particular, we present an analysis of the techno economic feedback loops that drive Bitcoin's price and network effects. Based on our analysis of Bitcoin, we test and further refine the Social Bubble Hypothesis, which holds that bubbles constitute an essential component in the process of technological innovation. We argue that a hierarchy of repeating and exponentially increasing series of bubbles and hype cycles, which has occurred over the past decade since its inception, has bootstrapped Bitcoin into existence.


Secure Regenerating Codes for Reducing Storage and Bootstrap Costs in Sharded Blockchains. Blockchain is a distributed ledger with wide applications. Due to the increasing storage requirement for blockchains, the computation can be afforded by only a few miners. Sharding has been proposed to scale blockchains so that storage and transaction efficiency of the blockchain improves at the cost of security guarantee. This paper aims to consider a new protocol, Secure Repair Blockchain (SRB), which aims to decrease the storage cost at the miners. In addition, SRB also decreases the bootstrapping cost, which allows for new miners to easily join a sharded blockchain. In order to reduce storage, coding theoretic techniques are used in SRB. In order to decrease the amount of data that is transferred to the new node joining a shard, the concept of exact repair secure regenerating codes is used. The proposed blockchain protocol achieves lower storage than those that do not use coding, and achieves lower bootstrapping cost as compared to the different baselines.


JANUS Benchmarking Commercial and Open Source Cloud and Edge Platforms for Object and Anomaly Detection Workloads. With diverse IoT workloads, placing compute and analytics close to where data is collected is becoming increasingly important. We seek to understand what is the performance and the cost implication of running analytics on IoT data at the various available platforms. These workloads can be compute light, such as outlier detection on sensor data, or compute intensive, such as object detection from video feeds obtained from drones. In our paper, JANUS, we profile the performance and the compute versus communication cost for a compute light IoT workload and a compute intensive IoT workload. In addition, we also look at the pros and cons of some of the proprietary deep learning object detection packages, such as Amazon Rekognition, Google Vision, and Azure Cognitive Services, to contrast with open source and tunable solutions, such as Faster R CNN (FRCNN). We find that AWS IoT Greengrass delivers at least 2X lower latency and 1.25X lower cost compared to all other cloud platforms for the compute light outlier detection workload. For the compute intensive streaming video analytics task, an opensource solution to object detection running on cloud VMs saves on dollar costs compared to proprietary solutions provided by Amazon, Microsoft, and Google, but loses out on latency (up to 6X). If it runs on a low powered edge device, the latency is up to 49X lower.


Numerical investigation into coarse scale models of diffusion in complex heterogeneous media. Computational modelling of diffusion in heterogeneous media is prohibitively expensive for problems with fine scale heterogeneities. A common strategy for resolving this issue is to decompose the domain into a number of non overlapping sub domains and homogenize the spatially dependent diffusivity within each sub domain (homogenization cell). This process yields a coarse scale model for approximating the solution behaviour of the original fine scale model at a reduced computational cost. In this paper, we study coarse scale diffusion models in block heterogeneous media and investigate, for the first time, the effect that various factors have on the accuracy of resulting coarse scale solutions. We present new findings on the error associated with homogenization as well as confirm via numerical experimentation that periodic boundary conditions are the best choice for the homogenization cell and demonstrate that the smallest homogenization cell that is computationally feasible should be used in numerical simulations.


Splitting Algorithms of Common Solutions Between Equilibrium and Inclusion Problems on Hadamard Manifolds. The aim of this article is to introduce an iterative algorithm for finding a common solution from the set of an equilibrium point for a bifunction and the set of a singularity of an inclusion problem on an Hadamard manifold. We also discuss some particular cases of the problem by the proposed algorithm. The convergence of a sequence generated by the proposed algorithm is proved under mild assumptions. Moreover, we apply our results to solving minimization problems and minimax problems.


A Survey on Human centric Communications in Non cooperative Wireless Relay Networks. The performance of data delivery in wireless relay networks (WRNs), such as delay tolerant networks and device to device communications heavily relies on the cooperation of mobile nodes (i.e., users and their carried devices). However, selfish nodes may refuse to relay data to others or share their resources with them due to various reasons, such as resource limitations or social preferences. Meanwhile, misbehaving nodes can launch different types of internal attacks (e.g., blackhole and trust related attacks) to disrupt the normal operation of the network. Numerous mechanisms have been recently proposed to establish secure and efficient communications in WRNs in the presence of selfish and malicious nodes (referred as non cooperative WRNs). In this paper, we present an in depth survey on human centric communication challenges and solutions in the non cooperative WRNs that focuses on (1) an overview of the non cooperative WRNs and introduction to various types of node selfish and malicious behaviors, (2) the impact analysis of node selfish and malicious behaviors on the performance of data forwarding and distribution, (3) selfish and malicious node detection and defense systems, and (4) incentive mechanisms. Finally, we discuss several open problems and future research challenges.


Simplicial degree in complex networks. Applications of Topological Data Analysis to Network Science. Network Science provides a universal formalism for modelling and studying complex systems based on pairwise interactions between agents. However, many real networks in the social, biological or computer sciences involve interactions among more than two agents, having thus an inherent structure of a simplicial complex. We propose new notions of higher order degrees of adjacency for simplices in a simplicial complex, allowing any dimensional comparison among them and their faces, which as far as we know were lacked in the literature. We introduce multi parameter boundary and coboundary operators in an oriented simplicial complex and also a novel multi combinatorial Laplacian is defined, which generalises the graph and combinatorial Laplacian. To illustrate the potential applications of these theoretical results, we perform a structural analysis of higher order connectivity in simplicial complex networks by studying the associated distributions with these simplicial degrees in 17 real world datasets coming from different domains such as coauthor networks, cosponsoring Congress bills, contacts in schools, drug abuse warning networks, e mail networks or publications and users in online forums. We find rich and diverse higher order connectivity structures and observe that datasets of the same type reflect similar higher order collaboration patterns. Furthermore, we show that if we use what we have called the maximal simplicial degree (which counts the distinct maximal communities in which our simplex and all its strict sub communities are contained), then its degree distribution is, in general, surprisingly different from the classical node degree distribution.


Measuring Emotions in the COVID 19 Real World Worry Dataset. The COVID 19 pandemic is having a dramatic impact on societies and economies around the world. With various measures of lockdowns and social distancing in place, it becomes important to understand emotional responses on a large scale. In this paper, we present the first ground truth dataset of emotional responses to COVID 19. We asked participants to indicate their emotions and express these in text. This resulted in the Real World Worry Dataset of 5,000 texts (2,500 short 2,500 long texts). Our analyses suggest that emotional responses correlated with linguistic measures. Topic modeling further revealed that people in the UK worry about their family and the economic situation. Tweet sized texts functioned as a call for solidarity, while longer texts shed light on worries and concerns. Using predictive modeling approaches, we were able to approximate the emotional responses of participants from text within 14 of their actual value. We encourage others to use the dataset and improve how we can use automated methods to learn about emotional responses and worries about an urgent problem.


Predictive Simulation Using Regression and Artificial Neural Networks to Negate Latency in Networked Interactive Virtual Reality. Current virtual reality systems are typically limited by performance cost, usability (size), or a combination of both. By using a networked client server environment, we have solved these limitations for the client. However, in doing so we have introduced a new problem, namely increased latency. Interactive networked virtual environments such as games and simulations have existed for nearly as long as the Internet and have consistently faced latency issues. We propose a solution for negating the effects of latency for interactive networked virtual environments with lightweight clients, with respect to the server being used. The proposed method extrapolates future client states to be incorporated in the server's updates, which helps to synchronize actions on the client side and the results coming from the server. We refer to this approach as predictive simulation. In addition to describing our method, in this paper, we look at extrapolation methods because the success of our predictive simulation method is dependent on strong predictions. We focus on regression methods and briefly examine the use of artificial neural networks.


On the Universal Near Shortest Simple Paths Problem. This article generalizes the Near Shortest Paths Problem introduced by Byers and Waterman in 1984 using concepts of the Universal Shortest Path Problem established by Turner and Hamacher in 2011. The generalization covers a variety of shortest path problems by introducing a universal weight vector. We apply this concept to the Near Shortest Paths Problem in a way that we are able to enumerate all universal near shortest simple paths. We present two recursive algorithms to compute the set of universal near shortest simple paths between two prespecified vertices and evaluate the running time complexity per path enumerated with respect to different values of the universal weight vector. Further, we study the cardinality of a minimal complete set with respect to different values of the universal weight vector.


Getting recommendation is not always better. We present an extended version of the Iterated Prisoner's Dilemma game in which agents with limited memory receive recommendations about the unknown opponent to decide whether to play with. Since agents can receive more than one recommendations about the same opponent, they have to evaluate the recommendations according to their disposition such as optimist, pessimist, or realist. They keep their firsthand experience in their memory. Since agents have limited memory, they have to use different forgetting strategies. Our results show that getting recommendations not always perform better. We observe that realist performs the best and optimist the worse.


UMap Enabling Application driven Optimizations for Page Management. Leadership supercomputers feature a diversity of storage, from node local persistent memory and NVMe SSDs to network interconnected flash memory and HDD. Memory mapping files on different tiers of storage provides a uniform interface in applications. However, system wide services like mmap are optimized for generality and lack flexibility for enabling application specific optimizations. In this work, we present Umap to enable user space page management that can be easily adapted to access patterns in applications and storage characteristics. Umap uses the userfaultfd mechanism to handle page faults in multi threaded applications efficiently. By providing a data object abstraction layer, Umap is extensible to support various backing stores. The design of Umap supports dynamic load balancing and I O decoupling for scalable performance. Umap also uses application hints to improve the selection of caching, prefetching, and eviction policies. We evaluate Umap in five benchmarks and real applications on two systems. Our results show that leveraging application knowledge for page management could substantially improve performance. On average, Umap achieved 1.25 to 2.5 times improvement using the adapted configurations compared to the system service.


Approximation of Nikol'skii Besov functional classes S r 1, theta B( mathbb R d) by entire functions of a special form. We establish the exact order estimates for the approximation of functions from the Nikol'skii Besov classes S boldsymbol r 1, theta B( mathbb R d) , d geqslant 1 , by entire function exponential type with some restrictions for their spectrum. The error of the approximation is estimated in the metric of the Lebesgue space L infty ( mathbb R d) .


FastPose Towards Real time Pose Estimation and Tracking via Scale normalized Multi task Networks. Both accuracy and efficiency are significant for pose estimation and tracking in videos. State of the art performance is dominated by two stages top down methods. Despite the leading results, these methods are impractical for real world applications due to their separated architectures and complicated calculation. This paper addresses the task of articulated multi person pose estimation and tracking towards real time speed. An end to end multi task network (MTN) is designed to perform human detection, pose estimation, and person re identification (Re ID) tasks simultaneously. To alleviate the performance bottleneck caused by scale variation problem, a paradigm which exploits scale normalized image and feature pyramids (SIFP) is proposed to boost both performance and speed. Given the results of MTN, we adopt an occlusion aware Re ID feature strategy in the pose tracking module, where pose information is utilized to infer the occlusion state to make better use of Re ID feature. In experiments, we demonstrate that the pose estimation and tracking performance improves steadily utilizing SIFP through different backbones. Using ResNet 18 and ResNet 50 as backbones, the overall pose tracking framework achieves competitive performance with 29.4 FPS and 12.2 FPS, respectively. Additionally, occlusion aware Re ID feature decreases the identification switches by 37 in the pose tracking process.


Introducing the Hearthstone AI Competition. The Hearthstone AI framework and competition motivates the development of artificial intelligence agents that can play collectible card games. A special feature of those games is the high variety of cards, which can be chosen by the players to create their own decks. In contrast to simpler card games, the value of many cards is determined by their possible synergies. The vast amount of possible decks, the randomness of the game, as well as the restricted information during the player's turn offer quite a hard challenge for the development of game playing agents. This short paper introduces the competition framework and goes into more detail on the problems and challenges that need to be faced during the development process.


Electromagnetic radiation and the self torque of an oscillating magnetic dipole. A uniformly charged spherical shell of radius R , mass m , and total electrical charge q , having an oscillatory angular velocity Omega(t) around a fixed axis, is a model for a magnetic dipole that radiates an electromagnetic field into its surrounding free space at a fixed oscillation frequency omega . An exact solution of the Maxwell Lorentz equations of classical electrodynamics yields the self torque of radiation resistance acting on the spherical shell as a function of R , q , and omega . Invoking the Newtonian equation of motion for the shell, we relate its angular velocity Omega(t) to an externally applied torque, and proceed to examine the response of the magnetic dipole to an impulsive torque applied at a given instant of time, say, t 0 . The impulse response of the dipole is found to be causal down to extremely small values of R (i.e., as R to 0 ) so long as the exact expression of the self torque is used in the dynamical equation of motion of the spherical shell.


An Efficient Routing Protocol in Mobile Ad hoc Networks by using Artificial Immune System. Characteristics of the mobile ad hoc networks such as nodes high mobility and limited energy are regarded as the routing challenges in these networks. OLSR protocol is one of the routing protocols in mobile ad hoc network that selects the shortest route between source and destination through Dijkstra's algorithm. However, OLSR suffers from a major problem. It does not consider parameters such as nodes energy level and links length in its route processing. This paper employs the artificial immune system (AIS) to enhance efficiency of OLSR routing protocol. The proposed algorithm, called AIS OLSR, considers hop count, remaining energy in the intermediate nodes, and distance among node, which is realized by negative selection and ClonalG algorithms of AIS. Widespread packet level simulation in ns 2 environment, shows that AIS OLSR outperforms OLSR and EA OLSR in terms of packet delivery ratio, throughput, end end delay and lifetime.


Nonlocal adhesion models for two cancer cell phenotypes in a multidimensional bounded domain. Cell cell adhesion is an inherently nonlocal phenomenon. Numerous partial differential equation models with nonlocal term have been recently presented to describe this phenomenon, yet the mathematical properties of nonlocal adhesion model are not well understood. Here we consider a model with two kinds of nonlocal cell cell adhesion, satisfying no flux conditions in a multidimensional bounded domain. We show global in time well posedness of the solution to this model and obtain the uniform boundedness of solution.


Minimal norm static feedbacks using dissipative Hamiltonian matrices. In this paper, we characterize the set of static state feedbacks that stabilize a given continuous linear time invariant system pair using dissipative Hamiltonian matrices. This characterization results in a parametrization of feedbacks in terms of skew symmetric and symmetric positive semidefinite matrices, and leads to a semidefinite program that computes a static state stabilizing feedback. This characterization also allows us to propose an algorithm that computes minimal norm static feedbacks. The theoretical results extend to the static output feedback (SOF) problem, and we also propose an algorithm to tackle this problem. We illustrate the effectiveness of our algorithm compared to state of the art methods for the SOF problem on numerous numerical examples from the COMPLeIB library.


Geometric inequalities involving mean curvature for closed surfaces. In this paper we prove some geometric inequalities for closed surfaces in Euclidean three space. Motivated by Gage's inequality for convex curves, we first verify that for convex surfaces the Willmore energy is bounded below by some scale invariant quantities. In particular, we obtain an optimal scaling law between the Willmore energy and the isoperimetric ratio under convexity. In addition, we also address Topping's conjecture relating diameter and mean curvature for connected closed surfaces. We prove this conjecture in the class of simply connected axisymmetric surfaces, and moreover obtain a sharp remainder term which ensures the first evidence that optimal shapes are necessarily straight even without convexity.


On a generalisation of the Skitovich Darmois theorem for several linear forms on Abelian groups. A.M. Kagan introduced a class of distributions mathcal D m, k in mathbb R m and proved that if the joint distribution of m linear forms of n independent random variables belongs to the class mathcal D m, m 1 , then the random variables are Gaussian. A.M. Kagan's theorem implies, in particular, the well known Skitovich Darmois theorem, where the Gaussian distribution on the real line is characterized by independence of two linear forms of n independent random variables. In the note we describe a wide class of locally compact Abelian groups where A.M. Kagan's theorem is valid.


A graph theoretic approach to a conjecture of Dixon and Pressman. Given n times n matrices, A 1, dots, A k , consider the linear operator L(A 1, dots,A k) , colon operatorname M n to operatorname M n given by L(A 1, dots,A k)(A k 1 ) sum sigma in S k 1 operatorname sign ( sigma) A sigma(1) A sigma(2) cdots A sigma(k 1) . The Amitsur Levitzki theorem asserts that L(A 1, ldots, A k) is identically 0 for every k geq 2n 1 . Dixon and Pressman conjectured that if k is an even number between 2 and 2n 2 , then the kernel of L(A 1, ldots, A k) is of dimension k for A 1, ldots, A k in operatorname M n( mathbb R ) in general position. We prove this conjecture using graph theoretic techniques.


Unconstrained Text Detection in Manga. The detection and recognition of unconstrained text is an open problem in research. Text in comic books has unusual styles that raise many challenges for text detection. This work aims to identify text characters at a pixel level in a comic genre with highly sophisticated text styles Japanese manga. To overcome the lack of a manga dataset with individual character level annotations, we create our own. Most of the literature in text detection use bounding box metrics, which are unsuitable for pixel level evaluation. Thus, we implemented special metrics to evaluate performance. Using these resources, we designed and evaluated a deep network model, outperforming current methods for text detection in manga in most metrics.


Clique Is Hard on Average for Regular Resolution. We prove that for k ll sqrt 4 n regular resolution requires length n Omega(k) to establish that an Erd H o s R 'enyi graph with appropriately chosen edge density does not contain a k clique. This lower bound is optimal up to the multiplicative constant in the exponent, and also implies unconditional n Omega(k) lower bounds on running time for several state of the art algorithms for finding maximum cliques in graphs.


Accurate and efficient splitting methods for dissipative particle dynamics. We study numerical methods for dissipative particle dynamics (DPD), which is a system of stochastic differential equations and a popular stochastic momentum conserving thermostat for simulating complex hydrodynamic behavior at mesoscales. We propose a new splitting method that is able to substantially improve the accuracy and efficiency of DPD simulations in a wide range of the friction coefficients, particularly in the extremely large friction limit that corresponds to a fluid like Schmidt number, a key issue in DPD. Various numerical experiments on both equilibrium and transport properties are performed to demonstrate the superiority of the newly proposed method over popular alternative schemes in the literature.


scb mt en th 2020 A Large English Thai Parallel Corpus. The primary objective of our work is to build a large scale English Thai dataset for machine translation. We construct an English Thai machine translation dataset with over 1 million segment pairs, curated from various sources, namely news, Wikipedia articles, SMS messages, task based dialogs, web crawled data and government documents. Methodology for gathering data, building parallel texts and removing noisy sentence pairs are presented in a reproducible manner. We train machine translation models based on this dataset. Our models' performance are comparable to that of Google Translation API (as of May 2020) for Thai English and outperform Google when the Open Parallel Corpus (OPUS) is included in the training data for both Thai English and English Thai translation. The dataset, pre trained models, and source code to reproduce our work are available for public use.


Valentine Evaluating Matching Techniques for Dataset Discovery. Data scientists today search large data lakes to discover and integrate datasets. In order to bring together disparate data sources, dataset discovery methods rely on some form of schema matching the process of establishing correspondences between datasets. Traditionally, schema matching has been used to find matching pairs of columns between a source and a target schema. However, the use of schema matching in dataset discovery methods differs from its original use. Nowadays schema matching serves as a building block for indicating and ranking inter dataset relationships. Surprisingly, although a discovery method's success relies highly on the quality of the underlying matching algorithms, the latest discovery methods employ existing schema matching algorithms in an ad hoc fashion due to the lack of openly available datasets with ground truth, reference method implementations, and evaluation metrics. In this paper, we aim to rectify the problem of evaluating the effectiveness and efficiency of schema matching methods for the specific needs of dataset discovery. To this end, we propose Valentine, an extensible open source experiment suite to execute and organize large scale automated matching experiments on tabular data. Valentine includes implementations of seminal schema matching methods that we either implemented from scratch (due to absence of open source code) or imported from open repositories. The contributions of Valentine are i) the definition of four schema matching scenarios as encountered in dataset discovery methods, ii) a principled dataset fabrication process tailored to the scope of dataset discovery methods and iii) the most comprehensive evaluation of schema matching techniques to date, offering insight on the strengths and weaknesses of existing techniques, that can serve as a guide for employing schema matching in future dataset discovery methods.


Products of locally cyclic groups. We consider groups of the form G AB with two locally cyclic subgroups A and B . The structure of these groups is determined in the cases when A and B are both periodic or when one of them is periodic and the other is not. Together with a previous study of the case when A and B are torsion free, this gives a complete classification of all groups that are the product of two locally cyclic groups. It is also shown that the product of a finite number of pairwise permutable periodic locally cyclic subgroups is a locally supersoluble group.


Diagnostics Examples from CTF3. After a short introduction of CLIC, the Compact Linear Collider, and its test facility CTF3 (CLIC Test Facility 3), this paper gives an overview and some examples of the diagnostics used at CTF3.


Ambiguity, Weakness, and Regularity in Probabilistic B "uchi Automata. Probabilistic B "uchi automata are a natural generalization of PFA to infinite words, but have been studied in depth only rather recently and many interesting questions are still open. PBA are known to accept, in general, a class of languages that goes beyond the regular languages. In this work we extend the known classes of restricted PBA which are still regular, strongly relying on notions concerning ambiguity in classical omega automata. Furthermore, we investigate the expressivity of the not yet considered but natural class of weak PBA, and we also show that the regularity problem for weak PBA is undecidable.


Continuity of family of Calder 'on projections. We consider a continuous family of linear elliptic differential operators of arbitrary order over a smooth compact manifold with boundary. Assuming constant dimension of the spaces of inner solutions, we prove that the orthogonalized Calder 'on projections of the underlying family of elliptic operators form a continuous family of projections. Hence, its images (the Cauchy data spaces) form a continuous family of closed subspaces in the relevant Sobolev spaces. We use only elementary tools and classical results basic manipulations of operator graphs and other closed subspaces in Banach spaces elliptic regularity Green's formula and trace theorems for Sobolev spaces well posed boundary conditions duality of spaces and operators in Hilbert space and the interpolation theorem for operators in Sobolev spaces. keywords Calder 'o n projection and Cauchy data spaces and Elliptic differential operators and Green's formula and Interpolation theorem and Manifolds with boundary and Parameter dependence and Trace theorem and Variational properties


Towards geometric integration of rough differential forms. We provide a draft of a theory of geometric integration of rough differential forms which are generalizations of classical (smooth) differential forms to similar objects with very low regularity, for instance, involving H "older continuous functions that may be nowhere differentiable. Borrowing ideas from the theory of rough paths, we show that such a geometric integration can be constructed substituting appropriately differentials with more general asymptotic expansions. This can be seen as the basis of geometric integration similar to that used in geometric measure theory, but without any underlying differentiable structure, thus allowing Lipschitz functions and rectifiable sets to be substituted by far less regular objects (e.g. H "older functions and their images which may be purely unrectifiable). Our construction includes both the one dimensional Young integral and multidimensional integrals introduced recently by R. Z "ust. To simplify the exposition, we limit ourselves to integration of forms of dimensions not exceeding two.


Korali Efficient and Scalable Software Framework for Bayesian Uncertainty Quantification and Stochastic Optimization. We present Korali, an open source framework for large scale Bayesian uncertainty quantification and stochastic optimization. The framework relies on non intrusive sampling of complex multiphysics models and enables their exploitation for optimization and decision making. In addition, its distributed sampling engine makes efficient use of massively parallel architectures while introducing novel fault tolerance and load balancing mechanisms. We demonstrate these features by interfacing Korali with existing high performance software such as Aphros, Lammps (CPU based), and Mirheo (GPU based) and show efficient scaling for up to 512 nodes of the CSCS Piz Daint supercomputer. Finally, we present benchmarks demonstrating that Korali outperforms related state of the art software frameworks.


Koszul complexes and spectral sequences associated with Lie algebroids. We study some spectral sequences associated with a locally free mathcal O X module mathcal A which has a Lie algebroid structure. Here X is either a complex manifold or a regular scheme over an algebraically closed field k . One spectral sequence can be associated with mathcal A by choosing a global section V of mathcal A , and considering a Koszul complex with a differential given by inner product by V . This spectral sequence is shown to degenerate at the second page by using Deligne's degeneracy criterion. Another spectral sequence we study arises when considering the Atiyah algebroid mathcal D E of a holomolorphic vector bundle E on a complex manifold. If V is a differential operator on E with scalar symbol, i.e, a global section of mathcal D E , we associate with the pair (E,V) a twisted Koszul complex. The first spectral sequence associated with this complex is known to degenerate at the first page in the untwisted ( E 0 ) case


Time activity budget of urban adapted free ranging dogs. The domestic dog is known to have evolved from gray wolves, about 15,000 years ago. They majorly exist as free ranging populations across the world. They are typically scavengers and well adapted to living among humans. Most canids living in and around urban habitats tend to avoid humans and show crepuscular activity peaks. In this study, we carried out a detailed population level survey on free ranging dogs in West Bengal, India, to understand the activity patterns of free ranging dogs in relation to human activity. Using 5669 sightings of dogs, over a period of 1 year, covering the 24 hours of the day, we carried out an analysis of the time activity budget of free ranging dogs to conclude that they are generalists in their habit. They remain active when humans are active. Their activity levels are affected significantly by age class and time of the day. Multivariate analysis revealed the presence of certain behavioural clusters on the basis of time of the day and energy expenditure in the behaviours. In addition, we provide a detailed ethogram of free ranging dogs. This, to our knowledge, is the first study of this kind, which might be used to further study the eco ethology of these dogs.


Variable Curvature Displays Optical Designs and Applications for VR AR MR Headsets. In the present paper, we discuss the design of a projection system with curved display and its enhancement by variably adjusting the curvature. We demonstrate that the focal surface curvature varies significantly with a change of the object position and that it can easily be computed with the Seidel aberration theory. Using this analytically derived curvature value as the starting point, we optimise a refocusable projection system with 90 degrees field of view and F 6.2 . It is demonstrated that such a system can provide stable image quality and illumination when refocusing from infinity to 1.5 m. The gain in spatial resolution is as high as 1.54 times with respect to a flat focal surface. Furthermore, we prove that a silicon die can be curved to the required shape with a safety factor of 4.3 in terms of the mechanical stress. Finally, it is shown that the developed system can be used in a virtual reality headset providing high resolution, low distortion and a flexible focusing mode.


On the Penalty term for the Mixed Discontinuous Galerkin Finite Element Method for the Biharmonic Equation. In this paper, we present a study on the effect of penalty term in the mixed Discontinuous Galerkin Finite Element Method for the biharmonic equation proposed by cite gudi2008mixed . The proposed mixed Discontinuous Galerkin Method showed sub optimal rates of convergence for piecewise quadratic elements and no significant convergence rates for piecewise linear elements. We show that by choosing the penalty term proportional to e k 1 instead of e k 3 , ensures an optimal rate of convergence for the approximation, including for piecewise linear elements. Finally, we present numerical experiments to validate our theoretical results.


4 dimensional aspects of tight contact 3 manifolds. In this article we conjecture a 4 dimensional characterization of tightness a contact structure is tight if and only if a slice Bennequin inequality holds for smoothly embedded surfaces in Yx 0,1 . An affirmative answer to our conjecture would imply an analogue of the Milnor conjecture for torus knots if a fibered link L induces a tight contact structure on Y then its fiber surface maximize Euler characteristic amongst all surfaces in Yx 0,1 with boundary L. We provide evidence for both conjectures by proving them for contact structures with non vanishing Ozsv 'ath Szab 'o contact invariant. We also show that any subsurface of a page of an open book inducing a contact structure with non trivial invariant maximize "slice" Euler characteristic for its boundary, and conjecture that this holds more generally for open books inducing tight contact structures.


Linear generalised complex structures. This paper studies linear generalised complex structures over vector bundles, as a generalised geometry version of holomorphic vector bundles. In an adapted linear splitting, a linear generalised complex structure on a vector bundle E to M is equivalent to a mathbb C multiplication j in the fibers of TM oplus E and mathbb C Lie algebroid structure on TM oplus E . Generalised complex Lie algebroids (or Glanon algebroids) are then studied in this context, and expressed as a pair of complex conjugated Lie bialgebroids.


PaRe A Paper Reviewer Matching Approach Using a Common Topic Space. Finding the right reviewers to assess the quality of conference submissions is a time consuming process for conference organizers. Given the importance of this step, various automated reviewer paper matching solutions have been proposed to alleviate the burden. Prior approaches, including bag of words models and probabilistic topic models have been inadequate to deal with the vocabulary mismatch and partial topic overlap between a paper submission and the reviewer's expertise. Our approach, the common topic model, jointly models the topics common to the submission and the reviewer's profile while relying on abstract topic vectors. Experiments and insightful evaluations on two datasets demonstrate that the proposed method achieves consistent improvements compared to available state of the art implementations of paper reviewer matching.


Proton impact induced electron emission from biologically relevant molecules studied with a screened independent atom model. We use the recently introduced independent atom model pixel counting method to calculate proton impact net ionization cross sections for a large class of biologically relevant systems including pyrimidines, purines, amino acids, and nucleotides from 10 keV to 10 MeV impact energy. Overall good agreement with experimental data, where available, is found. A scaling prescription that involves coefficients derived from the independent atom model is shown to represent the cross section results better than scalings based on the number of (bonding) valence electrons of the target molecules. It is shown that the scaled net ionization cross sections of the proton nucleotide collision systems can be represented in terms of a simple analytical formula with four parameters to within 3 accuracy.


A geometric proof of the Flyping Theorem. In 1898, Tait asserted several properties of alternating knot diagrams. These assertions came to be known as Tait's conjectures and remained open through the discovery of the Jones polynomial in 1985. The new polynomial invariants soon led to proofs of all of Tait's conjectures, culminating in 1993 with Menasco Thistlethwaite's proof of Tait's flyping conjecture. In 2017, Greene gave the first geometric proof of part of Tait's conjectures, in the same paper where he answered a longstanding question of Fox by characterizing alternating links geometrically Howie independently answered Fox's question with a related characterization. We use Greene and Howie's characterizations, Menasco's crossing ball structures, and re plumbing moves to give the first entirely geometric proof of Menasco Thistlethwaite's Flyping Theorem.


Monte Carlo Tree Search for Generating Interactive Data Analysis Interfaces. Interactive tools like user interfaces help democratize data access for end users by hiding underlying programming details and exposing the necessary widget interface to users. Since customized interfaces are costly to build, automated interface generation is desirable. SQL is the dominant way to analyze data and there already exists logs to analyze data. Previous work proposed a syntactic approach to analyze structural changes in SQL query logs and automatically generates a set of widgets to express the changes. However, they do not consider layout usability and the sequential order of queries in the log. We propose to adopt Monte Carlo Tree Search(MCTS) to search for the optimal interface that accounts for hierarchical layout as well as the usability in terms of how easy to express the query log.


Towards a Domain Specific Solution for a New Generation of Wireless Modems. Wireless cellular System on Chip (SoC) are experiencing unprecedented demands on data rate, latency use case variety. 5G wireless technologies require a massive number of antennas and complex signal processing to improve bandwidth and spectral efficiency. The Internet of Things is causing a proliferation in the number of connected devices, and service categories, such as ultra reliable low latency, which will produce new use cases, such as self driving cars, robotic factories, and remote surgery. In addressing these challenges, we can no longer rely on faster cores, or even more silicon. Modem software development is becoming increasingly error prone and difficult as the complexity of the applications and the architectures increase. In this report we propose a Wireless Domain Specific Solution that takes a Dataflow acceleration approach and addresses the need of the SoC to support dataflows that change with use case and user activity, while maintaining the Firm Real Time High Availability with low probability of Heisenbugs that is required in cellular modems. We do this by developing a Domain Specific Architecture that describes the requirements in a suitably abstracted dataflow Domain Specific language. A toolchain is described that automates translation of those requirements in an efficient and robust manner and provides formal guarantees against Heisenbugs. The dataflow native DSA supports the toolchain output with specialized processing, data management and control features with high performance and low power, and recovers rapidly from dropped dataflows while continuing to achieve the real time requirements. This report focuses on the dataflow acceleration in the DSA and the part of the automated toolchain that formally checks the performance and correctness of software running on this dataflow hardware. Results are presented and a summary of future work is given.


A fast boundary integral method for high order multiscale mesh generation. In this work we present an algorithm to construct an infinitely differentiable smooth surface from an input consisting of a (rectilinear) triangulation of a surface of arbitrary shape. The original surface can have non trivial genus and multiscale features, and our algorithm has computational complexity which is linear in the number of input triangles. We use a smoothing kernel to define a function Phi whose level set defines the surface of interest. Charts are subsequently generated as maps from the original user specified triangles to mathbb R 3 . The degree of smoothness is controlled locally by the kernel to be commensurate with the fineness of the input triangulation. The expression for Phi can be transformed into a boundary integral, whose evaluation can be accelerated using a fast multipole method. We demonstrate the effectiveness and cost of the algorithm with polyhedral and quadratic skeleton surfaces obtained from CAD and meshing software.


Contextual Diversity for Active Learning. Requirement of large annotated datasets restrict the use of deep convolutional neural networks (CNNs) for many practical applications. The problem can be mitigated by using active learning (AL) techniques which, under a given annotation budget, allow to select a subset of data that yields maximum accuracy upon fine tuning. State of the art AL approaches typically rely on measures of visual diversity or prediction uncertainty, which are unable to effectively capture the variations in spatial context. On the other hand, modern CNN architectures make heavy use of spatial context for achieving highly accurate predictions. Since the context is difficult to evaluate in the absence of ground truth labels, we introduce the notion of contextual diversity that captures the confusion associated with spatially co occurring classes. Contextual Diversity (CD) hinges on a crucial observation that the probability vector predicted by a CNN for a region of interest typically contains information from a larger receptive field. Exploiting this observation, we use the proposed CD measure within two AL frameworks (1) a core set based strategy and (2) a reinforcement learning based policy, for active frame selection. Our extensive empirical evaluation establish state of the art results for active learning on benchmark datasets of Semantic Segmentation, Object Detection and Image Classification. Our ablation studies show clear advantages of using contextual diversity for active learning. The source code and additional results are available at https github.com sharat29ag CDAL.


Relaxed Queues and Stacks from Read Write Operations. Considering asynchronous shared memory systems in which any number of processes may crash, this work identifies and formally defines relaxations of queues and stacks that can be non blocking or wait free while being implemented using only read write operations. Set linearizability and Interval linearizability are used to specify the relaxations formally, and precisely identify the subset of executions which preserve the original sequential behavior. The relaxations allow for an item to be returned more than once by different operations, but only in case of concurrency we call such a property multiplicity. The stack implementation is wait free, while the queue implementation is non blocking. Interval linearizability is used to describe a queue with multiplicity, with the additional relaxation that a dequeue operation can return weak empty, which means that the queue might be empty. We present a read write wait free interval linearizable algorithm of a concurrent queue. As far as we know, this work is the first that provides formalizations of the notions of multiplicity and weak emptiness, which can be implemented on top of read write registers only.


Neural Combinatorial Deep Reinforcement Learning for Age optimal Joint Trajectory and Scheduling Design in UAV assisted Networks. In this paper, an unmanned aerial vehicle (UAV) assisted wireless network is considered in which a battery constrained UAV is assumed to move towards energy constrained ground nodes to receive status updates about their observed processes. The UAV's flight trajectory and scheduling of status updates are jointly optimized with the objective of minimizing the normalized weighted sum of Age of Information (NWAoI) values for different physical processes at the UAV. The problem is first formulated as a mixed integer program. Then, for a given scheduling policy, a convex optimization based solution is proposed to derive the UAV's optimal flight trajectory and time instants on updates. However, finding the optimal scheduling policy is challenging due to the combinatorial nature of the formulated problem. Therefore, to complement the proposed convex optimization based solution, a finite horizon Markov decision process (MDP) is used to find the optimal scheduling policy. Since the state space of the MDP is extremely large, a novel neural combinatorial based deep reinforcement learning (NCRL) algorithm using deep Q network (DQN) is proposed to obtain the optimal policy. However, for large scale scenarios with numerous nodes, the DQN architecture cannot efficiently learn the optimal scheduling policy anymore. Motivated by this, a long short term memory (LSTM) based autoencoder is proposed to map the state space to a fixed size vector representation in such large scale scenarios. A lower bound on the minimum NWAoI is analytically derived which provides system design guidelines on the appropriate choice of importance weights for different nodes. The numerical results also demonstrate that the proposed NCRL approach can significantly improve the achievable NWAoI per process compared to the baseline policies, such as weight based and discretized state DQN policies.


Generalized Many Body Expanded Full Configuration Interaction Theory. Facilitated by a rigorous partitioning of a molecular system's orbital basis into two fundamental subspaces a reference and an expansion space, both with orbitals of unspecified occupancy we generalize our recently introduced many body expanded full configuration interaction (MBE FCI) method to allow for electron rich model and molecular systems dominated by both weak and strong correlation to be addressed. By employing minimal or even empty reference spaces, we show through calculations on the one dimensional Hubbard model with up to 46 lattice sites, the chromium dimer, and the benzene molecule how near exact results may be obtained in a entirely unbiased manner for chemical and physical problems of not only academic, but also applied chemical interest. Given the massive parallelism and overall accuracy of the resulting method, we argue that generalized MBE FCI theory possesses an immense potential to yield near exact correlation energies for molecular systems of unprecedented size, composition, and complexity in the years to come.


Closed Non atomic Resource Allocation Games. How is efficiency affected when demand excesses over supply are signalled through waiting in queues? We consider a class of congestion games with a nonatomic set of players of a constant mass, based on a formulation of generic linear programs as sequential resource allocation games. Players continuously select activities such that they maximize linear objectives interpreted as time average of activity rewards, while active resource constraints cause queueing. In turn, the resulting waiting delays enter in the optimization problem of each player. The existence of Wardrop type equilibria and their properties are investivated by means of a potential function related to proportional fairness. The inefficiency of the equilibria relative to optimal resource allocation is characterized through the price of anarchy which is 2 if all players are of the same type ( infty if not).


Leveraging Bitcoin Testnet for Bidirectional Botnet Command and Control Systems. Over the past twenty years, the number of devices connected to the Internet grew exponentially. Botnets benefited from this rise to increase their size and the magnitude of their attacks. However, they still have a weak point in their Command Control (C C) system, which is often based on centralized services or require a complex infrastructure to keep operating without being taken down by authorities. The recent spread of blockchain technologies may give botnets a powerful tool to make them very hard to disrupt. Recent research showed how it is possible to embed C C messages in Bitcoin transactions, making them nearly impossible to block. Nevertheless, transactions have a cost and allow very limited amounts of data to be transmitted. Because of that, only messages from the botmaster to the bots are sent via Bitcoin, while bots are assumed to communicate through external channels. Furthermore, for the same reason, Bitcoin based messages are sent in clear. In this paper we show how, using Bitcoin Testnet, it is possible to overcome these limitations and implement a cost free, bidirectional, and encrypted C C channel between the botmaster and the bots. We propose a communication protocol and analyze its viability in real life. Our results show that this approach would enable a botmaster to build a robust and hard to disrupt C C system at virtually no cost, thus representing a realistic threat for which countermeasures should be devised.


On Absolute Continuity and Singularity of Multidimensional Diffusions. Consider two laws (P ) and (Q ) of multidimensional possibly explosive diffusions with common diffusion coefficient ( mathfrak a ) and drift coefficients ( mathfrak b ) and ( mathfrak b mathfrak a mathfrak c ), respectively, and the law (P circ ) of an auxiliary diffusion with diffusion coefficient ( langle mathfrak c , mathfrak a mathfrak c rangle 1 mathfrak a ) and drift coefficient ( langle mathfrak c , mathfrak a mathfrak c rangle 1 mathfrak b ). We show that (P ll Q ) if and only if the auxiliary diffusion (P circ ) explodes almost surely and that (P perp Q ) if and only if the auxiliary diffusion (P circ ) almost surely does not explode. As applications we derive a Khasminskii type integral test for absolute continuity and singularity, an integral test for explosion of time changed Brownian motion, and we discuss applications to mathematical finance.


The LL(finite) strategy for optimal LL(k) parsing. The LL(finite) parsing strategy for parsing of LL(k) grammars where k needs not to be known is presented. The strategy parses input in linear time, uses arbitrary but always minimal lookahead necessary to disambiguate between alternatives of nonterminals, and it is optimal in the number of lookahead terminal scans performed. Modifications to the algorithm are shown that allow for resolution of grammar ambiguities by precedence effectively interpreting the input as a parsing expression grammar as well as for the use of predicates, and a proof of concept, the open source parser generator Astir, employs the LL(finite) strategy in the output it generates.


Bounds on the Spectral Sparsification of Symmetric and Off Diagonal Nonnegative Real Matrices. We say that a square real matrix M is emph off diagonal nonnegative if and only if all entries outside its diagonal are nonnegative real numbers. In this note we show that for any off diagonal nonnegative symmetric matrix M , there exists a nonnegative symmetric matrix widehat M which is sparse and close in spectrum to M .


An Analysis of an Integrated Mathematical Modeling Artificial Neural Network Approach for the Problems with a Limited Learning Dataset. One of the most common and universal problems in science is to investigate a function. The prediction can be made by an Artificial Neural Network (ANN) or a mathematical model. Both approaches have their advantages and disadvantages. Mathematical models were sought as more trustworthy as their prediction is based on the laws of physics expressed in the form of mathematical equations. However, the majority of existing mathematical models include different empirical parameters, and both approaches inherit inevitable experimental errors. At the same time, the approximation of neural networks can reproduce the solution extremely well if fed with a sufficient amount of data. The difference is that an ANN requires big data to build its accurate approximation whereas a typical mathematical model needs just several data points to estimate an empirical constant. Therefore, the common problem that developer meet is the inaccuracy of mathematical models and artificial neural network. An another common challenge is the computational complexity of the mathematical models, or lack of data for a sufficient precision of the Artificial Neural Networks. In the presented paper those problems are addressed using the integration of a mathematical model with an artificial neural network. In the presented analysis, an ANN predicts just a part of the mathematical model and its weights and biases are adjusted based on the output of the mathematical model. The performance of Integrated Mathematical modeling Artificial Neural Network (IMANN) is compared to a Dense Neural Network (DNN) with the use of the benchmarking functions. The obtained calculation results indicate that such an approach could lead to an increase of precision as well as limiting the data set required for learning.


Real time and Large scale Fleet Allocation of Autonomous Taxis A Case Study in New York Manhattan Island. Nowadays, autonomous taxis become a highly promising transportation mode, which helps relieve traffic congestion and avoid road accidents. However, it hinders the wide implementation of this service that traditional models fail to efficiently allocate the available fleet to deal with the imbalance of supply (autonomous taxis) and demand (trips), the poor cooperation of taxis, hardly satisfied resource constraints, and on line platform's requirements. To figure out such urgent problems from a global and more farsighted view, we employ a Constrained Multi agent Markov Decision Processes (CMMDP) to model fleet allocation decisions, which can be easily split into sub problems formulated as a 'Dynamic assignment problem' combining both immediate rewards and future gains. We also leverage a Column Generation algorithm to guarantee the efficiency and optimality in a large scale. Through extensive experiments, the proposed approach not only achieves remarkable improvements over the state of the art benchmarks in terms of the individual's efficiency (arriving at 12.40 , 6.54 rise of income and utilization, respectively) and the platform's profit (reaching 4.59 promotion) but also reveals a time varying fleet adjustment policy to minimize the operation cost of the platform.


The index and spectrum of Lie poset algebras of type B, C, and D. In this paper, we define posets of types B, C, and D. These posets encode the matrix forms of certain Lie algebras which lie between the algebras of upper triangular and diagonal matrices. Interestingly, such type B, C, and D Lie poset algebras can be related to Reiner's notion of a parset. Our primary concern is the index and spectral theories of type B, C, and D Lie poset algebras. For an important restricted class, we develop combinatorial index formulas and, in particular, characterize posets corresponding to Frobenius Lie algebras. In this latter case we show that the spectrum is binary that is, consists of an equal number of 0's and 1's.


Translation and modulation invariant Hilbert spaces. We show that for any Hilbert space of distributions on textbf R d which is translation and modulation invariant, is equal to L 2( textbf R d) , with the same norm apart from a multiplicative constant.


Conditional Generative Adversarial Networks to Model Urban Outdoor Air Pollution. This is a relevant problem because the design of most cities prioritizes the use of motorized vehicles, which has degraded air quality in recent years, having a negative effect on urban health. Modeling, predicting, and forecasting ambient air pollution is an important way to deal with this issue because it would be helpful for decision makers and urban city planners to understand the phenomena and to take solutions. In general, data driven methods for modeling, predicting, and forecasting outdoor pollution requires an important amount of data, which may limit their accuracy. In order to deal with such a lack of data, we propose to train models able to generate synthetic nitrogen dioxide daily time series according to a given classification that will allow an unlimited generation of realistic data. The main experimental results indicate that the proposed approach is able to generate accurate and diverse pollution daily time series, while requiring reduced computational time.


Application of Data Science to Discover Violence Related Issues in Iraq. Data science has been satisfactorily used to discover social issues in several parts of the world. However, there is a lack of governmental open data to discover those issues in countries such as Iraq. This situation arises the following questions how to apply data science principles to discover social issues despite the lack of open data in Iraq? How to use the available data to make predictions in places without data? Our contribution is the application of data science to open non governmental big data from the Global Database of Events, Language, and Tone (GDELT) to discover particular violence related social issues in Iraq. Specifically we applied the K Nearest Neighbors, N "aive Bayes, Decision Trees, and Logistic Regression classification algorithms to discover the following issues refugees, humanitarian aid, violent protests, fights with artillery and tanks, and mass killings. The best results were obtained with the Decision Trees algorithm to discover areas with refugee crises and artillery fights. The accuracy for these two events is 0.7629. The precision to discover the locations of refugee crises is 0.76, the recall is 0.76, and the F1 score is 0.76. Also, our approach discovers the locations of artillery fights with a precision of 0.74, a recall of 0.75, and a F1 score of 0.75.


Artificial Intelligence Fairness in the Context of Accessibility Research on Intelligent Systems for People who are Deaf or Hard of Hearing. We discuss issues of Artificial Intelligence (AI) fairness for people with disabilities, with examples drawn from our research on human computer interaction (HCI) for AI based systems for people who are Deaf or Hard of Hearing (DHH). In particular, we discuss the need for inclusion of data from people with disabilities in training sets, the lack of interpretability of AI systems, ethical responsibilities of access technology researchers and companies, the need for appropriate evaluation metrics for AI based access technologies (to determine if they are ready to be deployed and if they can be trusted by users), and the ways in which AI systems influence human behavior and influence the set of abilities needed by users to successfully interact with computing systems.


Ultrafast all optical switching enabled by epsilon near zero modes in metal insulator nanocavities. Ultrafast control of light matter interactions constitutes a crucial feature in view of new technological frontiers of information processing. However, conventional optical elements are either static or feature switching speeds that are extremely low with respect to the timescales at which it is possible to control light. Here, we exploit high quality factor engineered epsilon near zero (ENZ) modes of a metal insulator metal nanocavity to realize an all optical ultrafast modulation of the reflectance of light at a tailored wavelength. Our approach is based on the presence of the two, spectrally separated, ENZ absorption resonances of the cavity. Optical pumping of the system at its high energy ENZ mode leads to a strong red shift of the low energy mode because of the transient increase of the local dielectric function, which leads to a sub 3 ps control of the reflectance at a specific wavelength with a relative modulation depth approaching 120 .


Learning to mirror speaking styles incrementally. Mirroring is the behavior in which one person subconsciously imitates the gesture, speech pattern, or attitude of another. In conversations, mirroring often signals the speakers enjoyment and engagement in their communication. In chatbots, methods have been proposed to add personas to the chatbots and to train them to speak or to shift their dialogue style to that of the personas. However, they often require a large dataset consisting of dialogues of the target personalities to train. In this work, we explore a method that can learn to mirror the speaking styles of a person incrementally. Our method extracts ngrams that capture a persons speaking styles and uses the ngrams to create patterns for transforming sentences to the persons speaking styles. Our experiments show that our method is able to capture patterns of speaking style that can be used to transform regular sentences into sentences with the target style.


Transactional Properties of Permissioned Blockchains. Traditional distributed transaction processing (TP) systems, such as replicated databases, faced difficulties in getting wide adoption for scenarios of enterprise integration due to the level of mutual trust required. Ironically, public blockchains, which promised to solve the problem of mutual trust in collaborative processes, suffer from issues like scalability, probabilistic transaction finality, and lack of data confidentiality. To tackle these issues, permissioned blockchains were introduced as an alternative approach combining the positives of the two worlds and avoiding their drawbacks. However, no sufficient analysis has been done to emphasize their actual capabilities regarding TP. In this paper, we identify a suitable collection of TP criteria to analyze permissioned blockchains and apply them to a prominent set of these systems. Finally, we compare the derived properties and provide general conclusions.


A solution procedure for minimizing total completion time in a parallel batching environment. In many manufacturing processes, batch processing is frequently needed for capacity reasons. This applies both to parallel and serial batching. However, while the serial batch processing is largely studied in the literature, as it is related to the setup issues, the parallel batch processing is less investigated. In parallel batching, the manufacturing facility (e.g., ovens for burn in operations) is able to accommodate, and process, several parts at the same time and not to exploit such ability leads to a reduction in the capacity of the manufacturing facility itself, which will be able to process less parts per time unit. In this paper, the scheduling problem in batch processing environments is considered. Specifically a column generation algorithm is proposed for parallel batching in both single machine and parallel machine layouts. Numerical results show that the proposed algorithm is able to achieve good solutions in reasonable computation time due to the use of a new developed lower bound much stronger than the literature available lower bounds.