Christian Laus

Learn More
Turtle auditory-hair cells are frequency-tuned by the activity of calcium-activated potassium (KCa) channels, a cell's characteristic frequency being determined by the KCa channel density and kinetics which both vary systematically along the cochlea. As a first step towards identifying the source of KCa channel variation, we have isolated, by(More)
Regular signed SAT is a variant of the well-known satisfiability problem in which the variables can take values in a fixed set V ⊂ [0, 1], and the literals have the form " x ≤ a " or " x ≥ a " instead of " x " or " ¯ x ". We answer some open question regarding random regular signed k-SAT formulas: The probability that a random formula is satisfiable(More)
  • 1