Stochastic Grounded Action Transformation for Robot Learning in Simulation. Robot control policies learned in simulation do not often transfer well to the real world. Many existing solutions to this sim to real problem, such as the Grounded Action Transformation (GAT) algorithm, seek to correct for or ground these differences by matching the simulator to the real world. However, the efficacy of these approaches is limited if they do not explicitly account for stochasticity in the target environment. In this work, we analyze the problems associated with grounding a deterministic simulator in a stochastic real world environment, and we present examples where GAT fails to transfer a good policy due to stochastic transitions in the target domain. In response, we introduce the Stochastic Grounded Action Transformation(SGAT) algorithm,which models this stochasticity when grounding the simulator. We find experimentally for both simulated and physical target domains that SGAT can find policies that are robust to stochasticity in the target domain


Complete classification of the asymptotical behavior for singular C S Model on the real line. In this paper, we study the singular Cucker Smale (C S) model on the real line. For long range case, i.e. beta 1 , we prove the uniqueness of the solution in the sense of Definition 2.1 and the unconditional flocking emergence. Moreover, the sufficient and necessary condition for collision and sticking phenomenon will be provided. For short range case, i.e. beta 1 , we construct the uniform in time lower bound of the relative distance between particles and provide the sufficient and necessary condition for the emergence of multi cluster formation. For critical case, i.e. beta 1 , we show the uniform lower bound of the relative distance and unconditional flocking emergence. These results provide a complete classification of the collective behavior for C S model on the real line.


Deep Attentive Study Session Dropout Prediction in Mobile Learning Environment. Student dropout prediction provides an opportunity to improve student engagement, which maximizes the overall effectiveness of learning experiences. However, researches on student dropout were mainly conducted on school dropout or course dropout, and study session dropout in a mobile learning environment has not been considered thoroughly. In this paper, we investigate the study session dropout prediction problem in a mobile learning environment. First, we define the concept of the study session, study session dropout and study session dropout prediction task in a mobile learning environment. Based on the definitions, we propose a novel Transformer based model for predicting study session dropout, DAS Deep Attentive Study Session Dropout Prediction in Mobile Learning Environment. DAS has an encoder decoder structure which is composed of stacked multi head attention and point wise feed forward networks. The deep attentive computations in DAS are capable of capturing complex relations among dynamic student interactions. To the best of our knowledge, this is the first attempt to investigate study session dropout in a mobile learning environment. Empirical evaluations on a large scale dataset show that DAS achieves the best performance with a significant improvement in area under the receiver operating characteristic curve compared to baseline models.


The Axiom of Choice in Computability Theory and Reverse Mathematics, with a cameo for the Continuum Hypothesis. The Axiom of Choice (AC for short) is the most (in)famous axiom of the usual foundations of mathematics, ZFC set theory. The (non )essential use of AC in mathematics has been well studied and thoroughly classified. Now, fragments of countable AC not provable in ZF have recently been used in Kohlenbach's higher order Reverse Mathematics to obtain equivalences between closely related compactness and local global principles. We continue this study and show that NCC, a weak choice principle provable in ZF and much weaker systems, suffices for many of these results. In light of the intimate connection between Reverse Mathematics and computability theory, we also study realisers for NCC, i.e. functionals that produce the choice functions claimed to exist by the latter from the other data. Our hubris of undertaking the hitherto underdeveloped study of the computational properties of (choice functions from) AC leads to interesting results. For instance, using Kleene's S1 S9 computation schemes, we show that various total realisers for NCC compute Kleene's exists 3 , a functional that gives rise to full second order arithmetic, and vice versa. By contrast, partial realisers for NCC should be much weaker, but establishing this conjecture remains elusive. By way of catharsis, we show that the Continuum Hypothesis (CH for short) is equivalent to the existence of a countably based partial realiser for NCC. The latter kind of realiser does not compute Kleene's exists 3 and is therefore strictly weaker than a total one.


Leveraging MPI RMA to optimise halo swapping communications in MONC on Cray machines. Remote Memory Access (RMA), also known as single sided communications, provides a way of accessing the memory of other processes without having to issue explicit message passing style communication calls. Previous studies have concluded that MPI RMA can provide increased performance over traditional MPI Point to Point (P2P) but these are based on synthetic benchmarks. In this work, we replace the existing non blocking P2P communication calls in the MONC atmospheric model with MPI RMA. We describe our approach in detail and discuss options taken for correctness and performance. Experiments on illustrate that by using RMA we can obtain between a 5 and 10 reduction in communication time at each timestep on up to 32768 cores, which over the entirety of a run (of many timesteps) results in a significant improvement in performance compared to P2P. However, RMA is not a silver bullet and there are challenges when integrating RMA into existing codes important optimisations are necessary to achieve good performance and library support is not universally mature. In this paper we discuss, in the context of a real world code, the lessons learned converting P2P to RMA, explore performance and scaling challenges, and contrast alternative RMA synchronisation approaches in detail.


Acoustic Bandgaps of Phononic Penrose and Quasicrystals. Using 3D printing we manufactured two rodlike phononic crystals. Viewed from the top, one is a Penrose tile and the second is a quasicrystal. We explored the acoustic properties and band gaps for both in the frequency range of 5kHz to 25kHz.


Even cycles and perfect matchings in claw free plane graphs. Lov 'a sz showed that a matching covered graph G has an ear decomposition starting with an arbitrary edge of G . Let G be a graph which has a perfect matching. We call G cycle nice if for each even cycle C of G , G V(C) has a perfect matching. If G is a cycle nice matching covered graph, then G has ear decompositions starting with an arbitrary even cycle of G . In this paper, we characterize cycle nice claw free plane graphs. We show that the only cycle nice simple 3 connected claw free plane graphs are K 4 , W 5 and overline C 6 . Furthermore, every cycle nice 2 connected claw free plane graph can be obtained from a graph in the family cal F by a sequence of three types of operations, where cal F consists of even cycles, a diamond, K 4 , and overline C 6 .


RF Trojan Leaking Kernel Data Using Register File Trojan. Register Files (RFs) are the most frequently accessed memories in a microprocessor for fast and efficient computation and control logic. Segment registers and control registers are especially critical for maintaining the CPU mode of execution that determinesthe access privileges. In this work, we explore the vulnerabilities in RF and propose a class of hardware Trojans which can inject faults during read or retention mode. The Trojan trigger is activated if one pre selected address of L1 data cache is hammered for certain number of times. The trigger evades post silicon test since the required number of hammering to trigger is significantly high even under process and temperature variation. Once activated, the trigger can deliver payloads to cause Bitcell Corruption (BC) and inject read error by Read Port (RP) and Local Bitline (LBL). We model the Trojan in GEM5 architectural simulator performing a privilege escalation. We propose countermeasures such as read verification leveraging multiport feature, securing control and segment registers by hashing and L1 address obfuscation.


The heat kernel of a weighted Maass Laplacian with real weights. We derive closed formula for the heat kernel K mathbb H associated to Maass Laplacian operator D k for any real k and prove that heat kernel K mathbb H is strictly monotone decreasing function. We also derive some important asymptotic formulae for the heat kernel K mathbb H .


Unconditional uniqueness for the periodic Benjamin Ono equation by normal form approach. We show unconditional uniqueness of solutions to the Cauchy problem associated with the Benjamin Ono equation under the periodic boundary condition with initial data given in H s for s 1 6 . This improves the previous unconditional uniqueness result in H 1 2 by Molinet and Pilod (2012). Our proof is based on a gauge transform and integration by parts in the time variable.


Variable guiding strategies in multi exits evacuation Pursuing balanced pedestrian densities. Evacuation assistants and their guiding strategies play an important role in the multi exits pedestrian evacuation. To investigate the effect of guiding strategies on evacuation efficiency, we propose a force driven cellular automaton model with adjustable guiding attractions imposed by the evacuation assistants located in the exits. In this model, each of the evacuation assistants tries to attract the pedestrians in the evacuation space towards its own exit by sending a quantifiable guiding signal, which may be adjusted according to the values of pedestrian density near the exit. The effects of guiding strategies pursuing balanced pedestrian densities are studied. It is observed that the unbalanced pedestrian distribution is mainly yielded by a snowballing effect generated from the mutual attractions among the pedestrians, and can be suppressed by controlling the pedestrian densities around the exits. We also reveal an interesting fact that given a moderate target density value, the density control for the partial regions (near the exits) could yield a global effect for balancing the pedestrians in the rest of the regions and hence improve the evacuation efficiency. Our findings may contribute to give new insight into designing effective guiding strategies in the realistic evacuation process.


Keys from the Sky A First Exploration of Physical Layer Security Using Satellite Links. In this paper, we investigate physical layer security (PLS) methods for proximity based group key establishment and proof of location. Fields of application include secure car to car communication, privacy preserving and secure distance evidence for healthcare or location based feature activation. Existing technologies do not solve the problem satisfactorily, due to communication restrictions, e.g., ultra wide band (UWB) based time of flight measurements, or trusted hardware, e.g., using global navigation satellite system (GNSS) positioning data. We introduce PLS as a solution candidate. It is information theoretically secure, which also means post quantum resistant, and has the potential to run on resource constrained devices with low latency. Furthermore, we use wireless channel properties of satellite to Earth links, demonstrate the first feasibility study using off the shelf hardware testbeds and present first evaluation results and future directions for research.


