scholarly journals Qualifications of Instruction Sequence Failures, Faults and Defects: Dormant, Effective, Detected, Temporary, and Permanent

2021 ◽  
Vol 31 (1) ◽  
pp. 1-50
Author(s):  
Jan Bergstra ◽  
Keyword(s):  
Theoretical Model ◽  
Theoretical Investigation ◽  
The Other ◽  
Fixed Length ◽  
Additional Qualification ◽  
Instruction Sequences ◽  
Definition Of ◽  
Instruction Sequence

Starting out from the survey of instruction sequence faults from [6] program faults are classified according to the conventional criteria of being dormant, effective, detected, temporary, and permanent. Being retrospectively approved is introduced as an additional qualification. For this theoretical investigation the context is simplified by contemplating instruction sequences as a theoretical model for programs, and by assuming that instruction sequences are supposed to compute total transformations on finite bit sequences of a fixed length only. The main conclusion which can be drawn from this work concerns the notion of dormancy. First of all it is noticed that the unconventional notion of a dormant failure is both plausible and amenable to a straightforward and convincing definition. The conventional notion of a dormant fault, however, is much harder to grasp and the definition of a dormant fault which is provided in the paper may be disputed. The notion of a dormant fault seems to admit no convincing intuition. All faults are defects but not the other way around. The idea of a fault exclusively depends on an instruction sequence and a specification of which it is considered to be a candidate implementation. In the presence of a design, however, in addition to faults, the notion of a deviation from design (DFD) defect arises, which constitutes a class of defects many of which are not faults. For DFD defects the notion of dormancy admits a straightforward and convincing definition.

Immunoferritin localization of intracellular antigens in positively stained frozen sections

1978 ◽  
Vol 36 (2) ◽  
pp. 168-169
Author(s):  
K. T. Tokuyasu
Keyword(s):  
Surface Tension ◽  
Water Surface ◽  
Thin Layers ◽  
The Other ◽  
Positive Staining ◽  
Frozen Sections ◽  
The Past ◽  
Ultrathin Frozen Sections ◽  
Definition Of

During the past investigations of immunoferritin localization of intracellular antigens in ultrathin frozen sections, we found that the degree of negative staining required to delineate u1trastructural details was often too dense for the recognition of ferritin particles. The quality of positive staining of ultrathin frozen sections, on the other hand, has generally been far inferior to that attainable in conventional plastic embedded sections, particularly in the definition of membranes. As we discussed before, a main cause of this difficulty seemed to be the vulnerability of frozen sections to the damaging effects of air-water surface tension at the time of drying of the sections.Indeed, we found that the quality of positive staining is greatly improved when positively stained frozen sections are protected against the effects of surface tension by embedding them in thin layers of mechanically stable materials at the time of drying (unpublished).

Eurasian "Theory of Economy Management" as an Organic Part of the Russian Economic School

2003 ◽  
pp. 95-110
Author(s):  
M. Voeykov
Keyword(s):  
Economic Development ◽  
Theoretical Model ◽  
Initial Step ◽  
State Regulation ◽  
Soviet Economy ◽  
The Other ◽  
Large Share ◽  
Organic Part ◽  
Two Sides ◽  
Enterprise Activity

The original version of "the theory of economy management", developed in the 1920s by Russian economists-emigrants who called themselves "Eurasians" (N. Trubetskoy, P. Savitskiy, etc.) is analyzed in the article. They considered this theory to be the basis of the original Russia's way of economic development. The Eurasian theory of economy management focuses on two sides of enterprise activity: managerial as well as social and moral. The Eurasians accepted the Soviet economy with the large share of state regulation as the initial step of development. On the other hand they paid much attention to the private sector activity. Eurasians developed a theoretical model of the mixed economy which can be attributed as the Russian economic school.

scholarly journals Language Family Engineering with Product Lines of Multi-level Models

2021 ◽  
Author(s):  
Juan de Lara ◽  
Esther Guerra
Keyword(s):  
Software Engineering ◽  
Arbitrary Number ◽  
Formal Theory ◽  
The Other ◽  
Language Family ◽  
Top Down ◽  
Product Lines ◽  
Modelling Languages ◽  
Multi Level ◽  
Definition Of

