Adaptive Model Refinement with Batch Bayesian Sampling for Optimization of Bio inspired Flow Tailoring. This paper presents an advancement to an approach for model independent surrogate based optimization with adaptive batch sampling, known as Adaptive Model Refinement (AMR). While the original AMR method provides unique decisions with regards to "when" to sample and "how many" samples to add (to preserve the credibility of the optimization search process), it did not provide specific direction towards "where" to sample in the design variable space. This paper thus introduces the capability to identify optimum location to add new samples. The location of the infill points is decided by integrating a Gaussian Process based criteria ("q EI"), adopted from Bayesian optimization. The consideration of a penalization term to mitigate interaction among samples (in a batch) is crucial to effective integration of the q EI criteria into AMR. The new AMR method, called AMR with Penalized Batch Bayesian Sampling (AMR PBS) is tested on benchmark functions, demonstrating better performance compared to Bayesian EGO. In addition, it is successfully applied to design surface riblets for bio inspired passive flow control (where high fidelity samples are given by costly RANS CFD simulations), leading to a 10 drag reduction over the corresponding baseline (i.e., riblet free aerodynamic surface).


A Robust Stereo Camera Localization Method with Prior LiDAR Map Constrains. In complex environments, low cost and robust localization is a challenging problem. For example, in a GPSdenied environment, LiDAR can provide accurate position information, but the cost is high. In general, visual SLAM based localization methods become unreliable when the sunlight changes greatly. Therefore, inexpensive and reliable methods are required. In this paper, we propose a stereo visual localization method based on the prior LiDAR map. Different from the conventional visual localization system, we design a novel visual optimization model by matching planar information between the LiDAR map and visual image. Bundle adjustment is built by using coplanarity constraints. To solve the optimization problem, we use a graph based optimization algorithm and a local window optimization method. Finally, we estimate a full six degrees of freedom (DOF) pose without scale drift. To validate the efficiency, the proposed method has been tested on the KITTI dataset. The results show that our method is more robust and accurate than the state of art ORB SLAM2.


One dimensional dynamical systems type delta over Integral Domains. In this paper, autonomous differential equations type delta of order one on integral domains are defined. For this we will use the autonomous ring defined on the Hurwitz expansion ring of exponential generating functions with coefficients in an integral domain. We will also use delta operators, which behave like derivatives when acting on polynomials, along with Umbral calculus. As a particular example of a delta operator we have the forward difference operator that defines the difference equations. Then the delta type equations generalize to the ordinary equations and to the difference equations.


Optimally weighted loss functions for solving PDEs with Neural Networks. Recent works have shown that deep neural networks can be employed to solve partial differential equations, giving rise to the framework of physics informed neural networks. We introduce a generalization for these methods that manifests as a scaling parameter which balances the relative importance of the different constraints imposed by partial differential equations. A mathematical motivation of these generalized methods is provided, which shows that for linear and well posed partial differential equations, the functional form is convex. We then derive a choice for the scaling parameter that is optimal with respect to a measure of relative error. Because this optimal choice relies on having full knowledge of analytical solutions, we also propose a heuristic method to approximate this optimal choice. The proposed methods are compared numerically to the original methods on a variety of model partial differential equations, with the number of data points being updated adaptively. For several problems, including high dimensional PDEs the proposed methods are shown to significantly enhance accuracy.


The least primitive root modulo p 2 . We provide an explicit estimate on the least primitive root mod p 2 . We show, in particular, that every prime p has a primitive root mod p 2 that is less than p 0.99 .


On the convergence of series of dependent random variables. Given a sequence (X n) of symmetrical random variables taking values in a Hilbert space, an interesting open problem is to determine the conditions under which the series sum n 1 infty X n is almost surely convergent. For independent random variables, it is well known that if sum n 1 infty mathbb E ( X n 2) infty , then sum n 1 infty X n converges almost surely. This has been extended to some cases of dependent variables (namely negatively associated random variables) but in the general setting of dependent variables, the problem remains open. This paper considers the case where each variable X n is given as a linear combination a n,1 Z 1 ldots a n,n Z n where (Z n) is a sequence of independent symmetrical random variables of unit variance and (a n,k ) are constants. For Gaussian random variables, this is the general setting. We obtain a sufficient condition for the almost sure convergence of sum n 1 infty X n which is also sufficient for the almost sure convergence of sum n 1 infty pm X n for all (non random) changes of sign. The result is based on an important bound of the mean of the random variable sup( X 1 ldots X k 1 leq k leq n) which extends the classical L 'evy's inequality and has some independent interest.


Organization of machine learning based product development as per ISO 26262 and ISO PAS 21448. Machine learning (ML) algorithms generate a continuous stream of success stories from various domains and enable many novel applications in safety critical systems. With the advent of autonomous driving, ML algorithms are being used in the automotive domain, where the applicable functional safety standard is ISO 26262. However, requirements and recommendations provided by ISO 26262 do not cover specific properties of machine learning algorithms. Therefore, specific aspects of ML (e.g., dataset requirements, performance evaluation metrics, lack of interpretability) must be addressed within some work products, which collect documentation resulting from one or more associated requirements and recommendations of ISO 26262. In this paper, we propose how key technical aspects and supporting processes related to development of ML based systems can be organized according to ISO 26262 phases, sub phases, and work products. We follow the same approach as in the ISO PAS 21448 standard, which complements ISO 26262, in order to account for edge cases that can lead to hazards not directly caused by system failure. , but resulting from functional insufficiencies of the intended functionality or by reasonably foreseeable misuse by persons.


Fixed point indices and fixed words at infinity of selfmaps of graphs. Indices of fixed point classes play a central role in Nielsen fixed point theory. Jiang Wang Zhang proved that for selfmaps of graphs and surfaces, the index of any fixed point class has an upper bound called its characteristic. In this paper, we study the difference between the index and the characteristic for selfmaps of graphs. First, for free groups, we extend attracting fixed words at infinity of automorphisms into that of injective endomorphisms. Then, by using relative train track technique, we show that the difference mentioned above is quite likely to be the number of equivalence classes of attracting fixed words of the endomorphism induced on the fundamental group. Since both of attracting fixed words and the existed characteristic are totally determined by endomorphisms themselves, we give a new algebraic approach to estimate indices of fixed point classes of graph selfmaps. As consequence, we obtain an upper bound for attracting fixed words of injective endomorphisms of free groups, generalizing the one for automorphisms due to Gaboriau Jaeger Levitt Lustig. Furthermore, we give a simple approach to roughly detecting whether fixed words exist or not.


On a conjecture of Lynch. This concerns a conjecture of Lynch on annihilators of local cohomology modules we present a counterexample that has dimension three.


On topological properties of positive complexity one spaces. Motivated by work of Fine and Panov, and of Lindsay and Panov, we prove that every closed symplectic complexity one space that is positive (e.g. positive monotone) enjoys topological properties that Fano varieties with a complexity one holomorphic torus action possess. In particular, such spaces are simply connected, have Todd genus equal to one and vanishing odd Betti numbers.


Continuous and discrete phasor analysis of binned or time gated periodic decays. Time resolved analysis of periodically excited luminescence decays by the phasor method in the presence of time gating or binning is revisited. Analytical expressions for discrete configurations of square gates are derived and the locus of the phasors of such modified periodic single exponential decays is compared to the canonical uni versal semicircle. The effects of IRF offset, decay truncation and gate shape are also discussed. Finally, modified expressions for the phase and modulus lifetimes are pro vided for some simple cases. A discussion of a modified phasor calibration approach is presented, and illustration of the new concepts with examples from the literature conclude this work.


On oriented supersingular elliptic curves. We revisit theoretical background on OSIDH, that is an isogeny based key exchange protocol proposed by Col o and Kohel at NutMiC 2019. We give a proof of a fundamental theorem for OSIDH. The theorem was stated by Col o and Kohel without proof. Furthermore, we consider parameters of OSIDH, give a sufficient condition on the parameters that the protocol works, and estimate the size of the parameters for a certain security level.


Combining Task level and System level Scheduling Modes for Mixed Criticality Systems. Different scheduling algorithms for mixed criticality systems have been recently proposed. The common denominator of these algorithms is to discard low critical tasks whenever high critical tasks are in lack of computation resources. This is achieved upon a switch of the scheduling mode from Normal to Critical. We distinguish two main categories of the algorithms system level mode switch and task level mode switch. System level mode algorithms allow low criticality (LC) tasks to execute only in normal mode. Task level mode switch algorithms enable to switch the mode of an individual high criticality task (HC), from low (LO) to high (HI), to obtain priority over all LC tasks. This paper investigates an online scheduling algorithm for mixed criticality systems that supports dynamic mode switches for both task level and system level. When a HC task job overruns its LC budget, then only that particular job is switched to HI mode. If the job cannot be accommodated, then the system switches to Critical mode. To accommodate for resource availability of the HC jobs, the LC tasks are degraded by stretching their periods until the Critical mode exhibiting job complete its execution. The stretching will be carried out until the resource availability is met. We have mechanized and implemented the proposed algorithm using Uppaal. To study the efficiency of our scheduling algorithm, we examine a case study and compare our results to the state of the art algorithms.


