Search results for "Memory"

showing 10 items of 2004 documents

New Encodings of Pseudo-Boolean Constraints into CNF

2009

International audience; This paper answers affirmatively the open question of the existence of a polynomial size CNF encoding of pseudo-Boolean (PB) constraints such that generalized arc consistency (GAC) is maintained through unit propagation (UP). All previous encodings of PB constraints either did not allow UP to maintain GAC, or were of exponential size in the worst case. This paper presents an encoding that realizes both of the desired properties. From a theoretical point of view, this narrows the gap between the expressive power of clauses and the one of pseudo-Boolean constraints.

Discrete mathematics[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]Polynomial021103 operations researchUnit propagation[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]0211 other engineering and technologies[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]02 engineering and technologyComputer Science::Computational ComplexityExpressive powerExponential functionCombinatorics[ INFO.INFO-CC ] Computer Science [cs]/Computational Complexity [cs.CC]Encoding (memory)0202 electrical engineering electronic engineering information engineeringLocal consistency020201 artificial intelligence & image processingPoint (geometry)[INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC][ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]Mathematics
researchProduct

Letter Position Coding Across Modalities: The Case of Braille Readers

2012

BackgroundThe question of how the brain encodes letter position in written words has attracted increasing attention in recent years. A number of models have recently been proposed to accommodate the fact that transposed-letter stimuli like jugde or caniso are perceptually very close to their base words.MethodologyHere we examined how letter position coding is attained in the tactile modality via Braille reading. The idea is that Braille word recognition may provide more serial processing than the visual modality, and this may produce differences in the input coding schemes employed to encode letters in written words. To that end, we conducted a lexical decision experiment with adult Braille…

Dissociation (neuropsychology)Speech recognitionScienceDecision MakingBiologySemanticsSocial and Behavioral SciencesMemoryLexical decision taskPsychophysicsPsychologyHumansMultidisciplinaryModality (human–computer interaction)PsycholinguisticsQRCognitive PsychologyLinguisticsExperimental PsychologyRecognition PsychologyBrailleSemanticsSerial memory processingScience EducationReadingTouchWord recognitionDevelopmental PsychologySensory AidsMedicineSensory PerceptionCoding (social sciences)Research ArticlePLoS ONE
researchProduct

Memory Resource Management for Real-Time Systems

2007

Dynamic memory storage has been widely used for years in computer science. However, its use in real-time systems has not been considered as an important issue, and memory management has not receive much consideration, whereas today's real-time applications are often characterized by highly fluctuating memory requirements. In this paper we present an approach to dynamic memory management for real-time systems. In response to application behavior and requests, the underlying memory management system adjusts resources to meet changing demands and user needs. The architectural framework that realizes this approach allows adaptive allocation of memory resources to applications involving both per…

