Recognition memory effects in event-based prospective memory

Prospective memory (ProM) is the memory for future actions. It requires retrieving content of anaction in response to an ambiguous cue. Currently, it is unclear if ProM is a distinct form of memory, or merely a variant of retrospective memory (RetM). While content retrieval in ProM appears analogous to conventional RetM, less is known about the process of cue detection. Using a modified version of the standard ProM paradigm, three experiments manipulated stimulus characteristics known to influence RetM, in order to examine their effects on ProM performance. Experiment 1 (N — 80) demonstrated that low frequency stimuli elicited significantly higher hit rates and lower false alarm rates than high frequency stimuli, comparable to the mirror effect in RetM. Experiment 2 (N = 80) replicated these results, and showed that repetition of distracters during the test phase significantly increased false alarm rates to second and subsequent presentations of low frequency distracters. Building on these results. Experiment 3 (AT = 40) showed that when the study list was strengthened, the repeated presentation of targets and distracters did not significantly affect response rates. These experiments demonstrate more overlap between ProM and RetM than has previously been acknowledged. The implications for theories of ProM are considered.

A framework for specification-based testing

Test templates and a test template framework are introduced as useful concepts in specification-based testing. The framework can be defined using any model-based specification notation and used to derive tests from model-based specifications-in this paper, it is demonstrated using the Z notation. The framework formally defines test data sets and their relation to the operations in a specification and to other test data sets, providing structure to the testing process. Flexibility is preserved, so that many testing strategies can be used. Important application areas of the framework are discussed, including refinement of test data, regression testing, and test oracles.

Kinetics of elimination and distribution in blood and liver of biocompatible ferrofluids based on Fe(3)O(4) nanoparticles: An EPR and XRF study

In this study, we evaluated the biodistribution and the elimination kinetics of a biocompatible magnetic fluid, Endorem (TM), based on dextrancoated Fe(3)O(4) nanoparticles endovenously injected into Winstar rats. The iron content in blood and liver samples was recorded using electron paramagnetic resonance (EPR) and X-ray fluorescence (XRF) techniques. The EPR line intensity at g=2.1 was found to be proportional to the concentration of magnetic nanoparticles and the best temperature for spectra acquisition was 298 K. Both EPR and XRF analysis indicated that the maximum concentration of iron in the liver occurred 95 min after the ferrofluid administration. The half-life of the magnetic nanoparticles (MNP) in the blood was (11.6 +/- 0.6) min measured by EPR and (12.6 +/- 0.6) min determined by XRF. These results indicate that both EPR and XRF are very useful and appropriate techniques for the study of kinetics of ferrofluid elimination and biodistribution after its administration into the organism. (c) 2007 Elsevier B.V. All rights reserved.

Analyzing the connectivity between regions of interest: An approach based on cluster Granger causality for NRI data analysis

The identification, modeling, and analysis of interactions between nodes of neural systems in the human brain have become the aim of interest of many studies in neuroscience. The complex neural network structure and its correlations with brain functions have played a role in all areas of neuroscience, including the comprehension of cognitive and emotional processing. Indeed, understanding how information is stored, retrieved, processed, and transmitted is one of the ultimate challenges in brain research. In this context, in functional neuroimaging, connectivity analysis is a major tool for the exploration and characterization of the information flow between specialized brain regions. In most functional magnetic resonance imaging (fMRI) studies, connectivity analysis is carried out by first selecting regions of interest (ROI) and then calculating an average BOLD time series (across the voxels in each cluster). Some studies have shown that the average may not be a good choice and have suggested, as an alternative, the use of principal component analysis (PCA) to extract the principal eigen-time series from the ROI(s). In this paper, we introduce a novel approach called cluster Granger analysis (CGA) to study connectivity between ROIs. The main aim of this method was to employ multiple eigen-time series in each ROI to avoid temporal information loss during identification of Granger causality. Such information loss is inherent in averaging (e.g., to yield a single ""representative"" time series per ROI). This, in turn, may lead to a lack of power in detecting connections. The proposed approach is based on multivariate statistical analysis and integrates PCA and partial canonical correlation in a framework of Granger causality for clusters (sets) of time series. We also describe an algorithm for statistical significance testing based on bootstrapping. By using Monte Carlo simulations, we show that the proposed approach outperforms conventional Granger causality analysis (i.e., using representative time series extracted by signal averaging or first principal components estimation from ROIs). The usefulness of the CGA approach in real fMRI data is illustrated in an experiment using human faces expressing emotions. With this data set, the proposed approach suggested the presence of significantly more connections between the ROIs than were detected using a single representative time series in each ROI. (c) 2010 Elsevier Inc. All rights reserved.

Concurreny based transition refinement for the verification of distributed algorithms

We suggest a new notion of behaviour preserving transition refinement based on partial order semantics. This notion is called transition refinement. We introduced transition refinement for elementary (low-level) Petri Nets earlier. For modelling and verifying complex distributed algorithms, high-level (Algebraic) Petri nets are usually used. In this paper, we define transition refinement for Algebraic Petri Nets. This notion is more powerful than transition refinement for elementary Petri nets because it corresponds to the simultaneous refinement of several transitions in an elementary Petri net. Transition refinement is particularly suitable for refinement steps that increase the degree of distribution of an algorithm, e.g. when synchronous communication is replaced by asynchronous message passing. We study how to prove that a replacement of a transition is a transition refinement.

