Victoria - Queen Victoria (ship)

Queen Victoria has been the designation for several ships:

  • The PS Queen Victoria was a wooden paddlewheel steamer that was wrecked in 1853 off of Bailey Lighthouse, Howth with the loss of over 80 people.
  • The TS Queen Mary originally sailed as the TS Queen Victoria from 1933 to 1935.
  • According to shipping legend, the RMS Queen Mary was initially supposed to be called the Victoria in line with the naming of Cunard Steamship Lines liners, with an ending in -ia, as with the Lusitania, Mauritania, and the like.
  • The MS Arcadia is a cruise liner which initially was intended to be the new Queen Victoria. However, a restructuring by Cunard’s parent company, Carnival Corporation, saw this vessel transferred to P&O as the Arcadia.
  • A ship of similar design and specifications to the Arcadia is due to be completed and named MS Queen Victoria in 2007.

A number of other ships have been named simply Victoria:

  • Victoria, the first ship to circumnavigate the globe
  • Victoria (F82), a Spanish frigate
  • HMS Victoria, five ships of the British Royal Navy
  • MV Princess Victoria, a ferry which sank disastrously in 1953
  • Lake Victoria ferry
  • Victoria class submarine, a class of Canadian submarine
  • MV Victoria, a P&O cruise ship operated between 1998 and 2002, now named Oceanic II
  • M/S Victoria I, a cruiseferry belonging to Tallink
  • M/S Kronprinsessan Victoria, a ferry operated by Sessan Linjen and Stena Line 1981-1988, now named M/S Stena Europe
  • M/S Crown Princess Victoria, a ferry operated by Stena Line in 1990, now sailing as M/S Amusement World.

Quinquae - Quinquae viae

The Quinquae viae, or Five Ways, are five proofs of the existence of God summarized by St. Thomas Aquinas in his Summa Theologiae. These proofs take the form of philosophical arguments:

  1. The argument of the unmoved mover (ex motu).

    • Some things are moved.
    • Everything that is moved is moved by a mover.
    • An infinite regress of movers is impossible.
    • Therefore, there is an unmoved mover from whom all motion proceeds.
    • This mover is what we call God.
  2. The argument of the first cause (ex causa).
    • Some things are caused.
    • Everything that is caused is caused by something else.
    • An infinite regress of causation is impossible.
    • Therefore, there must be an uncaused cause of all caused things.
    • This causer is what we call God.
  3. The argument of contingency (ex contingentia).
    • Many things in the universe may either exist or not exist. Such things are called contingent beings.
    • It is impossible for everything in the universe to be contingent, as nothing can come of nothing, and if traced back eventually there must have been one thing from which all others have occurred.
    • Therefore, there must be a necessary being whose existence is not contingent on any other being(s).
    • This being is what we call God.
  4. The argument of degree (ex gradu).
    • Various perfections may be found in varying degrees throughout the universe.
    • These degrees of perfections assume the existence of the perfections themselves.
  5. The argument of “design” (ex fine).
    • All natural bodies in the world act for ends.
    • These objects are in themselves unintelligent.
    • To act for ends is characteristic of intelligence.
    • Therefore, there exists an intelligent being which guides all natural bodies to their ends.
    • This being we call God.


External links

  • New Advent: Translation of the Summa Theologica


References

In a shipyard is - Marine Industries Limited

Marine Industries Limited (MIL) was a Canadian ship building company, in Sorel, Quebec, with a shipyard located on the Richelieu river about 1 km from the St. Lawrence River. It employed up to 10,000 people during the post WWII boom.

Opened in 1937, the yard saw many contracts during its early years for vessels used on the Great Lakes and Canada’s Atlantic coast. In 1986 the federal government asked Quebec to rationalize its shipyards, which saw MIL merge with Davie Shipbuilding in Lauzon; the Sorel shipyard was called M.I.L. Tracy (for Tracy, Quebec) and the Lauzon shipyard was called M.I.L. Lauzon.

Shortly after the merger, the new company, MIL Davie Shipbuilding closed the Sorel shipyard along with the Versatile Vickers (Canadian Vickers) shipyard in Montreal, resulting in a total loss of 1,700 jobs.

MIL’s Sorel shipyard was responsible for numerous important Royal Canadian Navy, Canadian Coast Guard and CN Marine vessels.

Several ferries included:

  • MV Abegweit (1947-1982, hull number 144)
  • MV John Hamilton Gray (1968-2004, hull number 349)
  • MV Ambrose Shea (1967-2000, hull number 321)

Several warships included:

  • Iroquois (Tribal) class destroyers, commissioned 1972-73

    • , commissioned 1972
    • , commissioned 1972
    • , commissioned 1973
    • HMCS Huron (DDH 281), commissioned 1972; decommissioned 2005

Gothenburg - Göran Johansson

Göran Johansson (born August 31, 1945, in Gothenburg) is a Swedish Social Democratic Party politician. He is currently the chairman (commissioner) of the Gothenburg Municipality Executive Board. With a working class background, he was a union leader at his workplace at SKF and later became the Social Democratic Party’s “strong man” in Gothenburg.

He is one of the best known politicians in Sweden and has in public surveys been voted as one of the most popular politicians. But he has also been criticized for an undemocratic leadership which has made several – especially female – politicians to leave their assignments within the Social Democratic Party.

Johansson suffers from a skin disease that makes his face look swollen and red.

Benin Sava - Movement for the People’s Alternative

The Movement for the People’s Alternative (Mouvement pour une Alternative du Peuple) is a political party of Benin led by Lazare Sèhouéto.
The party won at the presidential election of 5 March 2006 2 % of the votes for its candidate Lazare Sèhouéto.

}

The term ways is - Ex-service

Ex-service is a British term which refers to those who have served in the British Empire or Commonwealth Armed Forces. Earlier, the term ex-servicemen or Ex-servicewomen was used,but has been replaced with one having no gender connotations.

The corresponding term in American English is Veteran.

Construction in a - Almas Tower

Almas Tower (Diamond Tower) is a 360 metre (1,181 feet) tall skyscraper under construction in Dubai, United Arab Emirates. Construction began in early 2005 and is scheduled for completion in 2008. When completed, it will have 74 floors, 70 of which will be commercial and 4 will be service floors.

The tower will be located on an artificial island in the centre of the Jumeirah Lake Towers development. The tower will be the tallest of all the buildings on the development when completed. It was designed by Atkins Middle East, an architecture company who have designed most of the JLT complex. The tower will then be constructed by the Taisei Corporation of Japan who were awarded the contract by Nakheel Properties on July 16, 2005. [1]

When completed, diamond cutting and exchange will take place there. Due to the type of transactions taking place at the tower, high security will be installed.


Photo Gallery

The Building

The Construction


See also

  • List of tallest buildings in Dubai


External links

  • Emporis.com - Building ID 210141
  • SkyscraperCity.com
  • DMCC entry
  • SkyscraperPage.com
  • Almas Tower - Development Profile

Georgia. WAYS-FM - Kinchafoonee Creek

Kinchafoonee Creek (pronounced kinch-uh-FOO-nee) is a creek in southwest Georgia. It originates near Buena Vista and flows southeasterly for approximately 75 miles (121 km) and into the Flint River near Albany, Georgia.

“Kinchafoonee” was a Creek Indian word that apparently referred to a mortar or bone device for cracking nuts.

The creek flows through Chattahoochee, Marion, Dougherty, Lee and Webster (formerly Kinchafoonee) Counties.


References

  • [1]
  • Georgia Place-Names, 3rd Edition, Kenneth K. Krakow

Ways Birmingham Five Ways - Birmingham Hippodrome

The Birmingham Hippodrome is a theatre in the Chinese Quarter, situated on Hurst Street in Birmingham, England.

Although most famous as the home stage of the Birmingham Royal Ballet, it also hosts a wide variety of other performances including visiting opera and ballet companies, touring West End shows, pantomime and drama.


History

The first venue built on the Hippodrome site was a building of assembly rooms in 1895. In 1899 a stage and circus ring was added together with a miniature of Blackpool Tower (removed 1963) and the enterprise named the “Tower of Varieties”. After failing, this reopened as the “Tivoli” in 1900, finally becoming “The Hippodrome” in October 1903. The current neo-classical auditorium seats 1,900 and was designed by Burdwood and Mitchell in 1924.

The exterior of the theatre was substantially rebuilt by Associated Architects and Law and Dunbar-Nasmith in 2001.


Sources


External links

  • Birmingham Hippodrome Official Site
  • Birmingham Hippodrome Official MySpace

As Save Säve - Save Me (Queen song)

Save Me is a song by English rock band Queen. This rock ballad was written by guitarist Brian May, who played piano, as well as guitar on the track. It was recorded in 1979 and released in the U.K. on January 25th, 1980, nearly six months prior to the release of the album The Game. It spent six weeks on the UK charts, peaking at number eleven.


Charts

Country Peak position
Netherlands 5
Norway 7
Ireland 8
UK 11
Germany 42
Japan 96