Design and testing of a bunch by bunch beam position transverse feedback processor. Shanghai Synchrotron Radiation Facility (SSRF) is a 3.5 GeV storage ring with a bunch rate of 499.654 MHz, harmonic number of 720, and circumference of 432 meters. SSRF injection works at 3.5 GeV, where the multi bunch instabilities limit the maximum stored current. In order to suppress multi bunch instabilities caused by transverse impedance, a bunch by bunch transverse feedback system is indispensable for SSRF. The key component of that system is the bunch by bunch transverse feedback electronics. An important task in the electronics is precise time synchronization. In this paper, a novel clock synchronization and precise delay adjustment method based on the PLLs and delay lines are proposed. Test results indicate that the ENOB (Effective Number Of Bits) of the analog to digital conversion circuit is better than 9 bits in the input signal frequency range from 100 kHz to 700 MHz, and the closed loop attenuation at the critical frequency points is better than 40 dB. The initial commissioning tests with the beam in SSRF are also conducted, and the results are consistent with the expectations.


The Buildings Gallery visualising buildings. Buildings are beautiful mathematical objects tying a variety of subjects in algebra and geometry together in a very direct sense. They form a natural bridge to visualising more complex principles in group theory. As such they provide an opportunity to talk about the inner workings of mathematics to a broader audience, but the visualisations could also serve as a didactic tool in teaching group and building theory, and we believe they can even inspire future research. We present an algorithmic method to visualise these geometric objects. The main accomplishment is the use of existing theory to produce three dimensional, interactive models of buildings associated to groups with a BN pair. The final product, an interactive web application called The Buildings Gallery, can be found at https buildings.gallery citep Bekker2020 .


Symmetry criteria for Hochschild extensions. We give two sufficient and necessary conditions for a Hochschild extension of a finite dimensional algebra by its dual bimodule and a Hochschild 2 cocycle to be a symmetric algebra.


Some numerical observations about the COVID 19 epidemic in Italy. We give some numerical observations on the total number of infected by the SARS CoV 2 in Italy. The analysis is based on a tanh formula involving two parameters. A polynomial correlation between the parameters gives an upper bound for the time of the peak of new infected. A numerical indicator of the temporal variability of the upper bound is introduced. The result and the possibility to extend the analysis to other countries are discussed in the conclusions.


A problem concerning Riemann sums. An open problem concerning Riemann sums, posed by O. Furdui, is considered.


A case for robust translation tolerance in humans and CNNs. A commentary on Han et al. Han et al. (2020) reported a behavioral experiment that assessed the extent to which the human visual system can identify novel images at unseen retinal locations (what the authors call "intrinsic translation invariance") and developed a novel convolutional neural network model (an Eccentricity Dependent Network or ENN) to capture key aspects of the behavioral results. Here we show that their analysis of behavioral data used inappropriate baseline conditions, leading them to underestimate intrinsic translation invariance. When the data are correctly interpreted they show near complete translation tolerance extending to 14 deg in some conditions, consistent with earlier work (Bowers et al., 2016) and more recent work Blything et al. (in press). We describe a simpler model that provides a better account of translation invariance.


Co contributorship Network and Division of Labor in Individual Scientific Collaborations. Collaborations are pervasive in current science. Collaborations have been studied and encouraged in many disciplines. However, little is known how a team really functions from the detailed division of labor within. In this research, we investigate the patterns of scientific collaboration and division of labor within individual scholarly articles by analyzing their co contributorship networks. Co contributorship networks are constructed by performing the one mode projection of the author task bipartite networks obtained from 138,787 papers published in PLoS journals. Given a paper, we define three types of contributors Specialists, Team players, and Versatiles. Specialists are those who contribute to all their tasks alone team players are those who contribute to every task with other collaborators and versatiles are those who do both. We find that team players are the majority and they tend to contribute to the five most common tasks as expected, such as "data analysis" and "performing experiments". The specialists and versatiles are more prevalent than expected by a random graph null model. Versatiles tend to be senior authors associated with funding and supervisions. Specialists are associated with two contrasting roles the supervising role as team leaders or marginal and specialized contributions.


The octonionic Bergman kernel for the half space. We obtain the octonionic Bergman kernel for half space in the octonionic analysis setting by two different methods. As a consequence, we unify the kernel forms in both complex analysis and hyper complex analysis.


Low regularity well posedness for the Yang Mills system in Fourier Lebesgue spaces. The Cauchy problem for the Yang Mills system in three space dimensions with data in Fourier Lebesgue spaces hat H s,r , 1 r le 2 , is shown to be locally well posed, where we have to assume only almost optimal minimal regularity for the data with respect to scaling as r to 1 . This is true despite of the fact that no null condition is known for one of the critical quadratic nonlinearities, which prevented by now the corresponding result in the classical case r 2 with data in standard Sobolev spaces.


Robust NFP generation for Nesting problems. Cutting and packing problems arise in a large variety of industrial applications, where there is a need to cut pieces from a large object, or placing them inside a containers, without overlap. When the pieces or the containers have irregular outline, the problem is classified as a Nesting problem. The geometrical challenges of the Nesting problem are addressed by focusing on the geometric aspect of the 2D pieces and containers involved. The challenges of the geometrical component are mainly derived from the complexity of the pieces, due to high number of vertices, which is common when dealing with real world scenarios. This complexity is challenging for current algorithms to process efficiently and effectively, leading to high computational cost and less satisfactory results, particularly when dealing with overlap verification operations. Usually, when tackling Nesting problems, the overlap verification process between two objects is done through the use of a structure known as No Fit Polygon (NFP). In this work, the generation of the NFP is achieved through a simple algorithm which produces a simplified shape while reducing numerical precision errors and fully representing the region that forms the NFP including positions with perfect fits.


Blind Motion Deblurring through SinGAN Architecture. Blind motion deblurring involves reconstructing a sharp image from an observation that is blurry. It is a problem that is ill posed and lies in the categories of image restoration problems. The training data based methods for image deblurring mostly involve training models that take a lot of time. These models are data hungry i.e., they require a lot of training data to generate satisfactory results. Recently, there are various image feature learning methods developed which relieve us of the need for training data and perform image restoration and image synthesis, e.g., DIP, InGAN, and SinGAN. SinGAN is a generative model that is unconditional and could be learned from a single natural image. This model primarily captures the internal distribution of the patches which are present in the image and is capable of generating samples of varied diversity while preserving the visual content of the image. Images generated from the model are very much like real natural images. In this paper, we focus on blind motion deblurring through SinGAN architecture.


Efficient Implementation of Multi Channel Convolution in Monolithic 3D ReRAM Crossbar. Convolutional neural networks (CNNs) demonstrate promising accuracy in a wide range of applications. Among all layers in CNNs, convolution layers are the most computation intensive and consume the most energy. As the maturity of device and fabrication technology, 3D resistive random access memory (ReRAM) receives substantial attention for accelerating large vector matrix multiplication and convolution due to its high parallelism and energy efficiency benefits. However, implementing multi channel convolution naively in 3D ReRAM will either produce incorrect results or exploit only partial parallelism of 3D ReRAM. In this paper, we propose a 3D ReRAM based convolution accelerator architecture, which efficiently maps multi channel convolution to monolithic 3D ReRAM. Our design has two key principles. First, we exploit the intertwined structure of 3D ReRAM to implement multi channel convolution by using a state of the art convolution algorithm. Second, we propose a new approach to efficiently implement negative weights by separating them from non negative weights using configurable interconnects. Our evaluation demonstrates that our mapping scheme in 16 layer 3D ReRAM achieves a speedup of 5.79X, 927.81X, and 36.8X compared with a custom 2D ReRAM baseline and state of the art CPU and GPU. Our design also reduces energy consumption by 2.12X, 1802.64X, and 114.1X compared with the same baseline.


Deep Learning and Random Forest Based Augmentation of sRNA Expression Profiles. The lack of well structured annotations in a growing amount of RNA expression data complicates data interoperability and reusability. Commonly used text mining methods extract annotations from existing unstructured data descriptions and often provide inaccurate output that requires manual curation. Automatic data based augmentation (generation of annotations on the base of expression data) can considerably improve the annotation quality and has not been well studied. We formulate an automatic augmentation of small RNA seq expression data as a classification problem and investigate deep learning (DL) and random forest (RF) approaches to solve it. We generate tissue and sex annotations from small RNA seq expression data for tissues and cell lines of homo sapiens. We validate our approach on 4243 annotated small RNA seq samples from the Small RNA Expression Atlas (SEA) database. The average prediction accuracy for tissue groups is 98 (DL), for tissues 96.5 (DL), and for sex 77 (DL). The "one dataset out" average accuracy for tissue group prediction is 83 (DL) and 59 (RF). On average, DL provides better results as compared to RF, and considerably improves classification performance for 'unseen' datasets.


Secure Groupcast with Shared Keys. We consider a transmitter and K receivers, each of which shares a key variable with the transmitter. Through a noiseless broadcast channel, the transmitter wishes to send a common message W securely to N out of the K receivers while the remaining K N receivers learn no information about W . We are interested in the maximum message rate, i.e., the maximum number of bits of W that can be securely groupcast to the legitimate receivers per key block and the minimum broadcast bandwidth, i.e., the minimum number of bits of the broadcast information required to securely groupcast the message bits. We focus on the setting of combinatorial keys, where every subset of the K receivers share an independent key of arbitrary size. Under this combinatorial key setting, the maximum message rate is characterized for the following scenarios 1) N 1 or N K 1 , i.e., secure unicast to 1 receiver with K 1 eavesdroppers or secure groupcast to K 1 receivers with 1 eavesdropper, 2) N 2, K 4 , i.e., secure groupcast to 2 out of 4 receivers, and 3) the symmetric setting where the key size for any subset of the same cardinality is equal for any N,K . Further, for the latter two cases, the minimum broadcast bandwidth for the maximum message rate is characterized.


