"We should look long and carefully at ourselves before we pass judgment on others." So said Moliere in The Misanthrope and so think many faculty members and administrators in institutions of higher education. Much of the reluctance surrounding faculty evaluation arises because of its two conflicting purposes: evidence upon which to base personnel decisions, and information upon which to improve...

We deve lop a met hod of 3-D magne tic anomaly inver­ sion based on traditional Tikhonov regulariza tion the­ ory. We use a minimu m support stabi lizing functional to gene rate a sharp , focused inverse image. An iterative in­ version process is const ructed in the space of weighted model parameters that accelerates the converge nce and robustness of the met hod. The weighting functions are se...

They are of first order, second order, third order 27 and fourth order, respectively. The third-order Burg28 ers equation, similar to the second-order ones, appear 29 in many physical and engineering fields [8–10], such 30 as the plasma physics and fluid mechanics. In addi31 tion, these equations play a key role in nonlinear the32 ory and mathematical physics, in particular in the inte33 grable...

We demonstrate the bene ts of software shared mem ory protocols that adapt at run time to the memory access patterns observed in the applications This adaptation is automatic no user annotations are required and does not rely on compiler support or special hardware We in vestigate adaptation between single and multiple writer protocols dynamic aggregation of pages into a larger trans fer unit a...

INSTRUCTION SET Associative algorithms are presented that can acThe machine model is shown on Fig. 1, where the complish curve propagation with thresholding in 1.5 ps of memory words is = Nz, image size is per iteration, ideal thinning in 6.4 ps per iteration taken to be N N. ~h~ primitive associative operaand contour tracing and labeling in 66 ps per iterations are given below. tion, while ope...

We introduce the notion of identity coercions between non-indexed and indexed variants of inductive datatypes, such as lists and vectors. An identity coercion translates one type to another such that the coercion function definitionally reduces to the identity function. This allows us to reuse vector programs to derive list programs (and vice versa), without any runtime cost. This also allows u...

We propose a new bi-intuitionistic type theory called Dualized Type The-ory (DTT). It is a simple type theory with perfect intuitionistic duality, and correspondsto a single-sided polarized sequent calculus. We prove DTT strongly normalizing, andprove type preservation. DTT is based on a new propositional bi-intuitionistic logic calledDualized Intuitionistic Logic (DIL) that bui...

We propose a self-organizing archival Intermem-ory. That is, a noncommercial subscriber-provided distributed information storage service built on the existing Internet. Given an assumption of continued growth in the memory's total size, a subscriber's participation for only a nite time can nevertheless ensure archival preservation of the subscriber's data. Information disperses through the netw...

A microscopic theory of the mixtures of polymer chains and colloidal particles immersed in a common solvent is developed on the basis of the RIS~I integral equation technique. The obtained general equations enable the calculation of the correlation functions and thermodynamic characteristics of the system at an arbitrary ratio of the components. The the, ory is used for a comprehensive study of...

Model-based revision of knowledge bases ex­ pressed as first-order theories was shown in [Winslett 88b] to be useful as a means of de­ scribing and reasoning about the effects of ac­ tions. This paper shows that model-based the­ ory revision is actually expressible as a form of circumscription. This shows that in cer­ tain applications, the cumbersome conceptu­ ally machinery of circumscription...