SAT-based model checking without unrolling
AR Bradley - … Workshop on Verification, Model Checking, and …, 2011 - Springer
A new form of SAT-based symbolic model checking is described. Instead of unrolling the
transition relation, it incrementally generates clauses that are inductive relative to (and augment…
transition relation, it incrementally generates clauses that are inductive relative to (and augment…
The RCSB protein data bank: integrative view of protein, gene and 3D structural information
The Research Collaboratory for Structural Bioinformatics Protein Data Bank (RCSB PDB,
http://rcsb.org ), the US data center for the global PDB archive, makes PDB data freely …
http://rcsb.org ), the US data center for the global PDB archive, makes PDB data freely …
Web-based molecular graphics for large complexes
AS Rose, AR Bradley, Y Valasatava… - Proceedings of the 21st …, 2016 - dl.acm.org
The interactive visualization of very large macromolecular complexes on the web is becoming
a challenging problem as experimental techniques advance at an unprecedented rate …
a challenging problem as experimental techniques advance at an unprecedented rate …
[BOOK][B] The calculus of computation: decision procedures with applications to verification
AR Bradley, Z Manna - 2007 - books.google.com
Computational logic is a fast-growing field with applications in artificial intelligence, constraint
solving, and the design and verification of software and hardware systems. Written with …
solving, and the design and verification of software and hardware systems. Written with …
What's decidable about arrays?
AR Bradley, Z Manna, HB Sipma - … 2006, Charleston, SC, USA, January 8 …, 2006 - Springer
Motivated by applications to program verification, we study a decision procedure for satisfiability
in an expressive fragment of a theory of arrays, which is parameterized by the theories …
in an expressive fragment of a theory of arrays, which is parameterized by the theories …
How do children tell? The disclosure process in child sexual abuse
AR Bradley, JM Wood - Child abuse & neglect, 1996 - Elsevier
… Additional information regarding demographics and other case characteristics is provided in
Bradley … as scored as REC-ALL or REC-I~AR fp In addition, the folk~wing rules are relevant: …
Bradley … as scored as REC-ALL or REC-I~AR fp In addition, the folk~wing rules are relevant: …
Linear ranking with reachability
AR Bradley, Z Manna, HB Sipma - International Conference on Computer …, 2005 - Springer
We present a complete method for synthesizing lexicographic linear ranking functions
supported by inductive linear invariants for loops with linear guards and transitions. Proving …
supported by inductive linear invariants for loops with linear guards and transitions. Proving …
Deep generative models for 3D linker design
Rational compound design remains a challenging problem for both computational methods
and medicinal chemists. Computational generative methods have begun to show promising …
and medicinal chemists. Computational generative methods have begun to show promising …
[HTML][HTML] A multi-crystal method for extracting obscured crystallographic states from conventionally uninterpretable electron density
In macromolecular crystallography, the rigorous detection of changed states (for example,
ligand binding) is difficult unless signal is strong. Ambiguous (‘weak’ or ‘noisy’) density is …
ligand binding) is difficult unless signal is strong. Ambiguous (‘weak’ or ‘noisy’) density is …
Abuse subtypes and nonsuicidal self-injury: Preliminary evidence of complex emotion regulation patterns
JJ Muehlenkamp, PL Kerr, AR Bradley… - The Journal of nervous …, 2010 - journals.lww.com
Research has identified complex relationships between abuse experiences, emotion
regulation, and nonsuicidal self-injury (NSSI). Data generally indicate that individuals with an …
regulation, and nonsuicidal self-injury (NSSI). Data generally indicate that individuals with an …