Motion Control Simulations for a Magnetically Coupled Bacterium and Robotic Arm. The demonstrations of micro robotic systems in minimally invasive medicine include an individual or a swarm of microswimmer of various origin, artificial or biohybrid, often with an external computer controlled electromagnetic field. There are several in vivo and in vitro control performances with artificial microswimmers but control of a bio hybrid microswimmer using an open kinematic chain remains untouched. In this work, non contact maneuvering control of a single magnetotactic bacterium cell is simulated. The results show that the proposed system is capable of adjusting the heading of the microswimmer moving at proximity to a 2D boundary under the guidance of the set point tracking scheme. The performance of the coupled model and the sensitivity to control parameters are demonstrated with the help of a time dependent error to the yaw angle reference under the influence of PID with adaptive integral gain.


MIMOS A Deterministic Model for the Design and Update of Real Time Systems. Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real time processes or tasks), each of which is specified to compute a collection of functions according to given timing constraints. We present a fixed point semantics for this model which shows that each system function of such a network computes for a given set of (timed) input streams, a deterministic (timed) output stream. As a desired feature, such a network model can be modified by integrating new components for adding new system functions without changing the existing ones. Additionally, existing components may be replaced also by new ones fulfilling given requirements. Thanks to the deterministic semantics, a model based approach is enabled for not only building systems but also updating them after deployment, allowing for efficient analysis techniques such as model in the loop simulation to verify the complete behaviour of the updated system.


Calibration and first measurements of MuTe a hybrid Muon Telescope for geological structures. In this work, we describe the calibration and first measurements in the commissioning of MuTe, a hybrid Muon Telescope with two subdetectors a scintillator hodoscope and a Water Cherenkov Detector (WCD) for imaging the inner structures of Colombian volcanoes. The hodoscope estimates the trajectories of particles impinging on the front and rear panel, while the WCD acts as a calorimeter for the through going charged particle. MuTe combines particle identification techniques so as to discriminate noise background from data. It filters the primary noise sources for muography, i.e., the EM component ( e pm ) of Extensive Air Showers (EAS) and scattered upward coming muons. The WCD identifies Electrons positrons events by their deposited energy identifies, while scattered and backward muons are rejected using a pico second Time of Flight(ToF) system. Muon generated events were found in the deposited energy deposited range of ( 144 MeV E d 400MeV), represent only about the 40 of the WCD hodoscope acquired events. The other 60 of data is composed by ( e pm ) events under 144 MeV and multiparticle events above 400 MeV. Subsequently, low momentum muons ( 1 GeV c), which are scattered by the volcano surface, measures a ToF 3.3 ns for traversing one meter length.


Engaging in Dialogue about an Agent's Norms and Behaviors. We present a set of capabilities allowing an agent planning with moral and social norms represented in temporal logic to respond to queries about its norms and behaviors in natural language, and for the human user to add and remove norms directly in natural language. The user may also pose hypothetical modifications to the agent's norms and inquire about their effects.


Geometric and Control Optimization of a Two Cross Flow Turbine Array. Cross flow turbines, also known as vertical axis turbines, convert the kinetic energy in moving fluid to mechanical energy using blades that rotate about an axis perpendicular to the incoming flow. In this work, the performance of a two turbine array in a recirculating water channel was experimentally optimized across sixty four unique array configurations. For each configuration, turbine performance was optimized using tip speed ratio control, where the rotation rate for each turbine is optimized individually, and using coordinated control, where the turbines are optimized to operate at synchronous rotation rates, but with a phase difference. For each configuration and control strategy, the consequences of co and counter rotation were also evaluated. We hypothesize how array configurations and control cases influence interactions between turbines and impact array performance.


Extreme and periodic L 2 discrepancy of plane point sets. In this paper we study the extreme and the periodic L 2 discrepancy of plane point sets. The extreme discrepancy is based on arbitrary rectangles as test sets whereas the periodic discrepancy uses "periodic intervals", which can be seen as intervals on the torus. The periodic L 2 discrepancy is, up to a multiplicative factor, also known as diaphony. The main results are exact formulas for these kinds of discrepancies for the Hammersley point set and for rational lattices. In order to value the obtained results we also prove a general lower bound on the extreme L 2 discrepancy for arbitrary point sets in dimension d , which is of order of magnitude ( log N) (d 1) 2 , like the standard and periodic L 2 discrepancies, respectively. Our results confirm that the extreme and periodic L 2 discrepancies of the Hammersley point set are of best possible asymptotic order of magnitude. This is in contrast to the standard L 2 discrepancy of the Hammersley point set. Furthermore our exact formulas show that also the L 2 discrepancies of the Fibonacci lattice are of the optimal order. We also prove that the extreme L 2 discrepancy is always dominated by the standard L 2 discrepancy, a result that was already conjectured by Morokoff and Caflisch when they introduced the notion of extreme L 2 discrepancy in the year 1994.


Singular hyperbolicity of C 1 generic three dimensional vector fields. In the paper, we show that for a generic C 1 vector field X on a closed three dimensional manifold M , any isolated transitive set of X is singular hyperbolic. It is a partial answer of the conjecture in cite MP .


Heat kernels are not uniform expanders. We study infinite analogues of expander graphs, namely graphs where subgraphs weighted by heat kernels form an expander family. Our main result is that there does not exist any infinite expander in this sense. This proves the analogue for random walks of Benjamini's conjecture that there is no infinite graph whose metric balls are uniformly expander. The proof relies on a study of stationary random graphs, in particular proving non expansion of heat kernels in that setting. A key result is that any stationary random graph is stationary hyperfinite, which is potentially of independent interest.


A local limit theorem for number of multiple recurrences generated by some mixing processes with applications to Young towers. We prove a local central limit theorem for "nonconventional" sums generated by some classes of sufficiently fast mixing sequences.


The automorphisms of generalized cyclic Azumaya algebras. We define a nonassociative generalization of cyclic Azumaya algebras employing skew polynomial rings D t sigma , where D is an Azumaya algebra of constant rank with center C and sigma an automorphism of D , such that sigma C has finite order. The automorphisms of these algebras are canonically induced by ring automorphisms of the skew polynomial ring D t sigma used in their construction. We achieve a description of their inner automorphisms. Results on the automorphisms of classical Azumaya algebras and central simple algebras of this type are obtained as special cases.


Robot Navigation with Map Based Deep Reinforcement Learning. This paper proposes an end to end deep reinforcement learning approach for mobile robot navigation with dynamic obstacles avoidance. Using experience collected in a simulation environment, a convolutional neural network (CNN) is trained to predict proper steering actions of a robot from its egocentric local occupancy maps, which accommodate various sensors and fusion algorithms. The trained neural network is then transferred and executed on a real world mobile robot to guide its local path planning. The new approach is evaluated both qualitatively and quantitatively in simulation and real world robot experiments. The results show that the map based end to end navigation model is easy to be deployed to a robotic platform, robust to sensor noise and outperforms other existing DRL based models in many indicators.


Theta divisors whose Gauss map has a fiber of positive dimension. We construct families of principally polarized abelian varieties whose theta divisor is irreducible and contains an abelian subvariety. These families are used to construct examples when the Gauss map of the theta divisor is only generically finite and not finite. That is, the Gauss map in these cases has at least one positive dimensional fiber. We also obtain lower bounds on the dimension of Andreotti Mayer loci.


On the polynomials homogeneous ergodic bilinear averages with Liouville and M "obius weights. We establish a generalization of Bourgain double recurrence theorem by proving that for any map T acting on a probability space (X, mathcal A , mu) , and for any non constant polynomials P, Q mapping natural numbers to themselves, for any f,g in L 2(X) , and for almost all x in X , we have lim bar N longrightarrow infty frac 1 N sum n 1 N boldsymbol nu (n) f(T P(n) x)g(T Q(n) x) 0 where boldsymbol nu is the Liouville function or the M " o bius P function.


No perfect triangle is isosceles. A perfect triangle is a triangle with rational sides, medians, and area. In this article, we use a similar strategy due to Pocklington to show that if Delta is a perfect triangle, then it cannot be an isosceles triangle. It gives a partial answer to a question of Richard Guy, who asked whether any perfect triangles exist. No example has been found to date. It is widely believed that such a triangle does not exist.


UNOC Understanding Occlusion for Embodied Presence in Virtual Reality. Tracking body and hand motions in the 3D space is essential for social and self presence in augmented and virtual environments. Unlike the popular 3D pose estimation setting, the problem is often formulated as inside out tracking based on embodied perception (e.g., egocentric cameras, handheld sensors). In this paper, we propose a new data driven framework for inside out body tracking, targeting challenges of omnipresent occlusions in optimization based methods (e.g., inverse kinematics solvers). We first collect a large scale motion capture dataset with both body and finger motions using optical markers and inertial sensors. This dataset focuses on social scenarios and captures ground truth poses under self occlusions and body hand interactions. We then simulate the occlusion patterns in head mounted camera views on the captured ground truth using a ray casting algorithm and learn a deep neural network to infer the occluded body parts. In the experiments, we show that our method is able to generate high fidelity embodied poses by applying the proposed method on the task of real time inside out body tracking, finger motion synthesis, and 3 point inverse kinematics.


