System FC is an explicitly typed language that serves as the target language for Haskell source programs. System FC is based on System F with the addition of erasable but explicit type equality proof witnesses. Equality proof witnesses are generated from type inference performed on source Haskell programs. Such witnesses may be very large objects, which causes performance degradation in later s...

We present entanglement witness operators for detecting genuine multipartite entanglement. These witnesses are robust against noise and require only two local measurement settings when used in an experiment, independent of the number of qubits. This allows detection of entanglement for an increasing number of parties without a corresponding increase in effort. The witnesses presented detect sta...

This paper provides a broad overview of legal and social service responses to child sexual abuse, the overarching legal framework provided by federal legislation, and funding mandates and the unique and shared investigative concerns of law enforcement and child protective service entities. Relevant psychological research is highlighted throughout, including research on investigator training, fo...

The accuracy of information obtained in forensic interviews is critically important to credibility in the legal system. Research has shown that the way interviewers frame questions influences the accuracy of witnesses' reports. A separate body of research has shown that speakers gesture spontaneously when they talk and that these gestures can convey information not found anywhere in the speaker...

There are traffic situations (e.g. incorrect speeding tickets) in which a given vehicle’s driving behavior at some point in time has to be proved to a third party. Vehicle-mounted sensorial devices are not suitable for this matter since they can be maliciously manipulated. However, surrounding vehicles may give their vision on another one’s behavior. Furthermore, these data may be shared with t...

System FC is an explicitly typed language that serves as the target language for Haskell source programs. System FC is based on System F with the addition of erasable but explicit type equality proof witnesses. Equality proof witnesses are generated from type inference performed on source Haskell programs. Such witnesses may be very large objects, which causes performance degradation in later s...

Voting protocols ensure the consistency of replicated objects by requiring all read and write requests to collect an appropriate quorum of replicas. We propose to replace some of these replicas by volatile witnesses that have no data and require no stable storage, and to regenerate them instead of waiting for recovery. The small size of volatile witnesses allows them to be regenerated much easi...

The much-agitated question respecting this man's moral and legal responsibility has been determinately and irrevocabty settled by the public executioner! William Dove was hanged on the 8th of August. On the evening of the 1st of August the editor of this journal had a lengthened interview with Mr. Barret, Dove s solicitor, and Mr. Morley, one of the witnesses for the Crown. Mr. Morley was only ...

In this work we study the problem of efficiently isolating witnesses for the complexity classes NL and LogCFL, which are two well-studied complexity classes contained in P. We prove that if there is a L/poly randomized procedure with success probability at least 2/3 for isolating an s-t path in a given directed graph with a source sink pair (s, t) then NL is contained in L/poly. By isolating a ...

System FC is an explicitly typed language that serves as the target language for Haskell source programs. System FC is based on System F with the addition of erasable but explicit type equality proof witnesses. This paper improves FC in two directions: The first contribution is extending term-level functions with the ability to return equality proof witnesses, which allows the smooth integratio...