0

We revisit the problem of real-time verification with dense time dynamics using timeout and calendar based models, originally proposed by Dutertre and Sorea, and simplify this to a finite state verification problem. To overcome the complexity of verification of real-time systems with dense time dynamics, Dutertre and Sorea, proposed timeout and calender based transition systems to model the beh...

In this paper, we propose an enhancement to DSR, called DSR with Connection-Aware Link-state Exchange aNd DiffERentiation (DSRCALENDER). Specifically, to effectively collect and disseminate neighbor link states to nodes which may potentially use them, we devise a neighbor link-state information exchange mechanism: once a connection has been established, the neighbor link-state information is ex...

A flax fiber pilot plant is needed to process small samples of flax straw into fibers to facilitate research on retting and fiber properties. Our objective was to develop and test a modular design for a flax processing pilot plant based on a commercial line that was capable of cleaning fiber and seed flax straw from unretted, dew-retted, and enzyme-retted samples. The USDA Flax Fiber Pilot Plan...

In this article we consider a fragment of the phenomenon spiritual culture Slavic people – winter cycle calendar ritual Polish and its reflection in semantics phraseology, archaic basis which represent mythological notions, prohibitions beliefs ancient Slavs. The aim work is to objective symbolic meaning festive ceremonies phraseology language, that reflects pagan Christians faith our ancestors...

Exposure to potentially alkylating in a rubber factory was measured by determining thioether concentrations in urine samples collected at the end of work on a Friday. The study population consisted of the total work force (113) in the production departments of a factory, and office clerks (111) in two factories of the same company. The highest excretion of thioethers was detected in female work...

The development of antimicrobial coatings for footwear components is of great interest both from industry and consumer's point of view. In this work, antimicrobial leather materials were developed taking advantage of chitosan intrinsic antimicrobial activity and film forming capacity. Considering the specificities of the leather tanning industry, different coating technologies, namely drum, cal...