Near Optimal Coflow Scheduling in Networks. The coflow scheduling problem has emerged as a popular abstraction in the last few years to study data communication problems within a data center. In this basic framework, each coflow has a set of communication demands and the goal is to schedule many coflows in a manner that minimizes the total weighted completion time. A coflow is said to complete when all its communication needs are met. This problem has been extremely well studied for the case of complete bipartite graphs that model a data center with full bisection bandwidth and several approximation algorithms and effective heuristics have been proposed recently. In this work, we study a slightly different model of coflow scheduling in general graphs (to capture traffic between data centers) and develop practical and efficient approximation algorithms for it. Our main result is a randomized 2 approximation algorithm for the single path and free path model, significantly improving prior work. In addition, we demonstrate via extensive experiments that the algorithm is practical, easy to implement and performs well in practice.


Heisenberg modules as function spaces. Let Delta be a closed, cocompact subgroup of G times widehat G , where G is a second countable, locally compact abelian group. Using localization of Hilbert C modules, we show that the Heisenberg module mathcal E Delta (G) over the twisted group C algebra C ( Delta,c) due to Rieffel can be continuously and densely embedded into the Hilbert space L 2(G) . This allows us to characterize a finite set of generators for mathcal E Delta (G) as exactly the generators of multi window (continuous) Gabor frames over Delta , a result which was previously known only for a dense subspace of mathcal E Delta (G) . We show that mathcal E Delta (G) as a function space satisfies two properties that make it eligible for time frequency analysis Its elements satisfy the fundamental identity of Gabor analysis if Delta is a lattice, and their associated frame operators corresponding to Delta are bounded.


On Almost periodicity and minimality for semiflows. In topological dynamics, the dynamical behavior sometimes has a sharp contrast when the action is by semigroups or monoids to when the action is by groups. In this short note, we bring out this contrast while discussing the equivalence of almost periodicity and minimality.


Universal central extensions of braided crossed modules in Lie algebras. In this paper, we give a natural braiding on the universal central extension of a crossed module of Lie algebras with a given braiding and construct the universal central extension of a braided crossed module of Lie algebras, showing that, when one of the constructions exists, both exist and coincide.


Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions. In this research summary we present our recent work on implementing functional patterns with inverse functions in the lazy functional logic programming language Curry. Our goal is the synthesis of the inverse of any given function in Curry itself. The setting of a functional logic language especially allows the inversion of non injective functions. In general, inverse computation is a non trivial problem in lazy programming languages due to their non strict semantics. We are so far able to directly derive the inverse function for a limited class of functions, namely those consisting of rules that do not involve both extra variables and non linear right hand sides. Because the synthesized definitions are based on standard code, known optimizations techniques can be applied to them. For all other functions we can still provide an inverse function by using non strict unification.


Probabilistic Model of Narratives Over Topical Trends in Social Media A Discrete Time Model. Online social media platforms are turning into the prime source of news and narratives about worldwide events. However,a systematic summarization based narrative extraction that can facilitate communicating the main underlying events is lacking. To address this issue, we propose a novel event based narrative summary extraction framework. Our proposed framework is designed as a probabilistic topic model, with categorical time distribution, followed by extractive text summarization. Our topic model identifies topics' recurrence over time with a varying time resolution. This framework not only captures the topic distributions from the data, but also approximates the user activity fluctuations over time. Furthermore, we define significance dispersity trade off (SDT) as a comparison measure to identify the topic with the highest lifetime attractiveness in a timestamped corpus. We evaluate our model on a large corpus of Twitter data, including more than one million tweets in the domain of the disinformation campaigns conducted against the White Helmets of Syria. Our results indicate that the proposed framework is effective in identifying topical trends, as well as extracting narrative summaries from text corpus with timestamped data.


Autonomous Last mile Delivery Vehicles in Complex Traffic Environments. E commerce has evolved with the digital technology revolution over the years. Last mile logistics service contributes a significant part of the e commerce experience. In contrast to the traditional last mile logistics services, smart logistics service with autonomous driving technologies provides a promising solution to reduce the delivery cost and to improve efficiency. However, the traffic conditions in complex traffic environments, such as those in China, are more challenging compared to those in well developed countries. Many types of moving objects (such as pedestrians, bicycles, electric bicycles, and motorcycles, etc.) share the road with autonomous vehicles, and their behaviors are not easy to track and predict. This paper introduces a technical solution from JD.com, a leading E commerce company in China, to the autonomous last mile delivery in complex traffic environments. Concretely, the methodologies in each module of our autonomous vehicles are presented, together with safety guarantee strategies. Up to this point, JD.com has deployed more than 300 self driving vehicles for trial operations in tens of provinces of China, with an accumulated 715,819 miles and up to millions of on road testing hours.


Contrastive Predictive Coding for Human Activity Recognition. Feature extraction is crucial for human activity recognition (HAR) using body worn movement sensors. Recently, learned representations have been used successfully, offering promising alternatives to manually engineered features. Our work focuses on effective use of small amounts of labeled data and the opportunistic exploitation of unlabeled data that are straightforward to collect in mobile and ubiquitous computing scenarios. We hypothesize and demonstrate that explicitly considering the temporality of sensor data at representation level plays an important role for effective HAR in challenging scenarios. We introduce the Contrastive Predictive Coding (CPC) framework to human activity recognition, which captures the long term temporal structure of sensor data streams. Through a range of experimental evaluations on real life recognition tasks, we demonstrate its effectiveness for improved HAR. CPC based pre training is self supervised, and the resulting learned representations can be integrated into standard activity chains. It leads to significantly improved recognition performance when only small amounts of labeled training data are available, thereby demonstrating the practical value of our approach.


On the Power of Deep but Naive Partial Label Learning. Partial label learning (PLL) is a class of weakly supervised learning where each training instance consists of a data and a set of candidate labels containing a unique ground truth label. To tackle this problem, a majority of current state of the art methods employs either label disambiguation or averaging strategies. So far, PLL methods without such techniques have been considered impractical. In this paper, we challenge this view by revealing the hidden power of the oldest and naivest PLL method when it is instantiated with deep neural networks. Specifically, we show that, with deep neural networks, the naive model can achieve competitive performances against the other state of the art methods, suggesting it as a strong baseline for PLL. We also address the question of how and why such a naive model works well with deep neural networks. Our empirical results indicate that deep neural networks trained on partially labeled examples generalize very well even in the over parametrized regime and without label disambiguations or regularizations. We point out that existing learning theories on PLL are vacuous in the over parametrized regime. Hence they cannot explain why the deep naive method works. We propose an alternative theory on how deep learning generalize in PLL problems.


Algebraic stability of meromorphic maps descended from Thurston's pullback maps. Let phi S 2 to S 2 be an orientation preserving branched covering whose post critical set has finite cardinality n . If phi has a fully ramified periodic point p infty and satisfies certain additional conditions, then, by work of Koch, phi induces a meromorphic self map R phi on the moduli space mathcal M 0,n R phi descends from Thurston's pullback map on Teichm "uller space. Here, we relate the dynamics of R phi on mathcal M 0,n to the dynamics of phi on S 2 . Let ell be the length of the periodic cycle in which the fully ramified point p infty lies we show that R phi is algebraically stable on the heavy light Hassett space corresponding to ell heavy marked points and (n ell) light points.


The annealed spectral sample of Voronoi percolation. In this paper, we introduce and study the annealed spectral sample of Voronoi percolation, which is a continuous and finite point process in mathbb R 2 whose definition is mostly inspired by the spectral sample of Bernoulli percolation introduced in GPS10 by Garban, Pete and Schramm. We show a clustering effect as well as estimates on the full lower tail of this spectral object. Our main motivation is the study of two models of dynamical critical Voronoi percolation in the plane. In the first model, the Voronoi tiling does not evolve in time while the colors of the cells are resampled at rate 1 . In the second model, the centers of the cells move according to (independent) long range stable L 'evy processes but the colors do not evolve in time. We prove that for these two dynamical processes there exist almost surely exceptional times with an unbounded monochromatic component.


Observability of Baouendi Grushin Type Equations Through Resolvent Estimates. In this article, we study the observability (or, equivalently, the controllability) of some subelliptic evolution equations depending on their step. This sheds light on the speed of propagation of these equations, notably in the "degenerated directions" of the subelliptic structure. First, for any gamma geq 1 , we establish a resolvent estimate for the Baouendi Grushin type operator Delta gamma partial x 2 x 2 gamma partial y 2 , which has step gamma 1 . We then derive consequences for the observability of the Schr ''odinger type equation i partial tu ( Delta gamma) s u 0 where s in N . We identify three different cases depending on the value of the ratio ( gamma 1) s , observability may hold in arbitrarily small time, or only for sufficiently large times, or even fail for any time. As a corollary of our resolvent estimate, we also obtain observability for heat type equations partial tu ( Delta gamma) su 0 and establish a decay rate for the damped wave equation associated with Delta gamma .


Chinese Spelling Error Detection Using a Fusion Lattice LSTM. Spelling error detection serves as a crucial preprocessing in many natural language processing applications. Due to the characteristics of Chinese Language, Chinese spelling error detection is more challenging than error detection in English. Existing methods are mainly under a pipeline framework, which artificially divides error detection process into two steps. Thus, these methods bring error propagation and cannot always work well due to the complexity of the language environment. Besides existing methods only adopt character or word information, and ignore the positive effect of fusing character, word, pinyin1 information together. We propose an LF LSTM CRF model, which is an extension of the LSTMCRF with word lattices and character pinyin fusion inputs. Our model takes advantage of the end to end framework to detect errors as a whole process, and dynamically integrates character, word and pinyin information. Experiments on the SIGHAN data show that our LF LSTM CRF outperforms existing methods with similar external resources consistently, and confirm the feasibility of adopting the end to end framework and the availability of integrating of character, word and pinyin information.


