In recent work, the second and third authors introduced a technique for reachability checking in 1-bounded Petri nets, based on wiring decompositions, which are expressions in a fragment of the compositional algebra of nets with boundaries. Here we extend the technique to the full algebra and introduce the related structural property of decomposition width on directed hypergraphs. Small decompo...

Intermetallic Ni3Al – based alloys belong to a group of advanced materials characterized by good chemical and physical properties (such as structural stability, corrosion resistance) which offer advenced technological applications. The paper presents the study of catalytic properties of Ni3Al foils (thickness approximately 50 μm) in the methanol and hexane decomposition. The egzamined material ...

We give a new, and hopefully more easily understandable, structural proof of the decomposition of a k-valued transducer into k unambiguous functional ones, a result established by A. Weber in 1996. Our construction is based on a lexicographic ordering of computations of automata and on two coverings that can be build by means of this ordering. The complexity of the construction, measured as the...

The fluorescence properties of tryptophan residues are sensitive to the microenvironment of fluorophores in proteins. Therefore, fluorescence characteristics are widely used to study structural transitions in proteins. However, the decoding of the structural information from spectroscopic data is challenging. Here we present a review of approaches developed for the decomposition of multi-compon...

The chapter covers methods for identifying islands of tractability for NP-hard combinatorial problems by exploiting suitable properties of their graphical structure. Acyclic structures are considered, as well as nearly acyclic ones identified by means of so-called structural decomposition methods. In particular, the chapter focuses on the tree decomposition method, which is the most powerful de...

of Dissertation Presented to the Graduate School of the University of Florida in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy PATTERNS IN PERMUTATIONS AND INVOLUTIONS, A STRUCTURAL AND ENUMERATIVE APPROACH By Cheyne Homberger May 2014 Chair: Miklós Bóna Major: Mathematics This dissertation presents a multifaceted look into the structural decomposition of permut...

We give a new and hopefully more easily understandable structural proof for the decomposition of a k-valued transducer into k unambiguous functional transducers, a result established by A. Weber. The number of states of the transducers given by our construction outperforms Weber’s one by one exponential. Moreover, we solve a problem left open by Weber, the decomposition of a bounded length-degr...

We present a method for decomposing modal formulas for processes with the internal action τ . To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra. We use this decomposition method...

We present a method for decomposing modal formulas for processes with the internal action τ . To decide whether a process algebra term satisfies a modal formula, one can check whether its subterms satisfy formulas that are obtained by decomposing the original formula. The decomposition uses the structural operational semantics that underlies the process algebra. We use this decomposition method...