Signalling controlOn a rail transport system, signalling control is the process by which control is exercised over train movements by way of railway signals and block systems to ensure that trains operate safely, over the correct route and to the proper timetable. Signalling control was originally exercised via a decentralised network of control points that were known by a variety of names including signal box (International and British), interlocking tower (North America) and signal cabin (some railways e.g., GCR).
Antigen presentationAntigen presentation is a vital immune process that is essential for T cell immune response triggering. Because T cells recognize only fragmented antigens displayed on cell surfaces, antigen processing must occur before the antigen fragment, now bound to the major histocompatibility complex (MHC), is transported to the surface of the cell, a process known as presentation, where it can be recognized by a T-cell receptor. If there has been an infection with viruses or bacteria, the cell will present an endogenous or exogenous peptide fragment derived from the antigen by MHC molecules.
Human leukocyte antigenThe human leukocyte antigen (HLA) system or complex is a complex of genes on chromosome 6 in humans which encode cell-surface proteins responsible for regulation of the immune system. The HLA system is also known as the human version of the major histocompatibility complex (MHC) found in many animals. Mutations in HLA genes may be linked to autoimmune diseases such as type I diabetes, and celiac disease. The HLA gene complex resides on a 3 Mbp stretch within chromosome 6, p-arm at 21.3.
Neutralizing antibodyA neutralizing antibody (NAb) is an antibody that defends a cell from a pathogen or infectious particle by neutralizing any effect it has biologically. Neutralization renders the particle no longer infectious or pathogenic. Neutralizing antibodies are part of the humoral response of the adaptive immune system against viruses, intracellular bacteria and microbial toxin. By binding specifically to surface structures (antigen) on an infectious particle, neutralizing antibodies prevent the particle from interacting with its host cells it might infect and destroy.
ElectrodeAn electrode is an electrical conductor used to make contact with a nonmetallic part of a circuit (e.g. a semiconductor, an electrolyte, a vacuum or air). Electrodes are essential parts of batteries that can consist of a variety of materials depending on the type of battery. The electrophore, invented by Johan Wilcke, was an early version of an electrode used to study static electricity. Electrodes are an essential part of any battery. The first electrochemical battery made was devised by Alessandro Volta and was aptly named the Voltaic cell.
Reference electrodeA reference electrode is an electrode that has a stable and well-known electrode potential. The overall chemical reaction taking place in a cell is made up of two independent half-reactions, which describe chemical changes at the two electrodes. To focus on the reaction at the working electrode, the reference electrode is standardized with constant (buffered or saturated) concentrations of each participant of the redox reaction. There are many ways reference electrodes are used.
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.
Antibody-dependent enhancementAntibody-dependent enhancement (ADE), sometimes less precisely called immune enhancement or disease enhancement, is a phenomenon in which binding of a virus to suboptimal antibodies enhances its entry into host cells, followed by its replication. The suboptimal antibodies can result from natural infection or from vaccination. ADE may cause enhanced respiratory disease, but is not limited to respiratory disease. It has been observed in HIV, RSV virus and Dengue virus and is monitored for in vaccine development.
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.
Secondary educationSecondary education or post-primary education covers two phases on the International Standard Classification of Education scale. Level 2 or lower secondary education (less commonly junior secondary education) is considered the second and final phase of basic education, and level 3 upper secondary education or senior secondary education is the stage before tertiary education. Every country aims to provide basic education, but the systems and terminology remain unique to them.
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.
Standard hydrogen electrodeIn electrochemistry, the standard hydrogen electrode (abbreviated SHE), is a redox electrode which forms the basis of the thermodynamic scale of oxidation-reduction potentials. Its absolute electrode potential is estimated to be 4.44 ± 0.02 V at 25 °C, but to form a basis for comparison with all other electrochemical reactions, hydrogen's standard electrode potential (E°) is declared to be zero volts at any temperature. Potentials of all other electrodes are compared with that of the standard hydrogen electrode at the same temperature.