Let Hn be the number of claw-free cubic graphs on 2n labeled nodes. Combinatorial reductions are used to derive a second order, linear homogeneous differential equation with polynomial coefficients whose power series solution is the exponential generating function for {Hn}. This leads to a recurrence relation for Hn which shows {Hn} to be P -recursive and which enables the sequence to be comput...

One of the most important sequela in persons who suffer from acquired brain injury is a behavioral disorder. To date, the primary approaches for the rehabilitation of this sequela are Applied Behavior Analysis, Cognitive-Behavior Therapy, and Comprehensive-Holistic Rehabilitation Programs. Despite this theoretical plurality, none of these approaches focuses on rehabilitating behavioral disorder...

There are many use cases in business process management that require the comparison of behavioral models. For instance, verifying equivalence is the basis for assessing whether a technical workflow correctly implements a business process, or whether a process realization conforms to a reference process. This paper proposes an equivalence relation for models that describe behaviors based on the ...

BACKGROUND Childhood maltreatment (CM) history has been associated with poor treatment response in major depressive disorder (MDD), but the mechanisms underlying this relationship remain opaque. Dysfunction in the neural circuits for executive cognition is a putative neurobiological consequence of CM that may contribute importantly to adverse clinical outcomes. We used behavioral and neuroimagi...

We extend Belnap's Display Logic to give a cut-free Gentzen-style calculus for relation algebras. The calculus gives many axiomatic extensions of relation algebras by the addition of further structural rules. It also appears to be the rst purely propositional Gentzen-style calculus for relation algebras.

Scale-free organizations, characterized by uneven distributions of linkages between nodal elements, describe the structure and function of many life-based complex systems developing under evolutionary pressures. We explore motivated behavior as a scale-free map toward a comprehensive translational theory of addiction. Motivational and behavioral repertoires are reframed as link and nodal elemen...