We introduce a new object, BH, and prove that a system with one BH object and single-writer Registers has the same computational power as a system with countably many commutative and overwriting objects. This provides a simple characterization of the class of objects that can be implemented from commutative and overwriting objects, and creates a potential tool for proving impossibility results....

1 Objectives of this Lecture 1 1.1 The Calculator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Calc.mch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 The Refinement of Calc . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 1.4 CalcR.ref . . . . . . . . . . . . . . . . . . . . . . . . . . . ....

1.2. We refer to [LMB] for the basic background on stacks. Let us quickly recall: a stack over a scheme S is a sheaf of groupoids on the faithfully flat topology of S-schemes, where the presheaf requirement that the composition of the restriction maps is the restriction map of the composition is understood in the weak sense. Stacks form a 2-category with fiber products and there is a clear embe...

The goal of our project is to develop an accurate tagger for questions posted on Stack Exchange. Our problem is an instance of the more general problem of developing accurate classifiers for large scale text datasets. We are tackling the multilabel classification problem where each item (in this case, question) can belong to multiple classes (in this case, tags). We are predicting the tags (or ...

The compressed stack is a data structure designed by Barba et al. (Algorithmica 2015) that allows to reduce the amount of memory needed by an algorithm (at the cost of increasing its runtime). In this paper we introduce the first implementation of this data structure and make its source code publicly available. Together with the implementation we analyze the performance of the compressed stack....

Stack-processors, which abandon register files and instead work directly on the stack content have recently enjoyed a resurgence of interest in conjunction with higher level languages. However, the way in which local variables are handled by typically stack-targeted compilers leaves much room for improvement. These issues are not restricted to stack architectures using a C-compiler, although th...

Introducing variability during program execution is an effective technique for fighting software monoculture which enables the quick spread of malicious code such as viruses and worms. Existing works in the area of automatic generation of execution variability have been limited to instruction randomization and heap allocation randomization, even though stack overflows are the predominant attack...

The Prediction Error Filter (PEF) is a widely used tool in various geophysical applications such as signal-noise separation and interpolation of missing data. Over the years, SEP has developed tools to estimate non-stationary Prediction Error Filters. Non-stationary PEFs are successfully used for multiple removal, ground-roll attenuation, and in other geophysical problems. I apply a non-station...