Results 221 to 230 of about 749,660 (377)

Semantics of Typed Lambda-Calculus with Constructors [PDF]

, 2011
Barbara Petit
openalex   +1 more source

Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem

, 1972
D. Bruijn
semanticscholar   +1 more source

Direct Evidence of Topological Dirac Fermions in a Low Carrier Density Correlated 5d Oxide

Advanced Functional Materials, EarlyView.
The 5d oxide BiRe2O6 is discovered as a low‐carrier‐density topological semimetal hosting symmetry‐protected Dirac fermions stabilized by nonsymmorphic symmetries. Angle‐resolved photoemission spectroscopy, quantum oscillations, and magnetotransport measurements reveal gapless Dirac cones, quasi‐2D Fermi surfaces, high carrier mobility, and a field ...
Premakumar Yanda, Jorge Cardenas‐Gamboa, Ding Pei, François Bertran, Leila Noohinejad, Snehashish Chatterjee, Changjiang Yi, Iñigo Robredo, Horst Borrmann, Maia G. Vergniory, Chandra Shekhar, Claudia Felser   +11 more
wiley   +1 more source

A non-affinity-dependent high-resolution mass spectrometry method for detecting and typing monoclonal free light immunoglobulin chains. [PDF]

J Mass Spectrom Adv Clin Lab
Bengtson P, Förnvik Jonsson M.
europepmc   +1 more source

Comparative Security and Compliance Analysis of Serverless Computing Platforms: AWS Lambda, Azure Functions, and Google Cloud Functions [PDF]

Dibya Darshan Khanal, Sushil Maharjan
openalex   +1 more source

Lambda ZAP: a bacteriophage lambda expression vector with in vivo excision properties.

, 1988
J. M. Short, Joseph M. Fernandez, J. A. Sorge, W. D. Huse   +3 more
semanticscholar   +1 more source

Mechanochemistry‐Assisted Solvent‐Free Supramolecular Engineering for Atomic‐Layered Carbon Nitride Nanosheets with Enhanced Photocatalytic Hydrogen Evolution

Advanced Functional Materials, EarlyView.
A solvent‐free mechanochemistry‐enabled supramolecular engineering strategy is developed to directly synthesize covalent‐interconnected two‐dimensional atomic‐layered carbon nitride nanosheets photocatalyst, bypassing conventional top‐down exfoliation requirements.
Fanglei Yao, Jingwen Sun, Huiru Duan, Yongsheng Fu, Jin Wang, Liming Dai, Jingsan Xu, Junwu Zhu   +7 more
wiley   +1 more source

Agreement Lambda for Weighted Disagreement With Ordinal Scales: Correction for Category Prevalence. [PDF]

Educ Psychol Meas
Almehrizi RS.
europepmc   +1 more source

Continuation Models for the Lambda Calculus With Constructors

, 2012
Barbara Petit
openalex   +1 more source

Repeatability and Contingency in the Evolution of a Key Innovation in Phage Lambda

Science, 2012
Justin R. Meyer, Devin T. Dobias, J. Weitz, Jeffrey E. Barrick, Ryan T. Quick, R. Lenski   +5 more
semanticscholar   +1 more source