The geometric classification of nilpotent mathfrak CD algebras. We give a geometric classification of complex 4 dimensional nilpotent mathfrak CD algebras. The corresponding geometric variety has dimension 18 and decomposes into 2 irreducible components determined by the Zariski closures of a two parameter family of algebras and a four parameter family of algebras (see Theorem 2). In particular, there are no rigid 4 dimensional complex nilpotent mathfrak CD algebras.


How Inclusive Are Wikipedia's Hyperlinks in Articles Covering Polarizing Topics?. Wikipedia relies on an extensive review process to verify that the content of each individual page is unbiased and presents a neutral point of view. Less attention has been paid to possible biases in the hyperlink structure of Wikipedia, which has a significant influence on the user's exploration process when visiting more than one page. The evaluation of hyperlink bias is challenging because it depends on the global view rather than the text of individual pages. In this paper, we focus on the influence of the interconnect topology between articles describing complementary aspects of polarizing topics. We introduce a novel measure of exposure to diverse information to quantify users' exposure to different aspects of a topic throughout an entire surfing session, rather than just one click ahead. We apply this measure to six polarizing topics (e.g., gun control and gun right), and we identify cases in which the network topology significantly limits the exposure of users to diverse information on the topic, encouraging users to remain in a knowledge bubble. Our findings demonstrate the importance of evaluating Wikipedia's network structure in addition to the extensive review of individual articles.


Improving Unsupervised Image Clustering With Robust Learning. Unsupervised image clustering methods often introduce alternative objectives to indirectly train the model and are subject to faulty predictions and overconfident results. To overcome these challenges, the current research proposes an innovative model RUC that is inspired by robust learning. RUC's novelty is at utilizing pseudo labels of existing image clustering models as a noisy dataset that may include misclassified samples. Its retraining process can revise misaligned knowledge and alleviate the overconfidence problem in predictions. The model's flexible structure makes it possible to be used as an add on module to other clustering methods and helps them achieve better performance on multiple datasets. Extensive experiments show that the proposed model can adjust the model confidence with better calibration and gain additional robustness against adversarial noise.


On the diameter of the polytope of the stable marriage with ties. The stable marriage problem with ties is a well studied and interesting problem in game theory. We are given a set of men and a set of women. Each individual has a preference ordering on the opposite group, which can possibly contain ties. A stable marriage is given by a matching between men and women for which there is no blocking pair, i.e., a men and a women who strictly prefer each other to their current partner in the matching. In this paper, we study the diameter of the polytope given by the convex hull of characteristic vectors of stable marriages, in the setting with ties. We prove an upper bound of lfloor frac n 3 rfloor on the diameter, where n is the total number of men and women, and give a family of instances for which the bound holds tight. Our result generalizes the bound on the diameter of the standard stable marriage polytope (i.e., the well known polytope that describes the setting without ties), developed previously in the literature.


Imaging an isolated water molecule using a single electron wave packet. Observing changes in molecular structure requires atomic scale AA ngstrom and femtosecond spatio temporal resolution. We use the Fourier transform (FT) variant of laser induced electron diffraction (LIED), FT LIED, to directly retrieve the molecular structure of rm H 2O with picometre and femtosecond resolution without a priori knowledge of the molecular structure nor the use of retrieval algorithms or ab initio calculations. We identify a symmetrically stretched rm H 2O field dressed structure that is most likely in the ground electronic state. We subsequently study the nuclear response of an isolated water molecule to an external laser field at four different field strengths. We show that upon increasing the laser field strength from 2.5 to 3.8 V AA , the O H bond is further stretched and the molecule slightly bends. The observed ultrafast structural changes lead to an increase in the dipole moment of water and, in turn, a stronger dipole interaction between the nuclear framework of the molecule and the intense laser field. Our results provide important insights into the coupling of the nuclear framework to a laser field as the molecular geometry of rm H 2O is altered in the presence of an external field.


The Omnibus Conjecture disproved. We provide various counter examples to the long standing so called "Omnibus Conjecture" in Rational Homotopy Theory. That is, we show that a space with finite dimensional even degree rational cohomology and finite dimensional spherical rational homology may indeed have infinite dimensional rational cohomology. Moreover, we also discuss "dual" versions and special cases of the conjecture.


Minimizing Total Interference in Asymmetric Sensor Networks. The problem of computing a connected network with minimum interference is a fundamental problem in wireless sensor networks. Several models of interference have been studied in the literature. The most common model is the receiver centric, in which the interference of a node p is defined as the number of other nodes whose transmission range covers p . In this paper, we study the problem of assigning a transmission range to each sensor, such that the resulting network is strongly connected and the total interference of the network is minimized. For the one dimensional case, we show how to solve the problem optimally in O(n 3) time. For the two dimensional case, we show that the problem is NP complete and give a polynomial time 2 approximation algorithm for the problem.


Reflection based Word Attribute Transfer. Word embeddings, which often represent such analogic relations as king man woman queen, can be used to change a word's attribute, including its gender. For transferring king into queen in this analogy based manner, we subtract a difference vector man woman based on the knowledge that king is male. However, developing such knowledge is very costly for words and attributes. In this work, we propose a novel method for word attribute transfer based on reflection mappings without such an analogy operation. Experimental results show that our proposed method can transfer the word attributes of the given words without changing the words that do not have the target attributes.


Permutation modules and cohomological singularity. We define a new invariant of finitely generated representations of a finite group, with coefficients in a commutative noetherian ring. This invariant uses group cohomology and takes values in the singularity category of the coefficient ring. It detects which representations are controlled by permutation modules.


Geodesic flows modeled by expansive flows Compact surfaces without conjugate points and continuous Green bundles. We study the geodesic flow of a compact surface without conjugate points and genus greater than one and continuous Green bundles. Identifying each strip of bi asymptotic geodesics induces an equivalence relation on the unit tangent bundle. Its quotient space is shown to carry the structure of a 3 dimensional compact manifold. This manifold carries a canonically defined continuous flow which is expansive, time preserving semi conjugate to the geodesic flow, and has a local product structure. An essential step towards the proof of these properties is to study regularity properties of the horospherical foliations and to show that they are indeed tangent to the Green subbundles. As an application it is shown that the geodesic flow has a unique measure of maximal entropy.


Why are Developers Struggling to Put GDPR into Practice when Developing Privacy Preserving Software Systems?. The use of software applications is inevitable as they provide different services to users. The software applications collect, store users' data, and sometimes share with the third party, even without the user consent. One can argue that software developers do not implement privacy into the software applications they develop or take GDPR (General Data Protection Law) law into account. Failing to do this, may lead to software applications that open up privacy breaches (e.g. data breach). The GDPR law provides a set of guidelines for developers and organizations on how to protect user data when they are interacting with software applications. Previous research has attempted to investigate what hinders developers from embedding privacy into software systems. However, there has been no detailed investigation on why they cannot develop privacy preserving systems taking GDPR into consideration, which is imperative to develop software applications that preserve privacy. Therefore, this paper investigates the issues that hinder software developers from implementing software applications taking GDPR law on board. Our study findings revealed that developers are not familiar with GDPR principles. Even some of them are, they lack knowledge of the GDPR principles and their techniques to use when developing privacy preserving software systems


