Department of Computer Science
UCL-CS
UCL
› Research
›› Research Notes
›› Research Note Archive
›› 2005
CoMPLEX PhD student wins Postgraduate Taught Prize
Read this story >
Home
Prospective Students
Undergraduate Degrees
Postgraduate MSc Degrees
Research Degrees
What our students say...
Careers in Computer Science
Our facilities
Undergraduate:
BSc Computer Science
MEng Computer Science
MEng International
MEng Mathematical Computation
Specialist Postgraduate:
MSc CSML
MSc CGVI
MSc FRMan
MSc FRM
MSc FSE
MSc HCIErg
MSc ISec
MSc ML
MSc NCS
MSc SSE
MSc Web Sci BDA
MRes Web Science
MSc ICT Innovation
Generalist Postgraduate:
MSc Computer Science
MSc Financial Computing
Research:
PhD Programme
EngD Programme
UK PhD Centre in Financial Computing
UCL SECReT
Current Students
Essential Info
Teaching Matters
Social Media
Social Life
Have Your Say
Help and Guidance
Student Shop
Exam Results
Student Special Interest Groups
Undergraduate Programmes
First Year
Second Year
Third Year
Fourth Year
International Programme
Affiliate Students
Non-CS Students
Specialist MSc Programmes
MSc CSML
MSc CGVI
MSc FRM
MSc FSE
MSc HCI-E
MSc ISec
MSc ML
MSc NCS
MSc SSE
Generalist MSc Programmes
MSc CS
MSc FC
Research Degrees
EngD VEIV
MPhil/PhD
PhD in FC
Further Information
Student Information
Undergraduate Information
Syllabus Information
Research
CS Publications List
Research Notes
CS Movies
Alumni
Careers
Careers with a Computer Science Degree
Graduate Jobs Index
Departmental Research Internships
Industry Events
Information for Current Students
Employers
Business and Collaboration
Partnership Programme
Collaborations
Consultancy
Spin-outs
Recruiting our Students
Advisory Board
Industry Prizes & Awards
People
Getting Here
Job Vacancies
Staff Intranet
CS Sharepoint
Research Note Archive
2011
2010
2009
2008
2007
2006
2005
2004
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
Research Notes - 2005
RN Number
Title
Author 1
Author 2
Author 3
Author 4
RN/05/01
Model Checking ATL and its Epistemic Extensions
Franco Raimondi
Alessio Lomuscio
RN/05/02
Challenges: Opportunities for Coalition-Based Community Networking
Manish Lad
Saleem Bhatti
Peter Kirstein
RN/05/03
The Coalition Peering Domain: a New Entity in the Routing Landscape
Manish Lad
Saleem Bhatti
Peter Kirstein
Steven Hailes
RN/05/04
Spatio-temporal Interaction Primitives for Delay Tolerant Systems
Mirco Musolesi
Cecilia Mascolo
RN/05/05
Epidemic-style Communication Primitives Exploiting Network Topology Information
Mirco Musolesi
Cecilia Mascolo
RN/05/06
Resilient State Management in Large Scale Networks
Yangcheng Huang
Saleem Bhatti
RN/05/07
Grid Service Orchestration using the Business Process Execution Language (BPEL)
Wolfgang Emmerich
Ben Butchart
Liang Chen
Bruno Wassermann
RN/05/08
Challenges, Opportunities and Incentives for Coalition-Based Community Networking
Manish Lad
Saleem Bhatti
Peter Kirstein
RN/05/09
Error bounds for learning the kernel
C.A. Micchelli
M. Pontil
Q. Wu
D.X. Zhou
RN/05/10
Combining graph Laplacian for semi-supervised learning
A. Argyriou
M. Herbster
M. Pontil
RN/05/11
Learning the kernel from fixed features
C.A. Micchelli
M. Pontil
RN/05/12
Regularization in L-p spaces
C.A. Micchelli
M. Pontil
RN/05/13
An Efficient Octree For Interactive Large Model Visualization
Joao Fradinho Oliveira
Bernard Francis Buxton
RN/05/14
Using an Avatar to Develop a System for the Predication of Human Body Pose from Moments
Song Hu
Bernard Francis Buxton
RN/05/15
Enabling Coalition-Based Community Networking
Manish Lad
Saleem Bhatti
Peter Kirstein
Steven Hailes
RN/05/16
Motivation for Coalition-Based Community Networking
Manish Lad
Saleem Bhatti
Peter Kirstein
Steven Hailes
RN/05/17
Model Based Analysis on Soft State Signaling Protocols
Yangcheng Huang
Saleem Bhatti
Dimitrios Miras
RN/05/18
A combination of explicit and deductive knowledge with branching time: completeness and decidability results
Bozena Wozna
Alessio Lomuscio
RN/05/19
Bounded Model Checking for the Existential Fragment of \TCTL\ and Diagonal Timed Automata
Bozena Wozna
Andrzej Zbrzezny
RN/05/20
Adaptability Aware Signaling Mechanims for Large-Scale Networks
Yangcheng Huang
Saleem N. Bhatti
RN/05/21
Controlled Epidemic-style Data Dissemination in Mobile Ad Hoc Networks
Mirco Musolesi
Cecilia Mascolo
RN/05/22
An Overview of the Identifier-Locator Network Protocol (ILNP)
Ran Atkinson
RN/05/23
Logical Framework for Template Creation and Information Extraction
David Corney
Emma Byrne
Bernard Buxton
David Jones
RN/05/24
Applying ArchOptions to Value the Flexibility in Product-Line Architectures: Preliminary Results
Rami Bahsoon
Wolfgang Emmerich
RN/05/25
The Coalition Peering Domain: A New Entity on the Routing Landscape
Manish Lad
RN/05/26
A Revised Overview of the Identifier-Locator Network Protocol
Ran Atkinson
RN/05/27
A Temporal Epistemic Logic with a Reset Operation
Bozena Wozna
Alessio Lomuscio
RN/05/28
Naming in the
Internet Architecture: Provenance and Current Issues
Ran Atkinson
RN/05/29
Sensorimotor Information flow in Genetic Regulatory Network driven control systems
Tom Quick
Chrystopher Nehaniv
Kerstin Dautenhahn
Graham Roberts
RN/05/30
Enabling Confidentiality in Content-Based Publish/Subscribe Infrastructures
Costin Raiciu
David S. Rosenblum
fileadmin/UCL-CS/research/Research_Notes/Archive/rn_05_30.pdf
fileadmin/UCL-CS/research/Research_Notes/Archive/rn_05_30.pdf
UCL-CS News
CoMPLEX PhD student wins Postgraduate Taught Prize
UCL FIndS organises City Hakathon
Going Paperless: The Hidden Cost of a Receipt
UCL crowned first ever UK University Cipher Champion
Chirp app nominated for design award
Peter Bentley and Christos Sakellariou in this week's New Scientist
UCL-CS students present projects to Microsoft Research
UCL-CS students meet JP Morgan Challenge
SEBASE project finalist at THE Awards 2012
App teaching featured on MSDN
Forthcoming Events
01 May 16:00
Media Futures Seminar:
Probabilistic Group Recommendation via Information Matching
CS Movies
Computer Science Research - Experimentation and Collaboration
Human Centred Systems Research - Improving Interaction
Bioinformatics Research - Understanding and Treating Disease
Dream Fellowship - Rethinking aging, ICT, cooking and creativity
Intelligent Systems - Motivations and Collaborations
Information Security Research - Fighting Computer Crime
Networks Research - Pervasiveness and Mobility
Software Systems Research - Engineering Large Systems
Virtual Environments and Computer Graphics Research
Vision and Imaging Science - Enabling Computers to See