Results 11 to 20 of about 719,269 (383)

Lambda theories of effective lambda models [PDF]

, 2007
A longstanding open problem is whether there exists a non-syntactical model of untyped lambda-calculus whose theory is exactly the least equational lambda-theory (=Lb).
Berline, Chantal, Manzonetto, Giulio, Salibra, Antonio   +2 more
core   +16 more sources

Three-body resonances Lambda-n-n and Lambda-Lambda-n

, 2007
Possible bound and resonant states of the hypernuclear systems $\Lambda nn$ and $\Lambda\Lambda n$ are sought as zeros of the corresponding three-body Jost functions calculated within the framework of the hyperspherical approach with local two-body S ...
Afnan, Alexander, Alt, Ansari, Belyaev, Brand, Fabre de la Ripelle, Filikhin, Filikhin, Gal, Gal, Garcilazo, Garcilazo, Hiyama, Kahana, Miyagawa, Nemura, Nemura, Nemura, Nogga, Rakityansky, Rakityansky, Rakityansky, Rakityansky, S.A. Rakityansky, Schaffner-Bielich, Schmid, Sofianos, Sofianos, Sofianos, Takahashi, Tang, V.B. Belyaev, W. Sandhas   +33 more
core   +2 more sources

Light Lambda-Lambda Hypernuclei and the Onset of Stability for Lambda-Xi Hypernuclei

, 2001
New Faddeev-Yakubovsky calculations for light Lambda-Lambda hypernuclei are presented in order to assess the self consistency of the Lambda-Lambda hypernuclear binding-energy world data and the implied strength of the Lambda-Lambda interaction, in the ...
A. Gal, A.R. Bodmer, C.B. Dover, D.H. Davis, D.J. Prowse, E. Hiyama, H. Takahashi, I. Kumagai-Fuse, I. N. Filikhin, I.N. Filikhin, J. Schaffner, J. Schaffner, J. Schaffner, J. Schaffner-Bielich, J.K. Ahn, K. Miyagawa, M. Danysz, M. May, M.M. Nagels, M.M. Nagels, N.K. Glendenning, P. Khaustov, R.H. Dalitz, S. Ali, S. Aoki, S.L. Yakovlev, S.L. Yakovlev, T. Fukuda, T. Yamada, Th.A. Rijken, Th.A. Rijken, V.G.J. Stoks, X.C. Wang, Y. Akaishi, Y. Yamamoto, Y. Yamamoto   +35 more
core   +2 more sources

The potential of changing habitual car user travel modes: The case of Czech towns

International Journal of Transportation Science and Technology, 2023
With the constant and ever-growing pressure from governing bodies for increased sustainability of transportation systems, the need for changes in the travel behaviours of the inhabitants of suburban and urban areas seems inevitable.Thus a shift from cars
Michal Matowicki, Pavla Pecherkova, Ondrej Pribyl   +2 more
doaj   +1 more source

Early Treatment with Pegylated Interferon Lambda for Covid-19

New England Journal of Medicine, 2023
Background The efficacy of a single dose of pegylated interferon lambda in preventing clinical events among outpatients with acute symptomatic coronavirus disease 2019 (Covid-19) is unclear.
Gilmar Reis, Eduardo Augusto dos Santos Moreira Silva, D. C. Medeiros Silva, L. Thabane, V. H. Campos, T. S. Ferreira, Castilho V.Q. Santos, A. M. Nogueira, Ana P.F.G. Almeida, L. C. Savassi, Adhemar D. Figueiredo-Neto, Ana C.F. Dias, Adelino M. Freire Júnior, Carina Bitarães, A. C. Milagres, E. D. Callegari, M. I. Simplicio, L. B. Ribeiro, Rosemary Oliveira, Ofir Harari, L. A. Wilson, Jamie I. Forrest, Hinda Ruton, S. Sprague, Paula McKay, Christina M. Guo, E. Limbrick-Oldfield, S. Kanters, G. Guyatt, Craig R. Rayner, Christopher E. Kandel, Mia J. Biondi, R. Kozak, Bettina Hansen, M. Zahoor, P. Arora, C. Hislop, I. Choong, J. Feld, E. Mills, J. Glenn   +40 more
semanticscholar   +1 more source

Superposition with Lambdas [PDF]

Journal of Automated Reasoning, 2019
AbstractWe designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans. The inference rules work on $$\beta \eta $$ β η -equivalence classes of $$\lambda $$
Bentkamp, Alexander, Blanchette, Jasmin, Tourret, Sophie, Vukmirović, Petar, Waldmann, Uwe   +4 more
openaire   +9 more sources

Amelioration of complete Freund’s adjuvant-induced arthritis by Calotropis procera latex in rats

Future Journal of Pharmaceutical Sciences, 2021
Background Rheumatoid arthritis is the most common cause of disability, affecting 0.3–1% of the adult population worldwide. The latex of Calotropis procera possesses potent anti-inflammatory as well as analgesic properties.
Roshni Patel, Shahrukh Kadri, Priyanshee Gohil, Shrikalp Deshpande, Gaurang Shah   +4 more
doaj   +1 more source

Conserved Induction of Distinct Antiviral Signalling Kinetics by Primate Interferon Lambda 4 Proteins

Frontiers in Immunology, 2021
Interferon lambdas (IFNλ) (also known as type III IFNs) are critical cytokines that combat infection predominantly at barrier tissues, such as the lung, liver, and gastrointestinal tract. Humans have four IFNλs (1–4), where IFNλ1–3 show ~80%–95% homology,
Cuncai Guo, Dorothee Reuss, Jonathon D. Coey, Swathi Sukumar, Benjamin Lang, John McLauchlan, Steeve Boulant, Steeve Boulant, Steeve Boulant, Megan L. Stanifer, Megan L. Stanifer, Connor G. G. Bamford   +11 more
doaj   +1 more source

Host-parasite coevolution promotes innovation through deformations in fitness landscapes

eLife, 2022
During the struggle for survival, populations occasionally evolve new functions that give them access to untapped ecological opportunities. Theory suggests that coevolution between species can promote the evolution of such innovations by deforming ...
Animesh Gupta, Luis Zaman, Hannah M Strobel, Jenna Gallie, Alita R Burmeister, Benjamin Kerr, Einat S Tamar, Roy Kishony, Justin R Meyer   +8 more
doaj   +1 more source

Performance investigation of LAMBDA and bootstrapping methods for PPP narrow-lane ambiguity resolution

Geo-spatial Information Science, 2021
Precise point positioning with ambiguity resolution (PPP-AR) is a powerful tool for geodetic and time-constrained applications that require high precision.
Omer Faruk Atiz, Sermet Ogutcu, Salih Alcay, Pan Li, Ilkay Bugdayci   +4 more
doaj   +1 more source