On Irrelevant Literals in Pseudo Boolean Constraint Learning. Learning pseudo Boolean (PB) constraints in PB solvers exploiting cutting planes based inference is not as well understood as clause learning in conflict driven clause learning solvers. In this paper, we show that PB constraints derived using cutting planes may contain emph irrelevant literals , i.e., literals whose assigned values (whatever they are) never change the truth value of the constraint. Such literals may lead to infer constraints that are weaker than they should be, impacting the size of the proof built by the solver, and thus also affecting its performance. This suggests that current implementations of PB solvers based on cutting planes should be reconsidered to prevent the generation of irrelevant literals. Indeed, detecting and removing irrelevant literals is too expensive in practice to be considered as an option (the associated problem is NP hard.


Security Smells in Ansible and Chef Scripts A Replication Study. Context Security smells are recurring coding patterns that are indicative of security weakness, and require further inspection. As infrastructure as code (IaC) scripts, such as Ansible and Chef scripts, are used to provision cloud based servers and systems at scale, security smells in IaC scripts could be used to enable malicious users to exploit vulnerabilities in the provisioned systems. Goal The goal of this paper is to help practitioners avoid insecure coding practices while developing infrastructure as code scripts through an empirical study of security smells in Ansible and Chef scripts. Methodology We conduct a replication study where we apply qualitative analysis with 1,956 IaC scripts to identify security smells for IaC scripts written in two languages Ansible and Chef. We construct a static analysis tool called Security Linter for Ansible and Chef scripts (SLAC) to automatically identify security smells in 50,323 scripts collected from 813 open source software repositories. We also submit bug reports for 1,000 randomly selected smell occurrences. Results We identify two security smells not reported in prior work missing default in case statement and no integrity check. By applying SLAC we identify 46,600 occurrences of security smells that include 7,849 hard coded passwords. We observe agreement for 65 of the responded 94 bug reports, which suggests the relevance of security smells for Ansible and Chef scripts amongst practitioners. Conclusion We observe security smells to be prevalent in Ansible and Chef scripts, similar to that of the Puppet scripts. We recommend practitioners to rigorously inspect the presence of the identified security smells in Ansible and Chef scripts using (i) code review, and (ii) static analysis tools.


Implementation of password manager with sram based physical unclonable function. Hacking password databases is one of the most frequently reported cyber attacks. Current password management systems are based on known and public algorithms. Also, many studies have shown that users select weak passwords. Thus, with the emergence of new powerful computing devices, the passwords based on known algorithms can be disclosed. Using physical unclonable functions (PUFs) for increasing the security level of password management systems is a quite recent method that is proposed to solve this problem. In this method, Addressable PUF Generator (APG) is added to the conventional password management systems. This report is aimed at implementing the password generation scheme using SRAM based PUF. The bit error is indeed the main issue with using PUFs is addresses in this paper. To solve this issue, Ternary Addresseble PUF Generator is used.


On the Existence of Pareto Efficient and Envy Free Allocations. Envy freeness and Pareto Efficiency are two major goals in welfare economics. The existence of an allocation that satisfies both conditions has been studied for a long time. Whether items are indivisible or divisible, it is impossible to achieve envy freeness and Pareto Efficiency ex post even in the case of two people and two items. In contrast, in this work, we prove that, for any cardinal utility functions (including complementary utilities for example) and for any number of items and players, there always exists an ex ante mixed allocation which is envy free and Pareto Efficient, assuming the allowable assignments are closed under swaps, i.e. if given a legal assignment, swapping any two players' allocations produces another legal assignment. The problem remains open in the divisible case. We also investigate the communication complexity for finding a Pareto Efficient and envy free allocation.


DNN Approximation of Nonlinear Finite Element Equations. We investigate the potential of applying (D)NN ((deep) neural networks) for approximating nonlinear mappings arising in the finite element discretization of nonlinear PDEs (partial differential equations). As an application, we apply the trained DNN to replace the coarse nonlinear operator thus avoiding the need to visit the fine level discretization in order to evaluate the actions of the true coarse nonlinear operator. The feasibility of the studied approach is demonstrated in a two level FAS (full approximation scheme) used to solve a nonlinear diffusion reaction PDE.


Rational index of bounded oscillation languages. The rational index of a context free language L is a function f(n) , such that for each regular language R recognized by an automaton with n states, the intersection of L and R is either empty or contains a word shorter than f(n) . It is known that the context free language (CFL )reachability problem and Datalog query evaluation for context free languages (queries) with the polynomial rational index is in NC, while these problems is P complete in the general case. We investigate the rational index of bounded oscillation languages and show that it is of polynomial order. We obtain upper bounds on the values of the rational index for general bounded oscillation languages and for some of its previously studied subclasses.


The generalized Schwarz inequality for semi Hilbertian space operators and Some A numerical radius inequalities. In this work, the mixed Schwarz inequality for semi Hilbertian space operators is proved. Namely, for every positive Hilbert space operator A . If f and g are nonnegative continuous functions on left 0, infty right) satisfying f(t)g(t) t (t ge0) , then begin align left left langle T x,y right rangle A right le left f left( left T right A x right) right A left g left( left T sharp A right A y right) right A end align for every Hilbert space operator T such that the range of T A is a subset in the range of A , such that A commutes with T , and for all vectors x,y in mathscr H , where left T right A left(AT sharp A T right) 1 2 such that T sharp A A dagger T A , where A dagger is the Moore Penrose inverse of A . Based on that, some inequalities for the A numerical radius are introduced.


Neutron Dark Field Imaging with Edge Illumination. We report on an Edge Illumination setup enabling neutron dark field imaging where two amplitude modulators are used to structure and subsequently analyze the neutron beam. The modulator and analyzer are manufactured by laser ablation of readily available thin metal foils. The sample representation in terms of transmission and dark field contrast is extracted by numerically inverting a convolution model for the intensity modulation function which had a visibility exceeding 80 . Two test samples are presented to show how dark field contrast can complement the more conventional neutron radiography, in particular to investigate the micro structure of materials. Thanks to the simplicity of the setup, the negligible coherence requirements and the robustness of the method, this approach may find application in multi contrast neutron radiography and tomography.


Enabling Value Sensitive AI Systems through Participatory Design Fictions. Two general routes have been followed to develop artificial agents that are sensitive to human values a top down approach to encode values into the agents, and a bottom up approach to learn from human actions, whether from real world interactions or stories. Although both approaches have made exciting scientific progress, they may face challenges when applied to the current development practices of AI systems, which require the under standing of the specific domains and specific stakeholders involved. In this work, we bring together perspectives from the human computer interaction (HCI) community, where designing technologies sensitive to user values has been a longstanding focus. We highlight several well established areas focusing on developing empirical methods for inquiring user values. Based on these methods, we propose participatory design fictions to study user values involved in AI systems and present preliminary results from a case study. With this paper, we invite the consideration of user centered value inquiry and value learning.


A Survey of FPGA Based Robotic Computing. Recent researches on robotics have shown significant improvement, spanning from algorithms, mechanics to hardware architectures. Robotics, including manipulators, legged robots, drones, and autonomous vehicles, are now widely applied in diverse scenarios. However, the high computation and data complexity of robotic algorithms pose great challenges to its applications. On the one hand, CPU platform is flexible to handle multiple robotic tasks. GPU platform has higher computational capacities and easy touse development frameworks, so they have been widely adopted in several applications. On the other hand, FPGA based robotic accelerators are becoming increasingly competitive alternatives, especially in latency critical and power limited scenarios. With specialized designed hardware logic and algorithm kernels, FPGA based accelerators can surpass CPU and GPU in performance and energy efficiency. In this paper, we give an overview of previous work on FPGA based robotic accelerators covering different stages of the robotic system pipeline. An analysis of software and hardware optimization techniques and main technical issues is presented, along with some commercial and space applications, to serve as a guide for future work.


Learning Multi Arm Manipulation Through Collaborative Teleoperation. Imitation Learning (IL) is a powerful paradigm to teach robots to perform manipulation tasks by allowing them to learn from human demonstrations collected via teleoperation, but has mostly been limited to single arm manipulation. However, many real world tasks require multiple arms, such as lifting a heavy object or assembling a desk. Unfortunately, applying IL to multi arm manipulation tasks has been challenging asking a human to control more than one robotic arm can impose significant cognitive burden and is often only possible for a maximum of two robot arms. To address these challenges, we present Multi Arm RoboTurk (MART), a multi user data collection platform that allows multiple remote users to simultaneously teleoperate a set of robotic arms and collect demonstrations for multi arm tasks. Using MART, we collected demonstrations for five novel two and three arm tasks from several geographically separated users. From our data we arrived at a critical insight most multi arm tasks do not require global coordination throughout its full duration, but only during specific moments. We show that learning from such data consequently presents challenges for centralized agents that directly attempt to model all robot actions simultaneously, and perform a comprehensive study of different policy architectures with varying levels of centralization on our tasks. Finally, we propose and evaluate a base residual policy framework that allows trained policies to better adapt to the mixed coordination setting common in multi arm manipulation, and show that a centralized policy augmented with a decentralized residual model outperforms all other models on our set of benchmark tasks. Additional results and videos at https roboturk.stanford.edu multiarm .


On homotopy types of diffeological cell complexes. We introduce the notion of smooth cell complexes and its subclass consisting of gathered cell complexes within the category of diffeological spaces (cf. Definitions 1 and 3). It is shown that the following hold. (1) With respect to the D topology, every smooth cell complex is a topological cell complex (cf. Proposition 2). It is paracompact and Hausdorff if it is countable (cf. Proposition 8). (2) Every continuous map between gathered cell complexes is continuously homotopic to a smooth map (cf. Theorem 5). (3) Any topological cell complex is continuously homotopy equivalent to a gathered (hence smooth) cell complex (cf. Theorem 6). (4) Every D open cover of a smooth countable cell complex has a subordinate partition of unity by smooth functions (cf. Theorem 9).


Density Aware Convolutional Networks with Context Encoding for Airborne LiDAR Point Cloud Classification. To better address challenging issues of the irregularity and inhomogeneity inherently present in 3D point clouds, researchers have been shifting their focus from the design of hand craft point feature towards the learning of 3D point signatures using deep neural networks for 3D point cloud classification. Recent proposed deep learning based point cloud classification methods either apply 2D CNN on projected feature images or apply 1D convolutional layers directly on raw point sets. These methods cannot adequately recognize fine grained local structures caused by the uneven density distribution of the point cloud data. In this paper, to address this challenging issue, we introduced a density aware convolution module which uses the point wise density to re weight the learnable weights of convolution kernels. The proposed convolution module is able to fully approximate the 3D continuous convolution on unevenly distributed 3D point sets. Based on this convolution module, we further developed a multi scale fully convolutional neural network with downsampling and upsampling blocks to enable hierarchical point feature learning. In addition, to regularize the global semantic context, we implemented a context encoding module to predict a global context encoding and formulated a context encoding regularizer to enforce the predicted context encoding to be aligned with the ground truth one. The overall network can be trained in an end to end fashion with the raw 3D coordinates as well as the height above ground as inputs. Experiments on the International Society for Photogrammetry and Remote Sensing (ISPRS) 3D labeling benchmark demonstrated the superiority of the proposed method for point cloud classification. Our model achieved a new state of the art performance with an average F1 score of 71.2 and improved the performance by a large margin on several categories.


Improving Clique Decompositions of Semidefinite Relaxations for Optimal Power Flow Problems. Semidefinite Programming (SDP) provides tight lower bounds for Optimal Power Flow problems. However, solving large scale SDP problems requires exploiting sparsity. In this paper, we experiment several clique decomposition algorithms that lead to different reformulations and we show that the resolution is highly sensitive to the clique decomposition procedure. Our main contribution is to demonstrate that minimizing the number of additional edges in the chordal extension is not always appropriate to get a good clique decomposition.