For the proofs - Wallis product

In mathematics, Wallis’ product for π, written down in 1655 by John Wallis, states that

<math>

\prod_{n=1}^{\infty} \frac{(2n)(2n)}{(2n-1)(2n+1)} = \frac{2}{1} \cdot \frac{2}{3} \cdot \frac{4}{3} \cdot \frac{4}{5} \cdot \frac{6}{5} \cdot \frac{6}{7} \cdot \frac{8}{7} \cdot \frac{8}{9} \cdots = \frac{\pi}{2}.
</math>


Proof

First of all, consider the root of sin(x)/x is ±nπ, where n = 1, 2, 3, …
Then, we can express sine as an infinite product of linear factors given by its roots:

<math>

\frac{\sin(x)}{x} = k \left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 - \frac{x}{2\pi}\right)\left(1 + \frac{x}{2\pi}\right)\left(1 - \frac{x}{3\pi}\right)\left(1 + \frac{x}{3\pi}\right) \cdots
</math>

where k is a constant.

To find the constant k, take the limit of both sides:

<math>

\lim_{x \to 0} \frac{\sin(x)}{x} = \lim_{x \to 0} \Bigg( k \left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 - \frac{x}{2\pi}\right)\left(1 + \frac{x}{2\pi}\right)\left(1 - \frac{x}{3\pi}\right)\left(1 + \frac{x}{3\pi}\right) \cdots \Bigg) = k.
</math>

Using the fact that

<math>

\lim_{x \to 0} \frac{\sin(x)}{x} = 1,
</math> (proof)

we get k = 1. Then, we obtain the Euler-Wallis formula for sine:

<math>\begin{align}

\frac{\sin(x)}{x} &{}= \left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 - \frac{x}{2\pi}\right)\left(1 + \frac{x}{2\pi}\right)\left(1 - \frac{x}{3\pi}\right)\left(1 + \frac{x}{3\pi}\right) \cdots \\
&{} = \frac{\sin(x)}{x} = \left(1 - \frac{x^2}{\pi^2}\right)\left(1 - \frac{x^2}{4\pi^2}\right)\left(1 - \frac{x^2}{9\pi^2}\right) \cdots.
\end{align}
</math>

Put x = π/2:

<math>

\frac{2}{\pi} = \left(1 - \frac{1}{2^2}\right)\left(1 - \frac{1}{4^2}\right)\left(1 - \frac{1}{6^2}\right) \cdots = \prod_{n=1}^{\infty} \left(1 - \frac{1}{4n^2}\right),
</math>

<math>\begin{align}

\frac{\pi}{2} &{}= \prod_{n=1}^{\infty} \left(\frac{4n^2}{4n^2 - 1}\right) \\
&{}= \prod_{n=1}^{\infty} \frac{(2n)(2n)}{(2n-1)(2n+1)} = \frac{2}{1} \cdot \frac{2}{3} \cdot \frac{4}{3} \cdot \frac{4}{5} \cdot \frac{6}{5} \cdot \frac{6}{7} \cdot \frac{8}{7} \cdot \frac{8}{9} \cdots.
\end{align}
</math>

Q.E.D.


Relation to Stirling’s approximation

Stirling’s approximation for n! asserts that

<math> n! = \sqrt {2\pi n} {\left(\frac{n}{e}\right)}^n \left( 1 + O\left(\frac{1}{n}\right) \right)</math>

as n → ∞. Consider now the finite approximations to the Wallis product, obtained by taking the first k terms in the product:

<math>

p_k = \prod_{n=1}^{k} \frac{(2n)(2n)}{(2n-1)(2n+1)} \ .
</math>
pk can be written as

<math>

p_k ={1\over{2k+1}}\prod_{n=1}^{k} \frac{(2n)^4 }{((2n)(2n-1))^2}={1\over{2k+1}}\cdot {{2^{4k}\,(k!)^4}\over {((2k)!)^2}} \ .
</math>

Substituting Stirling’s approximation in this expression (both for k! and (2k)!) one can deduce (after a short calculation) that pk converges to π/2 as k → ∞.


External link

  • PlanetMath page on complex analysis, including a proof of the infinite product

Flygplats - Jomo Kenyatta International Airport

Jomo Kenyatta International Airport, formerly called Embakasi Airport and Nairobi International Airport, is Kenya’s largest aviation facility, and the busiest airport in East and Central Africa. It is the 7th busiest airport in Africa. The airport is named after the first Kenyan president Jomo Kenyatta.

Kenyatta airport is located in Embakasi, a suburb to the south-west of Nairobi, Kenya. The airport is situated 15km from Nairobi’s Central Business District, and at the edge of the city’s built up area. The Mombasa Highway runs adjacent to the airport, and is the main route of access between Nairobi and the airport.

The airport is the main hub of Kenya Airways and Five Forty Aviation.
Jomo Kenyatta airport is served by Runway 06/24. Runway 06 is ILS-equipped, and is used for take-offs and landings. The airport is served by one terminal building constructed in the 1970s. The former “Embakasi” terminal, now used for cargo and for a Kenya Air Force training facility, was constructed before the 1960s.

In 2006, the airport served over 4,400,000 passengers.


History

Nairobi Embakasi Airport was opened in May 1958, by the last Governor of Kenya, Evelyn Baring. The airport was due to be opened by Queen Elizabeth, The Queen Mother, however, she was delayed in Australia and could not make the ceremony. http://www.mccrow.org.uk/EastAfrica/NairobiAirport/Nairobi%20Airports.htm

Later the current terminal was built on the other side of the runway and the airport was renamed Jomo Kenyatta International Airport. The old terminal is now sometimes referred as Old Embakasi Airport and is used by the Kenya Air Force http://www.groundsupportworldwide.com/article/article.jsp?id=925&siteSection=1 The Creation of an African Aviation Epicenter.


Incidents

  • On 20 November 1974, Lufthansa Flight 540, a Lufthansa Boeing 747-130, D-ABYB, LH 540, “Hessen” (German state), delivered 1970, crashed on take off from runway 24 in Nairobi killing 59 of the 157 on board. The aircraft was on a flight from Frankfurt to Nairobi and onwards to Johannesburg.
  • On May1989 a Boeing 707-330B plane operated by Somali Airlines overran the runway and crashed into a field near the Airport. The plane had 70 on board, but no fatalities resulted.
  • On 4 December, 1990 a Boeing 707-321C operated by Sudania Air Cargo crashed near the airport while landing. All 10 persons on board died.
  • On 23 November, 1996, Ethiopian Airlines Flight 961, which was on an Addis Ababa-Nairobi-Brazzaville-Lagos-Abidjan route, was hijacked after it entered Kenyan airspace. The hijackers demanded that the plane be flown to Australia, but the plane ran out of fuel and crashed in the Comoros Islands.
  • In 2000, a Kenya Airways Flight 431 heading to this airport crashed after take off from Côte d’Ivoire, killing 169 of the 179 passengers on board.
  • On 5 May, 2007, Kenya Airways Flight KQ 507, enroute from Doula, Cameroon was reported to be missing. There was further reported to be 115 passengers and crew on board.


Terminal

Jomo Kenyatta International Airport’s terminal has three units that cater for both arrivals and departures. Unit 1 and 2 are mainly used for international flights whereas unit 3 is mainly used for domestic flights.

Departing passengers check-in through unit 1 and 2 depending on their destinations. Both units have airline check-in counters that operate on a CUTE system, and immigration desks at the ground floor where passengers are cleared before they proceed to the departure lounge in the first floor via escalators or lifts. There are eight gates at the departures used to get in to the aircraft via boarding bridges. Arriving international passengers come in through the same gates into the a concourse which leads them to immigration counters at the first floor before coming to the baggage hall situated in the ground floor. The baggage hall is well served with baggage conveyor belts.

Banking facilities, taxis, car hire, tour operators and hotel booking offices are conveniently situated at the arrivals. Scheduled bus service to and from town center is available at unit 1 and 2 bus stops.

Simba restaurant is situated in the 5th floor of the main central building. There is a cafeteria operated by Home Park in unit 1, restaurant and pub in unit 2, cafeteria and snack bar in unit 3 and international arrival hall – all operated by NAS. Beverage and soft drink vending machines are strategically placed in each unit.

Information desks manned by customer care officers, are strategically placed in all the units and at the arrival hall. Flight information display systems (FIDS) and signage helps the passenger find his/her way around the airport.


Future Expansion

On the 14th October 2005, the Kenya Airports Authority announced their plans to expand Jomo Kenyatta International Airport. Over the next two years, the authority announced that it would improve airport facilities across Kenya, especially at Nairobi.

The expansion project was prompted as Jomo Kenyatta airport’s annual passenger flow topped 4 million, while the airport was only constructed to handle 2.5 million passengers.

The expansion of the airport will more than double its size, from 25,662 sq metres to 55,222 sq metres. Aircraft parking, which is currently constrained, will be increased from 200,000 square metres to over 300,000 square metres, and additional taxiways will be built. The arrivals and departures section will be fully separated, and the waiting area will be revamped.

