The management of very large knowledge bases presupposes efficient and robust implementation techniques, sophisticated user interfaces and tools to support knowledge acquisition, validation and evolution. This paper examines the problem of efficiently implementing a knowledge base management system by adopting database techniques. In particular, the paper describes algorithms for designing logi...

The VLSI design database (Vdd) system is a set of programs targeted to assist a circuit designer in layout design, verification, and simulation. As a subsystem in a package of integrated design aids, it also provides interface to other higherlevel tools. We state the major problems in designing Vdd and outline how these problems can be solved using existing database techniques. The problems are...

A 17-year-old female presented with dyspnea, chest pain, and a very large cyst occupying the entire right hemithorax Figure 1(A, B). The patient is under full cyst extending to membrane Figure 2 (A, B).

  Human hydatid cyst is a wide spread disease. It is an endemic disease in Iran. Hydatid cyst is extremely rare in the female reproductive organs. This is a case report of ovarian hydatid cyst in a 42-year-old woman. She presented with feeling of enlargement of abdomen and abdominal pain. On physical examination, a large mass in lower abdomen palpated. Ultrasonography reported a heterogeneous ...

This paper describes the T-Ruby system for designing VLSI circuits, starting from formal specifications in which they are described in terms of relational abstractions of their behaviour. The design process involves correctness-preserving transformations based on proved equivalences between relations, together with the addition of constraints. A class of implementable relations is defined. The ...

Consider a single planar grid, or two parallel planar grids of size w × n. The vertices of the grids are called terminals and pairwise disjoint sets of terminals are called nets. We aim at routing all nets in a cubic grid (above the single grid, or between the two grids holding the terminals) in a vertex-disjoint way. However, to ensure solvability, it is allowed to extend the length and the wi...

abstract In this paper, a new method named Dimension Reduction Technique (DRT) is presented for capacitance extraction of 3D multilayer and multiconductor interconnects. In this technique, a complex 3D problem is decomposed to a series of simpler 2D problems. Therefore, it results in dramatical savings in computing time and memory usage. Compared to FASTCAP, a eld solver based on BEM with multi...