Non Deterministic Classical Logic: The λμ++ ‐calculus

In this paper, we present an extension of λμ‐calculus called λμ⁺⁺‐calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on data types. This calculus allows also to program the parallel‐or.     

Constructive Approximation in de Branges–Rovnyak Spaces

In most classical holomorphic function spaces on the unit disk in which the polynomials are dense, a function f can be approximated in norm by its dilates \(f_r(z):=f(rz)~(r<1)\). We show that this is not the case for the de Branges–Rovnyak spaces \(\mathcal{H}(b)\). More precisely, we exhibit a space \(\mathcal{H}(b)\) in which the polynomials are dense and a function \(f\in \mathcal{H}(b)\) such that \(\lim _{r\rightarrow 1^-}\Vert f_r\Vert _{\mathcal{H}(b)}=\infty \). On the positive side, we prove the following approximation theorem for Toeplitz operators on general de Branges–Rovnyak spaces \(\mathcal{H}(b)\). If \((h_n)\) is a sequence in \(H^\infty \) such that \(\Vert h_n\Vert _{H^\infty }\le 1\) and \(h_n(0)\rightarrow 1\), then \(\Vert T_{\overline{h}_n}f-f\Vert _{\mathcal{H}(b)}\rightarrow 0\) for all \(f\in \mathcal{H}(b)\). Using this result, we give the first constructive proof that, if b is a nonextreme point of the unit ball of \(H^\infty \), then the polynomials are dense in \(\mathcal{H}(b)\).     

Relative Stanley–Reisner theory and Upper Bound Theorems for Minkowski sums

In this paper we settle two long-standing questions regarding the combinatorial complexity of Minkowski sums of polytopes: We give a tight upper bound for the number of faces of a Minkowski sum, including a characterization of the case of equality. We similarly give a (tight) upper bound theorem for mixed facets of Minkowski sums. This has a wide range of applications and generalizes the classical Upper Bound Theorems of McMullen and Stanley.Our main observation is that within (relative) Stanley–Reisner theory, it is possible to encode topological as well as combinatorial/geometric restrictions in an algebraic setup. We illustrate the technology by providing several simplicial isoperimetric and reverse isoperimetric inequalities in addition to our treatment of Minkowski sums.     

Totally positive extensions and weakly isotropic forms

The aim of this article is to analyse a new field invariant, relevant to (formally) real fields, defined as the supremum of the dimensions of all anisotropic, weakly isotropic quadratic forms over the field. This invariant is compared with the classical u-invariant and with the Hasse number. Furthermore, in order to be able to obtain examples of fields where these invariants take certain prescribed values, totally positive field extensions are studied.     

An asymptotic formula for the voltage potential in the case of a near-surface conductivity inclusion

We rigorously derive an asymptotic expansion of the steady-state voltage potentials in the presence of a conductivity inclusion of small volume that is close to a planar surface. This new formula is motivated by the practically important inverse problem of imaging a conductivity inclusion near a planar interface. Partly supported by ACI Jeunes Chercheurs (0693) from the Ministry of Education and Scientific Research, France. Partially supported by grant R02-2003-000-10012-0 from the Korea Science and Engineering Foundation. Received: December 2, 2003; revised: January 18, 2004     

Cyclicity in the Dirichlet space

Let be the Dirichlet space, namely the space of holomorphic functions on the unit disk whose derivative is square-integrable. We give a new sufficient condition, not far from the known necessary condition, for a function f∈ to be cyclic, i.e. for {pf: p is a polynomial} to be dense in . The proof is based on the notion of Bergman–Smirnov exceptional set introduced by Hedenmalm and Shields. Our methods yield the first known examples of such sets that are uncountable. One of the principal ingredients of the proof is a new converse to the strong-type inequality for capacity.     

Cyclicity of the adjoint of weighted composition operators on the hilbert space of analytic functions

In this paper, we discuss the hypercyclicity, supercyclicity and cyclicity of the adjoint of a weighted composition operator on a Hilbert space of analytic functions.     

LocalSolver 1.x: a black-box local-search solver for 0-1 programming

This paper introduces LocalSolver 1.x, a black-box local-search solver for general 0-1 programming. This software allows OR practitioners to focus on the modeling of the problem using a simple formalism, and then to defer its actual resolution to a solver based on efficient and reliable local-search techniques. Started in 2007, the goal of the LocalSolver project is to offer a model-and-run approach to combinatorial optimization problems which are out of reach of existing black-box tree-search solvers (integer or constraint programming). Having outlined the modeling formalism and the main technical features behind LocalSolver, its effectiveness is demonstrated through an extensive computational study. The version 1.1 of LocalSolver can be freely downloaded at and used for educational, research, or commercial purposes.     

New Developments on Operator Reverse AM-GM Inequality for Positive Linear Maps

Acta Mathematica Sinica, English Series - In this research article, we shall give some reverse Arithmetic-Geometric mean inequalities for unital positive linear maps on Hilbert space operators...     

2级VMI集成的Shapley指数收益分配方案

本文在回顾了VMI集成相关文献基础之上,将解决多人合作博弈问题的Shapley值方法用于解决两级VMI联盟的收益分配问题,从而提出了一种各方均可接受且稳定的收益分配方案.在此收益分配方案下,供应链各方均会从VMI集成中得到利润水平上的提升,而且兼顾到了各方公平.