of Thesis Presented to the Graduate School of the University of Florida in Partial Ful llment of the Requirements for the Degree of Master of Science A FORMAL APPROACH TO TWO-DIMENSIONAL TEMPORAL DATABASES By Seung-Kyum Kim May, 1993 Chairman: Dr. Sharma Chakravarthy Major Department: Computer and Information Sciences In this thesis, we propose a formal de nition of temporal validity, which we ...

Even using an authenticated synchronous broadcast model, the task of unforgeably time-stamping digital documents still presents some problems. It is simply not practical to assume that all participants will record and store everyone else's documents so that creation times can be veri ed. This paper presents a time and space e cient method for accumulation of time-stamped documents. Whenever a q...

American foulbrood disease (AFB), caused by the bacterium Paenibacillus larvae, is a disease of the European honey bee (Apis mellifera) and other honey bee species (Apis sp.). It is distributed world wide. Spores of the bacterium can infest larvae of the bees, ultimately leading to the death of the larva or pupa. Although often spores are present in bee colonies, it only sporadically leads to s...

Regulation of tissue development and repair depends on communication between neighbouring cells. Recent advances in cell micro-contact printing and microfluidics have facilitated the in-vitro study of homotypic and heterotypic cell-cell interaction. Nonetheless, these techniques are still complicated to perform and as a result, are seldom used by biologists. We report here development of a temp...

Proteins and small molecules are the effectors of physiological action in biological systems and comprehensive methods are needed to analyze their modifications, expression levels and interactions. Systems-scale characterization of the proteome requires thousands of components in high-complexity samples to be isolated and simultaneously probed. While protein microarrays offer a promising approa...

In order to solve the problem that due to the unreasonable parameter Settings when use CAE analysis to produce the cars covering parts mould, such as sheet wrinkling, cracking, and more than an acceptable range of rebound. This article used CAE analysis software to find relatively reasonable parameters to achieve a reasonable analysis in the process of sheet metal forming defects and to put for...

In rugby union, laceration injuries can occur from players stamping on opponents in the ruck. To measure the stud-skin interaction during stamping movements, pressure sensors can be used. Pressure sensor calibration techniques have highlighted the need to perform calibrations using appropriate impact dynamics. A pilot study with seven rugby players informed the expected peak forces and loading ...