A short project to work in collaboration with Universities in the South of England to identify current issues in Information and Computer Science Education. The project is funded by the HEA subject centre in Information and Computer Science (HEA-ICS). It is designed to enable further collaborative working between academics across the South of England.
This research project is located at the interface of several fields, such as computer science, complex systems science, cognitive science, psycholinguistics and information architecture, and is likely to feed back into the design of better applications. The project will contribute to Semiotic Dynamics, a new field that studies how semiotic relations can originate, spread, and evolve over time in populations, by combining recent advances in linguistics and cognitive science with methodological and theoretical tools from complex systems and computer science.
The TAGora project aims at exploiting the unique opportunities offered by the increasing popularity of computer-mediated social interaction in a variety of contexts. Such popularity, in fact, is making available large amounts of raw data from online semiotic systems (for example, collaborative tagging systems) and these data may become the foundantion of a true scientific investigation about the behavior of human agents on the Web and the dynamics of information in online communities.
Students of the health care professions generally undertake a number of clinical placements during their training. Whilst they are in practice a clinical practitioner will assess the studentââ¬â¢s competence against a set of learning outcomes and give ongoing feedback to the student. Due to the workload of the supervising practitioner, the assessment processes can be fragile, which in turn can impinge on the studentsââ¬â¢ learning. At the same time students in practice are away from their usual learning environment, and it can be difficult for them to access their learning resources at the time that they discover the need. The principle, upon which this project is based, is that practice based learning and in particular the mentoring process, would be improved if the student and mentor had access to tools which allowed on the spot on-line entry of results of assessments, such that feedback would be immediate, and thus followup actions could be decided instantly.
This project aims to provide a mobile learning toolkit to support practice based learning, mentoring and assessment. This toolkit will provide an interface so that course leader can specify, in a flexible manner, the learning outcomes to be met, the method of assessment (including the form of the result, how it will be recorded, and by whom), the timing of the assessment(s) and the feedback to be given in response to the results, suitable learning resources to support these learning outcomes, and the actions to be taken when assessments are not completed in a timely manner. Such a toolkit could be used on a variety of programmes, both HE and FE, and in clinical and non-clinical contexts, where work place assessment is an integral part of the course.
The toolkit will enable deployment of the mentorââ¬â¢s assessment interface on a number of platforms, ranging from PCââ¬â¢s through to PDAs and Smartphones and will also provide tools such as RSS feeds to simplify distribution of the learning resources. The project will contribute to the JISC community by adding mobile assessment tools to the E-framework.
The consortium is a well-connected group. The Computer Scientists who will provide the toolkit have previously worked together within the JISC Reference Model projects. Within both TVU and Southampton the Computer Scientists have previously worked with their Nursing and Healthcare departments. Southampton and TVU both have recently been placed in the same NHS area, and the Bournemouth and Poole College is an established FE partner for Southampton University. The following scenario, taken from Nursing, illustrates the problems and the need for such a toolkit.
The R2Q2 aims to produce a complete engine to render and respond to all QTIv2 question types. The engine will be wrapped in a Web service so that it can integrate easily into the JISC e-Framework.
The specific objectives are to:
OMII-Europe is an EU project which has been established to source key software components for Grid applications and to ensure that these components can interoperate across heterogeneous Grid middleware platforms.
OMII-Europe is an Open Systems project that endorses both the use of open standards and open source. OMII-Europe has chosen particular open standards for the Grid that it believes are essential to interoperability across global resources.
The OMII-Europe vision is
to harvest open-source, Web-Services-based, Grid software components from across Europe and to supply these Grid services in a form that will enable them to interoperate across the platforms: gLite, UNICORE and Globus.
The emphasis is on the re-engineering of software components rather than on the development of new technology. OMII-Europe will develop a repository of quality-assured Grid services running on these existing major Grid infrastructures. The drivers for OMII-Europe are interoperability, quality-assurance and establishing itself as an impartial broker, giving advice on heterogeneous Grid solutions.
This project is addressing the need for an integrated approach that allows sensors deployed within a sensor network to manage their own local energy requirements, and where possible, harvest energy from their local environment, whilst simultaneously coordinating their activities in order to achieve system-wide aggregate goals.
It is a collaborative project across two groups within the School of Electronics and Computer Science (IAM and ESD) and seeks to demonstrate the use of agent-based coordination algorithms within sensors (based upon the Chipcon 2431 System-on-Chip) that are capable of understanding, predicting and managing their own energy use and production.
This project is concerned with investigating and developing the basic mechanisms that enable collectives of software agents to self-organise, self-repair and self-optimise in response to dynamic environments. Such autonomic behaviour is needed to ensure the agents are able to best achieve both their individual objectives and the objectives of the collective as a whole in the face of a constantly changing and highly uncertain operational environment. In such cases, the resources available (communication and computation) to the agents are in a constant state of flux and the set of agents in the system is constantly changing. In such cases, it is impossible for the a priori system design to continue to be maximally effective because many of its operational assumptions and parameters are changing. Thus, the system can gradually degrade its performance or it can endeavour to respond to such changes by reorganizing itself in order to best achieve its objectives.
Model-based verification is a highly successful formal method for hardware/software development. Depending on the hardware/software systems of interest, existing model-based approaches to verification use different types of mathematical models to describe abstract system behaviour, and the verification techniques they employ are tailored to these model types. However, different approaches also share certain aspects of the underlying mathematical models and of the associated verification methodologies. So far, no effort has been invested into formally relating different model-based approaches to verification. Consequently, no support is available for transferring verification methodologies between different modelling approaches, or for combining/reusing existing verification methodologies in the context of new types of models. The present project aims to address this issue, by developing the theoretical underpinnings of a modular approach to model-based verification.
Such an approach will offer several advantages, including:
(i) a unified treatment of existing modelling approaches and of their relationships,
(ii) the provision of abstraction-based verification techniques which exploit the relationships between different modelling approaches to increase the efficiency of verification,
(iii) the ability to combine/reuse existing modelling approaches/ verification methodologies when considering new classes of systems.
The Semantic Firewall project deals with the enforcement of network security policies between trust domains in the presence of dynamically changing and unpredictable Grid communication needs.
The problem is that whilst traditional static policies allow the type of access mechanisms required by Grid applications, the same mechansims can be exploited by crackers for malicious purposes, so firewall policies cannot remain static for long. By combining conventional Grid security with semantic reasoning methods, we aim to provide dynamic, adaptive network security that allows legitimate access but still prevents unauthorised access
The aim of the project is to investigate and innovate at the intersection of the Semantic Grid and the physical world, by focusing on the capture, distribution and use of semantic annotation in the context of pervasive devices. It addresses important computer science challenges that have arisen in e-Science projects by focusing on the future forms of scientific record that may emerge from the use of a pervasive e-Science infrastructure. The formation of this new form of scientific record raises research challenges in three distinct areas:
The Semantic Media project has been funded under the second round of the EPSRC Computer Science Challenges to Emerge from e-Science programme.