Help


[permalink] [id link]
+
Page "Formal methods" ¶ 27
from Wikipedia
Edit
Promote Demote Fragment Fix

Some Related Sentences

Some and modern
Some modern descendants of this culture often choose to use the term " Ancestral Pueblo " peoples.
Some modern historians theorize that Nero's decision to kill Agrippina was prompted by her plotting to set Gaius Rubellius Plautus ( Nero's maternal second cousin ) or Britannicus ( Claudius ' biological son ) on the throne.
Some wanted the modern liberal constitutional system, some wanted the continuance of the Ancien Régime, some wanted independence.
Some Protestant charismatic and British New Church Movement churches include " apostles " among the offices that should be evident into modern times in a true church, though they never trace an historical line of succession.
Some of these places are modern well-equipped hotels and spas ; the mineral waters of Afyon are renowned for their healing qualities.
Some sources include the requirement that the curve may not cross the line infinitely often, but this is unusual for modern authors.
Some dioceses around the Mediterranean Sea which were Christianised early are rather compact, whereas dioceses in areas of rapid modern growth in Christian commitment — as in some parts of Sub-Saharan Africa, South America and the Far East — are much larger and more populous.
Some modern scholars suggest the book of Esther to be a historical novella.
Some efforts have been partially effective in creating fear, due to the lack of visibility associated with modern biological weapon use by small organizations.
Some modern sources allude to a linguistic connection between the bunyip and Bunjil, " a mythic ' Great Man ' who made the mountains and rivers and man and all the animals.
Some modern editing systems can use OCR techniques to read BITC in situations where other forms of timecode are not available.
Some modern commentators have suggested this was a deliberate ploy to encourage a double envelopment of the Persian centre.
Some modern scholars use the belief of Jesus ' followers in the resurrection as a point of departure for establishing the continuity of the historical Jesus and the proclamation of the early church.
Some notable modern examples are Intel's SSE and the PowerPC-related AltiVec ( also known as VMX ).
Some modern proposals for new constellations were not successful ; an example is Quadrans, eponymous of the Quadrantid meteors, now divided between Boötes and Draco.
Some modern cooks apply advanced scientific techniques to food preparation.
Some of the more technical safety measures include that all new Croatian tunnels have modern safety equipment and there are several control centers, which monitor highway traffic.
Some of the new countries became British Dominions, the genesis of the modern Commonwealth of Nations.
" Some modern readers find this narrow definition disappointing, but his focus was on the conduct of military operations in war, not on the full range of the conduct of politics in war.
Some modern scholars claim the universality of the accusations in ancient texts lends credence to the crime.
Some writers, such as James-Charles Noonan, hold that, in the case of cardinals, the form used for signatures should be used also when referring to them, even in English ; and this is the usual but not the only way of referring to cardinals in Latin .< ref > An Internet search will uncover some hundreds of examples of " Cardinalis Ioannes < surname >", examples modern and centuries-old ( such as this from 1620 ), and the phrase " dominus cardinalis Petrus Caputius " is found in a document of 1250.
Some Western modern occultists equate the Chinese classical element of metal with air, others with wood due to the elemental association of wind and wood in the ba gua.
Some call the modern development of classical liberalism " neo-classical liberalism ", which argued for government to be as small as possible in order to allow the exercise of individual freedom, while some refer to all liberalism before the 20th century as classical liberalism.
Some modern historians think that Caligula suffered from hyperthyroidism.
Some of the most widely used types of modern cannon are howitzers, mortars, guns, and autocannon, although a few superguns — extremely large, custom-designed cannon — have also been constructed.

Some and model
Some opposition to the home rule movement started to be heard yesterday, with spokesmen for the town's insurgent Democratic leadership speaking out against the home rule charter in favor of the model municipal league charter.
( Some newer protocols, such as Kerberos and Active Directory use DNS SRV records to identify services by name, which is much closer to the AppleTalk model.
Some of the recommendations coming from the Acadia Advantage Renewal Report included developing a choice of model specifications and moving from Acadia-issued, student-leased notebook computers to a student-owned computer model.
Some early digital computers used an electrical model of the common decimal ( base ten ) numeral system to represent numbers internally.
Some critics of this approach feel that while these models approach biological reality as a representation of how the system works, they lack explanatory powers because complicated systems of connections with even simple rules are extremely complex and often less interpretable than the system they model.
Some phonologists model these as both being the underlying vowel, so that the English word bit would phonemically be, beet would be, and yield would be phonemically.
Some consider it an advantage of the Kimball method, that the data warehouse ends up being " segmented " into a number of logically self-contained ( up to and including The Bus ) and consistent data marts, rather than a big and often complex centralized model.
Some of these extensions to the relational model integrate concepts from technologies that pre-date the relational model.
Some environmentalists are also green anarchists, arguing that true environmental change cannot occur under the present economic model.
Some users believe that a compromise term encompassing both aspects is ideal, to promote both the user's freedom with the software and also to promote the perceived superiority of an open source development model.
Some of these items include providing creativity training, having leaders encourage and model innovation, allowing employees to question current procedures and rules, seeing that the implementation of innovations had real consequences, documenting innovations in a professional manner, allowing employees to have autonomy and freedom in their job roles, reducing the number of obstacles that may be in the way of innovation, and giving employees access to resources ( whether these are monetary, informational, or access to key people inside or outside of the organization ).
Some would restrict the term " markup language " to systems that directly support non-hierarchical structures ( see Hierarchical model ).
Some of Restchitzki's results on memory and problem solving have recently been simulated by Fernand Gobet with the CHREST computer model.
Some of the latest designs ( such as the German Puma ) are intended to allow a light, basic model vehicle which is air-transportable to be fitted in the field with additional protection, thereby ensuring both strategic flexibility and survivability.
Some of the better-known models are the dominant firm model, the Cournot-Nash model, the Bertrand model and the kinked demand model
Some approved of the existing church hierarchy with bishops, but others sought to reform the Episcopal churches on the Presbyterian model.
Some significant formulations have gone beyond this, proposing a universally-applicable cyclic model of history — notably in the writings of Giambattista Vico.
Some view this development as a rising new idea in the industry of reruns as an increasingly major revenue source in themselves instead of the standard business model as a draw for audiences for advertising.
Some believe that inner city residents of Hispanic communities are subjected to racial profiling because of theories such as the “ gang suppression model ”.
Some systems using these older architectures are still in use today in data centers with high data volume needs, or where existing systems are so complex and abstract it would be cost-prohibitive to migrate to systems employing the relational model ; also of note are newer object-oriented databases.

0.198 seconds.