Temporally Coherent General Dynamic Scene Reconstruction. Existing techniques for dynamic scene reconstruction from multiple wide baseline cameras primarily focus on reconstruction in controlled environments, with fixed calibrated cameras and strong prior constraints. This paper introduces a general approach to obtain a 4D representation of complex dynamic scenes from multi view wide baseline static or moving cameras without prior knowledge of the scene structure, appearance, or illumination. Contributions of the work are An automatic method for initial coarse reconstruction to initialize joint estimation Sparse to dense temporal correspondence integrated with joint multi view segmentation and reconstruction to introduce temporal coherence and a general robust approach for joint segmentation refinement and dense reconstruction of dynamic scenes by introducing shape constraint. Comparison with state of the art approaches on a variety of complex indoor and outdoor scenes, demonstrates improved accuracy in both multi view segmentation and dense reconstruction. This paper demonstrates unsupervised reconstruction of complete temporally coherent 4D scene models with improved non rigid object segmentation and shape reconstruction and its application to free viewpoint rendering and virtual reality.


A2 Extracting Cyclic Switchings from DOB nets for Rejecting Excessive Disturbances. Reinforcement Learning (RL) is limited in practice by its gray box nature, which is responsible for insufficient trustiness from users, unsatisfied interpretation for human intervention, inadequate analysis for future improvement, etc. This paper seeks to partially characterize the interplay between dynamical environments and the DOB net. The DOB net obtained from RL solves a set of Partially Observable Markovian Decision Processes (POMDPs). The transition function of each POMDP is largely determined by the environments, which are excessive external disturbances in this research. This paper proposes an Attention based Abstraction (A 2 ) approach to extract a finite state automaton, referred to as a Key Moore Machine Network (KMMN), to capture the switching mechanisms exhibited by the DOB net in dealing with multiple such POMDPs. This approach first quantizes the controlled platform by learning continuous discrete interfaces. Then it extracts the KMMN by finding the key hidden states and transitions that attract sufficient attention from the DOB net. Within the resultant KMMN, this study found three patterns of cyclic switchings (between key hidden states), showing controls near their saturation are synchronized with unknown disturbances. Interestingly, the found switching mechanism has appeared previously in the design of hybrid control for often saturated systems. It is further interpreted via an analogy to the discrete event subsystem in the hybrid control.


Graded algebras with cyclotomic Hilbert series. Let R be a positively graded algebra over a field. We say that R is Hilbert cyclotomic if the numerator of its reduced Hilbert series has all of its roots on the unit circle. Such rings arise naturally in commutative algebra, numerical semigroup theory and Ehrhart theory. If R is standard graded, we prove that, under the additional hypothesis that R is Koszul or has an irreducible h polynomial, Hilbert cyclotomic algebras coincide with complete intersections. In the Koszul case, this is a consequence of some classical results about the vanishing of deviations of a graded algebra.


The Hellan Herrmann Johnson Method for Nonlinear Shells. In this paper we derive a new finite element method for nonlinear shells. The Hellan Herrmann Johnson (HHJ) method is a mixed finite element method for fourth order Kirchhoff plates. It uses convenient Lagrangian finite elements for the vertical deflection, and introduces sophisticated finite elements for the moment tensor. In this work we present a generalization of this method to nonlinear shells, where we allow finite strains and large rotations. The geometric interpretation of degrees of freedom allows a straight forward discretization of structures with kinks. The performance of the proposed elements is demonstrated by means of several established benchmark examples.


Comparative approaches to understanding thyroid hormone regulation of neurogenesis. Thyroid hormone (TH) signalling, an evolutionary conserved pathway, is crucial for brain function and cognition throughout life, from early development to ageing. In humans, TH deficiency during pregnancy alters offspring brain development, increasing the risk of cognitive disorders. How TH regulates neurogenesis and subsequent behaviour and cognitive functions remains a major research challenge. Cellular and molecular mechanisms underlying TH signalling on proliferation, survival, determination, migration, differentiation and maturation have been studied in mammalian animal models for over a century. However, recent data show that THs also influence embryonic and adult neurogenesis throughout vertebrates (from mammals to teleosts). These latest observations raise the question of how TH availability is controlled during neurogenesis and particularly in specific neural stem cell populations. This review deals with the role of TH in regulating neurogenesis in the developing and the adult brain across different vertebrate species. Such evo devo approaches can shed new light on (i) the evolution of the nervous system and (ii) the evolutionary control of neurogenesis by TH across animal phyla. We also discuss the role of thyroid disruptors on brain development in an evolutionary context.


Information transfer between turbulent boundary layer and porous media. The interaction between the flow above and below a permeable wall is a central topic in the study of porous media. While previous investigations have provided compelling evidence of the strong coupling between the two regions, few studies have quantitatively measured the directionality, i.e., causal and effect relations, of this interaction. To shed light on the problem, we use transfer entropy as a marker to evaluate the causal interaction between the free turbulent flow and the porous media using interface resolved direct numerical simulation. Our results show that the porosity of the porous medium has a profound impact on the intensity, time scale and spatial extent of surface subsurface interactions. For values of porosity equal to 0.5, top down and bottom up interactions strongly are asymmetric, the former being mostly influenced by small near wall eddies. As the porosity increases, both top down and bottom up interactions are dominated by shear flow instabilities.


QUOTIENT Two Party Secure Neural Network Training and Prediction. Recently, there has been a wealth of effort devoted to the design of secure protocols for machine learning tasks. Much of this is aimed at enabling secure prediction from highly accurate Deep Neural Networks (DNNs). However, as DNNs are trained on data, a key question is how such models can be also trained securely. The few prior works on secure DNN training have focused either on designing custom protocols for existing training algorithms, or on developing tailored training algorithms and then applying generic secure protocols. In this work, we investigate the advantages of designing training algorithms alongside a novel secure protocol, incorporating optimizations on both fronts. We present QUOTIENT, a new method for discretized training of DNNs, along with a customized secure two party protocol for it. QUOTIENT incorporates key components of state of the art DNN training such as layer normalization and adaptive gradient methods, and improves upon the state of the art in DNN training in two party computation. Compared to prior work, we obtain an improvement of 50X in WAN time and 6 in absolute accuracy.


New realizations of deformed double current algebras and Deligne categories. In this paper we propose an alternative construction of a certain class of Deformed Double Current Algebras. We construct them as spherical subalgebras of symplectic reflection algebras in the Deligne category. They can also be thought of as ultraproducts of the corresponding spherical subalgebras in finite rank. We also provide new presentations of DDCA of types A and B by generators and relations.


On Equivalence and Cores for Incomplete Databases in Open and Closed Worlds. Data exchange heavily relies on the notion of incomplete database instances. Several semantics for such instances have been proposed and include open (OWA), closed (CWA), and open closed (OCWA) world. For all these semantics important questions are whether one incomplete instance semantically implies another when two are semantically equivalent and whether a smaller or smallest semantically equivalent instance exists. For OWA and CWA these questions are fully answered. For several variants of OCWA, however, they remain open. In this work we adress these questions for Closed Powerset semantics and the OCWA semantics of Libkin and Sirangelo, 2011. We define a new OCWA semantics, called OCWA , in terms of homomorphic covers that subsumes both semantics, and characterize semantic implication and equivalence in terms of such covers. This characterization yields a guess and check algorithm to decide equivalence, and shows that the problem is NP complete. For the minimization problem we show that for several common notions of minimality there is in general no unique minimal equivalent instance for Closed Powerset semantics, and consequently not for the more expressive OCWA either. However, for Closed Powerset semantics we show that one can find, for any incomplete database, a unique finite set of its subinstances which are subinstances (up to renaming of nulls) of all instances semantically equivalent to the original incomplete one. We study properties of this set, and extend the analysis to OCWA .


A3Ident A Two phased Approach to Identify the Leading Authors of Android Apps. Authorship identification is the process of identifying and classifying authors through given codes. Authorship identification can be used in a wide range of software domains, e.g., code authorship disputes, plagiarism detection, exposure of attackers' identity. Besides the inherent challenges from legacy software development, framework programming and crowdsourcing mode in Android raise the difficulties of authorship identification significantly. More specifically, widespread third party libraries and inherited components (e.g., classes, methods, and variables) dilute the primary code within the entire Android app and blur the boundaries of code written by different authors. However, prior research has not well addressed these challenges. To this end, we design a two phased approach to attribute the primary code of an Android app to the specific developer. In the first phase, we put forward three types of strategies to identify the relationships between Java packages in an app, which consist of context, semantic and structural relationships. A package aggregation algorithm is developed to cluster all packages that are of high probability written by the same authors. In the second phase, we develop three types of features to capture authors' coding habits and code stylometry. Based on that, we generate fingerprints for an author from its developed Android apps and employ several machine learning algorithms for authorship classification. We evaluate our approach in three datasets that contain 15,666 apps from 257 distinct developers and achieve a 92.5 accuracy rate on average. Additionally, we test it on 2,900 obfuscated apps and our approach can classify apps with an accuracy rate of 80.4 .


Crowdsourced 3D Mapping A Combined Multi View Geometry and Self Supervised Learning Approach. The ability to efficiently utilize crowdsourced visual data carries immense potential for the domains of large scale dynamic mapping and autonomous driving. However, state of the art methods for crowdsourced 3D mapping assume prior knowledge of camera intrinsics. In this work, we propose a framework that estimates the 3D positions of semantically meaningful landmarks such as traffic signs without assuming known camera intrinsics, using only monocular color camera and GPS. We utilize multi view geometry as well as deep learning based self calibration, depth, and ego motion estimation for traffic sign positioning, and show that combining their strengths is important for increasing the map coverage. To facilitate research on this task, we construct and make available a KITTI based 3D traffic sign ground truth positioning dataset. Using our proposed framework, we achieve an average single journey relative and absolute positioning accuracy of 39cm and 1.26m respectively, on this dataset.


