Motivated by symplectic geometry, we give a detailed account of differential forms and currents on orbifolds with corners, the pull-back push-forward operations, their fundamental properties. We work within formalism where category corners is obtained as localization etale proper groupoids corners. Constructions proofs are formulated in terms structure maps groupoids, avoiding use orbifold char...

Server Push, one of the most promising features of HTTP/2, allows web servers to speculatively send unsolicited web resources to clients. While the mechanism for Push is well defined, policies for effectively utilizing push to maximize page load performance are poorly understood. In this work we investigate the factors that should be considered when implementing a Push policy and combine them t...

The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specifying protocols and their security properties, and integrates different back-ends that implement a variety of automatic protocol analysis techniques. Experimental results, carried out on a large library of Internet secu...

This paper explores the potentially powerful role e-assessment practices can have on culture change in learning and teaching. This paper demonstrates how new e-assessment practices can ‘push back’ through educational institutions. This is done by applying the work of Gibbs and Simpson (2004/5) to e-assessment practices. To illustrate the practical effects of this evidence-based framework, the a...

Based on a sample of 539 angel investors, we empirically test the impact of new ventures’ resource acquisition/allocation strategies in different development stages on angels’ abnormal returns and their extremeness. Our findings suggest that at earlier stages, ventures whose entrepreneurs focus more on securing new resources tend to not only give angel investors lower abnormal returns, but also...

This paper presents a technique for smoothing polygonal surface meshes that avoids the well-known problem of deformation and shrinkage caused by many smoothing methods, like e.g. the Laplacian algorithm. The basic idea is to push the vertices of the smoothed mesh back towards their previous locations. This technique can be also used in order to smooth unstructured point sets, by reconstructing ...

Urethral stones can become impacted in the posterior urethra, typically presenting with varying degrees of acute urinary retention and lower urinary tract symptoms. These are traditionally treated in the inpatient setting, with external urethrotomy or endoscopic push-back of the calculus into the urinary bladder followed by cystolitholapaxy or cystolithotripsy. However, these methods are invasi...

This paper presents a technique for smoothing polygonal surface meshes that avoids the well-known problem of deformation and shrinkage caused by many smoothing methods, like e.g. the Laplacian algorithm. The basic idea is to push the vertices of the smoothed mesh back towards their previous locations. This technique can be also used in order to smooth unstructured point sets, by reconstructing ...

In this rebuttal, I will provide an empirically supported deconstruction of Dan’s primary lines of reasoning, in order to assess the validity of his underlying assumptions. My goal in presenting this counter-perspective is not to push back against Dan (in fact, I appreciate the discussion he has stimulated as a “devil’s advocate”), but rather to give fellow advisors a framework for assessing th...

Distributed Denial of Service (DDoS) attacks exploit the acute imbalance between client and server work loads to cause devastation to the service providers. We pro pose a distributed gateway architecture and a payment protocol that imposes dynamically changing prices on both network, server, and information resources in order to push some cost of initiating service requests — in terms of moneta...