Implementations of Software Transactional Memory (STM) algorithms associate metadata with the memory locations accessed during a transaction’s lifetime. This metadata may be stored either in-place, by wrapping every memory cell in a container that includes the memory cell itself and the corresponding metadata; or out-place (also called external), by resorting to a mapping function that associat...

Along with rapidly developing nanotechnology, new types of analytical instruments and techniques are needed. Here we report an alternative procedure for electrical measurements on semiconductor nanowhiskers, allowing precise selection and visual control at close to atomic resolution. We use a combination of two powerful microscope techniques, scanning tunneling microscopy (STM) and simultaneous...

Scanning tunneling microscopy (STM), with surface sensitivity, is an ideal tool to probe the intriguing properties of the surface state of topological insulators (TIs) and topological crystalline insulators (TCIs). We summarize the recent progress on those topological phases revealed by STM studies. STM observations have directly confirmed the existence of the topological surface states and cle...

Single atom/molecule manipulation with a scanning-tunneling-microscope STM tip is an innovative experimental technique of nanoscience. Using a STM tip as an engineering or analytical tool, artificial atomic-scale structures can be fabricated, novel quantum phenomena can be probed, and properties of single atoms and molecules can be studied at an atomic level. The STM manipulations can be perfor...

Software transactional memory (STM) systems are an attractive environment to evaluate optimistic concurrency. We describe our experience of supporting and optimizing an STM system at both the managed runtime and compiler levels. We describe the design policies of our STM system, and the statistics collected by the runtime to identify performance bottlenecks and guide tuning decisions. We presen...

Space and time appear to play key roles in the way that information is organized in short-term memory (STM). Some argue that they are crucial contexts within which other stored features are embedded, allowing binding of information that belongs together within STM. Here we review recent behavioral, neurophysiological and imaging studies that have sought to investigate the nature of spatial, seq...

The controlled switching between two quasistable Néel states in adsorbed antiferromagnetic Fe chains has recently been achieved by Loth et al. [Science 335, 196 (2012)] using tunneling electrons from an STM tip. In order to rationalize their data, we evaluate the rate of tunneling electron-induced switching between the Néel states. Good agreement is found with the experiment, permitting us to i...

We present a compositional method for verifying software transactional memory (STM) implementations and its application to the Bartok STM. The method consists of two parts. The first is a generic, manual proof of serializability at the algorithm level for lazy-invalidate, write-in-place STM’s. The proof relies on three properties of program executions that the STM must ensure. The second part c...

Binding is a cognitive function responsible for integrating features within complex stimuli (e.g., shape-colour conjunctions) or events within complex memories (e.g., face-name associations). This function operates both in short-term memory (STM) and in long-term memory (LTM) and is severely affected by Alzheimer's disease (AD). However, forming conjunctions in STM is the only binding function ...

We investigated the effects of collective or individual self-construal priming on recall in a short-term memory (STM) task. We primed participants to either their individual or their collective self-construals or a neutral control condition. Participants then completed a STM retrieval task using either random or patterned digit strings. Findings revealed that priming an individual self-construa...