The closer the countries of the world grow together, the more sharply do some national characteristics seem to be thrown into profile. Medicine has become internationalized more rapidly than has law; but on the medico-legal borderland we cling oh so firmly to, our particular concepts as to the standards we proclaim and the way in which we seek to maintain them, the mere European who finds himse...

In a witness rectangle graph (WRG) on vertex point set P with respect to witness point set W in the plane, two points x, y in P are adjacent whenever the open rectangle with x and y as opposite corners contains at least one witness point in W . WRGs are representative of a much larger family of witness proximity graphs introduced in two previous papers. We study graph-theoretic properties of WR...

type ref t = id:N{witnessed (has_a_t id t)} let has (id:N) (H h _) = match h id with Used _ _ (Untyped _)→⊤ | _→⊥ abstract type uref = id:N{witnessed (has id)}type uref = id:N{witnessed (has id)} To enforce these invariants on state-manipulating operations, we define a preorder rel on heap, that constrains the heap evolution. It states that every Used identifier remains Used; every Typed refere...

The legal system depends on the medical expert for evidence. Doctors readily complain about frivolous cases that go to trial, yet a lawyer cannot bring a frivolous claim to trial without a physician expert witness stating that the claim is not frivolous. An insurance company cannot raise premiums without medical expert witnesses servicing the increasing litigation against the insured. Physician...

In this paper we survey some results concerning balls-intobins-games and the power of two choices. We present a unified and rather elementary analysis for models in the parallel as well as in the sequential setting which is based on witness trees.

In her article, "Bearing Witness through Fiction," Carolina Rocha explores the ways in which three Argentine writers grappled with their roles as public intellectuals and witnesses to acts of terror, undeniable violence, and human rights abuses during the most recent military dictatorship. By examining three narrative texts written from the mid-1970s to the late 1990s Aquí pasan cosas raras (St...

We describe an entanglement witness for N -qubit mixed states based on the properties of N -point correlation functions. As the degree of violation increases beyond different threshold values, or strata, this witness can guarantee that no more than M qubits are separable from the rest of the state for any M 6 N , or that there is some genuine M-party or greater multipartite entanglement present...

How can severely traumatized persons re-present the past and its impact on the present if (due to blackout, repression, or dissociation) they could not witness what they went through, or can hardly recall it? drawing on Holocaust testimonies, this article explores the crisis of witnessing constituted by the Shoah and, more generally, problems of integrating and communicating traumatic experienc...

In this paper, we present a new semi-decidable procedure to analyze cryptographic protocols for secrecy based on a new class of functions that we call: the Witness-Functions. A Witness-Function is a reliable function that guarantees the secrecy in any protocol proved increasing once analyzed by it. Hence, the problem of correctness becomes a problem of protocol growth. A Witness-Function operat...

The concept of witness-hiding suggested by Feige and Shamir is a natural relaxation of zero-knowledge. In this paper we identify languages and distributions for which many known constant-round publiccoin protocols with negligible soundness cannot be shown to be witnesshiding using black-box techniques. One particular consequence of our results is that parallel repetition of either 3-Colorabilit...