The goal of this study was to develop pregelatinized starch (P-St) and polyvinyl alcohol (PVOH) fi lms as water-soluble laundry plastic bags avoid having contact with COVID-19 infected clothes by extrusion method. effects content on the properties were examined. PVOH P-St blend compounded twin- screw extruder various 0, 10, 20, 30, 40% weight xed glycerol 20 phr. produced blown lm extrusion. ch...

In this article, we present general properties of xed-point groups of the automorphisms of nite groups. Speci cally, we determine the form of xed-point groups and partition Aut(G) according to the number of xed points possessed by each automorphism. A function θ records the size of each partitioning set; we nd properties for θ in general and develop formulae for θ with respect to certain classe...

The Steiner tree problem is to nd the tree with minimal Euclidean length spanning a set of xed points in the plane, given the ability to add points (Steiner points). The problem is NP-hard, so polynomial-time heuristics are desired. We present two such heuristics, both of which utilize an eecient method for computing a locally optimal tree with a given topology. The rst systematically inserts S...

typically based on administration of allogeneic blood products, although the evidence supporting this approach is poor [1]. Fixed-ratio protocols have been proposed for administering fresh frozen plasma, red blood cells and platelets, but the optimal ratio has not been established and the speed of intervention may be more important [2]. In contrast to fi xed-ratio treatment, coagulation factor ...

We introduce Partitioned Dependency Graphs (PDGs), an abstract framework for the speci cation and evaluation of arbitrarily nested alternating xed points. The generality of PDGs subsumes that of similarly proposed models of nested xed-point computation such as Boolean graphs, Boolean equation systems, and the propositional modal mu-calculus. Our main result is an e cient local algorithm for eva...

This paper presents a fl exible method for zoom lens calibration and modeling using a planar checkerboard. The method includes the following four steps. First, the principal point of the zoom-lens camera is determined by a focus-of-expansion approach. Second, the infl uences of focus changes on the principal distance are modeled by a scale parameter. Third, checkerboard images taken at varying ...

Constructive type theory as conceived by Per Martin-LL of has a very rich type system, but partial functions cannot be typed. This also makes it impossible to directly write recursive programs. In this paper a constructive type theory Red is deened which includes a partial type constructor A; objects in the type A may diverge, but if they converge, they must be members of A. A xed point typing ...

We deene Ehrenfeucht-Fra ss e games which exactly capture the expressive power of the extremal xed point operators of modal mu-calculus. The resulting games have signiicance, we believe, within and outside of concurrency theory. On the one hand they naturally extend the iterative bisimulation games associated with Hennessy-Milner logic, and on the other hand they ooer deeper insight into the lo...

To the Editor: A recent perspective in this journal (1) pointed out problems with the present, county-referenced system for reporting spatial epidemiologic data. Problems identi-fi ed included coarse spatial resolution of county-referenced data and differences across the United States in size of counties, making data for the western part of the country coarser in resolution than data for the ea...