All planar graphs are 4-colorable and 5-choosable, while some planar graphs are not 4-choosable. Determining which properties guarantee that a planar graph can be colored using lists of size four has received significant attention. In terms of constraining the structure of the graph, for any l∈{3,4,5,6,7}" role="presentation" style="box-sizing: border-box; display: inline; line-height: normal; ...

This paper describes a method to verify safety properties of parameterized linear networks of processes. The method is based on the construction of a network invariant , deened as a xpoint. Such invariants can often be automatically computed using heuristics based on Cousot's widening techniques. These techniques have been implemented and some non-trivial examples are presented.

We demonstrated the effectiveness of delivering an antimicrobial purge/fluid into shrink-wrap bags immediately prior to introducing the product and vacuum sealing, namely the "Sprayed Lethality In Container" (SLIC™) intervention delivery method. The pathogen was Listeria monocytogenes, the antimicrobials were acidic calcium sulfate (ACS; calcium sulfate plus lactic acid; 1:1 or 1:2 in dH(2)O) a...

This paper presents the results of a study on the axial compressive strength of columnsstrengthened with FRP wrap. The experimental part of the study included testing 6 reinforcedconcrete columns in two series. The first series comprised three similar circular reinforced concretecolumns strengthened with FRP wrap. The second series consisted of three similar square columns,two with sharp corner...

Carbon nanotubes are a recently discovered material with excellent mechanical, thermal, and electronic properties. In particular, they are potential ballistic transporters and are theorized to have thermal conductivities greater than any other material currently known. In this thesis, we will examine two possible applications of carbon nanotubes in CMOS back-end processing. The first applicatio...

Kinetochores take alter native transportation K inetochores heading for the spindle poles early in mitosis have two travel options, as Tanaka et al. show on page 269. They can slide on microtubules or get tugged along as the fi bers shrink. Before it can parcel out its chromosomes, a mitotic cell has to position them between the spindle poles. The process starts when microtubules from one pole ...

Mammographic images are used for detection of breast cancer in women. In this paper denoising algorithms for mammographic images in wavelet domain are considered. A modified approach for denoising of mammographic images using Diversity Enhanced Wavelet Transform has been proposed. Diversity of the Wavelet Transform is enhanced by taking different mother wavelets and different number of levels t...