We show that long-range ferroelectric and incommensurate magnetic order appear simultaneously in a single phase transition in Ni3V2O8. The temperature and magnetic-field dependence of the spontaneous polarization show a strong coupling between magnetic and ferroelectric orders. We determine the magnetic symmetry using Landau theory for continuous phase transitions, which shows that the spin str...

The evaluation of the opportunity of investments on complex production processes is a critical factor in order to enable the balance of risks and potential benefits. There is no out-ofthe-box tool that can solve this problem: only the experience of the responsible expert and his knowledgeability of the process can help. Outcome Driven Innovation is an evaluation technique that can support decis...

The thermodynamic balance of the Weddell Gyre is assessed from an inverse estimate of the circulation across the gyre’s rim. The gyre experiences a weak net buoyancy gain that arises from a leading-order cancelation between two opposing contributions, linked to two cells of water mass transformation and diapycnal overturning. The lower cell involves a cooling-driven densification of 8.4± 2.0 Sv...

As first pioneered by [19] and treated in detail in [9] one of the crucial roles of market microstructure is price revelation. Different trading systems have emerged and evolved, from auctions to limit order books and dark pools. Each of them correspond to a different way of handling the risk of adverse selection, highlighting the importance played by private beliefs in the trading process. Age...

Intermittent behavior is shown to appear in a system of self-driven interacting particles. In the ordered phase, most particles move in the same approximate direction, but the system displays a series of intermittent bursts during which the order is temporarily lost. This intermittency is characterized and its statistical properties are found analytically for a reduced system containing only tw...

A complete, subformula-preserving proof system for goal-driven reasoning in first-order logic is presented. The proof system is a transition system and its proofs are (linear and local) computations in the transistion system. Thus the proof system fits into a standard framework for modeling problem-solving in cognitive psychology. §

We argue that on electronic markets, competition between liquidity providers should reduce the spread until the execution cost using market orders matches that of limit orders. This implies a linear relation between the bid-ask spread and the average impact of market orders, in good agreement with our empirical observations. We then use this relation to justify a strong, and hitherto unnoticed,...

This artifact is a proof-of-concept implementation of DDPA, an on-demand program analysis for higherorder functional programs. The implementation, written in OCaml, includes a parser, evaluator, and DDPA analysis for the language defined in the companion paper (including the proper record semantics extension). The analysis may be performed using different levels of precision as specified by the...

This paper studies a market game under uncertainty in which agents may submit multiple limit and market orders. When agents know their preferences at all states, the competitive equilibrium can be supported as a Nash equilibrium of the market game, that is, agents behave as if they were price takers. Therefore, if the associated competitive economy has a fully revealing rational expectations eq...