This paper investigates the Hamiltonian structure and Poisson bracket formulation of a higher-order, geometrically-exact Cosserat type beam with deforming cross-section in terms canonically conjugate variables.

We consider a class of stochastic models for which the performance measure is deened as a mathematical expectation that depends on a parameter , say (), and we are interested in constructing estimators of in functional form (i.e., entire functions of), which can be computed from a single simulation experiment. We focus on the case where is a continuous parameter, and also consider estimation of...

Emotional states of consciousness, or what are typically called emotional feelings, are traditionally viewed as being innately programmed in subcortical areas of the brain, and are often treated as different from cognitive states of consciousness, such as those related to the perception of external stimuli. We argue that conscious experiences, regardless of their content, arise from one system ...

We set up a general framework for higher order probabilities. A simple HOP (Higher Order Probability space) consists of a probability space and an operation PR, such that, for every event A and every real closed interval zL PR(A ,A) is the event that A's "true" probability lies in A. (The ' t rue" probability can be construed here either as the objective probability, or the probability assigned...

We develop a general tool to formalize and reason about languages expressed using higher-order abstract syntax in a proof-tool based on type theory (Coq). A language is specified by its signature, which consists of sets of sort and operation names and typing rules. These rules prescribe the sorts and bindings of each operation. An algebra of terms is associated to a signature, using de Bruijn n...