Abstract The digitization of some the processes carried out in an archaeological excavation is changing way working at site. Today, new technologies coexist with traditional methodologies. study stratigraphy can combine drawings profiles and plans, Harris Matrix diagram, as well digitized files that perform a complete record stratigraphic sequence. However, this information usually unaggregated...

Abstract The need to verify symbolic computation arises in diverse application areas. In this paper, based on earlier work verifying of definite integrals , we present a tool for performing variety computations interactively, taking middle ground terms easy use and rigor between computer algebra systems interactive theorem provers. supports user-level definitions dependency among computations, ...

0

Since their introduction in 2008, the non-interactive zeroknowledge (NIZK) and non-interactive witness indistinguishable (NIWI) proofs designed by Groth and Sahai have been used in numerous applications. In this paper, we offer two contributions to the study of these proof systems. First, we identify and correct some errors, present in the oringal online manuscript, that occur in two of the thr...

We propose a monotonic logic of internalised non-monotonic or instant interactive proofs (LiiP) and reconstruct an existing monotonic logic of internalised monotonic or persistent interactive proofs (LiP) as a minimal conservative extension of LiiP. Instant interactive proofs effect a fragile epistemic impact in their intended communities of peer reviewers that consists in the impermanent induc...

| In this paper we present a system for browsing large mug-shot databases and the creation identikits of photographic quality. The two functions are interrelated: the available database provides direct feedback to the user building the identikit and the identikit itself can be used as an access key to the image database. SpotIt! provides a virtually unlimited set of alternative features that ca...

In considering the process of interaction between the user and the machine, a frequently used communication medium is the command interpreter which mediates between the user and the operating system. It provides access to all the utilities in the system-revision control systems, time based schedulers, compilers, mail handlers, and other application programs. We confine our interests to command ...