Reference models, whose aim is to capture domain knowledge, can assist in the adequate design of enterprise specific business processes. In complex organisations, business processes can be locally designed by specific organisational units. However, in order to be adequate, these processes should meet the local needs while maintaining the organisational standards. For this purpose, we propose to...

In [12] it is shown that the probabilistic powerdomain of a continuous domain is again continuous. The category of continuous domains, however, is not cartesian closed, and one has to look at subcategories such as RB, the retracts of bifinite domains. [8] offers a proof that the probabilistic powerdomain construction can be restricted to RB. In this paper, we give a counterexample to Graham’s p...

Although the immunoglobulin-like beta-sandwich fold has no specifically conserved function, some common structural features have been observed, in particular a structural motif, the tyrosine corner. Such a motif was described in neocarzinostatin (NCS), a bacterial protein the structure of which is very similar to that of the immunoglobulin domain. Compared with the other beta-sheet proteins, th...

First, notions of inside components and outside components are introduced for any subset of n-dimensional Euclid space. Next, notions of the bounded domain and the unbounded domain are defined using the above components. If the dimension is larger than 1, and if a subset is bounded, a unbounded domain of the subset coincides with an outside component (which is unique) of the subset. For a spher...

This paper derives a new and surprisingly low complexity result for inference in a new form of Reiter’s propositional default logic [18]. The problem studied here is the default inference problem whose fundamental importance was pointed out by Kraus, Lehmann, and Magidor [12]. We prove that “normal” default inference, in propositional logic, is a problem complete for co-NP(3), the third level o...

Advances in membrane cell biology are hampered by the relatively high proportion of proteins with no known function. Such proteins are largely or entirely devoid of structurally significant domain annotations. Structural bioinformaticians have developed profile-profile tools such as HHsearch (online version called HHpred), which can detect remote homologies that are missed by tools used to anno...

In this article, I model how a problem-posing framework can be used to enhance our abilities to systematically generate mathematical problems by modifying the attributes of a given problem. The problem-posing model calls for the application of the following fundamental mathematical processes: proving, reversing, specializing, generalizing, and extending. The given problem turned out to be a ric...

Single-molecule atomic force microscopy (AFM) was used to investigate the mechanical properties of titin, the giant sarcomeric protein of striated muscle. Individual titin molecules were repeatedly stretched, and the applied force was recorded as a function of the elongation. At large extensions, the restoring force exhibited a sawtoothlike pattern, with a periodicity that varied between 25 and...

From the Clinical Pathological Conference Series, Department of Medicine, Brigham and Women’s Hospital, Harvard Medical School, Boston (J.M.C., J.T.K., B.D.L., J.L.); and the Department of Medicine, Division of Hematology/ Oncology, University of Pennsylvania, Philadelphia (A.C.). Address reprint requests to Dr. Loscalzo at the Department of Medicine, Brigham and Women’s Hospital, Harvard Medic...

Is there any cartesian-closed category of continuous domains that would be closed under Jones and Plotkin’s probabilistic powerdomain construction? This is a major open problem in the area of denotational semantics of probabilistic higher-order languages. We relax the question, and look for quasi-continuous dcpos instead. We introduce a natural class of such quasi-continuous dcpos, the !QRB-dom...