This article will discuss the uproar over privacy issues in social networks by describing a privacy paradox; private versus public space; and, social networking privacy issues.
A Tutorial Implementation of a Dependently Typed Lambda Calculus Andres Löh, Conor McBride and Wouter Swierstra We present the type rules for a dependently-typed core calculus together with a straightforward implementation in Haskell. We explicitly highlight the changes necessary to shift from a simply-typed lambda calculus to the dependently-typed lambda calculus. We also describe how to extend our core language with data types and write several small example programs. The paper is accompanied by an executable interpreter and example code that allows immediate experimentation with the system we describe. Download Draft Paper (submitted to FI) Haskell source code (executable Haskell file containing all the code from the paper plus the interpreter; automatically generated from the paper sources) prelude.lp (prelude for the LambdaPi interpreter, containing several example programs) Instructions (how to get started with the LambdaPi interpreter)
This paper explores how modern technologies like cloud-services and mobile
devices can improve existing transcription methods. After a brief exploration of
existing projects in the field of access, organisation, transcription and analysis of
digital representations of cultural heritage, this paper introduces a new approach,
unlike XML technology, to TEI data storage and organisation
A. Mousavian, D. Anguelov, J. Flynn, and J. Kosecka. (2016)cite arxiv:1612.00496Comment: To appear in IEEE Conference on Computer Vision and Pattern Recognition (CVPR) 2017.