TCP suffers from low performance over Asynchronous Transfer Mode (ATM) networks. This is mainly because during phases of congestion, ATM drops cells without taking into account the effect this has on the upper layer protocols. Two main algorithms, called PPD and EPD, were proposed in the past for improving TCP performance. However, they address one aspect of the problem, that has only small eff...

ÐSymbolic model checking based on binary decision diagrams is a powerful formal verification technique for reactive systems. In this paper, we present various optimizations for improving the time and space efficiency of symbolic model checking for systems specified as statecharts. We used these techniques in our analyses of the models of a collision avoidance system and a faulttolerant electric...

SiO2-ZrO2 sols have been prepared via acid catalysis using a commercial colloidal suspension of zirconia and two silica alkoxides; tetraethoxysilane (TEOS) and methyltriethoxysilane (MTES). Suspensions with 10, 15 and 25-mol% of ZrO2 were prepared. The stability of the suspensions was followed by rheological measurements showing that the amount of water incorporated with the colloidal suspensio...

We have developed a small, light, and multi-functional electronic personal dosimeter (EPD) using four semiconductor radiation detectors for dose monitoring of workers at nuclear power plants and high-energy accelerator facilities. This dosimeter is about 103 x 55 x 15 mm in size and approximately 110 g in weight, and capable of measuring gamma-ray and neutron doses in Hp(10), and beta-ray dose ...

Closed-loop power control providing maximum capacity of the multicarrier channel with frequency selective Nakagami fading is investigated. Use of the famous Gallager channel capacity (water-filling) theorem with the assumption of limited transmitter power and independent fading in partial channels leads to the algorithm for their optimal power loading. Analytical expressions for the capacity of...

The European Pollen Database (EPD) is a community effort to archive and make available pollen sequences from across the European continent. Pollen sequences provide records that may be used to infer past vegetation and vegetation change. We present here maps based on 828 sites from the EPD giving an overview of changes in postglacial pollen assemblages in Europe over the past 15,000 years. The ...

| It is known 14] that TCP throughput can degrade signii-cantly over UBR service in a congested ATM network, and the early packet discard (EPD) technique has been proposed to improve the performance. However, recent studies 11], 16] show that EPD cannot ensure fairness among competing VCs in a congested network, but the degree of fairness can be improved using various forms of fair buuer alloca...

Extramammary Paget disease (EPD) is a rare malign neoplasm that may affect the vulva and has manifestations common to benign diseases such as itching, pain and eczema. This leads to delay in diagnosis and consequent worse prognosis. The definitive diagnosis is obtained by biopsy of the vulva, which shows Paget cells. The treatment of choice is wide excision with margins, which leads to sequelae...

To model this problem, we use the Evolutionary Prisoner’s Dilemma (EPD) [3] to capture the tension between individual and social utility. In the situations that EPD characterizes, cooperation requires repetition and reputation. Both techniques increase familiarity between entities (either directly or indirectly), thereby reducing the probability of interactions with strangers and consequently e...

We have studied the fracture, strain, and stress of electrophoretically deposited EPD films of CdSe nanocrystals as a function of the film thickness, nanocrystal size, and drying method. Fracture results from the film stress that develops with the loss of residual solvent after EPD when the film exceeds a threshold thickness that increases with nanocrystal core diameter from 300 to 1200 nm for ...