The behaviour of Distributed Shared Memory Systems is dictated by the memory consistency model. In order to provide a better understanding on the semantics of the memory models, many researchers have proposed formalisms to deene them. Even with formal deenitions, it is still diicult to say what kind of execution histories can be produced on a particular memory model. In this paper, we propose V...

this paper presents a mathematical model for the vibration analysis of a three-component piezoelectric force sensor. the cubic theory of weakly nonlinear electroelasticity is applied to the model for describing the electromechanical coupling effect in the piezoelectric sensing elements which operate in thickness-shear and thickness-stretch vibration modes. hamilton's principle is used to d...

Creativity is considered a positive personal trait. However, highly creative people have demonstrated elevated risk for certain forms of psychopathology, including mood disorders, schizophrenia spectrum disorders, and alcoholism. A model of shared vulnerability explains the relation between creativity and psychopathology. This model, supported by recent findings from neuroscience and molecular ...

In wireless ad hoc networks, capacity can be traded for delay. This tradeoff has been the subject of a number of studies, mainly concentrating on the two extremes: either minimizing the delay or maximizing the capacity. However, in between these extremes, there are schemes that allow instantiations of various degrees of this tradeoff. Infostations, which offer geographically intermittent covera...

The process of the acquisition of an agreed, shared task model as a means to structure interaction between expert users and knowledge engineers is described. The role existing (generic) task models play in this process is illustrated for two domains of application, both domains requiring diagnostic reasoning. In both domains different levels of interaction between an expert user and a diagnosti...

The memory model of OpenMP has been widely misunderstood since the first OpenMP specification was published in 1997 (Fortran 1.0). The proposed OpenMP specification (version 2.5) includes a memory model section to address this issue. This section unifies and clarifies the text about the use of memory in all previous specifications, and relates the model to well-known memory consistency semantic...

to perform an accurate approach to the spine specially for fracture stabilization a 3d model of spine surgical region may improve this mechanism and it can help the surgeon to have a deeper glance to this scenario. the pre-op planning facility is another advantage of the patient spine specific model to take a chance of making guides to direct pedicle screws safely and increase the pathomechanic...

Multi-subject fMRI data is critical for evaluating the generality and validity of findings across subjects, and its effective utilization helps improve analysis sensitivity. We develop a shared response model for aggregating multi-subject fMRI data that accounts for different functional topographies among anatomically aligned datasets. Our model demonstrates improved sensitivity in identifying ...

The cost of large scale data collection and annotation often makes the application of machine learning algorithms to new tasks or datasets prohibitively expensive. One approach circumventing this cost is training models on synthetic data where annotations are provided automatically. Despite their appeal, such models often fail to generalize from synthetic to real images, necessitating domain ad...