Global L infty bounds and long time behavior of a diffusive epidemic system in heterogeneous environment. In this paper, we are concerned with an epidemic reaction diffusion system with nonlinear incidence mechanism of the form S qI p ,(p, ,q 0) . The coefficients of the system are spatially heterogeneous and time dependent (particularly time periodic). We first establish the L infty bounds of the solutions of a class of systems, which improve some previous results in 58 . Based on such estimates, we then study the long time behavior of the solutions of the system. Our results reveal the delicate effect of the infection mechanism, transmission rate, recovery rate and disease induced mortality rate on the infection dynamics. Our analysis can be adapted to some other types of infection incidence mechanisms.


LRA an accelerated rough set framework based on local redundancy of attribute for feature selection. In this paper, we propose and prove the theorem regarding the stability of attributes in a decision system. Based on the theorem, we propose the LRA framework for accelerating rough set algorithms. It is a general purpose framework which can be applied to almost all rough set methods significantly . Theoretical analysis guarantees high efficiency. Note that the enhancement of efficiency will not lead to any decrease of the classification accuracy. Besides, we provide a simpler prove for the positive approximation acceleration framework.


iSarcasm A Dataset of Intended Sarcasm. We consider the distinction between intended and perceived sarcasm in the context of textual sarcasm detection. The former occurs when an utterance is sarcastic from the perspective of its author, while the latter occurs when the utterance is interpreted as sarcastic by the audience. We show the limitations of previous labelling methods in capturing intended sarcasm and introduce the iSarcasm dataset of tweets labeled for sarcasm directly by their authors. Examining the state of the art sarcasm detection models on our dataset showed low performance compared to previously studied datasets, which indicates that these datasets might be biased or obvious and sarcasm could be a phenomenon under studied computationally thus far. By providing the iSarcasm dataset, we aim to encourage future NLP research to develop methods for detecting sarcasm in text as intended by the authors of the text, not as labeled under assumptions that we demonstrate to be sub optimal.


Learning a Unified Sample Weighting Network for Object Detection. Region sampling or weighting is significantly important to the success of modern region based object detectors. Unlike some previous works, which only focus on "hard" samples when optimizing the objective function, we argue that sample weighting should be data dependent and task dependent. The importance of a sample for the objective function optimization is determined by its uncertainties to both object classification and bounding box regression tasks. To this end, we devise a general loss function to cover most region based object detectors with various sampling strategies, and then based on it we propose a unified sample weighting network to predict a sample's task weights. Our framework is simple yet effective. It leverages the samples' uncertainty distributions on classification loss, regression loss, IoU, and probability score, to predict sample weights. Our approach has several advantages (i). It jointly learns sample weights for both classification and regression tasks, which differentiates it from most previous work. (ii). It is a data driven process, so it avoids some manual parameter tuning. (iii). It can be effortlessly plugged into most object detectors and achieves noticeable performance improvements without affecting their inference time. Our approach has been thoroughly evaluated with recent object detection frameworks and it can consistently boost the detection accuracy. Code has been made available at url https github.com caiqi sample weighting network .


Bottom of spectra and coverings. We discuss the behaviour of the bottom of the spectrum of scalar Schr "odinger operators under Riemannian coverings.


UPB at SemEval 2020 Task 12 Multilingual Offensive Language Detection on Social Media by Fine tuning a Variety of BERT based Models. Offensive language detection is one of the most challenging problem in the natural language processing field, being imposed by the rising presence of this phenomenon in online social media. This paper describes our Transformer based solutions for identifying offensive language on Twitter in five languages (i.e., English, Arabic, Danish, Greek, and Turkish), which was employed in Subtask A of the Offenseval 2020 shared task. Several neural architectures (i.e., BERT, mBERT, Roberta, XLM Roberta, and ALBERT), pre trained using both single language and multilingual corpora, were fine tuned and compared using multiple combinations of datasets. Finally, the highest scoring models were used for our submissions in the competition, which ranked our team 21st of 85, 28th of 53, 19th of 39, 16th of 37, and 10th of 46 for English, Arabic, Danish, Greek, and Turkish, respectively.


Broad frequency shift of parametric processes in Epsilon Near Zero time varying media. The ultrafast changes of material properties induced by short laser pulses can lead to frequency shift of reflected and transmitted radiation. Recent reports highlight how such a frequency shift is enhanced in the spectral regions where the material features a near zero real part of the permittivity. Here we investigate the frequency shift for fields generated by four wave mixing with a nonlinear polarisation oscillating at twice the pump frequency. In our experiment we observe a frequency shift of more than 60 nm (compared to the pulse width of 40 nm) for the phase conjugated radiation generated by a 500 nm Aluminium doped Zinc Oxide (AZO) film pumped close to the epsilon near zero wavelength. Our results indicate applications of time varying media for nonlinear optics and frequency conversion.


Volume and Homology for Hyperbolic 3 Orbifolds. Let mathfrak M be a closed, orientable, hyperbolic 3 orbifold such that pi 1( mathfrak M ) contains no hyperbolic triangle group. We show that strict upper bounds of 0.07625, 0.1525 and 0.22875 for rm vol mathfrak M imply respective upper bounds of 23, 43 and 79 for dim H 1( mathfrak M mathbb F 2 ) . Stronger results hold if we assume that the singular set Sigma is a link specifically, under this assumption, strict upper bounds of 0.305, 0.4575, 0.61, 0.7625 and 0.915 for rm vol mathfrak M imply respective upper bounds of 7, 13, 14, 28 and 29 for rm dim H 1( mathfrak M mathbb F 2 ) . Irreducibility assumptions on the underlying manifold mathfrak M of mathfrak M , and of the underlying manifolds of certain coverings of mathfrak M , also give stronger results. The upper bounds on dim H 1( mathfrak M mathbb F 2 ) for an orbifold mathfrak M whose volume is subject to a suitable upper bound are deduced from upper bounds on rm dim H 1( mathfrak M mathbb F 2 ) for an orbifold mathfrak M whose volume is subject to a suitable upper bound.


math.OC math.PR q-fin.CP q-fin.MF q-fin.PR

Model free bounds for multi asset options using option implied information and their exact computation. We consider derivatives written on multiple underlyings in a one period financial market, and we are interested in the computation of model free upper and lower bounds for their arbitrage free prices. We work in a completely realistic setting, in that we only assume the knowledge of traded prices for other single and multi asset derivatives, and even allow for the presence of bid ask spread in these prices. We provide a fundamental theorem of asset pricing for this market model, as well as a superhedging duality result, that allows to transform the abstract maximization problem over probability measures into a more tractable minimization problem over vectors, subject to certain constraints. Then, we recast this problem into a linear semi infinite optimization problem, and provide two algorithms for its solution. These algorithms provide upper and lower bounds for the prices that are varepsilon optimal, as well as a characterization of the optimal pricing measures. These algorithms are efficient and allow the computation of bounds in high dimensional scenarios (e.g. when d 60 ). Moreover, these algorithms can be used to detect arbitrage opportunities and identify the corresponding arbitrage strategies. Numerical experiments using both synthetic and real market data showcase the efficiency of these algorithms, while they also allow to understand the reduction of model risk by including additional information, in the form of known derivative prices.


HAMLET A Hierarchical Agent based Machine Learning Platform. Hierarchical Multi Agent Systems provide convenient and relevant ways to analyze, model, and simulate complex systems composed of a large number of entities that interact at different levels of abstraction. In this paper, we introduce HAMLET (Hierarchical Agent based Machine LEarning plaTform), a hybrid machine learning platform based on hierarchical multi agent systems, to facilitate the research and democratization of geographically and or locally distributed machine learning entities. The proposed system models a machine learning solutions as a hypergraph and autonomously sets up a multi level structure of heterogeneous agents based on their innate capabilities and learned skills. HAMLET aids the design and management of machine learning systems and provides analytical capabilities for research communities to assess the existing and or new algorithms datasets through flexible and customizable queries. The proposed hybrid machine learning platform does not assume restrictions on the type of learning algorithms datasets and is theoretically proven to be sound and complete with polynomial computational requirements. Additionally, it is examined empirically on 120 training and four generalized batch testing tasks performed on 24 machine learning algorithms and 9 standard datasets. The provided experimental results not only establish confidence in the platform's consistency and correctness but also demonstrate its testing and analytical capacity.


Smoothing Game. We want to introduce another smoothing approach by treating each geometric element as a player in a game a quest for the best element quality. In other words, each player has the goal of becoming as regular as possible. The set of strategies for each element is given by all translations of its vertices. Ideally, he would like to quantify this regularity using a quality measure which corresponds to the utility function in game theory. Each player is aware of the other players' utility functions as well as their set of strategies, which is analogous to his own utility function and strategies. In the simplest case, the utility functions only depend on the regularity. In more complicated cases this utility function depends on the element size, the curvature, or even the solution to a differential equation. This article is a sketch of a possible game theoretical approach to mesh smoothing and still on going research.


Backward difference formula The energy technique for subdiffusion equation. Based on the equivalence of A stability and G stability, the energy technique of the six step BDF method for the heat equation has been discussed in Akrivis, Chen, Yu, Zhou, Math. Comp., Revised . Unfortunately, this theory is hard to extend the time fractional PDEs. In this work, we consider three types of subdiffusion models, namely single term, multi term and distributed order fractional diffusion equations. We present a novel and concise stability analysis of time stepping schemes generated by k step backward difference formula (BDF k ), for approximately solving the subdiffusion equation. The analysis mainly relies on the energy technique by applying Grenander Szeg " o theorem. This kind of argument has been widely used to confirm the stability of various A stable schemes (e.g., k 1,2 ). However, it is not an easy task for the higher order BDF methods, due to the loss the A stability. The core object of this paper is to fill in this gap.