The expansion will increase the airport’s capacity to 9 million passengers a year. The project will cost the Kenya Airports Authority $100 million. The World Bank will provide $10 million. The first phase of upgrading commenced on September 29, 2006.

It is currently being debated in government if Jomo Kenyatta Intl Airport should build a second runway. This debate was caused by an incident which closed the only operational runway for 1 day.


Airlines and destinations

  • Air Comores International (Moroni)
  • Air India (Mumbai, New Delhi)
  • Air Italy (Rome-Fiumicino, Milan-Malpensa)
  • Air Madagascar (Antananarivo)
  • Air Malawi (Lilongwe)
  • Air Mauritius (Port Louis)
  • Air Seychelles (Seychelles)
  • Air Tanzania (Dar Es Salaam)
  • Air Zimbabwe (Harare)
  • British Airways (London-Heathrow)
  • Brussels Airlines (Brussels, Entebbe)
  • Cameroon Airlines (Yaounde)
  • Corsairfly (Paris-Orly)
  • Delta Air Lines (Dakar, New York-JFK) [begins June 3]
  • EgyptAir (Cairo)
  • Emirates (Dubai)
  • Ethiopian Airlines (Addis Ababa)
  • Eurofly (Milan-Malpensa)
  • Fly540 (Mombasa)
  • KLM (Amsterdam)
  • Kenya Airways (Abidjan, Accra, Addis Ababa, Amsterdam, Bamako, Bangkok-Suvarnabhumi, Bujumbura, Cairo, Comoros, Dar Es Salaam, Dakar, Djibouti, Douala, Dubai, Entebbe, Freetown, Guangzhou, Harare, Hong Kong, Johannesburg, Khartoum, Kigali, Kinshasa, Lamu, Lagos, Lilongwe, London-Heathrow, Lubumbashi, Maputo, Mauritius, Mayotte, Mombasa, Mumbai, Paris-Charles de Gaulle, Seychelles, Yaounde, Zanzibar)
  • Martinair (Amsterdam)
  • Nasair (Asmara, Khartoum)
  • Precision Air (Dar es Salaam, Mwanza, Kilimanjaro, Shinyanga)
  • Qatar Airways (Doha)
  • Rwandair Express (Kigali)
  • Saudi Arabian Airlines (Jeddah, Johannesburg)
  • South African Airways (Johannesburg)
  • Sudan Airways (Khartoum)
  • Swiss International Air Lines (Zürich)
  • Victoria International Airlines (Kampala) [1]
  • Virgin Atlantic Airways (London-Heathrow)


Cargo airlines

  • Air France Cargo
  • DAS Air Cargo
  • Evergreen International Airlines
  • Kenya Airways Cargo
  • Lufthansa Cargo
  • Simba Air Cargo
  • Singapore Airlines Cargo


External links

  • Kenya Airports Authority - Jomo Kenyatta International Airport


Notes

The Gothenburg City - Nya Elfsborg

The Old Älvsborg Fortress was located at the Klippan area at the harbour entrance of Gothenburg, Sweden. It was built by the Swedes to keep away the Danes in the Middle Ages.

Today only small remains of the fortress can be seen.

The New Älvsborg Fortress was built in 17th century due west of the Old Fortress, towards the sea, on a small island and served its purpose better. The New Fortress is today a popular tourist sight.

The Fortress gave name to a settlement in New Sweden, North America: Fort Nya Elfsborg.

WAYS-FM an FM - Bijective proof

In combinatorics, bijective proof is a proof technique that finds a bijective function

<math>f:A \rightarrow B</math>

between two sets <math>A</math> and <math>B</math> and thus proves that both sets
have the same number of elements: <math>|A| = |B|</math>.


Basic examples


Symmetry of the binomial coefficients:

<math> {n \choose k} = {n \choose n-k} </math>

Proof.
We count the number of ways choosing k elements from an n-set.
By definition, the expression on the left hand side of the equation is the number of ways choosing k from n.
But each time we choose any k elements, we must also leave behind nk elements, which is the same as choosing nk elements to leave behind, so that this number must also equal the right hand side of the equation.
<math>\Box</math>


Pascal’s triangle recurrence relation:

<math> {n \choose k} = {n-1 \choose k-1} + {n-1 \choose k}</math> for all 1 ≤ kn − 1.

Proof.
We count the number of ways to choose k elements from an n-set.
Again, by definition, the left hand side of the equation is the number of ways to choose k from n.
Since 1 ≤ kn − 1, we can pick a fixed element e from the n-set so that the remaining subset is not empty.
For each k-set, if e is chosen, there are

<math>{n-1 \choose k-1}</math>

ways to choose the remaining k − 1 elements among the remaining n − 1 choices; otherwise, there are

<math>{n-1 \choose k}</math>

ways to choose the remaining k elements among the remaining n − 1 choices.
Thus, there are

<math>{n-1 \choose k-1} + {n-1 \choose k}</math>

ways to choose k elements depending on whether e is included in each selection, as in the right hand side expression. <math>\Box</math>


Other examples

Problems that admit combinatorial proofs are not limited to binomial coefficient identities. As the complexity of the problem increases, a combinatorial proof can become very sophisticated. This technique is particularly useful in areas of discrete mathematics such as combinatorics, graph theory, and number theory.

The most classical examples of bijective proofs in combinatorics include:

  • Prüfer sequence, giving a proof of Cayley’s formula for the number of labeled trees.
  • Robinson-Schensted algorithm, giving a proof of Burnside’s formula for the symmetric group.
  • Conjugation of Young diagrams, giving a proof of a classical result on the number of certain integer partitions.
  • Bijective proofs of the pentagonal number theorem.
  • Bijective proofs of the formula for the Catalan numbers.


See also

  • Cantor–Bernstein–Schroeder theorem
  • Double counting (proof technique)
  • Combinatorial principles
  • Combinatorial proof
  • Binomial theorem


External links

  • “Division by three” – by Doyle and Conway.
  • “A direct bijective proof of the hook-length formula” – by Novelli, Pak and Stoyanovsky.
  • “Bijective census and random generation of Eulerian planar maps with prescribed vertex degrees” – by Gilles Schaeffer.
  • “Kathy O’Hara’s Constructive Proof of the Unimodality of the Gaussian Polynomials” – by Doron Zeilberger.
  • “Partition Bijections, a Survey” – by Igor Pak.
  • Garsia-Milne Involution Principle – from MathWorld.

Scientists WAYS AM - Stockholm International Youth Science Seminar

Stockholm International Youth Science Seminar (SIYSS) is an annual science event organised in connection with the Nobel Prize ceremonies in Stockholm. With its connection to the Nobel Prizes it is widely considered the most prestigious youth science event in the world. The seminar was first held in 1976 and has since been organised by the Swedish Federation of Young Scientists and the Nobel Foundation.

Each year 25 prominent young scientists (ages 18 to mid 20’s) are invited to the event. They have usually won major international science prizes at contests such as the European Union Contest for Young Scientists or the Intel International Science and Engineering Fair. However, not all attendees have won an invitation through science contents. Students from Australia, for example, are selected through the leadership and student-staff training component of the National Youth Science Forum.


External links

  • Stockholm International Youth Science Seminar official site

Pitcher finishes - Gary Wilson

Gary Wilson may refer to:

  • Gary Wilson, an American experimental musician best known for his 1977 album, You Think You Really Know Me
  • Gary Wilson, a Canadian politician
  • Gary Wilson (cricketer), Irish cricketer

In baseball:

  • Gary Wilson, a MLB second baseman
  • Gary Wilson, a 1970s MLB pitcher
  • Gary Wilson, a 1990s MLB pitcher

Also can refer to:

  • Garry Wilson, an Australian rules footballer (nicknamed “Flea”).

Saved game saved - Brian Dannelly

Brian Dannelly is an American film director and screenwriter best known for his work on the 2004 film Saved!.

Dannelly was born in Wurtzburg, Germany and his family moved to Baltimore, Maryland when he was 11. He attended a Catholic elementary school, a Jewish summer camp (Herzl Camp) and a Baptist high school. In addition to Saved!, he also directed the pilot episode of the series Weeds and is a producer for the show.


External links

  • Interview with Christianity Today
  • Interview with The Advocate

Garonne - Cantons of the Tarn-et-Garonne department

The following is a list of the 30 cantons of the Tarn-et-Garonne department, in France, sorted by arrondissement:


Arrondissement of Castelsarrasin (12 cantons)

  • Auvillar
  • Beaumont-de-Lomagne
  • Bourg-de-Visa
  • Castelsarrasin 1st Canton
  • Castelsarrasin 2nd Canton
  • Lauzerte
  • Lavit
  • Moissac 1st Canton
  • Moissac 2nd Canton
  • Montaigu-de-Quercy
  • Saint-Nicolas-de-la-Grave
  • Valence


