Research Problems from the BCC21

AbstractA collection of open problems, mostly presented at the problem session of the 21st British Combinatorial Conference

Problem-solving activities in Biology for Open University students [poster session]

Problem-based learning is a valuable tool for enhancing student learning and for providing remedial help in grasping difficult concepts in Biology. Most teaching at the Open University is by course texts, DVDs and television. Teaching material is written by academics and expert consultants. An important feature of the material is that it includes interactive in-text and self-assessed questions, and also activities which may be home experiments or computer-based. Students are provided with a study calendar that outlines reading and other learning activities for each week of a course. There is provision for face-to-face learning at regional tutorials delivered by associate lecturers. For Biology, Associate lecturers may give a short lecture prior to the problem-based learning exercise, to help students to focus on the relevant concepts. Problem-based learning at tutorials provides opportunities for students to engage with teaching materials and to apply principles to new scenarios not mentioned in course materials e.g. species enzymes, signalling pathways. Problem-based learning also forms part of activities at Residential Schools. Examples of problem based learning activities that have been used successfully in tutorials for Biology at Levels 1–3 are presented. We demonstrate how the activities meet learning outcomes for courses and link to level indicators within programmes of study. Some feedback from students is included

08081 Abstracts Collection -- Data Structures

From February 17th to 22nd 2008, the Dagstuhl Seminar 08081 ``Data Structures\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. It brought together 49 researchers from four continents to discuss recent developments concerning data structures in terms of research but also in terms of new technologies that impact how data can be stored, updated, and retrieved. During the seminar a fair number of participants presented their current research. There was discussion of ongoing work, and in addition an open problem session was held. This paper first describes the seminar topics and goals in general, then gives the minutes of the open problem session, and concludes with abstracts of the presentations given during the seminar. Where appropriate and available, links to extended abstracts or full papers are provided

A space-time continuous finite element method for 2D viscoelastic wave equation

International audienceA widespread approach to software service analysis uses session types. Very different type theories for binary and multiparty protocols have been developed; establishing precise connections between them remains an open problem. We present the first formal relation between two existing theories of binary and multiparty session types: a binary system rooted in linear logic, and a multiparty system based on automata theory. Our results enable the analysis of multiparty protocols using a (much simpler) type theory for binary protocols, ensuring protocol fidelity and deadlock-freedom. As an application, we offer the first theory of multiparty session types with behavioral genericity. This theory is natural and powerful; its analysis techniques reuse results for binary session types