AbstractModelling is an essential activity in software engineering. It typically involves two meta-levels: one includes meta-models that describe modelling languages, and the other contains models built by instantiating those meta-models. Multi-level modelling generalizes this approach by allowing models to span an arbitrary number of meta-levels. A scenario that profits from multi-level modelling is the definition of language families that can be specialized (e.g., for different domains) by successive refinements at subsequent meta-levels, hence promoting language reuse. This enables an open set of variability options given by all possible specializations of the language family. However, multi-level modelling lacks the ability to express closed variability regarding the availability of language primitives or the possibility to opt between alternative primitive realizations. This limits the reuse opportunities of a language family. To improve this situation, we propose a novel combination of product lines with multi-level modelling to cover both open and closed variability. Our proposal is backed by a formal theory that guarantees correctness, enables top-down and bottom-up language variability design, and is implemented atop the MetaDepth multi-level modelling tool.

Identity, Community and Belonging in gcc States

2018 ◽  
Vol 6 (4) ◽  
pp. 401-428
Author(s):  
Miriam R. Lowi
Keyword(s):  
Religious Affiliation ◽  
Protective Role ◽  
The Other ◽  
National Project ◽  
Scholarly Literature ◽  
National Community ◽  
The Difference ◽  
Definition Of

Studies of identity and belonging in Gulf monarchies tend to privilege tribal or religious affiliation, if not the protective role of the ruler as paterfamilias. I focus instead on the ubiquitous foreigner and explore ways in which s/he contributes to the definition of national community in contemporary gcc states. Building upon and moving beyond the scholarly literature on imported labor in the Gulf, I suggest that the different ‘categories’ of foreigners impact identity and the consolidation of a community of privilege, in keeping with the national project of ruling families. Furthermore, I argue that the ‘European,’ the non-gcc Arab, and the predominantly Asian (and increasingly African) laborer play similar, but also distinct roles in the delineation of national community: while they are differentially incorporated in ways that protect the ‘nation’ and appease the citizen-subject, varying degrees of marginality reflect Gulf society’s perceptions or aspirations of the difference between itself and ‘the other(s).’

scholarly journals Note on osmotic pressure

1914 ◽  
Vol 90 (615) ◽  
pp. 41-45
Keyword(s):  
Osmotic Pressure ◽  
Vapour Pressure ◽  
Numerical Data ◽  
The Other ◽  
Present Moment ◽  
Capillary Surface ◽  
Pure Solvent ◽  
Definition Of ◽  
Complete Account ◽  
Strict Definition

The vapour pressure theory regards osmotic pressure as the pressure required to produce equilibrium between the pure solvent and the solution. Pressure applied to a solution increases its internal vapour pressure. If the compressed solution be on one aide of a semi-permeable partition and the pure solvent on the other, there is osmotic equilibrium when the com-pression of the solution brings its vapour pressure to equality with that of the solvent. So long ago as 1894 Ramsay* found that with a partition of palladium, permeable to hydrogen but not to nitrogen, the hydrogen pressures on each side tended to equality, notwithstanding the presence of nitrogen under pressure on one side, which it might have been supposed would have resisted tin- transpiration of the hydrogen. The bearing of this experiment on the problem of osmotic pressure was recognised by van’t Hoff, who observes that "it is very instructive as regards the means by which osmotic pressure is produced." But it was not till 1908 that the vapour pressure theory of osmotic pressure was developed on a finu foundation by Calendar. He demonstrated, by the method of the "vapour sieve" piston, the proposition that “any two solutions in equilibrium through any kind of membrane or capillary surface must have the same vapour pressures in respect of each of their constituents which is capable of diffusing through their surface of separation"—a generalisation of great importance for the theory of solutions. Findlay, in his admirable monograph, gives a very complete account of the contending theories of osmotic pressure, a review of which leaves no doubt that at the present moment the vapour pressure theory stands without a serious rival Some confusion of ideas still arises from the want of adherence to a strict definition of osmotic pressure to which numerical data from experimental measurements should he reduced. Tire following definitions appear to be tire outcome of tire vapour pressure theory :— Definition I.—The vapour pressure of a solution is the pressure of the vapour with which it is in equilibrium when under pressure of its own vapour only.

Two Commentaries on Euclid's Definition of Proportional Magnitudes

1994 ◽  
Vol 4 (1) ◽  
pp. 181-198 ◽  
Author(s):  
Bijan Vahabzadeh
Keyword(s):  
18Th Century ◽  
The Other ◽  
Identical Manner ◽  
Definition Of

