Le problème de l’ensemble minimal de paquets (minimal hitting set of bundles problem ou HSB) est défini comme suit. On dispose d’un ensemble E = {e1, e2, . . . , en} de n éléments. Chaque élément ei (i = 1, . . . , n) a un coût positif ou nul ci. Un paquet b est un sous ensemble de E . On dispose aussi d’une collection S = {S1, S2, . . . , Sm} de m ensembles de paquets. De manière plus précise,...

We give a sound and complete procedure for fence insertion for concurrent finite-state programs running under the PSO memory model. This model allows “write to read” and “write-to-write” relaxations corresponding to the addition of an unbounded store buffers between processors and the main memory. We introduce a novel machine model, called the Hierarchical Single-Buffer (HSB) semantics, and sho...

Corrosion significantly affects the structural behavior of members in a connection (i.e., thickness steel plates, preload force bolts, and friction factor plates). Safety assessment corroded frames beam-to-column connection, beams, or columns) has been major concern engineering. In this work, an experiment accelerated corrosion testing is carried out to obtain specimens connected with high-stre...

Shot Boundary Detection Approaches: • UIowa05SB01 – by frame histogram similarity • UIowa05SB02 – by frame pixel distance similarity • UIowa05SB03 – by frame histogram * distance (product) • UIowa05SB04 – by frame HSB similarity • UIowa05SB05 – by frame pixel distance & HSB • UIowa05SB06 – by frame product & HSB Failure to remove error induced in last year’s results makes any conclusions proble...

In this study, pulsed electric fields (PEFs) were evaluated as extraction-aiding technology during soymilk manufacturing to improve its isoflavone profile. Low-intensity PEFs applied at different processing conditions in two stages of the extraction process, hydrated soybeans (HSB) and soybean slurry (SBS), with extracted from conventional process control (CSM). Overall, resultant samples PEF-H...