![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Open AccessOuter layer of Vb neurons in medial entorhinal cortex project to hippocampal dentate gyrus in mice
Entorhinal cortical (EC)-hippocampal (HPC) circuits are crucial for learning and memory. Although it was traditionally believed that superficial layers (II/III) of the EC mainly project to the HPC and deep lay...
-
Article
Open AccessOptogenetic activation of dopamine D1 receptors in island cells of medial entorhinal cortex inhibits temporal association learning
A critical feature of episodic memory formation is to associate temporally segregated events as an episode, called temporal association learning. The medial entorhinal cortical-hippocampal (EC-HPC) networks is...
-
Article
Open AccessSystems consolidation induces multiple memory engrams for a flexible recall strategy in observational fear memory in male mice
Observers learn to fear the context in which they witnessed a demonstrator’s aversive experience, called observational contextual fear conditioning (CFC). The neural mechanisms governing whether recall of the ...
-
Chapter and Conference Paper
Applying Combinatorial Testing to Verification-Based Fairness Testing
Fairness testing, given a machine learning classifier, detects discriminatory data contained in it via executing test cases. In this paper, we propose a new approach to fairness testing named Vbt-Ct, which applie...
-
Chapter and Conference Paper
Efficient Fairness Testing Through Hash-Based Sampling
There is a growing concern on algorithm fairness, according to wider adoption of machine learning techniques in our daily life. Testing of individual fairness is an approach to algorithm fairness concern. Veri...
-
Chapter
Coverage-Guided Fairness Testing
Software testing is a task. Unlike conventional software, AI software that decision-making algorithms or classifiers to be tested for discrimination or bias. Such bias can cause discrimination towards ce...
-
Chapter
Cell-Type-Specific Optogenetic Techniques Reveal Neural Circuits Crucial for Episodic Memories
The formation and maintenance of episodic memories are important for our daily life. Accumulating evidence from extensive studies with pharmacological, electrophysiological, and molecular biological approaches...
-
Article
Extra neural ensemble disrupts memory recall
Poll and colleagues examined the historical activity of hippocampal CA1 neurons during learning and memory recall using longitudinal two-photon in vivo imaging, providing evidence that extra neural ensemble ac...
-
Chapter and Conference Paper
A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems
Highly configurable systems (HCSs), such as software product lines, have complex configuration spaces. Combinatorial Testing and Random Testing are the main approaches to testing of HCSs. In this paper, we empiri...
-
Article
Open AccessNovel nose poke-based temporal discrimination tasks with concurrent in vivo calcium imaging in freely moving mice
The hippocampus has been known to process temporal information as part of memory formation. While time cells have been observed in the hippocampus and medial entorhinal cortex, a number of the behavioral tasks...
-
Article
Open AccessOrchestrated ensemble activities constitute a hippocampal memory engram
The brain stores and recalls memories through a set of neurons, termed engram cells. However, it is unclear how these cells are organized to constitute a corresponding memory trace. We established a unique ima...
-
Article
The role of engram cells in the systems consolidation of memory
What happens to memories as days, weeks and years go by has long been a fundamental question in neuroscience and psychology. For decades, researchers have attempted to identify the brain regions in which memor...
-
Chapter and Conference Paper
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
Boolean expressions occur frequently in descriptions of computer systems, but they tend to be complex and error-prone in complex systems. The modified condition decision coverage (MCDC) criterion in system tes...
-
Article
Review and proposal of regional surgical management for melanoma: revisiting of integumentectomy and incontinuity dissection in treatment of skin melanoma
Past studies showed that integumentectomy and incontinuity could be effective procedures in the surgical management of melanoma patients. The present study reports on the historical background of these procedu...
-
Chapter and Conference Paper
Classification Tree Method with Parameter Shielding
The Classification Tree Method (CTM) is a structured and diagrammatic modeling technique for combinatorial testing. CTM can express the notion of “parameter shielding”, the phenomenon that some system parameters ...
-
Article
Open AccessRole of adult neurogenesis in hippocampal-cortical memory consolidation
Acquired memory is initially dependent on the hippocampus (HPC) for permanent memory formation. This hippocampal dependency of memory recall progressively decays with time, a process that is associated with a ...
-
Article
Cell type–specific genetic and optogenetic tools reveal hippocampal CA2 circuits
The authors use cell type–specific transgenic mouse lines, optogenetics and patch-clamp recordings to provide new insights into hippocampal anatomy and function. They find that dentate granule cells of the hip...
-
Chapter and Conference Paper
Design of Prioritized N-Wise Testing
-wise testing is a widely used technique for combinatorial interaction testing. Prioritizing testing reorders t...
-
Article
Open AccessHippocampal function is not required for the precision of remote place memory
During permanent memory formation, recall of acquired place memories initially depends on the hippocampus and eventually become hippocampus-independent with time. It has been suggested that the quality of orig...
-
Chapter and Conference Paper
Test-Case Design by Feature Trees
This paper proposes a test-case design method for black-box testing, called “Feature Oriented Testing (FOT)”. The method is realized by applying Feature Models (FMs) developed in software product line engineering...