Distributed shared memoryDynamic random-access memoryFlat memory modelComputer scienceDistributed computingReal-time computingUniform memory accessApplication softwarecomputer.software_genrelaw.inventionMemory managementlawResource managementDistributed memorycomputer19th Euromicro Conference on Real-Time Systems (ECRTS'07)
researchProduct

The differences between distributed shared memory caching and proxy caching

2000

The authors discuss the similarities in caching between the extensively studied distributed shared memory systems and the emerging proxy systems. They believe that several of the techniques used in distributed shared memory systems can be adapted and applied to proxy systems.

Distributed shared memoryHardware_MEMORYSTRUCTURESShared memoryComputer scienceShared disk architectureDistributed computingGeneral EngineeringInterleaved memoryFalse sharingUniform memory accessDistributed memoryData diffusion machineIEEE Concurrency
researchProduct

El color del camaleón: un testimonio valiente para la sociedad chilena

2017

The film El color del camaleón (2017) by Andrés Lübbert, which has great cinematic and content merits, can be considered as an important part of Chilean films on memory and post-memory. I focus on its contribution to Chilean memory and the reconstruction of the truth through the unveiling, in particular, of cruel methods of forced recruitment used by the dictatorship’s secret services. They were used as a further tool to instill terror in society, and as a way of submission and control of the population.

Documentary cinema; Memory; Postmemory; Chilean dictatorship; The grey zone.French literature - Italian literature - Spanish literature - Portuguese literatureMemoryChilean dictatorshipDocumentary cinemaDocumentary cinema. Memory. Postmemory. Chilean dictatorship. The grey zone.PQ1-3999PostmemoryThe grey zoneRassegna Iberistica
researchProduct

Effects of several degrees of chronic social defeat stress on emotional and spatial memory in CD1 mice

2015

In the present study, the effects of several degrees of CSDS (Chronic Social Defeat Stress) on emotional and spatial memory in mice were evaluated in separate experiments. Male CD1 mice were randomly assigned to four experimental groups (n=10-12) for each experiment: NS (non-stressed), S5, S10 and S20 (5, 10 and 20 sessions of CSDS, respectively). The S groups underwent the corresponding number of agonistic encounters (10min each) over a 20-day period. 24h after the last session of CSDS, mice performed the inhibitory avoidance (Experiment 1) or the Morris water maze test (Experiment 2). In both experiments, animals were also evaluated in the elevated plus maze for 5min to obtain complementa…

Dominance-SubordinationMale0301 basic medicineElevated plus mazemedicine.medical_specialtyEmotionsMorris water navigation taskWater mazeAnxietyMotor ActivityAudiologySocial defeatMiceRandom Allocation03 medical and health sciencesBehavioral Neuroscience0302 clinical medicineEmotionalityStress (linguistics)medicineAgonistic behaviourAnimalsMaze LearningSpatial MemoryBehavior AnimalGeneral MedicineDisease Models AnimalInhibition Psychological030104 developmental biologyAnxietyAnimal Science and Zoologymedicine.symptomPsychologyNeuroscienceStress Psychological030217 neurology & neurosurgeryBehavioural Processes
researchProduct

Inhibitory avoidance learning in CD1 mice: Effects of chronic social defeat stress

2015

Chronic social defeat stress (CSDS) is an animal model widely used to determine the neurobiological mechanisms of stress and its associated pathologies. In this study, the effects of CSDS on inhibitory avoidance (IA) were evaluated in post-pubertal and adult male CD1 mice, instead of the C57BL/6J strain used in the CSDS standard protocol. CSDS consisted of daily 5-min (experiments 1 and 2) or 10-min (experiment 3) agonistic encounters on 21 consecutive days. Twenty four hours after the last session of CSDS, all the mice were tested for IA. They were also evaluated in an elevated plus-maze, obtaining complementary measures of locomotor activity and emotionality. In experiments 1 and 2, IA le…

Dominance-SubordinationMaleElevated plus mazemedicine.medical_specialtyMice Inbred StrainsInhibitory postsynaptic potentialDevelopmental psychologySocial defeatMiceBehavioral NeuroscienceAnimal modelMemoryEmotionalityAvoidance learningInternal medicineAvoidance LearningAgonistic behaviourmedicineAnimalsBehavior AnimalGeneral MedicineDisease Models AnimalInhibition PsychologicalEndocrinologyStandard protocolAnimal Science and ZoologyPsychologyStress PsychologicalBehavioural Processes
researchProduct

Effects of Acute Stress on the Oscillatory Activity of the Hippocampus–Amygdala–Prefrontal Cortex Network

2021

Displaying a stress response to threatening stimuli is essential for survival. These reactions must be adjusted to be adaptive. Otherwise, even mental illnesses may develop. Describing the physiological stress response may contribute to distinguishing the abnormal responses that accompany the pathology, which may help to improve the development of both diagnoses and treatments. Recent advances have elucidated many of the processes and structures involved in stress response management; however, there is still much to unravel regarding this phenomenon. The main aim of the present research is to characterize the response of three brain areas deeply involved in the stress response (i.e., to an …

Dorsal Raphe NucleusGeneral NeuroscienceHippocampusBiologyStressAmygdalaPrefrontal cortexHippocampusAmygdalaElectrophysiologyCorticotropin-releasing hormonemedicine.anatomical_structureDorsal raphe nucleusmedicineRatMemory consolidationCorticotropin-releasing factorPrefrontal cortexNucleusNeuroscienceMemory ConsolidationNeuroscience
researchProduct

Inhibition of adult hippocampal neurogenesis disrupts contextual learning but spares spatial working memory, long-term conditional rule retention and…

2009

Neurogenesis in the adult dentate gyrus (DG) of the hippocampus has been implicated in neural plasticity and cognition but the specific functions contributed by adult-born neurons remain controversial. Here, we have explored the relationship between adult hippocampal neurogenesis and memory function using tasks which specifically require the participation of the DG. In two separate experiments several groups of rats were exposed to fractionated ionizing radiation (two sessions of 7 Gy each on consecutive days) applied either to the whole brain or focally, aiming at a region overlying the hippocampus. The immunocytochemical assays showed that the radiation significantly reduced the expressio…

Doublecortin Domain ProteinsMaleDoublecortin ProteinTime FactorsNeurogenesisHippocampusHippocampal formationSpatial memoryHippocampusNeuroplasticityConditioning PsychologicalAnimalsLearningRats Long-EvansFreezing Reaction CatalepticMaze LearningRadiationbiologyWorking memoryGeneral NeuroscienceDentate gyrusNeurogenesisNeuropeptidesRetention PsychologyNeural InhibitionFearDoublecortinRatsMemory Short-Termbiology.proteinPsychologyNeuroscienceMicrotubule-Associated ProteinsNeuroscience
researchProduct

Identifying SARS‐CoV‐2 ‘memory’ NK cells from COVID‐19 convalescent donors for adoptive cell therapy

2021

Abstract COVID‐19 disease is the manifestation of syndrome coronavirus 2 (SARS‐CoV‐2) infection, which is causing a worldwide pandemic. This disease can lead to multiple and different symptoms, being lymphopenia associated with severity one of the most persistent. Natural killer cells (NK cells) are part of the innate immune system, being fighting against virus‐infected cells one of their key roles. In this study, we determined the phenotype of NK cells after COVID‐19 and the main characteristic of SARS‐CoV‐2‐specific‐like NK population in the blood of convalescent donors. CD57+ NKG2C+ phenotype in SARS‐CoV‐2 convalescent donors indicates the presence of ‘memory’/activated NK cells as it ha…

DrugAdultMaleCèl·lulesmedia_common.quotation_subjectImmunologyPopulationBlood DonorsDiseaseHuman leukocyte antigenNK cellsmedicine.disease_causeCell therapyCOVID‐19medicineImmunology and AllergyHumanseducationmedia_commonCoronaviruseducation.field_of_studyInnate immune systembusiness.industrySARS-CoV-2fungiCOVID-19ConvalescenceOriginal ArticlesMiddle AgedPhenotypeAdoptive TransferKIRHLAKiller Cells NaturalImmunologyOriginal ArticleFemalecell therapybusinessImmunologic MemoryImmunology
researchProduct