Hox geneHox genes, a subset of homeobox genes, are a group of related genes that specify regions of the body plan of an embryo along the head-tail axis of animals. Hox proteins encode and specify the characteristics of 'position', ensuring that the correct structures form in the correct places of the body. For example, Hox genes in insects specify which appendages form on a segment (for example, legs, antennae, and wings in fruit flies), and Hox genes in vertebrates specify the types and shape of vertebrae that will form.
Limb developmentLimb development in vertebrates is an area of active research in both developmental and evolutionary biology, with much of the latter work focused on the transition from fin to limb. Limb formation begins in the morphogenetic limb field, as mesenchymal cells from the lateral plate mesoderm proliferate to the point that they cause the ectoderm above to bulge out, forming a limb bud. Fibroblast growth factor (FGF) induces the formation of an organizer at the end of the limb bud, called the apical ectodermal ridge (AER), which guides further development and controls cell death.
VertebrateVertebrates (ˈvɜrtəbrɪts,_-ˌbreɪts) are animals with spinal cords and bony or cartilaginous backbones, including all mammals, birds, reptiles, amphibians and fish. The vertebrates consist of all the taxa within the subphylum Vertebrata (ˌvɜrtəˈbreɪtə) (chordates with backbones) and represent the overwhelming majority of the phylum Chordata, with currently about 69,963 species described.
HomeoboxA homeobox is a DNA sequence, around 180 base pairs long, that regulates large-scale anatomical features in the early stages of embryonic development. Mutations in a homeobox may change large-scale anatomical features of the full-grown organism. Homeoboxes are found within genes that are involved in the regulation of patterns of anatomical development (morphogenesis) in animals, fungi, plants, and numerous single cell eukaryotes.
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.
GnathostomataGnathostomata (ˌnæθoʊ-'stɒmətə; from Greek: γνάθος (gnathos) "jaw" + στόμα (stoma) "mouth") are the jawed vertebrates. Gnathostome diversity comprises roughly 60,000 species, which accounts for 99% of all living vertebrates, including humans. In addition to opposing jaws, living gnathostomes have true teeth (a characteristic which has subsequently been lost in some), paired appendages (pectoral and pelvic fins, arms, legs, wings, etc.
Space debrisSpace debris (also known as space junk, space pollution, space waste, space trash, space garbage, or cosmic debris) are defunct human-made objects in space - principally in Earth orbit - which no longer serve a useful function. These include derelict spacecraft - nonfunctional spacecraft and abandoned launch vehicle stages - mission-related debris, and particularly numerous in Earth orbit, fragmentation debris from the breakup of derelict rocket bodies and spacecraft.
Evolutionary biologyEvolutionary biology is the subfield of biology that studies the evolutionary processes (natural selection, common descent, speciation) that produced the diversity of life on Earth. It is also defined as the study of the history of life forms on Earth. Evolution holds that all species are related and gradually change over generations. In a population, the genetic variations affect the phenotypes (physical characteristics) of an organism. These changes in the phenotypes will be an advantage to some organisms, which will then be passed onto their offspring.
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.
