Business process modeling entails the capture of a set of tasks that invariably model the functional behavior of a system. Another aspect of business process modeling involves the accurate capture of operational behavior and the associated process constraints. Whether the process is automated or manual, such operational constraints and behavior exist. This may include a variety of properties in...

Sexual conflict occurs when individuals of one sex express traits that reduce the fitness of individuals of the other sex. In many poeciliid fish, males harass females for copulations, which is thought to reduce female fitness by lowering foraging efficiency and increasing predation risk, energetic expenditure and the likelihood of disease transmission. Mating may also be costly for males, who ...

The aim of this study was to create a decision support system for disc hernia diagnostics based on real measurements foot force values from sensors and fuzzy logic, as well implement the Field Programmable Gate Array (FPGA). results show that created logic had 92.8% accuracy pre-operational diagnosis very high match between Matlab FPGA output (94.2% condition, 100% post-operational after physic...

(Diacetoxyiodo)benzene has been used as an efficient catalyst for an improved and rapid one-pot synthesis of biscoumarin derivatives in excellent yield under reflux condition using water as a environmentally benign reaction medium. This aqua mediated Knoevenagel condensation of various aromatic and hetero-aromatic aldehydes with 4-hydroxycoumarin using catalytic amount of (diacetoxyiodo)benzene...

An environmentally friendly, green, and highly efficient process for the synthesis of biologically and pharmacologically  4H-benzo[b]pyrans  and  3,4-dihydropyrano [c] chromenes  is  developed  by condensing cyclic aromatic aldehydes, malononitrile, and dimedone or 4‐hydroxycoumarin in the presence  of  lactic  acid  as  an  efficient  and  green  catalyst.  The corresponding  products  have  b...

We investigate the physics of the formation of closed flux surfaces under the condition that a radio frequency (RF) wave is injected into the Compact Plasma Wall Interaction Experimental Device (CPD). From the orbits of the energetic electrons calculated for the open magnetic flux configuration, we estimate the plasma current Ies due to energetic electrons. We find that Ies increases with decre...

An institution for a simple logic of behaviour is built using a cofibration from a category of transition systems into the envisaged category of signatures. The chosen propositional, linear temporal logic distinguishes between event occurrence and event enabling. The satisfaction condition is proved using a fibered adjunction between transition systems and their computations. The operational se...