Euclid's definition of proportional magnitudes in the Fifth Book of the Elements gave rise to many commentaries. We examine closely two of these commentaries, one by al-Jayyānī (11th century) and the other by Saunderson (18th century). Both al-Jayyānī and Saunderson attempted to defend Euclid's definition by making explicit what Euclid had only implied. We show that the two authors explain Euclid's position in a virtually identical manner.

Correction to a definition of negation

1984 ◽  
Vol 49 (1) ◽  
pp. 47-50 ◽  
Author(s):  
Frederic B. Fitch
Keyword(s):  
Fixed Point ◽  
Personal Communication ◽  
The Other ◽  
Transfinite Induction ◽  
Original Form ◽  
Basic Logic ◽  
Double Negation ◽  
Original Letter ◽  
The Law ◽  
Definition Of

In [3] a definition of negation was presented for the system K′ of extended basic logic [1], but it has since been shown by Peter Päppinghaus (personal communication) that this definition fails to give rise to the law of double negation as I claimed it did. The purpose of this note is to revise this defective definition in such a way that it clearly does give rise to the law of double negation, as well as to the other negation rules of K′.Although Päppinghaus's original letter to me was dated September 19, 1972, the matter has remained unresolved all this time. Only recently have I seen that there is a simple way to correct the definition. I am of course very grateful to Päppinghaus for pointing out my error in claiming to be able to derive the rule of double negation from the original form of the definition.The corrected definition will, as before, use fixed-point operators to give the effect of the required kind of transfinite induction, but this time a double transfinite induction will be used, somewhat like the double transfinite induction used in [5] to define simultaneously the theorems and antitheorems of system CΓ.

Jainism in Danger? Temple entry and the rhetoric of religion and reform in post-colonial India

2020 ◽  
pp. 1-37
Author(s):  
MANISHA SETHI
Keyword(s):  
Twentieth Century ◽  
The State ◽  
The Other ◽  
Post Colonial ◽  
Colonial India ◽  
The Public ◽  
Public Debates ◽  
Definition Of ◽  
Open The Doors ◽  
The Relationship

Abstract A bitter debate broke out in the Digambar Jain community in the middle of the twentieth century following the passage of the Bombay Harijan Temple Entry Act in 1947, which continued until well after the promulgation of the Untouchability (Offences) Act 1955. These laws included Jains in the definition of ‘Hindu’, and thus threw open the doors of Jain temples to formerly Untouchable castes. In the eyes of its Jain opponents, this was a frontal and terrible assault on the integrity and sanctity of the Jain dharma. Those who called themselves reformists, on the other hand, insisted on the closeness between Jainism and Hinduism. Temple entry laws and the public debates over caste became occasions for the Jains not only to examine their distance—or closeness—to Hinduism, but also the relationship between their community and the state, which came to be imagined as predominantly Hindu. This article, by focusing on the Jains and this forgotten episode, hopes to illuminate the civilizational categories underlying state practices and the fraught relationship between nationalism and minorities.

Gli standard privati di sicurezza alimentare: un modello di teoria dei contratti per l'analisi degli aspetti organizzativi e promozionali

2012 ◽  
pp. 85-105
Author(s):  
Antonella Di Fonzo ◽  
Maria Angela Perito ◽  
Carlo Russo
Keyword(s):  
Theoretical Model ◽  
Food Safety ◽  
Product Differentiation ◽  
Diversification Strategy ◽  
Private Standards ◽  
Food Distributors ◽  
Definition Of ◽  
Large Distribution ◽  
Current Behavior

In recent years, large food distributors poured considerable effort in the definition of private standards of food safety for their products. Despite these efforts, medium and large retailers have yet to begin advertising to their consumers the adoption of such standards and, in doing so, do not actively pursue a diversification strategy for their products. This behavior seems paradoxical as large retailers would benefit from product differentiation. This article focuses on the role of standards in the coordination of the supply channels and proposes a theoretical model that gives an economic motivation to the current behavior of large retailers. The first objective of this study is to demonstrate how the adoption of standards is a rational choice for large retailers, even in the case in which consumers are not willing to pay for food safety. The reason is that standards can also be used to solve information asymmetry problems and organize the supply chain. Secondly, the theoretical model of contracts suggests that, investments related to the promotion of standards to the consumers, might, under certain conditions, undermine the profits of the large distribution.

Sign in / Sign up

Export Citation Format

Share Document