Justification Awareness Models, JAMs, were proposed by S. Artemov as a tool for modelling epistemic scenarios like Russel’s Prime Minister example. It was demonstrated that the sharpness and the injective property of a model play essential role in the epistemic usage of JAMs. The problem to axiomatize these properties using the propositional justification language was left opened. We propose th...

We consider an optimal-velocity car-following model with reaction-time delay of drivers, where the characteristics of the drivers change according to a suitably calibrated random walk. In the absence of this stochasticity we find stable and almost stable oscillations that correspond to stop-and-go traffic jams that eventually merge or disperse. We study how the distribution of the merging times...

is added to grapefruit pulp the pulp acts as a bland filler and makes an apple pie. If peach is added it makes a peach pie. Citric acid, sugar and peel oil give excellent orange, grapefruit and tangerine jams. A little' peel oil, sunset yellow, No. 6 and sugar makes a good ice cream mix. Add more sugar and you have a good sundae topping. Cake fillings were made from the jams but they gave troub...

In this paper computer simulation results of higher-order density correlations for cellular automaton models of traffic flow are presented. The examinations show the jamming transition as a function of both the density and the magnitude of noise and allow one to calculate the velocity of upstream moving jams. This velocity is independent of the density and decreases with growing noise. The poin...

Abstract This study aimed to evaluate the feasibility of producing low-sugar mango jams enriched with curcumin-loaded lipid microparticles (CLM). The were incorporated babacu oil and tristearin encapsulating curcumin, using tween 80 span 60 as surfactants. characterized by physicochemical sensory tests along 30 days storage, results revealed CLM incorporation had only a small influence on macro...

We propose a model to simulate different traffic-flow conditions in terms of quantum graphs hosting an (N+ 1)-level dot at each site. Our allows us keep track the type and destination vehicle. The traffic flow inside system is encoded proper set Lindbladian local dissipators that describe time evolution density matrix. Taking advantage invariance Lindblad master equation under inhomogeneous tra...