scholarly journals A Computational Approach to Pocklington Certificates in Type Theory

2006 ◽  
pp. 97-113 ◽  
Author(s):  
Benjamin Grégoire ◽  
Laurent Théry ◽  
Benjamin Werner
Keyword(s):  
Type Theory ◽  
Computational Approach

Application of Modified Bloch Waves to Image Analysis of Extended Linear Defects

1974 ◽  
Vol 32 ◽  
pp. 402-403
Author(s):  
S. Nakahara ◽  
D. M. Maher
Keyword(s):  
Image Analysis ◽  
Computational Approach ◽  
Dislocation Loops ◽  
Plane Wave Expansion ◽  
Dynamical Equations ◽  
Bloch Waves ◽  
Linear Defects ◽  
Imperfect Crystal ◽  
Localized Defects ◽  
Defective Crystals

Since Head first demonstrated the advantages of computer displayed theoretical intensities from defective crystals, computer display techniques have become important in image analysis. However the computational methods employed resort largely to numerical integration of the dynamical equations of electron diffraction. As a consequence, the interpretation of the results in terms of the defect displacement field and diffracting variables is difficult to follow in detail. In contrast to this type of computational approach which is based on a plane-wave expansion of the excited waves within the crystal (i.e. Darwin representation ), Wilkens assumed scattering of modified Bloch waves by an imperfect crystal. For localized defects, the wave amplitudes can be described analytically and this formulation has been used successfully to predict the black-white symmetry of images arising from small dislocation loops.

Basic Simple Type Theory

1997 ◽  
Author(s):  
J. Roger Hindley
Keyword(s):  
Type Theory ◽  
Simple Type ◽  
Simple Type Theory

Type Theory and Formal Proof

2009 ◽  
Author(s):  
Rob Nederpelt ◽  
Herman Geuvers
Keyword(s):  
Type Theory ◽  
Formal Proof

Steroid metabolomics: a rapid computational approach for accurate differentiation of inborn disorders of steroidogenesis

2019 ◽  
Author(s):  
Elizabeth S Baranowski ◽  
Sreejita Ghosh ◽  
Cedric HL Shackleton ◽  
Angela E Taylor ◽  
Beverly A Hughes ◽  
...  
Keyword(s):  
Computational Approach

Identification of the genetic signature of vascular calcification in patients with type 2 diabetes mellitus by a computational approach

2020 ◽  
Author(s):  
Francisco Andújar-Vera ◽  
Cristina García-Fontana ◽  
Sheila González-Salvatierra ◽  
Manuel Muñoz-Torres ◽  
Beatriz García-Fontana
Keyword(s):  
Diabetes Mellitus ◽  
Type 2 Diabetes ◽  
Type 2 Diabetes Mellitus ◽  
Vascular Calcification ◽  
Computational Approach ◽  
Genetic Signature

Computational Models for Multilayered Composite Shells with Application to Tires

1996 ◽  
Vol 24 (1) ◽  
pp. 11-38 ◽  
Author(s):  
G. M. Kulikov
Keyword(s):  
Type Theory ◽  
Computational Models ◽  
Geometrical Nonlinearity ◽  
Higher Order ◽  
Stress Strain ◽  
Strain Fields ◽  
First Order ◽  
Timoshenko Type ◽  
Joint Influence ◽  
Discrete Layer

Abstract This paper focuses on four tire computational models based on two-dimensional shear deformation theories, namely, the first-order Timoshenko-type theory, the higher-order Timoshenko-type theory, the first-order discrete-layer theory, and the higher-order discrete-layer theory. The joint influence of anisotropy, geometrical nonlinearity, and laminated material response on the tire stress-strain fields is examined. The comparative analysis of stresses and strains of the cord-rubber tire on the basis of these four shell computational models is given. Results show that neglecting the effect of anisotropy leads to an incorrect description of the stress-strain fields even in bias-ply tires.

Sign in / Sign up

Export Citation Format

Share Document