Nowadays, the real structures (considered as prototypes) subjected to fire are analysed by means of behaviours some reduced scale (defined models). These prototype–model correlations governed so-called dimensional analysis (DA) methods. methods, starting from Buckingham theorem, offer several dimensionless variables and based on them is Model Law (ML), which able foresee predictable prototype’s...

In recent years, many researches have been done to establish symbolic models of stateful protocols. Two works among them, the SAPIC tool and StatVerif tool, provide a high-level specification language and an automated analysis. Their language, the stateful applied π calculus, is extended from the applied π calculus by defining explicit state constructs. Symbolic abstractions of cryptography use...

Let D = (V,A) be a simple digraph, and let π(D), the panchromatic number of D, be the maximum number of colours k such that for each colouring of its arcs ς : A → [k] a kernel by monochromatic paths N ⊂ V , as introduced in [6], exists. It is not hard to see that D has a kernel —in the sense of Von Neumann [11]— if and only if π(D) = |A|. In this note this invariant is introduced and some of it...

Given a smooth complex surface S, and a compact connected global normal crossings divisor D = ∪ i D i , we consider the local fundamental group π 1 (T \ D), where T is a good tubular neighbourhood of D. One has an exact sequence 1 → K → Γ := π 1 (T −D) → Π := π 1 (D) → 1, and the kernel K is normally generated by geometric loops γ i around the curve D i. Among the main results, which are strong...

−→ V, (v1, v2) −→ v1+v2, are smooth. Note that we can add v1, v2∈V only if they lie in the same fiber over M , i.e. π(v1)=π(v2) ⇐⇒ (v1, v2) ∈ V ×M V. The space V ×M V is a smooth submanifold of V ×V , as follows immediately from the Implicit Function Theorem or can be seen directly. The local triviality condition means that for every point m∈M there exist a neighborhood U of m in M and a diffeo...

We present a partial classification of those finite linear spaces S on which an almost simple group G with socle PSL(3, q) acts line-transitively. A linear space S is an incidence structure consisting of a set of points Π and a set of lines Λ in the power set of Π such that any two points are incident with exactly one line. The linear space is called non-trivial if every line contains at least ...

After the success of stable model semantics [GL88] and its generalization for programs with classical negations [GL90], the same ideas have been used in [GL91] to include disjunction into the resulting formalization of commonsense reasoning. The resulting semantics of disjunctive logic programs is relatively new, and therefore, few results are known. An additional problem with this semantics is...

For a permutation π in the symmetric group Sn let the total degree be its valency in the Hasse diagram of the strong Bruhat order on Sn, and let the down degree be the number of permutations which are covered by π in the strong Bruhat order. The maxima of the total degree and the down degree and their values at a random permutation are computed. Proofs involve variants of a classical theorem of...

stability of the π-π stacking interactions in the ben||n-substituted-coronene complexes was studied using the computational quantum chemistry methods (where ben is benzene and || denotes π-π stacking interaction, and n-substituted-coronene is coronene molecule which substituted with different number of n atoms). the results reveal simultaneous effects of structure and number of heteroatom on th...