Randal Bryant

Known as: Randal E. Bryant, Randy Bryant 
Randal E. Bryant (born October 27, 1952) is an American computer scientist and academic noted for his research on formally verifying digital hardware… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
People create morphs, a special type of fake alternative names, to achieve certain communication goals such as expressing strong… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • table 2
Is this relevant?
2014
2014
⁎ Corresponding author. Department of Communicatio Evolution, and Culture, University of California, Los Angele CA 90095-1563… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
2012
2012
We analyze a unique database from a sample of real-world boardrooms — minutes of board meetings and board-committee meetings of… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2009
2009
How can we automatically spot all outstanding observations in a data set? This question arises in a large variety of applications… (More)
Is this relevant?
2007
2007
Coddington, Jonathan A. The Genera of the Spider Family Theridiosomatidae. Smithsonian Contributions to Zoology, number 422, 96… (More)
Is this relevant?
2005
2005
Conformant planning is a variation of classical AI planning where the initial state is partially known and actions can have… (More)
  • table 1
  • table 2
Is this relevant?
2001
2001
K e y w o r d s E u c l i d e a n invariance, Extremals, Lagrangian function, Parameter invariance, Surface shape optimization. 1… (More)
Is this relevant?
1999
1999
Analyses of betatron coupling can be broadly divided into two categories: the matrix approach that decouples the single-turn… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1998
1998
the relationships between topography and crop yield. Graveel et al. (1989) observed that corn yields were The purpose of this… (More)
  • figure 1
  • figure 2
  • table 1
  • table 3
  • figure 4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Traditional fault models for testing CMOS VLSI circuits do not take into account the actual mechanisms that precipitate faults in… (More)
Is this relevant?