Structural subtyping is popular in research languages, but all mainstream object-oriented languages use nominal subtyping. Since languages with structural subtyping are not in widespread use, the empirical questions of whether and how structural subtyping is useful have thus far remained unanswered. This study aims to provide answers to these questions. We identified several criteria that are i...

We present an empirical comparison between dynamic and static methods for structural symmetry breaking (SSB). SSB was recently introduced as the first method for breaking all piecewise value and variable symmetries in a constraint satisfaction problem. So far it is unclear which of the two techniques is better suited for piecewise symmetric CSPs, and this study presents results from the first e...

of a dissertation at the University of Miami. Dissertation supervised by Professor Gerhard Dahl No. of pages in text. (85) Pannexins are vertebrate proteins with limited sequence homology to the invertebrate gap junction proteins, the innexins. However, in contrast to innexins and the vertebrate connexins, pannexins do not form gap junction channels. Instead they appear to solely function as un...

Polyribosomes, ribosomes, and ribosomal subunits were prepared from rat liver using sodium deoxycholate and a variety of ionic media. They were examined in the electron microscope, mainly as negatively or positively stained preparations, and in the analytical ultracentrifuge. The polyribosomes consist of up to twelve or more ribosomes linked by a fine strand, 10 to 15 A in diameter, probably of...

Software engineers strive to understand software’s evolution and make software better and more reliable. In the last decade, software’s life cycle became an interesting research area. However, software evolution could be analyzed from different aspects. In the study, we focused on analyzing structural software changes between software’s versions. We used the WatiN project and observed its struc...

When integrating the views of a large telecommunications application database at Bellcore, it was found that some pairs of view objects had significant structural similarities but differed semantically. + This observation motivated the design of the structural integration methodology, described in this article. Currently existing view and schema integration methodologies are based on semantic c...

terns require a different approach to software documentation than has traditionally been used. In understanding large, evolving software systems, structural redocumentation through reverse engineering plays a key role. Reconstructing and effectively redocumenting the design of existing software systems is even more difficult than initial design. Recognizing abstractions in real-world systems is...