Submitted Draft of Student Assessment in the Ubiquitously Connected World

Submitted to Computers and Society

Student cheating on university assessments from entrance exams to finals and from contract cheating on coursework to requesting exam answers using a mobile phone during the exam, has received more and more attention of late. As connection to the Internet becomes ubiquitous and computing and communciations technology more embedded in our environment, it is argued that a re-focussing on providing educational opportunities is needed in higher education, rather than chasing the ever-retreating prospect of perfect, or even adequate, assesment for the purposes of qualification.

The Development of Japanese Data Protection

joint work with Prof K. Murata (Meiji University) and Dr Y. Orito (Ehime University) , Policy and Internet 2(2) Article 5.

In 2003, Japan enacted its first private sector data protection legislation, complementing the concurrent update of the public sector regulations. The publicly stated goal of the Japanese government was to support trade with Europe by providing suitably strong protection to qualify for European data export approval. In this paper we examine the internal social and political pressures that led to the adoption of apparently strong private sector data protection, despite prior long resistance to such a move. The pressures we have identified include direct and indirect effects of Japanese economic difficulties since the early nineties, media pressure to update public sector rules because of the introduction of Juki-net, and similar media pressure to apply similar rules to the private sector. We also examine the role that the technology of kanji input systems played on the lack of urgency in demands for private sector data protection until 2000.

The Japanese Sense of Information Privacy

Co-authored with Prof K. Murata and Dr Y. Orito

The Open vs Closed Debate

Digitisation, Representation, and Formalisation

Theorem Proving In Support of Computer Algebra DITLU: A Definite Integral Table Lookup

Computer Algebra Meets Automated Theorem Proving: Integrating MAPLE and PVs

Perspex Machine VIII: Axioms of Transreal Arithmetic

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS

Digital Look Up Tables and Real Number Theorem Proving

The Ethical Challenges of Ubiquitous Healthcare

Review: CyberEthics: Morality and Law In Cyberspace

Copyright Issues for MKM

Automated theorem proving in support of computer algebra: symbolic definite integration as a case study