Matthew Wall

Learn More
This thesis proposes a game semantics for languages that adhere to the design principles first proposed by John Reynolds in Syntactic Control of Interference. A pair of subterms of a program written in a language adherent to the SCI principles enjoy the property that the evaluation of one will have no impact on the subsequent evaluation of the other if they(More)
Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library:(More)
I have not come to praise User Training, I have come to bury it. Declining attendance at training classes has been noted at many institutions despite continuing increases in numbers of users and the variety of supported and unsupported application packages. I would further argue that the “traditional” formats and scheduling of formal training have proved(More)
This paper evaluates the influence of online news consumption on attitudes toward the European Union in a context of protracted economic crisis. Using data from the 2011 Irish National Election Study, we combine location-specific information on broadband availability with respondent geo-location data, which facilitates causal inference about the effects of(More)
The Client lServer model of computing and sofiware services is rapidly being adopted on a widespread basis. Taking advantage of the power of desktop computers, mature networks, and the new chip architecture in server-level computer systems, client /server offers a broad horizon for a wide variety of computing services. The switch to client/server requires(More)
The enhancement of laser-induced breakdown spectroscopy (LIBS) assisted with microwave radiation is demonstrated for an aqueous solution of indium using the 451.13 nm emission line. Microwave power was delivered via a near-field applicator to the LIBS measurement volume where the indium aqueous solution was presented as a liquid jet. The microwave(More)
  • 1