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...

Schema integration as part of the database design as well as of the database integration process has to deal with extensional relationships among classes of the di erent schemata to be integrated. As a rule, the extensional relationships must be speci ed by the database designer. Partially, some relationships may also be derived from other relationships. Most existing schema integration approac...

Several recent techniques and tools for Ontology-based Data Access (OBDA) make use of the so-called extensional constraints (a.k.a. ABox dependencies). So far, extensional constraints have been mainly considered in a setting where data are represented in an ABox, instead of external data sources connected to the ontology through declarative mappings. Moreover, the issue of how to generate exten...

Interfacial dynamics of membrane-enclosed fluid volumes in viscous flows is complicated due to the coupling of the fluid dynamics with the membrane properties. Based on computational investigation via our interfacial spectral boundary element algorithm, our study shows that a (strain-hardening) Skalak-type capsule in a planar extensional Stokes flow develops steady-state shapes whose edges from...

Birefringent strands are key to understanding polymeric non-Newtonian flows, especially in extension. Utilising microfluidic extensional flow oscillatory rheometry coupled with microvelocimetry (μ-PIV), we report experiments on the genesis, steady state and decay of such strands, together with rheological consequences. For closely monodisperse atactic polystyrene, we report massive effects of t...

reluctance towards implementation of precision agriculture (pa) seems to be based on lackof consideration to education, extension, and research sectors. the objective of this study isto identify educational, extensional, and research requirements in application of the pasystem. the research population included all the experts in qazvin province who are familiarwith pa concepts and pa’s equipmen...

The eastern Mediterranean hosts, within the span of a few hundred kilometers, extensional, strike-slip, and collision tectonics above set fragmenting subducting slabs. Slab roll-back, toroidal flow, lithospheric dripping/delamination processes are also believed to be operating. Associated asthenospheric flow deformation expected manifest as seismic anisotropy, measurable via study SKS shear wav...