51,343 Hits in 8.9 sec

Lambda theories of effective lambda models [article]

Chantal Berline, Antonio Salibra
2007 arXiv   pre-print
both are the order/equ 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.  ... 
arXiv:math/0701684v2 fatcat:uo7ia755zjgzdf6t4hvnxn6p24

Lambda Theories of Effective Lambda Models [chapter]

Chantal Berline, Giulio Manzonetto, Antonino Salibra
Lecture Notes in Computer Science  
We prove that the order 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.  ... 
doi:10.1007/978-3-540-74915-8_22 fatcat:v5svc4koxrhjvhzvo65colmq6y

The thermodynamic Casimir effect in the neighbourhood of the λ-transition: a Monte Carlo study of an improved three-dimensional lattice model

Martin Hasenbusch
2009 Journal of Statistical Mechanics: Theory and Experiment  
Our results are compared with experiments on films 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.  ... 
doi:10.1088/1742-5468/2009/07/p07031 fatcat:fm3cutupd5hjlks35qhal436ty

A tentative theory of large distance physics

Daniel Friedan
2003 Journal of High Energy Physics  
The 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.  ... 
doi:10.1088/1126-6708/2003/10/063 fatcat:r45muyshzrcw3c5zotdj7ney6m

Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus [chapter]

Masahito Hasegawa
2002 Lecture Notes in Computer Science  
We propose a semantic and syntactic framework for 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.  ... 
doi:10.1007/3-540-45788-7_10 fatcat:yci7e6djxfa43amh2mdd5373ty

What is a model of the lambda calculus?

Albert R. Meyer
1982 Information and Control  
These definitions 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.  ... 
doi:10.1016/s0019-9958(82)80087-9 fatcat:ws7l2zql4bg63jvyxe5w5zhx5y

Cosmology of minimal varying Lambda theories

Stephon Alexander, Marina Cortês, Andrew R. Liddle, João Magueijo, Robert Sims, Lee Smolin
2019 Physical Review D  
In the minimal such 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  ... 
doi:10.1103/physrevd.100.083507 fatcat:6hctizvce5hrjh5ml6ggfcm3mi

Faddeev calculations on lambda hypertriton with potentials from Gel'fand-Levitan-Marchenko theory [article]

Emile Meoto, Mantile Lekala
2019 arXiv   pre-print
The computations are carried out using spin-averaged 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  ... 
arXiv:1908.06813v1 fatcat:w576iud2rrexlfg55vkinwbtde

The story of gravity and Lambda—How the theory of Heraclitus solved the dark matter mystery

Conrad Ranzan
2010 Physics essays  
The other, the new cosmology, by incorporating an ancient principle made famous by Heraclitus, 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.  ... 
doi:10.4006/1.3293983 fatcat:iheyhdtewvf6zbh74lsopwve2u

Solutions to the quasi-flatness and quasi-lambda problems

John D. Barrow, João Magueijo
1999 Physics Letters B  
Big Bang 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.  ... 
doi:10.1016/s0370-2693(99)00008-8 fatcat:xbduy2m6ybgx7erwjww26guwl4

PhD Abstracts

2015 Journal of functional programming  
The Journal 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.  ... 
doi:10.1017/s0956796815000040 fatcat:g7yt23qxivevte45fkiqv6xwna

Strong constraint on ever-presentΛ

John D. Barrow
2007 Physical Review D  
We also discuss other observational constraints from the power spectrum 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.  ... 
doi:10.1103/physrevd.75.067301 fatcat:54355fvnr5fj7mufiovivcyuiy

A Study of Multi-Λ Hypernuclei Within Spherical Relativistic Mean-Field Approach

Asloob A. Rather, M. Ikram, A. A. Usmani, B. Kumar, S. K. Patra
2017 Brazilian journal of physics  
Moreover, in support 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  ... 
doi:10.1007/s13538-017-0525-9 fatcat:xmfncy2kxvhodezi5mq25ubfli

Relativistic Mean Field Theory for Lambda Hypernuclei and Neutron Stars

Yuichi Sugahara, Hiroshi Toki
1994 Progress of theoretical physics  
We study the 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.  ... 
doi:10.1143/ptp.92.803 fatcat:e3ovcjszbnh5zg2cm42itykbki

Quantitative Resolution to some "Absolute Discrepancies" in Cancer Theories: a View from Phage lambda Genetic Switch [article]

P. Ao
2007 arXiv   pre-print
In this letter the quantitative evidence against one 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  ... 
arXiv:0704.0429v1 fatcat:46gi3dfkfbfq3ime4eaup2hxhq
« Previous Showing results 1 — 15 out of 51,343 results