Development of Activity in the Mouse Visual Cortex.

A comprehensive developmental timeline of activity in the mouse cortex in vivo is lacking. Understanding the activity changes that accompany synapse and circuit formation is important to understand the mechanisms by which activity molds circuits and would help to identify critical checkpoints for normal development. To identify key principles of cortical activity maturation, we systematically tracked spontaneous and sensory-evoked activity with extracellular recordings of primary visual cortex (V1) in nonanesthetized mice. During the first postnatal week (postnatal days P4–P7), V1 was not visually responsive and exhibited long (>10 s) periods of network silence. Activation consisted exclusively of “slow-activity transients,” 2–10 s periods of 6–10 Hz “spindle-burst' oscillations; the response to spontaneous retinal waves. By tracking daily changes in this activity, two key components of spontaneous activity maturation were revealed: (1) spindle-burst frequency acceleration (eventually becoming the 20–50 Hz broadband activity caused by the asynchronous state) and (2) “filling-in” of silent periods with low-frequency (2–4 Hz) activity (beginning on P10 and complete by P13). These two changes are sufficient to create the adult-like pattern of continuous activity, alternation between fast-asynchronous and slow-synchronous activity, by eye opening. Visual responses emerged on P8 as evoked spindle-bursts and neuronal firing with a signal-to-noise ratio higher than adult. Both were eliminated by eye opening, leaving only the mature, short-latency response. These results identify the developmental origins of mature cortical activity and implicate the period before eye opening as a critical checkpoint. By providing a systematic description of electrical activity development, we establish the murine visual cortex as a model for the electroencephalographic development of fetal humans. SIGNIFICANCE STATEMENT Cortical activity is an important indicator of long-term health and survival in preterm infants and molds circuit formation, but gaps remain in our understanding of the origin and normal progression of this activity in the developing cortex. We aimed to rectify this by monitoring daily changes in cortical activity in the nonanesthetized mouse, an important preclinical model of disease and development. At ages approximately equivalent to normal human term birth, mouse cortex exhibits primarily network silence, with spontaneous “spindle bursts” as the only form of activity. In contrast, mature cortex is noisy, alternating between asynchronous/discontinuous and synchronous/continuous states. This work identifies the key processes that produce this maturation and provides a normative reference for murine-based studies of cortical circuit development

Submicron Systems Architecture Project: Semiannual Technial Report

No abstract available

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.

VLSI design of a very fast pipelined carry look ahead adder

This thesis is an introduction to the use of computer-aided design (CAD tools for the design of very large scale integrated circuits (VLSI). The techniques are described and a tutorial is given which illustrates their use in the computing environment at the Naval Postgraduate School. The CAD tools were applied to design a 16-bit fast pipelined adder.http://archive.org/details/vlsidesignofvery00conrLieutenant, United States NavyApproved for public release; distribution is unlimited

Development and analysis of the Software Implemented Fault-Tolerance (SIFT) computer

SIFT (Software Implemented Fault Tolerance) is an experimental, fault-tolerant computer system designed to meet the extreme reliability requirements for safety-critical functions in advanced aircraft. Errors are masked by performing a majority voting operation over the results of identical computations, and faulty processors are removed from service by reassigning computations to the nonfaulty processors. This scheme has been implemented in a special architecture using a set of standard Bendix BDX930 processors, augmented by a special asynchronous-broadcast communication interface that provides direct, processor to processor communication among all processors. Fault isolation is accomplished in hardware; all other fault-tolerance functions, together with scheduling and synchronization are implemented exclusively by executive system software. The system reliability is predicted by a Markov model. Mathematical consistency of the system software with respect to the reliability model has been partially verified, using recently developed tools for machine-aided proof of program correctness

Foundations of Software Science and Computation Structures

This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as categorical models and logics; language theory, automata, and games; modal, spatial, and temporal logics; type theory and proof theory; concurrency theory and process calculi; rewriting theory; semantics of programming languages; program analysis, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.