backgroud: protein-protein interaction, plays a key role in signal transduction in signaling pathways. different approaches are used for prediction of these interactions including experimental and computational approaches. in conventional node-edge protein-protein interaction networks, we can only see which proteins interact but ‘structural networks’ show us how these proteins interact which ca...

This paper contains a theoretical formulation of multiple interface cracks in two bonded dissimilar half planes subjected to in-plane traction. The distributed dislocation technique is used to construct integral equations for a dissimilar mediums weakened by several interface cracks. These equations are of Cauchy singular type at the location of dislocation, which are solved numerically to obta...

The Tatami project is building a system to support software engineering over the internet, exploiting recent advances in web technology, interface design, and specification. Our effort to improve the usability of such systems led us into algebraic semiotics, while our effort to develop better formal methods for distributed concurrent systems led us into hidden algebra. We discuss the Tatami sys...

primary and widely in use computed tomography (ct) dose descriptor is a volumetric ct dose index (ctdiv) that is usually measured by a pencil ionization chamber with active length of 100mm and polymethyl methacrylate (pmma) phantom. ctdiv depends on scan parameters such as mas, kv, collimation, tube rotation time but is independent of patient’s size and shape. for the purpose of a good estimati...

in the present research, damage mechanisms during room temperature uniaxial tensile testing of two different modern high strength dual phase steels,dp780 and dp980, were studied. detailed microstructural characterization of the strained and sectioned samples was performed by scanning electron microscopy (sem). the results revealed that interface decohesion, especially at the triple junctions of...

Complex information structures can often be represented by diagrams. Diagrams (e.g., trees for hierarchical structures, or graphs for nite state machines) are useful as part of user interfaces of information systems and CASE tools. Beyond representation, manipulation by interactively editing diagrams should be possible. The implementation of editors for diagrams should be supported by a tool an...

Motivated by our earlier work on the IWIM model and the Manifold language, in this paper, we attend to some of the basic issues in component-based software. We present a formal model for such systems, a formal-logic-based component interface description language that conveys the observable semantics of components, a formal system for deriving the semantics of a composite system out of the seman...

This paper is based on ongoing work in developing interactive interfaces to formal methods for encoding design knowledge. It reports on the development of a shared graphical notation to support user interaction with design knowledge based on mixed-initiative. Mixed-initiative provides a model of interaction where both the designer and the knowledge formalism may share responsibility over decisi...

Ecological interface design (EID) has shown success as an approach for interface design in the case of a process control microworld. However, in applying the EID approach to larger systems, questions arise as how to support the navigation and integration of abstract information. In this study, three ecological displays were developed for a simulated power plant from the same abstraction hierarc...