Results 11 to 20 of about 157,855 (267)
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 +7 more sources
On the size of $A+\lambda A$ for algebraic $\lambda$
, 2020 For a finite set $A\subset \mathbb{R}$ and real $\lambda$, let $A+\lambda A:=\{a+\lambda b :\, a,b\in A\}$. Combining a structural theorem of Freiman on sets with small doubling constants together with a discrete analogue of Pr\'ekopa--Leindler inequality we prove a lower bound $|A+\sqrt{2} A|\geq (1+\sqrt{2})^2|A|-O({|A|}^{1-\varepsilon})$ which is ...
Krachun, Dmitry, Petrov, Fedor
openaire +2 more sources
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). In this paper we make use of the Visser topology for investigating the more general question of whether the equational (resp. order) theory of a non syntactical model M, say Eq(M) (resp.
C. BERLINE +2 more
openaire +3 more sources
Clinical profile of Saudi patients with multiple myeloma
Journal of Nature and Science of Medicine, 2019 Background: Multiple myeloma (MM) is a neoplasm of plasma cells. Ethnic variations among the clinical features of MM have been reported. Objectives: This study was performed to assess the clinical features of Saudi MM patients. Patients and Methods: Data
Alanoud Abdulaziz Alhuqayl +5 more
doaj +1 more source
$\lambda$-CONVERGENCE AND $\lambda$-REPLACEABILITY
Tamkang Journal of Mathematics, 1995 Abstract. E. Jiirimae has introduced the notion of $\lambda$-replaceability. We shall show that this notion can be characterized in ordinary summability terms.
Beekmann, Wolfgang, Chang, Shao-Chien
openaire +3 more sources
Tecnura, 2022 Contexto: Al cargar el producto en los camiones cisterna, se generan vapores de hidrocarburos emitidos sin tratamiento al medio ambiente. Para evitar estas emisiones, se requiere un sistema que permita retener y recuperar estas sustancias, mediante el ...
Laura Vanessa Quesada Carvajal +1 more
doaj +1 more source
Land, 2022 The present study focuses on evaluating the effect of fragmentation caused by road infrastructures on a territory with singular characteristics such as low population density and a high proportion of its surface area protected by the Natura 2000 network.
Manuel Sánchez-Fernández +3 more
doaj +1 more source
The Lambda-Lambda Interaction and ^{6}_{Lambda Lambda}He
, 2002 4 pages brief report to Physical Review ...
Afnan, I. R., Gibson, B. F.
openaire +2 more sources
Design of Broadband Double-Ridge Horn Antenna for Millimeter-Wave Applications
IEEE Access, 2021 In this paper, a broadband double-ridge horn antenna (DRHA) covering 5G millimeter-wave (mm-wave) band is proposed, which maintains stable radiation pattern and gain in the entire band.
Yuqi He +7 more
doaj +1 more source
An Activity-Based Travel Personalization Tool Driven by the Genetic Algorithm
Journal of Advanced Transportation, 2023 The necessity for an external control mechanism that optimizes daily urban trips becomes evident when considering numerous factors at play within a complex environment.
Ali Enes Dingil, Domokos Esztergár-Kiss
doaj +1 more source