Computer Science
Our faculty are connected to the latest trends in computing practices and research. Research interests range from classical and quantum computing to human-computer interaction to assistive technology to artificial intelligence and speech recognition, and so much more.
Submissions from 1995
Inferring Finite Automata with Stochastic Output Functions and an Application to Map Learning, Thomas Dean, Dana Angluin, Kenneth Basye, Sean Engelson, Leslie Kaelbling, Evangelos Kokkevis, and Oded Maron
A lower bound for monotone perceptrons, F. Green
The Power of the Middle Bit of a #P Function, F. Green, J. Kobler, K. W. Regan, T. Schwentick, and J. Toran
Lower bounds for depth-three circuits with equals and mod-gates, Frederic Green
Submissions from 1993
Graph-based mapping by mobile robots, Kenneth J. Basye
On the power of deterministic reductions to C=P, Frederic Green
Submissions from 1992
An Automata-based Approach to Robotic Map Learning, Kenneth Basye
A decision-theoretic approach to planning perception, and control, Kenneth Basye, Thomas Dean, Jak Kirman, and Moises Leiter
Inferring finite automata with stochastic output functions and an application to map learning, Thomas Dean, Dana Angluin, Kenneth Basye, Sean Engelson, Leslie Kaelbling, Evangelos Kokkevis, and Oded Maron
The power of the middle bit, Frederic Green, Johannes Kobler, and Jacobo Toran
Sensor Abstractions for Control of Navigation, Jak Kirman, Kenneth Basye, and Thomas Dean
Submissions from 1991
An oracle separating ΘP from PPPH, Frederic Green
Submissions from 1990
Map Learning with Indistinguishable Locations, Kenneth Basye and Thomas Dean
Coping with Uncertainty in a Control System for Navigation and Exploration, Thomas Dean, Kenneth Basye, Robert Chekaluk, Seungseok Hyun, Moises Lejter, and Margaret Randazza
Submissions from 1986
SU(2) deconfinement temperature on a body-centered hypercubic lattice, W. Celmaster, Eve Kovacs, F. Green, and R. Gupta
Submissions from 1985
A vectorized Monte Carlo algorithm for computing Wilson line observables in Su(2) gauge theory on a BCH lattice, W. Celmaster, F. Green, R. Gupta, and E. Kovacs
Submissions from 1984
Mean field analysis of SU(N) deconfining transitions in the presence of dynamical quarks, F. Green and F. Karsch
SU(4) deconfining transition at strong coupling: A Monte Carlo study, F. Green and F. Karsch
Submissions from 1983
Manifestly broken local symmetries at large N, William Celmaster and Frederic Green
Schwinger-Dyson equations in reduced, quenched, chiral models, Frederic Green
Strong coupling expansions for the string tension at finite temperature, Frederic Green
There is no roughening singularity at finite temperature, Frederic Green
The chiral phase transition at strong coupling, Frederick Green
Submissions from 1982
Calculating the large-N phase transition in gauge and matrix models, Frederic Green and Stuart Samuel
Submissions from 1981
Chiral models: Their implication for gauge theories and large N, Frederic Green and Stuart Samuel
