Help


[permalink] [id link]
+
Page "Abstract state machines" ¶ 11
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

2000 and Gurevich
Authors who assert this thesis include Minsky ( 1967 ), Savage ( 1987 ) and Gurevich ( 2000 ):
Vremya Novostei was founded in 2000 by former Vremya MN newspaper journalists led by editor-in-chief Vladimir Gurevich retiring in consequence of the non-payment of wages.
* Y. Gurevich, Sequential Abstract State Machines capture Sequential Algorithms, ACM Transactions on Computational Logic 1 ( 1 ) ( July 2000 ), 77-111.

2000 and notion
1996 ), says " But to the Bible man is not a soul in a body but a body / soul unity ", the Encyclopedia of Judaism ’ ( 2000 ), says " Scripture does not present even a rudimentarily developed theology of the soul ", the New Dictionary of Theology ’ ( 2000 ), and " The notion of the soul as an independent force that animates human life but that can exist apart from the human body — either prior to conception and birth or subsequent to life and death — is the product only of later Judaism ", Eerdmans Dictionary of the Bible ( 2000 ), says " Far from referring simply to one aspect of a person, “ soul ” refers to the whole person ", the International Standard Bible Encyclopedia says " Possibly Jn.
This way of thinking finds its parallels in the 1990s in Martha Nussbaum's definition of human development as the increase in human capabilities for action ( see Martha C. Nussbaum, Women and Human Development, Cambridge University Press, 2000 ) and Amartya Sen's notion of development as freedom ( see Amartya Sen, Development as Freedom, Oxford University Press, 1999 ).
Topics addressed include the Business Plot, where in 1933, General Smedley Butler exposed an alleged corporate plot against then U. S. President Franklin Roosevelt ; the tragedy of the commons ; Dwight D. Eisenhower's warning people to beware of the rising military-industrial complex ; economic externalities ; suppression of an investigative news story about Bovine Growth Hormone on a Fox News Channel affiliate television station ; the invention of the soft drink Fanta by the Coca-Cola Company due to the trade embargo on Nazi Germany ; the alleged role of IBM in the Nazi holocaust ( see IBM and the Holocaust ); the Cochabamba protests of 2000 brought on by the privatization of Bolivia's municipal water supply by the Bechtel Corporation ; and in general themes of corporate social responsibility, the notion of limited liability, the corporation as a psychopath, and the corporation as a person.
In 2000 he published How to Become a Hindu, showing the way for seekers to formally enter the faith, confuting the notion that " You must be born a Hindu to be a Hindu.
The notion of social structure was extensively developed in the 20th century, with key contributions from structuralist perspectives drawing on the theories of Claude Lévi-Strauss, Feminist or Marxist perspectives, from functionalist perspectives such as those developed by Talcott Parsons and his followers, or from a variety of analytic perspectives ( see Blau 1975, Lopez and Scott 2000 ).
* Stevens, David E. " Daniel 10 and the notion of territorial spirits " Bibliotheca Sacra, 157 ( 2000 ) p 410-431.
In a January 2000 Foreign Affairs essay entitled " Campaign 2000: A Republican Foreign Policy ," he was one of the first of those now associated with Bush's foreign policy to invoke the notion of " evil ," writing: " here is still evil in the world — people who hate America and the ideas for which it stands.
In October 2000, a tentative fall 2001 opening was announced, along with the rather surprising declaration that Steinman himself would serve as the show's director, a somewhat off-putting notion due to the fact that Steinman had never directed any shows, much less one of this size and scale, in his career.
During the dot-com period in 2000, dozens of companies had the notion that Wi-Fi could become the payphone for broadband.
The notion of pre-qualifying was also eliminated in 2000, when all competitors invited to the test would be allowed into the race.
The 2000 review Armageddon at the Millennial Dawn from The Journal of Religion and Film finds that " While end of the world threats perhaps are not avoidable, the cinematic formulation of millennial doom promotes the notion that the end can be averted through employing human ingenuity, scientific advance, and heroism.
*" Home truths: The notion that the west is threatened with mass invasions of immigrants is a myth ," ( Refugees in Britain: special report ), The Guardian ( Saturday April 15, 2000 ).
Ganilau said that the notion that politically motivated crimes could be justified was " insulting to the intelligence of ordinary people ," and that it represented a naive and uncaring attitude toward the hurt suffered by many during the 2000 coup.
National Alliance Party founder and former Great Council of Chiefs Chairman Ratu Epeli Ganilau said that the notion that politically motivated crimes could be justified was " insulting to the intelligence of ordinary people ," and that it represented a naive and uncaring attitude toward the hurt suffered by many during the 2000 coup.

2000 and sequential
Until 2000, the state of Georgia used the sequential interchange numbering system on all of its Interstate Highways.
* This England: The Histories, a season of all Shakespeare's sequential history plays ( 2000 )
Forty-two of the tunnels included a total of of mined sections, all of which were bored with the sequential excavation and support construction method, with excavated tunnel faces of, between November 2000 and July 2003.
Until 2000, the state of Georgia used the sequential interchange numbering system on all of its Interstate highways.
* 2000 Novofem, a low-dose sequential combined oral HRT, is marketed in Germany.
The power supplied by the R8, officially listed at about in 2000, 2001 and 2002, in 2003 and 2004 and in 2005, is sent to the rear wheels via a Ricardo five-speed sequential transmission with an electro – pneumatic gear change.
Each issue of Artbabe contained one or more complete stories ; Abel did not begin any longer sequential work until La Perdida in 2000.

