The animation of synthetic faces is still a low-level process requiring much human expertise and hw/sw resources. The constraint-based facial animation editor system, FESINC, provides two kinds of support: allows the a-priory, declarative definition of dynamical expressions and requirements, and assures that while making the animation, these requirements are fulfilled. The novelty of the approa...

The issue of whether extensional viscosity is a concept that causes more confusion than enlightenment is addressed. This author’s view is that misuse of the concept certainly has caused much confusion and, although it is in principle a simple and straightforward idea, it continues to be misused. What is straightforward is the formal definition of extensional viscosity, for steady uniform extens...

We describe methods for automated theorem proving in extensional type theory with primitive equality. We discuss a complete, cut-free sequent calculus as well as a compact representation of cut-free (ground) proofs as extensional expansion dags. Automated proof search can be realized using a few operations to manipulate extensional expansion dags with variables. These search operations form a b...

The paper continues a study of extensional formulas and their representation by normal forms. The notion of extensional formula is extended to the case when extensionality is considered with respect to a binary reflexive relation. It has been proved that extensional formulas can be represented by normal forms of infinite type and “approximated” by normal forms of finite type. All proofs are giv...

Relational databases have had great industrial success in computer science, their power evidenced by theoretical analysis and widespread adoption. Often, automated theorem provers do not take advantage of database query engines and therefore do not routinely leverage that source of power. Extensional Reasoning is a novel approach to automated theorem proving where the system automatically trans...

In this paper, the design, fabrication and experimental analysis of a piezoelectrically actuated micro squeeze flow rheometer is presented. Being only 30x30x0.5 mm in size, the micro rheometer is sensitive to very small volumes of the order of 1-10 nano-litre of liquid and light enough to operate at frequencies in the kHz regime, an order of magnitude higher than normally attainable with conven...