UCL DEPARTMENT OF COMPUTER SCIENCE Information for Students
	Home	Admissions	Students	Alumni	Research	Business	People	Help




	\| Getting Here \| \| Contact \|


	The PhD Programme PhD Workshops & Skills Development Programme Latex for Research Thesis Research Student Seminars Progress and Examination Forms (Students) Progress and Examination Forms (Supervisors) Research Website Competition Winners Conference Funding Equipment Forthcoming Events

Text size A A A A A

| STUDENTS > Research Students > Research Notes |

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

Research Notes

2005

Archive