Guided Policy Search Model based Reinforcement Learning for Urban Autonomous Driving. In this paper, we continue our prior work on using imitation learning (IL) and model free reinforcement learning (RL) to learn driving policies for autonomous driving in urban scenarios, by introducing a model based RL method to drive the autonomous vehicle in the Carla urban driving simulator. Although IL and model free RL methods have been proved to be capable of solving lots of challenging tasks, including playing video games, robots, and, in our prior work, urban driving, the low sample efficiency of such methods greatly limits their applications on actual autonomous driving. In this work, we developed a model based RL algorithm of guided policy search (GPS) for urban driving tasks. The algorithm iteratively learns a parameterized dynamic model to approximate the complex and interactive driving task, and optimizes the driving policy under the nonlinear approximate dynamic model. As a model based RL approach, when applied in urban autonomous driving, the GPS has the advantages of higher sample efficiency, better interpretability, and greater stability. We provide extensive experiments validating the effectiveness of the proposed method to learn robust driving policy for urban driving in Carla. We also compare the proposed method with other policy search and model free RL baselines, showing 100x better sample efficiency of the GPS based RL method, and also that the GPS based method can learn policies for harder tasks that the baseline methods can hardly learn.


Context Aware Embeddings for Automatic Art Analysis. Automatic art analysis aims to classify and retrieve artistic representations from a collection of images by using computer vision and machine learning techniques. In this work, we propose to enhance visual representations from neural networks with contextual artistic information. Whereas visual representations are able to capture information about the content and the style of an artwork, our proposed context aware embeddings additionally encode relationships between different artistic attributes, such as author, school, or historical period. We design two different approaches for using context in automatic art analysis. In the first one, contextual data is obtained through a multi task learning model, in which several attributes are trained together to find visual relationships between elements. In the second approach, context is obtained through an art specific knowledge graph, which encodes relationships between artistic attributes. An exhaustive evaluation of both of our models in several art analysis problems, such as author identification, type classification, or cross modal retrieval, show that performance is improved by up to 7.3 in art classification and 37.24 in retrieval when context aware embeddings are used.


math.NA cs.NA math.AP physics.flu-dyn q-bio.TO

Towards a Mathematical Model for the Solidification and Rupture of Blood in Stenosed Arteries. In this paper, we present a mathematical and numerical model for blood solidification and its rupture in stenosed arteries. The interaction between the blood flow and an existing stenosis in the arterial wall is modeled as a three dimensional fluid structure interaction problem. The blood is assumed to be a non Newtonian incompressible fluid with a time dependent viscosity that obeys a modified Carreau's model and the flow dynamics is described by the Navier Stokes equations. Whereas, the arterial wall is considered a hyperelastic material whose displacement satisfies the quasi static equilibrium equations. Numerical simulations are performed using FreeFem on a two dimensional domain. We investigate the behavior of the viscosity of blood, its speed and the maximum shear stress. From the numerical results, blood recirculation zones have been identified. Moreover, a zone of the blood of high viscosity and low speed has been observed directly after the stenosis in the flow direction. This zone may correspond to a blood accumulation and then solidification zone that is subjected to shear stress by the blood flow and to forces exerted by the artery wall deformation. Therefore, this zone is thought to break and then to release a blood clot that leads to the occlusion of small arterioles.


Affine Demazure crystals for specialized nonsymmetric Macdonald polynomials. We give a crystal theoretic proof that nonsymmetric Macdonald polynomials specialized to t 0 are affine Demazure characters. We explicitly construct an affine Demazure crystal on semistandard key tabloids such that removing the affine edges recovers the finite Demazure crystals constructed earlier by the authors. We also realize the filtration on highest weight modules by Demazure modules by defining explicit embedding operators which, at the level of characters, parallels the recursion operators of Knop and Sahi for specialized nonsymmetric Macdonald polynomials. Thus we prove combinatorially in type A that every affine Demazure module admits a finite Demazure flag this is proved algebraically for arbitrary groups in an appendix by Kumar.


Utilizing Explainable AI for Quantization and Pruning of Deep Neural Networks. For many applications, utilizing DNNs (Deep Neural Networks) requires their implementation on a target architecture in an optimized manner concerning energy consumption, memory requirement, throughput, etc. DNN compression is used to reduce the memory footprint and complexity of a DNN before its deployment on hardware. Recent efforts to understand and explain AI (Artificial Intelligence) methods have led to a new research area, termed as explainable AI. Explainable AI methods allow us to understand better the inner working of DNNs, such as the importance of different neurons and features. The concepts from explainable AI provide an opportunity to improve DNN compression methods such as quantization and pruning in several ways that have not been sufficiently explored so far. In this paper, we utilize explainable AI methods mainly DeepLIFT method. We use these methods for (1) pruning of DNNs this includes structured and unstructured pruning of ac CNN filters pruning as well as pruning weights of fully connected layers, (2) non uniform quantization of DNN weights using clustering algorithm this is also referred to as Weight Sharing, and (3) integer based mixed precision quantization this is where each layer of a DNN may use a different number of integer bits. We use typical image classification datasets with common deep learning image classification models for evaluation. In all these three cases, we demonstrate significant improvements as well as new insights and opportunities from the use of explainable AI in DNN compression.


Exponential ergodicity in the bounded Lipschitz distance for a subclass of piecewise deterministic Markov processes with random switching between flows. In this paper, we study a subclass of piecewise deterministic Markov processes with a Polish state space, involving deterministic motion punctuated by random jumps that occur at exponentially distributed time intervals. Over each of these intervals, the process follows a flow, selected randomly among a finite set of all possible ones. Our main goal is to provide a set of verifiable conditions guaranteeing the exponential ergodicity for such processes (in terms of the bounded Lipschitz distance), which would refer only to properties of the flows and the transition law of the Markov chain given by the post jump locations. Moreover, we establish a simple criterion on the exponential ergodicity for a particular instance of these processes, applicable to certain biological models, where the jumps result from the action of an iterated function system with place dependent probabilities.


A fully nonlinear degenerate free transmission problem. We study a free transmission problem driven by degenerate fully nonlinear operators. Our first result concerns the existence of solutions to the associated Dirichlet problem. By framing the equation in the context of viscosity inequalities, we produce optimal regularity results for viscosity solutions and certain strong solutions to the problem. Our findings include regularity in C 1, alpha spaces, and an explicit characterization of alpha in terms of the degeneracy rates. We argue by perturbation methods, relating our problem to a homogeneous, fully nonlinear uniformly elliptic equation.


Theoretical Limit Of Concentration Sensing of Single Receptor Artificial Biosensors. Artificially engineered biosensors are highly inefficient in accurately measuring the concentration of biomarkers, particularly, during early diagnosis of diseases. On the other hand, single cellular systems such as chemotactic bacteria can sense their environment with extraordinary precision. Therefore, one would expect that implementing the optimal cellular sensing strategies in state of the art artificial sensors can produce optimally precise biosensors. However because of the presence of measurement noise, strategies that are optimal in biological systems may not be optimal in artificial systems. Therefore, mimicking biological strategies may not be the optimal path in case of artificial sensing systems because of the presence of inherent measurement noise.


Investigating factors affecting learners perception toward online learning evidence from ClassStart application in Thailand. Twenty First Century Education is a design of instructional culture that empowers learner centered through the philosophy of "Less teaching but more learning". Due to the development of technology enhance learning in developing countries such as Thailand, online learning is rapidly growing in the electronic learning market. ClassStart is a learning management system developed to support Thailand's educational management and to promote the student centred learning processes. It also allows the instructor to analyse individual learners through system generated activities. The study of online learning acceptance is primarily required to successfully achieve online learning system development. However, the behavioural intention of students to use online learning systems has not been well examined, in particular, by focusing specific but representative applications such as ClassStart in this study. This research takes the usage of ClassStart as research scenario and investigates the individual acceptance of technology through the Unified Theory of Acceptance and Use of Technology, as well as technological quality through the Delone and McLean IS success model. A total of 307 undergraduate students using ClassStart responded to the survey. The Partial Least Squares method, a statistics analysis technique based on the Structural Equation Model (SEM), was used to analyze the data. It was found that performance expectancy, social influence, information quality and system quality have the significant effect on intention to use ClassStart.


On auto equivalences and complete derived invariants of gentle algebras. We study triangulated categories which can be modeled by an oriented marked surface mathcal S and a line field eta on mathcal S . This includes bounded derived categories of gentle algebras and conjecturally all partially wrapped Fukaya categories introduced by Haiden Katzarkov Kontsevich. We show that triangle equivalences between such categories induce diffeomorphisms of the associated surfaces preserving orientation, marked points and line fields up to homotopy. This shows that the pair ( mathcal S , eta) is a triangle invariant of such categories and prove that it is a complete derived invariant for gentle algebras of arbitrary global dimension. We deduce that the group of auto equivalences of a gentle algebra is an extension of the stabilizer subgroup of eta in the mapping class group and a group, which we describe explicitely in case of triangular gentle algebras. We show further that diffeomorphisms associated to spherical twists are Dehn twists.


Learning Equality Constraints for Motion Planning on Manifolds. Constrained robot motion planning is a widely used technique to solve complex robot tasks. We consider the problem of learning representations of constraints from demonstrations with a deep neural network, which we call Equality Constraint Manifold Neural Network (ECoMaNN). The key idea is to learn a level set function of the constraint suitable for integration into a constrained sampling based motion planner. Learning proceeds by aligning subspaces in the network with subspaces of the data. We combine both learned constraints and analytically described constraints into the planner and use a projection based strategy to find valid points. We evaluate ECoMaNN on its representation capabilities of constraint manifolds, the impact of its individual loss terms, and the motions produced when incorporated into a planner.


