SIR: A Computer Program for Semantic Information Retrieval

SIR is a computer system, programmed in the LISP language, which accepts information and answers questions expressed in a restricted form of English. This system demonstrates what can reasonably be called an ability to "understand" semantic information. SIR's semantic and deductive ability is based on the construction of an internal model, which uses word associations and property lists, for the relational information normally conveyed in conversational statements. A format-matching procedure extracts semantic content from English sentences. If an input sentence is declarative, the system adds appropriate information to the model. If an input sentence is a question, the system searches the model until it either finds the answer or determines why it cannot find the answer. In all cases SIR reports its conclusions. The system has some capacity to recognize exceptions to general rules, resolve certain semantic ambiguities, and modify its model structure in order to save computer memory space. Judging from its conversational ability, SIR, is a first step toward intelligent man-machine communication. The author proposes a next step by describing how to construct a more general system which is less complex and yet more powerful than SIR. This proposed system contains a generalized version of the SIR model, a formal logical system called SIR1, and a computer program for testing the truth of SIR1 statements with respect to the generalized model by using partial proof procedures in the predicate calculus. The thesis also describes the formal properties of SIR1 and how they relate to the logical structure of SIR.

Mermera: Non-Coherent Distributed Shared Memory for Parallel Computing

The proliferation of inexpensive workstations and networks has prompted several researchers to use such distributed systems for parallel computing. Attempts have been made to offer a shared-memory programming model on such distributed memory computers. Most systems provide a shared-memory that is coherent in that all processes that use it agree on the order of all memory events. This dissertation explores the possibility of a significant improvement in the performance of some applications when they use non-coherent memory. First, a new formal model to describe existing non-coherent memories is developed. I use this model to prove that certain problems can be solved using asynchronous iterative algorithms on shared-memory in which the coherence constraints are substantially relaxed. In the course of the development of the model I discovered a new type of non-coherent behavior called Local Consistency. Second, a programming model, Mermera, is proposed. It provides programmers with a choice of hierarchically related non-coherent behaviors along with one coherent behavior. Thus, one can trade-off the ease of programming with coherent memory for improved performance with non-coherent memory. As an example, I present a program to solve a linear system of equations using an asynchronous iterative algorithm. This program uses all the behaviors offered by Mermera. Third, I describe the implementation of Mermera on a BBN Butterfly TC2000 and on a network of workstations. The performance of a version of the equation solving program that uses all the behaviors of Mermera is compared with that of a version that uses coherent behavior only. For a system of 1000 equations the former exhibits at least a 5-fold improvement in convergence time over the latter. The version using coherent behavior only does not benefit from employing more than one workstation to solve the problem while the program using non-coherent behavior continues to achieve improved performance as the number of workstations is increased from 1 to 6. This measurement corroborates our belief that non-coherent shared memory can be a performance boon for some applications.

An Implementation of Mermera: A Shared Memory System that Mixes Coherence with Non-coherence

Coherent shared memory is a convenient, but inefficient, method of inter-process communication for parallel programs. By contrast, message passing can be less convenient, but more efficient. To get the benefits of both models, several non-coherent memory behaviors have recently been proposed in the literature. We present an implementation of Mermera, a shared memory system that supports both coherent and non-coherent behaviors in a manner that enables programmers to mix multiple behaviors in the same program[HS93]. A programmer can debug a Mermera program using coherent memory, and then improve its performance by selectively reducing the level of coherence in the parts that are critical to performance. Mermera permits a trade-off of coherence for performance. We analyze this trade-off through measurements of our implementation, and by an example that illustrates the style of programming needed to exploit non-coherence. We find that, even on a small network of workstations, the performance advantage of non-coherence is compelling. Raw non-coherent memory operations perform 20-40~times better than non-coherent memory operations. An example application program is shown to run 5-11~times faster when permitted to exploit non-coherence. We conclude by commenting on our use of the Isis Toolkit of multicast protocols in implementing Mermera.

Cognitive training: the effects of working memory training

Gemstone Team Cognitive Training

CAPLib - A 'thin layer' message passing library to support computational mechanics codes on distributed memory parallel systems