Surgical management of glomus jugulare tumors: a proposal for approach selection based on tumor relationships with the facial nerve Clinical article

Object. The goal of this paper is to analyze the extension and relationships of glomus jugulare tumor with the temporal bone and the results of its surgical treatment aiming at preservation of the facial nerve. Based on the tumor extension and its relationships with the facial nerve, new criteria to be used in the selection of different surgical approaches are proposed. Methods. Between December 1997 and December 2007, 34 patients (22 female and 12 male) with glomus jugulare tumors were treated. Their mean age was 48 years. The mean follow-up was 52.5 months. Clinical findings included hearing loss in 88%, swallowing disturbance in 50%, and facial nerve palsy in 41%. Magnetic resonance imaging demonstrated a mass in the jugular foramen in all cases, a mass in the middle ear in 97%, a cervical mass in 85%, and an intradural mass in 41%. The tumor was supplied by the external carotid artery in all cases, the internal carotid artery in 44%, and the vertebral artery in 32%. Preoperative embolization was performed in 15 cases. The approach was tailored to each patient, and 4 types of approaches were designed. The infralabyrinthine retrofacial approach (Type A) was used in 32.5%; infralabyrinthine pre- and retrofacial approach without occlusion of the external acoustic meatus (Type B) in 20.5%; infralabyrinthine pre- and retrofacial approach with occlusion of the external acoustic meatus (Type C) in 41 W. and the infralabyrinthine approach with transposition of the facial nerve and removal of the middle ear structures (Type D) in 6% of the patients. Results. Radical removal was achieved in 91% of the cases and partial removal in 9%. Among 20 patients without preoperative facial nerve dysfunction, the nerve was kept in anatomical position in 19 (95%), and facial nerve function was normal during the immediate postoperative period in 17 (85%). Six patients (17.6%) had a new lower cranial nerve deficit, but recovery of swallowing function was adequate in all cases. Voice disturbance remained in all 6 cases. Cerebrospinal fluid leakage occurred in 6 patients (17.6%), with no need for reoperation in any of them. One patient died in the postoperative period due to pulmonary complications. The global recovery, based on the Karnofsky Performance Scale (KPS), was 100% in 15% of the patients, 90% in 45%, 80% in 33%, and 70% in 6%. Conclusions. Radical removal of glomus jugulare tumor can be achieved without anterior transposition of the facial nerve. The extension of dissection, however, should be tailored to each case based on tumor blood supply, preoperative symptoms, and tumor extension. The operative field provided by the retrofacial infralabyrinthine approach, or the pre- and retrofacial approaches. with or without Closure of the external acoustic meatus, allows a wide exposure of the jugular foramen area. Global functional recovery based on the KPS is acceptable in 94% of the patients. (DOI: 10.3171/2008.10.JNS08612)

An association rule-based method to support medical image diagnosis with efficiency

In this paper, we propose a method based on association rule-mining to enhance the diagnosis of medical images (mammograms). It combines low-level features automatically extracted from images and high-level knowledge from specialists to search for patterns. Our method analyzes medical images and automatically generates suggestions of diagnoses employing mining of association rules. The suggestions of diagnosis are used to accelerate the image analysis performed by specialists as well as to provide them an alternative to work on. The proposed method uses two new algorithms, PreSAGe and HiCARe. The PreSAGe algorithm combines, in a single step, feature selection and discretization, and reduces the mining complexity. Experiments performed on PreSAGe show that this algorithm is highly suitable to perform feature selection and discretization in medical images. HiCARe is a new associative classifier. The HiCARe algorithm has an important property that makes it unique: it assigns multiple keywords per image to suggest a diagnosis with high values of accuracy. Our method was applied to real datasets, and the results show high sensitivity (up to 95%) and accuracy (up to 92%), allowing us to claim that the use of association rules is a powerful means to assist in the diagnosing task.

MDA-based re-engineering with Object-Z

This paper describes a practical application of MDA and reverse engineering based on a domain-specific modelling language. A well defined metamodel of a domain-specific language is useful for verification and validation of associated tools. We apply this approach to SIFA, a security analysis tool. SIFA has evolved as requirements have changed, and it has no metamodel. Hence, testing SIFA’s correctness is difficult. We introduce a formal metamodelling approach to develop a well-defined metamodel of the domain. Initially, we develop a domain model in EMF by reverse engineering the SIFA implementation. Then we transform EMF to Object-Z using model transformation. Finally, we complete the Object-Z model by specifying system behavior. The outcome is a well-defined metamodel that precisely describes the domain and the security properties that it analyses. It also provides a reliable basis for testing the current SIFA implementation and forward engineering its successor.

Precise Insertion of Orthodontic Miniscrews with a Stereolithographic Surgical Guide Based on Cone Beam Computed Tomography Data: A Pilot Study

