Size exclusion chromatography (SEC, also called GPC or GFC) is the most important test method for the determination of the molecular properties of synthetic and natural macromolecules in solution. Different from traditional methods which only establish average property values, SEC allows the simple and fast determination of property distributions of macromolecules, e.g. molecular weight distrib...

We investigate the medium effect of a parity-time (PT)-symmetric bilayer on the quantum optical properties of an incident squeezed light at zero temperature (T=0 K). To do so, we use the canonical quantization approach and describe the amplification and dissipation properties of the constituent layers of the bilayer structure by Lorentz model to analyze the quadrature squeezing of the outgoing ...

Several laboratories have recently reported the isolation of the mRNA for immunoglobulin light chain and its translation in cell-free protein synthesizing systems (l-4). In two cases, the products of this cellfree synthesis have been characterized by acrylamide gel electrophoresis (3,4). Milstein et al. (3) have described the properties of a possible precursor of immunoglobulin light chain, syn...

We give an overview on our approach to symbolic simulation in the PVS theorem prover and demonstrate its usage in the realm of validation by executing speciication on incomplete data. In this way, one can test executable models for a possibly innnite class of test vectors with one run only. One of the main beneets of symbolic simulation in a theorem proving environment is enhanced productivity ...

We give an overview on our approach to symbolic simulation in the PVS theorem prover and demonstrate its usage in the realm of validation by executing speciication on incomplete data. In this way, one can test executable models for a possibly innnite class of test vectors with one run only. One of the main beneets of symbolic simulation in a theorem proving environment is enhanced productivity ...