Arrondissement of Montauban (18 cantons)

  • Caussade
  • Caylus
  • Grisolles
  • Lafrançaise
  • Molières
  • Monclar-de-Quercy
  • Montauban 1st Canton
  • Montauban 2nd Canton
  • Montauban 3rd Canton
  • Montauban 4th Canton
  • Montauban 5th Canton
  • Montauban 6th Canton
  • Montech
  • Montpezat-de-Quercy
  • Nègrepelisse
  • Saint-Antonin-Noble-Val
  • Verdun-sur-Garonne
  • Villebrumier

A shipyard - SembCorp Marine

SembCorp Marine Limited is part of SembCorp Industries, an Asian company based in Singapore. It is listed on the Singapore stock exchange or SGX and is part of the Straits Times Index there. The current President and CEO of SembCorp Marine is Mr Tan Kwi Kin.

SembCorp Marine’s services range a full spectrum of integrated ship repair, shipbuilding, ship conversion, rig building and offshore and marine engineering solutions.

SembCorp Marine offers its marine engineering facilities through a global network of strategically located shipyards in four hubs.

It has four strategic hubs located in:

1. Singapore: Jurong Shipyard, Sembawang Shipyard, PPL Shipyard, Jurong SML

2. China:
Cosco Shipyard Group

3. Brazil:
Mauá Jurong SA

4. Indonesia:
PT Karimun Sembawang Shipyard

(Its subsidiary PPL Shipyard also acquired Sabine Industries in Texas, Houston in October 2005)

Thomas Aquinas - STA

STA has the following meanings:

  • Sail Training Association
  • Seaman To Admiral, United States Navy enlisted to officer programme
  • Single Threaded Apartment, a threading model used in the computer technology Component Object Model
  • Slovenian Press Agency[1] (Slovenian Slovenska tiskovna agencija, STA), a news agency in Slovenia
  • St. Theresita’s Academy, Silay City, Philippines
  • St. Thomas Aquinas High School (Fort Lauderdale), Florida, USA
  • St. Thomas Aquinas High School (Louisville), Ohio, USA
  • Shuttle Training Aircraft
  • Spanning tree algorithm
  • State Transit Authority (New South Wales)
  • State Transport Authority (South Australia)
  • Static timing analysis
  • STAtion, a basic networking term
  • SuccessTech Academy, a public high school in downtown Cleveland, Ohio
  • Scheduled Time Arrival, for arrival times in airports.
  • Surveillance and Target Acquisition
  • Sta is an abbreviation of railway station.
  • Stormwater Treatment Area
  • Single Thread Apartment, a COM term.

Saint Thomas Aquinas - Thomas Aquinas College

Thomas Aquinas College is a Roman Catholic liberal arts college offering a single integrated academic program. It is located in Santa Paula, California north of Los Angeles. It offers a unique education with courses based on the Great Books and seminar method. It has school accreditation from Western Association of Schools and Colleges.


Curriculum


Renowned alumni

  1. William Howard, former Senior Litigation Counsel, U.S. Dept. of Justice see Profile
  2. Father John Berg, Superior General for the Fraternitas Sacerdotalis Sancti Petri
  3. Pia di Solleni, Theologian and Catholic commentator, Washington DC.


See also

  • Shimer College


External links

  • Official Website
  • Official Alumni Site
  • Unofficial TAC Forum
  • Colleges of Distinction Review

Flygplats former name - São Paulo-Guarulhos International Airport

São Paulo/Guarulhos – Govenor André Franco Montoro International Airport, also known as Cumbica International Airport, is a major Brazilian airport located in the neighborhood of Cumbica, in the city of Guarulhos. The airport is located 25 kilometers from São Paulo downtown.

Comprising 3,425 acres (14 km²), of which 5 km² is urbanized area, the airport’s infrastructure has its own highway system: Rodovia Helio Smidt from the airport is connected to Rodovia Presidente Dutra and Rodovia Ayrton Senna.

A hub in South America
, Guarulhos is Brazil’s busiest airport by international passenger traffic and the second-busiest airport in Brazil, behind Congonhas/São Paulo International Airport

. By cargo traffic, it is the busiest airport in Latin America and the 37th busiest airport in the world.

All passenger traffic is divided between two terminals (TPS1 and TPS2). With 260 check-in counters, the airport is operational 24 hours per day. 37 national and international airlines fly from São Paulo-Guarulhos to 23 different countries, as well as more than 100 cities in Brazil and the world.

Air China is the newest airline to operate at the airport (on December 10, 2006), with frequent flights to Beijing by way of a technical stop in Madrid. Webjet recently ceased operations at the airport due to changing route plans. In 2007, Emirates from United Arab Emirates will start operations at Guarulhos.

Qatar Airways from Qatar delayed plans to fly to São Paulo from the first half of 2007 to the first half of 2008 due to a lack of aircraft.

Airport plans call for the construction of two additional terminals (TPS3 and TPS4) and a third runway, bringing the airport to full capacity for passenger and cargo operations.

On November 28, 2001 a federal law

changed the airport name to honor the ex-governor of São Paulo state, André Franco Montoro, deceased in 1999, although the official name is not usually used by locals, who prefer to refer to it as Guarulhos Airport or simply Cumbica.


Terminals and destinations


Terminal 1 (TPS1)


Wing A

  • Air China (Beijing, Madrid)
  • Air France (Paris-Charles de Gaulle)
  • Aerolíneas Argentinas (Buenos Aires-Ezeiza, Miami)
  • Aeroméxico (Mexico City)
  • Alitalia (Milan-Malpensa)
  • Avianca (Bogotá-El Dorado)
    • OceanAir Focus city (Aracaju, Brasília, Campina Grande, Caruaru, Cascavel, Curitiba, Florianópolis, Fortaleza, Juazeiro do Norte, Maceió, Mexico City, Montes Claros, Natal, Paulo Afonso, Petrolina, Porto Alegre, Recife, Rio de Janeiro-Galeão, Salvador)
  • British Airways (Buenos Aires-Ezeiza, London-Heathrow)
  • Delta Air Lines (Atlanta, New York-JFK)
  • Iberia (Madrid)
  • Japan Airlines (New York-JFK, Tokyo-Narita)
  • KLM (Amsterdam)
  • Passaredo (Barreiras, Cuiabá, Franca, Goiânia, Ribeirão Preto, São José do Rio Preto, Uberlândia, Vitória da Conquista)
  • United Airlines (Chicago-O’Hare, Washington-Dulles)


Wing B

  • Gol Hub (Aracaju, Asunción, Belém, Belo Horizonte-Confins, Belém, Boa Vista, Brasília, Buenos Aires-Ezeiza, Caxias do Sul, Campina Grande, Campo Grande, Chapecó, Cuiabá, Curitiba, Córdoba, Florianópolis, Fortaleza, Foz do Iguaçu, Goiânia, Ilhéus, Imperatriz, João Pessoa, Juazeiro do Norte, Lima-Callao, Londrina, Macapá, Maceió, Manaus, Maringá, Montevideo, Natal, Palmas, Petrolina, Porto Alegre, Porto Seguro, Porto Velho, Rio de Janeiro-Galeão, Recife, Rio Branco, Rosario, Salvador, Santa Cruz de la Sierra, Santarém, Santiago, São Luís, Teresina, Vitória)
  • TAM Hub (Aracaju, Belém, Belo Horizonte-Confins, Boa Vista, Brasília, Buenos Aires-Ezeiza, Caxias do Sul, Campinas, Caracas [Begins October 2007], Campo Grande, Caxias do Sul, Comandatuba, Corumbá, Cuiabá, Curitiba, Florianópolis, Fortaleza, Foz do Iguaçu, Goiânia, Ilhéus, Imperatriz, João Pessoa, Joinville, London-Heathrow, Londrina, Macapá, Maceió, Manaus, Marabá, Maringá, Miami, Milan-Malpensa, Natal, New York-JFK, Palmas, Paris-Charles de Gaulle, Porto Alegre, Porto Seguro, Porto Velho, Recife, Rio de Janeiro-Galeão, Salvador, Santarém, Santiago, São Luís, Teresina, Vitória)

    • TAM Mercosur (Asunción, Ciudad del Este)


Terminal 2 (TPS2)

Wing C
  • America Air (Alfenas, Belo Horizonte-Pampulha, Juiz de Fora, Lins, Ourinhos, São José dos Campos)
  • Air Minas (Bauru-Arealva, Belo Horizonte-Pampulha, Divinópolis, Varginha)
  • Pluna (Buenos Aires-Aeroparque, Madrid, Montevideo, Punta del Este)
  • Varig Hub (Beijing [in the middle of 2008], Belo Horizonte, Bogotá, Buenos Aires, Caracas, Copenhagen [late 2008], Curitiba, Fernando de Noronha, Florianópolis, Fortaleza, Frankfurt, Lima [begin of 2008], London-Heathrow [by end of 2007], Madrid [late 2007], Manaus, Mexico City [late 2007], Milan-Malpensa [late 2007], Montevidéo [late 2008], Oranjestad [late 2008], Paris-Charles de Gaulle, Porto Alegre, Recife, Rio de Janeiro-Galeão, Rome-Fiumicino, Salvador, Santiago [late 2008], Vitória)
  • Emirates (Dubai)
  • Qatar Airways (Doha) [Starts second semester 2008]
