In the present paper a dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set by referring to assertion conditions for type-theoretical judgements; it interprets expectations in terms of default assumptions for such a structure and it adapts the usual revision operations and the analogous of the Ramsey test....

The article provides an overview of what could be a new biological-inspired linguistics. The authors discuss some reasons for attempting a more natural description of natural language, lying on new theories of molecular biology and their formalization within the area of theoretical computer science. The authors especially explore three bio-inspired models of computation –DNA computing, membrane...

Intangible cultural heritage is a concept closely related to the nation and country, protecting intangible has an important strategic significance for development of our country. The essence national culture, symbol wisdom crystallization spirit. Starting from case analysis, this paper summarizes “experience” personalized design exhibition promotes it, avoids formalization, formalization fragme...

introduction: hospital has a complex and special structure and the important question that hospital management facing with is how technology can change structure. in the near future, no factor like it is able to change the structure of organization. this research is a way to know the effect of it on triple dimensions of organization structure includes complexity, formalization, and centralizati...

The purpose of this introduction is to give a rough overview the discussion formalization arguments, focusing on deductive arguments. structured around four important junctions: i) notion support, which captures relation between conclusion and premises an argument, ii) choice formal language into argument translated in order make it amenable evaluation via methods, iii) question quality criteri...

constraint bipartite vertex cover is a graph-theoretical formalization of the spare allocation problem for reconfigurable arrays. We report on an implementation of a parameterized algorithm for this problem. This has led to considerable simplifications of the published, quite sophisticated algorithm. Moreover, we can prove that the mentioned algorithm could be quite efficient in practial situat...

Interactive evolutionary algorithms IEAs are special cases of interactive optimization methods Potential applications range from multicriteria optimization to the support of rapid prototyping in the eld of design In order to provide a theoretical framework to analyze such evolutionary methods the IEAs are formalized as stochastic Mealy automata The potential impacts of such a formalization are ...

This paper is about a new way for programming distributed applications: the service-oriented one. It is a concept paper based upon our experience in developing a theory and a language for programming services. Both the theoretical formalization and the language interpreter showed us the evidence that a new programming paradigm exists. In this paper we illustrate the basic features it is charact...