Cumulative reports and publications through 31 December 1983

All reports for the calendar years 1975 through December 1983 are listed by author. Since ICASE reports are intended to be preprints of articles for journals and conference proceedings, the published reference is included when available. Thirteen older journal and conference proceedings references are included as well as five additional reports by ICASE personnel. Major categories of research covered include: (1) numerical methods, with particular emphasis on the development and analysis of basic algorithms; (2) computational problems in engineering and the physical sciences, particularly fluid dynamics, acoustics, structural analysis, and chemistry; and (3) computer systems and software, especially vector and parallel computers, microcomputers, and data management

Cumulutive reports and publications through December 31, 1984

A complete list of the Institute for Computer Applications in Science and Engineering (ICASE) Reports are given. Since ICASE Reports are intended to be preprints of articles that will appear in journals or conference proceedings, the published reference is included when it is available. Topics include numerical methods, parameter identification, fluid dynamics, acoustics, structural analysis, and computers

Administrative review and oversight: the experience of Westminster

Parliament has been left behind by far-reaching changes to the constitution, government and society in the past two decades. Despite recent innovations, particularly in the handling of legislation, the central question of Westminster's scrutiny of the executive has not been addressed. (Report of the Hansard Society Commission on Parliamentary Scrutiny, 2001: x) Prior to the Labour Party's election victory in 1997, Labour's manifesto promised an 'effective House of Commons' to be realised in large part through the creation of a special Select Committee with remit to review procedures in light of the 'need for modernisation'. Shortly after victory, Labour established a 'Modernisation Committee' chaired by the Leader of the Commons and with a remit to review four key areas: the legislative process; ministerial accountability; working practices (such as sitting hours); and the style and forms of proceedings. Between 1997 and 2003 the Committee published 19 reports starting with a report on the legislative process. However, to date, most of the reports have focused on the modernisation of working practices and the style and form of proceedings. Reports that deal with improving the effectiveness of ministerial accountability have been notably lacking. Consequently, the view of the Hansard Society that 'parliamentary reform has been one of improving the efficiency of Parliament, but not its effectiveness' appears just as valid three years on

Proceedings of the third French-Ukrainian workshop on the instrumentation developments for HEP

The reports collected in these proceedings have been presented in the third French-Ukrainian workshop on the instrumentation developments for high-energy physics held at LAL, Orsay on October 15-16. The workshop was conducted in the scope of the IDEATE International Associated Laboratory (LIA). Joint developments between French and Ukrainian laboratories and universities as well as new proposals have been discussed. The main topics of the papers presented in the Proceedings are developments for accelerator and beam monitoring, detector developments, joint developments for large-scale high-energy and astroparticle physics projects, medical applications.Comment: 3rd French-Ukrainian workshop on the instrumentation developments for High Energy Physics, October 15-16, 2015, LAL, Orsay, France, 94 page

Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems

This paper reports our initial experiments with using external ATP on some corpora built with the ACL2 system. This is intended to provide the first estimate about the usefulness of such external reasoning and AI systems for solving ACL2 problems.Comment: In Proceedings ACL2 2014, arXiv:1406.123