The Computer Aided Parallelisation Tools (CAPTools) [Ierotheou, C, Johnson SP, Cross M, Leggett PF, Computer aided parallelisation tools (CAPTools)-conceptual overview and performance on the parallelisation of structured mesh codes, Parallel Computing, 1996;22:163±195] is a set of interactive tools aimed to provide automatic parallelisation of serial FORTRAN Computational Mechanics (CM) programs. CAPTools analyses the user's serial code and then through stages of array partitioning, mask and communication calculation, generates parallel SPMD (Single Program Multiple Data) messages passing FORTRAN. The parallel code generated by CAPTools contains calls to a collection of routines that form the CAPTools communications Library (CAPLib). The library provides a portable layer and user friendly abstraction over the underlying parallel environment. CAPLib contains optimised message passing routines for data exchange between parallel processes and other utility routines for parallel execution control, initialisation and debugging. By compiling and linking with different implementations of the library, the user is able to run on many different parallel environments. Even with today's parallel systems the concept of a single version of a parallel application code is more of an aspiration than a reality. However for CM codes the data partitioning SPMD paradigm requires a relatively small set of message-passing communication calls. This set can be implemented as an intermediate `thin layer' library of message-passing calls that enables the parallel code (especially that generated automatically by a parallelisation tool such as CAPTools) to be as generic as possible. CAPLib is just such a `thin layer' message passing library that supports parallel CM codes, by mapping generic calls onto machine specific libraries (such as CRAY SHMEM) and portable general purpose libraries (such as PVM an MPI). This paper describe CAPLib together with its three perceived advantages over other routes: - as a high level abstraction, it is both easy to understand (especially when generated automatically by tools) and to implement by hand, for the CM community (who are not generally parallel computing specialists); - the one parallel version of the application code is truly generic and portable; - the parallel application can readily utilise whatever message passing libraries on a given machine yield optimum performance.

Automatic FPGA Synthesis of Memory Intensive C-based Kernels

Realising high performance image and signal processing
applications on modern FPGA presents a challenging implementation problem due to the large data frames streaming through these systems. Specifically, to meet the high bandwidth and data storage demands of these applications, complex hierarchical memory architectures must be manually specified
at the Register Transfer Level (RTL). Automated approaches which convert high-level operation descriptions, for instance in the form of C programs, to an FPGA architecture, are unable to automatically realise such architectures. This paper
presents a solution to this problem. It presents a compiler to automatically derive such memory architectures from a C program. By transforming the input C program to a unique dataflow modelling dialect, known as Valved Dataflow (VDF), a mapping and synthesis approach developed for this dialect can
be exploited to automatically create high performance image and video processing architectures. Memory intensive C kernels for Motion Estimation (CIF Frames at 30 fps), Matrix Multiplication (128x128 @ 500 iter/sec) and Sobel Edge Detection (720p @ 30 fps), which are unrealisable by current state-of-the-art C-based synthesis tools, are automatically derived from a C description of the algorithm.

Association of retinal arteriolar dilatation with lower verbal memory::The Edinburgh Type 2 Diabetes Study

Abstract


AIMS/HYPOTHESIS:

Retinal vascular calibre changes may reflect early subclinical microvascular disease in diabetes. Because of the considerable homology between retinal and cerebral microcirculation, we examined whether retinal vascular calibre, as a proxy of cerebral microvascular disease, was associated with cognitive function in older people with type 2 diabetes.

METHODS:

A cross-sectional analysis of 954 people aged 60-75 years with type 2 diabetes from the population-based Edinburgh Type 2 Diabetes Study was performed. Participants underwent standard seven-field binocular digital retinal photography and a battery of seven cognitive function tests. The Mill Hill Vocabulary Scale was used to estimate pre-morbid cognitive ability. Retinal vascular calibre was measured from an image field with the optic disc in the centre using a validated computer-based program.

RESULTS:

After age and sex adjustment, larger retinal arteriolar and venular calibres were significantly associated with lower scores for the Wechsler Logical Memory test, with standardised regression coefficients -0.119 and -0.084, respectively (p?<?0.01), but not with other cognitive tests. There was a significant interaction between sex and retinal vascular calibre for logical memory. In male participants, the association of increased retinal arteriolar calibre with logical memory persisted (p?<?0.05) when further adjusted for vocabulary, venular calibre, depression, cardiovascular risk factors and macrovascular disease. In female participants, this association was weaker and not significant.

