Results 281 to 290 of about 30,801,501 (320)

A Novel Peak-Shape Aware Approach for Mass Alignment in Mass Spectrometry. [PDF]

open access: yesRapid Commun Mass Spectrom
Vanhemel T   +5 more
europepmc   +1 more source

Ultramodular Functions [PDF]

open access: possibleMathematics of Operations Research, 2005
We study the properties of ultramodular functions, a class of functions that generalizes scalar convexity and that naturally arises in some economic and statistical applications.
MARINACCI, Massimo, MONTRUCCHIO, Luigi
openaire   +3 more sources
Some of the next articles are maybe not open access.

Related searches:

A functional functional interpretation

Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
In this paper, we present a modern reformulation of the Dialectica interpretation based on the linearized version of de Paiva. Contrarily to Gödel's original translation which translated HA into system T, our presentation applies on untyped λ-terms and features nicer proof-theoretical properties.
openaire   +2 more sources

Home - About - Disclaimer - Privacy