We investigate dynamic modal operators that can change the model during evaluation. We define the logic SL by extending the basic modal language with the ♦ modality, which is a diamond operator that in addition has the ability to invert pairs of related elements in the domain while traversing an edge of the accessibility relation. SL is very expressive: it fails to have the finite and the tree ...

SWAP-70 and DEF6, two proteins that feature similar domain and motif arrangements, are mainly known for their functions in differentiated hematopoietic cells. Both proteins interact with and regulate RhoGTPases and F-actin dynamics, yet their role in hematopoietic stem and precursor cells (HSPCs) remained unexplored. Here, the role of the SWEF proteins SWAP-70 and DEF6 in HSPCs was examined. Bo...

We have developed SWAP, a system that automatically detects process dependencies and accounts for such dependencies in scheduling. SWAP uses system call history to determine possible resource dependencies among processes in an automatic and fully transparent fashion. Because some dependencies cannot be precisely determined, SWAP associates confidence levels with dependency information that are ...

BACKGROUND An evaluation of standard automated perimetry (SAP) and short wavelength automated perimetry (SWAP) for the central 10-2 visual field test procedure in patients with age-related macular degeneration (AMD) is presented in order to determine methods of quantifying the central sensitivity loss in patients at various stages of AMD. METHODS 10-2 SAP and SWAP Humphrey visual fields and s...

Using the Shedler-Westen Assessment Procedure (SWAP)-200 Q-Sort items in a large clinical sample of outpatients (N = 105), we developed the SWAP insight scale. The rationale, psychometric properties, and convergent validity of this insight scale are reported. Through factor analysis, six of the SWAP-200 items were identified as psychometrically optimal in the assessment of insight (presence or ...

Communication in networks suffers if a link fails. When the links are edges of a tree that has been chosen from an underlying graph of all possible links, a broken link even disconnects the network. Most often, the link is restored rapidly. A good policy to deal with this sort of transient link failures is swap rerouting, where the temporarily broken link is replaced by a single swap link from ...

Eosinophils are the predominant inflammatory cells recruited to allergic airways. In this article, we show that human and murine eosinophils express SWAP-70, an intracellular RAC-binding signaling protein, and examine its role in mediating eosinophil trafficking and pulmonary recruitment in a murine model of allergic airway inflammation. Compared with wild-type eosinophils, SWAP-70-deficient (S...

PURPOSE To investigate the effect of cataract surgery and yellow-tinted intraocular lens (IOLs) implantation on perimetry indices of short-wavelength automated perimetry (SWAP) and standard automated perimetry (SAP) testing in patients with coexisting cataract and glaucoma. MATERIALS AND METHODS In this prospective comparative case series, phacoemulsification with implantation of yellow-tinte...

The malignant glioma is the most common primary human brain tumor. Its tendency to invade away from the primary tumor mass is considered a leading cause of tumor recurrence and treatment failure. Accordingly, the molecular pathogenesis of glioma invasion is currently under investigation. Previously, we examined a gene expression array database comparing human gliomas to nonneoplastic controls a...