CONCLUSIONS/INTERPRETATION:

Retinal arteriolar dilatation was associated with poorer memory, independent of estimated prior cognitive ability in older men with type 2 diabetes. The sex interaction with stronger findings in men requires confirmation. Nevertheless, these data suggest that impaired cerebral arteriolar autoregulation in smooth muscle cells, leading to arteriolar dilatation, may be a possible pathogenic mechanism in verbal declarative memory decrements in people with diabetes.

Technological aids for the rehabilitation of memory and executive functioning in children and adolescents with acquired brain injury (Review).

Background The use of technology in healthcare settings is on the increase and may represent a cost-effective means of delivering rehabilitation. Reductions in treatment time, and delivery in the home, are also thought to be benefits of this approach. Children and adolescents with brain injury often experience deficits in memory and executive functioning that can negatively affect their school work, social lives, and future occupations. Effective interventions that can be delivered at home, without the need for high-cost clinical involvement, could provide a means to address a current lack of provision. We have systematically reviewed studies examining the effects of technology-based interventions for the rehabilitation of deficits in memory and executive functioning in children and adolescents with acquired brain injury. Objectives To assess the effects of technology-based interventions compared to placebo intervention, no treatment, or other types of intervention, on the executive functioning and memory of children and adolescents with acquired brain injury. Search methods We ran the search on the 30 September 2015. We searched the Cochrane Injuries Group Specialised Register, the Cochrane Central Register of Controlled Trials (CENTRAL), Ovid MEDLINE(R), Ovid MEDLINE(R) In-Process & Other Non-Indexed Citations, Ovid MEDLINE(R) Daily and Ovid OLDMEDLINE(R), EMBASE Classic + EMBASE (OvidSP), ISI Web of Science (SCI-EXPANDED, SSCI, CPCI-S, and CPSI-SSH), CINAHL Plus (EBSCO), two other databases, and clinical trials registers. We also searched the internet, screened reference lists, and contacted authors of included studies. Selection criteria Randomised controlled trials comparing the use of a technological aid for the rehabilitation of children and adolescents with memory or executive-functioning deficits with placebo, no treatment, or another intervention. Data collection and analysis Two review authors independently reviewed titles and abstracts identified by the search strategy. Following retrieval of full-text manuscripts, two review authors independently performed data extraction and assessed the risk of bias. Main results Four studies (involving 206 participants) met the inclusion criteria for this review. Three studies, involving 194 participants, assessed the effects of online interventions to target executive functioning (that is monitoring and changing behaviour, problem solving, planning, etc.). These studies, which were all conducted by the same research team, compared online interventions against a 'placebo' (participants were given internet resources on brain injury). The interventions were delivered in the family home with additional support or training, or both, from a psychologist or doctoral student. The fourth study investigated the use of a computer program to target memory in addition to components of executive functioning (that is attention, organisation, and problem solving). No information on the study setting was provided, however a speech-language pathologist, teacher, or occupational therapist accompanied participants. Two studies assessed adolescents and young adults with mild to severe traumatic brain injury (TBI), while the remaining two studies assessed children and adolescents with moderate to severe TBI. Risk of bias We assessed the risk of selection bias as low for three studies and unclear for one study. Allocation bias was high in two studies, unclear in one study, and low in one study. Only one study (n = 120) was able to conceal allocation from participants, therefore overall selection bias was assessed as high. One study took steps to conceal assessors from allocation (low risk of detection bias), while the other three did not do so (high risk of detection bias). Primary outcome 1: Executive functioning: Technology-based intervention versus placebo Results from meta-analysis of three studies (n = 194) comparing online interventions with a placebo for children and adolescents with TBI, favoured the intervention immediately post-treatment (standardised mean difference (SMD) -0.37, 95% confidence interval (CI) -0.66 to -0.09; P = 0.62; I2 = 0%). (As there is no 'gold standard' measure in the field, we have not translated the SMD back to any particular scale.) This result is thought to represent only a small to medium effect size (using Cohen’s rule of thumb, where 0.2 is a small effect, 0.5 a medium one, and 0.8 or above is a large effect); this is unlikely to have a clinically important effect on the participant. The fourth study (n = 12) reported differences between the intervention and control groups on problem solving (an important component of executive functioning). No means or standard deviations were presented for this outcome, therefore an effect size could not be calculated. The quality of evidence for this outcome according to GRADE was very low. This means future research is highly likely to change the estimate of effect. Primary outcome 2: Memory One small study (n = 12) reported a statistically significant difference in improvement in sentence recall between the intervention and control group following an eight-week remediation programme. No means or standard deviations were presented for this outcome, therefore an effect size could not be calculated. Secondary outcomes Two studies (n = 158) reported on anxiety/depression as measured by the Child Behavior Checklist (CBCL) and were included in a meta-analysis. We found no evidence of an effect with the intervention (mean difference -5.59, 95% CI -11.46 to 0.28; I2 = 53%). The GRADE quality of evidence for this outcome was very low, meaning future research is likely to change the estimate of effect. A single study sought to record adverse events and reported none. Two studies reported on use of the intervention (range 0 to 13 and 1 to 24 sessions). One study reported on social functioning/social competence and found no effect. The included studies reported no data for other secondary outcomes (that is quality of life and academic achievement). Authors' conclusions This review provides low-quality evidence for the use of technology-based interventions in the rehabilitation of executive functions and memory for children and adolescents with TBI. As all of the included studies contained relatively small numbers of participants (12 to 120), our findings should be interpreted with caution. The involvement of a clinician or therapist, rather than use of the technology, may have led to the success of these interventions. Future research should seek to replicate these findings with larger samples, in other regions, using ecologically valid outcome measures, and reduced clinician involvement.

