Research Publications
All Technical Report | |
| Narrow your search | 89 result(s) |
By Type By Year By Research Group
| In this paper, we address the problem of synthesizing \emph{opaque} systems. A secret predicate $S$ over the runs of a system $G$ is \emph{opaque} to an external user having partial observability over $G$, if s/he can never infer from the ... This paper describes a computationally feasible approximation to the AIXI agent, a universal reinforcement learning agent for arbitrary environments. AIXI is scaled down in two key ways: First, the class of environment models is restricted to all ... ... of this architecture on the Linux Operating System, demonstrating the possibility of using touch displays in a collaborative work environment on the tabletop. The paper concludes with lessons learnt and technical challenges from our experience. This report is the background theory for Discrete Component Analysis software called DCA. Currently the software is run in stand-alone mode, and scavengers data streaming libraries and Dirichlet utilities from the older MPCA system1. The software itself ... This report is the software development and installation guide for the Discrete Component Analysis (DCA) software for Version 0.200. It includes a description of input and output files, the C code base, prerequisites and installation, and a guide to ... This report is a user guide for the Discrete Component Analysis (DCA) software in development, Version 0.200. It shows how to use the software, and should be read in conjunction with the worked examples in the examples/ directory. Topic models are a discrete analogue to principle component analysis and independent component analysis that model topic at the word level within a document. They have many variants such as NMF, PLSI and LDA, and are used in many fields such as genetics... With the mobile communication market increasingly moving towards value-added services the network cost will need to be included in the service offering itself. This will lead service providers to optimize network usage based on real cost rather than the ... We propose to showcase the experiment facility control, management & measurement framework (OMF) with an experiment demonstrating a common investigative life cycle. The demo scenario will highlight the steps from the idea, to simulations, and finally ... Matlab worksheets for the synthesis and simulation of 2nd, 3rd, and 4th order systems using passive loop filters. The method employed is derived from Dean Banerjee's Book "PLL Performance, Simulation, and Design" 4th Edition. Matlab worksheets for the synthesis and simulation of 2nd, 3rd, and 4th order systems using passive loop filters. The method employed is derived from Dean Banerjee's Book "PLL Performance, Simulation, and Design" 4th Edition. We unify f-divergences, Bregman divergences, surrogate loss bounds (regret bounds), proper scoring rules, matching losses, cost curves, ROC-curves and information. We do this by systematically studying integral and variational representations of these ... The Emergency Warning System Framework (EWSF) describes and captures the interoperation of agencies and delivery channels that provides the functions for the national emergency warning framework. The EWSF is composed of three key functions; Message ... Cognitive load refers to the amount of mental stress experienced while performing a task. The cognitive load measurement (CLM) system is a novel invention which automatically measures the mental workload of users in real time. Using the information ... Contained in this report is some results of electromagnetic simulation using the male human body phantom provided by SPEAG to be used in SEMCAD X [1], proprietary electromagnetic modelling software, and an approximate uniform body and head which has been ... ...attributes to produce a final rigorous evaluation summary. This report presents a new method for trade-off analysis at fine grained levels of the middleware architecture. This report encompasses the research work that addresses above two challenges.... This paper presents an extensive experimental study of the state-of-the-art of XML compression tools. The study reports the behavior of nine XML compressors using a large corpus of XML documents which covers the different natures and scales of XML ... Currently, enhancing the interoperability of Web 2.0 Technologies over mobile devices remains a challenge to software engineering. Resource limitation of mobile devices and non-adaptability of web server application has restricted the interaction ... ... DSTO, which is responsible for technically evaluating ADF acquisitions, is considering ... evaluation activities. In a separate report, we critically reviewed the state-of-the-art ... assessment and mitigation. In this report, we propose some improvements over ... ... and acquisition as well. DSTO, which is responsible for technically evaluating ADF acquisitions, is considering integrating MDD into their evaluation activities. This report critically reviews the state-of-the-art of MDD in the ... We outline progress toward building a predictor of workload based on instantaneous acceleration in 3-dimensions and synchronised heart-rate. Rating of Perceived Exertion (RPE) is used as a proxy measure of workload. We conclude that the range of ... Contained in this report is some results of electromagnetic simulation using the male human body phantom provided by SPEAG to be used in SEMCAD X [1], proprietary electromagnetic modelling software, and an approximate uniform body and head which has been ... Despite the considerable research literature on cooperative diversity in the physical layer in recent years, related concepts at higher layers have not received nearly as much attention. This paper focuses on cooperative retransmission at the MAC layer, ... ...frequency. With the emerging need of localization in sports, new localization techniques and sys- tems are desired. In this report, we will have an overview of current localization techniques and systems, focusing on those with application potential in ... Trace inclusion against a deterministic Timed Automata can be verified with the Uppaal model checking tool by constructing a test automaton that traps illegal synchronisation possibilities. Constructing the automaton manually is tedious and error ... ...). The formal model was developed in the HOL theorem-prover, providing additional guarantees as to its good sense. This report presents and explains extracts from the mechanised source-code that was fed to HOL. This work was performed under funding ... ... and provide an accountable, enforceable, flexible and trusted experience for the web community. This paper looks at the technical issues in moving towards a common policy framework and model that both encapsulates the many vertical interests and provides ... This paper presents a machine-checked high-level security analysis of seL4 — an evolution of the L4 kernel series targeted to secure, embedded devices. We provide an abstract specification of the seL4 access control system in terms of a classical ... Proceedings of the 2007 Workshop on Operating System Platforms for Embedded Real-Time Applications Technical Report , NICTA, July, 2007 Editors: Scott Brandt and Kevin Elphinstone Executive Summary NSW Government agencies have a proud tradition in effective ICT adoption, which is supported by the projects in this study. However, while we are getting better at managing projects, outcomes can be improved through better risk ... ... into the collected text, which is often voluminous and complex in form. Additional investigations described in this report concern questions of identifying and quantifying differences between stake-holder group text written to a common subject matter. ... Today’s mobile devices are increasingly containing multiple radios, enabling users on the move to take advantage of the heterogeneous wireless network environment. In addition, we observe that many bandwidth intensive services such as podcasts, ... An increasing portion of traffic in mobile networks comes from users creating content and uploading it to the Internet to share it. The capacity of mobile networks is a limited resource and uploading high resolution content consumes a large part of it. We... We propose a process algebra for wireless mesh networks that combines novel treatments of local broadcast, conditional unicast and data structures. In this framework, we model the Ad-hoc On-Demand Distance Vector (AODV) routing protocol. We give a ... In the present paper we analyze the complexity of a fragment of the compliance checking problem. Although the fragment studied leaves out many feature of the original problem, like compensations and non-structured processes, we prove that the complexity ... |