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