Showing 1–6 of 6 results for author: Kuijper, W

A Cooperative Proof of Work Scheme for Distributed Consensus Protocols

Authors: Wouter Kuijper

Abstract: We propose a refinement to the well known, and widely used, proof-of-work scheme of zeroing a cryptographic hash. Our refinement allows multiple autonomous users to cooperate on the proof-of-work for their own transactions in order to bring about consensus on the order of said transactions. We propose a refinement to the well known, and widely used, proof-of-work scheme of zeroing a cryptographic hash. Our refinement allows multiple autonomous users to cooperate on the proof-of-work for their own transactions in order to bring about consensus on the order of said transactions. △ Less

Submitted 29 November, 2017; originally announced November 2017.

Celestial Walk: A Terminating Oblivious Walk for Convex Subdivisions

Authors: Wouter Kuijper, Victor Ermolaev, Olivier Devillers

Abstract: We present a new oblivious walking strategy for convex subdivisions. Our walk is faster than the straight walk and more generally applicable than the visibility walk. To prove termination of our walk we use a novel monotonically decreasing distance measure. We present a new oblivious walking strategy for convex subdivisions. Our walk is faster than the straight walk and more generally applicable than the visibility walk. To prove termination of our walk we use a novel monotonically decreasing distance measure. △ Less

Submitted 4 October, 2017; originally announced October 2017.

Zig-zagging in a Triangulation

Authors: Wouter Kuijper

Abstract: We present an oblivious walk for point location in 2-dimensional triangulations and a corresponding, strictly monotonically decreasing distance measure. We present an oblivious walk for point location in 2-dimensional triangulations and a corresponding, strictly monotonically decreasing distance measure. △ Less

Submitted 24 May, 2017; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: 11 pages, 13 figures

The Artificial Mind's Eye: Resisting Adversarials for Convolutional Neural Networks using Internal Projection

Authors: Harm Berntsen, Wouter Kuijper, Tom Heskes

Abstract: We introduce a novel artificial neural network architecture that integrates robustness to adversarial input in the network structure. The main idea of our approach is to force the network to make predictions on what the given instance of the class under consideration would look like and subsequently test those predictions. By forcing the network to redraw the relevant parts of the image and subseq… ▽ More We introduce a novel artificial neural network architecture that integrates robustness to adversarial input in the network structure. The main idea of our approach is to force the network to make predictions on what the given instance of the class under consideration would look like and subsequently test those predictions. By forcing the network to redraw the relevant parts of the image and subsequently comparing this new image to the original, we are having the network give a "proof" of the presence of the object. △ Less

Submitted 14 July, 2016; v1 submitted 15 April, 2016; originally announced April 2016.

Geometric Memory Management

Authors: Wouter Kuijper

Abstract: In this report we discuss the concepts of geometric memory align- ment, geometric memory allocation and geometric memory mapping. We introduce block trees as an efficient data structure for representing geo- metrically aligned block allocation states. We introduce niche maps as an efficient means to find the right place to allocate a chunk of a given size whilst maintaining good packing and avoidi… ▽ More In this report we discuss the concepts of geometric memory align- ment, geometric memory allocation and geometric memory mapping. We introduce block trees as an efficient data structure for representing geo- metrically aligned block allocation states. We introduce niche maps as an efficient means to find the right place to allocate a chunk of a given size whilst maintaining good packing and avoiding fragmentation. We intro- duce ledging as a process to deal with chunk sizes that are not a power of two. We discuss using block trees for memory mapping in the context of virtual memory management. We show how ledging can also be applied at the level of virtual memory in order to create fixed size virtual mem- ory spaces. Finally we discuss implementation of both geometric memory allocation as well as geometric memory mapping in hardware. △ Less

Submitted 17 February, 2016; v1 submitted 31 December, 2015; originally announced December 2015.

Comments: This is a draft version of the report, future updates are planned

MSC Class: 60K30 ACM Class: D.4.2

Generic Programming of Reusable, High Performance Container Types using Automatic Type Hierarchy Inference and Bidirectional Antichain Typing

Authors: Wouter Kuijper, Michael Weber

Abstract: We introduce a new compile-time notion of type subsumption based on type simulation. We show how to apply this static subsumption relation to support a more intuitive, object oriented approach to generic programming of reusable, high performance container types. As a first step towards an efficient implementation of the resulting type system in a compiler we present a novel algorithm for bidirecti… ▽ More We introduce a new compile-time notion of type subsumption based on type simulation. We show how to apply this static subsumption relation to support a more intuitive, object oriented approach to generic programming of reusable, high performance container types. As a first step towards an efficient implementation of the resulting type system in a compiler we present a novel algorithm for bidirectional type inference over arbitrary syntax graphs. The algorithm uses the new static type subsumption relation to compress the data that has to be stored for each node in the typeflow graph. During typeflow analysis this means that the set of types for a given node can be symbolically represented using antichains instead of using bitvectors or some other explicit set representation. This results in a typing algorithm that is both flexible and precise and shows good performance on representative instances. △ Less

Submitted 16 February, 2011; originally announced February 2011.