basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

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.

European Project on Ocean Acidification (EPOCA): Objectives, products and scientific highlights

The European Project on Ocean Acidification (EPOCA) is Europe's first large-scale research initiative devoted to studying the impacts and consequences of ocean acidification. More than 100 scientists from 27 institutes and nine countries bring their expertise to the project, resulting in a multidisciplinary and versatile consortium. The project is funded for four years (2008 to 2012) by the European Commission within its Seventh Framework Programme. This article describes EPOCA and explains its different aspects, objectives, and products. Following a general introduction, six boxes highlight outcomes, techniques, and scientific results from each of the project's core themes.

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.