Results 1 to 10 of about 595,305 (339)
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 +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 +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 +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 +2 more
doaj +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 +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 +4 more
doaj +1 more source
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 +4 more
doaj +1 more source
Google Bard Generated Literature Review: Metaverse
Journal of AI, 2023 Literature review articles aim to present studies in a field to researchers in a regular, systematic and meaningful way. It is often a very difficult process to reach all the studies in the field to be reviewed or to identify and evaluate the important ...
Ömer Aydın
doaj +1 more source
Anatomical observation and significance of the parietal foramen in Chinese adults
Folia Morphologica, 2022 BACKGROUND: This study aimed to investigate the incidence, number, diameter, and relative location of the parietal foramen (PF) as well as communication of intracranial and extracranial orifices and their direction, and sagittal suture morphology and ...
D. Liu, H. Yang, Jua. Wu, J-H Li, Y-K Li
doaj +1 more source
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 +11 more
doaj +1 more source