PEBBLE GAMES, PROOF COMPLEXITY, AND TIME-SPACE TRADE-OFFS

Pebble Games, Proof Complexity, and Time-Space Trade-offs

Pebble games were extensively studied in the 1970s and 1980s Gilet in a number of different contexts.The last decade has seen a revival of interest in pebble games coming from the field of proof complexity.Pebbling has proven to be a useful tool for studying resolution-based proof systems when comparing the strength of different subsystems, showing

read more




IMAGING OF FLUOROPHORES IN CHROMATOGRAPHIC BEADS, RECONSTRUCTION OF RADIAL DENSITY DISTRIBUTIONS AND CHARACTERISATION OF PROTEIN UPTAKING PROCESSES

A new adjustment calculus is Chair presented to determine the true intraparticle distribution of bound protein within chromatographic beads from confocal fluorescence slice series.The calculus does not require knowledge about optical properties of different chromatographic materials like refractive index and turbidity, but it depends on a parameter

read more