2000 and algorithms
When they are both large, for instance more than 2000 bits long, randomly chosen, and about the same size ( but not too close, e. g. to avoid efficient factorization by Fermat's factorization method ), even the fastest prime factorization algorithms on the fastest computers can take enough time to make the search impractical ; that is, as the number of digits of the primes being factored increases, the number of operations required to perform the factorization on any computer increases drastically.
Also, some approximation algorithms have impractical running times even though they are polynomial time, for example O ( n < sup > 2000 </ sup >).
The first evidence of a convergence ant colony algorithm was made in 2000, the graph-based ant system algorithm, and then algorithms for ACS and MMAS.
* 2000, special issue of the Future Generation Computer Systems journal on ant algorithms
In 2000, she co-founded Clairvoyante, Inc. to commercialize these layouts and subpixel rendering algorithms.
It took them eight years ( 1993 – 2000 ) to conduct research, develop algorithms, test solutions on experimental specimens, and launch serial production.
Initially developed by IUPAC and NIST during 2000 – 2005, the format and algorithms are non-proprietary and the software is freely available under the open source LGPL license.
The Continuum Fingerboard was initially developed over the period of 1990 to 2000 at the CERL Sound Group at the University of Illinois to control sound-producing algorithms on the Platypus audio signal processor and the Kyma / Capybara workstation.

2000 and proved
Measurements of the effects of the cosmic microwave background radiation in the dynamics of distant astrophysical systems in 2000 proved the Copernican principle on a cosmological scale.
Here a political agreement proved impossible until the Nice summit in December 2000.
Scott's film Gladiator ( 2000 ) proved to be one of his biggest commercial successes to date.
It was the Hatfield crash on 17 October 2000 that proved to be the defining moment in Railtrack's collapse.
Per capita GDP growth has proved mediocre, though improving, growing by 1. 6 % a year from 1994 to 2009, and by 2. 2 % over the 2000 – 09 decade.
However, the complexity and difficulty of finding agreement on these issues proved insurmountable, and instead the parties adopted a 2-year " Plan of Action " to advance efforts and to devise mechanisms for implementing the Kyoto Protocol, to be completed by 2000.
Battle Cry ( 2000 ) and Memoir ' 44 ( 2004 ) proved that light wargames can still be commercially successful, as long as the rules are clear and accessible, and the components are high in quality.
The 1999 – 2000 season proved to be a frustrating one for both Arsenal and Bergkamp.
But this proved unsustainable and it collapsed to a cumulative 10 % growth in the turbulent Eighties ( 1980 – 1990: USD 1, 369 – 1, 507 ), rising again to almost 50 % cumulative growth in the Nineties ( 1990 – 2000: USD 1, 507 – 2, 245 ), signifying the impact of successful diversification.
Until its use was formally discontinued in 2000, it was the sole pseudonym used by members of the Directors Guild of America ( DGA ) when a director, dissatisfied with the final product, proved to the satisfaction of a guild panel that he or she had not been able to exercise creative control over a film.
Gerry Francis returned in 1998, however the 2000 – 2001 season proved to be a disaster, and Francis resigned in early 2001.
The novel proved difficult to complete ; in Kono Mystery ga Sugoi 2004, Otsuichi claimed to have written over 2000 pages, but thrown them all out.
The 2000 – 01 season proved to be the first season in club history that the team would score a record above the. 500 mark with a final tally of 33-22-13 for a 3rd place finish in the Midwest Division and 5th in the Western Conference.
The second single, " Everything You Want ", proved a breakout as the single skyrocketed to the top of the charts and became the 34th most played song on the radio in 2000.
It initially proved popular with buyers but sales fell towards the end of the decade and the end of production was finally announced in May 2000, with its successor — the Rio — not going on sale for another year.
Gatti's first fight of 2000 proved to be controversial.
The album proved commercially unsuccessful although the album's single " Can't Change Me " was nominated for Best Male Rock Vocal Performance at the 2000 Grammy Awards.
Analytic solutions for this mechanism ( also similar to the solution of Price ) were presented in 2000 by Dorogovtsev, Mendes and Samukhin and independently by Krapivsky, Redner, and Leyvraz, and later rigorously proved by mathematician Béla Bollobás.
Ground baiting in 2000 followed by an aerial baiting program in 2002 proved efficient in reducing ant population.
He started out as being a domestique for Marco Pantani but proved in 2000 that he deserved much more.
“ Once the professed interrelationship between the first-person narrator, the death-camp story he narrates, and historical reality are proved palpably false, what was a masterpiece becomes kitsch ” ( Maechler, 2000, p. 281 ).
Bourque proved a solid force for Boston for twenty-one seasons ( 1979 – 2000 ), famous for combining offensive prowess at a level that few defensemen in league history had ever achieved — he was a perennial shot accuracy champion at All-Star Games — and near-unparalleled defensive excellence.
The series proved moderately successful, and under the more memorable title, Cadillacs and Dinosaurs, the series spawned a cartoon series premiered on CBS, an arcade game from Capcom, a home video game from Rocket Science Games, action figures, trading cards, candy bars, and a Twilight 2000 system role-playing game.
A similar study, also conducted in 2000 by many of the same researchers, found that experienced Blue's Clues viewers interacted more with other educational programs than did inexperienced viewers, which proved that watching Blue's Clues changed the way children watch television.
Bill Williams took over as manager in 1997 and proved to be Dover's most successful Conference manager, leading the club to the FA Trophy semi-finals in the 1997 – 98 season and a best ever league finish of sixth place in the 1999 – 2000 season.

1.057 seconds.