Medullary pyramids (brainstem)In neuroanatomy, the medullary pyramids are paired white matter structures of the brainstem's medulla oblongata that contain motor fibers of the corticospinal and corticobulbar tracts – known together as the pyramidal tracts. The lower limit of the pyramids is marked when the fibers cross (decussate). The ventral portion of the medulla oblongata contains the medullary pyramids. These two ridge-like structures travel along the length of the medulla oblongata and are bordered medially by the anterior median fissure.
Prefrontal cortexIn mammalian brain anatomy, the prefrontal cortex (PFC) covers the front part of the frontal lobe of the cerebral cortex. The PFC contains the Brodmann areas BA8, BA9, BA10, BA11, BA12, BA13, BA14, BA24, BA25, BA32, BA44, BA45, BA46, and BA47. The basic activity of this brain region is considered to be orchestration of thoughts and actions in accordance with internal goals. Many authors have indicated an integral link between a person's will to live, personality, and the functions of the prefrontal cortex.
Motor cortexThe motor cortex is the region of the cerebral cortex involved in the planning, control, and execution of voluntary movements. The motor cortex is an area of the frontal lobe located in the posterior precentral gyrus immediately anterior to the central sulcus. The motor cortex can be divided into three areas: 1. The primary motor cortex is the main contributor to generating neural impulses that pass down to the spinal cord and control the execution of movement. However, some of the other motor areas in the brain also play a role in this function.
Olivary bodyIn anatomy, the olivary bodies or simply olives (Latin oliva and olivae, singular and plural, respectively) are a pair of prominent oval structures in the medulla oblongata, the lower portion of the brainstem. They contain the olivary nuclei. The olivary body is located on the anterior surface of the medulla lateral to the pyramid, from which it is separated by the antero-lateral sulcus and the fibers of the hypoglossal nerve. Behind (dorsally), it is separated from the postero-lateral sulcus by the ventral spinocerebellar fasciculus.
Auditory cortexThe auditory cortex is the part of the temporal lobe that processes auditory information in humans and many other vertebrates. It is a part of the auditory system, performing basic and higher functions in hearing, such as possible relations to language switching. It is located bilaterally, roughly at the upper sides of the temporal lobes – in humans, curving down and onto the medial surface, on the superior temporal plane, within the lateral sulcus and comprising parts of the transverse temporal gyri, and the superior temporal gyrus, including the planum polare and planum temporale (roughly Brodmann areas 41 and 42, and partially 22).
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Afferent nerve fiberAfferent nerve fibers are axons (nerve fibers) of sensory neurons that carry sensory information from sensory receptors to the central nervous system. Many afferent projections arrive at a particular brain region. In the peripheral nervous system afferent nerve fibers are part of the sensory nervous system and arise from outside of the central nervous system. Sensory and mixed nerves contain afferent fibers.
Efferent nerve fiberEfferent nerve fibers refer to axonal projections that exit a particular region; as opposed to afferent projections that arrive at the region. These terms have a slightly different meaning in the context of the peripheral nervous system (PNS) and central nervous system (CNS). The efferent fiber is a long process projecting far from the neuron's body that carries nerve impulses away from the central nervous system toward the peripheral effector organs (mainly muscles and glands).
Type theoryIn mathematics, logic, and computer science, a type theory is the formal presentation of a specific type system, and in general, type theory is the academic study of type systems. Some type theories serve as alternatives to set theory as a foundation of mathematics. Two influential type theories that were proposed as foundations are Alonzo Church's typed λ-calculus and Per Martin-Löf's intuitionistic type theory. Most computerized proof-writing systems use a type theory for their foundation, a common one is Thierry Coquand's Calculus of Inductive Constructions.
Type safetyIn computer science, type safety and type soundness are the extent to which a programming language discourages or prevents type errors. Type safety is sometimes alternatively considered to be a property of facilities of a computer language; that is, some facilities are type-safe and their usage will not result in type errors, while other facilities in the same language may be type-unsafe and a program using them may encounter type errors.
Orbitofrontal cortexThe orbitofrontal cortex (OFC) is a prefrontal cortex region in the frontal lobes of the brain which is involved in the cognitive process of decision-making. In non-human primates it consists of the association cortex areas Brodmann area 11, 12 and 13; in humans it consists of Brodmann area 10, 11 and 47. The OFC is functionally related to the ventromedial prefrontal cortex. Therefore, the region is distinguished due to the distinct neural connections and the distinct functions it performs.
