ABOUT |
Computer Science Internal SeminarsThe Internal Seminar Series is a relaxed forum for members of the Department to present their current research and discuss ideas of interest. Invited speakers are also welcome, in particular for presentations that might be too specialised for a general computer science audience as on the Friday's seminar. How to find the most common lecture rooms: See the External Seminar page. Semester 2Room this semester is Ben LT5. The slots in February and up to March 12 are taken by presentations of PhD students.Seminar programme
Seminar detailsContext-aware automatic service selection
Harry Yu (University of Leicester) Since Service-Oriented Architecture (SOA) was
introduced just a decade ago, SOA has become to the new
generation technology for software development. With fast
growing numbers of offered services, selecting the suitable
services is a crucial task and challenges. Especially,
selecting the service which is not only suitable in general
but also suitable to the particular requester's context is
big challenge because context information changes rapidly on
different time, environment and task. In today's working
environment runtime context-aware service selection has a
quite remarkable usage and raises an interesting research
direction. There are three main issues on this research: (1)
context-awareness, (2) finding a suitable service selection
method, (3) considering the global composition context
between services when they integration. Recently, many
approaches have been proposed for tackling the service
selection issues. However, few approaches take the runtime
context information into account. In this talk, I am going
to introduce a novel context-aware automatic service
selection process and demonstrate the prototype.
The process supports maximum automatic mechanism includes
three main components: context-aware selection criteria,
type-based Logic Scoring Preference extended selection
method and composition context. Each of the components gives
a solution to a research issue. The process adopted the
Semantic Web technology to modelling the context information
and service NFPs. The correctness and scalability of the
process are evaluated against real world service selection
scenarios.
Weakly globular models of connected n-types
Simona Paoli (University of Haifa)
Higher dimensional category theory is a vibrant research
area of fundamental significance to such different areas as
theoretical physics, algebraic topology, and computer
science. In this talk, we will consider a particular class
of higher-dimensional categories, namely weakly globular
cat^n-groups. They are sufficient to model connected n-types
and have several advantages over previously considered
models.
Semester 1Seminar programme
Seminar detailsStreaming Algorithms and Data Mining
Rajeev Raman (University of Leicester)
TBA.
Randomized Interval Scheduling
Stanley Fung (University of Leicester)
TBA.
Formal Specification and Analysis of Real-Time Systems in Real-Time Maude
Peter Ölveczky (University of Oslo)
slides
Real-Time Maude is a tool that extends the
rewriting-logic-based Maude system to support the
executable formal modeling and analysis of real-time
systems. Real-Time Maude is characterized by its general
and expressive, yet intuitive, specification formalism, and
offers a spectrum of formal analysis methods, including:
rewriting for simulation purposes, search for reachability
analysis, and temporal logic model checking. Our tool is
particularly suitable to specify real-time systems in an
object-oriented style, and its flexible formalism makes it
easy to model different forms of communication. This
modeling flexibility, and the usefulness of Real-Time Maude
for both simulation and model checking, has been
demonstrated in advanced state-of-the-art applications,
including scheduling and wireless sensor network
algorithms, communication and cryptographic protocols, and
in finding several bugs in embedded car software that were
not found by standard model checking tools employed in
industry. This talk gives a high-level overview of
Real-Time Maude and some of its applications, and briefly
discusses completeness of analysis for dense-time systems.
Thomas Erlebach (University of Leicester)
Broadcast Scheduling is a popular method for
disseminating information in response to client
requests. There is a set of pages of information,
and clients request pages at different
times. However, multiple clients can have their
requests satisfied by a single broadcast of the
requested page. We consider several related
broadcast scheduling problems. One central problem
asks to minimize the maximum response time (over all
requests). Another related problem is the version in
which every request has a release time and a
deadline, and the goal is to maximize the number of
requests that meet their deadlines. While
approximation algorithms for both these problems
were proposed several years back, it was not known
if they were NP-complete. One of our main results is
that both these problems are
NP-complete. Furthermore, we give a proof that FIFO
is a 2-competitive online algorithm for minimizing
the maximum response time and that there is no
better deterministic online algorithm (these results
had been claimed earlier, but without complete
proofs). We also give a lower bound on the
integrality gap of the natural LP formulation of the
problem of maximizing the number of requests that
meet their deadlines.
Joint work with Jessica Chang, Renars Gailis and Samir Khuller. Forecasting - where computational intelligence meets the stock market
Edward Tsang () Forecasting is an important activity in
finance. Traditionally, forecasting has been done with
in-depth knowledge in finance and the market. Advances in
computational intelligence have created opportunities that
were never there before. Computational finance techniques,
machine learning in particular, can dramatically enhance
our ability to forecast. They can help us to forecast ahead
of our competitors and pick out scarce opportunities. In
this talk, I shall explain some of the opportunities
offered by computational intelligence and some of the
achievements so far. I shall also explain the underlying
technologies and explores the research horizon.
|
|
Author: Alexander Kurz (kurz mcs le ac uk), T: 0116 252 5356. |