Graffiti, memory and contested space : mnemonic initiatives following trauma and/or repression in Buenos Aires, Argentina

Graffiti, Memory and Contested Space: Mnemonic Initiatives Following Periods of Trauma and/or Repression in Buenos Aires, Argentina This thesis concerns the popular articulation ofmemory following periods or incidents of trauma in Argentina. I am interested in how groups lay claim to various public spaces in the city and how they convert these spaces into mnemonic battlegrounds. In considering these spaces of trauma and places of memory, I am primarily interested in how graffiti writing (stencils, spray-paint, signatures, etchings, wall-paintings, murals and installations) is used to make these spaces transmit particular memories that impugn official versions of the past. This thesis draws on literatures focused on popular/public memory. Scholars argue that memory is socially constructed and thus actively contested. Marginal initiatives such as graffiti writing challenge the memory projects of the state as well as state projects that are perceived by citizens to be 'inadequate,' 'inappropriate,' and/or as promoting the erasure of memory. Many of these initiatives are a reaction to the proreconciliation and pro-oblivion strategies of previous governments. I outline that the history of silences and impunity, and a longstanding emphasis on reconciliation at the expense of truth and justice has created an environment of vulnerable memory in Argentina. Popular memory entrepreneurs react by aggressively articulating their memories in time and in space. As a result of this intense memory work, the built landscape in Buenos Aires is dotted with mnemonic initiatives that aim to contradict or subvert officially sanctioned memories. I also suggest that memory workers in Argentina persistently and carefially use the sites of trauma as well as key public spaces to ensure official as well as popular audiences . The data for this project was collected in five spaces in Buenos Aires, the Plaza de Mayo, Plaza Congreso, La Republica Cromanon nightclub, Avellaneda Train Station and El Olimpo, a former detention centre from the military dictatorship.

Memory Usage Inference for Object-Oriented Programs

We present a type-based approach to statically derive symbolic closed-form formulae that characterize the bounds of heap memory usages of programs written in object-oriented languages. Given a program with size and alias annotations, our inference system will compute the amount of memory required by the methods to execute successfully as well as the amount of memory released when methods return. The obtained analysis results are useful for networked devices with limited computational resources as well as embedded software.

Failure-Oblivious Computing and Boundless Memory Blocks