Cross helicity and extended inertial range in MHD turbulence. An extended inertial range dominated by the cross helicity effects has been studied for forced (statistically steady) and for freely decaying magnetohydrodynamic MHD turbulence (with and without imposed mean magnetic field) using the spatio temporal distributed chaos approach. Good agreement with results of direct numerical simulations, laboratory measurements in MHD wind (plasma) tunnel, measurements in the Earth's magnetosheath and in the solar wind has been established. A spontaneous breaking of local reflection (mirror) symmetry has been briefly discussed for the MHD turbulence with zero average cross helicity.


Deriving Theorems in Implicational Linear Logic, Declaratively. The problem we want to solve is how to generate all theorems of a given size in the implicational fragment of propositional intuitionistic linear logic. We start by filtering for linearity the proof terms associated by our Prolog based theorem prover for Implicational Intuitionistic Logic. This works, but using for each formula a PSPACE complete algorithm limits it to very small formulas. We take a few walks back and forth over the bridge between proof terms and theorems, provided by the Curry Howard isomorphism, and derive step by step an efficient algorithm requiring a low polynomial effort per generated theorem. The resulting Prolog program runs in O(N) space for terms of size N and generates in a few hours 7,566,084,686 theorems in the implicational fragment of Linear Intuitionistic Logic together with their proof terms in normal form. As applications, we generate datasets for correctness and scalability testing of linear logic theorem provers and training data for neural networks working on theorem proving challenges. The results in the paper, organized as a literate Prolog program, are fully replicable. Keywords combinatorial generation of provable formulas of a given size, intuitionistic and linear logic theorem provers, theorems of the implicational fragment of propositional linear intuitionistic logic, Curry Howard isomorphism, efficient generation of linear lambda terms in normal form, Prolog programs for lambda term generation and theorem proving.


McKean Feynman Kac probabilistic representations of non linear partial differential equations. This paper presents a partial state of the art about the topic of representation of generalized Fokker Planck Partial Differential Equations (PDEs) by solutions of McKean Feynman Kac Equations (MFKEs) that generalize the notion of McKean Stochastic Differential Equations (MSDEs). While MSDEs can be related to non linear Fokker Planck PDEs, MFKEs can be related to non conservative non linear PDEs. Motivations come from modeling issues but also from numerical approximation issues in computing the solution of a PDE, arising for instance in the context of stochastic control. MFKEs also appear naturally in representing final value problems related to backward Fokker Planck equations.


Galloping in natural merge sorts. We study the impact of sub array merging routines on merge based sorting algorithms. More precisely, we focus on the galloping sub routine that Timsort uses to merge monotonic (non decreasing) sub arrays, hereafter called runs, and on the impact on the number of element comparisons performed if one uses this sub routine instead of a na "ive merging routine. The efficiency of Timsort and of similar sorting algorithms has often been explained by using the notion of runs and the associated run length entropy. Here, we focus on the related notion of dual runs, which was introduced in the 1990s, and the associated dual run length entropy. We prove, for this complexity measure, results that are similar to those already known when considering standard run induced measures in particular, Timsort requires only O(n n log( sigma )) element comparisons to sort arrays of length n with sigma distinct values. In order to do so, we introduce new notions of fast and middle growth for natural merge sorts (i.e., algorithms based on merging runs). By using these notions, we prove that several merge sorting algorithms, provided that they use Timsort's galloping sub routine for merging runs, are as efficient as Timsort at sorting arrays with low run induced or dual run induced complexities.


Visual Illusions Also Deceive Convolutional Neural Networks Analysis and Implications. Visual illusions allow researchers to devise and test new models of visual perception. Here we show that artificial neural networks trained for basic visual tasks in natural images are deceived by brightness and color illusions, having a response that is qualitatively very similar to the human achromatic and chromatic contrast sensitivity functions, and consistent with natural image statistics. We also show that, while these artificial networks are deceived by illusions, their response might be significantly different to that of humans. Our results suggest that low level illusions appear in any system that has to perform basic visual tasks in natural environments, in line with error minimization explanations of visual function, and they also imply a word of caution on using artificial networks to study human vision, as previously suggested in other contexts in the vision science literature.


Irreducible cone spherical metrics and stable extensions of two line bundles. A cone spherical metric is called irreducible if any developing map of the metric does not have monodromy in rm U(1) . By using the theory of indigenous bundles, we construct on a compact Riemann surface X of genus g X geq 1 a canonical surjective map from the moduli space of stable extensions of two line bundles to that of irreducible metrics with cone angles in 2 pi mathbb Z 1 , which is generically injective in the algebro geometric sense as g X geq 2 . As an application, we prove the following two results about irreducible metrics bullet as g X geq 2 and d is even and greater than 12g X 7 , the effective divisors of degree d which could be represented by irreducible metrics form an arcwise connected Borel subset of Hausdorff dimension geq 2(d 3 3g X) in rm Sym d(X) bullet as g X geq 1 , for almost every effective divisor D of degree odd and greater than 2g X 2 on X , there exist finitely many cone spherical metrics representing D .


Smoothing and Strichartz estimates for degenerate Schr " o dinger type equations. In this paper we focus on the validity of some fundamental estimates for time degenerate Schr " o dinger type operators. On one hand we derive global homogeneous smoothing estimates for operators of any order by means of suitable comparison principles (that we shall obtain here). On the other hand, we prove weighted Strichartz type estimates for time degenerate Scrh " o dinger operators and apply them to the local well posedness of the semilinear Cauchy problem. Most of our results apply to nondegenerate operators as well, recovering, in these cases, the well known standard results.


Unsupervised Point Cloud Registration via Salient Points Analysis (SPA). An unsupervised point cloud registration method, called salient points analysis (SPA), is proposed in this work. The proposed SPA method can register two point clouds effectively using only a small subset of salient points. It first applies the PointHop method to point clouds, finds corresponding salient points in two point clouds based on the local surface characteristics of points and performs registration by matching the corresponding salient points. The SPA method offers several advantages over the recent deep learning based solutions for registration. Deep learning methods such as PointNetLK and DCP train end to end networks and rely on full supervision (namely, ground truth transformation matrix and class label). In contrast, the SPA is completely unsupervised. Furthermore, SPA's training time and model size are much less. The effectiveness of the SPA method is demonstrated by experiments on seen and unseen classes and noisy point clouds from the ModelNet 40 dataset.


Combining Experts' Causal Judgments. Consider a policymaker who wants to decide which intervention to perform in order to change a currently undesirable situation. The policymaker has at her disposal a team of experts, each with their own understanding of the causal dependencies between different factors contributing to the outcome. The policymaker has varying degrees of confidence in the experts' opinions. She wants to combine their opinions in order to decide on the most effective intervention. We formally define the notion of an effective intervention, and then consider how experts' causal judgments can be combined in order to determine the most effective intervention. We define a notion of two causal models being emph compatible , and show how compatible causal models can be merged. We then use it as the basis for combining experts' causal judgments. We also provide a definition of decomposition for causal models to cater for cases when models are incompatible. We illustrate our approach on a number of real life examples.


Effect of different polarity solvents on total phenols and flavonoids content, and In vitro antioxidant properties of flowers extract from Aurea Helianthus. The total phenols and flavonoids content of different polar solvent extracts from Aurea Helianthus flowers, and their antioxidant activity were determined. The ethanol extract of Aurea Helianthus flowers were suspended in water and fractionated using different polar solvents hexane, chloroform, ethyl acetate, butanol and water. The parameters of each extract mentioned above were determined using Floin ciocalteu reagent(FCR) method, AlCl3 colorimetry method, ferric reducing ability of plasma(FRAP) assay, total antioxidant activity(TAA) assay and DPPH radical scavenging assay. The highest total phenols content(516.21 mg GAE g) and flavonoids content(326.06 mg QCE g) were obtained in ethyl acetate extract, the correlation between TPC and TFC assay was founded to be 0.967. All polar solvent extracts of Aurea Helianthus flowers showed significant antioxidant effects, the hightest inhibition was obtained in ethyl acetate and choroform extracts and the lowest inhibition in the water extract. There is a good correlation of total phenols and flavonoids content with antioxidant activity. This work indicated that the polar solvent extracts of Aurea Helianthus flowers contain high phenols and flavonoids content and exhibited antioxidant activities in vitro, therefore, could be candidates for use as natural antioxidant.


Preservation of normality by unambiguous transducers. We consider finite state non deterministic but unambiguous transducers with infinite inputs and infinite outputs, and we consider the property of Borel normality of sequences of symbols. When these transducers are strongly connected, and when the input is a Borel normal sequence, the output is a sequence in which every block has a frequency given by a weighted automaton over the rationals. We provide an algorithm that decides in cubic time whether a unambiguous transducer preserves normality.


Vanishing cycles, plane curve singularities, and framed mapping class groups. Let f be an isolated plane curve singularity with Milnor fiber of genus at least 5. For all such f, we give (a) an intrinsic description of the geometric monodromy group that does not invoke the notion of the versal deformation space, and (b) an easy criterion to decide if a given simple closed curve in the Milnor fiber is a vanishing cycle or not. With the lone exception of singularities of type A n and D n , we find that both are determined completely by a canonical framing of the Milnor fiber induced by the Hamiltonian vector field associated to f. As a corollary we answer a question of Sullivan concerning the injectivity of monodromy groups for all singularities having Milnor fiber of genus at least 7.