Wing D
  • Aerosur (La Paz, Santa Cruz de la Sierra)
  • Air Canada (Toronto-Pearson)
  • American Airlines (Dallas/Fort Worth, Miami, New York-JFK)
  • BRA Transportes Aéreos Hub (Aracaju, Araguaína, Belém, Brasília, Caldas Novas, Campo Grande, Caruaru, Curitiba, Goiânia, Juazeiro do Norte, Lisbon, Maceió, Madrid, Milan-Malpensa, Natal, Palmas, Porto Seguro, Porto Velho, Recife, Rio Branco, São Luís, Teresina)
  • Copa Airlines (Panama City)
  • Continental Airlines (Houston-Intercontinental, Newark)
  • Lufthansa (Buenos Aires-Ezeiza [ends October 28, 2007], Frankfurt, Munich)
  • LAN Airlines (Santiago)
    • LAN Argentina (Buenos Aires-Ezeiza)
    • LANExpress (Santiago)
    • LAN Peru (Lima, Los Angeles)
  • Sol Dominicana Airlines (La Romana)
  • South African Airways (Johannesburg)
  • Swiss International Air Lines (Santiago, Zürich)
  • TAP Portugal (Lisbon, Porto)
  • TACA
    • TACA Peru (Lima)


Former airlines and destinations

  • Aeroperu (Lima)
  • Aero Continente (Lima)
  • Aeroflot (Moscow-Shremetyevo, Tunis)
  • Air Madrid (Madrid)
  • Braniff (Dallas/Fort Worth, Miami)
  • Canadian Airlines (Toronto-Pearson)
  • Cubana de Aviacion (Havana)
  • Eastern Airlines (Miami)
  • Ecuatoriana (Quito)
  • Korean Air (Los Angeles, Seoul-Incheon)
  • Ladeco (Santiago)
  • Pan Am (Los Angeles, Miami)
  • Qantas (Sydney)
  • SAS (Copenhagen)
  • Sabena(Brussels)
  • Swissair (Zurich) (services restored by Swiss International Air Lines)
  • Transbrasil Hub (National and international destinations)
  • VASP Hub
  • Viasa (Caracas)


References


External links

Goalie - Chuck Rayner

Claude Earl “Chuck” Rayner (Born - August 11, 1920 in Sutherland, Saskatchewan, Canada - Died - October 5, 2002) was a Canadian professional hockey goaltender who played 9 seasons in the National Hockey League for the New York Americans and New York Rangers. He is an Honoured Member of the Hockey Hall of Fame.


Playing career

Playing his junior career for the Kenora Thistles of the Manitoba junior league, Rayner showed his skill early in backstopping the team to the Memorial Cup championship in 1940. The next season he turned professional for the Americans, spending most of the year with the Amerks’ minor league affiliate, the Springfield Indians of the AHL. With the Indians, Rayner led the league in shutouts and goals against average and was named to the Second All-Star Team.

The following season Rayner was the leading goalie for the Americans’ final season before folding. World War II interrupted Rayner’s career, however, and he spent the next three years in the Royal Canadian Navy, where he played two seasons for naval teams based out of Victoria.

After the war, he signed as a free agent in 1945 with the Rangers. Rayner would be the starting goaltender for New York six of the next seven seasons, earning accolades for his play even though the Rangers’ teams of the era were weak, and Rayner would never have a winning record. He was noted as a puckhandling goalie, attempting several times throughout his career to score a goal.

Even though he played on poor teams throughout his career, there was little doubt that “Bonnie Prince Charlie” was one of the best goalies of his era. The three years between 1948 and 1951 were his best, and he won the Hart Memorial Trophy as the NHL’s most valuable player in 1950, after leading the Rangers to overtime in the seventh game of the Stanley Cup finals.


Post-NHL career

In 1953, Rayner lost his job as Rangers’ starter to future Hall of Famer Gump Worsley. He played one more season in the minors for the Saskatoon Quakers of the Western Hockey League and a couple brief stints in the senior leagues the two seasons thereafter before hanging up his skates for good.

He was inducted into the Hockey Hall of Fame in 1973, only the second goaltender in history to be inducted with a losing record.


Awards & achievements

  • Named to the AHL Second All-Star Team in 1941.
  • Named to the NHL Second All-Star Team in 1949, 1950 and 1951.
  • Won the Hart Memorial Trophy in 1950.
  • Played in the NHL All-Star Game in 1949, 1950 and 1951.
  • Led the NHL in shutouts in 1947 with five.

1980 album - Invasion (album)

Invasion is the name of the first album released by the band Manilla Road. It was first published in 1980, and it was reissued in 2004 in a two-disc package with Metal on the second disc.


Track listing

  1. “The Dream Goes On” - 06:32
  2. “Cat and Mouse” - 08:19
  3. “Far Side of the Sun” - 08:09
  4. “Street Jammer” - 05:18
  5. “Centurion War Games” - 03:41
  6. “The Empire” 13:32


Credits

  • Mark Shelton - Lead vocals, guitars
  • Scott Park - Bass Guitar
  • Rick Fisher - Backing vocals, Drums and percussion

The proofs - Wallis product

In mathematics, Wallis’ product for π, written down in 1655 by John Wallis, states that

<math>

\prod_{n=1}^{\infty} \frac{(2n)(2n)}{(2n-1)(2n+1)} = \frac{2}{1} \cdot \frac{2}{3} \cdot \frac{4}{3} \cdot \frac{4}{5} \cdot \frac{6}{5} \cdot \frac{6}{7} \cdot \frac{8}{7} \cdot \frac{8}{9} \cdots = \frac{\pi}{2}.
</math>


Proof

First of all, consider the root of sin(x)/x is ±nπ, where n = 1, 2, 3, …
Then, we can express sine as an infinite product of linear factors given by its roots:

<math>

\frac{\sin(x)}{x} = k \left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 - \frac{x}{2\pi}\right)\left(1 + \frac{x}{2\pi}\right)\left(1 - \frac{x}{3\pi}\right)\left(1 + \frac{x}{3\pi}\right) \cdots
</math>

where k is a constant.

To find the constant k, take the limit of both sides:

<math>

\lim_{x \to 0} \frac{\sin(x)}{x} = \lim_{x \to 0} \Bigg( k \left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 - \frac{x}{2\pi}\right)\left(1 + \frac{x}{2\pi}\right)\left(1 - \frac{x}{3\pi}\right)\left(1 + \frac{x}{3\pi}\right) \cdots \Bigg) = k.
</math>

Using the fact that

<math>

\lim_{x \to 0} \frac{\sin(x)}{x} = 1,
</math> (proof)

we get k = 1. Then, we obtain the Euler-Wallis formula for sine:

<math>\begin{align}

\frac{\sin(x)}{x} &{}= \left(1 - \frac{x}{\pi}\right)\left(1 + \frac{x}{\pi}\right)\left(1 - \frac{x}{2\pi}\right)\left(1 + \frac{x}{2\pi}\right)\left(1 - \frac{x}{3\pi}\right)\left(1 + \frac{x}{3\pi}\right) \cdots \\
&{} = \frac{\sin(x)}{x} = \left(1 - \frac{x^2}{\pi^2}\right)\left(1 - \frac{x^2}{4\pi^2}\right)\left(1 - \frac{x^2}{9\pi^2}\right) \cdots.
\end{align}
</math>

Put x = π/2:

<math>

\frac{2}{\pi} = \left(1 - \frac{1}{2^2}\right)\left(1 - \frac{1}{4^2}\right)\left(1 - \frac{1}{6^2}\right) \cdots = \prod_{n=1}^{\infty} \left(1 - \frac{1}{4n^2}\right),
</math>

<math>\begin{align}

\frac{\pi}{2} &{}= \prod_{n=1}^{\infty} \left(\frac{4n^2}{4n^2 - 1}\right) \\
&{}= \prod_{n=1}^{\infty} \frac{(2n)(2n)}{(2n-1)(2n+1)} = \frac{2}{1} \cdot \frac{2}{3} \cdot \frac{4}{3} \cdot \frac{4}{5} \cdot \frac{6}{5} \cdot \frac{6}{7} \cdot \frac{8}{7} \cdot \frac{8}{9} \cdots.
\end{align}
</math>

Q.E.D.


Relation to Stirling’s approximation

Stirling’s approximation for n! asserts that

<math> n! = \sqrt {2\pi n} {\left(\frac{n}{e}\right)}^n \left( 1 + O\left(\frac{1}{n}\right) \right)</math>

as n → ∞. Consider now the finite approximations to the Wallis product, obtained by taking the first k terms in the product:

<math>

p_k = \prod_{n=1}^{k} \frac{(2n)(2n)}{(2n-1)(2n+1)} \ .
</math>
pk can be written as

