title: "Leviathan and the Air-Pump" content: interpretations and by producing a very faulty translation as a putative proof for a plenist interpretation. Horstmann argues that there are many similar errors and wrong quotations in "Leviathan and the Air-Pump" and suggests that the chapters dealing with Hobbes are constructed on heavy and sometimes systematic misrepresentations of the historical record. Leviathan and the Air-Pump Leviathan and the Air-Pump: Hobbes, Boyle, and the Experimental Life (published 1985) is a book by Steven Shapin and Simon Schaffer. It examines the debate between Robert Boyle and Thomas Hobbes over Boyle's air-pump experiments in the 1660s. In 2005, Shapin and Schaffer were


title: "Boston University Terriers men's ice hockey" content: ECAC Hockey Player of the Year ECAC Hockey Rookie of the Year ECAC Hockey Outstanding Defenseman ECAC Hockey Most Outstanding Player in Tournament First Team All-ECAC Hockey Second Team All-ECAC Hockey Hockey East Player of the Year Hockey East Rookie of the Year Bob Kullen Coach of the Year Len Ceglarski Award Hockey East Best Defensive Forward Hockey East Best Defensive Defenseman Hockey East Three-Stars Award Hockey East Goaltending Champion Hockey East Scoring Champion William Flynn Tournament Most Valuable Player First Team All-Hockey East Second Team All-Hockey East Third Team All-Hockey East Hockey East All-Rookie Team On Oct. 20, 1995,


title: "Serengeti (rapper)" content: Serengeti (rapper) David Cohn, better known by his stage name Serengeti, is an American hip hop artist from Chicago, Illinois. In 2007, Serengeti released the first collaborative album with producer Polyphonic, titled "Don't Give Up". The duo released their second collaborative album, "Terradactyl", in 2009. In 2011, Serengeti released his solo album, "Family & Friends", which was produced by Yoni Wolf and Owen Ashworth. Serengeti is a member of Sisyphus along with Son Lux and Sufjan Stevens. The trio released "Beak & Claw" in 2012 and a self-titled album in 2014. In 2012, Serengeti released "C.A.R.", as well as "Kenny


title: "Sweet potato mild mottle virus" content: Sweet potato mild mottle virus Sweet potato mild mottle virus (SPMMV) is a plant pathogenic virus of the family "Potyviridae". Sweet Potato Mild Mottle Virus (or SPMMV) has a large host range. This is uncommon for potyviruses, making SPMMV a divergent species of potyviruses. SPMMV hosts include 45 different species in 14 different plant families. The naturally occurring host, and namesake for the virus is "Ipomoea batatas" (sweet potato). Even though SPMMV is found naturally in sweet potato, scientists have been able to experimentally transmit the virus to different species including beets, sowbane, devil’s snare, makhmali, tomato, tobacco, petunia, and


title: "Yellow-throated honeyeater" content: Yellow-throated honeyeater The yellow-throated honeyeater ("Nesoptilotis flavicollis"), also known as the green cherry-picker, green dick or green linnet is a species of bird in the family Meliphagidae. It is similar in behaviour and appearance to the white-eared honeyeater and is endemic to Australia's island state of Tasmania. It was formerly considered a pest of orchards. The species was originally described by French ornithologist Louis Jean Pierre Vieillot in 1817, who originally placed it in the genus "Melithreptus". Its specific epithet is derived from the Latin words "flavus" "yellow", and "collis" "neck". Other vernacular names are the green cherry-picker, green dick


title: "Oldham bus station" content: the pedestrian crossings have been re-allocated to the sides of the bus station next to stands G and H. Oldham bus station Oldham bus station is a bus station located in the town of Oldham in Greater Manchester. The bus station is found on Cheapside at the junction of West Street. The bus station opened in January 2001 and replaced the previous bus station at Town Square and the bus stops on Cheapside and West Street. The bus station is run by Transport for Greater Manchester. In the past, there were three termini in Oldham, West Street, Town Square and


