a School of Mathematics & Computer Engineering, Xihua University, Chengdu, Sichuan 610039, China Belgian Nuclear Research Centre (SCK CEN), Boeretang 200, B-2400 Mol, Belgium Dept. of Applied Math. & Computer Science, Ghent University, B-9000 Gent, Belgium d School of Computing and Mathematics, Faculty of Engineering, University of Ulster at Jordanstown, Newtownabbey BT37 0QB, Northern Ireland,...

For many decades computer science researchers have promised that the "Formal Methods" developed by computer scientists would bring about a drastic improvement in the quality and cost of software. That improvement has not materialized. We review the reasons for this failure. We then explain the difference between the notations that are used in formal methods and the mathematics that is essential...

Despite gains overall, women are still under-represented in leadership positions in science, technology, engineering, and mathematics (STEM) fields. Data in the US suggest around onequarter of deans and department heads are women; in science this drops to nearly 1 in 20. Part of this problem of under-representation stems from the population pool: only 33% of science and engineering doctorate ho...

From the strict mathematical viewpoint, it is impossible to fully achieve the goal of digital image processing, which ].sto determine an unknown function of two dimensions from a finite number of discrete measurements Linearly related to it. However, the necessity to display image data in a form that is visually useful to an observer s~persedee such mathematically correct admonitions. Engineeri...

1 David I. Laurenson, Mike J. Jackson, The University of Edinburgh, Kings Buildings, Mayfield Road, Edinburgh, UK, EH9 3JL Abstract  The Java language has been used in the construction of a number of learning environments to enable students to explore mathematical concepts without the barrier of mathematical manipulation. The applets are designed to be flexible for educators, and flexible in u...