Purpose: Orthodontic miniscrews are commonly used to achieve absolute anchorage during tooth movement. One of the most frequent complications is screw loss as a result of root contact. Increased precision during the process of miniscrew insertion would help prevent screw loss and potential root damage, improving treatment outcomes. Stereo lithographic surgical guides have been commonly used for prosthetic implants to increase the precision of insertion. The objective of this paper was to describe the use of a stereolithographic surgical guide suitable for one-component orthodontic miniscrews based on cone beam computed tomography (CBCT) data and to evaluate implant placement accuracy. Materials and Methods: Acrylic splints were adapted to the dental arches of four patients, and six radiopaque reference points were filled with gutta-percha. The patients were submitted to CBCT while they wore the occlusal splint. Another series of images was captured with the splint alone. After superimposition and segmentation, miniscrew insertion was simulated using planning software that allowed the user to check the implant position in all planes and in three dimensions. In a rapid-prototyping machine, a stereolithographic guide was fabricated with metallic sleeves located at the insertion points to allow for three-dimensional control of the pilot bur. The surgical guide was worn during surgery. After implant insertion, each patient was submitted to CBCT a second time to verify the implant position and the accuracy of the placement of the miniscrews. Results: The average differences between the planned and inserted positions for the ten miniscrews were 0.86 mm at the coronal end, 0.71 mm at the center, and 0.87 mm at the apical tip. The average angular discrepancy was 1.76 degrees. Conclusions: The use of stereolithographic surgical guides based on CBCT data allows for accurate orthodontic mini screw insertion without damaging neighboring anatomic structures. INT J ORAL MAXILLOFAC IMPLANTS 2011;26:860-865

Understanding and enhancing research-policy linkages in Australian housing: A discussion paper

This project aimed to develop a systematic framework for understanding the relationship between social science research and public policy, and to build more effective linkages between social researchers and policy practitioners in the Australian housing system, particularly through AHURI. The project is explicitly applied and solution-focused. It was undertaken in close collaboration with AHURI and has contributed to AHURI's overall mission and strategy to enhancing research-based housing policy. It provided an opportunity for the AHURI policy community to engage in a process of action-oriented, self-reflection around its core business of applied housing policy research.

Anisotropy-based performance analysis of linear discrete time invariant control systems

The anisotropic norm of a linear discrete-time-invariant system measures system output sensitivity to stationary Gaussian input disturbances of bounded mean anisotropy. Mean anisotropy characterizes the degree of predictability (or colouredness) and spatial non-roundness of the noise. The anisotropic norm falls between the H-2 and H-infinity norms and accommodates their loss of performance when the probability structure of input disturbances is not exactly known. This paper develops a method for numerical computation of the anisotropic norm which involves linked Riccati and Lyapunov equations and an associated special type equation.

Stability of wet versus dry bonding with different solvent-based adhesives

Objective. To evaluate the effects of surface moisture (wet or dry) and storage (24h or 3 months) on the microtensile bond strength (BS) of resin/dentin bonds mediated by two water/ethanol based adhesives Single Bond, 3M-ESPE, (SB) and Opti Bond Solo Plus, Kerr, (OB), and two acetone-based adhesives, One Step, Bisco, (OS) and Prime&Bond NT, Caulk/Dentsply, (PB). Materials and methods. Flat dentin surfaces were polished with 600-grit SiC paper, etched with 35% phosphoric acid for 15 s and rinsed for 20 s. Half the surface was maintained moist and the other half was air-dried for 30 s. Each adhesive was applied simultaneously to both halves, left undisturbed for 30 s and light-cured. Four-mm resin build-ups were constructed incrementally. After storage in water at 37 degrees C for 24h, slabs were produced by transversal sectioning and trimmed to an hourglass shape (0.8 mm 2). Half of the specimens were tested in tension at 0.6 mm/min immediately after trimming and the other half after 3 months of water storage. Data were analyzed by two-way ANOVA and SNK for each material. Results. Both moisture and storage affected BS to dentin, and was material- dependent. Dry, bonding affected mostly the acetone-based adhesives. Larger reductions in bond strength were associated with dry bonding after 3 months of water storage. Significance. Wet bonding resulted in more stable bonds over 3 months of water storage for most of the materials tested. (C) 2007 Academy of Dental Materials. Published by Elsevier Ltd. All rights reserved.

Developing community-based watershed management in Greater Sao Paulo: the case of Santo Andre

This paper describes how watershed protection is being combined with settlement upgrading and land-use management within an area that serves as one of Greater Sao Paulo's main sources of fresh water. This is being undertaken in the municipality of San to Andre. Unlike previous watershed protection measures, which proved ineffective, it recognizes the need to combine the protection of water-sheds with the improvement of conditions in existing settlements and guiding, rather than prohibiting, further settlement. The paper describes how, the community-based watershed management involves the inhabitants of illegal settlements and other stakeholders in an adaptive planning framework that first seeks consensus on what is to be planned before developing the plan, its implementation and its operation, maintenance and monitoring.