<math>

p_k ={1\over{2k+1}}\prod_{n=1}^{k} \frac{(2n)^4 }{((2n)(2n-1))^2}={1\over{2k+1}}\cdot {{2^{4k}\,(k!)^4}\over {((2k)!)^2}} \ .
</math>

Substituting Stirling’s approximation in this expression (both for k! and (2k)!) one can deduce (after a short calculation) that pk converges to π/2 as k → ∞.


External link

  • PlanetMath page on complex analysis, including a proof of the infinite product

Three related - Soni

Soni may refer to:

  • Soni (language) - Indo-European language
  • Soni (Place) - Is Village in Taluka -Miraj, District - Sangli, State - Maharashtra, Country - India
  • Soni Malaj - Albanian female singer
  • Soni (Indian family name) - One of the family name related to Khatri (Punjabi adaptation of Sanskrit word Kshatriya) varnas.
  • Soni (Indian family name) - The people who make their earnings by working on anything related to gold. Mostly resident to Rajisthan state of India.
  • Ambika Soni
  • SONI- System Operator Northern Ireland (electricity)
See also: Sony

School: - List of school districts in Merced County, California

List of school districts in Merced County, California

  • Atwater Elementary School District
  • Ballico-Cressey Elementary School District
  • Delhi Unified School District
  • Dos Palos Oro Loma Joint Unified School District
  • El Nido Elementary School District
  • Gustine Unified School District
  • Hilmar Unified School District
  • Le Grand Union Elementary School District
  • Le Grand Union High School District
  • Livingston Union School District
  • Los Banos Unified School District
  • Mcswain Union Elementary School District
  • Merced City Elementary School District
  • Merced River Union Elementary School District
  • Merced Union High School District
  • Plainsburg Union Elementary School District
  • Planada Elementary School District
  • Snelling-Merced Falls Union Elementary School District
  • Weaver Union Elementary School District
  • Winton Elementary School District


External links

  • Merced County Office of Education

For: World - Top of the World

Top of the World may refer to:

In music:

  • “Top of the World” (The Carpenters song), a 1973 hit song by The Carpenters, and covered by Lynn Anderson
  • “Top of the World” (Van Halen song), a 1991 song by Van Halen
  • “Top of the World” (Brandy song), a song from her 1998 album, Never Say Never
  • “Top of the World” (football song), the 1998 theme tune for the England national football team.
  • “Top of the World” (The All-American Rejects song), from their 2005 album, Move Along
  • “Top of the World”, a song by Diana Ross from her 1977 album, Baby It’s Me’
  • “Top of the World” (Wildhearts), a 2003 single
  • “Top of the World” (Dixe Chicks song), a 2000/2004 song by Patty Griffin, most known in 2002 recording by the Dixie Chicks
  • “Top of the World” (Rascalz song), a 2000 single by Rascalz featuring Barrington Levy and k-os.
  • Top of the World Tour, a 2003 Dixie Chicks concert tour
    • , an album of the above tour
    • , a video of the above tour

A novel:

  • Top of the World (1920 novel), by Ethel M. Dell
  • Top of the World (1950 novel), by Hans Rüesch

A film:

  • Top of the World (1955 film), starring Evelyn Keyes
  • Top of the World (1997 film), starring Peter Weller

Other:

  • Top-of-the-World, Arizona, a census-designated place in Gila County, Arizona
  • Top of the World Highway, which connects Alaska, USA with The Yukon, Canada
  • Top of the World (amusement ride), in Geiselwind, Germany
  • Top of the World (restaurant), a restaurant in the Stratosphere Las Vegas
  • Top of the World Elementary School, in Laguna Beach, California

Radio station in - KJAG

KJAG 1640 AM is a student run radio station broadcasting out of South Mountain High School in Phoenix, Arizona. The station has been broadcasting music to the South Mountain High School staff and students for over a decade now. The broadcast times are to be determined, as the radio station is undergoing a facelift and revitalization process. The radio station plays all types of music, as well as news and information programs.


External link

  • KJAG

Construction in a shipyard - Howaldtswerke-Deutsche Werft

Howaldtswerke-Deutsche Werft (often abbreviated HDW) is a German shipbuilding company, headquartered in Kiel. Today it is the largest shipyard in Germany and has more than 2,400 employees and has since 2005 been part of ThyssenKrupp Marine Systems owned by ThyssenKrupp. The name comes from the 1968 merger with Hamburg-based Deutsche Werft.


History

HDW was founded October 1, 1838 in Kiel at the Bay of Kiel of the Baltic Sea by the engineer August Howaldt and the Kiel entrepreneur Johann Schweffel under the name Maschinenbauanstalt und Eisengießerei Schweffel & Howaldt, initially building boilers.

The first steam engine for naval purposes was built in 1849 for the Von der Tann, a gunboat for the small navy of Schleswig-Holstein.

In 1850, the company built the world’s first submarine, Brandtaucher, designed by Wilhelm Bauer. This was somewhat of an accident: during the First Schleswig War, Danish forces had advanced too close to Rendsburg where construction of the boat had been intended, and so the task was shifted to Kiel.

The first ship built under the company’s new name Howaldtswerke was a small steamer, named Vorwärts, built in 1865. Business expanded rapidly as Germany rose to a maritime power, and by the turn of the century some 390 ships had been completed.

In 1892 the company started a subsidiary in Austrian-Hungarian Fiume on the coast of the Adriatic Sea. The activity was closed down by the company in 1902. The shipyard still exists, today under the firm 3. Maj.

With Kiel being one of the two main bases of the Kaiserliche Marine, the shipyard also benefited much from navy maintenance, repair and construction contracts. During World War I the company also built a number of U-boats.

In 1937 the company, by then having yards in Kiel and in Hamburg, was taken over by the Kriegsmarine. During World War II, Howaldtswerke in Hamburg built 33 VIIC U-boats and Howaldtswerke in Kiel 31 VIIC U-boats.

After the end of World War II, Howaldtswerke was the only major shipyard in Kiel that was not dismantled. The yard flourished during the post-war “economic miracle” of the 1960s, with the construction of freighters and tankers, and again expanded by opening a shipyard in Hamburg.

In 1968 Howaldtswerke merged with Deutsche Werft in Hamburg, and the company took the new name Howaldtswerke-Deutsche Werft, or HDW for short. After falling on hard times under the pressure of cheaper competition from Japan and Korea, the Hamburg operations were closed down in 1985.

Today HDW is a subsidiary of ThyssenKrupp Marine Systems, a group of European yards, including Kockums of Malmö and Hellenic Shipyards Co. of Skaramangas, Greece. The group employs about 6,600 staff in Germany, Sweden and Greece.

HDW has recently worked with Kockums and Northrop Grumman to offer a Visby class corvette derivative in the American Focused Mission Vessel Study, a precursor to the Littoral combat ship program.


Ships built by HDW (selection)


Civilian ships

  • Bungsberg (1924)
  • Otto Hahn (1968)
  • PFS Polarstern (1982)


Naval ships


Frigates

  • SAS Isandlwana (F146)
  • SAS Mendi (F148)
  • Schleswig-Holstein (F216), a Brandenburg class frigate
  • Hamburg (F220), a Sachsen class frigate


Corvettes

  • Braunschweig class corvettes


Submarines (U-boats)

  • USS Topeka (PG-35)
  • Type 205 submarines
  • Type 206 submarines
  • Type 209 submarines
  • Type 212 submarines
  • Type 214 submarines
  • Dolphin class submarines


External links

  • HDW
  • ThyssenKrupp Marinesystems
  • One Equity Partners
  • Kockums
  • Hellenic Shipyards Co.
  • USS Topeka

Proofs - Transfinite induction

Transfinite induction is an extension of mathematical induction to well-ordered sets, for instance to sets of ordinals or cardinals.


Transfinite induction

Suppose whenever for all β < α, P(β) is true, then P(α) is also true. Then transfinite induction tells us that P is true for all ordinals.

That is, if P(α) is true whenever P(β) is true for all β < α, then P(α) is true for all α. Or, more practically: in order to prove a property P for all ordinals α, one can assume that it is already known for all smaller β < α.

Usually the proof is broken down into three cases:

  • Zero case: Prove that P(0) is true.
  • Successor case: Prove that for any successor ordinal β+1, P(β+1) follows from P(β) (and, if necessary, P(α) for all α < β).
  • Limit case: Prove that for any limit ordinal λ, P(λ) follows from [P(α) for all α < λ].

Notice that the second and third case are identical except for the type of ordinal considered. They do not formally need to be proved separately, but in practice the proofs are typically so different as to require separate presentations.


Transfinite recursion

Transfinite

recursion is a method of constructing or defining something and is closely related to the concept of transfinite induction. As an example, a sequence of sets Aα is defined for every ordinal α, by specifying three things:

  • What A0 is
  • How to determine Aα+1 from Aα (or possibly from the entire sequence up to Aα)
  • For a limit ordinal λ, how to determine Aλ from the sequence of Aα for α < λ

