The Theory–Model paradigm is a way of thinking about design methods. The theory of a method specifies categories of information and axioms about them. A particular design is an interpretation of the theory if it assigns meaning to all of the categories, and is a model if it satisfies all of the axioms. Module Interconnection Languages (MILs) describe and enforce the modular structure of systems...

Manifest fields in a type of modules are shown to be expressible in intensional type theory without strong extensional equality rules. These intensional manifest fields are made available with the help of coercive subtyping. It is shown that, for both Σ-types and dependent record types, the with-clause for expressing manifest fields can be introduced by means of the intensional manifest fields....

breast cancer is the second largest cause of cancer deaths among women. at the same time, it is also among the most curable cancer types if it can be diagnosed early. this paper presents a novel hybrid intelligent method for recognition of breast cancer tumors. the proposed method includes three main modules: the feature extraction module, the classifier module and the optimization module. in t...

We give a new Banach module characterization of W *-modules, also known as selfdual Hilbert C *-modules over a von Neumann algebra. This leads to a generalization of the notion, and the theory, of W *-modules, to the setting where the operator algebras are σ-weakly closed algebras of operators on a Hilbert space. That is, we find the appropriate weak* topology variant of our earlier notion of r...

This paper describes an approach to module composition by executing \module expressions" to build systems out of component modules. This approach extends the structural description capabilities of existing Architecture Description Languages (ADLs) to facilitate the manipulation of architectural components in a manner that results in either new components or complete instantiations of parameteri...

We develop a theory of G-dimension over local homomorphisms which encompasses the classical theory of G-dimension for finitely generated modules over local rings. As an application, we prove that a local ring R of characteristic p is Gorenstein if and only if it possesses a nonzero finitely generated module of finite projective dimension that has finite G-dimension when considered as an R-modul...

In consideration of shortcomings of general teachers’ training module, such as less chance, inefficiency, theory-practice gap and short duration, we expounds the concept and process of teachers’ training module based on MOOC, discusses how MOOC platform promote collaborative teachers’ training development and improve teachers’ training methods and other issues in this paper. This paper proposes...

Algebra Situs is a branch of mathematics which has its roots in Jones' construction of his polynomial invariant of links and Drinfeld's work on quantum groups. It encompasses the theory of quantum invariants of knots and 3-manifolds, algebraic topology based on knots, operads, planar algebras, q-deformations, quantum groups, and overlaps with algebraic geometry, non-commutative geometry and sta...

This work presents a framework to handle the class fragmentation problem during the design of distributed object databases. The framework works in the conceptual level, and thus uses the object data model to capture the application semantics represented by the user. The proposed framework integrates three modules. The heuristic module defines a set of heuristics to drive the fragmentation of ob...