A Smooth Representation of Belief over SO(3) for Deep Rotation Learning with Uncertainty. Accurate rotation estimation is at the heart of robot perception tasks such as visual odometry and object pose estimation. Deep neural networks have provided a new way to perform these tasks, and the choice of rotation representation is an important part of network design. In this work, we present a novel symmetric matrix representation of the 3D rotation group, SO(3), with two important properties that make it particularly suitable for learned models (1) it satisfies a smoothness property that improves convergence and generalization when regressing large rotation targets, and (2) it encodes a symmetric Bingham belief over the space of unit quaternions, permitting the training of uncertainty aware models. We empirically validate the benefits of our formulation by training deep neural rotation regressors on two data modalities. First, we use synthetic point cloud data to show that our representation leads to superior predictive accuracy over existing representations for arbitrary rotation targets. Second, we use image data collected onboard ground and aerial vehicles to demonstrate that our representation is amenable to an effective out of distribution (OOD) rejection technique that significantly improves the robustness of rotation estimates to unseen environmental effects and corrupted input images, without requiring the use of an explicit likelihood loss, stochastic sampling, or an auxiliary classifier. This capability is key for safety critical applications where detecting novel inputs can prevent catastrophic failure of learned models.


Optimal control of a nonlocal thermistor problem with ABC fractional time derivatives. We study an optimal control problem associated to a fractional nonlocal thermistor problem involving the ABC (Atangana Baleanu Caputo) fractional time derivative. We first prove the existence and uniqueness of solution. Then, we show that an optimal control exists. Moreover, we obtain the optimality system that characterizes the control.


Sim to Real Learning of All Common Bipedal Gaits via Periodic Reward Composition. We study the problem of realizing the full spectrum of bipedal locomotion on a real robot with sim to real reinforcement learning (RL). A key challenge of learning legged locomotion is describing different gaits, via reward functions, in a way that is intuitive for the designer and specific enough to reliably learn the gait across different initial random seeds or hyperparameters. A common approach is to use reference motions (e.g. trajectories of joint positions) to guide learning. However, finding high quality reference motions can be difficult and the trajectories themselves narrowly constrain the space of learned motion. At the other extreme, reference free reward functions are often underspecified (e.g. move forward) leading to massive variance in policy behavior, or are the product of significant reward shaping via trial and error, making them exclusive to specific gaits. In this work, we propose a reward specification framework based on composing simple probabilistic periodic costs on basic forces and velocities. We instantiate this framework to define a parametric reward function with intuitive settings for all common bipedal gaits standing, walking, hopping, running, and skipping. Using this function we demonstrate successful sim to real transfer of the learned gaits to the bipedal robot Cassie, as well as a generic policy that can transition between all of the two beat gaits.


physics.comp-ph cs.NA math.NA physics.plasm-ph

Alias free, matrix free, and quadrature free discontinuous Galerkin algorithms for (plasma) kinetic equations. Understanding fundamental kinetic processes is important for many problems, from plasma physics to gas dynamics. A first principles approach to these problems requires a statistical description via the Boltzmann equation, coupled to appropriate field equations. In this paper we present a novel version of the discontinuous Galerkin (DG) algorithm to solve such kinetic equations. Unlike Monte Carlo methods we use a continuum scheme in which we directly discretize the 6D phase space using discontinuous basis functions. Our DG scheme eliminates counting noise and aliasing errors that would otherwise contaminate the delicate field particle interactions. We use modal basis functions with reduced degrees of freedom to improve efficiency while retaining a high formal order of convergence. Our implementation incorporates a number of software innovations use of JIT compiled top level language, automatically generated computational kernels and a sophisticated shared memory MPI implementation to handle velocity space parallelization.


Vertices of Schubitopes. Schubitopes were introduced by Monical, Tokcan and Yong as a specific family of generalized permutohedra. It was proven by Fink, M 'esz 'aros and St. , Dizier that Schubitopes are the Newton polytopes of the dual characters of flagged Weyl modules. Important cases of Schubitopes include the Newton polytopes of Schubert polynomials and key polynomials. In this paper, we develop a combinatorial rule to generate the vertices of Schubitopes. As an application, we show that the vertices of the Newton polytope of a key polynomial can be generated by permutations in a lower interval in the Bruhat order, settling a conjecture of Monical, Tokcan and Yong.


Online Action Detection in Streaming Videos with Time Buffers. We formulate the problem of online temporal action detection in live streaming videos, acknowledging one important property of live streaming videos that there is normally a broadcast delay between the latest captured frame and the actual frame viewed by the audience. The standard setting of the online action detection task requires immediate prediction after a new frame is captured. We illustrate that its lack of consideration of the delay is imposing unnecessary constraints on the models and thus not suitable for this problem. We propose to adopt the problem setting that allows models to make use of the small buffer time' incurred by the delay in live streaming videos. We design an action start and end detection framework for this online with buffer setting with two major components flattened I3D and window based suppression. Experiments on three standard temporal action detection benchmarks under the proposed setting demonstrate the effectiveness of the proposed framework. We show that by having a suitable problem setting for this problem with wide applications, we can achieve much better detection accuracy than off the shelf online action detection models.


Gated Multi layer Convolutional Feature Extraction Network for Robust Pedestrian Detection. Pedestrian detection methods have been significantly improved with the development of deep convolutional neural networks. Nevertheless, robustly detecting pedestrians with a large variant on sizes and with occlusions remains a challenging problem. In this paper, we propose a gated multi layer convolutional feature extraction method which can adaptively generate discriminative features for candidate pedestrian regions. The proposed gated feature extraction framework consists of squeeze units, gate units and a concatenation layer which perform feature dimension squeezing, feature elements manipulation and convolutional features combination from multiple CNN layers, respectively. We proposed two different gate models which can manipulate the regional feature maps in a channel wise selection manner and a spatial wise selection manner, respectively. Experiments on the challenging CityPersons dataset demonstrate the effectiveness of the proposed method, especially on detecting those small size and occluded pedestrians.


An epidemic model for COVID 19 transmission in Argentina Exploration of the alternating quarantine and massive testing strategies. The COVID 19 pandemic has challenged authorities at different levels of government administration around the globe. When faced with diseases of this severity, it is useful for the authorities to have prediction tools to estimate in advance the impact on the health system and the human, material, and economic resources that will be necessary. In this paper, we construct an extended Susceptible Exposed Infected Recovered model that incorporates the social structure of Mar del Plata, the 4 circ most inhabited city in Argentina and head of the Municipality of General Pueyrred 'on. Moreover, we consider detailed partitions of infected individuals according to the illness severity, as well as data of local health resources, to bring these predictions closer to the local reality. Tuning the corresponding epidemic parameters for COVID 19, we study an alternating quarantine strategy, in which a part of the population can circulate without restrictions at any time, while the rest is equally divided into two groups and goes on successive periods of normal activity and lockdown, each one with a duration of tau days. Besides, we implement a random testing strategy over the population. We found that tau 7 is a good choice for the quarantine strategy since it matches with the weekly cycle as it reduces the infected population. Focusing on the health system, projecting from the situation as of September 30, we foresee a difficulty to avoid saturation of ICU, given the extremely low levels of mobility that would be required. In the worst case, our model estimates that four thousand deaths would occur, of which 30 could be avoided with proper medical attention. Nonetheless, we found that aggressive testing would allow an increase in the percentage of people that can circulate without restrictions, being the equipment required to deal with the additional critical patients relatively low.


Reducing the Teacher Student Gap via Spherical Knowledge Disitllation. Knowledge distillation aims at obtaining a compact and effective model by learning the mapping function from a much larger one. Due to the limited capacity of the student, the student would underfit the teacher. Therefore, student performance would unexpectedly drop when distilling from an oversized teacher, termed the capacity gap problem. We investigate this problem by study the gap of confidence between teacher and student. We find that the magnitude of confidence is not necessary for knowledge distillation and could harm the student performance if the student are forced to learn confidence. We propose Spherical Knowledge Distillation to eliminate this gap explicitly, which eases the underfitting problem. We find this novel knowledge representation can improve compact models with much larger teachers and is robust to temperature. We conducted experiments on both CIFAR100 and ImageNet, and achieve significant improvement. Specifically, we train ResNet18 to 73.0 accuracy, which is a substantial improvement over previous SOTA and is on par with resnet34 almost twice the student size. The implementation has been shared at https github.com forjiuzhou Spherical Knowledge Distillation.


Performance Analysis and Enhancements for In Band Full Duplex Wireless Local Area Networks. In Band Full Duplex (IBFD) is a technique that enables a wireless node to simultaneously transmit a signal and receive another on the same assigned frequency. Thus, IBFD wireless systems can provide up to twice the channel capacity compared to conventional Half Duplex (HD) systems. In order to study the feasibility of IBFD networks, reliable models are needed to capture anticipated benefits of IBFD above the physical layer (PHY). In this paper, an accurate analytical model based on Discrete Time Markov Chain (DTMC) analysis for IEEE 802.11 Distributed Coordination Function (DCF) with IBFD capabilities is proposed. The model captures all parameters necessary to calculate important performance metrics which quantify enhancements introduced as a result of IBFD solutions. Additionally, two frame aggregation schemes for Wireless Local Area Networks (WLANs) with IBFD features are proposed to increase the efficiency of data transmission. Matching analytical and simulation results with less than 1 average errors confirm that the proposed frame aggregation schemes further improve the overall throughput by up to 24 and reduce latency by up to 47 in practical IBFD WLANs. More importantly, the results assert that IBFD transmission can only reduce latency to a suboptimal point in WLANs, but frame aggregation is necessary to minimize it.