title: "Rufous-eared warbler" content: prinias. It has most recently been grouped within the family Cisticolidae. It had previously been placed in the genus "Prinia," but has since been placed in its own genus due to morphological, behavioural and genetic differences. Its closet relatives are a group of other monotypic warblers, including the black-faced rufous warbler ("Bathmocercus rufus"), the Socotra warbler ("Incana incana"), the oriole warbler ("Hypergerus atriceps"), the grey-capped warbler ("Eminia lepida"), Winifred’s warbler (also known as Mrs Moreau's Warbler, S"cepomycter winifredae") and the cinnamon-breasted warbler ("Euryptila subcinnamomea"). The rufous-eared warbler is also known as the rufous-eared prinia and the rooioorlangstertjie (Afrikaans). There are


title: "Betsy Ross flag" content: Betsy Ross flag The Betsy Ross flag is an early design of the flag of the United States, popularly but very likely incorrectly attributed to Betsy Ross, using the common motifs of alternating red-and-white striped field with five-pointed stars in a blue canton. Grace Rogers Cooper noted that the first documented usage of this flag was in 1792. The flag features 13 stars to represent the original 13 colonies with the stars arranged in a circle. Even though this early version of an American flag is now commonly called the "Betsy Ross Flag," the claim by her descendants that Betsy


title: "Betsy Ross flag" content: circular star configuration of the Betsy Ross Flag was inspired by the circular star configuration as a halo in a painting by Giovanni Battista Tiepolo called "The Immaculate Conception", dated around 1767 to 1769. It is a painting in the Prado collection in Spain. Francis Hopkinson had spent time with a friend named Benjamin West, an American painter who had studied painting in Italy during the time when Giovanni Battista was a sensation both at home and abroad. Betsy Ross flag The Betsy Ross flag is an early design of the flag of the United States, popularly but very likely


title: Melampitta content: juvenile lesser melampittas is the same as adults except they are brown on the lower body. Several researchers have noted that the plumage of juvenile greater melampittas resembles that of the hooded pitohui. Hooded pitohuis are unusual for birds in having a toxin, homobatrachotoxin, in their feathers and skin which can cause convulsions and death if consumed. The resemblance is probably an example of Batesian mimicry as the greater melampitta is not itself poisonous. The calls of the two species are not similar. The call of the greater melampitta is a double or triple note, which is slurred and repeated


title: Melithreptus content: subgenus forage for insects in foliage or canopy, congregate in larger flocks, and are found in more open dry sclerophyll forests. They also have smaller feet and a less prominent or missing nuchal bar. Members of the subgenus "Eidopsarus" forage by probing for insects in bark of tree trunks and branches, generally in eucalypt forest and rainforest, and travel in small family groups. They have sturdier legs and feet and a more prominent nuchal band. Biologist Allen Keast studied the genus extensively across Australia, and noted that a member of each group were found together in many parts of the


title: "John Lannan" content: Lannan hit Chase Utley with a fastball (breaking Utley's hand) and then hit Ryan Howard on the next pitch, whereupon umpire Hunter Wendelstedt immediately ejected Lannan from the game; Lannan was the first Major Leaguer in a decade to be tossed from his debut. The next would be former Astros pitcher Kyle Weiland who was ejected in his debut with the Boston Red Sox in 2011. Lannan picked up his first Major League win, in his second start, six days later, in which he held the Cincinnati Reds hitless through three and scoreless through five inning before allowing two runs


title: "John Lannan" content: 21 to start against the Atlanta Braves. Lannan made a minor change in his mechanics in AAA, resulting in a sharper downward angle on his throwing motion. The tweak appeared to have a positive effect, as Lannan's last two starts in the minors were complete-game shutouts. Lannan was called up again as part of the Nationals' 2012 September call-ups, filling the starting rotation job of Stephen Strasburg after Strasburg was shut down in early September. From September 12 through October 1, Lannan accrued a 4.58 ERA in 19 innings over four starts, striking out 10 batters and allowing 24 hits,


title: "John Lannan" content: win, six loss season with an ERA of 5.33. On August 20, 2013, the Phillies announced that Lannan would miss the remainder of the season with what their assistant general manager Scott Proefrock called a "ruptured tendon", which the team physician said would require surgery. In October 2013, the Phillies outrighted Lannan, which he refused, making him a free agent. On January 18, 2014, the Mets signed Lannan to a minor league contract, with an invite to major league Spring training. Out of camp, he earned a job in the bullpen. However, he was subsequently outrighted off the roster when


title: "John Lannan" content: Daisuke Matsuzaka was called up from the minor leagues. Lannan elected free agency in October 2014. On November 18, 2014, the Colorado Rockies signed Lannan to a minor league contract, with an invite to major league Spring training. On December 14, 2015, Lannan signed a minor league deal with the Kansas City Royals. On February 27, 2017, Lannan signed a minor league deal with the Washington Nationals. He was released on June 8, 2017. On June 19, 2017, Lannan signed with the Long Island Ducks of the Atlantic League of Professional Baseball. He announced his retirement on August 13, 2017.


title: "Solomons monarch" content: Solomons monarch The Solomons monarch ("Symposiachrus barbatus"), also known as the black-and-white monarch, is a species of bird in the family Monarchidae. It is endemic to the Solomon Islands. Its natural habitat is subtropical or tropical moist lowland forests. It is threatened by habitat loss. This species was originally placed in the genus "Monarcha" until moved to "Symposiachrus" in 2009. Alternate names for the Solomons monarch include the black-throated monarch, black-white monarch, pied monarch, Solomon Islands pied monarch and Solomons pied monarch. The alternate name 'pied monarch' should not be confused with the species of the same name ("Arses kaupi").


title: "Solomons monarch" content: There are two subspecies recognized: Solomons monarch The Solomons monarch ("Symposiachrus barbatus"), also known as the black-and-white monarch, is a species of bird in the family Monarchidae. It is endemic to the Solomon Islands. Its natural habitat is subtropical or tropical moist lowland forests. It is threatened by habitat loss. This species was originally placed in the genus "Monarcha" until moved to "Symposiachrus" in 2009. Alternate names for the Solomons monarch include the black-throated monarch, black-white monarch, pied monarch, Solomon Islands pied monarch and Solomons pied monarch. The alternate name 'pied monarch' should not be confused with the species of


title: "Benson's rock thrush" content: Benson's rock thrush Benson's rock thrush ("Monticola sharpei bensoni") is a songbird in the family Muscicapidae, formerly placed in the Turdidae together with the other chats. It is usually included in the forest rock thrush ("M. sharpei") as a subspecies; e.g. BirdLife International revised its status to subspecies in 2008., however it was recognized as a distinct species at one time. This bird is endemic to Madagascar. Its natural habitats are subtropical or tropical dry forests and subtropical or tropical dry shrubland. It is becoming rare due to habitat loss; when it was still considered a good species, it was


title: "Amber Mountain rock thrush" content: As the forest rock thrush and Benson's rock thrush have been lumped into "Monticola sharpei" this taxon has followed suit. Amber Mountain rock thrush The Amber Mountain rock thrush ("Monticola sharpei erythronotus") is a songbird in the family Muscicapidae, formerly placed in the Turdidae together with the other chats. It is now usually considered a subspecies of the forest rock thrush. The Amber Mountain rock thrush is endemic to Madagascar where it occurs only on the Amber Mountain massif in the north of the island. This is a small forest-dwelling thrush. Males have blue hoods, chestnut upperparts, bright orange tail


title: "Werner von Siemens Ring" content: Werner von Siemens Ring The Werner von Siemens Ring (in German orthography, Werner-von-Siemens-Ring) is one of the highest awards for technical sciences in Germany. It has been awarded from 1916 to 1941 and since 1952 about every three years by the foundation "Stiftung Werner-von-Siemens-Ring". The foundation was established on 13 December 1916 on the occasion of the 100th anniversary of the birth of Werner von Siemens. It is located in Berlin and is traditionally managed by the "" (DVT) (English: German Federation of Technical and Scientific Associations). Before 1960, the name of the award had been simply Siemens Ring (German


title: "Werner von Siemens Ring" content: Siemens-Ring or Siemensring). The award is presented as a golden ring with emeralds and rubies depicting the leaves and fruit of laurel, placed in an individually crafted cassette carrying the portrait of Werner von Siemens and the dedication to the recipient. According to the statutes, patron of the foundation council is the President of Germany, and the President of the "Physikalisch-Technische Bundesanstalt" is the foundation council's executive chairman. The council votes on the recipients. Members of the council are the "bearers of the ring" and representatives of the member scientific and technical societies. Source: Werner von Siemens Ring Foundation Werner


title: "Satin flycatcher" content: Satin flycatcher The satin flycatcher ("Myiagra cyanoleuca") is a species of bird in the family Monarchidae. The satin flycatcher was originally described in the genus "Platyrhynchos". Alternate names include satin Myiagra and satin Myiagra-flycatcher. The satin flycatcher is found in Australia, Indonesia, and Papua New Guinea. Its natural habitats are temperate forests and subtropical or tropical moist lowland forests. Males are dark grey on their beak, eyes, legs and upper body with a white lower body. Females differ from males by having a more grayish upper body and light orange around their throat. The satin flycatcher breeds from October -


title: "Satin flycatcher" content: February. 2 or 3 greenish blue with brown spotted eggs will be laid in a neat nest made of bark, spider's web and moss on a branch 5 – 25 m high. Satin flycatcher The satin flycatcher ("Myiagra cyanoleuca") is a species of bird in the family Monarchidae. The satin flycatcher was originally described in the genus "Platyrhynchos". Alternate names include satin Myiagra and satin Myiagra-flycatcher. The satin flycatcher is found in Australia, Indonesia, and Papua New Guinea. Its natural habitats are temperate forests and subtropical or tropical moist lowland forests. Males are dark grey on their beak, eyes, legs


title: "Dull-mantled antbird" content: Dull-mantled antbird The dull-mantled antbird ("Sipia laemosticta") is a perching bird species in the antbird family (Thamnophilidae). The dull-mantled antbird was described by the English naturalist Osbert Salvin in 1865 and given the binomial name "Myrmeciza laemosticta". A molecular phylogenetic study published in 2013 found that the genus "Myrmeciza", as then defined, was polyphyletic. In the resulting rearrangement to create monophyletic genera four species, including the dull-mantled antbird were moved to the resurrected genus "Sipia" that had been introduced by the Austrian ornithologist Carl Eduard Hellmayr in 1924. The Magdalena antbird ("S. palliata") was previously considered conspecific with the dull-mantled


title: "Mocking cliff chat" content: Mocking cliff chat The mocking cliff chat, mocking chat or cliff chat, ("Thamnolaea cinnamomeiventris") is a species of chat in the family Muscicapidae which occurs in rocky habitats in much of eastern Sub-Saharan Africa. The mocking cliff chat is a large chat with distinctive colouration. The male has a glossy black with a chestnut belly, vent, and rump and white shoulder patches. The shoulder patches vary in size geographically. The female is dark grey with a chestnut lower breast, belly, and vent. The mocking cliff chat has a length of 19–21 cm and weigh 41–51g. A loud fluty melodious warbling


title: "Mocking cliff chat" content: West Africa is sometimes included in this species. Mocking cliff chat The mocking cliff chat, mocking chat or cliff chat, ("Thamnolaea cinnamomeiventris") is a species of chat in the family Muscicapidae which occurs in rocky habitats in much of eastern Sub-Saharan Africa. The mocking cliff chat is a large chat with distinctive colouration. The male has a glossy black with a chestnut belly, vent, and rump and white shoulder patches. The shoulder patches vary in size geographically. The female is dark grey with a chestnut lower breast, belly, and vent. The mocking cliff chat has a length of 19–21 cm


title: Hanpu content: Hanpu Hanpu () or Hambo (), later Wanyan Hanpu, was a leader of the Jurchen Wanyan clan in the early tenth century. According to the ancestral story of the Wanyan clan, Hanpu came from Goryeo (Korea) when he was sixty years old, reformed Jurchen customary law, and then married a sixty-year-old local woman who bore him three children. His descendants eventually united Jurchen tribes into a federation and established the Jin dynasty in 1115. In 1136 or 1137, Hanpu was retrospectively given the temple name Jin Shizu (), or "first ancestor of Jin." Chinese historians have long debated whether Hanpu


title: Hanpu content: received the title of Empress Mingyi in 1136. The "History of Jin", an official history that was compiled by Mongol scholar Toqto'a in the 1340s, lists Hanpu's family members as follows: Children: Siblings: Hanpu Hanpu () or Hambo (), later Wanyan Hanpu, was a leader of the Jurchen Wanyan clan in the early tenth century. According to the ancestral story of the Wanyan clan, Hanpu came from Goryeo (Korea) when he was sixty years old, reformed Jurchen customary law, and then married a sixty-year-old local woman who bore him three children. His descendants eventually united Jurchen tribes into a federation


title: "Continuous-time stochastic process" content: Continuous-time stochastic process In probability theory and statistics, a continuous-time stochastic process, or a continuous-space-time stochastic process is a stochastic process for which the index variable takes a continuous set of values, as contrasted with a discrete-time process for which the index variable takes only distinct values. An alternative terminology uses continuous parameter as being more inclusive. A more restricted class of processes are the continuous stochastic processes: here the term often (but not always) implies both that the index variable is continuous and that sample paths of the process are continuous. Given the possible confusion, caution is needed. Continuous-time


title: "Continuous-time stochastic process" content: stochastic processes that are constructed from discrete-time processes via a waiting time distribution are called continuous-time random walks. An example of a continuous-time stochastic process for which sample paths are not continuous is a Poisson process. An example with continuous paths is the Ornstein–Uhlenbeck process. Continuous-time stochastic process In probability theory and statistics, a continuous-time stochastic process, or a continuous-space-time stochastic process is a stochastic process for which the index variable takes a continuous set of values, as contrasted with a discrete-time process for which the index variable takes only distinct values. An alternative terminology uses continuous parameter as being


title: "Ticket Granting Ticket" content: Ticket Granting Ticket In some computer security systems, a Ticket Granting Ticket or Ticket to Get Tickets (TGT) is a small, encrypted identification file with a limited validity period. After authentication, this file is granted to a user for data traffic protection by the key distribution center (KDC) subsystem of authentication services such as Kerberos. The TGT file contains the session key, its expiration date, and the user's IP address, which protects the user from man-in-the-middle attacks. The TGT is used to obtain a service ticket from Ticket Granting Service (TGS). User is granted access to network services only after


title: "Ticket Granting Ticket" content: this service ticket is provided. Ticket Granting Ticket In some computer security systems, a Ticket Granting Ticket or Ticket to Get Tickets (TGT) is a small, encrypted identification file with a limited validity period. After authentication, this file is granted to a user for data traffic protection by the key distribution center (KDC) subsystem of authentication services such as Kerberos. The TGT file contains the session key, its expiration date, and the user's IP address, which protects the user from man-in-the-middle attacks. The TGT is used to obtain a service ticket from Ticket Granting Service (TGS). User is granted access


title: "D'Mile" content: 6, 2012. More recently, D Mile has had production featured on Ty Dolla Sign's Beach House series, including; Beach House, Beach House 2, Beach House EP and Beach House 3. He also produced Livin' It Up from Ciara's 2013 album Ciara. In 2016, he has produced the two tracks "Mind Of A Man" and "FWM" for "Hard II Love" by Usher. D'Mile Dernst "D'Mile" Emile II is an American record producer and songwriter from Brooklyn, New York. Sometimes referred to as D. Emile, Dernst Emile II or Dee'Mile is most commonly known and accredited as D'Mile. According to his official


title: "Western oriole" content: Western oriole The western oriole ("Oriolus brachyrynchus"), or western black-headed oriole, is a species of bird in the family Oriolidae that is native to Africa. The adult upperparts are yellow-olive, and the underparts are yellow in colour. It is rated as a species of least concern on the International Union for Conservation of Nature Red List of Endangered Species. The western oriole was first described in 1837 by the English ornithologist William John Swainson. Alternate names for the western oriole include the black-headed oriole and greenish-backed oriole. Two subspecies are recognized: According to the genetic data, the western oriole and


title: "Silver oriole" content: Silver oriole The silver oriole ("Oriolus mellianus") is a species of bird in the family Oriolidae. It breeds in southern China and winters in mainland Southeast Asia. Its natural habitats are subtropical or tropical moist lowland forest and subtropical or tropical moist montane forest where it is threatened by habitat loss. The silver oriole was originally described as a subspecies of the maroon oriole. Along with the black, black-and-crimson and maroon orioles, it belongs to a clade of red and black orioles. Alternate names for the silver oriole include Mell's maroon oriole, Mell's oriole, Stresemann's maroon oriole and Stresemann's oriole.


title: "San Pablo Creek" content: Creek, Inspiration Creek, Kennedy Creek, La Colina Creek, Lauterwasser Creek, Leastrot Creek, Lila Creek, Miner Creek, Newell Creek, Oak Creek, Oursan Creek, Overhill Creek, Rose Creek, Russel Creek, San Pablo Reservoir, Sather Creek, Schoolhouse Creek, Siesta Valley Creek, Tarry Creek, Tin House Creek, Wagner Creek, Wilkie Creek and Wire Ranch Creek. The creek is helped by many community organizations. The city of San Pablo has organized cleanups, as has the Friends of Orinda Creeks. The San Pablo Watershed Neighbors Education and Resources Society (SPAWNERS) goes further than just garbage and weed cleanups and includes restoration efforts and watershed studies. SPAWNERS


title: "Breguet Bre.5" content: Breguet Bre.5 The Breguet Bre.5 B.2 bomber and Breguet Bre.5 Ca.2 escort fighter were French biplanes of World War I which were developments of the Breguet Bre.4 bomber. The Bre.6 and Bre.12 were, in turn, developments of the Bre.5 This aircraft was a refinement of the escort fighter that Breguet Aviation had designed and was manufactured by Michelin as the Breguet-Michelin BUC. Initially intended to carry the same 37 mm (1.46 in) Hotchkiss cannon that armed the BUC, the Bre.5 was revised at the request of the French Army to carry a 7.7 mm (.303 in) Lewis Gun fired rearward


title: "Breguet Bre.5" content: as Bre.12 night fighters and night bombers. The fighter carried a 37 mm (1.46 in) cannon and a searchlight. Breguet Bre.5 The Breguet Bre.5 B.2 bomber and Breguet Bre.5 Ca.2 escort fighter were French biplanes of World War I which were developments of the Breguet Bre.4 bomber. The Bre.6 and Bre.12 were, in turn, developments of the Bre.5 This aircraft was a refinement of the escort fighter that Breguet Aviation had designed and was manufactured by Michelin as the Breguet-Michelin BUC. Initially intended to carry the same 37 mm (1.46 in) Hotchkiss cannon that armed the BUC, the Bre.5 was


title: "Copper mining in Michigan" content: Copper mining in Michigan While it originated thousands of years earlier, copper mining in Michigan became an important industry in the 19th and early 20th centuries. Its rise marked the start of copper mining as a major industry in the United States. Within the state of Michigan, copper is found almost exclusively in the western portion of the Upper Peninsula, in an area known as the Copper Country. The Copper Country is highly unusual among copper-mining districts, because copper is predominantly found in the form of pure copper metal ("native copper") rather than the copper oxides or copper sulfides that


title: "Nelicourvi weaver" content: of light grey feathers with a yellowish tinge. The shoulders, and upper tailbase are also bright olive-green, the under tailbase chestnut-colored, while the tail flight feathers are blackish with wide olive-green. The non-breeding plumage differs in the black of the head which turns olive green, mottled with dark grey, and the presence of a narrow yellow brow. The front of the head of the female in breeding plumage is yellow, gradually changing to olive green at the back of the head, except for the broad yellow rear brow, while the area between the eye and the bill is dark greenish


title: Triple-click content: paragraph in the text area selects the entire paragraph. A triple-click in the left margin (when the mouse pointer is an up-and-to-the-right arrow) selects the entire document. A triple-click within a paragraph in the text area selects the line. A triple-click in the left margin (when the mouse pointer is an up-and-to-the-right arrow) selects the entire document. A triple-click within a paragraph in the text area selects the sentence. A triple-click in the left margin (when the mouse pointer is an up-and-to-the-right arrow) selects the entire document. A triple-click within a paragraph in the text area selects the entire paragraph.


title: "Naga wren-babbler" content: Naga wren-babbler The Naga wren-babbler or long-tailed wren-babbler ("Spelaeornis chocolatinus") is a bird species in the family Timaliidae. In India it is found in Nagaland and Manipur. Several former subspecies of this bird have now been recognized as good species. They are: pale-throated wren-babbler ("S. kinneari"), Chin Hills wren-babbler ("S. oatesi") and grey-bellied wren-babbler ("S. reptatus"). Together, the group was collectively known as the long-tailed wren-babbler. The natural habitats of the long-tailed wren-babbler are subtropical or tropical moist montane forests. Following the splitting of the newly recognized species, the populations remaining in "S. chocolatinus" are small enough to warrant uplisting


title: "Naga wren-babbler" content: to near threatened status, from the previous IUCN assessment of least concern. Naga wren-babbler The Naga wren-babbler or long-tailed wren-babbler ("Spelaeornis chocolatinus") is a bird species in the family Timaliidae. In India it is found in Nagaland and Manipur. Several former subspecies of this bird have now been recognized as good species. They are: pale-throated wren-babbler ("S. kinneari"), Chin Hills wren-babbler ("S. oatesi") and grey-bellied wren-babbler ("S. reptatus"). Together, the group was collectively known as the long-tailed wren-babbler. The natural habitats of the long-tailed wren-babbler are subtropical or tropical moist montane forests. Following the splitting of the newly recognized species,


title: "London Denim" content: London Denim London Denim was created in 2001 by Simon King. Initially they made jeans in the UK then moved to Italy and Japan. Working with Cone Denim, UCO, Legler and Japanese mills to provide core materials. They deconstructed / reconstructed played with washes, printing and customising and came up with innovative processes to get around the lack of denim skills in the UK. They were the first denim label to show at London Fashion Week exhibition in 2001 paving the way for other streetware brands to follow. In 2015 London Denim launched London Denim mens - jeans for a


title: "London Denim" content: Modern Creative Man. London Denim London Denim was created in 2001 by Simon King. Initially they made jeans in the UK then moved to Italy and Japan. Working with Cone Denim, UCO, Legler and Japanese mills to provide core materials. They deconstructed / reconstructed played with washes, printing and customising and came up with innovative processes to get around the lack of denim skills in the UK. They were the first denim label to show at London Fashion Week exhibition in 2001 paving the way for other streetware brands to follow. In 2015 London Denim launched London Denim mens -


title: Emu-wren content: of the smallest, the rufous-crowned, to 7.5 g of the southern emu-wren. The three species of emu-wrens each live in distinct habitats: the southern emu-wren preferring marshes and heathland, the mallee emu-wren inhabiting spinifex understory in mallee woodland, and the rufous-crowned emu-wren dwelling in spinifex in desert areas. Emu-wrens are fairly secretive and hard to spot, living in low shrub cover. They are predominantly insectivorous, but supplement their diet with seeds. Their furtive behaviour and brown colour has resulted in them being mistaken for bush mice. Emu-wren The emu-wrens ("Stipiturus") are a genus of passerine birds in the Australasian wren


title: "White-rumped swallow" content: to the similarity in morphology and calls. It is occasionally placed in the genus "Iridoprocne" with the tree swallow, mangrove swallow, white-winged swallow, and Chilean swallow. A study of the mitochondrial DNA of "Tachycineta" supports the split, although studies do show that the white-rumped swallow forms a superspecies, "leucorrhoa", with the Chilean swallow. This species is monotypic, with no known subspecies. This swallow is named for its white rump but it is also sometimes called the white-browed swallow, due to its white supraloral streak. The white-rumped swallow measures in length and weighs . It has an average wingspan of .


title: "Burned (album)" content: Burned (album) Burned was released in 1995 and is the only album to have been released by Electrafixion. The album reached #38 on the UK albums chart in October of that year. "Burned" was originally released in 1995 on CD with eleven tracks. In 2007 the album was reissued in the UK by Korova Records in remastered and expanded form, with the four tracks from the "Zephyr" EP and a remixed version of "Never" on the first CD. A second CD was included containing b-sides and live recordings from their Shepherds Bush Empire concert on 22 October 1995. The tracks


title: "Burned (album)" content: on the album which have been released as singles are "Lowdown", "Never" and "Sister Pain". An EP titled "Zephyr" was released which included the tracks "Zephyr", "Burned" and "Mirrorball". "Rain on Me" from the "Zephyr" EP was not included on the CD until the 2007 reissue. All tracks written by Ian McCulloch and Will Sergeant except where noted. Burned (album) Burned was released in 1995 and is the only album to have been released by Electrafixion. The album reached #38 on the UK albums chart in October of that year. "Burned" was originally released in 1995 on CD with eleven


title: "Kansas Barbed Wire Museum" content: Kansas Barbed Wire Museum The Kansas Barbed Wire Museum is a barbed wire museum located in La Crosse, Kansas, United States, known as the “Barbed Wire Capital of the World.” The museum focuses on barbed wire and its history, displaying over 2,000 different forms of the wire and its history. Barbed wire played a significant role in the history of the settlement of the United States and forever changed the face of the prairie. The museum was established in 1970 in a small storefront on Main Street in downtown La Crosse, Kansas. By 1990, the collections had grown so much


title: "Kansas Barbed Wire Museum" content: patents related to barbed wire and related items. Kansas Barbed Wire Museum The Kansas Barbed Wire Museum is a barbed wire museum located in La Crosse, Kansas, United States, known as the “Barbed Wire Capital of the World.” The museum focuses on barbed wire and its history, displaying over 2,000 different forms of the wire and its history. Barbed wire played a significant role in the history of the settlement of the United States and forever changed the face of the prairie. The museum was established in 1970 in a small storefront on Main Street in downtown La Crosse, Kansas.


title: "Khmer clothing" content: thick and strong fabric cover on the chest, which hugged the body closely. Sometimes, the common style of wearing this garment was similar to that of the Aor Chang Pok; however Aor Tronum did not leave as much skin uncovered as Aor Chang Pok. The Aor Tronum was popular among rich young women in the Chatomok era; today it is an important costume in Khmer classical dance. "Av Bumpong" () means tube skirt in English due to its appearance as a long tube, close to the body at the neck from which it hangs easily. Aor Bupok is a long


title: "Dark-sided thrush" content: Dark-sided thrush The dark-sided thrush ("Zoothera marginata") is a species of bird in the thrush family Turdidae. It is also known as the lesser brown thrush, the long-billed ground-thrush, and the dark-sided ground-thrush. The species is monotypic (lacking subspecies) and is closely related to a number of thrushes in the genus "Zoothera", including the long-billed thrush and the widespread scaly thrush. It was described by Edward Blyth in 1847 based upon a specimen collected in Rakhine in Burma (Myanmar). The dark-sided thrush is in length and weighs around . It has a particularly long blackish bill and the plumage is


title: "Dark-sided thrush" content: streams, also in areas of reed and bamboo in these forests. The species is not common anywhere, but is potentially often overlooked due to its cryptic plumage and retiring behaviour. Dark-sided thrush The dark-sided thrush ("Zoothera marginata") is a species of bird in the thrush family Turdidae. It is also known as the lesser brown thrush, the long-billed ground-thrush, and the dark-sided ground-thrush. The species is monotypic (lacking subspecies) and is closely related to a number of thrushes in the genus "Zoothera", including the long-billed thrush and the widespread scaly thrush. It was described by Edward Blyth in 1847 based


title: "Plate-billed mountain toucan" content: to deforestation. It is also poached for the trade in exotic birds. The plate-billed mountain toucan is the flagship bird of the La Planada Nature Reserve in Colombia. Plate-billed mountain toucan The plate-billed mountain toucan ("Andigena laminirostris") is a species of bird in the family Ramphastidae. It is native to the west slope of Ecuador and extreme southern Colombia, where it lives in the high-altitude humid montane forests of the Andes. It is also known as the laminated hill-toucan, laminated mountain-toucan, and plain-billed mountain-toucan. Two different colorations of the species can be found. The northern birds have a brown iris


title: "Abyssinian woodpecker" content: Abyssinian woodpecker The Abyssinian woodpecker ("Dendropicos abyssinicus"), also known as the "golden-backed woodpecker" or the "golden-mantled woodpecker", is a species of bird in the woodpecker family, Picidae. It is native to Africa, where it occurs in Eritrea and Ethiopia. It appears to be a close relative of the cardinal woodpecker "Dendropicos fuscescens". The Abyssinian woodpecker is a very small woodpecker with a relatively long and broad bill. It has a golden yellow back and mantle with a bright red rump and barred wings and barred tail, the underparts are pale and heavily streaked with black. The head is striped and


title: "Alfredo Valente" content: Alfredo Valente Alfredo Valente (born November 6, 1980 in Burnaby, British Columbia) is a former Canadian soccer midfielder who formerly played for the Vancouver Whitecaps of the USL First Division (USL-1). Valente played 11 seasons with the 86ers/Whitecaps organization, winning USL championships with the club in 2006 and 2008. He has also played indoor soccer with the Edmonton Drillers of the National Professional Soccer League (NPSL) early in his professional career. Internationally, Valente has represented Canada with the under-18, under-20 and under-23 national teams. Growing up in Burnaby, British Columbia, a neighbouring city east of Vancouver, Valente began playing soccer


title: "Alfredo Valente" content: 19, 2007. Alfredo Valente Alfredo Valente (born November 6, 1980 in Burnaby, British Columbia) is a former Canadian soccer midfielder who formerly played for the Vancouver Whitecaps of the USL First Division (USL-1). Valente played 11 seasons with the 86ers/Whitecaps organization, winning USL championships with the club in 2006 and 2008. He has also played indoor soccer with the Edmonton Drillers of the National Professional Soccer League (NPSL) early in his professional career. Internationally, Valente has represented Canada with the under-18, under-20 and under-23 national teams. Growing up in Burnaby, British Columbia, a neighbouring city east of Vancouver, Valente began


title: "Bob Waldmire" content: Bob Waldmire Robert Waldmire (April 19, 1945–December 16, 2009) was an American artist and cartographer who is well known for his artwork of U.S. Route 66, including whimsical maps of the "Mother Road" and its human and natural ecology. Being the son of Ed Waldmire Jr., he is often associated with the Cozy Dog Drive In restaurant in Springfield, Illinois (on U.S. Route 66), the elder Waldmire (along with his friend Don Strand) having created the Cozy Dog. His career as a professional artist began during his student days at Southern Illinois University. He returned home to draft a "bird's-eye-view"


title: "Bob Waldmire" content: John Steinbeck Award for his contributions to the preservation of Route 66. One of Waldmire's modified vehicles, an orange 1972 Volkswagen Microbus, was the inspiration for the character "Fillmore" from the 2006 animated motion picture "Cars". Pixar abandoned a proposal to name the character "Waldmire" as Bob was unwilling to sell marketing rights to Disney for a series of toys which would appear in McDonald's Happy Meals. On November 22, 2009 "Bob’s Last Art Show" was held at the Cozy Dog Drive-In. On December 16, 2009, Waldmire died from cancer which had spread from his colon to his liver. His


title: Diplom-Is content: Diplom-Is and the Swedish GB Is, but by 1995 GB had to withdraw from the market. At the same time Diplom-Is started to franchise produce the Swiss brand Mövenpick. In 1992, the company established itself in Denmark, and in 2004 in Sweden. In 2002 the legal name changed to Diplom-Is AS. On 30 September 2010 Unilever signed an asset purchase agreement with the Norwegian dairy group TINE, to acquire the activities of Diplom-Is in Denmark. Diplom-Is Diplom-Is AS is a Norwegian manufacturer of ice cream owned by the dairy group Tine. In 2005, the company produced of ice cream, and


title: "Action Action" content: Action Action Action Action is an American indie rock band, formerly signed to Victory Records. Action Action formed in 2004 from the ashes of The Reunion Show, Count The Stars and Diffuser. The band signed with Victory Records and released their first album, "Don't Cut Your Fabric to This Year's Fashion" (2004), and released their second album "An Army of Shapes Between Wars" in 2006. In the same year, Action Action toured with Maxeen, Morningwood, The Sounds, Jonezetta, We Are The Fury, The Cult and Something for Rockets on various legs of their US tours. The song "Paper Cliché" was


title: "Action Action" content: featured in the video game, "". Their song "Dream Within A Dream" was featured in a 2009 Gillette commercial. The song was included on their self-released 2010 album "The Ones Who Get It Are The Ones Who Need Not To Know". Action Action Action Action is an American indie rock band, formerly signed to Victory Records. Action Action formed in 2004 from the ashes of The Reunion Show, Count The Stars and Diffuser. The band signed with Victory Records and released their first album, "Don't Cut Your Fabric to This Year's Fashion" (2004), and released their second album "An Army


title: "Neighborhoods in Plymouth, Massachusetts" content: North Plymouth, South Plymouth, and West Plymouth are named based upon their relationship to Plymouth Center. Plymouth has one of the longest coastlines of any town in Massachusetts, and makes up the entire western shore of Cape Cod Bay. The town is therefore home to a wide array of beach communities. Neighborhoods in Plymouth, Massachusetts There are several neighborhoods in Plymouth, Massachusetts. With a total area of 134.0 mi² (347.0 km²), Plymouth is the largest municipality in Massachusetts by area. In addition, with a population of 51,701 at the 2000 census and an estimated population of 57,901 in 2007, Plymouth


title: "Pennsylvania Route 199" content: the eastbound entrance/exit ramp for the NY 17 freeway before reaching the New York state line, where the road becomes NY 34 and immediately passes under NY 17 prior to the westbound entrance/exit ramp for the I-86 freeway. When Pennsylvania first legislated routes in 1911, what is now PA 199 between the southern terminus and the intersection of Keystone Avenue and Mohawk Street in Sayre was designated as part of Legislative Route 287, which ran from Towanda north to South Waverly. With the creation of the U.S. Highway System in 1926, Legislative Route 287 became part of US 711. The


title: "Big Big Train" content: Big Big Train Big Big Train are an English progressive rock band formed in Bournemouth in 1990. The current line-up consists of band founder Greg Spawton (bass, guitars and keyboards), along with Robin Armstrong (guitars and keyboards), Nick D'Virgilio (drums), Dave Gregory (guitars), Rachel Hall (violin and vocals), David Longdon (vocals, flute, keyboards and guitars), Danny Manners (keyboards and bass), and Rikard Sjöblom (keyboards and guitars). Until 2009, the band were active as a predominantly-studio project led by Spawton and co-founder Andy Poole (who departed the band in 2018) with changing line-ups and guest musicians. They have released eleven studio


title: "Big Big Train" content: albums and three EPs. After starting out as an independent band, Big Big Train were signed to Giant Electric Pea from 1993 to 1998 and distributed their releases through their own website. Since their sixth album "The Underfall Yard", which received critical acclaim from the progressive rock community, a more stable lineup has been established, and the band performed their first live concerts in 17 years at Kings Place, London, in August 2015. The gigs were voted Event Of The Year by the readers of Prog magazine. "Stone & Steel", a Blu-ray featuring the 2014 rehearsals at Real World Studios


title: "Big Big Train" content: and four of the songs performed at Kings Place, was released on 21 March 2016. Big Big Train were the winners of the Breakthrough Award at the Progressive Music Awards held at Kew Gardens, London on 3 September 2013, and have been nominated in several other categories in recent years. The band's latest studio albums, "Grimspound" and "The Second Brightest Star", were released April and June 2017 respectively. Big Big Train's most recent live performances were at Cadogan Hall, London, in September/October 2017, and as headliners at The Night Of The Prog festival in Lorelei, Germany, on 13 July 2018.


title: "Big Big Train" content: The roots of Big Big Train go back to 1981 in Birmingham, England, when Greg's brother Nigel Spawton joined with Ed Serafinas, Pete McDonald, Steve Lugg and Tim McCarty in the punk outfit known as Big Big Train. Later in the 80's Andy Poole formed a songwriting partnership in Bournemouth, England, with his childhood friend, Ian Cooper. At around the same time, Greg Spawton had also formed his first band, Equus. Equus played a few local gigs around the Birmingham area before splitting up when Spawton went to university in 1984. Meanwhile, Poole and Cooper's band, Archshine, recorded a few


title: "Big Big Train" content: demos and occasionally emerged from their home studio to play some gigs. In 1987, Spawton moved down to Bournemouth. Shortly afterwards, he met Poole and they discovered that they shared a mutual appreciation of Genesis, Van der Graaf Generator and other progressive bands. In particular, they were both fans of a then relatively obscure band called IQ. Indeed, Poole had spent some time as a roadie for The Lens and IQ. In the late 1980s, they decided to record some demos together. After a few months, the very first Big Big Train songs emerged and in 1990, Arcshine ceased to


title: "Big Big Train" content: exist, and Big Big Train was founded, initially consisting of the duo of Spawton (guitar) and Poole (bass). The following year saw the recruitment of Cooper (keyboards), Steve Hughes (drums), and Martin Read (vocals). The band's earliest songs were released on a demo tape in October 1991, and the band's first demo album, "From the River to the Sea", was released in May 1992. During this time, the band continued to perform live dates, gradually playing to larger crowds in higher profile venues. In January 1993 the band released their second demo album, "The Infant Hercules", and then followed up


title: "Big Big Train" content: six months later with their debut full-length album "Goodbye to the Age of Steam". The album was recorded over the course of two weeks in July 1993. Not long after the recording sessions were completed, the band were signed to the progressive rock label, Giant Electric Pea. The response to the album was very positive, culminating in a licensing deal in Japan where the CD was re-released in 1995, with a bonus track. In the meantime, Ian Cooper had left the band (for family rather than musical reasons) and due to this the band ceased touring and started looking for


title: "Big Big Train" content: his replacement. In the meantime, they started work on their next album, with Spawton filling the role of keyboard player. Eventually, Tony Müller was recruited as keyboard player in early 1995 during the recording of the new album. Some of the new songs were debuted live at The Astoria, London, the only live show the band performed during this period. "English Boy Wonders" was finally released in autumn 1997, although to a much less positive reaction than "Age Of Steam". At this stage, after a less than pleasurable recording experience, a poorly received second album, and with a record label


title: "Montpelier Hill" content: the water or apply it to sore ears. Mount Pelier Hill is accessed from the Hell Fire Wood car park along the R115 road between Rathfarnham and Glencullen. The woods offer around of forest roads and tracks as well as a permanent orienteering course. Lord Massy's Estate is also accessed from the R115, close to the Hell Fire Wood car park. The woods offer a nature trail and a permanent orienteering course. Lord Massy's Estate and Mount Pelier Hill are also traversed by the Dublin Mountains Way hiking trail that runs between Shankill and Tallaght. In March 2017 plans were


title: "Pittock Block" content: been awarded the $700,000 contract to construct the Pittock Block, with construction to begin immediately. According to a front-page story in the May 25, 1913, edition of "The Oregonian": "One-half of the building will be eight stories in height, with frontage on the Washington Street side, while the Stark Street side will be three stories high. In addition to a deep basement there will be a sub-basement on the part of the block facing Tenth street. The Northwestern Electric Company, for which the structure is to be erected, will occupy a part of the West Park street side and all


title: "Wallington Hundred" content: Sanderstead, Sutton and Woodmansterne. In Surrey it was bounded by Brixton hundred to the north, Kingston hundred and Copthorne hundred to the west, Reigate hundred and Tandridge hundred to the south. In the east its boundary was with the Bromley and Beckenham hundred of Kent. In 1831, the hundred occupied . In 1840, most of the hundred was included in the expanded Metropolitan Police District by the Metropolitan Police Act 1839. In 1851 the hundred is recorded as comprising a "First division" of and a population of 22,343 and "Second division" of and a population of 11,607. The population in


title: "McKnight Foundation Collaborative Crop Research Program" content: the formation of four regional communities of practice (CoPs) in Africa and South America, where hunger and poverty levels are among the highest in the world. Grantees within these communities work together to strengthen institutional capacity to generate knowledge and spark innovation in agriculture research and development. The CoP model emphasizes networking, learning, and collective action. Andes CoP (Bolivia, Ecuador, and Peru) The Andes CoP supports integrated and diverse production systems that embrace conservation and native agricultural biodiversity as part of its goal to raise the profile of traditional knowledge and understanding its relationship to scientific research. Funding is directed


title: "Domed Rodrigues giant tortoise" content: the world, to assist in the rebuilding of Rodrigues' devastated environment. The replacement species for the domed Rodrigues tortoise was chosen to be the radiated tortoise ("Astrochelys radiata") of Madagascar, which is similar in size and habit. Domed Rodrigues giant tortoise The domed Rodrigues giant tortoise ("Cylindraspis peltastes") was a species of giant tortoises in the family Testudinidae. It was endemic to Rodrigues. It appears to have become extinct around 1800, as a result of human exploitation. The domed Rodrigues tortoise was one of the smallest of the giant tortoises of the Indian Ocean, reaching a length of just over


title: "Domed Mauritius giant tortoise" content: Domed Mauritius giant tortoise The domed Mauritius giant tortoise ("Cylindraspis triserrata") is an extinct species of tortoise. It was endemic to Mauritius. One of two different giant tortoise species which were endemic to Mauritius, this domed species seems to have specialised in grazing of grass, as well as fallen leaves and fruit on forest floors. Its sister species was likely a browser of higher branches, and although similarly sized, the two species differed substantially in their body shape and bone structure. The domed species had a flatter, rounder shape, with thinner bones and shell. The species name "triserrata" actually refers


title: "Yellow-footed tortoise" content: Yellow-footed tortoise The yellow-footed tortoise ("Chelonoidis denticulatus"), also known as the Brazilian giant tortoise, is a species of tortoise in the family Testudinidae and is closely related to the red-footed tortoise ("C. carbonaria"). It is found in the Amazon Basin of South America. With an average length of 40 cm (15.75 in) and the largest known specimen at 94 cm (37 in), this is the sixth-largest tortoise species on Earth, after the Galapagos tortoise, the Aldabra tortoise, the African spurred tortoise ("Geochelone sulcata", typical size 76 cm (30 in)), the leopard tortoise ("Stigmochelys pardalis"), and the Asian forest tortoise ("Manouria


title: "Golden-naped tanager" content: Golden-naped tanager The golden-naped tanager ("Tangara ruficervix") is a species of bird in the family Thraupidae. It is found in Bolivia, Colombia, Ecuador, and Peru. Its natural habitats are subtropical or tropical moist montane forests and heavily degraded former forest. Golden-naped tanagers have plumage similar to those of the metallic-green tanager, the swallow tanager and the blue-and-black tanager as adults of all three species are primarily blue with black facial masking, however, the golden-naped tanager is the only primarily blue tanager with a golden or reddish crown patch or nape. Females have a similar pattern to males, but have duller


title: "Kamchatka (band)" content: Kamchatka (band) Kamchatka are a Swedish power trio highly influenced by late 1960s and early 1970s blues rock bands. Their sound combines elements of blues rock, stoner rock and psychedelic rock. Kamchatka took their name from the volcanically active Russian Kamchatka Peninsula that divides the Okhotsk and the Bering Sea. In 2005 Kamchatka released their self-titled debut "Kamchatka", a 14-track album containing 3 covers: "I Love Everybody" originally written by blues-rocker Johnny Winter. The 2 other songs, "Auto Mowdown" and "Spacegirl Blues" were written by Gerald V. Casale of new wave band Devo (from compilation ). The album was recorded


title: "Kamchatka (band)" content: did a tour in Sweden opening for blues influenced band Clutch on three occasions. In April/May 2008 Kamchatka did a US Tour opening for Clutch on 21 occasions. In 2009, they continued this affiliation with Clutch by joining them on a November tour of the EU. Kamchatka (band) Kamchatka are a Swedish power trio highly influenced by late 1960s and early 1970s blues rock bands. Their sound combines elements of blues rock, stoner rock and psychedelic rock. Kamchatka took their name from the volcanically active Russian Kamchatka Peninsula that divides the Okhotsk and the Bering Sea. In 2005 Kamchatka released


title: "Yellow-rumped antwren" content: antwren was described by the German ornithologist Hans von Berlepsch in 1901 and given the binomial name "Terenura sharpei". The current genus "Euchrepomis" was introduced in 2012. Yellow-rumped antwren The yellow-rumped antwren ("Euchrepomis sharpei") s an insectorivous bird in the antbird family Thamnophilidae. It is endemic to the Yungas (east Andean foothills) of Bolivia (La Paz and Cochabamba) and immediately adjacent Peru (Puno and Cusco). It is rarely seen but has been recorded at the Cochabamba-Villa Tunari road, Chapare, Cochabamba, in 1979; in the Serranía Bellavista north of Caranavi, La Paz, in 1979-1980 and 1997, although playback surveys at the


title: "Late modernism" content: Late modernism In the visual arts, late modernism encompasses the overall production of most recent art made between the aftermath of World War II and the early years of the 21st century. The terminology often points to similarities between late modernism and post-modernism although there are differences. The predominant term for art produced since the 1950s is contemporary art. Not all art labelled as contemporary art is modernist or post-modern, and the broader term encompasses both artists who continue to work in modern and late modernist traditions, as well as artists who reject modernism for post-modernism or other reasons. Arthur


title: "Late modernism" content: the atom bomb. Late modernism describes movements which both arise from, and react against, trends in modernism and reject some aspect of modernism, while fully developing the conceptual potentiality of the modernist enterprise. In some descriptions post-modernism as a period in art is completed, whereas in others it is a continuing movement in contemporary art. In art, the specific traits of modernism which are cited are generally formal purity, medium specificity, art for art's sake, the possibility of authenticity in art, the importance or even possibility of universal truth in art, and the importance of an avant-garde and originality. This


title: "The Crock of Gold (album)" content: The Crock of Gold (album) The Crock of Gold was the second full-length album by Shane MacGowan and the Popes and was released in November 1997 on ZTT Records. "The Crock of Gold" followed "The Snake", MacGowan's first solo album after the breakup of The Pogues, and was less critically acclaimed than its predecessor. The album is named for the novel by Irish writer James Stephens. To date, it is the last full studio album MacGowan has recorded. According to Rob Martin, writing for Spinal Column in 1998, ""The Crock of Gold" has one really solid song after another in


title: "The Crock of Gold (album)" content: "The Crock of Gold" is a worthy effort that fans of MacGowan and the Pogues are sure to enjoy." Like a number of songs by The Pogues, traditional Irish tunes are used as base melodies for some songs; including "Paddy Public Enemy Number One", which combines the tune of "The Man From Mullingar" with "The Kesh Jig"; and "More Pricks Than Kicks", to the tune "Tabhair Dom Do Lamh". All tracks composed by Shane MacGowan; except where indicated with: The Crock of Gold (album) The Crock of Gold was the second full-length album by Shane MacGowan and the Popes and


title: "Brothers Volcano" content: industry. The volcano was created by a subduction of the Pacific Plate under the Australian Plate. It is still unknown when the Brothers Volcano last erupted, but the crater walls tell us that its last eruption was so explosive that it caused the volcano to blow out a caldera. A joint expedition by the United States, New Zealand and Germany mapped the volcano in detail in 2007. Submarine volcanoes are not monitored by any organization, but have become a central interest in current expeditions. Brothers Volcano The Brothers Volcano is a Pacific Ocean submarine volcano in the Kermadec Arc, 340


title: "Dog walking" content: time set by the owner. Also growing in popularity is "dog running". Dog runners are professionals who run with dogs, rather than walking with them. In some jurisdictions, dog walking businesses must be licensed and have animal first-aid-trained employees. Professional dog walking services can be obtained locally or through online referral services. Obtaining a position as a professional dog walker has become more difficult, with applicants having to pass rigorous exams and go through extensive training. In the United States, the first professional dog walker is believed to have been Jim Buck, who in 1960 launched his dog walking service


title: Meyrueis content: the municipal council, give the alarm, and until 1685, call people to worship. It always beats the hours of the city and now houses the tourist office. The Roquedols Castle, located 2 km south of the city in the valley of Béthuzon, dates from the first half of the 16th century. From 1236 Roquedols (Rocadols, Rocadaholis, Repedolsa = soft rock) was a locality with several mas forming a hamlet. But this is probably at the end of the 14th century that the first castle was built by Sir Pagès de Porcarès, who in 1336 took the title of "noble Pierre


title: "Big Apple Bagels" content: Big Apple Bagels Big Apple Bagels is an American franchised chain of bakery-cafes based in Deerfield, Illinois. Coffee, along with a variety of other related products are sold. The products are sold as three different brands: Big Apple Bagels, Brewster's Coffee, and My Favorite Muffin. BAB, Inc. (), the parent company of Big Apple Bagels, has 98 franchised a 6 licensed stores. Big Apple Bagels was started by Paul Stolzer in October 1993. BAB completed its initial public offering November 27, 1995. BAB, Inc. has been a fundraiser of the Cystic Fibrosis Foundations since 2010. Products available include sandwiches, soup,


title: "Fairchild Republic A-10 Thunderbolt II" content: and Philco-Ford were selected to build and test GAU-8 cannon prototypes. Two YA-10 prototypes were built in the Republic factory in Farmingdale, New York, and first flew on 10 May 1972 by pilot Howard "Sam" Nelson. Production A-10s were built by Fairchild in Hagerstown, Maryland. After trials and a fly-off against the YA-9, on 18 January 1973, the USAF announced the YA-10's selection for production. General Electric was selected to build the GAU-8 cannon in June 1973. The YA-10 had an additional fly-off in 1974 against the Ling-Temco-Vought A-7D Corsair II, the principal USAF attack aircraft at the time, to


title: "Caffeine-Free Coca-Cola" content: U.S. There are 140 calories in a 12-fluid-ounce can of Caffeine-Free Coca-Cola. There are 45 mg of sodium and 39g of total carbohydrates, of which 39g is sugar. Caffeine-Free Coca-Cola Caffeine-Free Coca-Cola was introduced in 1983 as a caffeine-free variant of Coca-Cola. It was introduced to compete against Pepsi Free, which is now called Caffeine-Free Pepsi. The diet variant, Caffeine-Free Diet Coke, was the first variant of Diet Coke and was introduced in 1984, one year before the regular Coke version. In 2013, Caffeine-Free Coca-Cola Zero was introduced in America. In April 1985, Caffeine-Free Coca-Cola was switched to the ill-fated


title: Amblysomus content: the giant golden mole. Burrows used by more than one mole. The Hottentot golden mole will fight aggressively with either sex by using their foreclaws to wrestle, and biting at the abdomen. Fighting is accompanied by high-pitched squeaks. The golden mole actively defends its burrow systems range overlap, and the dominant mole take over neighbouring burrows to increase its home range. The IUCN Red List of Threatened Species includes 10 South African golden mole species. The De Winton’s golden mole ("Cryptochloris wintoni") is critically endangered. Marley’s golden mole ("Amblysomus marleyi"), Giant golden mole (Chrysospalax trevelyani), Van Zyl’s golden mole ("Cryptochloris


title: Amblysomus content: zyli"), Gunning’s golden mole ("Neamblysomus gunningi"), and Juliana’s golden mole ("Neamblysomus julianae") are endangered. The topotypical population of Juliana’s golden mole is critically endangered. Robust golden mole ("Amblysomus robustus"), Arend’s golden mole ("Carpitalpa arendsi"), Duthie’s golden mole ("Chlorotalpa duthieae"), Rough-haired golden mole ("Chrysospalax villosus") are vulnerable. Grant’s golden mole ("Eremitalpa granti"), Fynbos golden mole ("Amblysomus corriae"), and Highveld golden mole ("Amblysomus septentrionalis") are near threatened. Congo golden mole ("Calcochloris leucorhinus") Somali golden mole ("Calcochloris tytonis"), Visagie’s golden mole ("Chrysochloris visagiei") are listed as Data Deficient. Threatened species have restricted or fragmented distributions. Populations subjected to habitat degradation due to human


title: "North African elephant shrew" content: growing at the base of the snout. The rear legs are longer than the forelimbs, an adaptation for running and jumping. North African elephant-shrews use well-developed glands, placed under the tail, for marking territory. The adult specimen has 42 teeth, with a dental formula of . North western Africa from the northern western Sahara to western Libya. Its natural habitats are Mediterranean-type shrubby vegetation and deserts. The North African sengi typically gives birth to litters of 1 to 4 young twice a year. North African elephant shrew The North African elephant shrew or North African sengi ("Petrosaltator rozeti") is a


title: "Checkered elephant shrew" content: a territory of a few acres. The checkered elephant shrew is primarily an insectivore, eating termites, ants, beetles and centipedes. It also will eat mollusks, eggs and small mammals, amphibians and birds. Checkered elephant shrew The checkered elephant shrew or checkered sengi ("Rhynchocyon cirnei") is a species of elephant shrew in the family Macroscelididae. Checked elephant shrews will grow to be around 25 - 30 centimeters long, excluding their tail, making them one of the longest elephant shrews. Their average tail length is slightly over 25 centimeters, which is slightly shorter than their body length. They commonly way around half


title: "Iris spuria" content: called Iris Iris žlutofialový. It is pronounced as 'EYE-ris SPUR-ee-uh'. Due to the wide distribution of the species, it has many different common names, including; 'Spurious Iris', 'false iris', 'bastard iris', 'blue iris' (in England), 'butterfly iris' (also in England), 'meadow marsh iris', 'iris steppe', 'iris des steppes' (in France), 'Steppen-Schwertlilie' (in Germany), and 'dansk iris' (in Sweden). and 'salt iris' (also in Sweden). Another is 'seashore iris', but this probably applies to "Iris spuria" subsp. "maritima". Also 'salt iris', and 'salt marsh iris', but this applies to "Iris halophila" (formerly a subspecies). It was first described in 1753 by


title: "Collared mangabey" content: Collared mangabey The collared mangabey (Cercocebus torquatus), also known as the red-capped mangabey, or the white-collared mangabey (leading to easy confusion with "Cercocebus atys lunulatus"), is a species of primate in the family Cercopithecidae of Old World monkeys. It formerly included the sooty mangabey as a subspecies. As presently defined, the collared mangabey is monotypic. The collared mangabey has grey fur covering its body, but its common names refer to the colours on its head and neck. Its prominent chestnut-red cap gives it the name "red-capped", and its white collar gives it the names "collared" and "white-collared". Its ears are


title: "Rondo dwarf galago" content: Rondo dwarf galago The Rondo dwarf galago ("Galagoides rondoensis") or Rondo bushbaby is a species of primate in the family Galagidae.The dwarf galagos are the smallest members of the genus Galagoides. It weighs less than 100 grams, making it the smallest known galago. It is endemic to Tanzania where its natural habitat is subtropical or tropical dry forests. It lives in an area reported in 2012 to be less than 100 square kilometers and is threatened by habitat loss due to logging. While it was discovered in the 1950s, the Rondo dwarf galago was deemed data deficient until 1996. In


title: "Rondo dwarf galago" content: there, surrounding Dar es Salaam. Rondo dwarf galago The Rondo dwarf galago ("Galagoides rondoensis") or Rondo bushbaby is a species of primate in the family Galagidae.The dwarf galagos are the smallest members of the genus Galagoides. It weighs less than 100 grams, making it the smallest known galago. It is endemic to Tanzania where its natural habitat is subtropical or tropical dry forests. It lives in an area reported in 2012 to be less than 100 square kilometers and is threatened by habitat loss due to logging. While it was discovered in the 1950s, the Rondo dwarf galago was deemed


title: "Plantain squirrel" content: Plantain squirrel The plantain squirrel, oriental squirrel or tricoloured squirrel ("Callosciurus notatus") is a species of rodents in the family Sciuridae found in Indonesia, Malaysia, Singapore, and Thailand in a wide range of habitats: forests, mangroves, parks, gardens, and agricultural areas. Fruit farmers consider them to be pests. Its body is about long with a similar-sized tail. It is greyish/brown with a chestnut belly and a black and white stripe on the side. The genus name "Callosciurus" means beautiful squirrels. Its diet consists mostly of leaves and fruits, but it also eats insects and bird eggs. It is known to


title: Train+Train content: Train+Train Train+Train is a Japanese light novel series, written by Hideyuki Kurata (author of the "Read or Dream" series) and illustrated by Tomomasa Takuma. A manga series was serialized in "Dengeki Daioh" between January 2000 and May 2003 and was completed by the sixth bound volume. The series is published in Japan by MediaWorks and for the English version, the series' lettering is done by Team Pokopen and is licensed by Go! Comi. On Deloca, a distant planet from Earth, high schools are mobile. They exist in train versions, huge ones, with shopping malls and dorms and anything else one


title: Train+Train content: would need in an education. Most students go to standard school trains, to travel around the world for a regular education. Reiichi, the protagonist, finds himself on the Special Train after literally being handcuffed to Arena, a young female warrior with brutal assassins pursuing her. The Special Train accepts him and Reiichi finds himself drawn into its adventures, such as having to win two million 'gold' and saving a small mountain town from certain disaster. In Jason Thompson's online appendix to "", he describes the manga's artwork as "sparse and generic", which he felt was at odds with the series'


title: Train+Train content: premise of going places and seeing things. Train+Train Train+Train is a Japanese light novel series, written by Hideyuki Kurata (author of the "Read or Dream" series) and illustrated by Tomomasa Takuma. A manga series was serialized in "Dengeki Daioh" between January 2000 and May 2003 and was completed by the sixth bound volume. The series is published in Japan by MediaWorks and for the English version, the series' lettering is done by Team Pokopen and is licensed by Go! Comi. On Deloca, a distant planet from Earth, high schools are mobile. They exist in train versions, huge ones, with shopping


title: "Space diving" content: to date. In 1959 Joseph Kittinger accomplished a jump from ; he then set a long-standing record in 1960 when he jumped from . In 1962 Yevgeni Andreyev jumped from and set a longest free fall record that was surpassed by Felix Baumgartner who made three jumps in 2012 from , and . Alan Eustace set the current world record highest and longest free fall jump in 2014 when he jumped from . Higher jumps from the mesosphere or thermosphere have yet to be successfully performed, though Orbital Outfitters is working to create a suit that will enable safe space


title: "Salvin's spiny pocket mouse" content: population. Most individuals will survive for only one year; a few individuals will live to be 15 to 18 months old. This species is less social than other pocket mice. In dry forest systems, home ranges of .20 ha overlap, but intolerance and aggression is shown to members of the same sex. This results in the clumping of female home ranges around male home ranges. Larger individuals are dominant over smaller individuals, and adults are dominant over the young of the year. Aggression does not vary according to season. Salvin's spiny pocket mouse Salvin's spiny pocket mouse ("Heteromys salvini") is


title: "Alaska marmot" content: Alaska marmot The Alaska marmot ("Marmota broweri"), also known as the Brooks Range marmot or the Brower's marmot, is a species of rodent in the family Sciuridae. It is found in the scree slopes of the Brooks Range, Alaska. They eat grass, flowering plants, berries, roots, moss, and lichen. These marmots range from about 54 cm to 65 cm in length and 2.5 kg to 4 kg in weight. Alaska celebrates every February 2 as "Marmot Day," a holiday intended to observe the prevalence of marmots in that state and take the place of Groundhog Day. Originally "Marmota broweri" was


title: "John Bock" content: Germany Das Feld, Hochschule für bildende Kunst, Hamburg, Germany Der Fremde in der 4. Etage, Das Trojanische Schiff, Hamburg, Germany 1994 Kunstkarton, Kunsthaus, Hamburg, Germany Heilung Nr. 4, Hochschule für bildende Kunst, Hamburg, Germany Törtchen der Leidenschaft, Westwerk, Hamburg, Germany 1993 Haschkeks, Hochschule für bildende Kunst, Hamburg, Germany Drei Räume, not executed Der kleine Rezipient und der grosse Rezipient, Hochschule für bildende Kunst, Hamburg, Germany Komparativer Kunstfähigkeitsvorteil, Friedensallee 12, Hamburg, Germany Die Kunstwohlfahrtsmaschine, Hochschule für bildende Kunst, Hamburg, Germany 4 x Rezipientenmodelle, Hochschule für bildende Kunst, Hamburg, Germany Elephant, Hochschule für bildende Kunst, Hamburg, Germany 1992 Wie werde ich breühmt?,


title: "Lockheed Flatbed" content: Lockheed Flatbed The Lockheed "Flatbed" was a proposed cargo aircraft design from the 1980s that mounted large loads "in the open" on the back of the aircraft, similar to a flatbed truck. The name "flatbed" was unofficial, as a more formal name was never assigned. Although there was a fair amount of public information released about the design in the early 1980s, the design was never picked up by the US Air Force and disappeared by the mid-80s. Conventional cargo designs generally "mass out" before they "bulk out", meaning that they often fly mostly empty inside. In this case the


title: "Lockheed Flatbed" content: the cargo fairing. These modules could be unloaded as a single unit, sliding forward off the bed to a special-purpose truck. Lockheed Flatbed The Lockheed "Flatbed" was a proposed cargo aircraft design from the 1980s that mounted large loads "in the open" on the back of the aircraft, similar to a flatbed truck. The name "flatbed" was unofficial, as a more formal name was never assigned. Although there was a fair amount of public information released about the design in the early 1980s, the design was never picked up by the US Air Force and disappeared by the mid-80s. Conventional


title: "Sustainable sanitation" content: Sustainable sanitation Sustainable sanitation is a sanitation system designed to meet certain criteria and to work well over the long-term. The Sustainable Sanitation Alliance (SuSanA) includes five features (or criteria) in its definition of "sustainable sanitation." Systems need to be economically and socially acceptable, technically and institutionally appropriate and protect the environment and natural resources. The purpose of sustainable sanitation is the same as sanitation in general: to protect human health. However, "sustainable sanitation" attends to all processes of the system. This includes methods of collecting, transporting, treating and the disposal (or reuse) of waste. The Joint Monitoring Programme for


title: "Sustainable sanitation" content: Water Supply and Sanitation (JMP) of the WHO (World Health Organization) and UNICEF (United Nations Children's Fund) was responsible for monitoring progress towards the Millennium Development Goal for drinking water and sanitation. For reasons of simplicity—being able to monitor the sanitation situation with household surveys—the JMP had to find a simple differentiation between "improved" sanitation (toilets that count towards the MDG goals) and "unimproved" sanitation (toilets that do not count towards the MDG goals). According to the JMP definition, improved sanitation facilities include facilities which are: Unimproved sanitation facilities according to the JMP include: In some circumstances "improved" sanitation facilities


title: "Palmer's chipmunk" content: Palmer's chipmunk Palmer's chipmunk ("Neotamias palmeri") is a species of rodent in the family Sciuridae, endemic to Nevada. Its natural habitat is temperate forests. It is threatened by habitat loss. Palmer's chipmunk resembles other chipmunks in that it has solid black and white stripes that run down its body dorsally. The body of the chipmunk is tan while its ventral side is more pale. Total body length is , with a tail of . Adults weigh between 50 and 69.4 grams. Palmer's chipmunk is found only in the Spring Mountains of Clark County, southern Nevada. It mostly occurs at altitudes


title: "Lodgepole chipmunk" content: Lodgepole chipmunk The Lodgepole chipmunk ("Neotamias speciosus") is a species of rodent in the family Sciuridae. It is found in the U.S. state of California at elevations from . The Lodgepole chipmunk has a variety of common names including: Tahoe chipmunk, Sequoia chipmunk, Mt. Pinos chipmunk, and San Bernardino chipmunk. Females are larger than males. Female Lodgepole chipmunks have an average body weight of 55-69 grams whereas males on average are 50-60 grams. Along with weight, body length in females ranges 197–229 mm (7 3/4 - 9 inches), while males are 200–222 mm (7.8 - 8.7 inches). Body patterns remain


title: "Lodgepole chipmunk" content: by Fall. Young reach sexual maturity the following spring. Though not known, it is expected that like other relatives, the Lodgepole chipmunk exhibit a polygynous system of mating. Also, parental investment rests solely on the mother as the father of the litter does not provide parental care to his offspring. Lodgepole chipmunk The Lodgepole chipmunk ("Neotamias speciosus") is a species of rodent in the family Sciuridae. It is found in the U.S. state of California at elevations from . The Lodgepole chipmunk has a variety of common names including: Tahoe chipmunk, Sequoia chipmunk, Mt. Pinos chipmunk, and San Bernardino chipmunk.


title: "Townsend's chipmunk" content: Townsend's chipmunk Townsend's chipmunk, Neotamias townsendii is a species of rodent in the squirrel family, Sciuridae. It lives in the forests of the Pacific Northwest of North America, from British Columbia through western Washington and Oregon. Townsend's chipmunk is named after John Kirk Townsend, an early 19th-century ornithologist. A large chipmunk, adults can be from nose to tail. In much of its range, it is the only chipmunk; it can be identified by its tail which is grayish above and reddish below, and by its brown coloration with indistinct tawny stripes. Townsend's chipmunk hibernates in regions where the winter is


title: "Uinta chipmunk" content: Uinta chipmunk The Uinta chipmunk or hidden forest chipmunk ("Neotamias umbrinus"), is a species of chipmunk in the family Sciuridae. It is endemic to the United States. Formerly known as "Tamias umbrinus", phylogenetic studies have shown it to be sufficiently distinct from the eastern chipmunk as to be placed in a separate genus, "Neotamias". The same studies have also suggested that Palmer's chipmunk may actually be a subspecies of Uinta chipmunk, although the two are still generally regarded as separate species. The Uinta chipmunk is a medium-sized chipmunk, with adults ranging from in length, including the tail at , and


title: "Horizon High School (Texas)" content: Horizon High School (Texas) Horizon High School is a public school in Horizon City, Texas (United States). It is part of the Clint Independent School District. Horizon High School is Located in Horizon City, Texas.The school first opened its doors as Horizon Middle School, In its first year 2002-2003.The campus served as a middle school with grades 7, 8, and 9. In the years 2003-2004, grade 10 was added to the school, becoming Horizon Middle/High School. Horizon gradually started becoming a high school by the year 2005-2006, when Horizon Middle School moved to its own location and now is serving


title: "Enough to Get Away" content: Enough to Get Away "Enough to Get Away" is the first single from Joseph Arthur's 2006 album "Nuclear Daydream". In the US, the album was released on September 19, 2006. In the UK, both "Nuclear Daydream" and the follow-up album "Let's Just Be" were released on September 3, 2007. The AA-side "Diamond Ring" is the album version, taken from "Let's Just Be". The album version of "Enough to Get Away" also appeared as a B-side to Joseph's 2007 single "Honey and the Moon." The 7" single is pressed on light cream-colored vinyl and is limited edition numbered. Joseph discussed "Enough


title: "Enough to Get Away" content: to Get Away" in an interview with Newsday: 7" vinyl (JA07V): Enough to Get Away "Enough to Get Away" is the first single from Joseph Arthur's 2006 album "Nuclear Daydream". In the US, the album was released on September 19, 2006. In the UK, both "Nuclear Daydream" and the follow-up album "Let's Just Be" were released on September 3, 2007. The AA-side "Diamond Ring" is the album version, taken from "Let's Just Be". The album version of "Enough to Get Away" also appeared as a B-side to Joseph's 2007 single "Honey and the Moon." The 7" single is pressed on


title: "Pale kangaroo mouse" content: Pale kangaroo mouse The pale kangaroo mouse or Soda Spring Valley kangaroo mouse ("Microdipodops pallidus") is a species of rodent in the family Heteromyidae. It is endemic to California and Nevada in the United States. Named for its pale-furred back and long hind limbs and feet, the pale kangaroo mouse is a large-headed rodent with fur-lined external cheek pouche. This species is bipedal, meaning that it generally moves around on its strong hind legs, hopping much like a kangaroo. The pallid kangaroo mouse, also called the pale kangaroo mouse, is one of two recognized species of kangaroo mouse, and is


title: KeY content: KeY The KeY tool is used in formal verification of Java programs. It accepts specifications written in the Java Modeling Language to Java source files. These are transformed into theorems of dynamic logic and then compared against program semantics that are likewise defined in terms of dynamic logic. KeY is significantly powerful in that it supports both interactive (i.e. by hand) and fully automated correctness proofs. Failed proof attempts can be used for a more efficient debugging or verification-based testing. There have been several extensions to KeY in order to apply it to the verification of C programs or hybrid


title: KeY content: systems. KeY is jointly developed by Karlsruhe Institute of Technology, Germany; Technische Universität Darmstadt, Germany; and Chalmers University of Technology in Gothenburg, Sweden and is licensed under the GPL. The usual user input to KeY consists of a Java source file with annotations in JML. Both are translated to KeY's internal representation, dynamic logic. From the given specifications, several proof obligations arise which are to be discharged, i.e. a proof has to be found. To this ends, the program is symbolically executed with the resulting changes to program variables stored in so-called "updates". Once the program has been processed completely,


title: KeY content: there remains a first-order logic proof obligation. At the heart of the KeY system lies a first-order theorem prover based on sequent calculus, which is used to close the proof. Interference rules are captured in so called "taclets" which consist of an own simple language to describe changes to a sequent. The theoretical foundation of KeY is a formal logic called Java Card DL. DL stands for Dynamic Logic. It is a version of a first-order dynamic logic tailored to Java Card programs. As such, it for example allows statements (formulas) like formula_1, which intuitively says that the post-condition formula_2


title: KeY content: must hold in all program states reachable by executing the Java Card program formula_3 in any state that satisfies the pre-condition formula_4. This is equivalent to formula_5 in Hoare calculus if formula_4 and formula_2 are purely first order. Dynamic logic, however, extends Hoare logic in that formulas may contain nested program modalities such as formula_8, or that quantification over formulas which contain modalities is possible. There is also a dual modality formula_9 which includes termination. This dynamic logic can be seen as a special multi-modal logic (with an infinite number of modalities) where for each Java block formula_3 there are


title: KeY content: modalities formula_8 and formula_9. At the heart of the KeY system lies a first-order theorem prover based on a sequent calculus. A sequent is of the form formula_13 where formula_14 (assumptions) and formula_15 (propositions) are sets of formulas with the intuitive meaning that formula_16 holds true. By means of deduction, an initial sequent representing the proof obligation is shown to be constructible from just fundamental first-order axioms (such as equality formula_17). During that, program modalities are eliminated by symbolic execution. For instance, the formula formula_18 is logically equivalent to formula_19. As this example shows, symbolic execution in dynamic logic is


title: KeY content: very similar to calculating weakest preconditions. Both formula_20 and formula_21 essentially denote the same thing – with two exceptions: Firstly, formula_22 is a function of some meta-calculus while formula_20 really is a formula of the given calculus. Secondly, symbolic execution runs through the program "forward" just as an actual execution would. To save intermediate results of assignments, KeY introduces a concept called "updates", which are similar to substitutions but are only applied once the program modality has been fully eliminated. Syntactically, updates are consist of parallel (side-effect free) assignments written in curly braces in front of a modality. An example


title: KeY content: of symbolic execution with updates: formula_24 is transformed to formula_25 in the first step and to formula_26 in the second step. The modality then is empty and "backwards application" of the update to the postcondition yields a precondition where formula_27 could take any value. Suppose one wants to prove that the following method calculates the product of some non-negative integers formula_27 and formula_29. One thus starts the proof with the premise formula_30 and the to-be-shown conclusion formula_31. Note that tableaux of sequent calculi are usually written "upside-down", i.e., the starting sequent appears at the bottom and deduction steps go upwards.


title: KeY content: The proof can be seen in the figure on the right. The "Symbolic Execution Debugger" visualizes the control flow of a program as a symbolic execution tree that contains all feasible execution paths through the program up to a certain point. It is provided as a plugin to the Eclipse development platform. KeY is usable as a model-based testing tool that can generate unit tests for Java programs. The model from which test data and the test case are derived consists of a formal specification (provided in JML) and a symbolic execution tree of the implementation under test which is


title: KeY content: computed by the KeY system. KeY is free software written in Java and licensed under GPL. It can be downloaded from the project website in source; currently there are no pre-compiled binaries available. As another possibility, KeY can be executed directly via Java web start without the need for compilation and installation. "KeY-Hoare" is built on top of KeY and features a Hoare calculus with state updates. State updates are a means of describing state transitions in a Kripke structure. This calculus can be seen as a subset to the one that is used in the main branch of KeY.


title: KeY content: Due to the simplicity of the Hoare calculus, this implementation is essentially meant to exemplify formal methods in undergraduate classes. "KeYmaera" (previously called HyKeY) is a deductive verification tool for hybrid systems based on a calculus for the differential dynamic logic dL . It extends the KeY tool with computer algebra systems like Mathematica and corresponding algorithms and proof strategies such that it can be used for practical verification of hybrid systems. KeYmaera has been developed at the University of Oldenburg and the Carnegie Mellon University. The name of the tool was chosen as a homophone to Chimera, the hybrid


title: "Molly McKay" content: United States that culminated in the first national marriage equality rally in Washington, DC, on October 11, 2004. "Time" and "Parade" magazines included the rally when citing the importance of marriage equality activism as one of the top ten issues of 2004. Molly McKay co-founded Marriage Equality California in 2004, along with several other activists, and continues to work with Marriage Equality USA. When Marriage Equality California merged with Equality California in 2004, McKay led the Marriage Equality Project for the joint organization becoming Equality California's Field Director. McKay eventually left the organization in 2006 to rejoin Marriage Equality California's


title: "Pussy in Boots" content: comfort 'Pussy', he says the most famous line from the pantomime: "Oh Pussy Pussy Pussy." Pussy in Boots Pussy in Boots is a cult 1994 VHS adult pantomime starring stand-up comedian and "EastEnders" actor Mike Reid, with co-stars Barbara Windsor and John Altman, as well as "Coronation Street" actress Lynne Perrie. Adult actress and model Cindy Milo played the role of Pussy. It was filmed in front of a live theatre audience in East London and is based on the classic pantomime tale of "Puss in Boots". It is cited as one of the first adult pantomimes, which later became


title: Gwbert content: another on the other side of the estuary, at Penrhyn Castle) and comprised a building 20ft long, 12ft wide and 9ft high. The rescue teams were under the control of coastguards, and were made up of local volunteers. Known as Board of Trade Rocket Life Saving Apparatus Stations (and marked on maps as "Rocket Stations"), each was equipped with ropes, lifebelts, rockets and buoys, and the equipment was carried in a horse drawn waggon. Today an RNLI lifeboat operates from nearby Poppit Sands, the centre being visible across the estuary from Gwbert. Teifi Boating Club ("Clwb Cychod Teifi") is based


title: "Kamchatka shrew" content: The back is ashy-gray, sides are lighter, with brown tones. The belly is light gray. This species is characterized by the highly elongated rear feet with well-defined bristle brush hair. Biology of the species is poorly understood. The breeding season lasts from April to September. Females annually produce up to three litters with 5.1 cubs per liter on average. Kamchatka shrew The Kamchatka shrew ("Sorex camtschatica") is a species of mammal in the family Soricidae. It is endemic to Russia. The species was first described in 1972. Before that it was considered a subspecies of cinereus shrew ("Sorex cinereus"). Kamchatka


title: "Kung Fu Vampire" content: against drug use in particular Meth and Alcohol, and advocated for healthy living. Kung Fu Vampire was initially known for making appearances with a shaved head and pale face paint. Since 2011, Kung Fu Vampire grew his hair out and has stopped using face paint in his performances stating that he would rather spend that time connecting with fans at concert as opposed to preparation. • TunnA Beatz • Subliminal Beats Kung Fu Vampire Kung Fu Vampire is an American rapper from San Jose, California and the vocalist of the musical group of the same name. He has nationally toured


title: "Saharan striped polecat" content: Saharan striped polecat The Saharan striped polecat, also known as the Saharan striped weasel, Libyan striped weasel, and the North African striped weasel ("Ictonyx libycus") is a species of mammal in the family Mustelidae. This animal is sometimes characterized as being a part of the genus "Poecilictis", and its coloration resembles that of the striped polecat. Saharan striped polecats are about 55–70 cm in length, including their tails, and generally weigh between .5 and .75 kg. It is striped white in a non-uniform fashion and has black feet, legs, ears, and underside. Often a white ring goes around the face


title: "Bahamian raccoon" content: Bahamian raccoon The Bahamian raccoon ("Procyon lotor maynardi"), also called Bahama raccoon or Bahamas raccoon, is a subspecies of the common raccoon endemic on the New Providence Island in the Bahamas. The binomial name, "maynardi", comes from Charles Johnson Maynard, an American naturalist. Thought to be a distinct species in the past, the Bahamian raccoon is now assumed to be conspecific with the common raccoon, what was also the result of a study of morphological and genetic analysis in 2003. The assumption that its occurrence on the Bahamas is the result of a human-sponsored introduction just a few centuries ago


title: "Jairo Palomino" content: Jairo Palomino Jairo Fabián Palomino Sierra (born August 2, 1988) is a Colombian football defensive midfielder that can also play left back and center back. He currently plays for Atlético Tucumán. Palomino played 16 matches and scored a single goal, also Atlético Nacional won the 2011 Categoría Primera A season Torneo Apertura. Palomino moved to Al-Ahli club for 4m USD in 2011. in the 2011–12 Saudi Professional League Al-Ahli were runner-up and Palomino played 17 matches and scored a single goal. in the 2012 King Cup of Champions Palomino played semi-final against Al-Hilal and he saved lots of dangerous balls


title: "Joshua W. Sill" content: as well as superiors in rank as was General Sill." In 1869, Sill's West Point classmate and division commander, General Philip H. Sheridan, officially established a military post in the Wichita Mountains of Oklahoma. Sheridan named the military post in memory of Sill. Fort Sill is the largest field artillery complex in the world. Joshua W. Sill Joshua Woodrow Sill (December 6, 1831 – December 31, 1862), was a career officer in the United States Army and brigadier general during the American Civil War. He was killed at the Battle of Stones River in Tennessee. Fort Sill, Oklahoma, was later


title: "Display motion blur" content: Display motion blur Display motion blur, also called "HDTV blur" and "LCD motion blur", refers to several visual artifacts (anomalies or unintended effects affecting still or moving images) that are frequently found on modern consumer high-definition television sets and flat panel displays for computers. Many motion blur factors have existed for a long time in film and video (e.g. slow camera shutter speed). The emergence of digital video, and HDTV display technologies, introduced many additional factors that now contribute to motion blur. The following factors are generally the primary or secondary causes of perceived motion blur in video. In many


title: "Display motion blur" content: the CES 2012 have been the first modern high-definition television sets to overcome the motion artifacts by selectively blanking parts of the screen. Both OLED and "Crystal LED" technologies also have response times far shorter than LCD technology, and can reduce motion blur significantly. However, all consumer OLED Displays are sample-and-hold, which leads to the same amount of motion blur as a traditional LCD Display. Display motion blur Display motion blur, also called "HDTV blur" and "LCD motion blur", refers to several visual artifacts (anomalies or unintended effects affecting still or moving images) that are frequently found on modern consumer


title: "Pérez Art Museum Miami" content: additional pledge of $10 million to be paid over the following 10 years. The museum was required to use the first $5 million of this donation to acquire contemporary Cuban art. The second $5 million went to the museum’s endowment, and Pérez said he wanted the donation to entice other wealthy patrons to give to the museum. The art included more than 200 pieces (appraised at $5 million) from Pérez’s personal collection of contemporary Cuban art, including pieces by Glexis Novoa, Rubén Torres Llorca, Hernan Bas and José Bedia. As a result, the PAMM now has one of the largest


title: "Faux painting" content: Faux painting Faux painting or faux finishing are terms used to describe decorative paint finishes that replicate the appearance of materials such as marble, wood or stone. The term comes from the French word faux, meaning false, as these techniques started as a form of replicating materials such as marble and wood with paint, but has subsequently come to encompass many other decorative finishes for walls and furniture including simulating recognisable textures and surfaces. Faux finishing has been used for millennia, from cave painting to the tombs of ancient Egypt, but what we generally think of as faux finishing in


title: "Faux painting" content: the decorative arts began with plaster and stucco finishes in Mesopotamia over 5,000 years ago. Faux painting became popular in classical times in the forms of faux marble, faux wood, and trompe l'oeil murals. Artists would apprentice for 10 years or more with a master faux painter before working on their own. Great recognition was awarded to artists who could actually trick viewers into believing their work was the real thing. Faux painting has continued to be popular throughout the ages, but experienced major resurgences in the neoclassical revival of the nineteenth century and the Art Deco styles of the


title: "Faux painting" content: 1920s. During the recent history of decorative painting, faux finishing has been mainly used in commercial and public spaces. In the late 1980s and early 1990s, faux finishing saw another major revival, as wallpaper began to fall out of fashion. At this point, faux painting became extremely popular in home environments, with high-end homes leading the trend. While it can be quite expensive to hire a professional faux finisher($80.00/hr.), many faux painting methods are thought to be simple enough for a beginning home owner to create with a little instruction. Some, however, fail to take important details like corners into


title: "Miller's mastiff bat" content: Miller's mastiff bat Miller's mastiff bat ("Molossus pretiosus") is a species of bat in the family Molossidae. It is found in Colombia, Costa Rica, Guyana, Mexico, Nicaragua, Trinidad and Tobago and Venezuela. Miller’s mastiff bat has a limited distribution and tends to inhabit isolated regions. This particular species of mastiff bat is native to Brazil, Colombia, Costa Rica, Mexico, Nicaragua, and Venezuela. Its main habitat is lowlands. Miller’s mastiff bats have a powerfully built body, with a broad body frame and narrow wings. They have a thick mandible in comparison to other mastiff bats. They have a distinctive cusp shaped


title: "Miller's mastiff bat" content: is also located in a number of protected areas. There are no known threats to Miller's mastiff bat. Miller's mastiff bat Miller's mastiff bat ("Molossus pretiosus") is a species of bat in the family Molossidae. It is found in Colombia, Costa Rica, Guyana, Mexico, Nicaragua, Trinidad and Tobago and Venezuela. Miller’s mastiff bat has a limited distribution and tends to inhabit isolated regions. This particular species of mastiff bat is native to Brazil, Colombia, Costa Rica, Mexico, Nicaragua, and Venezuela. Its main habitat is lowlands. Miller’s mastiff bats have a powerfully built body, with a broad body frame and narrow