Filters








79,649 Hits in 9.5 sec

Deriving Distributive Laws for Graded Linear Types

Jack Hughes, Michael Vollmer, Dominic Orchard
2021 Electronic Proceedings in Theoretical Computer Science  
In this paper, we show how to automatically derive these distributive laws as combinators for programming.  ...  Along the way, we discuss interesting considerations for pattern matching analysis via graded linear types. Lastly, we show how other useful structural combinators can also be automatically derived.  ...  distributive laws for graded linear types versa.  ... 
doi:10.4204/eptcs.353.6 fatcat:dyfmyoukf5h5jlx37zx766p7bm

Deriving Distributive Laws for Graded Linear Types (Additional Material) [article]

Jack Hughes, Michael Vollmer, Dominic Orchard
2021 Zenodo  
Additional material for the paper of the same name which appears in the EPTCS proceedings for TLLA/Linearity 2020.  ...  distributive laws is well-typed.  ...  distributive laws for graded linear types / 0 � �B� Σ push : � r B � B − −−−−− → [� r α i /α i ] PUSH f : A � B � f : A � B VAR f : [A � B] 1 � f : A � B DER x : A � x : A VAR x : [A] 1 � x : A DER f  ... 
doi:10.5281/zenodo.5575770 fatcat:o4q6dq3xfncavblxjotuxki5km

Combining effects and coeffects via grading

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu
2016 SIGPLAN notices  
Various recent work has proposed models for such typed calculi in terms of graded (strong) monads for effects and graded (monoidal) comonads for coeffects.  ...  The effect-coeffect system has a denotational model in terms of effect-graded monads and coeffect-graded comonads where interaction is expressed via the novel concept of graded distributive laws.  ...  Acknowledgments The authors thank the anonymous reviewers for their helpful comments. Orchard  ... 
doi:10.1145/3022670.2951939 fatcat:koluiqnyonaabf6nbdoymmc2u4

Combining effects and coeffects via grading

Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart, Tarmo Uustalu
2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016  
Various recent work has proposed models for such typed calculi in terms of graded (strong) monads for effects and graded (monoidal) comonads for coeffects.  ...  The effect-coeffect system has a denotational model in terms of effect-graded monads and coeffect-graded comonads where interaction is expressed via the novel concept of graded distributive laws.  ...  Acknowledgments The authors thank the anonymous reviewers for their helpful comments. Orchard  ... 
doi:10.1145/2951913.2951939 dblp:conf/icfp/GaboardiKOBU16 fatcat:f55lofqgbreupmg26k3zmttuji

Page 495 of Journal of Sedimentary Petrology Vol. 34, Issue 3 [page]

1964 Journal of Sedimentary Petrology  
Values for in- dividual samples are not replicated and so can- not be analyzed with the computer; however, the three separate distribution curves each seem to consist of two linear segments.’  ...  A single analysis is represented by curve A; - two analyses by that the distributions are similar to those derived from a nuée-ardente deposit in Crater Lake Na- tional Park (fig. 12), for lahars and nuées  ... 

Measurement Invariance, Entropy, and Probability

Steven A. Frank, D. Eric Smith
2010 Entropy  
A gamma distribution has a power law shape for small magnitudes and an exponential shape for large magnitudes.  ...  We argue that a very common measurement scale is linear at small magnitudes grading into logarithmic at large magnitudes, leading to observations that often follow Student's probability distribution which  ...  A linear-log exponential distribution is an exponential shape for small magnitudes and a power law shape for large magnitudes.  ... 
doi:10.3390/e12030289 fatcat:g3a2wla3azh33crgenlhydctje

Influence of Bond Characterization on Load-Mean Strain and Tension Stiffening Behavior of Concrete Elements Reinforced with Embedded FRP Reinforcement

Marta Baena, Cristina Barris, Ricardo Perera, Lluís Torres
2022 Materials  
affects the load-mean strain curve, the distribution of reinforcement strain, the distribution of slip between reinforcement and concrete, and the tension stiffening effect.  ...  Simulations in which different bond-slip laws between both materials (FRP reinforcement and concrete) were used to analyze the effect of GFRP bar bond performance on the load transfer process and how it  ...  The capability of the numerical non-linear model to use any bond-slip law allows for its application to any type of reinforcement and, therefore, to consider the singularities of the interaction when material  ... 
doi:10.3390/ma15030799 pmid:35160745 pmcid:PMC8837154 fatcat:r7gu46qzvbg75krlw5fd3s3gqe

Page 511 of Review of Educational Research Vol. 27, Issue 5 [page]

1957 Review of Educational Research  
In a comprehensive paper on multivariate distribution theory Olkin and Roy (143) derived the sampling distributions of a broad group of statistics directly from the probability law for random samples drawn  ...  The approximate distributions of the statistics concerned were seen to conform to those of Type I or Type II Beta.  ... 

