The Internet Archive has a preservation copy of this work in our general collections.
The file type is `application/pdf`

.

## Filters

##
###
Lambda theories of effective lambda models
[article]

2007
*
arXiv
*
pre-print

both are the order/equ

arXiv:math/0701684v2
fatcat:uo7ia755zjgzdf6t4hvnxn6p24
*theories**of*an*effective*graph*model*. ... In particular we introduce a notion*of**effective**lambda*-*model*and show that for all*effective**models*M, Eq(M) is different from Lb, and Ord(M) is not r.e. ... The authors do not know any example*of*unsolvable satisfying the above condition. ...##
###
Lambda Theories of Effective Lambda Models
[chapter]

*
Lecture Notes in Computer Science
*

We prove that the order

doi:10.1007/978-3-540-74915-8_22
fatcat:v5svc4koxrhjvhzvo65colmq6y
*theory**of*an*effective**model*is never r.e.; from this it follows that its equational*theory*cannot be λβ, λβη. ... Concerning Scott's semantics, we investigate the class*of*graph*models*and prove that no order*theory**of*a graph*model*can be r.e., and that there exists an*effective*graph*model*whose equational/order ... The authors do not know any example*of*unsolvable satisfying the above condition. ...##
###
The thermodynamic Casimir effect in the neighbourhood of the λ-transition: a Monte Carlo study of an improved three-dimensional lattice model

2009
*
Journal of Statistical Mechanics: Theory and Experiment
*

Our results are compared with experiments on films

doi:10.1088/1742-5468/2009/07/p07031
fatcat:fm3cutupd5hjlks35qhal436ty
*of*4He near the*lambda*-transition, previous Monte Carlo simulations*of*the XY*model*on the simple cubic lattice and field-theoretic results. ... We study the thermodynamic Casimir*effect*in thin films in the three dimensional XY universality class. To this end, we simulate the improved two component phi^4*model*on the simple cubic lattice. ... Following RG*theory*the non-singular part is not affected by finite size*effects*. However it is not clear a priori how Dirichlet boundary conditions affect the non-singular part*of*the free energy. ...##
###
A tentative theory of large distance physics

2003
*
Journal of High Energy Physics
*

The

doi:10.1088/1126-6708/2003/10/063
fatcat:r45muyshzrcw3c5zotdj7ney6m
*lambda**model*also constructs an*effective*string*theory*with infrared cutoff L, describing physics at distances smaller than L. ... It is a two dimensional nonlinear*model*, the*lambda**model*, set to govern the string worldsurface to remedy the failure*of*string*theory*. ... The*effective*a priori measure*of*the*lambda**model*is a spacetime quantum field*theory*. ...##
###
Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus
[chapter]

2002
*
Lecture Notes in Computer Science
*

We propose a semantic and syntactic framework for