Architecture Agnostic Neural Networks. In this paper, we explore an alternate method for synthesizing neural network architectures, inspired by the brain's stochastic synaptic pruning. During a person's lifetime, numerous distinct neuronal architectures are responsible for performing the same tasks. This indicates that biological neural networks are, to some degree, architecture agnostic. However, artificial networks rely on their fine tuned weights and hand crafted architectures for their remarkable performance. This contrast begs the question Can we build artificial architecture agnostic neural networks? To ground this study we utilize sparse, binary neural networks that parallel the brain's circuits. Within this sparse, binary paradigm we sample many binary architectures to create families of architecture agnostic neural networks not trained via backpropagation. These high performing network families share the same sparsity, distribution of binary weights, and succeed in both static and dynamic tasks. In summation, we create an architecture manifold search procedure to discover families or architecture agnostic neural networks.


Self Supervised 2D Image to 3D Shape Translation with Disentangled Representations. We present a framework to translate between 2D image views and 3D object shapes. Recent progress in deep learning enabled us to learn structure aware representations from a scene. However, the existing literature assumes that pairs of images and 3D shapes are available for training in full supervision. In this paper, we propose SIST, a Self supervised Image to Shape Translation framework that fulfills three tasks (i) reconstructing the 3D shape from a single image (ii) learning disentangled representations for shape, appearance and viewpoint and (iii) generating a realistic RGB image from these independent factors. In contrast to the existing approaches, our method does not require image shape pairs for training. Instead, it uses unpaired image and shape datasets from the same object class and jointly trains image generator and shape reconstruction networks. Our translation method achieves promising results, comparable in quantitative and qualitative terms to the state of the art achieved by fully supervised methods.


Counting Signed Vexillary Permutations. We show that the number of signed permutations avoiding 1234 equals the number of signed permutations avoiding 2143 (also called vexillary signed permutations), resolving a conjecture by Anderson and Fulton. The main tool that we use is the generating tree developed by West. Many further directions are mentioned in the end.


Elastic wave propagation in curvilinear coordinates with mesh refinement interfaces by a fourth order finite difference method. We develop a fourth order accurate finite difference method for the three dimensional elastic wave equation in isotropic media with the piecewise smooth material property. In our model, the material property can be discontinuous at curved interfaces. The governing equations are discretized in second order form on curvilinear meshes by using a fourth order finite difference operator satisfying a summation by parts property. The method is energy stable and high order accurate. The highlight is that mesh sizes can be chosen according to the velocity structure of the material so that computational efficiency is improved. At the mesh refinement interfaces with hanging nodes, physical interface conditions are imposed by using ghost points and interpolation. With a fourth order predictor corrector time integrator, the fully discrete scheme is energy conserving. Numerical experiments are presented to verify the fourth order convergence rate and the energy conserving property.


The Fundamental Solution to One Dimensional Degenerate Diffusion Equation, I. In this work we adopt a combination of probabilistic approach and analytic methods to study the fundamental solutions to variations of the Wright Fisher equation in one dimension. To be specific, we consider a diffusion equation on left(0, infty right) whose diffusion coefficient vanishes at the boundary 0, equipped with the Cauchy initial data and the Dirichlet boundary condition. One type of diffusion operator that has been extensively studied is the one whose diffusion coefficient vanishes linearly at 0. Our main goal is to extend the study to cases when the diffusion coefficient has a general order of degeneracy. We primarily focus on the fundamental solution to such a degenerate diffusion equation. In particular, we study the regularity properties of the fundamental solution near 0, and investigate how the order of degeneracy of the diffusion operator and the Dirichlet boundary condition jointly affect these properties. We also provide estimates for the fundamental solution and its derivatives near 0.


Bringing Anatomical Information into Neuronal Network Models. For constructing neuronal network models computational neuroscientists have access to wide ranging anatomical data that nevertheless tend to cover only a fraction of the parameters to be determined. Finding and interpreting the most relevant data, estimating missing values, and combining the data and estimates from various sources into a coherent whole is a daunting task. With this chapter we aim to provide guidance to modelers by describing the main types of anatomical data that may be useful for informing neuronal network models. We further discuss aspects of the underlying experimental techniques relevant to the interpretation of the data, list particularly comprehensive data sets, and describe methods for filling in the gaps in the experimental data. Such methods of predictive connectomics' estimate connectivity where the data are lacking based on statistical relationships with known quantities. It is instructive, and in certain cases necessary, to use organizational principles that link the plethora of data within a unifying framework where regularities of brain structure can be exploited to inform computational models. In addition, we touch upon the most prominent features of brain organization that are likely to influence predicted neuronal network dynamics, with a focus on the mammalian cerebral cortex. Given the still existing need for modelers to navigate a complex data landscape full of holes and stumbling blocks, it is vital that the field of neuroanatomy is moving toward increasingly systematic data collection, representation, and publication.


Microservices Anti Patterns A Taxonomy. Several companies are re architecting their monolithic information systems with microservices. However, many companies migrated without experience on microservices, mainly learning how to migrate from books or from practitioners' blogs. Because of the novelty of the topic, practitioners and consultancy are learning by doing how to migrate, thus facing several issues but also several benefits. In this chapter, we introduce a catalog and a taxonomy of the most common microservices anti patterns in order to identify common problems. Our anti pattern catalogue is based on the experience summarized by different practitioners we interviewed in the last three years. We identified a taxonomy of 20 anti patterns, including organizational (team oriented and technology tool oriented) anti patterns and technical (internal and communication) anti patterns. The results can be useful to practitioners to avoid experiencing the same difficult situations in the systems they develop. Moreover, researchers can benefit of this catalog and further validate the harmfulness of the anti patterns identified.


Hector Using Untrusted Browsers to Provision Web Applications. Web applications are on the rise and rapidly evolve into more and more mature replacements for their native counterparts. This disruptive trend is mainly driven by the attainment of platform independence and instant deployability. On top of this, web browsers offer the opportunity for seamless browser to browser communication for distributed interaction. In this paper, we present Hector, a novel web application framework that transforms web browsers into a distributed application centric computing platform. Hector enables offloading application logic to users, thereby improving user experience with lower latencies while generating less costs for service providers. Following the programming paradigm of Function as a Service, applications are decomposed into functions so they can be managed efficiently and deployed in a responsive, scalable and lightweight fashion. In case of client side resource shortage or unresponsive clients, execution falls back to a traditional cloud based infrastructure. Hector combines WebAssembly for multi language computations at near native speed, WebRTC for browser to browser communication and trusted execution as provided by the Intel Software Guard Extensions so browsers can trust each other's computations. We evaluate Hector by implementing a digital assistant as well as a recommendation system. Our evaluation shows that Hector achieves lower end user latencies while generating less costs than traditional deployments. Additionally, we show that Hector scales linearly with increasing client numbers and can cope well with unresponsive clients.


Leveraging the Power of Prediction Predictive Service Placement for Latency Sensitive Mobile Edge Computing. Mobile edge computing (MEC) is emerging to support delay sensitive 5G applications at the edge of mobile networks. When a user moves erratically among multiple MEC nodes, the challenge of how to dynamically migrate its service to maintain service performance (i.e., user perceived latency) arises. However, frequent service migration can significantly increase operational cost, incurring the conflict between improving performance and reducing cost. To address these mis aligned objectives, this paper studies the performance optimization of mobile edge service placement under the constraint of long term cost budget. It is challenging because the budget involves the future uncertain information (e.g., user mobility). To overcome this difficulty, we devote to leveraging the power of prediction and advocate predictive service placement with predicted near future information. By using two timescale Lyapunov optimization method, we propose a T slot predictive service placement (PSP) algorithm to incorporate the prediction of user mobility based on a frame based design. We characterize the performance bounds of PSP in terms of cost delay trade off theoretically. Furthermore, we propose a new weight adjustment scheme for the queue in each frame named PSP WU to exploit the historical queue information, which greatly reduces the length of queue while improving the quality of user perceived latency. Rigorous theoretical analysis and extensive evaluations using realistic data traces demonstrate the superior performance of the proposed predictive schemes.


RoadTrack Realtime Tracking of Road Agents in Dense and Heterogeneous Environments. We present a realtime tracking algorithm, RoadTrack, to track heterogeneous road agents in dense traffic videos. Our approach is designed for traffic scenarios that consist of different road agents such as pedestrians, two wheelers, cars, buses, etc. sharing the road. We use the tracking by detection approach where we track a road agent by matching the appearance or bounding box region in the current frame with the predicted bounding box region propagated from the previous frame. RoadTrack uses a novel motion model called the Simultaneous Collision Avoidance and Interaction (SimCAI) model to predict the motion of road agents by modeling collision avoidance and interactions between the road agents for the next frame. We demonstrate the advantage of RoadTrack on a dataset of dense traffic videos and observe an accuracy of 75.8 on this dataset, outperforming prior state of the art tracking algorithms by at least 5.2 . RoadTrack operates in realtime at approximately 30 fps and is at least 4 times faster than prior tracking algorithms on standard tracking datasets.


Ultrabroadband Polarization Insensitive Hybrid using Multiplane Light Conversion. We designed, fabricated and tested an optical hybrid that supports an octave of bandwidth (900 1800 nm) and below 4 dB insertion loss using multiplane light conversion. Measured phase errors are below 3 degree across a measurement bandwidth of 390 nm.


