Although saturated fatty acids (SFAs) are undoubtedly biologically active, several complexities preclude oversimplified predictions of their health effects. First, although attention has historically focused on blood LDL cholesterol, SFAs affect many other physiological pathways, including other blood lipids and lipoproteins1 and glucose— insulin responses.2 Second, different SFAs exist, with c...

In this work, we obtain a short-time existence result for harmonic map heat flow coupled with smooth family of complete metrics in the domain manifold. Our results generalize by Li-Tam (Invent Math 105(1):1–46, 1991) and Chen-Zhu (J Differ Geom 74:119–154, 2006). particular, prove along Ricci g(t) on M into manifold curvature bounded from above, under assumption: (i) $$|\text {Rm}(g(t))|\le a/t...

The success of Support Vector Machine (SVM) gave rise to the development of a new class of theoretically elegant learning machines which use a central concept of kernels and the associated reproducing kernel Hilbert space (RKHS ). Exponential families, a standard tool in statistics, can be used to unify many existing machine learning algorithms based on kernels (such as SVM) and to invent novel...

In this paper, we study the limiting properties of the K energy for smooth hypersurfaces in the projective spaces. Our result generalizes the result of Ding-Tian ( W. Ding and G. Tian. KählerEinstein metrics and the generalized Futaki invariant. Invent Math, 110:315–335, 1992.) in the case of hypersurfaces. In particular, we allow the center fiber of a special degeneration (a degeneration by a ...

The need to use partial functions arises frequently in formal descriptions of com puter systems However most proof assistants are based on logics of total func tions One way to address this mismatch is to invent and mechanize a new logic Another is to develop practical workarounds in existing settings In this paper we take the latter course we survey and compare methods used to support partiali...

ETH Workshop on Software Correctness and Reliability, Zürich, October 2–3, 2015 © P. Cousot Software correctness proofs • Any formal proof of a non-trivial program requires a reasoning by mathematical induction (e.g., following Turing, on the number of program execution steps): • Invent an inductive argument (e.g. invariant, variant function), the hardest part • Prove the base case and inductiv...

Correlation Functions: Thus far, we have either extended the applicability of standard condensed matter order parameters and correlation functions by incorporating shape matching, or applied standard shape matching applications directly in the context of assembled systems. However, in addition to extending existing applications for use with assembled systems, shape matching allows us to invent ...

We investigate an extension of standard DTDs named s-xschemes yielding more expressive power. We show that s-xschemes which are also known as specialized DTDs have more convenient complexity properties than context-free languages. We invent the notions of proper-ness and 1-unambiguity for a close characterization of s-xschemes, whereby \1-unambiguity" is a restriction concerning expressive powe...

We propose an interface applicable to actual use case for efficiently utilizing costly urban 3D data. We invent Topological Network Model as an interface model for combining numerical urban 3D data and varieties of contents text data. As a result, both types of data can be managed independently and usability of these data enhances. Moreover, we propose a new method of submitting query for urban...

Most reformers don't invent completely new ideas they buy or borrow management ideas and techniques from elsewhere. They bring things from 'there' to 'here'. Merchants in this trade include governments, management consultants, international organizations and even some academics. Money changes hands, but that is not the only currency. Influence, prestige and status are also involved in these tra...