function definition language fdl and its implementation

A Function Definition Language (FDL) is presented. Though designed for describing specifications, FDL is also a general-purpose functional programming language. It uses context-free language as data type, supports pattern matching definition of functions, offers several function definition forms, and is executable. It is shown that FDL has strong expressiveness, is easy to use and describes algorithms concisely and naturally. An interpreter of FDL is introduced. Experiments and discussion are included.

impossible differential cryptanalysis of reduced-round aria and camellia

This paper studies the security of the block ciphers ARIA and Camellia against impossible differential cryptanalysis. Our work improves the best impossible differential cryptanalysis of ARIA and Camellia known so far. The designers of ARIA expected no impossible differentials exist for 4-round ARIA. However, we found some nontrivial 4-round impossible differentials, which may lead to a possible attack on 6-round ARIA. Moreover, we found some nontrivial 8-round impossible differentials for Camellia, whereas only 7-round impossible differentials were previously known. By using the 8-round impossible differentials, we presented an attack on 12-round Camellia without FL/FL 1 layers.

The Design and Implementation of an Educational Computer Game and Its Study as a Motivational Tool for Middle School ESOL Students

Gemstone Team ILL (Interactive Language Learning)

Discourse and soul: Jung, literature, science and tragedy as mythical writing

This paper will propose that literature and science, far from being discrete spheres of cultural activity, are, in fact, the cultural expressions of interlocking myths. They therefore overlap and even take each other’s places, as examination of the ‘science’ of C.G. Jung and the ‘art’ of a writer such as John Cowper Powys, will show. ‘Dis-course’, I argue, is the material aspect of the mythical structuring of psychic experience. In the work of Jung and Powys, discourse is the articulation of the soul in the world that spans personal, social, natural and cosmic space. [From the Author]

Environmental science and sustainability: some critical thoughts

Environmental science is often described as an interdisciplinary subject, but one firmly grounded in positivist science. Less well recognized is the idea that interdisciplinarity actually challenges fundamental conceptions concerning how reality is understood from an orthodox science perspective. Drawing on recent non-dualism (or post-natural) literature, it is suggested in this paper that there is a need for greater awareness and debate concerning the underlying challenges that ideas of interdisciplinarity and holism present for environmental science. It is argued by aligning environmental science more strongly with non-dualistic traditions (spanning the sciences, arts and religion), fundamental issues are raised concerning how reality is understood and what constitutes valid research methodologies. The concept of intrinsic value is used as one example of the way non-dualistic theory can open up new territories for exploring reality.

Conference report: 7th Annual Congress of International Drug Discovery Science and Technology

This is a report on the 7th Annual Congress of International Drug Discovery Science and Technology held in Shanghai, China from 22–25 October, 2009. The conference, organized by BIT Life Sciences, comprised several parallel sessions, keynote presentations and a selection of selection of 20-minute presentations covering a range of therapeutic areas, including general medicinal chemistry, oncology, inflammation, receptors and ion channels, drug, metabolism and pharmokinetics, and fragment-based drug discovery. There were also sessions devoted to genomics, biomarkers, immunology, cell biology, molecular imaging and biochips. Supported by an exhibition of services/products and posters, the conference underlined the marked presence of Asian CROs.

Teaching and cognitive outcomes in A-levels and Advanced GNVQ's: Case studies from Science and Business Studies Classrooms

The purpose of the paper is to demonstrate how a research diary methodology, designed to analyse A-level and GNVQ classrooms, can be a powerful tool for examining pedagogy and quality of learning at the level of case study. Two subject areas, science and business studies, are presented as cases. Twelve teachers and thirty-four students were studied over a four-week period in May 1997 and contrasts were drawn between lessons from three A-level physics teachers/three Advanced GNVQ science teachers and two A-level business/economics teachers/four Advanced GNVQ business teachers. Lessons were analysed within a cognitive framework which distinguishes between conceptual and procedural learning and emphasizes the importance of metacognition and epistemological beliefs. Two dimensions of lessons were identified: pedagogical activities (e.g. teacher-led explanation, teacher-led guidance on a task, question/answer sessions, group discussions, working with IT) and cognitive outcomes (e.g. structuring and memorizing facts, understanding concepts and arguments, critical thinking, problem-solving, learning core skills, identifying values). Immediately after each lesson, teachers and students (three per class) completed structured research diaries with respect to the above dimensions. Data from the diaries reveal general and unique features of the lessons. Time-ofyear effects were evident (examinations pending in May), particularly in A-level classrooms. Students in business studies classes reported a wider range of learning activities and greater variety in cognitive outcomes than did students in science classes. Science students self-rating of their ability to manage and direct their own learning was generally low. The phenomenological aspects of the classrooms were consistently linked to teachers' lesson plans and what their teaching objectives were for those particular students at that particular time of the year.

Computer usage and the validity of self-assessed computer competence among first-year business students

Abstract This study evaluates the reliability of self-assessment as a measure of computer competence. This evaluation is carried out in response to recent research which has employed self-reported ratings as the sole indicator of students’ computer competence. To evaluate the reliability of self-assessed computer competence, the scores achieved by students in self-assessed computer competence tests are compared with scores achieved in objective tests. The results reveal a statistically significantly over-estimation of computer competence among the students surveyed. Furthermore, reported pre-university computer experience in terms of home and school use and formal IT education does not affect this result. The findings call into question the validity of using self-assessment as a measure of computer competence. More generally, the study also provides an up-to-date picture of self-reported computer usage and IT experience among pre-university students from New Zealand and South-east Asia and contrasts these findings with those from previous research.