Consolidation of Long-Term Memory: Evidence and Alternatives.

Memory loss in retrograde amnesia has long been held to be larger for recent periods than for remote periods, a pattern usually referred to as the Ribot gradient. One explanation for this gradient is consolidation of long-term memories. Several computational models of such a process have shown how consolidation can explain characteristics of amnesia, but they have not elucidated how consolidation must be envisaged. Here findings are reviewed that shed light on how consolidation may be implemented in the brain. Moreover, consolidation is contrasted with alternative theories of the Ribot gradient. Consolidation theory, multiple trace theory, and semantization can all handle some findings well but not others. Conclusive evidence for or against consolidation thus remains to be found. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

A Dual-Fed, Self-Diplexing PIFA and RF Front-End

A dual-fed, self-diplexing planar inverted F antenna and an associated RF front-end are described. It is shown that co-design of the antenna and front-end can be used to double the operational bandwidth, without significant size or performance penalties. Indeed, the use of two feeds allows the antenna to be self-diplexing, which results in improved overall efficiency     

GCase and LIMP2 Abnormalities in the Liver of Niemann Pick Type C Mice

The lysosomal storage disease Niemann–Pick type C (NPC) is caused by impaired cholesterol efflux from lysosomes, which is accompanied by secondary lysosomal accumulation of sphingomyelin and glucosylceramide (GlcCer). Similar to Gaucher disease (GD), patients deficient in glucocerebrosidase (GCase) degrading GlcCer, NPC patients show an elevated glucosylsphingosine and glucosylated cholesterol. In livers of mice lacking the lysosomal cholesterol efflux transporter NPC1, we investigated the expression of established biomarkers of lipid-laden macrophages of GD patients, their GCase status, and content on the cytosol facing glucosylceramidase GBA2 and lysosomal integral membrane protein type B (LIMP2), a transporter of newly formed GCase to lysosomes. Livers of 80-week-old Npc1^−/− mice showed a partially reduced GCase protein and enzymatic activity. In contrast, GBA2 levels tended to be reciprocally increased with the GCase deficiency. In Npc1^−/− liver, increased expression of lysosomal enzymes (cathepsin D, acid ceramidase) was observed as well as increased markers of lipid-stressed macrophages (GPNMB and galectin-3). Immunohistochemistry showed that the latter markers are expressed by lipid laden Kupffer cells. Earlier reported increase of LIMP2 in Npc1^−/− liver was confirmed. Unexpectedly, immunohistochemistry showed that LIMP2 is particularly overexpressed in the hepatocytes of the Npc1^−/− liver. LIMP2 in these hepatocytes seems not to only localize to (endo)lysosomes. The recent recognition that LIMP2 harbors a cholesterol channel prompts the speculation that LIMP2 in Npc1^−/− hepatocytes might mediate export of cholesterol into the bile and thus protects the hepatocytes.     

Interaction design for supporting communication between Chinese sojourners

In our global village, distance is not a barrier anymore for traveling. People experience new cultures and face accompanying difficulties in order to live anywhere. Social support can help these sojourners to cope with difficulties, such as culture shock. In this paper, we investigate how computer-mediated communication (CMC) tools can facilitate social support when living physically separated from loved-ones in different cultures. The goal is to understand the design considerations necessary to design new CMC tools. We studied communication practices of Chinese sojourners living in the Netherlands and the use of a technology probe with a novel video communication system. These results led to recommendations which can help designers to design interactive communication tools that facilitate communication across cultures. We conclude the paper with an interactive communication device called Circadian, which was designed based on these recommendations. We experienced the design recommendations to be abstract enough to leave space for creativity while providing a set of clear requirements which we used to base design decisions upon.     

A Novel Particle/Photon Detector Based on a Superconducting Proximity Array of Nanodots

The current frontiers in the investigation of high-energy particles demand for new detection methods. Higher sensitivity to low-energy deposition, high-energy resolution to identify events and improve the background rejection, and large detector masses have to be developed to detect even an individual particle that weakly interacts with ordinary matter. Here, we will describe the concept and the layout of a novel superconducting proximity array which show dynamic vortex Mott insulator to metal transitions, as an ultra-sensitive compact radiation-particle detector.     

Optimization of forging processes using Finite Element simulations

During the last decades, simulation software based on the Finite Element Method (FEM) has significantly contributed to the design of feasible forming processes. Coupling FEM to mathematical optimization algorithms offers a promising opportunity to design optimal metal forming processes rather than just feasible ones. In this paper Sequential Approximate Optimization (SAO) for optimizing forging processes is discussed. The algorithm incorporates time-consuming nonlinear FEM simulations. Three variants of the SAO algorithm—which differ by their sequential improvement strategies—have been investigated and compared to other optimization algorithms by application to two forging processes. The other algorithms taken into account are two iterative algorithms (BFGS and SCPIP) and a Metamodel Assisted Evolutionary Strategy (MAES). It is essential for sequential approximate optimization algorithms to implement an improvement strategy that uses as much information obtained during previous iterations as possible. If such a sequential improvement strategy is used, SAO provides a very efficient algorithm to optimize forging processes using time-consuming FEM simulations.     

Analyzing execution traces: critical-path analysis and distance analysis

International Journal on Software Tools for Technology Transfer - System designers make trade-offs between metrics of interest such as execution time, functional quality and cost to create a...     

Homogenization-based multiscale crack modelling: From micro-diffusive damage to macro-cracks

The existence of a representative volume element (RVE) for a class of quasi-brittle materials having a random heterogeneous microstructure in tensile, shear and mixed mode loading is demonstrated by deriving traction–separation relations, which are objective with respect to RVE size. A computational homogenization based multiscale crack modelling framework, implemented in an FE² setting, for quasi-brittle solids with complex random microstructure is presented. The objectivity of the macroscopic response to the micro-sample size is shown by numerical simulations. Therefore, a homogenization scheme, which is objective with respect to macroscopic discretization and microscopic sample size, is devised. Numerical examples including a comparison with direct numerical simulation are given to demonstrate the performance of the proposed method.     

Considerate home notification systems: a field study of acceptability of notifications in the home

A field study in ten homes was conducted to understand what influences users’ acceptability of notifications in the home environment. The key finding is that perceived message urgency is the primary indicator of acceptability of notifications in the home—if people think a message is urgent, they want the message to be shown immediately, regardless of what they are doing at the time of notification. The study also shows that the acceptability of low-urgent and medium-urgent messages could be improved by taking into account mental activity load at the time of notification. No effect of physical activity was found on acceptability. The results suggest that to improve the scheduling of notifications in the home, notification systems need a mechanism assessing both the message urgency and the mental activity load, whereas physical activity can be ignored. From a methodological point of view, it is difficult to measure acceptability of notifications in a realistic setting, given the need to balance experimental control with realistic context. The present paper suggests a way to introduce controlled notifications and subjective measurements of acceptability in homes.