diagnostic information in case verification of a particular real-time systems fails. The current version of Uppaal is available on the World Wide Web via the Uppaal home page http://www.docs.uu.se/docs/rtmv/uppaal. 1 Introduction Uppaal is a new tool suite for automatic verification of safety and bounded

platforms. The current version (1.2) is distributed with a complete manual, example suites, a tutorial in the form of on-line lecture notes [Pfe], and an Emacs interface. Source and binary distributions are accessible via the Twelf home page http://www.cs.cmu.edu/~twelf. 1 The Twelf System The Twelf

, Dordrecht. Any comments and corrections are highly welcome. Please email me at rpg@arp.anu.edu.au The latest version of this document can be obtained via my WWW home page: http://arp.anu.edu.au/ Tableau Methods for Modal and Temporal Logics Rajeev Gor'e Contents 1 Introduction

Jan 2005 Index Home Page Editor's Note: This is a milestone article that deserves careful study. Connectivism should not be con fused with constructivism. George Siemens advances a theory of learning that is consistent with the needs of the twenty first century. His theory takes into account

we use for decomposing Java and the JVM, and the literature we used. For additional information on the book and updates made after its publication, see the Home Page of Jbook at http://www.inf.ethz.ch/~jbook. 1.1 The goals of the book Our main goal is not to write an introduction to progr...

In this paper I will describe the Berkeley (group 1) approach to the GeoCLEF task for CLEF 2005. The main technique we are testing is the fusion of multiple probabilistic searches against different XML components using both Logistic Regression (LR) algorithms and a version of the Okapi BM-25 algorithm. We also combine multiple translations of queries in cross-language searching. Since this is the first time that the Cheshire system has been used for CLEF this approach can, at best, be considered a very preliminary base testing of some retrieval algorithms and approaches. The primary geographically based approaches taken for GeoCLEF were to georeference proper nouns in the text using a gazetteer derived from the World Gazetteer with both English and German names for each place, and to expand place names for regions or countries in the queries by the names of the countries or cities in those regions or countries.

Abstract. Current implementations of reflective Java typically either require access to source code, or require a modified Java platform. This makes them unsuitable for applying reflection to Commercial-off-the-Shelf (COTS) systems. The high level nature of Java bytecode makes on-the-fly rewritings of class files feasible and this has been exploited by a number of authors. However, in practice working at bytecode level is error prone and leads to fragile code. We propose using metaobject protocols in order to specify behavioural changes and use standard bytecode rewritings to implement the changes. We have developed a reflective Java called Kava that provides behavioural runtime reflection through the use of bytecode rewriting of Java classes. In this paper we discuss the binary rewriting approach, provide an overview of the Kava system and provide an example of an application of Kava. 1

WWW home page:http://ecs.soton.ac.uk

this report; the full set can be found through our World Wide Web home pages http://http.cs.berkeley.edu/~isaacc/

ABSTRACT Nanosuspension contains submicron colloidal dispersion of pharmaceutical active ingredient particles in a liquid phase stabilized by surfactants. The poor water solubility of drugs is major problem for drug formulation. The reduction of drug particles into the sub-micron range leads to a significant increase in the dissolution rate, bioavailability as well as improve stability. Nanosuspension consists of the pure poorly water-soluble drug without any matrix material suspended in dispersion. Nanosuspension many attempts have been made to deliver poorly water soluble drugs as a nanosuspension prepared by adopting various methods. Techniques such as media milling and homogenization have been used commercially for producing nanosuspension. Recently, the engineering of nanosuspension employing emulsions and microemulsion as templates. The unique features of nanosuspension have enabled their use in various dosage forms, including specialized delivery systems such as mucoadhesive hydrogels, parenteral, per oral, ocular and pulmonary routes.