OpenLLM-France/wikimedia huggingface dataset:
# Progressively measurable process

In mathematics, progressive measurability is a property in the theory of stochastic processes. A progressively measurable process, while defined quite technically, is important because it implies the stopped process is measurable. Being progressively measurable is a strictly stronger property than the notion of being an adapted process. Progressively measurable processes are important in the theory of Itô integrals.

## Definition

Let
* $(\Omega ,{\mathcal {F}},\mathbb {P} )$ be a probability space;
* $(\mathbb {X} ,{\mathcal {A}})$ be a measurable space, the state space;
* $\{{\mathcal {F}}_{t}\mid t\geq 0\}$ be a filtration of the sigma algebra ${\mathcal {F}}$;
* $X:[0,\infty )\times \Omega \to \mathbb {X}$ be a stochastic process (the index set could be $[0,T]$ or $\mathbb {N} _{0}$ instead of $[0,\infty )$);
* $\mathrm {Borel} ([0,t])$ be the Borel sigma algebra on $[0,t]$.
The process $X$ is said to be progressively measurable (or simply progressive) if, for every time $t$, the map $[0,t]\times \Omega \to \mathbb {X}$ defined by $(s,\omega )\mapsto X_{s}(\omega )$ is $\mathrm {Borel} ([0,t])\otimes {\mathcal {F}}_{t}$-measurable. This implies that $X$ is ${\mathcal {F}}_{t}$-adapted.
A subset $P\subseteq [0,\infty )\times \Omega$ is said to be progressively measurable if the process $X_{s}(\omega ):=\chi _{P}(s,\omega )$ is progressively measurable in the sense defined above, where $\chi _{P}$ is the indicator function of $P$. The set of all such subsets $P$ form a sigma algebra on $[0,\infty )\times \Omega$, denoted by $\mathrm {Prog}$, and a process $X$ is progressively measurable in the sense of the previous paragraph if, and only if, it is $\mathrm {Prog}$-measurable.

## Properties

* It can be shown that $L^{2}(B)$, the space of stochastic processes $X:[0,T]\times \Omega \to \mathbb {R} ^{n}$ for which the Itô integral
       $\int _{0}^{T}X_{t}\,\mathrm {d} B_{t}$
    with respect to Brownian motion $B$ is defined, is the set of equivalence classes of $\mathrm {Prog}$-measurable processes in $L^{2}([0,T]\times \Omega ;\mathbb {R} ^{n})$.
* Every adapted process with left- or right-continuous paths is progressively measurable. Consequently, every adapted process with càdlàg paths is progressively measurable.
* Every measurable and adapted process has a progressively measurable modification.
# Raphictis

Raphictis ("needle weasel") is an extinct genus of placental mammals from extinct subfamily Didymictinae within extinct family Viverravidae, that lived in North America during late Paleocene.
# Philomena Muinzer

Philomena "Phil" Muinzer is a dramaturge, writer and former musician from Northern Ireland, who has used the pen name Phil O'Brien for some of her work.

## Early life and education

Philomena and her twin brother Colum were born in Illinois, United States, of an Irish mother and American father. Her father, Louis A. Muinzer, graduated from Princeton University in 1949, and moved to Belfast to teach at Queen's University Belfast. The family moved to Belfast, Northern Ireland, when the children were young.
She is a graduate of the University of Essex. She moved to the United States to study geology at Princeton University in 1973, graduating in 1978. She wrote a thesis on Arnold Guyot's barometrical explorations.
This was followed by postgraduate studies at the Yale School of Drama (1980).

## Career

While at Princeton, she was disturbed by the sharp contrast between the violence of Belfast and the peace and calm of Princeton, and wrote the play We're on the One Road, about The Troubles in Ireland. It was performed in 1976, cast and directed by Muinzer. The play was a finalist for the Susan Smith Blackburn Prize in 1979–80.
Both Philomena and Colum played in the post-punk rock band Cruella de Ville, formed in 1982.
Philomena Muinzer has served as dramaturge for the Royal National Theatre.
Her 1987 article, "Evacuating the Museum: the Crisis of Playwriting in Ulster", published in New Theatre Quarterly, February 1987, has been extensively quoted in literature about Irish theatre and women playwrights.
As of 2011, Muinzer was working as public relations officer for Pennant Books in London. She was thanked by Matthew Hussey in the foreword to his 2013 book, Get the Guy.

## Selected works

