Witten
Bainbridge
Nichols
HOME HELP PREFERENCES SEARCHFIGURESTABLES

Titles and keyphrases—author- and machine-assigned—for three papers

Protocols for secure, atomic transaction execution in electronic commerce

anonymity


atomicity

atomicity

auction

auction


customer

electronic commerce

electronic commerce


intruder


merchant

privacy



protocol

real-time


security

security


third party

transaction

transaction


Neural multigrid for gauge theories and other disordered systems

disordered systems

disordered


gauge

gauge fields

gauge fields


interpolation kernels


length scale

multigrid

multigrid

neural multigrid


neural networks



smooth


Proof nets, garbage, and computations


cut

cut-elimination

cut elimination


garbage

linear logic


proof nets

proof net

typed lambda-calculus



weakening



Table 6.9: Titles and keyphrases—author- and machine-assigned—for three papers;