Newly reducible polynomial iterates. Given a field K and n 1 , we say that a polynomial f in K x has newly reducible n th iterate over K if f n 1 is irreducible over K , but f n is not (here f i denotes the i th iterate of f ). We pose the problem of characterizing, for given d,n 1 , fields K such that there exists f in K x of degree d with newly reducible n th iterate, and the similar problem for fields admitting infinitely many such f . We give results in the cases (d,n) in (2,2), (2,3), (3,2), (4,2) as well as for (d,2) when d equiv 2 bmod 4 . In particular, we show that for all these (d,n) pairs, there are infinitely many monic f in mathbb Z x of degree d with newly reducible n th iterate over mathbb Q . Curiously, the minimal polynomial x 2 x 1 of the golden ratio is one example of f in mathbb Z x with newly reducible third iterate very few other examples have small coefficients. Our investigations prompt a number of conjectures and open questions.


Layered Sampling for Robust Optimization Problems. In real world, our datasets often contain outliers. Moreover, the outliers can seriously affect the final machine learning result. Most existing algorithms for handling outliers take high time complexities (e.g. quadratic or cubic complexity). em Coreset is a popular approach for compressing data so as to speed up the optimization algorithms. However, the current coreset methods cannot be easily extended to handle the case with outliers. In this paper, we propose a new variant of coreset technique, em layered sampling , to deal with two fundamental robust optimization problems em k median means clustering with outliers and em linear regression with outliers . This new coreset method is in particular suitable to speed up the iterative algorithms (which often improve the solution within a local range) for those robust optimization problems. Moreover, our method is easy to be implemented in practice. We expect that our framework of layered sampling will be applicable to other robust optimization problems.


Positive Instance Driven Dynamic Programming for Graph Searching. Research on the similarity of a graph to being a tree called the treewidth of the graph has seen an enormous rise within the last decade, but a practically fast algorithm for this task has been discovered only recently by Tamaki (ESA 2017). It is based on dynamic programming and makes use of the fact that the number of positive subinstances is typically substantially smaller than the number of all subinstances. Algorithms producing only such subinstances are called positive instance driven (PID). We give an alternative and intuitive view on this algorithm from the perspective of the corresponding configuration graphs in certain two player games. This allows us to develop PID algorithms for a wide range of important graph parameters such as treewidth, pathwidth, and treedepth. We analyse the worst case behaviour of the approach on some well known graph classes and perform an experimental evaluation on real world and random graphs.


X with weak uniform Kadec Klee property has Property( K ). It is shown that if the dual of a Banach space, X , where the dual ball is weak sequentially compact, has the weak uniform Kadec Klee property then X has Property( K ). An example is given where the reverse implication does not hold. That is, there is a Banach space X whose dual, X , has Property( K ) but X does not have the weak uniform Kadec Klee property.


Maximum nullity and zero forcing of circulant graphs. It is well known that the zero forcing number of a graph provides a lower bound on the minimum rank of a graph. In this paper we bound and characterize the zero forcing number of certain circulant graphs, including some bipartite circulants, cubic circulants, and circulants which are torus products, to obtain bounds on the minimum rank and the maximum nullity. We also evaluate when the zero forcing number will give equality.


Forecasting Future Murders of Mr. Boddy by Numerical Weather Prediction. Despite a previous description of his state as a stable fixed point, just past midnight this morning Mr. Boddy was murdered again. In fact, over 70 years Mr. Boddy has been reported murdered 10 6 times, while there exist no documented attempts at intervention. Using variational data assimilation, we train a model of Mr. Boddy's dynamics on the time series of observed murders, to forecast future murders. The parameters to be estimated include instrument, location, and murderer. We find that a successful estimation requires three additional elements. First, to minimize the effects of selection bias, generous ranges are placed on parameter searches, permitting values such as the Cliff, the Poisoned Apple, and the Wife. Second, motive, which was not considered relevant to previous murders, is added as a parameter. Third, Mr. Boddy's little known asthmatic condition is considered as an alternative cause of death. Following this morning's event, the next local murder is forecast for 17 19 03 EDT this afternoon, with a standard deviation of seven hours, at The Kitchen at 4330 Katonah Avenue, Bronx, NY, 10470, with either the Lead Pipe or the Lead Bust of Washington Irving. The motive is Case of Mistaken Identity, and there was no convergence upon a murderer. Testing of the procedure's predictive power will involve catching the D train to 205th Street and a few transfers over to Katonah Avenue, and sitting around waiting with our eyes peeled. We discuss the problem of identifying a global solution that is, the best reason for murder on a landscape riddled with pretty decent reasons. We also discuss the procedure's assumption of Gaussian distributed errors, which will under predict rare events. This under representation of highly improbable events may be offset by the fact that the training data, after all, consists of multiple murders of a single person.


Invariants of algebraic elements over henselian fields. Let (K,v) be a henselian valued field. In this paper, we use Okutsu sequences for monic, irreducible polynomials in K x , and their relationship with MacLane chains of inductive valuations on K x , to obtain some results on the computation of invariants of algebraic elements over K.


Seminormality, canonical modules, and regularity of cut polytopes. Motivated by a conjecture of Sturmfels and Sullivant we study normal cut polytopes. After a brief survey of known results for normal cut polytopes it is in particular observed that for simplicial and simple cut polytopes their cut algebras are normal and hence Cohen Macaulay. Moreover, seminormality is considered. It is shown that the cut algebra of K 5 is not seminormal which implies again the known fact that it is not normal. For normal Gorenstein cut algebras and other cases of interest we determine their canonical modules. The Castelnuovo Mumford regularity of a cut algebra is computed for various types of graphs and bounds for it are provided if normality is assumed. As an application we classify all graphs for which the cut algebra has regularity less than or equal to 4.


Whac A Mole Six Years of DNS Spoofing. DNS is important in nearly all interactions on the Internet. All large DNS operators use IP anycast, announcing servers in BGP from multiple physical locations to reduce client latency and provide capacity. However, DNS is easy to spoof third parties intercept and respond to queries for benign or malicious purposes. Spoofing is of particular risk for services using anycast, since service is already announced from multiple origins. In this paper, we describe methods to identify DNS spoofing, infer the mechanism being used, and identify organizations that spoof from historical data. Our methods detect overt spoofing and some covertly delayed answers, although a very diligent adversarial spoofer can hide. We use these methods to study more than six years of data about root DNS servers from thousands of vantage points. We show that spoofing today is rare, occurring only in about 1.7 of observations. However, the rate of DNS spoofing has more than doubled in less than seven years, and it occurs globally. Finally, we use data from B Root DNS to validate our methods for spoof detection, showing a true positive rate over 0.96. B Root confirms that spoofing occurs with both DNS injection and proxies, but proxies account for nearly all spoofing we see.


Monochromatic homotopy theory is asymptotically algebraic. In previous work, we used an infty categorical version of ultraproducts to show that, for a fixed height n , the symmetric monoidal infty categories of E n,p local spectra are asymptotically algebraic in the prime p . In this paper, we prove the analogous result for the symmetric monoidal infty categories of K p (n) local spectra, where K p (n) is Morava K theory at height n and the prime p . This requires infty categorical tools suitable for working with compactly generated symmetric monoidal infty categories with non compact unit. The equivalences that we produce here are compatible with the equivalences for the E n,p local infty categories.


Trustworthy AI Inference Systems An Industry Research View. In this work, we provide an industry research view for approaching the design, deployment, and operation of trustworthy Artificial Intelligence (AI) inference systems. Such systems provide customers with timely, informed, and customized inferences to aid their decision, while at the same time utilizing appropriate security protection mechanisms for AI models. Additionally, such systems should also use Privacy Enhancing Technologies (PETs) to protect customers' data at any time. To approach the subject, we start by introducing trends in AI inference systems. We continue by elaborating on the relationship between Intellectual Property (IP) and private data protection in such systems. Regarding the protection mechanisms, we survey the security and privacy building blocks instrumental in designing, building, deploying, and operating private AI inference systems. For example, we highlight opportunities and challenges in AI systems using trusted execution environments combined with more recent advances in cryptographic techniques to protect data in use. Finally, we outline areas of further development that require the global collective attention of industry, academia, and government researchers to sustain the operation of trustworthy AI inference systems.


The refractory period matters unifying mechanisms of macroscopic brain waves. The relationship between complex, brain oscillations and the dynamics of individual neurons is poorly understood. Here we utilize Maximum Caliber, a dynamical inference principle, to build a minimal, yet general model of the collective (mean field) dynamics of large populations of neurons. In agreement with previous experimental observations, we describe a simple, testable mechanism, involving only a single type of neuron, by which many of these complex oscillatory patterns may emerge. Our model predicts that the refractory period of neurons, which has been previously neglected, is essential for these behaviors.


Efficient exponential Runge Kutta methods of high order construction and implementation. Exponential Runge Kutta methods have shown to be competitive for the time integration of stiff semilinear parabolic PDEs. The current construction of stiffly accurate exponential Runge Kutta methods, however, relies on a convergence result that requires weakening many of the order conditions, resulting in schemes whose stages must be implemented in a sequential way. In this work, after showing a stronger convergence result, we are able to derive two new families of fourth and fifth order exponential Runge Kutta methods, which, in contrast to the existing methods, have multiple stages that are independent of one another and share the same format, thereby allowing them to be implemented in parallel or simultaneously, and making the methods to behave like using with much less stages. Moreover, all of their stages involve only one linear combination of the product of varphi functions (using the same argument) with vectors. Overall, these features make these new methods to be much more efficient to implement when compared to the existing methods of the same orders. Numerical experiments on a one dimensional semilinear parabolic problem, a nonlinear Schr "odinger equation, and a two dimensional Gray Scott model are given to confirm the accuracy and efficiency of the two newly constructed methods.