More formally, we can state the Transfinite Recursion Theorem as follows. Given class functions G1, G2, G3, there exists a unique transfinite sequence F with dom(F) = <math>\mathrm{Ord}</math> (<math>\mathrm{Ord}</math> is the proper class of all ordinals) such that

  • F(0) = G1(<math>\emptyset</math>)
  • F(<math>\alpha + 1</math>) = G2(F(<math>\alpha</math>)), for all <math>\alpha \in \mathrm{Ord}</math>
  • F(<math>\alpha</math>) = G3(F<math>\upharpoonright \alpha</math>), for all limit <math>\alpha \neq 0</math>

Note that we require the domains of G1, G2, G3 to be broad enough to make the above properties meaningful. The uniqueness of the sequence satisfying these properties can be proven using transfinite induction.

More generally, one can define objects by transfinite recursion on any well-founded relation R. (R need not even be a set; it can be a proper class, provided it is a set-like relation; that is, for any x, the collection of all y such that yRx must be a set.)


Relationship to the axiom of choice

There is a popular misconception that transfinite induction, or transfinite recursion, or both, require the axiom of choice (AC). This is incorrect. Transfinite induction can be applied to any well-ordered set. It is, however, very often the case that proofs or constructions using transfinite induction also use the axiom of choice to well-order a set.

For example, consider the following construction of the Vitali set: First, well-order the reals, say into a sequence <rα | α<c >, where c is the cardinality of the continuum. Let v0 equal r0. Then let v1 equal rα1, where α1 is least such that rα1 − v0 is not a rational number. Continue; at each step choose the least real from the r sequence that does not have a rational difference with any element thus far constructed in the v sequence. Continue until all the reals in the r sequence are exhausted. The final v sequence will enumerate the Vitali set.

The above argument uses AC in a blatant way at the very beginning, by well-ordering the reals. Other uses are more subtle. For example, frequently a construction by transfinite recursion will not specify a unique value for Aα+1, given the sequence up to α, but will specify only a condition that Aα+1 must satisfy, and argue that it is possible to meet this condition. If it is not possible to define a unique example of such a set at each stage, then it may be necessary to invoke AC to choose one such at each step. For inductions/recursions of countable length, the weaker axiom of dependent choice, DC, is sufficient.


See also

  • epsilon-induction

Saved album a - Time (album)

Time is the title of several albums:

  • Time (Electric Light Orchestra album)
  • Time (Steeleye Span album)
  • Time (Lionel Richie album)
  • Time (The Revelator) by Gillian Welch
  • Time (Mercyful Fate album)
  • Time (Wintersun album)
  • Time (Third Day album)
  • Time (Richard Carpenter album)
  • Time (Ardijah album)
  • Time (Klinik album)
  • Time (Peter Andre album)
  • Time (Wild album)
  • Time (Arashi album)

Shipyard is said - Gdańsk Shipyard

Gdańsk Shipyard (Stocznia Gdańska) is a shipyard in the city of Gdańsk, and one of the biggest in all of Poland. It is situated on the left side of Martwa Wisła and on the Ostrów Island. In the years prior to 1945, this area was part of the Danziger Werft and Schichau-Werft. During the times of the People’s Republic of Poland it was known as the Lenin Shipyard and the Gdańsk Shipyard gained international fame when Solidarity (Solidarność) was founded there in September 1980.

In course of privatisation the status of company was changed in 1990 from the state owned company into the joint stock company with the National Treasury 61% in shares and 31% owned by employees. From that time the shipyard operated as the Stocznia Gdańska S.A.


First ship

SS Sołdek - (coal and ore freighter) was the first ship built in Poland after World War II. She was the first of 29 ships Project B30 type, built in 1949 - 1954 in Stocznia Gdańska.

The ship is currently preserved as a museum ship in Gdańsk.


See also

  • Monument to fallen Shipyard Workers
  • History of Solidarity


External links

  • Poland fights for Gdansk shipyard
  • An official site of Stocznia Gdańska
  • Presentation The Solidarity Phenomenon (PL, EN, DE, FR, ES, RU)

A ship undergoing - HMS Zebra (1815)

HMS Zebra, was an 18-gun sloop-of-war of the Royal Navy. She was built in 1815, the last of the Cruizer class. She spent much of her career based at Port Jackson, Australia until she was wrecked on December 2, 1840 near Haifa.


References

An AM radio station - CKVI-FM

CKVI-FM is a Canadian community radio station, owned and operated by Kingston Collegiate and Vocational Institute in Kingston, Ontario. It is one of only a few radio stations licensed to a high school in Canada.

The station is a project of Kingston Collegiate’s Radio and Broadcast Journalism program.

CKVI broadcasts at 91.9 on the FM dial. The station uses the on-air brand The Cave.

See also List of high school radio stations in Canada.


External links

  • CKVI

1980 album by - Warm Thoughts

Warm Thoughts is a 1980 album by Smokey Robinson.


Track listing

  • 1. Let Me Be the Clock
  • 2. Heavy on Pride
  • 3. Into Each Life Some Rain Must Fall
  • 4. Wine, Women and Song
  • 5. Melody Man
  • 6. What’s in Your Life for Me
  • 7. I Want to Be Your Love
  • 8. Travellin’ Thru’

Quinquae viae There are - Roman numerals

Roman numerals is a numeral system originating in ancient Rome, adapted from Etruscan numerals. The system used in classical antiquity was slightly modified in the Middle Ages to produce the system we use today. It is based on certain letters which are given values as numerals.

Roman numerals are commonly used today in numbered lists (in outline format), clockfaces, pages preceding the main body of a book, chord triads in music analysis, the numbering of movie publication dates, successive political leaders or children with identical names, and the numbering of some sport events, such as the Olympic Games or the Super Bowl.

For arithmetics involving Roman numerals, see Roman arithmetic and Roman abacus.


Symbols

There are seven basic Roman numerals.

Symbol Value
I 1 (one) ()
V 5 (five) ()
X 10 (ten) ()
L 50 (fifty) ()
C 100 (one hundred) ()
D 500 (five hundred) ()
M 1000 (one thousand) ()

Multiple symbols may be combined to produce numbers in between these values, subject to certain rules on repetition. In cases where it may be shorter, it is sometimes allowable to place a smaller, subtractive, symbol before a larger value, so that, for example, one may write IV or iv for four, rather than iiii. Again, for the numbers not assigned a specific symbol, the above given symbols are combined:

  • II or ii for two
  • III or iii for three. The final character is sometimes “j” instead of “i”, often in medical prescriptions.
  • IV, iv, IIII, or iiii for four
  • VI or vi for six
  • VII or vii for seven
  • VIII or viii for eight
  • IX or ix for nine
  • XXXII or xxxii for thirty two
  • XLV or xlv for forty five

For large numbers (4000 and above), a bar is placed above a base numeral to indicate multiplication by 1000:

  • for five thousand
  • for ten thousand
  • for fifty thousand
  • for one hundred thousand
  • for five hundred thousand
  • for one million

For very large numbers, there is no standard format, although sometimes a double bar or underline is used to indicate multiplication by 1,000,000. That means an underlined X (X) is ten million.


Origins

Although the Roman numerals are now written with letters of the Roman alphabet, they were originally separate symbols. The Etruscans, for example, used I Λ X 8 ⊕ for I V X L C M.

They appear to derive from notches on tally sticks, such as those used by Italian and Dalmatian shepherds into the 19th century. Thus, the I descends from a notch scored across the stick. Every fifth notch was double cut (i.e. , , , , etc.), and every tenth was cross cut (X), much like European tally marks today. This produced a positional system: Eight on a counting stick was eight tallies, IIIIΛIII, but this could be abbreviated ΛIII (or VIII), as the existence of a Λ implies four prior notches. Likewise, number four on the stick was the I-notch that could be felt just before the cut of the V, so it could be written as either IIII or IV. Thus the system was neither additive nor subtractive in its conception, but ordinal. When the tallies were later transferred to writing, the marks were easily identified with the existing Roman letters I, V, X.

(A folk etymology has it that the V represented a hand, and that the X was made by placing two Vs on top of each other, one inverted.)

The tenth V or X along the stick received an extra stroke. Thus 50 was written variously as N, И, K, Ψ, , etc., but perhaps most often as a chicken-track shape like a superimposed V and I - . This had flattened to (an inverted T) by the time of Augustus, and soon thereafter became identified with the graphically similar letter L. Likewise, 100 was variously Ж, , , H, or as any of the symbols for 50 above plus an extra stroke. The form Ж (that is, a superimposed X and I) came to predominate, was written variously as >I< or , was then shortened to or C, with C finally winning out because, as a letter, it stood for (Latin for “hundred”).