Muinzer has written several plays and at least two books, sometimes adopting the pseudonym Phil O'Brien (O'Brien being the Munizers' mother's maiden name):
* We're on the One Road (1976)
* Together Against Him (1982), a play, which was awarded a bursary by The Arts Council of Great Britain and well-reviewed by the Times Literary Supplement
* Memories of the Irish-Israeli War (1995), a novel (as Phil O'Brien)
* Coldplay: Look at the Stars (2004), about the band Coldplay, in particular the effect of fame on frontman Chris Martin (as Phil O'Brien)

## Personal life

She was married to writer Colin Bennett until his death on 15 February 2015.

## Footnotes

* ↑ Her Facebook page says "From Champaign, Illinois".
# USS Waukegan

USS Waukegan (YTM-755), was a medium harbor tug that was acquired by the United States Navy in September 1964 from the United States Army for which she had served as LT-1968. Named Waukegan and given the hull number YTM-755, she was assigned to the 10th Naval District at San Juan, Puerto Rico. The tug was based there for her entire 11-year naval career, serving ships in the 10th Naval District. In September 1975, she was placed out of service; and her name was struck from the Navy list. She was subsequently disposed of by sale. Her current status is unknown.

## Ship awards

* National Defense Service Medal
# Henry Willoughby (colonial administrator)

Henry Willoughby (1640–1669) was an English military officer, the Governor of Barbados (1664–1666) and Antigua (1667–1670).
He was the fifth son of William Willoughby, 6th Baron Willoughby of Parham.
# Igor Kovač (actor)

Igor Kovač (born 23 October 1983) is a Croatian actor. Kovač has acted in films, for the television and the theater. He is known for his performances in Debela and Rock'n'roll za DVA MIŠA at Zagreb's Mala Scena Theater, and for his prolific stints in the Gavella Drama Theatre and the Croatian National Theatre in Zagreb.
His notable film roles include Gdje pingvini lete (2008), Kotlovina (2011) and Kosac (2014). For the latter, he was awarded a Golden Arena for Best Supporting Actor. He is also known for his starring role in the comedy series Nedjeljom ujutro, subotom navečer (2012) and as Tin Ujević in the 2017 biographical series. He also worked as a voice actor, notably dubbing the Croatian versions of the title character in Ferdinand (2017) and Aaron Davis / Prowler in Spider-Man: Into the Spider-Verse (2018).

## Biography

Kovač was born in Vukovar, SR Croatia, SFR Yugoslavia (now Croatia) on 23 October 1983. He finished primary and elementary school in Osijek, and later studied acting at the Academy of Dramatic Arts, University of Zagreb.
He worked at the Croatian National Theatre in Rijeka from 2011 to 2015. In 2015, he transferred to the Gavella Drama Theatre in Zagreb, appearing in over twenty shows, including Mack / Delamarche in Amerika, Ivica Kičmanović in U registraturi (2015) and Ante in How the War Started On My Island (2018).
In 2020, he came to the Croatian National Theatre in Zagreb as a champion of drama. His current roles in Zagreb include Revizor, Gdje se kupuju nježnosti and Kafka on the Shore.
Beside his work on stage, Kovač has appeared in several movies and television series. He is also a voice actor. He has dubbed the lead characters of such movies as Ferdinand (2017). He also dubbed Aaron Davis / Prowler in Spider-Man: Into the Spider-Verse (2018).

## Filmography
### Television roles

* "Minus i plus" as Kruno (2019)
* "Pogrešan čovjek [hr]" as David (2018)
* "Patrola na cesti [hr]" as inspector (2016)
* "Nedjeljom ujutro, subotom navečer [hr]" as Hans (2012)
* "Instruktor [hr]" as Žarko (2010)
* "Mamutica" as Jurica (2008-2010)
* "Operacija Kajman [hr]" as policeman (2007)
* "Naša mala klinika" as patient (2007)
* "Cimmer fraj [hr]" as Boško (2007)

### Film roles

* "Bosnian pot" (2023)
* "Kotlovina" as Jakov (2011)
* "Ćaća" as boy (2011)
* "Gdje pingvini lete [hr]" as Emil / narrator (2008)

### Voice roles

* "Spider-Man: Into the Spider-Verse" as Aaron Davis / Prowler (2018)
* "Ferdinand" as Ferdinand (2017)
* "School for Vampires" as Oskar von Horrificus (seasons 1 and 2, the other seasons the character was voiced by Mitja Smiljanić)
# The Man Who Killed Himself

The Man Who Killed Himself is a 1967 comedy crime novel by the British writer Julian Symons.

## Synopsis

Sick of his life with his wealthy but domineering wife, Arthur Brownjohn creates a flamboyant alter ego for himself and enjoys life with his second identity. Pushed too far one day he decides to murder his wife in the disguise of his other persona.

## Film adaptation

In 1969 it was adapted into the film Arthur? Arthur! directed by Samuel Gallu and starring Shelley Winters, Donald Pleasence and Terry-Thomas.
# One Over The Eight

One Over the Eight was a comedy revue which opened on April 5, 1961. It was written by Peter Cook and starred Kenneth Williams.
The material included a "One Leg Too Few" sketch and "Interesting Facts" sketch with Williams playing an E. L. Wisty character. It also featured Sheila Hancock, Lance Percival and Lance Mulcahy.
The Evening News said it was "Scandalously funny" while the Evening Standard said it was "Snappy and gay." It was performed at the Duke of York's Theatre, London.
It was the sequel to Pieces of Eight.
# Vibration-proof hitch

The vibration-proof hitch is a knot used for fastening a line or rope to a solid object. This particular hitch is designed to tighten when subjected to vibration and functions best when the object is fairly large compared to the diameter of the rope. Knot expert Geoffrey Budworth credits the knot to Amory Bloch Lovins.
# Justice Cady

Justice Cady may refer to:
* Daniel Cady (1773–1859), ex officio judge of the New York Court of Appeals
* Mark Cady (1953–2019), chief justice of the Iowa Supreme Court
# Philip Taylor

Philip Taylor may refer to:
* Philip Taylor (MP), MP for Weymouth and Melcombe Regis (UK Parliament constituency)
* Philip Joseph Taylor (born 1931), English rugby union player
* Philip Taylor (civil engineer) (1786–1870), English civil engineer
* Philip Meadows Taylor (1808-1876), Anglo-Indian administrator and novelist
# Penicillium ornatum

Penicillium ornatum is an anamorph species of the genus Penicillium.
# Mitrula

Mitrula is a genus of fungi in the family Sclerotiniaceae first described by Elias Magnus Fries, in his Systema Mycologicum (1821).
The common name for the matchstick-like fungus is either swamp beacon (US) or bog beacon (GB) refers to the white stipe with yellow fruiting cap. The genus is notable for growing on decaying vegetation in shallow water.
The saprobiontic fungi depend on wet or boggy habitats, with plenty of rotting vegetation. They live and feed on rotting leaves and stems, breaking them down into smaller compounds on which various plants and animals feed.
The aquatic discomycete Mitrula can be found in Europe, Asia, and North America. They still hold an uncertain position within the Helotiales.
The species include Mitrula alba, Mitrula elegans, Mitrula lunulatospora, Mitrula microspora, Mitrula paludosa and Mitrula serpentina. Some of them are difficult to distinguish, for instance the match-stick fungus Mitrula elegans is often mistaken as Mitrula paludosa.
* Mitrula paludosa, illustration by Jan Kops, Flora Batava, 1816)
* Mitrula paludosa
* Redhead; Mitrula lunulatospora
* Mitrula paludosa on pine cone, River Taff, Wales
* Mitrula elegans
# Herbert Kneeshaw

Herbert Justin Kneeshaw (1883–1955) was an English professional footballer who played as a goalkeeper. He made over 100 appearances for Cardiff City during a 12-year spell at the side and later became a coach at the club.

## Career

Born in Beckhill, Kneeshaw has two spells for Bradford City (from 1903 to 1904, and from March 1907 to September 1909), and also played for Heaton, St Cuthbert's, Guiseley and Colne Town. During his time with Bradford City he made one appearance in the Football League. In 1912, Kneeshaw joined Southern Football League side Cardiff City after being spotted by manager Fred Stewart, making his debut for the club on the opening day of the 1912–13 season during a 1–1 draw against the club's South Wales rivals Swansea Town.
He quickly established himself as the first choice goalkeeper for the Bluebirds, playing in over 100 matches in the Southern Football League, a spell interrupted by the outbreak of World War I, and won the Second Division of the Southern Football League in his first season at Ninian Park. He remained with the club following their move into the Football League for the 1920–21 season, playing in their first ever Football League match during a 5–2 victory over Stockport County. However, midway through the season, he was displaced by Ben Davies and spent two seasons as backup, only appearing in a handful of matches for the club, before deciding to retire from the game following the arrival of Tom Farquharson. He instead took up a coaching position with the club and remained in the role for over a decade.

## Honours
### Cardiff City

* Southern Football League Second Division winner: 1912–13

## Sources

* Frost, Terry (1988). Bradford City A Complete Record 1903–1988. Breedon Books Sport. ISBN 0-907969-38-0.
# Ilir Dibra

Ilir Dibra (born 16 August 1977) is an Albanian retired footballer who won a league title with Vllaznia Shkodër.

## International career

He made his debut for Albania in a February 2000 Malta International Football Tournament match against Azerbaijan and earned a total of 2 caps, scoring no goals. His final international was in the same month at the same tournament against Malta.

## Honours

* Albanian Superliga: 1
       1998
# The Invisible Man vs. The Human Fly

The Invisible Man vs. The Human Fly (透明人間と蝿男, Tōmei Ningen to Hae Otoko, lit. 'The Invisible Man and The Fly Man') is a 1957 Japanese science fiction horror film produced and distributed by Daiei Film. It was Daiei's second film based on H. G. Wells' 1897 The Invisible Man after The Invisible Man Appears. The film is directed by Mitsuo Murayama, with special effects by Tōru Matoba and stars Ryuji Shinagawa, Yoshiro Kitahara, and Junko Kano.

## Cast

* Ryuji Shinagawa as Dr. Tsukioka, the Invisible Man
* Yoshiro Kitahara as Chief Inspector Wakabayashi
* Junko Kano as Akiko Hayakawa
* Yoshihiro Hamaguchi as Detective Hayama
* Shozo Nanbu as Dr. Hayakawa
* Joji Tsurumi as Sugimoto, Dr. Hayakawa's Assistant
* Bontaro Miake as Chief of the Metropolitan Police
* Ichirō Izawa as Kōkichi Kusunoki, the Human Fly
* Chujo Shizuo as Yamada, the Human Fly
* Naoko Matsudaira as Noriko Maeda

## Release

The Invisible Man vs. The Human Fly was released in Japan on August 25, 1957, as a double feature with Suzunosuke Akado: The Vacuum Slash of Asuka and Headbutt and Karate Chop (頭突きと空手チョップ). The film and its precessor were never released outside of Japan until Arrow Video released the film on Blu-ray on March 15, 2021.
# Imagabalin

Imagabalin (INN, USAN; PD-0332334) was an investigational drug that acts as a ligand for the α$_2$δ subunit of the voltage-dependent calcium channel, with some selectivity for the α$_2$δ$_1$ subunit over α$_2$δ$_2$. It was under development by Pfizer as a pharmaceutical medication due to its hypothesized anxiolytic, analgesic, hypnotic, and anticonvulsant-like activity. It reached phase-III clinical trials for treatment of generalized anxiety disorder; however, the trials were terminated by the manufacturer. The drug is no longer under development.
# Justin Skinner (footballer, born 1969)

Justin Skinner (born 30 January 1969) is an English former footballer who played for Fulham, Bristol Rovers, Walsall, Hibernian, Dunfermline Athletic and Brechin City.
He began his career at Fulham and played over 150 games for the club, before moving to Bristol Rovers in 1991 for £130,000—where he remained until 1998. He later played for Scottish clubs Hibernian, Dunfermline and Brechin City before retiring from playing in 2005.

## Management

Skinner worked at both Chelsea's and Queens Park Rangers' youth academies before becoming QPR's reserve team manager in June 2006. He then became assistant manager at Lewes, helping them to win the Conference South championship in 2008. Skinner signed a two-year contract to become assistant manager at Farnborough in 2009.
# Ker (surname)

Ker is a surname. Notable people with the surname include:
* Alice Stewart Ker (1853–1943), Scottish doctor and suffragette
* Allan Ebenezer Ker (1883–1958), Scottish army officer and recipient of the Victoria Cross
* Ker Chien-ming (born 1951), Taiwanese politician
* Crawford Ker (born 1962), American football player
* David Ker (1758–1805), Scottish-Irish-American first residing professor of the University of North Carolina
* David Stewart Ker (1816–1878), Irish landowner and politician
* George Ker (fl. 1870s and 1880s), Scottish footballer
* Humphrey Ker (born 1982), British actor, writer and comedian
* John Ker (disambiguation), several people
* Lucas Arnold Ker (born 1974), Argentinian tennis player
* Neil Ripley Ker (1908–1982), scholar of Anglo-Saxon literature
* Richard Ker (1822–1890), British politician from Ireland
* Richard Ker (MP) (1850–1942), British politician from Ireland
* Robert Ker (disambiguation), several people
* William Ker (disambiguation), several people
# Harper, Utah

Harper is a ghost town located in Ninemile Canyon (at the mouth of Argyle Canyon) in Carbon and Duchesne counties in Utah, United States. This stagecoach town came into existence in 1886. The nearest inhabited town is Wellington. The remaining buildings are located mostly on private property and permission must be granted before accessing them.

## History

Alfred Lund came from Nephi in the spring of 1885 with his cattle and was the first homesteader in Argyle Canyon. Mr. Lund's first home, a log cabin, stands in ruins on the south side of the creek. Tom Taylor also homesteaded this ground before the Army built the road through to Fort Duchesne and the Uintah Basin in 1886.
In the 1890s, the government was freighting to Fort Duchesne over a road which passed through Nine Mile Canyon. This road is the lowest in elevation of any road between Price and the Uintah Basin. During the years 1888 to 1895 there were 600 soldiers at Fort Duchesne who hauled their supplies over this route. As nothing of any consequence was raised at the Post everything had to be shipped in: hay, grain, and other produce. Ed Lee purchased Taylor's homestead and it became known as "Lee Station", a stagecoach stop. A large barn housed the recuperating horses for the stage line and was noted for having a "real" sink. The army installed steel telegraph poles in the Canyon around 1886, that were American Civil War surplus. This telegraph line became the telephone line into the Basin in 1907 and remained until 1917. The poles have since served a local line until the 1990s.
According to government maps in the 1890s the name of the settlement is "Nine Mile", but some traditional accounts called it "Minnie-Maud", named for two girls who lived there. A creek that feeds Nine Mile Canyon is still called Minnie Maud. When the post office was established the town was named Harper. The greatest number of votes ever cast in the voting precinct was 72 in 1900.
Starting sometime before 1895, residents of Nine Mile Canyon struggled to keep a school district going. The first school house, built of logs by residents, sat in the mouth of Argyle Canyon. Until 1916 there were two schools, one in Carbon County and one in the Duchesne district. From 1916 to 1924, one school was maintained. This was closed for good in 1931 and moved to Wellington in the 1930s; it later burned.
Today, only a few structures remain, including the old stagecoach stop and some other log dwellings. The two-story Harper Hotel burned to the ground in the late 1980s or early 1990s; only the stone foundation remains now. Most of the town site is on private property, so permission is required to explore the area.
# Pentace microlepidota

Pentace microlepidota is a species of flowering plant in the family Malvaceae. It is a tree endemic to Peninsular Malaysia.
# Girk

Girk may refer to:
* The village of Kirk in Azerbaijan, also known as Girk.
* A G protein-coupled inwardly-rectifying potassium channel, abbreviated as GIRK.
# Hidden Guns

Hidden Guns is a 1956 American Western film directed by Albert C. Gannaway and written by Samuel Roeca and Albert C. Gannaway. The film stars Bruce Bennett, Richard Arlen, John Carradine, Faron Young, Lloyd Corrigan and Angie Dickinson. The film was released on January 30, 1956, by Republic Pictures.

## Plot

An entire town is afraid of a man called Stragg, a wealthy and ruthless saloon owner who employs hired guns and has cheated many of the citizens out of their money and land. The only man who stands up to Stragg is the popular sheriff, Ward Young, but no one, including Ward's son, deputy Faron, is willing to side with him against the powerful Stragg.
When a law is changed that will strip Ward of his authority within 48 hours, he becomes determined to put Stragg behind bars as his last act. He seeks out Burt Miller, brother of a man Stragg has had murdered. On a stagecoach ride with Miller, his witness, accompanied by Doc Carter's beautiful daughter, Becky, another passenger listens to their conversation. He is a gunslinger named Snipe Harding, who has been hired by Stragg to kill the sheriff and the witness.
Snipe recognizes that killing Ward will be difficult, knowing him to be a fast draw. After he kills Miller, he persuades Stragg to challenge the sheriff to a showdown in front of everyone in town. When the men draw, Snipe shoots the sheriff from a hiding place. Doc Carter and others can only conclude that Ward was shot in a fair fight.
Faron, however, is suspicious, and Doc's examination proves that the sheriff was shot with a rifle, not a pistol. He goes gunning for Snipe, killing him, and the townspeople come to his aid when Stragg attempts to flee.

## Cast

* Bruce Bennett as Stragg
* Richard Arlen as Sheriff Ward Young
* John Carradine as Snipe Harding
* Faron Young as Deputy Faron Young
* Lloyd Corrigan as Judge Wallis
* Angie Dickinson as Becky Carter
* Damian O'Flynn as Kingsley
* Irving Bacon as Doc Carter
* Tom Hubbard as Grundy
* Ron Gans as Burt Miller
* Bill Ward as Joe Miller
* Lee Morgan as Emmett Harding
* Edmund Cobb as Ben Williams
* Ben Welden as Ben Peabody
* Guinn "Big Boy" Williams as Kingford
* Gordon Terry as Terry
* Charles Heard as Stage Stop Attendant
* Bill Coontz as Dave
* Michael Darrin as Hank