On forbidden induced subgraphs for K 1,3 free perfect graphs. Considering connected K 1,3 free graphs with independence number at least 3 , Chudnovsky and Seymour (2010) showed that every such graph, say G , is 2 omega colourable where omega denotes the clique number of G . We study (K 1,3 , Y) free graphs, and show that the following three statements are equivalent. (1) Every connected (K 1,3 , Y) free graph which is distinct from an odd cycle and which has independence number at least 3 is perfect. (2) Every connected (K 1,3 , Y) free graph which is distinct from an odd cycle and which has independence number at least 3 is omega colourable. (3) Y is isomorphic to an induced subgraph of P 5 or Z 2 (where Z 2 is also known as hammer). Furthermore, for connected (K 1,3 , Y) free graphs (without an assumption on the independence number), we show a similar characterisation featuring the graphs P 4 and Z 1 (where Z 1 is also known as paw).


A Shooting Formulation of Deep Learning. Continuous depth neural networks can be viewed as deep limits of discrete neural networks whose dynamics resemble a discretization of an ordinary differential equation (ODE). Although important steps have been taken to realize the advantages of such continuous formulations, most current techniques are not truly continuous depth as they assume textit identical layers. Indeed, existing works throw into relief the myriad difficulties presented by an infinite dimensional parameter space in learning a continuous depth neural ODE. To this end, we introduce a shooting formulation which shifts the perspective from parameterizing a network layer by layer to parameterizing over optimal networks described only by a set of initial conditions. For scalability, we propose a novel particle ensemble parametrization which fully specifies the optimal weight trajectory of the continuous depth neural network. Our experiments show that our particle ensemble shooting formulation can achieve competitive performance, especially on long range forecasting tasks. Finally, though the current work is inspired by continuous depth neural networks, the particle ensemble shooting formulation also applies to discrete time networks and may lead to a new fertile area of research in deep learning parametrization.


Hallucinating IDT Descriptors and I3D Optical Flow Features for Action Recognition with CNNs. In this paper, we revive the use of old fashioned handcrafted video representations for action recognition and put new life into these techniques via a CNN based hallucination step. Despite of the use of RGB and optical flow frames, the I3D model (amongst others) thrives on combining its output with the Improved Dense Trajectory (IDT) and extracted with its low level video descriptors encoded via Bag of Words (BoW) and Fisher Vectors (FV). Such a fusion of CNNs and handcrafted representations is time consuming due to pre processing, descriptor extraction, encoding and tuning parameters. Thus, we propose an end to end trainable network with streams which learn the IDT based BoW FV representations at the training stage and are simple to integrate with the I3D model. Specifically, each stream takes I3D feature maps ahead of the last 1D conv. layer and learns to translate' these maps to BoW FV representations. Thus, our model can hallucinate and use such synthesized BoW FV representations at the testing stage. We show that even features of the entire I3D optical flow stream can be hallucinated thus simplifying the pipeline. Our model saves 20 55h of computations and yields state of the art results on four publicly available datasets.


Constant Depth and Subcubic Size Threshold Circuits for Matrix Multiplication. Boolean circuits of McCulloch Pitts threshold gates are a classic model of neural computation studied heavily in the late 20th century as a model of general computation. Recent advances in large scale neural computing hardware has made their practical implementation a near term possibility. We describe a theoretical approach for multiplying two N by N matrices that integrates threshold gate logic with conventional fast matrix multiplication algorithms, that perform O(N omega) arithmetic operations for a positive constant omega 3 . Our approach converts such a fast matrix multiplication algorithm into a constant depth threshold circuit with approximately O(N omega) gates. Prior to our work, it was not known whether the Theta(N 3) gate barrier for matrix multiplication was surmountable by constant depth threshold circuits. Dense matrix multiplication is a core operation in convolutional neural network training. Performing this work on a neural architecture instead of off loading it to a GPU may be an appealing option.


Tropicalization of Graph Profiles. A graph profile records all possible densities of a fixed finite set of graphs. Profiles can be extremely complicated for instance the full profile of any triple of connected graphs is not known, and little is known about hypergraph profiles. We introduce the tropicalization of graph and hypergraph profiles. Tropicalization is a well studied operation in algebraic geometry, which replaces a variety (the set of real or complex solutions to a finite set of algebraic equations) with its "combinatorial shadow". We prove that the tropicalization of a graph profile is a closed convex cone, which still captures interesting combinatorial information. We explicitly compute these tropicalizations for arbitrary sets of complete and star hypergraphs. We show they are rational polyhedral cones even though the corresponding profiles are not even known to be semialgebraic in some of these cases. We then use tropicalization to prove strong restrictions on the power of the sums of squares method, equivalently Cauchy Schwarz calculus, to test (which is weaker than certification) the validity of graph density inequalities. In particular, we show that sums of squares cannot test simple binomial graph density inequalities, or even their approximations. Small concrete examples of such inequalities are presented, and include the famous Blakley Roy inequalities for paths of odd length. As a consequence, these simple inequalities cannot be written as a rational sum of squares of graph densities.


On criticality theory for elliptic mixed boundary value problems in divergence form. The paper is devoted to the study of positive solutions of a second order linear elliptic equation in divergence form in a domain D subseteq mathbb R n that satisfy an oblique boundary condition on a portion of partial D . First, we study the degenerate mixed boundary value problem begin cases Pu f text in D, Bu 0 text on partial D mathrm Rob , u 0 text on partial D mathrm Dir , end cases where D is a bounded Lipschitz domain, partial D mathrm Rob is a relatively open portion of partial D , partial D mathrm Dir is a closed set of partial D , and B is an oblique (Robin) boundary operator defined on partial D mathrm Rob . In particular, we discuss the unique solvability of the above problem, the existence of a principal eigenvalue, and the existence of a positive minimal Green function. Then we establish a criticality theory for positive weak solutions of the operator (P,B) in a general domain with no boundary condition on partial D mathrm Dir and no growth condition at infinity. The paper generalizes and extends results obtained by Pinchover and Saadon (2002) for classical solutions of such a problem, where stronger regularity assumptions on the coefficients of (P,B) , and partial D mathrm Rob .


SmartSON A Smart contract driven incentive management framework for Self Organizing Networks. This article proposes a self organizing collaborative computing network with an approach to enhance the expectation of a collaborating node for joining the self organizing network. The proposed approach relies on Ethereum cryptocurrency and Smart Contract to enhance the expectation of collaborating nodes by monetizing the services provided to the self organizing network. Furthermore, an escrow based smart contract is formalized in the proposed framework to sustains the monetary trust issue between collaborating nodes. The proposed scheme can enforce an autonomic incentive management mechanism to any type of self organizing networks such as self organizing clouds, ad hoc networks, self organizing federated cloud networks, self organizing federated learning networks, and self organizing D2D networks to name a few. Considering the distributed nature of these self organizing networks and the Ethereum blockchain network, a distributed agent based methodology is materialized in the proposed framework. Following this, a proof of concept implementation for the general case of a self organizing cloud is presented. Lastly, the article provides some insights into possible future directions using the proposed framework.


Mixed Morrey spaces and their applications to partial differential equations. In this paper, new classes of functions are defined. These spaces generalize Morrey spaces and give a refinement of Lebesgue spaces. Some embeddings between these new classes are also proved. Finally, the authors apply these classes of functions to obtain regularity results for solutions of partial differential equations of parabolic type.


Approximately Stable Committee Selection. In the committee selection problem, we are given m candidates, and n voters. Candidates can have different weights. A committee is a subset of candidates, and its weight is the sum of weights of its candidates. Each voter expresses an ordinal ranking over all possible committees. The only assumption we make on preferences is monotonicity If S subseteq S' are two committees, then any voter weakly prefers S' to S . We study a general notion of group fairness via stability A committee of given total weight K is stable if no coalition of voters can deviate and choose a committee of proportional weight, so that all these voters strictly prefer the new committee to the existing one. Extending this notion to approximation, for parameter c ge 1 , a committee S of weight K is said to be c approximately stable if for any other committee S' of weight K' , the fraction of voters that strictly prefer S' to S is strictly less than frac c K' K . When c 1 , this condition is equivalent to classical core stability. The question we ask is Does a c approximately stable committee of weight at most any given value K always exist for constant c ? It is relatively easy to show that there exist monotone preferences for which c ge 2 . However, even for simple and widely studied preference structures, a non trivial upper bound on c has been elusive. In this paper, we show that c O(1) for all monotone preference structures. Our proof proceeds via showing an existence result for a randomized notion of stability, and iteratively rounding the resulting fractional solution.


On the convergence of generalized power series solutions of q difference equations. A sufficient condition for the convergence of a generalized formal power series solution to an algebraic q difference equation is provided. The main result leans on a geometric property related to the semi group of (complex) power exponents of such a series. This property corresponds to the situation in which the small divisors phenomenon does not arise. Some examples illustrating the cases where the obtained sufficient condition can be or cannot be applied are also depicted.


Conditionally monotone independence and the associated products of graphs. We reduce the conditionally monotone (c monotone) independence of Hasebe to tensor independence. For that purpose, we use the approach developed for the reduction of boolean, free and monotone independences to tensor independence. We apply the tensor product realization of c monotone random variables to introduce the c comb (loop) product of birooted graphs, a generalization of the comb (loop) product of rooted graphs, and we show that it is related to the c monotone additive (multiplicative) convolution of distributions.


