You are here

Research Seminar Series

We run a DIR Seminar Series where group members, visitors and guests present their work followed by lively discussions. The seminars are run every Friday at 10am in the Informatics Forum. The organiser of the series is Dr Rosa Filgueira Vicente.

We also list talks relevant to our work in the seminar series from the Centre for Intelligent Systems and their Applications (CISA), the Software Systems and Processes research group (SPP).

Populating the Semantic Web with Historical Text

SSP Seminar Series
Speaker: 
Kate Byrne

The Semantic Web, or Web of Data, is slowly growing and may be approaching the "critical mass" point at which its content will take off exponentially - much as the present "Document" Web did in the 1990s. Much of the data currently appearing in Semantic Web form, as RDF graph data, is new material generated specially; but of course there are vast amounts of older knowledge that could enrich the Web of Data.

Date and time: 
Tuesday, 9 December, 2008 - 11:00
Length: 
60 minutes
Location: 
IF115

Measurement Framework for Data Throughput in a Service-Oriented Architecture

NeSC Research Seminar Series
Speaker: 
Kostas Karasavvas

Kostas will explain the measurement framework he intends to use to evaluate the throughput of data in several OGSA-DAI setups.

Date and time: 
Tuesday, 25 November, 2008 - 11:00
Length: 
45 minutes
Location: 
Cramond
Projects: 

J Model: A Simple and Runtime-Adaptive Ensemble Architecture for Classification

SSP Seminar Series
Speaker: 
Jinhan Kim

Many ensemble methods have been applied to classification. Those have been used sophisticated and static approaches to construct an ensemble. In this paper, we suggest a new architecture that is simple and runtime-adaptive called J Model. It is based on the diversity of learning agents and their peer ranked voting. We are able to generate ensemble models that can be adjusted easily and give a good performance for the purposes of classification tasks.

Date and time: 
Tuesday, 18 November, 2008 - 15:00
Length: 
60 minutes
Location: 
AT701

Modelling adaptive agents in repeated games using automata

SSP Seminar Series
Speaker: 
Francesco Figari

In the field of multi-agent learning, adaptive algorithms are becoming more and more important, while convergence to stationary equilibria is now considered a sub-optimal strategy. While stage game equilibria are still useful solution concepts, in many games they are not the best choice in terms of rewards.

Date and time: 
Tuesday, 4 November, 2008 - 12:00
Length: 
60 minutes
Location: 
IF115

Learning for OpenKnowledge. A richer coordination framework based on LCC

SSP Seminar Series
Speaker: 
Paolo Besana

LCC has been used, in the course of the OpenKnowledge project, to model interactions of varying complexity. One of the difficulties I have often encountered, at least in the OpenKnowledge version of LCC, is the lack of an abstraction mechanism to partition the interaction into layers of different granularity. Roles are useful, but are often not enough: the whole interaction must be defined in detail in a single model.

Date and time: 
Tuesday, 28 October, 2008 - 11:00
Length: 
60 minutes
Location: 
IF115

A Logic for Reasoning About Dualising Resource

CISA Seminar Series
Speaker: 
James Brotherston

We present classical BI (CBI): a nonconservative extension of O'Hearn and Pym's logic of bunched implications, BI, in which both the additive *and* the multiplicative connectives behave classically. In particular, CBI includes multiplicative versions of falsity, negation and disjunction, which are absent in BI. We give an algebraic semantics for CBI that leads us naturally to consider resource models in which every resource has a unique dual. We also give a cut-eliminating proof system for CBI, based on Belnap's display logic, which is sound and complete with respect to our semantics.

Date and time: 
Thursday, 23 October, 2008 - 11:00
Length: 
60 minutes
Location: 
IF116

PETRI NETS as a formalism for the study of workflow-based languages

SSP Seminar Series
Speaker: 
Adela Grando

In Health Informatics there is a growing interest in conforming to some standard that allows interoperability and formal strategies of proof. For instance a very ambitious aim is to provide computable interpretable medical guidelines with proofs of effectiveness and safeness.

Date and time: 
Tuesday, 21 October, 2008 - 11:00
Length: 
60 minutes
Location: 
IF115

Security - One System/Grid Administrator's View

NeSC Research Seminar Series
Speaker: 
David Martin

Starting from a simple definition of security, some basic ideas about system security are reviewed followed by a discussion of the particular security requirements of Grid Computing as seen in EGEE and NGS and how this is implemented in practice.

Date and time: 
Thursday, 16 October, 2008 - 11:00
Length: 
45 minutes
Location: 
Leith

Drexel University Applied Communications & Information Networking Program

SSP Seminar Series
Speaker: 
Kyle Usbeck

Kyle Usbeck [1] is a second-year masters student at Drexel University [2] in Philadelphia, USA and a Software Engineer at Drakontas LLC. [3] visiting the University of Edinburgh. He is presenting the work done under the Applied Communications and Information Networking (ACIN) project [4], with particular emphasis towards the Secure Wireless Agent Testbed (SWAT).

Date and time: 
Tuesday, 14 October, 2008 - 11:00
Length: 
60 minutes
Location: 
IF115

I-SSA: Interaction-Situated Semantic Alignment

SSP Seminar Series
Speaker: 
Manuel Atencia, IIIA-CSIC, Barcelona, Spain

In this talk we will present Interaction-Situated Semantic Alignment (or I-SSA), a novel approach to tackle semantic heterogeneity in multi-agent communication. I-SSA looks at semantics related to interaction in order to avoid dependency on a priori semantic agreements. We do not assume existence of any ontologies, neither local to interacting agents nor external to them, and we rely only on interactions themselves to resolve terminological mismatches.

Date and time: 
Tuesday, 7 October, 2008 - 11:00
Length: 
45 minutes
Location: 
IF115

Pages