Learn More
We propose a novel formalism, called <italic>Frame Logic</italic> (abbr., F-logic), that accounts in a clean and declarative fashion for most of the structural aspects of object-oriented and frame-based languages. These features include object identity, complex objects, inheritance, polymorphic types, query methods, encapsulation, and others. In a sense,(More)
We present a logic for reasoning about complex objects, which is a revised and significantly extended version of Maier's O-logic [Mai86]. The logic naturally supports complex objects, object identity, deduction, is tolerant to inconsistent data, and has many other interesting features. It elegantly combines the object-oriented and value-oriented paradigms(More)
Software design is a team activity, and designing effective tools to support collaborative software design is a challenging task. Designers work together in a variety of different styles, and move frequently between these styles throughout the course of their work. As a result, software design tools need to support a variety of collaborative styles, and(More)
We recently demonstrated that yeast actively import lysophosphatidylethanolamine (lyso-PtdEtn) through the action of plasma membrane P-type ATPases and rapidly acylate it to form PtdEtn. The predominant lyso-PtdEtn acyltransferase (LPEAT) activity present in cellular extracts is acyl-CoA dependent, but the identity of the gene encoding this activity was(More)
Age-associated central arterial wall stiffness is linked to extracellular matrix remodeling, including fibrosis and vascular calcification. Angiotensin II induces both matrix metalloproteinase 2 (MMP2) and calpain-1 expression and activity in the arterial wall. However, the role of calpain-1 in MMP2 activation and extracellular matrix remodeling remains(More)
An Ig superfamily cell-adhesion molecule, L1, forms an adhesion complex at the cell membrane containing both signaling molecules and cytoskeletal proteins. This complex mediates the transduction of extracellular signals and generates actin-mediated traction forces, both of which support axon outgrowth. The L1 cytoplasmic region binds ezrin, an adapter(More)
We recently described a new route for the synthesis of phosphatidylethanolamine (PtdEtn) from exogenous lyso-PtdEtn, which we have termed the exogenous lysolipid metabolism (ELM) pathway. The ELM pathway for lyso-PtdEtn requires the action of plasma membrane P-type ATPases Dnf1p and Dnf2p and their requisite beta-subunit, Lem3p, for the active uptake of(More)
An accumulation of milk fat globule EGF-8 protein (MFG-E8) occurs within the context of arterial wall inflammatory remodeling during aging, hypertension, diabetes mellitus, or atherosclerosis. MFG-E8 induces VSMC invasion, but whether it affects VSMC proliferation, a salient feature of arterial inflammation, is unknown. Here, we show that in the rat(More)