Visuo Linguistic Question Answering (VLQA) Challenge. Understanding images and text together is an important aspect of cognition and building advanced Artificial Intelligence (AI) systems. As a community, we have achieved good benchmarks over language and vision domains separately, however joint reasoning is still a challenge for state of the art computer vision and natural language processing (NLP) systems. We propose a novel task to derive joint inference about a given image text modality and compile the Visuo Linguistic Question Answering (VLQA) challenge corpus in a question answering setting. Each dataset item consists of an image and a reading passage, where questions are designed to combine both visual and textual information i.e., ignoring either modality would make the question unanswerable. We first explore the best existing vision language architectures to solve VLQA subsets and show that they are unable to reason well. We then develop a modular method with slightly better baseline performance, but it is still far behind human performance. We believe that VLQA will be a good benchmark for reasoning over a visuo linguistic context. The dataset, code and leaderboard is available at https shailaja183.github.io vlqa .


On the regularization of Cauchy type integral operators via the density interpolation method and applications. This paper presents a regularization technique for the high order efficient numerical evaluation of nearly singular, principal value, and finite part Cauchy type integral operators. By relying on the Cauchy formula, the Cauchy Goursat theorem, and on curve Taylor interpolations of the input density, the proposed methodology allows to recast the Cauchy and associated integral operators as smooth contour integrals. As such, they can be accurately evaluated everywhere in the complex plane including at problematic points near and on the contour by means of elementary quadrature rules. Applications of the technique to the evaluation of the Laplace layer potentials and related integral operators, as well as to the computation conformal mappings, are examined in detail. The former application, in particular, amounts to a significant improvement over the recently introduced harmonic density interpolation method. Spectrally accurate discretization approaches for smooth and piecewise smooth contours are presented. A variety of numerical examples, including the solution of weakly singular and hypersingular Laplace boundary integral equations, and the evaluation of challenging conformal mappings, demonstrate the effectiveness and accuracy of the density interpolation method in this context.


Bypassing memory safety mechanisms through speculative control flow hijacks. The prevalence of memory corruption bugs in the past decades resulted in numerous defenses, such as stack canaries, control flow integrity (CFI), and memory safe languages. These defenses can prevent entire classes of vulnerabilities, and help increase the security posture of a program. In this paper, we show that memory corruption defenses can be bypassed using speculative execution attacks. We study the cases of stack protectors, CFI, and bounds checks in Go, demonstrating under which conditions they can be bypassed by a form of speculative control flow hijack, relying on speculative or architectural overwrites of control flow data. Information is leaked by redirecting the speculative control flow of the victim to a gadget accessing secret data and acting as a side channel send. We also demonstrate, for the first time, that this can be achieved by stitching together multiple gadgets, in a speculative return oriented programming attack. We discuss and implement software mitigations, showing moderate performance impact.


Industry Relevant Implicit Large Eddy Simulation of a High Performance Road Car via Spectral hp Element Methods. We present a successful deployment of high fidelity Large Eddy Simulation (LES) technologies based on spectral hp element methods to industrial flow problems, which are characterized by high Reynolds numbers and complex geometries. In particular, we describe the numerical methods, software development and steps that were required to perform the implicit LES of a real automotive car, namely the Elemental Rp1 model. To the best of the authors' knowledge, this simulation represents the first fifth order accurate transient LES of an entire real car geometry. Moreover, this constitutes a key milestone towards considerably expanding the computational design envelope currently allowed in industry, where steady state modelling remains the standard. To this end, a number of novel developments had to be made in order to overcome obstacles in mesh generation and solver technology to achieve this simulation, which we detail in this paper. The main objective is to present to the industrial and applied mathematics community, a viable pathway to translate academic developments into industrial tools, that can substantially advance the analysis and design capabilities of high end engineering stakeholders. The novel developments and results were achieved using the academic driven open source framework Nektar .


Zero Resource Cross Lingual Named Entity Recognition. Recently, neural methods have achieved state of the art (SOTA) results in Named Entity Recognition (NER) tasks for many languages without the need for manually crafted features. However, these models still require manually annotated training data, which is not available for many languages. In this paper, we propose an unsupervised cross lingual NER model that can transfer NER knowledge from one language to another in a completely unsupervised way without relying on any bilingual dictionary or parallel data. Our model achieves this through word level adversarial learning and augmented fine tuning with parameter sharing and feature augmentation. Experiments on five different languages demonstrate the effectiveness of our approach, outperforming existing models by a good margin and setting a new SOTA for each language pair.


Lagrangian Dual Decision Rules for Multistage Stochastic Mixed Integer Programming. Multistage stochastic programs can be approximated by restricting policies to follow decision rules. Directly applying this idea to problems with integer decisions is difficult because of the need for decision rules that lead to integral decisions. In this work, we introduce Lagrangian dual decision rules (LDDRs) for multistage stochastic mixed integer programming (MSMIP) which overcome this difficulty by applying decision rules in a Lagrangian dual of the MSMIP. We propose two new bounding techniques based on stagewise (SW) and nonanticipative (NA) Lagrangian duals where the Lagrangian multiplier policies are restricted by LDDRs. We demonstrate how the solutions from these duals can be used to drive primal policies. Our proposal requires fewer assumptions than most existing MSMIP methods. We compare the theoretical strength of the restricted duals and show that the restricted NA dual can provide relaxation bounds at least as good as the ones obtained by the restricted SW dual. In our numerical study, we observe that the proposed LDDR approaches yield significant optimality gap reductions compared to existing general purpose bounding methods for MSMIP problems.


Semi classical quantum maps of semi hyperbolic type. Let M R n or possibly a Riemannian, non compact manifold. We consider semi excited resonances for a h differential operator H(x, hD x h) on L 2 (M) induced by a non degenerate periodic orbit gamma 0 of semi hyperbolic type, which is contained in the non critical energy surface H 0 0 . By semi hyperbolic, we mean that the linearized Poincar 'e map dP 0 associated with gamma 0 has at least one eigenvalue of modulus greater (or less) than 1, and one eigenvalue of modulus equal to 1, and by non degenerate that 1 is not an eigenvalue, which implies a family gamma (E) with the same properties. It is known that an infinite number of periodic orbits generally cluster near gamma 0 , with periods approximately multiples of its primitive period. We construct the monodromy and Grushin operator, adapting some arguments by NoSjZw , SjZw , and compare with those obtained in LouRo , which ignore the additional orbits near gamma 0 , but still give the right quantization rule for the family gamma (E).


Fitness Landscape Analysis of Dimensionally Aware Genetic Programming Featuring Feynman Equations. Genetic programming is an often used technique for symbolic regression finding symbolic expressions that match data from an unknown function. To make the symbolic regression more efficient, one can also use dimensionally aware genetic programming that constrains the physical units of the equation. Nevertheless, there is no formal analysis of how much dimensionality awareness helps in the regression process. In this paper, we conduct a fitness landscape analysis of dimensionallyaware genetic programming search spaces on a subset of equations from Richard Feynmans well known lectures. We define an initialisation procedure and an accompanying set of neighbourhood operators for conducting the local search within the physical unit constraints. Our experiments show that the added information about the variable dimensionality can efficiently guide the search algorithm. Still, further analysis of the differences between the dimensionally aware and standard genetic programming landscapes is needed to help in the design of efficient evolutionary operators to be used in a dimensionally aware regression.


Longitudinal Beam Dynamics in Circular Accelerators. This paper gives an introduction of longitudinal beam dynamics for circular accelerators. After briefly discussing some types of circular accelerators, it focuses on particle motion in synchrotrons. It summarizes the equations of motion, discusses phase space matching during beam transfer, and introduces the Hamiltonian of longitudinal motion.


Detecting Forged Facial Videos using convolutional neural network. In this paper, we propose to detect forged videos, of faces, in online videos. To facilitate this detection, we propose to use smaller (fewer parameters to learn) convolutional neural networks (CNN), for a data driven approach to forged video detection. To validate our approach, we investigate the FaceForensics public dataset detailing both frame based and video based results. The proposed method is shown to outperform current state of the art. We also perform an ablation study, analyzing the impact of batch size, number of filters, and number of network layers on the accuracy of detecting forged videos.


Efficient Type II Second Harmonic Generation in an Indium Gallium Phosphide on insulator wire waveguide aligned with a crystallographic axis. We theoretically and experimentally investigate type II second harmonic generation in III V on insulator wire waveguides. We show that the propagation direction plays a crucial role and that longitudinal field components can be leveraged for robust and efficient conversion. We predict that the maximum theoretical conversion is larger than that of type I second harmonic generation for similar waveguide dimensions and reach an experimental conversion efficiency of 12 W, limited by the propagation loss.


Evolutionary dynamics of cancer from epigenetic regulation to cell population dynamics mathematical model framework, applications, and open problems. Predictive modeling of the evolutionary dynamics of cancer is a challenge issue in computational cancer biology. In this paper, we propose a general mathematical model framework for the evolutionary dynamics of cancer with plasticity and heterogeneity in cancer cells. Cancer is a group of diseases involving abnormal cell growth, during which abnormal regulations in stem cell regeneration are essential for the dynamics of cancer development. In general, the dynamics of stem cell regeneration can be simplified as a mathrm G 0 phase cell cycle model, which lead to a delay differentiation equation. When cell heterogeneity and plasticity are considered, we establish a differential integral equation based on the random transition of epigenetic states of stem cells during cell division. The proposed model highlights cell heterogeneity and plasticity, and connects the heterogeneity with cell to cell variance in cellular behaviors, e.g. proliferation, apoptosis, and differentiation senescence, and can be extended to include gene mutation induced tumor development. Hybrid computations models are developed based on the mathematical model framework, and are applied to the process of inflammation induced tumorigenesis and tumor relapse after CAR T therapy. Finally, we give rise to several mathematical problems related to the proposed differential integral equation. Answers to these problems are crucial for the understanding of the evolutionary dynamics of cancer.


