-
6101
Type-omega DPLs
Published 2004“…We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. …”
Get full text
-
6102
THz polaritonics : optical THz generation, detection, and control on a chip
Published 2012Get full text
Thesis -
6103
-
6104
-
6105
Hyper Suprime-Cam Year 3 results: cosmology from cosmic shear power spectra
Published 2023“…For a flat <span tabindex="0">ΛCDM</span> model, we find <span tabindex="0">S8≡σ8(Ωm/0.3)0.5=0.776+0.032−0.033</span>, which is in excellent agreement with the constraints from the other HSC Year 3 cosmology analyses, as well as those from a number of other cosmic shear experiments. …”
Journal article -
6106
Impact of climate change on yield and farmers’ production behaviour in northern maize Belt, Nigeria
Published 2017“…SFAM mean estimation shows the presence of both risk and inefficiency in the production, Lambda_λ is largely caused by inefficiency, estimated Gamma_γ = 54.5%. …”
Get full text
Thesis -
6107
Analisis genetik molekul dan imunofenotip penyakit non-Hodgkin's lymphoma di Kelantan
Published 2001“…In conclusion, by flow cytometry analysis, lineage assignment coutd be assigned confidently on cases of B-NHL expressing abnormal kappa:lambda ratio and positive expression of B-cell surface markers. …”
Get full text
Thesis -
6108
Search for an interaction mediated by axion-like particles with ultracold neutrons at the PSI
Published 2023-01-01“…No signature of a theoretically predicted new interaction was found, and we set a new limit on the product of the scalar and the pseudoscalar couplings $g_sg_p\lambda^2 \lt 8.3 \times 10^{-28}\,$ m ^2 (95% C.L.) in a range of 5 µ m $\lt \lambda \lt 25$ mm for the monopole–dipole interaction. …”
Get full text
Article -
6109
The effect of task complexity and gender differences on EFL learners’ writing performance
Published 2023“…A series of T-Test and one-way ANOVAs were used for detecting the significant differences within the same gender and across genders, Cronbach's alpha (α) for the task reliability, Wilk’s Lambda for variable contributions, Partial Eta squared (ηp2) for the effect size, and the Observed Power (or post-hoc power) for the test statistical power. …”
Get full text
Article -
6110
Chemical Cues Induced from Fly-Oviposition Mediate the Host-Seeking Behaviour of <i>Fopius arisanus</i> (Hymenoptera: Braconidae), an Effective Egg Parasitoid of <i>Bactrocera dors...
Published 2020-04-01“…We found that the treatment of infested fruits with lambda-cyhalothrin and cypermethrin remained attractive to <i>F. arisanus</i> females, albeit to different extents, which is in contrast to spinosad, cyantraniliprole, and acetamiprid. …”
Get full text
Article -
6111
بررسی تغییرات روزانه و فصلی غلظت فرمالدئید در هوای آزاد منطقه میدان انقلاب شهر تهران در سال 1394-1393
Published 2016-05-01“…برای سنجش غلظت فرمالدئید از روش کورموتروپیک اسید استفاده شد و نمونهها توسط دستگاه اسپکتروفتومتریPerkinElmer LAMBDA مدل 25 UV/Vis در طیف موجی nm580 تعیین غلظت شدند. …”
Get full text
Article -
6112
-
6113
Mental Flexibility Influences the Association Between Poor Balance and Falls in Older People – A Secondary Analysis
Published 2019-06-01“…MANCOVA revealed that WCST performance was associated with balance [Wilks’ Lambda = 0.883, F = 2.168; p = 0.013, partial eta squared (ηp2) = 0.061] due primarily to reduced concept formation ability [F(2,207) = 5.787, p = 0.004, ηp2 = 0.053]. …”
Get full text
Article -
6114
-
6115
Significant reduction in abundance of peridomestic mosquitoes (Culicidae) and Culicoides midges (Ceratopogonidae) after chemical intervention in western São Paulo, Brazil
Published 2020-11-01“…Methods The interventions in the 3-arm stratified randomised control trial were: pheromone + insecticide (PI) (chicken roosts were sprayed with microencapsulated lambda-cyhalothrin; pheromone lure has no effect on the Diptera pests studied here); dog-collars (DC) (dogs fitted with deltamethrin-impregnated collars); and control (C) (unexposed to pyrethroids) were extended by 12 months. …”
Get full text
Article -
6116
Trece tratamientos de la insuficiencia renal aguda secundaria a mieloma múltiple con filtros de high cut off
Published 2016-07-01“…El tratamiento se mostró efectivo para eliminar tanto CLLs kappa como lambda. El porcentaje de disminución de CLLs desde el inicio hasta el final del tratamiento fue del 93,7%. …”
Get full text
Article -
6117
Improvement of the Integral Indicator of the Ecological and Toxicological Assessment of the Danger of the Use of Pesticides in Agriculture and the Creation of an Information System...
Published 2023-09-01“…The second group includes insecticides fipronil, lambda-cyhalothrin, gamma-cyhalothrin, imidacloprid and the fungicide flutriafol. …”
Get full text
Article -
6118
Generation of HER2-specific antibody immunity during trastuzumab adjuvant therapy associates with reduced relapse in resected HER2 breast cancer
Published 2018-06-01“…Methods Pre-and post-treatment initiation sera were obtained from 50 women enrolled in N9831. Lambda IgG antibodies (to avoid detection of trastuzumab) to HER2 were measured and compared between arms and with disease-free survival. …”
Get full text
Article -
6119
An elevated polyclonal free light chain level reflects a strong interferon signature in patients with systemic autoimmune diseases
Published 2021-01-01“…Among SAD patients, 28.4% had raised total FLC (from 12% in RA to 30% in SLE and APS) with a normal kappa/lambda ratio. Total FLC levels were significantly higher in SAD with inflammation, active disease in SLE and SjS, and an impaired pulmonary functional capacity in SSc, while independent from kidney impairment, infection, cancer and treatment. …”
Get full text
Article -
6120
Redox Proteomic Profiling of Specifically Carbonylated Proteins in the Serum of Triple Transgenic Alzheimer’s Disease Mice
Published 2016-04-01“…With the application of 2D-Oxyblot analysis, (immunoglobin) Ig gamma-2B chain C region (IGH-3), Ig lambda-2 chain C region (IGLC2), Ig kappa chain C region (IGKC), and Ig kappa chain V-V region HP R16.7 were identified as significantly oxidized proteins compared with the control. …”
Get full text
Article