In the update calculus concurrent processes can perform update actions with side eeects, and a scoping operator can be used to control the extent of the update. In this way it incorporates fundamental concepts both from imperative languages or concurrent constraints formalisms , and from functional formalisms such as the-and-calculi. Structurally it is similar to but simpler than the-calculus; ...

In this paper, we suggest two ways of calculating interpolation models for unconstrained smooth nonlinear optimization when Hessian-vector products are available. The main idea is to interpolate the objective function using a quadratic on set points around current one and concurrently curvature information from Hessian times appropriate vectors, possibly defined by interpolating points. These e...

For functions defined on integer lattice points, discrete versions of the Hessian matrix have been considered in various contexts. In discrete convex analysis, for example, certain combinatorial properties of the discrete Hessian matrices are known to characterize M-convex and L-convex functions, which can be extended to convex functions in real variables. The relationship between convex extens...

A stable smooth map f : N → M is called k-realizable if its composition with the inclusion ⊂ × ℝk C0-approximable by embeddings; and a k-prem same C∞-approximable embeddings, or, equivalently, lifts vertically to embedding ↪ ℝk. It obvious that k-prem, then it k-realizable. We refute so-called “prem conjecture” converse holds. Namely, for each n = 4k+3 ≥ 15 there exists immersion Sn ↬ ℝ2n−7 3-r...

This paper aims to present a structured variational inference algorithm for switching linear dynamical systems (SLDSs) which was initially introduced by Pavlovic and Rehg [14]. Starting with the need for the variational approach, we proceed to the derivation of the generic (model-independent) variational update formulas which are obtained under the mean field assumption. This leads us to the de...

We derive expressions for the shape Hessian operator of the data misfit functional corresponding to the inverse problem of inferring the shape of a scatterer from reflected acoustic waves, using a Banach space setting and the Lagrangian approach. The shape Hessian is then analyzed in both Hölder and Sobolev spaces. Using an integral equation approach and compact embeddings in Hölder and Sobolev...

We derive expressions for the shape Hessian operator of the data misfit functional corresponding to the inverse problem of inferring the shape of a scatterer from reflected acoustic waves, using a Banach space setting and the Lagrangian approach. The shape Hessian is then analyzed in both Hölder and Sobolev spaces. Using an integral equation approach and compact embeddings in Hölder and Sobolev...

Two approximations of the Hessian matrix as limited-memory operators are built from the limited-memoryBFGS inverse Hessian approximationprovided by the minimization code, in view of the speci cation of the inverse analysis/forecast error covariance matrix in variational data assimilation. Some numerical experiments and theoretical considerations lead to reject the limited-memory DFP Hessian app...

The focus of the present study was to compare ultrastructure in the midguts of larvae of the Hessian fly, Mayetiola destructor (Say), under different feeding regimens. Larvae were either fed on Hessian fly-resistant or -susceptible wheat, and each group was compared to starved larvae. Within 3h of larval Hessian fly feeding on resistant wheat, midgut microvilli were disrupted, and after 6h, mic...