Homophilic networks evolving by mimesis. We provide a mathematical model for networks based on similarities (homophily) and evolving by mutual imitation (mimesis). We show that such social networks will converge to a state of segregation, where the in group interactions will be maximal and there will be no out group flow of information. We establish some connections between our model and the Wolfram model for fundamental physics.


Playing through a noisy channel (and knowing it). In this note we discuss a theory of combinatorial games that involve transmitting the moves through a noisy channel that can introduce errors during the transmission. Players are aware of this interference and incorporate this variable into the game the valid move is the received one, regardless of whether it is the other player's sent move (as long as it is a valid move in the original game otherwise, a retransmission is requested). Players know the probability of introducing an error through communication and can play a non optimal (but valid) move that maximizes their chances of winning. We present some examples and provide the basic definitions and results of this type of games.


Entropy and Compression A simple proof of an inequality of Khinchin Ornstein Shields. This paper concerns the folklore statement that entropy is a lower bound for compression''. More precisely we derive from the entropy theorem a simple proof of a pointwise inequality firstly stated by Ornstein and Shields and which is the almost sure version of an average inequality firstly stated by Khinchin in 1953. We further give an elementary proof of original Khinchin inequality that can be used as an exercise for Information Theory students and we conclude by giving historical and technical notes of such inequality.


Surjectivity of the completion map for rings of C infty functions. (Whitney extension theorem for general filtrations). The classical lemma of Borel reads any power series with real coefficients is the Taylor series of a smooth function. Algebraically this means the surjectivity of the completion map at a point, C infty( Bbb R n) twoheadrightarrow Bbb R underline x . Similarly, Whitney extension theorem implies the surjectivity of the completion at closed subsets of Bbb R n . For various applications one needs the surjectivity of completion for general C infty rings and general filtrations. We establish the necessary and sufficient conditions for this surjectivity. Moreover, we prove any element of the completion admits a C infty representative that is real analytic outside of the locus of completion, has any prescribed vanishing rate "at infinity", and the prescribed positivity behaviour at the finite part. Alternatively, one can impose on the smooth representative a set of (compatible) linear conditions.


Generator functions and their applications. In Grenier Nguyen , we introduced so called em generators functions to precisely follow the regularity of analytic solutions of Navier Stokes equations. In this short note, we give a presentation of these generator functions and use them to give existence results of analytic solutions to some classical equations, namely to hyperbolic equations, to incompressible Euler equations, and to hydrostatic Euler and Vlasov models. The use of these generator functions appear to be an alternative way to the use of the classical abstract Cauchy Kovalevskaya theorem Asano,Caflisch,Nirenberg,Safonov .


Conservative interpolation of aeroacoustic sources in a hybrid workflow applied to fan. In low Mach number aeroacoustics, the well known disparity of scales makes it possible to apply efficient hybrid simulation models using different meshes for flow and acoustics, which leads to a powerful computational procedure. Our study applies the hybrid workflow to the computationally efficient perturbed convective wave equation with only one scalar unknown, the acoustic velocity potential. The workflow of this aeroacoustic approach is based on three steps 1. perform unsteady incompressible flow computations on a sub domain 2. compute the acoustic sources 3. simulate the acoustic field using a mesh specifically suited for computational aeroacoustics. In general, hybrid aeroacoustic methods seek for robust and conservative mesh to mesh transformation of the aeroacoustic sources while high computational efficiency is ensured. In this paper, we investigate the accuracy of a cell centroid based conservative interpolation scheme compared to the more accurate cut volume cell approach and their application to the computation of rotating systems, namely an axial fan. The capability and robustness of the cut volume cell interpolation in a hybrid workflow on different meshes are investigated by a grid convergence study. The results of the acoustic simulation are in good agreement with measurements thus demonstrating the applicability of the conservative cut volume cell interpolation to rotating systems.


DeepFit 3D Surface Fitting via Neural Network Weighted Least Squares. We propose a surface fitting method for unstructured 3D point clouds. This method, called DeepFit, incorporates a neural network to learn point wise weights for weighted least squares polynomial surface fitting. The learned weights act as a soft selection for the neighborhood of surface points thus avoiding the scale selection required of previous methods. To train the network we propose a novel surface consistency loss that improves point weight estimation. The method enables extracting normal vectors and other geometrical properties, such as principal curvatures, the latter were not presented as ground truth during training. We achieve state of the art results on a benchmark normal and curvature estimation dataset, demonstrate robustness to noise, outliers and density variations, and show its application on noise removal.


A Bayesian approach to NMR crystal structure determination. Nuclear Magnetic Resonance (NMR) spectroscopy is particularly well suited to determine the structure of molecules and materials in powdered form. Structure determination usually proceeds by finding the best match between experimentally observed NMR chemical shifts and those of candidate structures. Chemical shifts for the candidate configurations have traditionally been computed by electronic structure methods, and more recently predicted by machine learning. However, the reliability of the determination depends on the errors in the predicted shifts. Here we propose a Bayesian framework for determining the confidence in the identification of the experimental crystal structure, based on knowledge of the typical error in the electronic structure methods. We also extend the recently developed ShiftML machine learning model, including the evaluation of the uncertainty of its predictions. We demonstrate the approach on the determination of the structures of six organic molecular crystals. We critically assess the reliability of the structure determinations, facilitated by the introduction of a visualization of the of similarity between candidate configurations in terms of their chemical shifts and their structures. We also show that the commonly used values for the errors in calculated 13 C shifts are underestimated, and that more accurate, self consistently determined uncertainties make it possible to use 13 C shifts to improve the accuracy of structure determinations.


Analysis of the Rigorous Coupled Wave Approach for p polarized light in gratings. We study the convergence properties of the two dimensional Rigorous Coupled Wave Approach (RCWA) for p polarized monochromatic incident light. The RCWA is a semi analytical numerical method that is widely used to solve the boundary value problem of scattering by a grating. The approach requires the expansion of all electromagnetic field phasors and the relative permittivity as Fourier series in the spatial variable along the direction of the periodicity of the grating. In the direction perpendicular to the grating periodicity, the domain is discretized into thin slices and the actual relative permittivity is replaced by an approximation. The approximate relative permittivity is chosen so that the solution of the Maxwell equations in each slice can be computed without further approximation. Thus, there is error due to the approximate relative permittivity as well as the trucation of the Fourier series. We show that the RCWA embodies a Galerkin scheme for a perturbed problem, and then we use tools from the Finite Element Method to show that the method converges with increasing number of retained Fourier modes and finer approximations of the relative permittivity. Numerical examples illustrate our analysis, and suggest further work.


Linear relations between logarithmic integrals of high weight and some closed form evaluations. The focus of our investigation will be integrals of form int 0 1 log a(1 x) log b x log c(1 x) f(x) dx , where f can be either x,1 x or 1 x . We show that these integrals possess a plethora of linear relations, and give systematic methods of finding them. In lower weight cases, these linear relations yields remarkable closed forms of individual integrals in higher weight, we discuss the mathbb Q dimension that such integrals span. Our approach will not feature Euler sums.


A single cell RNA expression map of coronavirus receptors and associated factors in developing human embryos. To predict if developing human embryos are permissive to coronaviruses, we analyzed publicly available single cell RNA seq datasets of zygotes, 4 cell, 8 cell, morula, inner cell mass, epiblast, primitive endoderm and trophectoderm for the coronavirus receptors (ACE2, BSG, DPP4 and ANPEP), the Spike protein cleavage enzymes (TMPRSS2, CTSL). We also analyzed the presence of host genes involved in viral replication, the endosomal sorting complexes required for transport (ESCRT) and SARS Cov 2 interactions. The results reveal that ACE2, BSG, DPP4 and ANPEP are expressed in the cells of the zygote, to blastocyst including the trophectodermal lineage. ACE2, TMPRSS, BSG and CTSL are co transcribed in a proportion of epiblast cells and most cells of the trophectoderm. The embryonic and trophectodermal cells also express genes for proteins ESCRT, viral replication and those that interact with SARS CoV 2. We identified 1985 genes in epiblast and 1452 genes in the trophectoderm that are enriched in the ACE2 and TMPRSS2 co expressing cells 216 genes of these are common in both the cell types. These genes are associated with lipid metabolism, lysosome, peroxisome and oxidative phosphorylation pathways. Together our results suggest that developing human embryos could be permissive to coronavirus entry by both canonical and non canonical mechanisms and they also express the genes for proteins involved in viral endocytosis and replication. This knowledge will be useful for evidence based patient management for IVF during the COVID 19 pandemic.


The Zariski cancellation problem for Poisson algebras. We study the Zariski cancellation problem for Poisson algebras asking whether A t cong B t implies A cong B when A and B are Poisson algebras. We resolve this affirmatively in the cases when A and B are both connected graded Poisson algebras finitely generated in degree one without degree one Poisson central elements and when A is a Poisson integral domain of Krull dimension two with nontrivial Poisson bracket. We further introduce Poisson analogues of the Makar Limanov invariant and the discriminant to deal with the Zariski cancellation problem for other families of Poisson algebras.