Multi modal Embedding Fusion based Recommender. Recommendation systems have lately been popularized globally, with primary use cases in online interaction systems, with significant focus on e commerce platforms. We have developed a machine learning based recommendation platform, which can be easily applied to almost any items and or actions domain. Contrary to existing recommendation systems, our platform supports multiple types of interaction data with multiple modalities of metadata natively. This is achieved through multi modal fusion of various data representations. We deployed the platform into multiple e commerce stores of different kinds, e.g. food and beverages, shoes, fashion items, telecom operators. Here, we present our system, its flexibility and performance. We also show benchmark results on open datasets, that significantly outperform state of the art prior work.


Two Families of Examples of Groups Acting on Trees with Nontrivial Quasi Kernels. We introduce two families of examples of groups acting on trees, one consisting of group amalgamations and the other consisting of HNN extensions, motivated by the problems of C simplicity and unique trace property. Moreover, we prove that our examples are not inner amenable and identify a relatively large, simple, normal subgroup in each one.


Approximation algorithms for the MAXSPACE advertisement problem. In the MAXSPACE problem, given a set of ads A, one wants to schedule a subset A' of A into K slots B 1, ..., B K of size L. Each ad A i in A has a size s i and a frequency w i. A schedule is feasible if the total size of ads in any slot is at most L, and each ad A i in A' appears in exactly w i slots. The goal is to find a feasible schedule that maximizes the sum of the space occupied by all slots. We introduce a generalization called MAXSPACE R in which each ad A i also has a release date r i 1, and may only appear in a slot B j with j r i. We also introduce a generalization of MAXSPACE R called MAXSPACE RD in which each ad A i also has a deadline d i K, and may only appear in a slot B j with r i j d i. These parameters model situations where a subset of ads corresponds to a commercial campaign with an announcement date that may expire after some defined period. We present a 1 9 approximation algorithm for MAXSPACE R and a polynomial time approximation scheme for MAXSPACE RD when K is bounded by a constant. This is the best factor one can expect, since MAXSPACE is strongly NP hard, even if K 2.


The Gain of Energy Accumulation in Multi hop Wireless Network Broadcast. Broadcast is a fundamental network operation, widely used in wireless networks to disseminate messages. The energy efficiency of broadcast is important particularly when devices in the network are energy constrained. To improve the efficiency of broadcast, different approaches have been taken in the literature. One of these approaches is broadcast with energy accumulation. Through simulations, it has been shown in the literature that broadcast with energy accumulation can result in energy saving. The amount of this saving, however, has only been analyzed for linear multi hop wireless networks. In this work, we extend this analysis to two dimensional (2D) multi hop networks. The analysis of saving in 2D networks is much more challenging than that in linear networks. It is because, unlike in linear networks, in 2D networks, finding minimum energy broadcasts with or without energy accumulation are both NP hard problems. Nevertheless, using a novel approach, we prove that this saving is constant when the path loss exponent alpha is strictly greater than two. Also, we prove that the saving is theta(log n) when alpha 2, where n denotes the number of nodes in the network.


On the Capacity of MIMO Optical Wireless Channels. This paper studies the capacity of a general multiple input multiple output (MIMO) free space optical intensity channel under a per input antenna peak power constraint and a total average power constraint over all input antennas. The focus is on the scenario with more transmit than receive antennas. In this scenario, different input vectors can yield identical distributions at the output, when they result in the same image vector under multiplication by the channel matrix. We first determine the most energy efficient input vectors that attain each of these image vectors. Based on this, we derive an equivalent capacity expression in terms of the image vector, and establish new lower and upper bounds on the capacity of this channel. The bounds match when the signal to noise ratio (SNR) tends to infinity, establishing the high SNR asymptotic capacity. We also characterize the low SNR slope of the capacity of this channel.


Real Time Visual Tracking using Spatial Aware Temporal Aggregation Network. More powerful feature representations derived from deep neural networks benefit visual tracking algorithms widely. However, the lack of exploitation on temporal information prevents tracking algorithms from adapting to appearances changing or resisting to drift. This paper proposes a correlation filter based tracking method which aggregates historical features in a spatial aligned and scale aware paradigm. The features of historical frames are sampled and aggregated to search frame according to a pixel level alignment module based on deformable convolutions. In addition, we also use a feature pyramid structure to handle motion estimation at different scales, and address the different demands on feature granularity between tracking losses and deformation offset learning. By this design, the tracker, named as Spatial Aware Temporal Aggregation network (SATA), is able to assemble appearances and motion contexts of various scales in a time period, resulting in better performance compared to a single static image. Our tracker achieves leading performance in OTB2013, OTB2015, VOT2015, VOT2016 and LaSOT, and operates at a real time speed of 26 FPS, which indicates our method is effective and practical. Our code will be made publicly available at href https github.com ecart18 SATA https github.com ecart18 SATA .


E 3 Visual Exploration of Spatiotemporal Energy Demand. Understanding demand side energy behaviour is critical for making efficiency responses for energy demand management. We worked closely with energy experts and identified the key elements of the energy demand problem including temporal and spatial demand and shifts in spatiotemporal demand. To our knowledge, no previous research has investigated the shifts in spatiotemporal demand. To fill this research gap, we propose a unified visual analytics approach to support exploratory demand analysis we developed E3, a highly interactive tool that support users in making and verifying hypotheses through human client server interactions. A novel potential flow based approach was formalized to model shifts in energy demand and integrated into a server side engine. Experts then evaluated and affirmed the usefulness of this approach through case studies of real world electricity data. In the future, we will improve the modelling algorithm, enhance visualisation, and expand the process to support more forms of energy data.


Convergence of constant step stochastic gradient descent for non smooth non convex functions. This paper studies the asymptotic behavior of the constant step Stochastic Gradient Descent for the minimization of an unknown function F , defined as the expectation of a non convex, non smooth, locally Lipschitz random function. As the gradient may not exist, it is replaced by a certain operator a reasonable choice is to use an element of the Clarke subdifferential of the random function an other choice is the output of the celebrated backpropagation algorithm, which is popular amongst practionners, and whose properties have recently been studied by Bolte and Pauwels 7 . Since the expectation of the chosen operator is not in general an element of the Clarke subdifferential BF of the mean function, it has been assumed in the literature that an oracle of BF is available. As a first result, it is shown in this paper that such an oracle is not needed for almost all initialization points of the algorithm. Next, in the small step size regime, it is shown that the interpolated trajectory of the algorithm converges in probability (in the compact convergence sense) towards the set of solutions of the differential inclusion. Finally, viewing the iterates as a Markov chain whose transition kernel is indexed by the step size, it is shown that the invariant distribution of the kernel converge weakly to the set of invariant distribution of this differential inclusion as the step size tends to zero. These results show that when the step size is small, with large probability, the iterates eventually lie in a neighborhood of the critical points of the mean function F .


ThermoSim Deep Learning based Framework for Modeling and Simulation of Thermal aware Resource Management for Cloud Computing Environments. Current cloud computing frameworks host millions of physical servers that utilize cloud computing resources in the form of different virtual machines (VM). Cloud Data Center (CDC) infrastructures require significant amounts of energy to deliver large scale computational services. Computing nodes generate large volumes of heat, requiring cooling units in turn to eliminate the effect of this heat. Thus, the overall energy consumption of the CDC increases tremendously for servers as well as for cooling units. However, current workload allocation policies do not take into account the effect on temperature and it is challenging to simulate the thermal behavior of CDCs. There is a need for a thermal aware framework to simulate and model the behavior of nodes and measure the important performance parameters which can be affected by its temperature. In this paper, we propose a lightweight framework, ThermoSim, for modeling and simulation of thermal aware resource management for cloud computing environments. This work presents a Recurrent Neural Network based deep learning temperature predictor for CDCs which is utilized by ThermoSim for lightweight resource management in constrained cloud environments. ThermoSim extends the CloudSim toolkit helping to analyze the performance of various key parameters such as energy consumption, SLA violation rate, number of VM migrations and temperature during the management of cloud resources for execution of workloads. Further, different energy aware and thermal aware resource management techniques are tested using the proposed ThermoSim framework in order to validate it against the existing framework. The experimental results demonstrate the proposed framework is capable of modeling and simulating the thermal behavior of a CDC and the ThermoSim framework is better than Thas in terms of energy consumption, cost, time, memory usage prediction accuracy.


An operational characterization of the notion of probability by algorithmic randomness II Discrete probability spaces. The notion of probability plays an important role in almost all areas of science and technology. In modern mathematics, however, probability theory means nothing other than measure theory, and the operational characterization of the notion of probability is not established yet. In this paper, based on the toolkit of algorithmic randomness we present an operational characterization of the notion of probability, called an ensemble, for general discrete probability spaces whose sample space is countably infinite. Algorithmic randomness, also known as algorithmic information theory, is a field of mathematics which enables us to consider the randomness of an individual infinite sequence. We use an extension of Martin Loef randomness with respect to a generalized Bernoulli measure over the Baire space, in order to present the operational characterization. In our former work K. Tadaki, arXiv 1611.06201 , we developed an operational characterization of the notion of probability for an arbitrary finite probability space, i.e., a probability space whose sample space is a finite set. We then gave a natural operational characterization of the notion of conditional probability in terms of ensemble for a finite probability space, and gave equivalent characterizations of the notion of independence between two events based on it. Furthermore, we gave equivalent characterizations of the notion of independence of an arbitrary number of events random variables in terms of ensembles for finite probability spaces. In particular, we showed that the independence between events random variables is equivalent to the independence in the sense of van Lambalgen's Theorem, in the case where the underlying finite probability space is computable. In this paper, we show that we can certainly extend these results over general discrete probability spaces whose sample space is countably infinite.


