For small involutive and integral quantaloids Q it is shown that covariant presheaves on symmetric Q-categories are equivalent to certain subalgebras of a speci c monad on the category of symmetric Q-categories. This construction is related to a weakening of the subobject classi er axiom which does not require the classi cation of all subalgebras, but only guarantees that classi able subalgebra...

Requirements capture by scenarios and user interface prototyping have become popular techniques. Yet, the transition from scenarios to formal specifications is still ill-defined, and prototyping remains weak in linking the application domain with the user interface. Most importantly, the prototyping and the scenario approaches lack integration in the overall requirements engineering process. In...

We study a neuro-inspired model that mimics a discussion (or information dissemination) process in a network of agents. During their interaction, agents redistribute activity and network weights, resulting in emergence of leader(s). The model is able to reproduce the basic scenarios of leadership known in nature and society: laissez-faire (irregular activity, weak leadership, sizable inter-foll...

Recent work on the logical structure of non-locality has constructed scenarios where observations of multi-partite systems cannot be adequately described by compositions of non-signaling subsystems. In this paper we apply these frameworks to economics. First we construct a empirical model of choice, where choices are understood as observable outcomes in a certain sense. An analysis of contextua...

we start this article by rebuilding higher operads of weak higher transformations, and correct those in cite{cambat}. as in cite{cambat} we propose an operadic approach for weak higher $n$-transformations, for each $ninmathbb{n}$, where such weak higher $n$-transformations are seen as algebras for specific contractible higher operads. the last chapter of this article asserts that, up to precise...

Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Charts (LSC) extend Message Sequence Charts by also allowing the designer to specify scenarios which must happen. Live Sequence Chart specifications are executable; their simulation allows the designer to play out potentia...

We use currently available data of nonleptonic charmless 2-body B → MM decays (MM= PP, PV, V V ) that are mediated by b → (d, s) QCDand QED-penguin operators to study weak annihilation and new-physics effects in the framework of QCD factorization. In particular we introduce one weak-annihilation parameter for decays related by (u ↔ d) quark interchange and test this universality assumption. Wit...

We demonstrate an experiment which utilizes a Sagnac interferometer to measure a change in optical frequency of 129 ± 7 kHz/√Hz with only 2 mW of continuous-wave, single-mode input power. We describe the measurement of a weak value and show how even higher-frequency sensitivities may be obtained over a bandwidth of several nanometers. This technique has many possible applications, such as preci...

Message Sequence Charts (MSC) have traditionally been used as a weak form of behavioral requirements in software design; they denote scenarios which may happen. Live Sequence Charts (LSC) extend Message Sequence Charts by also allowing the designer to specify scenarios which must happen. Live Sequence Chart specifications are executable; their simulation allows the designer to play out potentia...

We propose a new higher-dimensional mechanism for solving the hierarchy problem. The weak scale is generated from a large scale of order the Planck scale through an exponential hierarchy. However, this exponential arises not from gauge interactions but from the background metric (which is a slice of AdS5 spacetime). This mechanism relies on the existence of only a single additional dimension. W...