Kenneth M. Bayer

Learn More
  • B Abbott, R Abbott, R Adhikari, B Allen, R Amin, S B Anderson +361 others
  • 2003
For 17 days in August and September 2002, the LIGO and GEO interferometer gravitational wave detectors were operated in coincidence to produce their first data for scientific analysis. Although the detectors were still far from their design sensitivity levels, the data can be used to place better upper limits on the flux of gravitational waves incident on(More)
  • W Schmidt-Heck, R Guthke, S Toepfer, H Reischer, K Dürrschmid, K Bayer
  • 2004
The overexpression of recombinant proteins in microorganisms may lead to a metabolic depression or collapse of the cell factory. In order to understand this process and to optimize the cellular productivity the stress response was investigated. The expression of the recombinant human superoxide dismutase (SOD) was induced under steady state conditions and(More)
While many real-world combinatorial problems can be advantageously modeled and solved using Constraint Programming, scalability remains a major issue in practice. Constraint models that accurately reflect the inherent structure of a problem, solvers that exploit the properties of this structure, and reformu-lation techniques that modify the problem encoding(More)
The Laser Interferometer Gravitational-Wave Observatory (LIGO) has performed the fourth science run, S4, with significantly improved interferometer sensitivities with respect to previous runs. Using data acquired during this science run, we place a limit on the amplitude of a stochastic background of gravitational waves. For a frequency independent(More)
  • B Abbott, W G Anderson, S Babak, M A Barton, K Bayer, K Belczynski +59 others
  • 2007
We present upper limits on the gravitational wave emission from 78 radio pulsars based on data from the third and fourth science runs of the LIGO and GEO 600 gravitational wave detectors. The data from both runs have been combined coherently to maximise sensitivity. For the first time pulsars within binary (or multiple) systems have been included in the(More)
Introduction We present a Java applet that uses Constraint Processing (CP) to assist a human in playing the popular game Minesweeper. Our goal is to illustrate the power of CP techniques to model and solve combinatorial problems in a context accessible to the general public. Minesweeper is a video game that has been included with Microsoft Windows since(More)
Constraint Programming is a powerful approach for modeling and solving many combinatorial problems, scalability, however, remains an issue in practice. Abstraction and reformulation techniques are often sought to overcome the complexity barrier. In this paper we introduce four reformulation techniques that operate on the various components of a Constraint(More)
We present SOLVER, a Java applet that uses Constraint Processing (CP) techniques to assist human users in solving Sudoku puzzles. We also showcase CONSTRUCTOR, another applet that allows users to enter and store puzzles , which they can then load in SOLVER. These ap-plets are available from sudoku.unl.edu/Solver and su-doku.unl.edu/Constructor. Our goals(More)
We present a LIGO search for short-duration gravitational waves (GWs) associated with soft gamma ray repeater (SGR) bursts. This is the first search sensitive to neutron star f modes, usually considered the most efficient GW emitting modes. We find no evidence of GWs associated with any SGR burst in a sample consisting of the 27 Dec. 2004 giant flare from(More)
  • B Abbott, W G Anderson, S Babak, M A Barton, K Bayer, S J Berukoff +53 others
  • 2008
We present the results of a search for short-duration gravitational-wave bursts associated with 39 gamma-ray bursts (GRBs) detected by gamma-ray satellite experiments during LIGO's S2, S3, and S4 science runs. The search involves calculating the crosscorrelation between two interferometer data streams surrounding the GRB trigger time. We search for(More)