In this paper we examine the specification and validation of Artificial Intelligence Planning domain models using the B Abstract Machine Notation and its associated tool support. We compare this to the use of OCL (object-centred language) within its tool-supported environment, GIPO. We present encodings of two well-known AI planning domain models, the Blocks world and the Tyres world, with the ...

Jaipur food designed and developed by Dr. P.K. Sethi is second most widely used foot piece in the world after SACH foot (Solid ankle cushion heel). SACH foot was designed for use in colder climate of western countries. The work on culture specific innovation, The Jaipur foot started with the modification of SACH foot. Jaipur foot made up of microcellular rubber and wooden ankle block with iron ...

The paper introduces mathematical models of a skid steered mobile platform for robotics. The platform consists of a rectangular steel construction with four wheels. Two banks of two drive wheels on each side are linked to two DC electrical motors via chain on sprocket drive and gearing. The two drive assemblies for the left and right banks are identical but they operate independently to steer t...

Manmade nanoparticles range from the well-established multi-ton production of carbon black and fumed silica for applications in plastic fillers and car tyres to microgram quantities of fluorescent quantum dots used as markers in biological imaging. As nano-sciences are experiencing massive investment worldwide, there will be a further rise in consumer products relying on nanotechnology. While b...

Biaya Operasional merupakan salah satu komponen utama dalam suatu perusahaan. Komponen ini sangat diperlukan guna untuk melancarkan jalannya aktivitas bisnis. operasional biasanya dikaitkan dengan pengeluaran yang berhubungan pembelian alat atau fasilitas bisnis lainnya.
 Berdasarkan dari hasil penelitian telah dilakukan selama bulan lebih di PT SIMS JAYA KALTIM mengetahui persentase biaya...

The article takes a design perspective on the issue of innovation in the public sector. It argues that innovations aimed at improving the efficiency of the public sector seriously risks making it dangerously fragile at a time when it needs to become more adaptable. Drawing on Donald Schön’s ideas on the role of government as a facilitator of learning, rather than as ‘experimentor for the nation...

The Magic Formula and SWIFT tyre models are well-known semi-empirical tyre models for vehicle dynamic simulations. Up to now, the only way to account for inflation pressure changes is to identify all model parameters for each inflation pressure that has to be considered. Since this is a time consuming and consequently expensive activity, research at TNO and Eindhoven University of Technology wa...