Memory errors are a common cause of incorrect software execution and security vulnerabilities. We have developed two new techniques that help software continue to execute successfully through memory errors: failure-oblivious computing and boundless memory blocks. The foundation of both techniques is a compiler that generates code that checks accesses via pointers to detect out of bounds accesses. Instead of terminating or throwing an exception, the generated code takes another action that keeps the program executing without memory corruption. Failure-oblivious code simply discards invalid writes and manufactures values to return for invalid reads, enabling the program to continue its normal execution path. Code that implements boundless memory blocks stores invalid writes away in a hash table to return as the values for corresponding out of bounds reads. he net effect is to (conceptually) give each allocated memory block unbounded size and to eliminate out of bounds accesses as a programming error. We have implemented both techniques and acquired several widely used open source servers (Apache, Sendmail, Pine, Mutt, and Midnight Commander).With standard compilers, all of these servers are vulnerable to buffer overflow attacks as documented at security tracking web sites. Both failure-oblivious computing and boundless memory blocks eliminate these security vulnerabilities (as well as other memory errors). Our results show that our compiler enables the servers to execute successfully through buffer overflow attacks to continue to correctly service user requests without security vulnerabilities.

Metamemory training for memory disorders in adults with a closed head injury

The purpose of the present study was to investigate the efficacy of a memory and metamemory training program on memory performance and metamemory judgement accuracy in adults with a closed head injury. A multiple baseline across subjects design was used with six subjects. All subjects were seen at least two years post-injury. Training included general metamemory information about the nature of memory, use of a specific memory strategy to assist verbal recall (to Preview, Question, Read, State and Test- PQRST), specific metamemory information about the strategy, and a self instruction procedure (WTSC- What is the task, Select a strategy to use, Try out strategy, Check to evaluate strategy effectiveness). During the training period all subjects recalled greater than fifty percent of paragraph ideas while using PQRST. Follow-up tests showed that five of the six subjects maintained recall levels but a gradual decrease in slope was observed over eight weeks post-training. Tests of recall, recognition and metamemory judgements on Sentence and Action Tasks were used to evaluate generalisation of training. Two subjects showed improved recall and two subjects showed improved recognition performance. In addition, four subjects demonstrated greater metamemory judgement accuracy about recognition performance following training. Improved performance post-training was also observed for three subjects on the Rivermead Behavioral Memory Test and the Logical Memory subtest of the Wechsler Memory Scale-Revised, greater than that expected for repeated testing. Several factors were identified as having a role in subjects’ ability to benefit from training.

The man who mistook Marat for Sade: 'living' memory and the video archive

Digital video archives, which are growing at an exponential rate, will become increasingly important to Theatre History and Performance Studies, and questions of how scholars negotiate the relationships between memory, technology and performance events in theoretical and practical terms will become crucial. Indeed, there is already a considerable body of scholarly material on this topic. This article considers these questions with specific reference to the relationship between video records deposited in digital archives and human memory. First and foremost, this article raises questions about the authority of the archive and the ways in which archival technologies, in the words of Maaike Bleeker, 'transform how we remember, how our and others' memories are entangled in the here-and-now, and, in the end, even how we think and imagine'.

Uptake of a newly implemented advance care planning program in a dementia diagnostic service

BACKGROUND: advance care planning (ACP) provides a framework for discussion and documentation of future care preferences when a person loses cognitive capacity. It can assist people in the early stages of dementia to document their preferences for care at later stages of the illness. METHOD: a three-stage project introduced ACP to clients with mild cognitive impairment (MCI) or recently diagnosed dementia and their families through a specialist memory clinic. Over 8 months, all English-speaking clients (n = 97) and carers (n = 92) were mailed a survey assessing completed documentation for future care; understanding of the principles of ACP and willingness to get further information about ACP (Stage 1). Participants wanting more information were invited to a seminar introducing the ACP program and service (Stage 2). Participants wanting to complete ACP documentation could make an appointment with the ACP clinicians (Stage 3). RESULTS: forty-eight (52.2%) carers and 34 clients (35.1%) responded to the survey. Most clients (62.1%) and carers (79.1%) expressed interest in ACP, and 78.6% of clients and 63.6% of carers believed that clients should be involved in their future medical decisions. Nine clients (26.5%; diagnoses: MCI = 5; AD = 3; mixed dementia = 1) and 9 carers (18.8%) attended the seminars, and 2/48 (4%) carers and 3/34 (8.8%) clients (diagnoses: MCI = 2; AD = 1) completed ACP. CONCLUSION: despite initial interest, ACP completion was low. The reasons for this need to be determined. Approaches that may better meet the needs of people newly diagnosed with MCI and dementia are discussed.

Spatial memory in sedentary and trained diabetic rats: Molecular mechanisms

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)