The Curry-Howard isomorphism is a correspondence between logical formulas and types. The central idea is that each type τ corresponds to a logical formula φ, and that a proof that some expression e is well-formed with respect to type τ , (i.e., e : τ) corresponds to a proof that the logical formula φ is logically valid. Many variations of classical logic have been developed, especially in the l...

This article provides an understanding of the formation research skills in students through teaching technical sciences, use methods, and by providing knowledge.

We introduce Architectural Design Rewriting (ADR), an approach to deal with the design of reconfigurable software architectures. The key features we promote are: (i) rule-based approach (over graphs); (ii) hierarchical design; (iii) algebraic presentation; and (iv) inductivelydefined reconfigurations. Architectures are suitably modeled by graphs whose edges and nodes respectively represent comp...

In this study, preparation of nano-sized gamma alumina with high specific surface area and high yield by thereaction between aluminum nitrate and sodium carbonate, without using any surfactant is reported. Bohemite (Aluminum oxyhydroxide) was prepared as a precursor by strict control of pH and reaction temperature. The gel produced was purified by washing fol...

In her article "Chekhov as a Founder of the Comedy of a New Type" Vera Zubarev discusses Chekhov's innovations within the framework of general systems thinking and the predispositioning theory. To this end, the notion of the positional style is used as a subject of systems analysis. Zubarev postulates that Chekhov's innovative style signified a new era of thinking now known as systems thinking....

This paper presents an innovative approach based on social-network gaming, which will extract players’ cognitive styles for personalization purposes. Cognitive styles describe the way individuals think, perceive and remember information and can be exploited to personalize user interaction. Questionnaires are usually employed to identify cognitive styles, a tedious process for most users. Our ap...

Different professions adopt their own language such that the semantics involves elements very specific to their domain. System developers approaching users in a new domain often experience initial difficulties when trying to understand what takes place at work. Since most software developers also lack knowledge of human-computer interaction (HCI), we have been investigating means of transferrin...