Filters








131,952 Hits in 3.2 sec

Principal Types for Nominal Theories [chapter]

Elliot Fairweather, Maribel Fernández, Murdoch J. Gabbay
2011 Lecture Notes in Computer Science  
We define rank 1 polymorphic types for nominal rewrite rules and equations.  ...  Our system has principal types, and we give rule and axiom formats to guarantee preservation of types under both rewriting and equality reasoning.  ...  -Nominal terms can be given Hindley-Milner style types [9] . Given a type environment, principal types for nominal terms can be automatically deduced.  ... 
doi:10.1007/978-3-642-22953-4_14 fatcat:cn2nju2fcbgehjrajc355xatmm

An Interpretation of Proper Name References Based on "Principality of Existence" Theory

Siavash Asadi
2017 International Journal of Islamic Thought  
This paper intends to represent a new interpretation of the reference of proper names based on the theory of Principality of Existence developed by Mulla Sadra.  ...  The latter is an abstract concept of being while nominal existence is the principal reality or the fact of things that has a real and a mental appearance.  ...  Therefore, nominal existence is subordinated by its appearance and it is the reality principal of things; this is what we call "principality of existence" theory.  ... 
doi:10.24035/ijit.11.2017.005 fatcat:gefq37min5gxzhaeyjiumavyde

Page 513 of Mechanical Engineering Vol. 47, Issue 6 [page]

1925 Mechanical Engineering  
It is only for this second type of fracture that a satisfactory strength theory exists which is in good agreement with known experiments.  ...  It must be noted in the first place that a single theory does not exist which can be considered as satisfactory for all cases and which can be applied for any kind of material and for any type of fracture  ... 

Plastic Biaxial Stress-Strain Relations for Alcoa 24S-T Subjected to Variable-Stress Ratios

Joseph Marin, B. J. Kotalik
1950 Journal of applied mechanics  
The purpose of conducting the variable-stress-ratio tests is to attempt to prove whether the flow- or deformation-type theory is the correct theory for predicting plastic stress-strain relations.  ...  For the prediction of the plastic stress-strain relations the deformation-type theory was found to be in approximate agreement with the test results for both the constant- and variable-stress-ratio tests  ...  For the prediction of the plastic stress-strain relations the deformation-type theory was found to be in approximate agreement with the test results for both the constant- and variable-stress-ratio tests  ... 
doi:10.1115/1.4010160 fatcat:q7nmwkvsk5fafjbqlh2tbt567q

Process performance monitoring using multivariate statistical process control

E.B. Martin, A.J. Morris, J. Zhang
1996 IEE Proceedings - Control Theory and Applications  
The bases of MSPC are the projection techniques of principal components analysis and projection to latent structures.  ...  Statistical process control (SPC) is a tool for achieving and maintaining product quality.  ...  Nonlinear score plotsfor d@erent fault types: solvent 0 nominal * solvent + fouling 0 combined x impunty Nonlinear score plots for different fault types: combined 0 nominal li solvent + fouling e combined  ... 
doi:10.1049/ip-cta:19960321 fatcat:qmw6gv2fvjgdnmu7klg2vuo554

VALENCE BAND STRUCTURE OF PbTe

A. J. CROCKER, L. M. ROGERS
1968 Le Journal de Physique Colloques  
It shows how measurements of the transport and optical properties of these materials support (1) the two valence band model for PbTe in which the principal light mass band is highly non-parabolic and the  ...  secondary heavy mass band is parabolic and (2) a value for the Hall-anisotropy factor of the principal valence band, in the case of extremely high carrier density PbTe at low temperatures, of about 112  ...  FIG. 5 . 5 -Thermoelectric power at 100 O K against nominal carrier concentration for p-type PbTe. for strongly Na doped Cd,Pb,-,Te the quantity R300/R77 was observed to decrease with increasing x, see  ... 
doi:10.1051/jphyscol:1968418 fatcat:ydcoxyqw4je5zie6r7m5ivzw2i

Page 268 of Applied Mechanics Reviews Vol. 3, Issue 9 [page]

