University of Wisconsin-Madison

About: University of Wisconsin-Madison is a education organization based out in Madison, Wisconsin, United States. It is known for research contribution in the topics: Population & Poison control. The organization has 108707 authors who have published 237594 publications receiving 11883575 citations.

Counterexample-guided abstraction refinement for symbolic model checking

Abstract: The state explosion problem remains a major hurdle in applying symbolic model checking to large hardware designs. State space abstraction, having been essential for verifying designs of industrial complexity, is typically a manual process, requiring considerable creativity and insight.In this article, we present an automatic iterative abstraction-refinement methodology that extends symbolic model checking. In our method, the initial abstract model is generated by an automatic analysis of the control structures in the program to be verified. Abstract models may admit erroneous (or "spurious") counterexamples. We devise new symbolic techniques that analyze such counterexamples and refine the abstract model correspondingly. We describe aSMV, a prototype implementation of our methodology in NuSMV. Practical experiments including a large Fujitsu IP core design with about 500 latches and 10000 lines of SMV code confirm the effectiveness of our approach.

Self-organization in growth of quantum dot superlattices.

Abstract: We investigate the growth of multilayer arrays of coherently strained islands, which may serve as ``quantum dots'' in electronic devices. A simple model reproduces the observed vertical correlation between islands in successive layers. However, the arrangement of islands is not simply repeated from layer to layer. Instead, the island size and spacing grow progressively more uniform. In effect, the structure ``self-organizes'' into a more regular three-dimensional arrangement, providing a possible route to obtain the size uniformity needed for electronic applications of quantum dot arrays.

The worldwide Protein Data Bank (wwPDB): ensuring a single, uniform archive of PDB data

Abstract: The worldwide Protein Data Bank (wwPDB) is the international collaboration that manages the deposition, processing and distribution of the PDB archive. The online PDB archive is a repository for the coordinates and related information for more than 38 000 structures, including proteins, nucleic acids and large macromolecular complexes that have been determined using X-ray crystallography, NMR and electron microscopy techniques. The founding members of the wwPDB are RCSB PDB (USA), MSD-EBI (Europe) and PDBj (Japan) [H.M. Berman, K. Henrick and H. Nakamura (2003) Nature Struct. Biol., 10, 980]. The BMRB group (USA) joined the wwPDB in 2006. The mission of the wwPDB is to maintain a single archive of macromolecular structural data that are freely and publicly available to the global community. Additionally, the wwPDB provides a variety of services to a broad community of users. The wwPDB website at http://www.wwpdb.org/ provides information about services provided by the individual member organizations and about projects undertaken by the wwPDB.

Cython: The Best of Both Worlds

Abstract: Cython is a Python language extension that allows explicit type declarations and is compiled directly to C. As such, it addresses Python's large overhead for numerical loops and the difficulty of efficiently using existing C and Fortran code, which Cython can interact with natively.