* RAISE, Rigorous Approach to Industrial Software Engineering, was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner.

RAISE ( Rigorous Approach to Industrial Software Engineering ) was developed as part of the European ESPRIT II LaCoS project in the 1990s, led by Dines Bjørner.

By monitoring, we mean some system of control over the types of information sent from the various centers.

A point like p gets information directly from n, but all information beyond n is indirectly relayed through n.

It differed from what an undergraduate receives today from any American college or university mainly in the certainty of what he was forced to learn compared with the loose and widely scattered information obtained today by most of our undergraduates.

Rector had no doubt that Hino would come back from the village bursting with information, ready to impart it with his customary gusto, liberally embellished with his active imagnation.

For the oyabun to make such a trip was either a sign of great weakness or an indication of equally great confidence, and from all the available information it was probably the latter.

All research within the United States contracted for, sponsored, cosponsored, or authorized under authority of this Act, shall be provided for in such manner that all information, uses, products, processes, patents, and other developments resulting from such research developed by Government expenditure will ( with such exceptions and limitations, if any, as the Secretary may find to be necessary in the interest of national defense ) be available to the general public.

The Secretary of the Interior or any duly authorized representative shall be entitled to admission to, and to require reports from the operator of, any metal or nonmetallic mine which is in a State ( excluding any coal or lignite mine ), the products of which regularly enter commerce or the operations of which substantially affect commerce, for the purpose of gathering data and information necessary for the study authorized in the first section of this Act.

Your local civil defense will gather its own information and will receive broad information from State and Federal sources.

The concept of the strain energy as a Gibbs function difference Af and exerting a force normal to the shearing face is compatible with the information obtained from optical birefringence studies of fluids undergoing shear.

We are reporting these investigations here briefly because of their relevancy to problems of the study of apparently simple exchange reactions of chlorine and because the results furnish some information on the activation energy for abstraction of chlorine atoms from carbon tetrachloride.

Some 80 reaction tubes from 13 manifold fillings were illuminated in the temperature range from 40 to 85-degrees in a further endeavor to determine the cause of the irreproducibility and to obtain information on the activation energy and the effect of light intensity.

Direct information has been obtained from rockets and satellites equipped with impact sensors.

Being a strictly physiological procedure, one may expect from such a study additional information on the nature of the emotional process itself.

Furthermore, it may be possible to estimate the error due to bias in method ( as distinguished from sampling error ) in each of these sources, on such subjects as fertility, mortality, and migration during a given interval by using information from two largely independent sources in conjunction.

The rating scale of compulsivity was constructed by first perusing the interview records, categorizing all evidence related to compulsivity, then arranging a distribution of such information apart from the case records.

This approach requires that: ( 1 ) each text word be separated into smaller elements to establish a correspondence between the occurrence and dictionary entries, and ( 2 ) the information retrieved from several entries in the dictionary be synthesized into a description of the particular word.

Finally, information is retrieved from the dictionary as required by stages of the translation process -- the grammatical description for sentence-structure determination, equivalent-choice information for semantic analysis, and target-language equivalents for output construction.

If Af leads to an address Af that is equal to the address computed from Af, even though Af does not match Af, the chain of information cells is extended from Af by storing the address of the next available cell in the Y-region, Af, in Af.

* Peter Dines CBE, Chief Executive from 1988 – 93 of Schools Councils UK

Speakers have included leading computer scientists, mainly from the UK but some from abroad, including Samson Abramsky, Jean-Raymond Abrial ( France / Switzerland ), Dines Bjørner ( Denmark ), Robin Bloomfield, Richard Bornat, Egon Börger ( Italy ), Jan Broenink ( The Netherlands ), Michael Butler, Muffy Caulder, Mike Gordon, Anthony Hall, Mark Harman, Martin Henson, Jane Hillston, Mike Hinchey, Mike Holcombe, Michael Jackson, Cliff Jones, Marta Kwiatkowska, Tom Maibaum, Ursula Martin, Peter Mosses, Ben Moszkowski, Peter O ' Hearn, Steve Reeves ( New Zealand ), John Reynolds ( USA ), Peter Ryan, Steve Schneider, John Tucker, Phil Wadler, among others.

* Dines Bjørner

# REDIRECT Dines Bjørner

# REDIRECT Dines Bjørner

It was founded in 2003 through the initial efforts of Dines Bjørner and is currently chaired by Volkmar Lotz.