1950 Applied Mechanics Reviews  
Tests on tubes are described for determining the yield stress, nominal ultimate stress, true fracture stress, ductility and elasto- plastic stress-strain relations for 245-T aluminum alloy when sub- jected  ...  From his theory in cases where necking is kinematically constrained to occur in the planes of the principal stresses, like in these test tubes, fracture occurs at a maximum principal tension stress APPLIED  ... 

Legislative Effects of Electoral Mandates

Santiago Olivella, Margit Tavits
2013 British Journal of Political Science  
Contrary to expectations borne out by the competing principals theory, we also find that when the electoral system changes from SMD to PR there is no significant change in the voting behavior of legislators  ...  We use the Hungarian National Assembly, where the mandate type (single member district vs. party list or proportional representation) changes for a number of legislators each term, to explore whether and  ...  Different types of PR lists The results that we have obtained so far do not fully confirm the expectations of the competing principals theory.  ... 
doi:10.1017/s0007123412000828 fatcat:hm3k6sdkmbgthg7ge6oy2idtqa

Page 268 of Journal of the Aerospace Sciences Vol. 24, Issue 4 [page]

1957 Journal of the Aerospace Sciences  
For certain types of members, loadings and types of discontinuities, theoretical stress-concey tration factors based on the theory of elasticity haye | ; ; ; i been obtained.'!  ...  The expressions for the principal stresses are then substituted in a working stress equation such as Eq. (17).  ... 

Page 196 of Journal of the Aerospace Sciences Vol. 21, Issue 3 [page]

1954 Journal of the Aerospace Sciences  
Thus, Zaid’ uses a deformation theory of plasticity rather than a flow theory, in spite of his realization of the questionable value of this type of theory.  ...  Moreover, for plas- tic flow to occur, at least one of the principal shearing stresses must have the critical value.  ... 

Typed Nominal Rewriting

Elliot Fairweather, Maribel Fernández
2018 ACM Transactions on Computational Logic  
Principal types are shown to exist and an inference algorithm given to compute them.  ...  Terms are also shown to have a principal type and an inference algorithm to compute them is given.  ...  theory is used to define a theory of nominal narrowing.  ... 
doi:10.1145/3161558 fatcat:ghyr5ru2sjhi3ib4wdtsny23uq

Damages. Excessive Damages. Latitude Allowed to "Nominal Damages"

1911 Harvard Law Review  
If, however, the theory is that the term is relative to the amount claimed, it is equally unsound. That the amount of the claim bears no relation to the damages is shown by two types of cases.  ...  If, however, the theory is that the term is relative to the amount claimed, it is equally unsound. That the amount of the claim bears no relation to the damages is shown by two types of cases.  ... 
doi:10.2307/1325218 fatcat:nm3ozux7tzbrddo3va2fo35w2e

Exemptions. Mortgage of Future Exempt Goods

1911 Harvard Law Review  
If, however, the theory is that the term is relative to the amount claimed, it is equally unsound. That the amount of the claim bears no relation to the damages is shown by two types of cases.  ...  If, however, the theory is that the term is relative to the amount claimed, it is equally unsound. That the amount of the claim bears no relation to the damages is shown by two types of cases.  ... 
doi:10.2307/1325219 fatcat:yof2ek6ll5aejninkm6fyawdk4

Biaxial Plastic Stress-Strain Relations of a Mild Steel for Variable Stress Ratios

Joseph Marin, L. W. Hu
1956 American Society of Mechanical Engineers. Transactions of the American Society of Mechanical Engineers  
Eight different types of variable stress-ratio tests were devised to determine the validity of the simple flow theory. The results of these tests do not support the theory.  ...  The differences between the theoretical and experimental results for this test were too great to be explained as due to experimental error or material anisotropy.  ...  Lin.‘ The test data for varying ratios of principal stresses are a valuable additional information for checking plas- ticity theories.  ... 
doi:10.1115/1.4013716 fatcat:vek7xlhzcreztf6zromgqloboq

Language and linguistics

1973 Language Teaching  
[Description of the stages of a Harris-type analysis, and of the principal elements of a Chomsky-type definition.]  ...  The principal distinctions between ergative and nominative structures are listed, as well as their common features.  ... 
doi:10.1017/s0261444800012568 fatcat:rzgb766x5zaqliomth23zn7ucu
« Previous Showing results 1 — 15 out of 131,952 results