We introduce a modification of the classical Hawkes’ processes in which also inhibitory connections between units are allowed. This formalism is used to model networks of neurons characterized by an exponential transfer function. The expected intensities of the process are approximated by a differential system of first-order and the stability of the solutions of this equation is studied. We dis...

There is a consensus that conventional continuous demand distribution methods are not appropriate for forecasting replacement parts. However, many forecasting tools available in market still use them. This work presents an application of the Poisson distribution to forecast the needs of electronic spare parts. Using basic stock management notions and usual concepts of reliability, availability ...

financial statement of a company is a reflection of the operational and financial position of a company. the comparative analysis of two companies similar in nature, size, work, location and objectives etc., facilitates an understanding of the operational and financial soundness of the companies. the kingdom of saudi arabia is aiming for rapid industrialization in its economy. sahara petrochemi...

Searching for a Different Understanding of Operational Art, by MAJ Sean C Chang, 40 pages. Many think that operational art is about connecting strategic objectives to tactical actions or a creative process that enhances the effectiveness of military operations. This monograph seeks to explore a deeper understanding of operational art beyond the existing debate and investigates operational art f...

To adequately deal with the unpredictable and dynamic environments normative frameworks are typically deployed in, mechanisms for modifying the norms at runtime are crucial. We present the syntax and operational semantics of generic programming constructs to facilitate runtime norm modification, allowing a programmer to specify when and how the norms may be changed by external agents or by the ...

Primarily guided with the idea to express zero-time transitions by means of temporal propositional language, we have developed a temporal logic where the time flow is isomorphic to ordinal ω 2 (concatenation of ω copies of ω). If we think of ω 2 as lexicographically ordered ω×ω, then any particular zero-time transition can be represented by states whose indices are all elements of some {n} × ω....

Relational semantics is one of the simplest and categorically most natural semantics of Linear Logic. The co-Kleisli category MRel associated with its multiset exponential comonad contains a fully abstract model of the untyped λ-calculus. That particular object of MRel is also a model of the resource λ-calculus, deriving from Ehrhard and Regnier’s differential extension of Linear Logic and rela...

We present a semantic framework for soft real-time processes, i.e., processes that meet their deadlines most of the time. The key components of our framework are: (1) a speciication language PDP (for Probabilistic and Discrete-time Processes) that incorporates both prob-abilistic and timing aspects of process behavior; (2) a formal operational semantics for PDP given as a re-cursively deened pr...

This paper presents in a reasoned way our works on resource analysis by quasiinterpretations. The controlled resources are typically the runtime, the runspace or the size of a result in a program execution. Quasi-interpretations allow analyzing system complexity. A quasi-interpretation is a numerical assignment, which provides an upper bound on computed functions and which is compatible with th...

The Modechart speciication language is a formalism for speciication of real-time systems. The original semantics of the language is described in an axiomatic style, with Real-Time Logic being the underlaying logic. We introduce a new formal semantics for it in an operational style in two steps. The semantics for the class of deterministic speciications is introduced rst and then it is extended ...