doi:10.1007/3-540-45788-7_10
fatcat:yci7e6djxfa43amh2mdd5373ty
*modelling*linearly used*effects*, by giving the monadic transforms*of*the computational*lambda*calculus (considered as the core calculus*of*typed call-by-value ... As a technical result we show the full completeness*of*the CPS transform into the linear*lambda*calculus. ... Part*of*this work was carried out while the author was visiting Laboratory for Foundations*of*Computer Science, University*of*Edinburgh. ...##
###
What is a model of the lambda calculus?

1982
*
Information and Control
*

These definitions

doi:10.1016/s0019-9958(82)80087-9
fatcat:ws7l2zql4bg63jvyxe5w5zhx5y
*of**model*are consistent with, and yield a completeness theorem for, the standard axioms for*lambda*convertibility. A simple construction*of**models*for*lambda*calculus is reviewed. ... An elementary, purely algebraic definition*of**model*for the untyped*lambda*calculus is given. This definition is shown to be equivalent to the natural semantic definition based on environments. ...*theory*"*of**lambda*calculus can be usefully understood from an algebraic "*model**theory*" viewpoint. ...##
###
Cosmology of minimal varying Lambda theories

2019
*
Physical Review D
*

In the minimal such

doi:10.1103/physrevd.100.083507
fatcat:6hctizvce5hrjh5ml6ggfcm3mi
*theory*,*Lambda*is totally free and undetermined by the field equations in the absence*of*matter. ...*Lambda*and radiation may now coexist in a form consistent with Big Bang Nucleosynthesis, though this places strict constraints on the single free parameter*of*the*theory*, θ. ... side*of*Friedmann in Eq. (78) by a factor*of*7: _ g g ¼ −2.69 _ a a : ð88Þ*Lambda*may be seen as a dark matter component, but notice that due to the*effects**of*torsion its gravitational*effect*is different ...##
###
Faddeev calculations on lambda hypertriton with potentials from Gel'fand-Levitan-Marchenko theory
[article]

2019
*
arXiv
*
pre-print

The computations are carried out using spin-averaged

arXiv:1908.06813v1
fatcat:w576iud2rrexlfg55vkinwbtde
*lambda*-proton and*lambda*-neutron potentials restored from theoretical scattering phases through Gel'fand-Levitan-Marchenko*theory*. ... The*lambda*hypertriton is treated as a three-body system consisting*of**lambda*-proton,*lambda*-neutron and proton-neutron subsystems. ... The*lambda*-nucleon potentials in common use have their origin in meson-exchange SU(3)*theory*[3] [4] [5] [6] [7] [8] [9] , mesonexchange SU(6)*theory*[10] [11] [12] and Chiral*Effective*Field*Theory*...##
###
The story of gravity and Lambda—How the theory of Heraclitus solved the dark matter mystery

2010
*
Physics essays
*

The other, the new cosmology, by incorporating an ancient principle made famous by Heraclitus,

doi:10.4006/1.3293983
fatcat:iheyhdtewvf6zbh74lsopwve2u
*models*gravity and*Lambda*as complimentary and nonconflicting*effects*. ... Based on the essential difference in the treatment*of*gravity, a new picture*of*the universe emerges. ... Consequently, if one's*theory**of*gravity lacks a causative mechanism, then the associated universe*model*will be flawed or incomplete at best. III.*LAMBDA*: GRAVITY'S OPPOSING FACTOR A. ...##
###
Solutions to the quasi-flatness and quasi-lambda problems

1999
*
Physics Letters B
*

Big Bang

doi:10.1016/s0370-2693(99)00008-8
fatcat:xbduy2m6ybgx7erwjww26guwl4
*models**of*the Universe predict rapid domination by curvature, a paradox known as the flatness problem. ... We show how*theories*incorporating time-varying coupling constants could drive the Universe to a late-time near-flat attractor. ... , [8] , a solution*of*the quasi-*lambda*problem would explain why its*effect*is*of*the same order as the density term in the Friedmann equation. ...##
###
PhD Abstracts

2015
*
Journal of functional programming
*

The Journal

doi:10.1017/s0956796815000040
fatcat:g7yt23qxivevte45fkiqv6xwna
*of*Functional Programming would like to change that! ... A dissertation is eligible if parts*of*it have or could have appeared in JFP, that is, if it is in the general area*of*functional programming. The abstracts are not reviewed. ... This novel*theory*entails a notion*of*observational equivalence which distinguishes more points than other existing*theories*for the call-by-value*lambda*calculus. ...##
###
Strong constraint on ever-presentΛ

2007
*
Physical Review D
*

We also discuss other observational constraints from the power spectrum

doi:10.1103/physrevd.75.067301
fatcat:54355fvnr5fj7mufiovivcyuiy
*of*galaxy clustering and show that the theoretical possibility*of*ever-present*lambda*arises only in 3+1 dimensional space-times. ... late-time acceleration*of*the universe. ... Acknowledgement I am grateful to Fay Dowker and Rafael Sorkin for helpful discussions about the causal set*model*. ...##
###
A Study of Multi-Λ Hypernuclei Within Spherical Relativistic Mean-Field Approach

2017
*
Brazilian journal of physics
*

Moreover, in support

doi:10.1007/s13538-017-0525-9
fatcat:xmfncy2kxvhodezi5mq25ubfli
*of*Λ shell closure the investigation*of*Λ pairing energy and*effective*Λ pairing gap has also been made. ...*lambda*shell gaps (δ_2Λ) in multi-Λ hypernuclei. ... The*Effective**theory*chiral*model**of*Leading Order LO [11] and Next Leading Order NLO [12] are another class*of**model*used for hypernuclear studies that makes use*of*regularized PS Goldstone-boson ...##
###
Relativistic Mean Field Theory for Lambda Hypernuclei and Neutron Stars

1994
*
Progress of theoretical physics
*

We study the

doi:10.1143/ptp.92.803
fatcat:e3ovcjszbnh5zg2cm42itykbki
*lambda*hypernuclei and neutron stars in terms*of*the relativistic mean field*theory*. ... A special emphasis is placed on the importance*of*the*lambda*-omega tensor coupling, which affects largely the spin-orbit splitting. ... Section 2 is devoted to a brief illustration*of*the RMF*theory*. In §3, we describe the*lambda*hypernuclei in the RMF*theory*and investigate the*effect**of*the tensor coupling on these properties. ...##
###
Quantitative Resolution to some "Absolute Discrepancies" in Cancer Theories: a View from Phage lambda Genetic Switch
[article]

2007
*
arXiv
*
pre-print

In this letter the quantitative evidence against one

arXiv:0704.0429v1
fatcat:46gi3dfkfbfq3ime4eaup2hxhq
*of*their major reasons for dismissing mutation cancer*theory*, by both in vivo experiment and a first principle computation, is explicitly pointed out ... cancer*theories*. ... Because such*effect*can occur in phage*lambda*, there is no reason that same thing cannot occur in higher organisms(Ptashne and Gann, 2002): Numerous gene regulatory sites similar to that*of*phage*lambda*...
« Previous

*Showing results 1 — 15 out of 51,343 results*