A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
Filters
Principal Types for Nominal Theories
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
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
2017
International Journal of Islamic Thought
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1950
Journal of applied mechanics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
1996
IEE Proceedings - Control Theory and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf.
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
1968
Le Journal de Physique Colloques
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2013
British Journal of Political Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2018
ACM Transactions on Computational Logic
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
1956
American Society of Mechanical Engineers. Transactions of the American Society of Mechanical Engineers
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
[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