Stable homotopy, 1 dimensional NCCW complexes, and Property (H). In this paper, we show that the homomorphisms between two unital one dimensional NCCW complexes with the same KK class are stably homotopic, i.e., with adding on a common homomorphism (with finite dimensional image), they are homotopic. As a consequence, any one dimensional NCCW complex has the Property (H).


The Blob provable incompressibility and traceability in the whitebox model. We introduce a scheme for distributing and storing software with cryptographic functionality in the whitebox attacker model. Our scheme satisfies two relevant properties incompressibility and traceability. The main idea is to store a large amount of random data (a blob'), some of which will be randomly sampled in the future to serve as key material, and some of which serves as a watermark. We study two variants with and without re use of key material. For both variants we analyse how many decryptions can be performed with the blob, taking into account collusion attacks against the watermark. Our results show that application of blob schemes in the context of pay TV is feasible.


Decoy Selection for Protein Structure Prediction Via Extreme Gradient Boosting and Ranking. Identifying one or more biologically active native decoys from millions of non native decoys is one of the major challenges in computational structural biology. The extreme lack of balance in positive and negative samples (native and non native decoys) in a decoy set makes the problem even more complicated. Consensus methods show varied success in handling the challenge of decoy selection despite some issues associated with clustering large decoy sets and decoy sets that do not show much structural similarity. Recent investigations into energy landscape based decoy selection approaches show promises. However, lack of generalization over varied test cases remains a bottleneck for these methods. We propose a novel decoy selection method, ML Select, a machine learning framework that exploits the energy landscape associated with the structure space probed through a template free decoy generation. The proposed method outperforms both clustering and energy ranking based methods, all the while consistently offering better performance on varied test cases. Moreover, ML Select shows promising results even for the decoy sets consisting of mostly low quality decoys. ML Select is a useful method for decoy selection. This work suggests further research in finding more effective ways to adopt machine learning frameworks in achieving robust performance for decoy selection in template free protein structure prediction.


An inverse spectral problem for second order functional differential pencils with two delays. We consider a second order functional differential pencil with two constant delays of the argument and study the inverse problem of recovering its coefficients from the spectra of two boundary value problems with one common boundary condition. The uniqueness theorem is proved and a constructive procedure for solving this inverse problem along with necessary and sufficient conditions for its solvability is obtained. Moreover, we give a survey on the contemporary state of the inverse spectral theory for operators with delay. The pencil under consideration generalizes Sturm Liouville type operators with delay, which allows us to illustrate essential results in this direction, including recently solved open questions.


Residual finiteness for central pushouts. We prove that pushouts A CB of residually finite dimensional (RFD) C algebras over central subalgebras are always residually finite dimensional provided the fibers A p and B p , p in mathrm spec C are RFD, recovering and generalizing results by Korchagin and Courtney Shulman. This then allows us to prove that certain central pushouts of amenable groups have RFD group C algebras. Along the way, we discuss the problem of when, given a central group embedding H le G , the resulting C algebra morphism is a continuous field this is always the case for amenable G but not in general.


Subharmonic Dynamics of Wave Trains in Reaction Diffusion Systems. We investigate the stability and nonlinear local dynamics of spectrally stable wave trains in reaction diffusion systems. For each N in mathbb N , such T periodic traveling waves are easily seen to be nonlinearly asymptotically stable (with asymptotic phase) with exponential rates of decay when subject to NT periodic, i.e., subharmonic, perturbations. However, both the allowable size of perturbations and the exponential rates of decay depend on N , and, in particular, they tend to zero as N to infty , leading to a lack of uniformity in such subharmonic stability results. In this work, we build on recent work by the authors and introduce a methodology that allows us to achieve a stability result for subharmonic perturbations which is uniform in N . Our work is motivated by the dynamics of such waves when subject to perturbations which are localized (i.e. integrable on the line), which has recently received considerable attention by many authors.


DualNet Locate Then Detect Effective Payload with Deep Attention Network. Network intrusion detection (NID) is an essential defense strategy that is used to discover the trace of suspicious user behaviour in large scale cyberspace, and machine learning (ML), due to its capability of automation and intelligence, has been gradually adopted as a mainstream hunting method in recent years. However, traditional ML based network intrusion detection systems (NIDSs) are not effective to recognize unknown threats and their high detection rate often comes with the cost of high false alarms, which leads to the problem of alarm fatigue. To address the above problems, in this paper, we propose a novel neural network based detection system, DualNet, which is constructed with a general feature extraction stage and a crucial feature learning stage. DualNet can rapidly reuse the spatial temporal features in accordance with their importance to facilitate the entire learning process and simultaneously mitigate several optimization problems occurred in deep learning (DL). We evaluate the DualNet on two benchmark cyber attack datasets, NSL KDD and UNSW NB15. Our experiment shows that DualNet outperforms classical ML based NIDSs and is more effective than existing DL methods for NID in terms of accuracy, detection rate and false alarm rate.


Checking Chase Termination over Ontologies of Existential Rules with Equality. The chase is a sound and complete algorithm for conjunctive query answering over ontologies of existential rules with equality. To enable its effective use, we can apply acyclicity notions that is, sufficient conditions that guarantee chase termination. Unfortunately, most of these notions have only been defined for existential rule sets without equality. A proposed solution to circumvent this issue is to treat equality as an ordinary predicate with an explicit axiomatisation. We empirically show that this solution is not efficient in practice and propose an alternative approach. More precisely, we show that, if the chase terminates for any equality axiomatisation of an ontology, then it terminates for the original ontology (which may contain equality). Therefore, one can apply existing acyclicity notions to check chase termination over an axiomatisation of an ontology and then use the original ontology for reasoning. We show that, in practice, doing so results in a more efficient reasoning procedure. Furthermore, we present equality model faithful acyclicity, a general acyclicity notion that can be directly applied to ontologies with equality.


Ethically Collecting Multi Modal Spontaneous Conversations with People that have Cognitive Impairments. In order to make spoken dialogue systems (such as Amazon Alexa or Google Assistant) more accessible and naturally interactive for people with cognitive impairments, appropriate data must be obtainable. Recordings of multi modal spontaneous conversations with vulnerable user groups are scarce however and this valuable data is challenging to collect. Researchers that call for this data are commonly inexperienced in ethical and legal issues around working with vulnerable participants. Additionally, standard recording equipment is insecure and should not be used to capture sensitive data. We spent a year consulting experts on how to ethically capture and share recordings of multi modal spontaneous conversations with vulnerable user groups. In this paper we provide guidance, collated from these experts, on how to ethically collect such data and we present a new system "CUSCO" to capture, transport and exchange sensitive data securely. This framework is intended to be easily followed and implemented to encourage further publications of similar corpora. Using this guide and secure recording system, researchers can review and refine their ethical measures.


Normally Hyperbolic Invariant Cylinders Passing Through Multiple Resonance. We study the continuation of periodic orbits from various compound of homoclinics in classical system. Together with the homoclinics, the periodic orbits make up a C 1 smooth, normally hyperbolic invariant cylinder with holes. It plays a key role to cross multiple resonant point.


Rotation surfaces of constant Gaussian curvature as Riemannian approximation scheme in sub Riemannian Heisenberg space mathbb H 1 . We verify if Gausssian curvature of surfaces and normal curvature of curves in surfaces introduced by Diniz Veloso arXiv 1210.7110 and by Balogh Tyson Vecchi arXiv 1604.00180 to prove Gauss Bonnet theorems in Heisenberg space mathbb H 1 are equal. The authors in arXiv 1604.00180 utilize a limit of Gaussian and normal curvatures defined in the Riemannian approximations scheme ( mathbb R 3,g L) introduced by Gromov to study sub Riemannian spaces. They show that these limits exist (unlike the limit of Riemannian surface area form or length form), and they obtain Gauss Bonnet theorem in mathbb H 1 as limit of Gauss Bonnet theorems in ( mathbb R 3,g L) when L goes to infinity. The approach in arXiv 1210.7110 uses an analogous of Gauss map defined in the unitary cylinder and they show that the curvature defined by the Gauss map corresponds to the curvature of covariant derivative which is null on left invariant vector fields of mathbb H 1 . The proof of Gauss Bonnet theorem follows as the classical one. Curvatures do not coincide. For comparison sake we apply the same formalism of arXiv 1210.7110 to get the curvatures of arXiv 1604.00180 . With the obtained formulas, it is possible to prove the Gauss Bonnet theorem in arXiv 1604.00180 as a straightforward application of Stokes theorem. To exemplify the Gaussian curvature of arXiv 1604.00180 we calculate the rotation surfaces of constant curvature in mathbb H 1 , which are only of three types.


Application of Helmholtz Hodge decomposition and conditioned structure functions to exploring influence of premixed combustion on turbulence upstream of the flame. In order to explore the influence of combustion induced thermal expansion on turbulence, a new research method is introduced. The method consists in jointly applying Helmholtz Hodge decomposition and conditioned structure functions to analyzing turbulent velocity fields. Opportunities offered by the method are demonstrated by using it to process Direct Numerical Simulation data obtained earlier from two statistically 1D, planar, fully developed, weakly turbulent, single step chemistry, premixed flames characterized by two significantly different (7.52 and 2.50) density ratios, with all other things being approximately equal. To emphasize the influence of combustion induced thermal expansion on turbulent flow of unburned mixture upstream of a premixed flame, the focus of analysis is placed on structure functions conditioned to the unburned mixture in both points. Two decomposition techniques, i.e. (i) a widely used orthogonal Helmholtz Hodge decomposition and (ii) a recently introduced natural Helmholtz Hodge decomposition, are probed, with results obtained using them being similar in the largest part of the computational domain with the exception of narrow zones near the inlet and outlet boundaries. Computed results indicate that combustion induced thermal expansion can significantly change turbulent flow of unburned mixture upstream of a premixed flame by generating anisotropic potential velocity fluctuations whose spatial structure differ substantially from spatial structure of the incoming turbulence. The magnitude of such potential velocity fluctuations is greater than the magnitude of the solenoidal velocity fluctuations in the largest part of the mean flame brush in the case of the high density ratio. In the case of the low density ratio, the latter magnitude is larger everywhere, but the two magnitudes are comparable in the middle of the mean flame brush.


Refining Student Marks based on Enrolled Modules Assessment Methods using Data Mining Techniques. Choosing the right and effective way to assess students is one of the most important tasks of higher education. Many studies have shown that students tend to receive higher scores during their studies when assessed by different study methods which include units that are fully assessed by varying the duration of study or a combination of courses and exams than by exams alone. Many Educational Data Mining studies process data in advance through traditional data extraction, including the data preparation process. In this paper, we propose a different data preparation process by investigating more than 230000 student records for the preparation of scores. The data have been processed through diverse stages in order to extract a categorical factor through which students module marks are refined during the data preparation stage. The results of this work show that students final marks should not be isolated from the nature of the enrolled module assessment methods. They must rather be investigated thoroughly and considered during EDM data preprocessing stage. More generally, educational data should not be prepared in the same way normal data are due to the differences in data sources, applications, and error types. The effect of Module Assessment Index on the prediction process using Random Forest and Naive Bayes classification techniques were investigated. It was shown that considering MAI as attribute increases the accuracy of predicting students second year averages based on their first year averages.


Reinforcement Learning Based Orchestration for Elastic Services. Due to the highly variable execution context in which edge services run, adapting their behavior to the execution context is crucial to comply with their requirements. However, adapting service behavior is a challenging task because it is hard to anticipate the execution contexts in which it will be deployed, as well as assessing the impact that each behavior change will produce. In order to provide this adaptation efficiently, we propose a Reinforcement Learning (RL) based Orchestration for Elastic Services. We implement and evaluate this approach by adapting an elastic service in different simulated execution contexts and comparing its performance to a Heuristics based approach. We show that elastic services achieve high precision and requirement satisfaction rates while creating an overhead of less than 0.5 to the overall service. In particular, the RL approach proves to be more efficient than its rule based counterpart yielding a 10 to 25 higher precision while being 25 less computationally expensive.


Deep Mining External Imperfect Data for Chest X ray Disease Screening. Deep learning approaches have demonstrated remarkable progress in automatic Chest X ray analysis. The data driven feature of deep models requires training data to cover a large distribution. Therefore, it is substantial to integrate knowledge from multiple datasets, especially for medical images. However, learning a disease classification model with extra Chest X ray (CXR) data is yet challenging. Recent researches have demonstrated that performance bottleneck exists in joint training on different CXR datasets, and few made efforts to address the obstacle. In this paper, we argue that incorporating an external CXR dataset leads to imperfect training data, which raises the challenges. Specifically, the imperfect data is in two folds domain discrepancy, as the image appearances vary across datasets and label discrepancy, as different datasets are partially labeled. To this end, we formulate the multi label thoracic disease classification problem as weighted independent binary tasks according to the categories. For common categories shared across domains, we adopt task specific adversarial training to alleviate the feature differences. For categories existing in a single dataset, we present uncertainty aware temporal ensembling of model predictions to mine the information from the missing labels further. In this way, our framework simultaneously models and tackles the domain and label discrepancies, enabling superior knowledge mining ability. We conduct extensive experiments on three datasets with more than 360,000 Chest X ray images. Our method outperforms other competing models and sets state of the art performance on the official NIH test set with 0.8349 AUC, demonstrating its effectiveness of utilizing the external dataset to improve the internal classification.


Reconstructing Words from Right Bounded Block Words. A reconstruction problem of words from scattered factors asks for the minimal information, like multisets of scattered factors of a given length or the number of occurrences of scattered factors from a given set, necessary to uniquely determine a word. We show that a word w in a, b can be reconstructed from the number of occurrences of at most min( w a, w b) 1 scattered factors of the form a i b . Moreover, we generalize the result to alphabets of the form 1, ldots,q by showing that at most sum q 1 i 1 w i (q i 1) scattered factors suffices to reconstruct w . Both results improve on the upper bounds known so far. Complexity time bounds on reconstruction algorithms are also considered here.


Active Fairness Instead of Unawareness. The possible risk that AI systems could promote discrimination by reproducing and enforcing unwanted bias in data has been broadly discussed in research and society. Many current legal standards demand to remove sensitive attributes from data in order to achieve "fairness through unawareness". We argue that this approach is obsolete in the era of big data where large datasets with highly correlated attributes are common. In the contrary, we propose the active use of sensitive attributes with the purpose of observing and controlling any kind of discrimination, and thus leading to fair results.


On Polish groups admitting non essentially countable actions. It is a long standing open question whether every Polish group that is not locally compact admits a Borel action on a standard Borel space whose associated orbit equivalence relation is not essentially countable. We answer this question positively for the class of all Polish groups that embed in the isometry group of a locally compact metric space. This class contains all non archimedean Polish groups, for which we provide an alternative proof based on a new criterion for non essential countability. Finally, we provide the following variant of a theorem of Solecki every infinite dimensional Banach space has a continuous action whose orbit equivalence relation is Borel but not essentially countable.


RUSSE'2020 Findings of the First Taxonomy Enrichment Task for the Russian language. This paper describes the results of the first shared task on taxonomy enrichment for the Russian language. The participants were asked to extend an existing taxonomy with previously unseen words for each new word their systems should provide a ranked list of possible (candidate) hypernyms. In comparison to the previous tasks for other languages, our competition has a more realistic task setting new words were provided without definitions. Instead, we provided a textual corpus where these new terms occurred. For this evaluation campaign, we developed a new evaluation dataset based on unpublished RuWordNet data. The shared task features two tracks "nouns" and "verbs". 16 teams participated in the task demonstrating high results with more than half of them outperforming the provided baseline.


Indicating Asynchronous Multipliers. Multiplication is a basic arithmetic operation that is encountered in almost all general purpose microprocessing and digital signal processing applications, and multiplication is physically realized using a multiplier. This paper discusses the physical implementation of indicating asynchronous multipliers, which are inherently elastic and are robust to timing, process, and parametric variations, and are modular. We consider the physical implementation of many weak indication asynchronous multipliers using a 32 28 nm CMOS technology by adopting the array multiplier architecture. The multipliers are synthesized in a semi custom ASIC design style. The 4 phase return to zero (RTZ) and the 4 phase return to one (RTO) handshake protocols are considered for the data communication. The multipliers are realized using strong indication or weak indication full adders. Strong indication 2 input AND function is used to generate the partial products in the case of both RTZ and RTO handshaking. The full adders considered are derived from different indicating asynchronous logic design methods. Among the multipliers considered, a weak indication asynchronous multiplier utilizing the biased weak indication full adder is found to be efficient in terms of the cycle time and the power cycle time product with respect to both RTZ and RTO handshaking. Also, the 4 phase RTO handshake protocol is found to be preferable than the 4 phase RTZ handshake protocol for achieving enhanced optimizations in the design metrics.


Synthetic fast ion diagnostics in tokamaks comparing the Monte Carlo test particle code ASCOT against experiments. Measuring fast ions, most notably fusion alphas, in ITER and future reactors remains an issue that still lacks an adequate solution. Numerical simulations are invaluable in testing the potential and limitations of various proposed diagnostics. However, the validity of the numerical tools first has to be checked against results from existing tokamaks. In this contribution, a variety of synthetic diagnostics for fast ions (collective Thomson scattering, neutral particle analyzer, neutron camera, infrared measurements, fast ion loss detector and activation probe) from the orbit following Monte Carlo code ASCOT are compared to measurements from several tokamaks (ASDEX Upgrade, DIII D and JET). Within the limitations of physics included in the numerical model and availability of input data from experiments, the agreement between synthetic data and measurements is found to be quite good.


A rank 3 network representation for single affiliation systems. Single affiliation systems are observed across nature and society. Examples include collaboration, organisational affiliations, and trade blocs. The study of such systems is commonly approached through network analysis. Multilayer networks extend the representation of network analysis to include more information through increased dimensionality. Thus, they are able to more accurately represent the systems they are modelling. However, multilayer networks are often represented by rank 4 adjacency tensors, resulting in a N2M2 solution space. Single affiliation systems are unable to occupy the full extent of this space leading to sparse data where it is difficult to attain statistical confidence through subsequent analysis. To overcome these limitations, this paper presents a rank 3 tensor representation for single affiliation systems. The representations is able to maintain full information of single affiliation networks in directionless networks, maintain near full information in directed networks, reduce the solution space it resides in (N2M) leading to statistically significant findings, and maintain the analytical capability of multilayer approaches. This is shown through a comparison of the rank 3 and rank 4 representations which is performed on two datasets the University of Bath departmental journal co authorship 2000 2017 and an Erdos Renyi network with random single affiliation. The results demonstrate that the structure of the network is maintained through both representations, while the rank 3 representation provides greater statistical confidence in node based measures, and can readily show inter and intra affiliation dynamics.


Modulating Bottom Up and Top Down Visual Processing via Language Conditional Filters. How to best integrate linguistic and perceptual processing in multi modal tasks that involve language and vision is an important open problem. In this work, we argue that the common practice of using language in a top down manner, to direct visual attention over high level visual features, may not be optimal. We hypothesize that the use of language to also condition the bottom up processing from pixels to high level features can provide benefits to the overall performance. To support our claim, we propose a model for language vision problems involving dense prediction, and perform experiments on two different multi modal tasks image segmentation from referring expressions and language guided image colorization. We compare results where either one or both of the top down and bottom up visual branches are conditioned on language. Our experiments reveal that using language to control the filters for bottom up visual processing in addition to top down attention leads to better results on both tasks and achieves state of the art performance. Our analysis of different word types in input expressions suggest that the bottom up conditioning is especially helpful in the presence of low level visual concepts like color.


Symbolic powers, set theoretic complete intersection and certain invariants. In this survey article we give a brief history of symbolic powers and its connection with the interesting problem of set theoretic complete intersection. We also state a few problems and conjectures. Recently, in connection to symbolic powers is the containment problem. We list a few interesting results and related problems on the resurgence, Waldschmidt constant and Castelnuovo Mumford regularity.


Zero shot Imitation Learning from Demonstrations for Legged Robot Visual Navigation. Imitation learning is a popular approach for training visual navigation policies. However, collecting expert demonstrations for legged robots is challenging as these robots can be hard to control, move slowly, and cannot operate continuously for a long time. Here, we propose a zero shot imitation learning approach for training a visual navigation policy on legged robots from human (third person perspective) demonstrations, enabling high quality navigation and cost effective data collection. However, imitation learning from third person demonstrations raises unique challenges. First, these demonstrations are captured from different camera perspectives, which we address via a feature disentanglement network (FDN) that extracts perspective invariant state features. Second, as transition dynamics vary across systems, we label missing actions by either building an inverse model of the robot's dynamics in the feature space and applying it to the human demonstrations or developing a Graphic User Interface(GUI) to label human demonstrations. To train a navigation policy we use a model based imitation learning approach with FDN and labeled human demonstrations. We show that our framework can learn an effective policy for a legged robot, Laikago, from human demonstrations in both simulated and real world environments. Our approach is zero shot as the robot never navigates the same paths during training as those at testing time. We justify our framework by performing a comparative study.


Market making with reinforcement learning (SAC). The paper explores the application of a continuous action space soft actor critic (SAC) reinforcement learning model to the area of automated market making. The reinforcement learning agent receives a simulated flow of client trades, thus accruing a position in an asset, and learns to offset this risk by either hedging at simulated "exchange" spreads or by attracting an offsetting client flow by changing offered client spreads (skewing the offered prices). The question of learning minimum spreads that compensate for the risk of taking the position is being investigated. Finally, the agent is posed with a problem of learning to hedge a blended client trade flow resulting from independent price processes (a "portfolio" position). The position penalty method is introduced to improve the convergence. An Open AI gym compatible hedge environment is introduced and the Open AI SAC baseline RL engine is being used as a learning baseline.


Formula size games for modal logic and mu calculus. We propose a new version of formula size game for modal logic. The game characterizes the equivalence of pointed Kripke models up to formulas of given numbers of modal operators and binary connectives. Our game is similar to the well known Adler Immerman game. However, due to a crucial difference in the definition of positions of the game, its winning condition is simpler, and the second player does not have a trivial optimal strategy. Thus, unlike the Adler Immerman game, our game is a genuine two person game. We illustrate the use of the game by proving a non elementary succinctness gap between bisimulation invariant first order logic mathrm FO and (basic) modal logic mathrm ML . We also present a version of the game for the modal mu calculus mathrm L mu and show that mathrm FO is also non elementarily more succinct than mathrm L mu .


Steady vortex flows of perturbation type in a planar bounded domain. In this paper, we investigate steady Euler flows in a two dimensional bounded domain. By an adaption of the vorticity method, we prove that for any nonconstant harmonic function q , which corresponds to a nontrivial irrotational flow, there exists a family of steady Euler flows with small circulation in which the vorticity is continuous and supported in a small neighborhood of the set of maximum points of q near the boundary, and the corresponding stream function satisfies a semilinear elliptic equation with a given profile function. Moreover, if q has k isolated maximum points bar x 1, cdot cdot cdot, bar x k on the boundary, we show that there exists a family of steady Euler flows whose vorticity is continuous and supported in k disjoint regions of small diameter, and each of them is contained in a small neighborhood of bar x i , and in each of these small regions the stream function satisfies a semilinear elliptic equation with a given profile function.


Winning with Simple Learning Models Detecting Earthquakes in Groningen, the Netherlands. Deep learning is fast emerging as a potential disruptive tool to tackle longstanding research problems across the sciences. Notwithstanding its success across disciplines, the recent trend of the overuse of deep learning is concerning to many machine learning practitioners. Recently, seismologists have also demonstrated the efficacy of deep learning algorithms in detecting low magnitude earthquakes. Here, we revisit the problem of seismic event detection but using a logistic regression model with feature extraction. We select well discriminating features from a huge database of time series operations collected from interdisciplinary time series analysis methods. Using a simple learning model with only five trainable parameters, we detect several low magnitude induced earthquakes from the Groningen gas field that are not present in the catalog. We note that the added advantage of simpler models is that the selected features add to our understanding of the noise and event classes present in the dataset. Since simpler models are easy to maintain, debug, understand, and train, through this study we underscore that it might be a dangerous pursuit to use deep learning without carefully weighing simpler alternatives.


On symmetrizing the ultraspherical spectral method for self adjoint problems. A mechanism is described to symmetrize the ultraspherical spectral method for self adjoint problems. The resulting discretizations are symmetric and banded. An algorithm is presented for an adaptive spectral decomposition of self adjoint operators. Several applications are explored to demonstrate the properties of the symmetrizer and the adaptive spectral decomposition.


Response of Windowless Silicon Avalanche Photo Diodes to Electrons in the 90 900 eV Range. We report on the characterization of the response of windowless silicon avalanche photo diodes to electrons in the 90 900 eV energy range. The electrons were provided by a monoenergetic electron gun present in the LASEC laboratories of University of Roma Tre. We find that the avalanche photo diode generates a current proportional to the current of electrons hitting its active surface. The gain is found to depend on the electron energy E e , and varies from 2.147 pm 0.027 (for E e 90 eV) to 385.8 pm 3.3 (for E e 900 eV), when operating the diode at a bias of V apd 350 V. This is the first time silicon avalanche photo diodes are employed to measure electrons with E e 1 keV.


Commit2Vec Learning Distributed Representations of Code Changes. Deep learning methods, which have found successful applications in fields like image classification and natural language processing, have recently been applied to source code analysis too, due to the enormous amount of freely available source code (e.g., from open source software repositories). In this work, we elaborate upon a state of the art approach to the representation of source code that uses information about its syntactic structure, and we adapt it to represent source changes (i.e., commits). We use this representation to classify security relevant commits. Because our method uses transfer learning (that is, we train a network on a "pretext task" for which abundant labeled data is available, and then we use such network for the target task of commit classification, for which fewer labeled instances are available), we studied the impact of pre training the network using two different pretext tasks versus a randomly initialized model. Our results indicate that representations that leverage the structural information obtained through code syntax outperform token based representations. Furthermore, the performance metrics obtained when pre training on a loosely related pretext task with a very large dataset ( 10 6 samples) were surpassed when pretraining on a smaller dataset ( 10 4 samples) but for a pretext task that is more closely related to the target task.


A deep reinforcement learning model based on deterministic policy gradient for collective neural crest cell migration. Modeling cell interactions such as co attraction and contact inhibition of locomotion is essential for understanding collective cell migration. Here, we propose a novel deep reinforcement learning model for collective neural crest cell migration. We apply the deep deterministic policy gradient algorithm in association with a particle dynamics simulation environment to train agents to determine the migration path. Because of the different migration mechanisms of leader and follower neural crest cells, we train two types of agents (leaders and followers) to learn the collective cell migration behavior. For a leader agent, we consider a linear combination of a global task, resulting in the shortest path to the target source, and a local task, resulting in a coordinated motion along the local chemoattractant gradient. For a follower agent, we consider only the local task. First, we show that the self driven forces learned by the leader cell point approximately to the placode, which means that the agent is able to learn to follow the shortest path to the target. To validate our method, we compare the total time elapsed for agents to reach the placode computed using the proposed method and the time computed using an agent based model. The distributions of the migration time intervals calculated using the two methods are shown to not differ significantly. We then study the effect of co attraction and contact inhibition of locomotion to the collective leader cell migration. We show that the overall leader cell migration for the case with co attraction is slower because the co attraction mitigates the source driven effect. In addition, we find that the leader and follower agents learn to follow a similar migration behavior as in experimental observations. Overall, our proposed method provides useful insight on how to apply reinforcement learning techniques to simulate collective cell migration.


The minimum possible volume size of u way (v, k, t) trades. A u way (v k t) trade is a pair T (X T 1 T2,...,T u) such that for each t subset of v set X the number of blocks containing this t subset is the same in each Ti (1 i u). In the other words for each 1 i j u, (X T i T j) is a (v k t) trade. There are many questions concerning u way trades. The main question is about the minimum volume and minimum foundation size of u way (v k t) trades. In this paper, we determine the minimum volume and minimum foundation size of u way (v t 1 t) trades for each integer number u 2 and t 2.


Computational Essays An Avenue for Scientific Creativity in Physics. Computation holds great potential for introducing new opportunities for creativity and exploration into the physics curriculum. At the University of Oslo we have begun development of a new class of assignment called computational essays to help facilitate creative, open ended computational physics projects. Computational essays are a type of essay or narrative that combine text and code to express an idea or make an argument, usually written in computational notebooks. During a pilot implementation of computational essays in an introductory electricity and magnetism course, students reported that computational essays facilitated creative investigation at a variety of levels within their physics course. They also reported finding this creativity as being both challenging and motivating. Based on these reflections, we argue that computational essays are a useful tool for leveraging the creative affordances of programming in physics education.


Restriction estimates for hyperboloids in higher dimensions via bilinear estimates. Let mathbb H be a (d 1) dimensonal hyperbolic paraboloid in mathbb R d and let Ef be the Fourier extension operator associated to mathbb H , with f supported in B d 1 (0,2) . We prove that Ef L p (B(0,R)) leq C epsilon R epsilon f L p for all p geq frac 2(d 2) d whenever frac d 2 geq m 1 , where m is the minimum between the number of positive and negative principal curvatures of mathbb H . Bilinear restriction estimates for mathbb H proved by S. Lee and Vargas play an important role in our argument.


Residual Switching Network for Portfolio Optimization. This paper studies deep learning methodologies for portfolio optimization in the US equities market. We present a novel residual switching network that can automatically sense changes in market regimes and switch between momentum and reversal predictors accordingly. The residual switching network architecture combines two separate residual networks (ResNets), namely a switching module that learns stock market conditions, and the main module that learns momentum and reversal predictors. We demonstrate that over fitting noisy financial data can be controlled with stacked residual blocks and further incorporating the attention mechanism can enhance powerful predictive properties. Over the period 2008 to H12017, the residual switching network (Switching ResNet) strategy verified superior out of sample performance with an average annual Sharpe ratio of 2.22, compared with an average annual Sharpe ratio of 0.81 for the ANN based strategy and 0.69 for the linear model.


An Intelligent Quaternion SVDCKF AHRS Estimation with Variable Adaptive Methods in Complex Conditions. Aimed at solving the problem of Attitude and Heading Reference System(AHRS) in the complex and dynamic conditions for small UAV, An intelligent Singular Value Decomposition Cubature Kalman Filter(SVDCKF) combined with the Variable Adaptive Methods(VAM) is proposed in this paper. Considering the nonlinearity of quaternion AHRS model and non positive definite of the state covariance matrix, the SVDCKF algorithm is presented with both the SVD and CKF in order to better obtain the filter accuracy and reliability. Additionally, there are the different changes of the values in the accelerometer measurement resulting from the complex flying conditions. Thus, the VAM is designed to deal with three axis values of the acceleration and tune intelligently the measurement noise matrix Ra. Moreover, the heading measurement from the three axis values of the magnetometer is calculated according to the whether to use the three axis values of the acceleration in the special situations. The simulation and experiment results demonstrate that the proposed filter algorithm has the more excellent attitude solution accuracy and robustness than both the Complementary Filter(CF) and the Error State Kalman Filter(ESKF).


Future Video Synthesis with Object Motion Prediction. We present an approach to predict future video frames given a sequence of continuous video frames in the past. Instead of synthesizing images directly, our approach is designed to understand the complex scene dynamics by decoupling the background scene and moving objects. The appearance of the scene components in the future is predicted by non rigid deformation of the background and affine transformation of moving objects. The anticipated appearances are combined to create a reasonable video in the future. With this procedure, our method exhibits much less tearing or distortion artifact compared to other approaches. Experimental results on the Cityscapes and KITTI datasets show that our model outperforms the state of the art in terms of visual quality and accuracy.


Frozen Binomials on the Web Word Ordering and Language Conventions in Online Text. There is inherent information captured in the order in which we write words in a list. The orderings of binomials lists of two words separated by and' or or' has been studied for more than a century. These binomials are common across many areas of speech, in both formal and informal text. In the last century, numerous explanations have been given to describe what order people use for these binomials, from differences in semantics to differences in phonology. These rules describe primarily frozen' binomials that exist in exactly one ordering and have lacked large scale trials to determine efficacy. Online text provides a unique opportunity to study these lists in the context of informal text at a very large scale. In this work, we expand the view of binomials to include a large scale analysis of both frozen and non frozen binomials in a quantitative way. Using this data, we then demonstrate that most previously proposed rules are ineffective at predicting binomial ordering. By tracking the order of these binomials across time and communities we are able to establish additional, unexplored dimensions central to these predictions. Expanding beyond the question of individual binomials, we also explore the global structure of binomials in various communities, establishing a new model for these lists and analyzing this structure for non frozen and frozen binomials. Additionally, novel analysis of trinomials lists of length three suggests that none of the binomials analysis applies in these cases. Finally, we demonstrate how large data sets gleaned from the web can be used in conjunction with older theories to expand and improve on old questions.


On the Hardness of Problems Involving Negator Relationships in an Artificial Hormone System. The Artificial Hormone System (AHS) is a self organizing middleware to allocate tasks in a distributed system. We extended it by so called negator hormones to enable conditional task structures. However, this extension increases the computational complexity of seemingly simple decision problems in the system In 1 and 2 , we defined the problems Negator Path and Negator Sat and proved their NP completeness. In this supplementary report to these papers, we show examples of Negator Path and Negator Sat, introduce the novel problem Negator Stability and explain why all of these problems involving negators are hard to solve algorithmically.


Reflection algebras and conservation results for theories of iterated truth. We consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original system of arithmetic. Much stronger systems, however, are obtained by adding either induction axioms or reflection axioms on top of them. Theories of this kind can interpret some well known predicatively reducible fragments of second order arithmetic such as iterated arithmetical comprehension. We obtain sharp results on the proof theoretic strength of these systems using methods of provability logic. Reflection principles naturally define unary operators acting on the semilattice of axiomatizable extensions of our basic theory of iterated truth. The substructure generated by the top element of this algebra provides a canonical ordinal notation system for the class of theories under investigation. Using these notations we obtain conservativity relationships for iterated reflection principles of different logical complexity levels corresponding to the levels of the hyperarithmetical hierarchy, i.e., the analogs of Schmerl's formulas. These relationships, in turn, provide proof theoretic analysis of our systems and of some related predicatively reducible theories. In particular, we uniformly calculate the ordinals characterizing the standard measures of their proof theoretic strength, such as provable well orderings, classes of provably recursive functions, and Pi 1 0 ordinals.


Murray's law for discrete and continuum models of biological networks. We demonstrate the validity of Murray's law, which represents a scaling relation for branch conductivities in a transportation network, for discrete and continuum models of biological networks. We first consider discrete networks with general metabolic coefficient and multiple branching nodes and derive a generalization of the classical 3 4 law. Next we prove an analogue of the discrete Murray's law for the continuum system obtained in the continuum limit of the discrete model on a rectangular mesh. Finally, we consider a continuum model derived from phenomenological considerations and show the validity of the Murray's law for its linearly stable steady states.


Technical Health Check For Cloud Service Providers. Understanding the overall health of an IT Infrastructure is a key part of IT Service Management. Traditional approach to perform technical health check is by visiting customer's physical site and rigorously examining the IT infrastructure with Subject Matter Experts. Alternatively, periodic surveys are sent to Technical Architects who are responsible for the managed IT infrastructure. In essence, both site visits and surveys suffer from reactive nature, and subjective assessment. In this paper, we present technical health check for cloud providers, that monitors, assesses operational data and depicts the current health of an IT infrastructure in real time. We also discuss challenges and opportunities of technical health check in Hybrid Cloud Environment.


Blowing up solutions of a time space fractional semi linear equation with a structural damping and a nonlocal in time nonlinearity. In this paper, we investigate the semilinear equation with a time space fractional structural damping and a nonlocal in time nonlinearity begin equation mathbf D 0 t 1 alpha 1 u ( Delta) sigma u ( Delta ) delta mathbf D 0 t alpha 2 u I 0 t 1 gamma u p , qquad (t,x) in (0, infty) times mathbb R N, end equation where p 1 , alpha i, gamma in (0,1) , delta, sigma in (0,1) , mathbf D 0 t alpha i is the Caputo fractional derivative and I 0 t 1 gamma is the Riemann Liouville fractional integral of order 1 gamma . We prove the non existence of global solutions if begin equation 1 p leqslant frac 2(2 alpha 1 gamma) ( frac alpha 1 1 sigma N 2 gamma 2 alpha 1 2) 1, end equation for any space dimension N geqslant 1. Then, we extend the result to the system begin align mathbf D 0 t 1 alpha 1 u ( Delta) sigma 1 u ( Delta ) delta 1 mathbf D 0 t alpha 2 u I 0 t 1 gamma 1 v p , qquad (t,x) in (0, infty) times mathbb R N, mathbf D 0 t 1 beta 1 v ( Delta) sigma 2 v ( Delta ) delta 2 mathbf D 0 t beta 2 v I 0 t 1 gamma 2 u q , qquad (t,x) in (0, infty ) times mathbb R N , end align where p,q 1 , 0 delta i , sigma i 1 and gamma 2 in (0,1) . Also, we present the necessary conditions for the existence of local or global solutions.


DIME An Online Tool for the Visual Comparison of Cross Modal Retrieval Models. Cross modal retrieval relies on accurate models to retrieve relevant results for queries across modalities such as image, text, and video. In this paper, we build upon previous work by tackling the difficulty of evaluating models both quantitatively and qualitatively quickly. We present DIME (Dataset, Index, Model, Embedding), a modality agnostic tool that handles multimodal datasets, trained models, and data preprocessors to support straightforward model comparison with a web browser graphical user interface. DIME inherently supports building modality agnostic queryable indexes and extraction of relevant feature embeddings, and thus effectively doubles as an efficient cross modal tool to explore and search through datasets.


Zero loci of Bernstein Sato ideals II. We have recently proved a precise relation between Bernstein Sato ideals of collections of polynomials and monodromy of generalized nearby cycles. In this article we extend this result to other ideals of Bernstein Sato type.


Boundedness of Singular Integral Operators on Weak Herz Type Spaces with Variable Exponent. In this paper, the authors define the weak Herz spaces and the weak Herz type Hardy spaces with variable exponent. As applications, the authors establish the boundedness for a large class of singular integral operators including some critical cases.


Numerical preservation of multiple local conservation laws. There are several well established approaches to constructing finite difference schemes that preserve global invariants of a given partial differential equation. However, few of these methods preserve more than one conservation law locally. A recently introduced strategy uses symbolic algebra to construct finite difference schemes that preserve several local conservation laws of a given scalar PDE in Kovalevskaya form. In this paper, we adapt the new strategy to PDEs that are not in Kovalevskaya form and to systems of PDEs. The Benjamin Bona Mahony equation and a system equivalent to the nonlinear Schroedinger equation are used as benchmarks, showing that the strategy yields conservative schemes which are robust and highly accurate compared to others in the literature.


The BNSR invariants of the Stein group F 2,3 . The Stein group F 2,3 is the group of orientation preserving homeomorphisms of the unit interval with slopes of the form 2 p3 q ( p,q in mathbb Z ) and breakpoints in mathbb Z frac 1 6 . This is a natural relative of Thompson's group F . In this paper we compute the Bieri Neumann Strebel Renz (BNSR) invariants Sigma m(F 2,3 ) of the Stein group for all m in mathbb N . A consequence of our computation is that (as with F ) every finitely presented normal subgroup of F 2,3 is of type textrm F infty . Another, more surprising, consequence is that (unlike F ) the kernel of any map F 2,3 to mathbb Z is of type textrm F infty , even though there exist maps F 2,3 to mathbb Z 2 whose kernels are not even finitely generated. In terms of BNSR invariants, this means that every discrete character lies in Sigma infty(F 2,3 ) , but there exist (non discrete) characters that do not even lie in Sigma 1(F 2,3 ) . To the best of our knowledge, F 2,3 is the first group whose BNSR invariants are known exhibiting these properties.


Context Aware Answer Extraction in Question Answering. Extractive QA models have shown very promising performance in predicting the correct answer to a question for a given passage. However, they sometimes result in predicting the correct answer text but in a context irrelevant to the given question. This discrepancy becomes especially important as the number of occurrences of the answer text in a passage increases. To resolve this issue, we propose textbf BLANC ( textbf BL ock textbf A ttentio textbf N for textbf C ontext prediction) based on two main ideas context prediction as an auxiliary task in multi task learning manner, and a block attention method that learns the context prediction task. With experiments on reading comprehension, we show that BLANC outperforms the state of the art QA models, and the performance gap increases as the number of answer text occurrences increases. We also conduct an experiment of training the models using SQuAD and predicting the supporting facts on HotpotQA and show that BLANC outperforms all baseline models in this zero shot setting.


Proof of spherical flocking based on quantitative rearrangement inequalities. Our recent work on the Burchard Choksi Topaloglu flocking problem showed that in the large mass regime the ground state density profile is the characteristic function of some set. Here we show that this set is, in fact, a round ball. The essential mathematical structure needed in our proof is a strict rearrangement inequality with a quantitative error estimate, which we deduce from recent deep results of M. Christ.


On the Impact of Fluid Structure Interaction in Blood Flow Simulations Stenotic Coronary Artery Benchmark. We study the impact of using fluid structure interactions (FSI) to simulate blood flow in a large stenosed artery. We compare typical flow configurations using Navier Stokes in a rigid geometry setting to a fully coupled FSI model. The relevance of vascular elasticity is investigated with respect to several questions of clinical importance. Namely, we study the effect of using FSI on the wall shear stress distribution, on the Fractional Flow Reserve and on the damping effect of a stenosis on the pressure amplitude during the pulsatory cycle. The coupled problem is described in a monolithic variational formulation based on Arbitrary Lagrangian Eulerian (ALE) coordinates. For comparison, we perform pure Navier Stokes simulations on a prestressed geometry to give a good matching of both configurations. A series of numerical simulations that cover important hemodynamical factors are presented and discussed.


Large deviations for singularly interacting diffusions. In this paper we prove a large deviation principle (LDP) for the empirical measure of a general system of mean field interacting diffusions with singular drift (as the number of particles tends to infinity) and show convergence to the associated McKean Vlasov equation. Along the way, we prove an extended version of the Varadhan Integral Lemma for a discontinuous change of measure and subsequently an LDP for Gibbs and Gibbs like measures with singular potentials.


TWEETQA A Social Media Focused Question Answering Dataset. With social media becoming increasingly pop ular on which lots of news and real time eventsare reported, developing automated questionanswering systems is critical to the effective ness of many applications that rely on real time knowledge. While previous datasets haveconcentrated on question answering (QA) forformal text like news and Wikipedia, wepresent the first large scale dataset for QA oversocial media data. To ensure that the tweetswe collected are useful, we only gather tweetsused by journalists to write news articles. Wethen ask human annotators to write questionsand answers upon these tweets. Unlike otherQA datasets like SQuAD in which the answersare extractive, we allow the answers to be ab stractive. We show that two recently proposedneural models that perform well on formaltexts are limited in their performance when ap plied to our dataset. In addition, even the fine tuned BERT model is still lagging behind hu man performance with a large margin. Our re sults thus point to the need of improved QAsystems targeting social media text.


Sparse Lifting of Dense Vectors Unifying Word and Sentence Representations. As the first step in automated natural language processing, representing words and sentences is of central importance and has attracted significant research attention. Different approaches, from the early one hot and bag of words representation to more recent distributional dense and sparse representations, were proposed. Despite the successful results that have been achieved, such vectors tend to consist of uninterpretable components and face nontrivial challenge in both memory and computational requirement in practical applications. In this paper, we designed a novel representation model that projects dense word vectors into a higher dimensional space and favors a highly sparse and binary representation of word vectors with potentially interpretable components, while trying to maintain pairwise inner products between original vectors as much as possible. Computationally, our model is relaxed as a symmetric non negative matrix factorization problem which admits a fast yet effective solution. In a series of empirical evaluations, the proposed model exhibited consistent improvement and high potential in practical applications.


Distance Eigenvalues and Forwarding Indices of Multiplicative Circulant Graph of Order Power of Two and Three. In this paper, we use Breadth first search algorithm to determine the distance matrix of multiplicative circulant graph of order power of two and three. As a consequence, the diameter of the graphs were determined. We also give their distance spectral radii, average distances, as well as the exact values of vertex forwarding indices. Finally, using some known relationships between the distance spectral radii and forwarding indices of a graph, we give some bounds for their edge forwarding indices.


Correction to A Practical, Provably Linear Time, In place and Stable Merge Algorithm via the Perfect Shuffle. We correct a paper previously submitted to CoRR. That paper claimed that the algorithm there described was provably of linear time complexity in the average case. The alleged proof of that statement contained an error, being based on an invalid assumption, and is invalid. In this paper we present both experimental and analytical evidence that the time complexity is of order N 2 in the average case, where N is the total length of the merged sequences.


Strongly Incremental Constituency Parsing with Graph Neural Networks. Parsing sentences into syntax trees can benefit downstream applications in NLP. Transition based parsers build trees by executing actions in a state transition system. They are computationally efficient, and can leverage machine learning to predict actions based on partial trees. However, existing transition based parsers are predominantly based on the shift reduce transition system, which does not align with how humans are known to parse sentences. Psycholinguistic research suggests that human parsing is strongly incremental humans grow a single parse tree by adding exactly one token at each step. In this paper, we propose a novel transition system called attach juxtapose. It is strongly incremental it represents a partial sentence using a single tree each action adds exactly one token into the partial tree. Based on our transition system, we develop a strongly incremental parser. At each step, it encodes the partial tree using a graph neural network and predicts an action. We evaluate our parser on Penn Treebank (PTB) and Chinese Treebank (CTB). On PTB, it outperforms existing parsers trained with only constituency trees and it performs on par with state of the art parsers that use dependency trees as additional training data. On CTB, our parser establishes a new state of the art. Code is available at https github.com princeton vl attach juxtapose parser.


Values of multiple zeta functions with polynomial denominators at non positive integers. We study rather general multiple zeta functions whose denominators are given by polynomials. The main aim is to prove explicit formulas for the values of those multiple zeta functions at non positive integer points. We first treat the case when the polynomials are power sums, and observe that some trivial zeros'' exist. We also prove that special values are sometimes transcendental. Then we proceed to the general case, and show an explicit expression of special values at non positive integer points which involves certain period integrals. We give examples of transcendental values of those special values or period integrals. We also mention certain relations among Bernoulli numbers which can be deduced from our explicit formulas. Our proof of explicit formulas are based on the Euler Maclaurin summation formula, Mahler's theorem, and a Raabe type lemma due to Friedman and Pereira.