Associated bundleIn mathematics, the theory of fiber bundles with a structure group (a topological group) allows an operation of creating an associated bundle, in which the typical fiber of a bundle changes from to , which are both topological spaces with a group action of . For a fiber bundle F with structure group G, the transition functions of the fiber (i.e., the cocycle) in an overlap of two coordinate systems Uα and Uβ are given as a G-valued function gαβ on Uα∩Uβ.
ProvenceProvence (prəˈvɒ̃s, USalsoprəʊˈ-, UKalsoprɒˈ-, pʁɔvɑ̃s) is a geographical region and historical province of southeastern France, which extends from the left bank of the lower Rhône to the west to the Italian border to the east; it is bordered by the Mediterranean Sea to the south. It largely corresponds with the modern administrative region of Provence-Alpes-Côte d'Azur and includes the departments of Var, Bouches-du-Rhône, Alpes-de-Haute-Provence, as well as parts of Alpes-Maritimes and Vaucluse.
Aix-en-ProvenceAix-en-Provence (UKˌɛks_ɒ̃_prɒˈvɒ̃s, USˌeɪks_ɒ̃_proʊˈvɒ̃s,ˌɛks-), or simply Aix (medieval Occitan: Aics), is a city and commune in southern France, about north of Marseille. A former capital of Provence, it is the subprefecture of the arrondissement of Aix-en-Provence, in the department of Bouches-du-Rhône, in the region of Provence-Alpes-Côte d'Azur. The population of Aix-en-Provence is approximately 145,000. Its inhabitants are called Aixois or, less commonly, Aquisextains.
Mel-frequency cepstrumIn sound processing, the mel-frequency cepstrum (MFC) is a representation of the short-term power spectrum of a sound, based on a linear cosine transform of a log power spectrum on a nonlinear mel scale of frequency. Mel-frequency cepstral coefficients (MFCCs) are coefficients that collectively make up an MFC. They are derived from a type of cepstral representation of the audio clip (a nonlinear "spectrum-of-a-spectrum").
GloVeGloVe, coined from Global Vectors, is a model for distributed word representation. The model is an unsupervised learning algorithm for obtaining vector representations for words. This is achieved by mapping words into a meaningful space where the distance between words is related to semantic similarity. Training is performed on aggregated global word-word co-occurrence statistics from a corpus, and the resulting representations showcase interesting linear substructures of the word vector space.
Julia setIn the context of complex dynamics, a branch of mathematics, the Julia set and the Fatou set are two complementary sets (Julia "laces" and Fatou "dusts") defined from a function. Informally, the Fatou set of the function consists of values with the property that all nearby values behave similarly under repeated iteration of the function, and the Julia set consists of values such that an arbitrarily small perturbation can cause drastic changes in the sequence of iterated function values.
Foliation (geology)Foliation in geology refers to repetitive layering in metamorphic rocks. Each layer can be as thin as a sheet of paper, or over a meter in thickness. The word comes from the Latin folium, meaning "leaf", and refers to the sheet-like planar structure. It is caused by shearing forces (pressures pushing different sections of the rock in different directions), or differential pressure (higher pressure from one direction than in others). The layers form parallel to the direction of the shear, or perpendicular to the direction of higher pressure.
Automated theorem provingAutomated theorem proving (also known as ATP or automated deduction) is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Automated reasoning over mathematical proof was a major impetus for the development of computer science. While the roots of formalised logic go back to Aristotle, the end of the 19th and early 20th centuries saw the development of modern logic and formalised mathematics.
Provence wineProvence (Provençal) wine comes from the French wine-producing region of Provence in southeast France. The Romans called the area provincia nostra ("our province"), giving the region its name. Just south of the Alps, it was the first Roman province outside Italy. Wine has been made in this region for at least 2,600 years, ever since the ancient Greeks founded the city of Marseille in 600 BC. Throughout the region's history, viticulture and winemaking have been influenced by the cultures that have been present in Provence, which include the Ancient Greeks, Romans, Gauls, Catalans and Savoyards.
Hodge theoryIn mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic. The theory was developed by Hodge in the 1930s to study algebraic geometry, and it built on the work of Georges de Rham on de Rham cohomology.