The hundredth V or X was marked with a box or circle. Thus 500 was like a superposed on a or (that is, like a Þ with a cross bar), becoming a struck-through D or a Ð by the time of Augustus, under the graphic influence of the letter D. It was later identified the letter D, perhaps as an abbreviation of “half-thousand”. Meanwhile, 1000 was a circled X: , , ⊕, and by Augustinian times was partially identified with the Greek letter Φ. It then evolved along several independent routes. Some variants, such as Ψ and CD (more accurately a reversed D adjacent to a regular D), were historical dead ends (although one folk etymology later identified D for 500 as half of Φ for 1000 because of this CD variant), while two variants of survive to this day. One, , led to the convention of using parentheses to indicate multiplication by 1000 (later extended to double parentheses as in , , etc.); in the other, became and , eventually changing to M under the influence of the word (”thousand”).


Zero

In general, the number zero did not have its own Roman numeral, but a primitive form (nulla) was known by medieval computists (responsible for calculating the date of Easter). They included zero (via the Latin word meaning “none”) as one of nineteen epacts, or the age of the moon on March 22. The first three epacts were nullae, xi, and xxii (written in minuscule or lower case). The first known computist to use zero was Dionysius Exiguus in 525. Only one instance of a Roman numeral for zero is known. About 725, Bede or one of his colleagues used the letter N, the initial of nullae, in a table of epacts, all written in Roman numerals.

A notation for the value zero is quite distinct from the role of the digit zero in a positional notation system. The lack of a zero digit may have prevented Roman numerals from being developed into a positional notation, and led to their gradual replacement by Hindu-Arabic numerals in the early second millennium. On the other hand, it may have been the lack of positional notation that prevented the Romans from developing a zero.


Fractions

Even though the Romans used a decimal system for whole numbers, reflecting Latin, they used a duodecimal system for fractions, because the divisibility of twelve (12 = 3×4) makes it easier to handle the common fractions of 1/3 and 1/4 than in a system based on ten (10 = 2×5). On coins, many of which had values that were duodecimal fractions of the unit , they used a notational system similar to that of whole numbers, but based on twelfths and one halves rather than units and fives. A dot • indicated an (one twelfth, the source of the English words inch and ounce), and dots were added together up to five twelfths. Then one half (six twelfths) was notated using the letter S for (”half”). Dots were added to S for the fractions from seven to eleven twelfths, just as tallies were added to V for whole numbers from six to nine. Each of these fractions had its own name, which was also the name used for the corresponding coin:

Fraction Roman Numeral Name
1/12
2/12 = 1/6 ••
3/12 = 1/4 •••
4/12 = 1/3 ••••
5/12 •••••
6/12 = 1/2 S
7/12 S•
8/12 = 2/3 S••
9/12 = 3/4 S••• or
10/12 = 5/6 S•••• or
11/12 S•••••
12/12 = 1 I

The names mean “ounce”, “sixth”, “quarter”, “third”, “five-ounce” (quinquae unciae > quincunx), “half”, “seven-ounce” (septem unciae > septunx), “twice” (twice a third), “less a quarter” (de-quadrans > dodrans) or “ninth ounce” (nona uncia > nonuncium), “less a sixth” (de-sextans > dextans) or “ten ounces” (decem unciae > decunx), “less an ounce” (de-uncia > deunx), and “unit”. The arrangement of the dots was variable and not necessarily linear. Five dots arranged like :·: (as on dice faces ) are known as a quincunx from the name of the Roman fraction/coin. The Latin words sextans and quadrans are the source of the English words sextant and quadrant.

Other Roman fractions include:

  • 1/8 (from sesqui- + uncia, i.e. 1 uncias), represented by a sequence of the symbols for the semuncia and the uncia.
  • 1/24 (from semi- + uncia, i.e. of an uncia), represented by several variant glyphs deriving from the shape of Greek letter sigma , one variant resembling the pound sign without the horizontal line(s) and another resembling Cyrillic letter .
  • 1/36 (”two sextulas”) or , represented by a sequence of two reversed S.
  • 1/48 , represented by a reversed C.
  • 1/72 (1/6 of an uncia), represented by a reversed S.
  • 1/144 (”half a sextula”), represented by a reversed S crossed by a horizontal line.
  • 1/288 , represented by a symbol resembling Cyrillic letter .
  • 1/1728 , represented by a symbol resembling closing guillemets ».


IIII vs. IV

The notation of Roman numerals has varied through the centuries. Originally, it was common to use IIII to represent four, because IV represented the Roman god Jupiter, whose Latin name, IVPITER, begins with IV. The subtractive notation (which uses IV instead of IIII) has become universally used only in modern times. For example, Forme of Cury, a manuscript from 1390, uses IX for nine, but IIII for four. Another document in the same manuscript, from 1381, uses IV and IX. A third document in the same manuscript uses IIII, IV, and IX. Constructions such as IIIII for five, IIX for eight or VV for 10 have also been discovered. Subtractive notation arose from regular Latin usage: the number 18 was or “two from twenty”; the number 19 was or “one from twenty”. The use of subtractive notation increased the complexity of performing Roman arithmetic, without conveying the benefits of a full positional notation system.

Likewise, on some buildings it is possible to see MDCCCCX, for example, representing 1910 instead of MCMX – notably Admiralty Arch in London. The Leader Building in Cleveland, Ohio, at the corner of Superior Avenue and E.6th Street, is marked MDCCCCXII, representing 1912. Another notable example is on Harvard Medical School’s Gordon Hall, which reads MDCCCCIIII for 1904.

Another likely tale is that the low literacy rate made it difficult for some to do subtraction, where the IIII notation could simply be counted.


Calendars and clocks

Clock faces that are labeled using Roman numerals conventionally show IIII for four o’clock and IX for nine o’clock, using the subtractive principle in one case and not the other. There are many suggested explanations for this, several of which may be true:

  • The four-character form IIII creates a visual symmetry with the VIII on the other side, which IV would not.
  • With IIII, the number of symbols on the clock totals twenty I’s, four V’s, and four X’s, so clock makers need only a single mold with a V, five I’s, and an X in order to make the correct number of numerals for their clocks: VIIIIIX. This is cast four times for each clock and the twelve required numerals are separated:
    • V IIII IX
    • VI II IIX
    • VII III X
    • VIII I IX
The IIX and one of the IX’s are rotated 180° to form XI and XII. The alternative with IV uses seventeen I’s, five V’s, and four X’s, possibly requiring the clock maker to have several different molds.
  • IIII was the preferred way for the ancient Romans to write four, since they to a large extent avoided subtraction.
  • As noted above, it has been suggested that since IV is the first two letters of IVPITER (Jupiter), the main god of the Romans, it was not appropriate to use.
  • Only the I symbol would be seen in the first four hours of the clock, the V symbol would only appear in the next four hours, and the X symbol only in the last four hours. This would add to the clock’s radial symmetry.
  • IV is difficult to read upside down and on an angle, particularly at that location on the clock.
  • Louis XIV, king of France, preferred IIII over IV, ordered his clockmakers to produce clocks with IIII and not IV, and thus it has remained.W.I. Milham, Time & Timekeepers (New York: Macmillan, 1947) p. 196


Chemistry

As it relates to the nomenclature of inorganic compounds, only IV should be used. For example MnO2 should be named manganese (IV) oxide; manganese (IIII) oxide is unacceptable.


Modern usage

The Roman number system is generally regarded as obsolete in modern usage, but is still seen in certain institutions to this day.
Below are a few examples of its current use.

  • The year and/or credits given at the end of a television show or film.
  • Some faces of clocks and timepieces show hours in Roman numerals.
  • Names of monarchies are still displayed in Roman numerals, e.g. George VI.
  • Postmarks often display Roman numerals.
  • Books (particularly older ones) are dated in Roman numerals, and display preliminary pages in Roman numbers. Volume numbers on spines can also be in Roman numerals.

There are many other places as well.


XCIX vs. IC?

Rules regarding Roman numerals often state that a symbol representing 10x may not precede any symbol larger than 10x+1. For example, C cannot be preceded by I or V, only by X (or, of course, by a symbol representing a value equal to or larger than C). Thus, one should represent the number ninety-nine as XCIX, not as the “shortcut” IC. However, these rules are not universally followed.

This problem manifested in such questions as why 1990 was not written as MXM instead of the universal usage MCMXC, or why 1999 was not written simply IMM or MIM as opposed to the universal MCMXCIX.


Year in Roman numerals

In seventeenth century Europe, using Roman numerals for the year of publication for books was standard; there were many other places it was used as well. Publishers attempted to make the number easier to read by those more accustomed to Arabic positional numerals. On British title pages, there were often spaces between the groups of digits: M DCC LX I (relating to 1000 700 60 1 or 1761) is one example. This may have come from the French, who separated the groups of digits with periods, as: M.DCC.LXI. or M. DCC. LXI. Notice the period at the end of the sequence; many countries did this for Roman numerals in general, but not necessarily Britain. (Periods were also common on each side of numerals in running text, as in “commonet .iij. viros illos”.)

These practices faded from general use before the start of the twentieth century, though the cornerstones of major buildings still occasionally use them. Roman numerals are today still used on building faces for dates: 2007 can be represented as MMVII. They are also sometimes used in the credits of movies and television program