Buckling Response of Thick Functionally Graded Plates

BOUAZZA MOKHTAR, Abedlouahed Tounsi, EL Abbas Adda-Bedia
2014 Journal of Materials and Engineering Structures  
The variation of the material properties follows a simple power-law distribution in terms of the volume fractions of constituents.  ...  The von Karman strains are used to construct the equilibrium equations of the plates subjected to two types of thermal loading, linear temperature rise and gradient through the thickness are considered  ...  The material properties are assumed to be graded in the thickness direction according to a simple power-law distribution in terms of the volume fractions of the constituents.  ... 
doaj:22f5c04826ab4f9393aae61c6949d9ff fatcat:xkrh32okffcphfzfa4axbw6hx4

Thermomechanical buckling oftemperature-dependent FGM beams

Y. Kiani, M.R. Eslami
2013 Latin American Journal of Solids and Structures  
used both exponential and power law form of material properties distribution to derive the governing equations.  ...  The derivation is based on the Timoshenko beam theory, with the assumption of power law composition for the constituent material.  ... 
doi:10.1590/s1679-78252013000200001 fatcat:nbxsvyft4rbtzdr2fqdgqlyi7i

Nonlinear thermal buckling behavior of functionally graded plates using an efficient sinusoidal shear deformation theory

Rabbab Bachir Bouiadjra, E.A. Adda Bedia, Abdelouahed Tounsi
2013 Structural Engineering and Mechanics  
The material is graded in the thickness direction and a simple power law based on the rule of mixture is used to estimate the effective material properties.  ...  The non-linear strain-displacement relations are also taken into consideration. The thermal loads are assumed as uniform, linear and non-linear temperature rises across the thickness direction.  ...  The mechanical properties are graded in the thickness direction according to volume fraction power law distribution.  ... 
doi:10.12989/sem.2013.48.4.547 fatcat:tpouetkj6faa3bdoegazvlta7u

AN AXISYMMETRIC BENDING ANALYSIS OF FUNCTIONALLY GRADED ANNULAR PLATE UNDER TRANSVERSE LOAD VIA GENERALIZED DIFFERENTIAL QUADRATURE METHOD

Hamad M.H. .
2013 International Journal of Research in Engineering and Technology  
Four kinds of material profiles through the functionally graded annular plate thickness are illustrated by varying the four parameters of power-law distribution.  ...  Generalization of four-parameter power-law distribution presented in literature is proposed.  ...  is the weighting coefficient for the nth order derivatives of w & φ .  ... 
doi:10.15623/ijret.2013.0207003 fatcat:kvrlt42tbjhe7fmr6gtxsk7ria

Elastic solutions based on the Mori-Tanaka scheme for pressurized functionally graded cylinder

Mehmet Eker, Durmuş Yarımpabuç, Ali Yıldırım, Kerimcan Çelebi
2020 Journal of Applied Mathematics and Computational Mechanics  
The effect of the arbitrarily chosen volume fraction index is demonstrated for stress and displacement distributions.  ...  In this paper, an elastic analysis of a thick-walled functionally graded cylinder subjected to internal pressure is examined.  ...  Further comparison is made for the radial and hoop stresses of the power-law graded vessel in Table 3 .  ... 
doi:10.17512/jamcm.2020.4.05 fatcat:tlgkrckngfaotgad5g3cta6bci

Page 428 of American Society of Civil Engineers. Collected Journals Vol. 121, Issue 5 [page]

1995 American Society of Civil Engineers. Collected Journals  
A principal application of the forward problem is to evaluate the hydraulic performance of the distribution sys- tem based on selected schemes for many types of network analysis (e.g., design, operation  ...  Is OQ, (3) Kirchhoff’s Loop Law: This states that the algebraic sum O Junction Node O Fixed-Grade Node [] Edge FIG. 1.  ... 

Finite element study on thermal buckling of functionally graded piezoelectric beams considering inverse effects

Reza Nasirzadeh, Bashir Behjat, Mahsa Kharazi
2018 Journal of Theoretical and Applied Mechanics  
In this article, the buckling behavior and bifurcation point of Functionally Graded Piezoelectric (FGP) beams are investigated based on Euler-Bernoulli beam theory.  ...  By solving the eigenvalue problem, the buckling load of the FGP beam is obtained and the effect of various parameters such as power law index, temperature, applied voltage and beam aspect ratio on the  ...  Also, for a constant power law index, the uniform temperature rise has a greater effect on the buckling load than the linear one.  ... 
doi:10.15632/jtam-pl.56.4.1097 fatcat:meu7kc5m3fgxdg4pzbfjav3oai
« Previous Showing results 1 — 15 out of 79,649 results