Optimal estimation of some random quantities of a L 'evy process. In this paper we present new theoretical results on optimal estimation of certain random quantities based on high frequency observations of a L 'evy process. More specifically, we investigate the asymptotic theory for the conditional mean and conditional median estimators of the supremum infimum of a linear Brownian motion and a stable L 'evy process. Another contribution of our article is the conditional mean estimation of the local time and the occupation time measure of a linear Brownian motion. We demonstrate that the new estimators are considerably more efficient compared to the classical estimators. Furthermore, we discuss pre estimation of the parameters of the underlying models, which is required for practical implementation of the proposed statistics.


An Evans style result for block designs. For positive integers n and k with n geq k , an (n,k,1) design is a pair (V, mathcal B ) where V is a set of n points and mathcal B is a collection of k subsets of V called blocks such that each pair of points occur together in exactly one block. If we weaken this condition to demand only that each pair of points occur together in at most one block, then the resulting object is a partial (n,k,1) design. A completion of a partial (n,k,1) design (V, mathcal A ) is a (complete) (n,k,1) design (V, mathcal B ) such that mathcal A subseteq mathcal B . Here, for all sufficiently large n , we determine exactly the minimum number of blocks in an uncompletable partial (n,k,1) design. This result is reminiscent of Evans' now proved conjecture on completions of partial latin squares. We also prove some related results concerning edge decompositions of almost complete graphs into copies of K k .


Homological mirror symmetry for invertible polynomials in two variables. In this paper, we give a proof of homological mirror symmetry for two variable invertible polynomials, where the symmetry group on the B side is taken to be maximal. The proof involves an explicit gluing construction of the Milnor fibres, and as an application, we prove derived equivalences between certain nodal stacky curves, some of whose irreducible components have non trivial generic stabiliser.


Frequency selectivity of neural circuits with heterogeneous transmission delays. Neurons are connected to other neurons by axons and dendrites that conduct signals with finite velocities, resulting in delays between the firing of a neuron and the arrival of the resultant impulse at other neurons. Since delays greatly complicate the analytical treatment and interpretation of models, they are usually neglected or taken to be uniform, leading to a lack in the comprehension of the effects of delays in neural systems. This paper shows that heterogeneous transmission delays make small groups of neurons respond selectively to inputs with differing frequency spectra. By studying a single integrate and fire neuron receiving correlated time shifted inputs, it is shown how the frequency response is linked to both the strengths and delay times of the afferent connections. The results show that incorporating delays alters the functioning of neural networks, and changes the effect that neural connections and synaptic strengths have.


Annular and circular rigid inclusions planted into a penny shaped crack and factorization of triangular matrices. Analytical solutions to two axisymmetric problems of a penny shaped crack when an annulus shaped (model 1) or a disc shaped (model 2) rigid inclusion of arbitrary profile are embedded into the crack are derived. The problems are governed by integral equations with the Weber Sonin kernel on two segments. By the Mellin convolution theorem the integral equations associated with the models 1 and 2 reduce to vector Riemann Hilbert problems with and 3x3 and 2x2 triangular matrix coefficients whose entries consist of meromorphic and of infinite indices exponential functions. Canonical matrices of factorization are derived and the partial indices are computed. Exact representation formulas for the normal stress, the stress intensity factor, and the normal displacement are obtained and the results of numerical tests are reported.


Discrepancy of minimal Riesz energy points. We find upper bounds for the spherical cap discrepancy of the set of minimizers of the Riesz s energy on the sphere mathbb S d. Our results are based in bounds for a Sobolev discrepancy introduced by Thomas Wolff in an unpublished manuscript where estimates for the spherical cap discrepancy of the logarithmic energy minimizers in mathbb S 2 were obtained. Our result improves previously known bounds for 0 le s 2 and s neq 1 in mathbb S 2, where s 0 is Wolff's result, and for d t 0 s d with t 0 approx 2.5 when d ge 3 and s neq d 1.


Building a SDN Enterprise WLAN Based on Virtual APs. In this letter the development and testing of an open enterprise Wi Fi solution based on virtual APs, managed by a central WLAN controller is presented. It allows seamless handovers between APs in different channels, maintaining the QoS of real time services. The potential scalability issues associated to the beacon generation and channel assignment have been addressed. A battery of tests has been run in a real environment, and the results are reported in terms of packet loss and delay.


A conservative discrete velocity method for the ellipsoidal Fokker Planck equation in gas kinetic theory. A conservative discrete velocity method (DVM) is developed for the ellipsoidal Fokker Planck (ES FP) equation in prediction of non equilibrium neutral gas flows in this paper. The ES FP collision operator is solved in discrete velocity space in a concise and quick finite difference framework. The conservation problem of discrete ES FP collision operator is solved by multiplying each term in it by extra conservative coefficients whose values are very closed to unity. Their differences to unity are in the same order of the numerical error in approximating the ES FP operator in discrete velocity space. All the macroscopic conservative variables (mass, momentum and energy) are conserved in the present modified discrete ES FP collision operator. Since the conservation property in discrete element of physical space is very important for numerical scheme when discontinuity and large gradient exist in flow field, a finite volume framework is adopted for the transport term of ES FP equation. For nD 3V ( n 3 ) cases, a nD quasi nV reduction is specially proposed for ES FP equation and the corresponding FP DVM method, which can greatly reduce the computational cost. The validity and accuracy of both ES FP equation and FP DVM method are examined using a series of 0D 3V homogenous relaxation cases and 1D 3V shock structure cases with different Mach numbers, in which 1D 3V cases are reduced to 1D quasi 1V cases. Both the predictions of 0D 3V and 1D 3V cases match well with the benchmark results such as analytical Boltzmann solution, direct full Boltzmann numerical solution and DSMC result. Especially, the FP DVM predictions match well with the DSMC results in the Mach 8.0 shock structure case, which is in high non equilibrium, and is a challenge case of the model Boltzmann equation and the corresponding numerical methods.


Continuum analysis of rarefaction effects on a thermally induced gas flow. A Maxwell gas confined within a micro cavity with non isothermal walls is investigated in the slip and early transition regimes using the classical and extended continuum theories. The vertical sides of the cavity are kept at the uniform and environmental temperature T 0, while the upper and bottom ones are linearly heated in opposite directions from the cold value T 0 to the hot oneT H. The gas flow is, therefore, induced only by the temperature gradient created along the longitudinal walls. The problem is treated from a macroscopic point of view by solving numerically the so called regularized 13 moment equations (R13) recently developed as an extension of Grad 13 moments theory to the third order of the Knudsen number powers in the Chapman Enskog expansion. The gas macroscopic properties obtained by this method are compared with the classical continuum theory results (NSF) using the first and second order of velocity slip and temperature jump boundary conditions. The gas flow behavior is studied as a function of the Knudsen number (Kn), nonlinear effects, for different heating ratesT 0 T H . The micro cavity aspect ratio effect is also evaluated on the flow fields in this study.


The Local Structure of Bounded Degree Graphs. Let G (V,E) be a simple graph with maximum degree d . For an integer k in mathbb N , the k disc of a vertex v in V is defined as the rooted subgraph of G that is induced by all vertices whose distance to v is at most k . The k disc frequency distribution vector of G , denoted by text freq k (G) , is a vector indexed by all isomorphism types of rooted k discs. For each such isomorphism type Gamma , the corresponding entry in text freq k (G) counts the fraction of vertices in V that have a k disc isomorphic to Gamma . In a sense, text freq k (G) is one way to represent the "local structure" of G . The graph G can be arbitrarily large, and so a natural question is whether given text freq k (G) it is possible to construct a small graph H , whose size is independent of V , such that H has a similar local structure. N. Alon proved that for any epsilon 0 there always exists a graph H whose size is independent of V and whose frequency vector satisfies text freq k (G) text freq k (H) 1 le epsilon . However, his proof is only existential and does not imply that there is a deterministic algorithm to construct such a graph H . He gave the open problem of finding an explicit deterministic algorithm that finds H , or proving that no such algorithm exists. Our main result is that Alon's problem is undecidable if and only if a much more general problem (involving directed edges and edge colors) is undecidable. We also prove that both problems are decidable for the special case when G is a path. We show that the local structure of any directed edge colored path G can be approximated by a suitable fixed size directed edge colored path H and we give explicit bound on the size of H .


Some uniqueness results in quasilinear subhomogeneous problems. We establish uniqueness results for quasilinear elliptic problems through the criterion recently provided in cite DFMST . We apply it to generalized p Laplacian subhomogeneous problems that may admit multiple nontrivial nonnegative solutions. Based on a generalized hidden convexity result, we show that uniqueness holds among strongly positive solutions and nonnegative global minimizers. Problems involving nonhomogeneous operators as the so called (p,r) Laplacian are also treated.


Securing Bring Your Own Device (BYOD) Programming Exams. Traditional pen and paper exams are inadequate for modern university programming courses as they are misaligned with pedagogies and learning objectives that target practical coding ability. Unfortunately, many institutions lack the resources or space to be able to run assessments in dedicated computer labs. This has motivated the development of bring your own device (BYOD) exam formats, allowing students to program in a similar environment to how they learnt, but presenting instructors with significant additional challenges in preventing plagiarism and cheating. In this paper, we describe a BYOD exam solution based on lockdown browsers, software which temporarily turns students' laptops into secure workstations with limited system or internet access. We combine the use of this technology with a learning management system and cloud based programming tool to facilitate conceptual and practical programming questions that can be tackled in an interactive but controlled environment. We reflect on our experience of implementing this solution for a major undergraduate programming course, highlighting our principal lesson that policies and support mechanisms are as important to consider as the technology itself.