Afonso IV granted public funding to raise a proper commercial fleet and ordered the first maritime explorations.

The first major application was the relative version of Serre's theorem showing that the cohomology of a coherent sheaf on a complete variety is finite dimensional ; Grothendieck's theorem shows that the higher direct images of coherent sheaves under a proper map are coherent ; this reduces to Serre's theorem over a one-point space.

The first version of Applesoft was released in 1977 only on cassette tape and lacked proper support for high-resolution graphics.

For a first order predicate calculus, with no (" proper ") axioms, Gödel's completeness theorem states that the theorems ( provable statements ) are exactly the logically valid well-formed formulas, so identifying valid formulas is recursively enumerable: given unbounded resources, any valid formula can eventually be proven.

Phillip assigned a convict, James Ruse, land at Rose Hill ( now Parramatta ) to establish proper farming, and when Ruse succeeded he received the first land grant in the colony.

Arcturus is notable for its high proper motion, larger than any first magnitude star in the stellar neighborhood other than α Centauri.

Anthony is notable for being one of the first ascetics to attempt living in the desert proper, completely cut off from civilization.

The first scribe's revisions can be broken down into three categories " the removal of dittographic material ; the restoration of material that was inadvertently omitted or was about to be omitted ; and the conversion of legitimate, but contextually incorrect words to the contextually proper words.

When writing the scientific name of an organism, it is proper to capitalize the first letter in the genus and put all of the specific epithet in lowercase.

* Bakheng Style ( 889-923 ): Bakheng was the first temple mountain constructed in the area of Angkor proper north of Siem Reap.

in early human societies led to the first money proper in early civilizations.

The first stage, termed the " Cthulhu Mythos proper " by Price, was formulated during Lovecraft's lifetime and was subject to his guidance.

There was no GP at Zandvoort in 1954 ( a sportscar-event replaced it ), but 1955 saw the first proper Formula One race counting for the World Championship.

In proper history, most historians call Chandragupta Maurya the first samrāṭ ( emperor ) of the Indian subcontinent, because of the huge empire he ruled.

As with all units whose names are derived from the proper name of a person, the first letter of its symbol is uppercase (" G "), but when the unit is spelled out, it should always be written in lowercase (" gauss "), unless it begins a sentence.

The first of three programs written for the machine found the highest proper divisor of 2 < sup > 18 </ sup > ( 262, 144 ), a calculation that was known would take a long time to run — and so prove the computer's reliability — by testing every integer from 2 < sup > 18 </ sup > − 1 downwards, as division was implemented by repeated subtraction of the divisor.

The first legal codex proper, Halakhot Pesukot (" Decided Laws "), by Yehudai Gaon ( c. 760 ), rearranges the Talmud passages in a structure manageable to the layman.

Similarly, in regard to passages from the Enneads, " The only space or place of the world is the soul " and " Time must not be assumed to exist outside the soul ", Ludwig Noiré wrote: " For the first time in Western philosophy we find idealism proper in Plotinus, However, Plotinus does not address whether we know external objects, unlike Schopenhauer and other modern philosophers.

It is also cited in the sources as the first ever vertical kebab, making it also the first ever proper döner kebab.

If the spacecraft started to reenter nose first ( another stable reentry attitude for the spacecraft ), airflow over the spoiler would flip the spacecraft around to the proper, heatshield-first reentry attitude, a technique called shuttlecocking.

His first clarification on the matter is that of a postulate, in which he states " ANY required change may be effected by the application of the proper kind and degree of Force in the proper manner, through the proper medium to the proper object.

The group, upon the issuance of its first press release on December 21, 1957, designated itself a `` Committee of Investigation ''.

Our last joint venture, Sainted Lady, a deeply religious film based on the life of Mother Cabrini, and timed so that its release date would coincide with the beatification of America's first saint in November, 1938, was a fiasco from start to finish.

* 1944 – The United States Forest Service and the Wartime Advertising Council release posters featuring Smokey Bear for the first time.

Tales of Mystery and Imagination was first remixed in 1987 for release on CD, and included narration by Orson Welles which had been recorded in 1975, but arrived too late to be included on the original album.

According to the original press release from Colangelo's group ( which remained posted on the team website during the first few seasons ) the chosen team colors were Arizona turquoise, copper, black and purple.

In such situations, the kidneys release renin, which acts as an enzyme and cuts off all but the first 10 amino acid residues of angiotensinogen ( a protein made in the liver, and which circulates in the blood ).

As with the actual console units, the game cartridges themselves evolved over the first year of the console's release.

Turbo C was released on May 18, 1987 and an estimated 100, 000 copies were shipped in the first month of its release.

Write About Love entered the UK albums chart in its first week of release, peaking at No. 8 as of 19 October 2010.

His first releases under his own name, " Booster Blues " and " Dry Southern Blues ," were hits ; this led to the release of the other two songs from that session, " Got the Blues " and " Long Lonesome Blues ," which became a runaway success, with sales in six figures.

In 1975 until when he continued to release singles, he released his first non-compilation LP 2023, a concept album that includes many instrumental songs.

Upon release, embryonic development begins ; absent sperm, growth stops after the first few cell divisions.

Following its September 1921 release, Chaplin chose to return to England for the first time in almost a decade.

The Big Lebowski ( 1998 ) was a flop on its initial release, yet became a cult classic and has been called " the first cult film of the Internet era.

Although Blade Runner was largely unsuccessful in its first theatrical release, it found a viewership in the home video market and became a cult film.

For those grounded in the RPG tradition, the very first release of Call of Cthulhu created a brand new framework for table-top gaming.

The first release occurred in 1937 using toads imported from Hawaii, with a second release the same year using specimens from the Australian mainland.

In February 1997, with the legal right to the Coldcut name back, they released a double pack single " Atomic Moog 2000 " / " Boot the System ", the first Coldcut release on Ninja Tune.

To release electrons into the tube, they first must be detached from the atoms of the cathode.

The update is in final review, and is scheduled for release during the first quarter of 2009.

The film was James Stewart's first western ( he would not return to the genre until 1950, with Broken Arrow and Winchester 73 ), and was also notable for a ferocious cat-fight between Marlene Dietrich and Una Merkel, which apparently caused a mild censorship problem at the time of release.

" Pull My Strings " was never recorded for a studio release, though the performance at the Bay Area Music Awards, which was the first and only time the song was ever performed, was released on the band's compilation album Give Me Convenience or Give Me Death.

He was probably the first president to release information about his health and medical records while in office, On September 24, 1955, while vacationing in Colorado, he had a serious heart attack that required six weeks ' hospitalization, during which time Nixon, Dulles and Sherman Adams assumed administrative duties and provided communication with the President.

The first release of archival material since Decade and Lucky Thirteen would appear in 2006, Live at the Fillmore East, a recording from a 1970 concert featuring Crazy Horse with Danny Whitten.