In hardware and software design model checkers are nowadays used with success to verify properties of system components [23]. The limits of the approach to cope with the size and the complexity of modern computer-based systems are felt when it comes to provide evidence of the trustworthiness of the entire system that has been built out of verified components. To achieve this task one has to exp...

Our approach offers an alternative way for dynamic web-based mapping. An Internet file system can be accessible via web browsers in which users can upload, download, view, and execute files. Our system will allow users select shape files from the web interface of the Internet file system for mapping using the ArcIMS services. The integration of the ArcIMS with the Internet file system provides ...

Flexible and responsive demand is key to the decarbonising of energy systems. In this paper, an economic dispatch model a district heating system, modelled as linear program, soft-linked so-called flexibility function end-consumer responses time-varying heat prices, generically set ordinary differential equations. This linkage allows us determine cost savings potential response in order quantif...

Background and Objectives: As chemical methods are commonly used to modify the starch properties, in this study, the influence of chemical modification using POCl3 on the rice starch function was evaluated. Materials and Methods: Rice starch was isolated by alkaline extraction of the proteins and cross-linked rice starches were prepared from reactions between native rice starch (low and high a...

New biodegradable network polymers containing siloxane-linked polymeric prodrugs of 5-ammino-2-hydroxybenzoic acid (5-ASA) in the main chain were prepared by ter polymerization of methacrylic acid (MA), 2-hydroxyethylmethacrylate (HEMA), and bis (trimethylsilyloxy) methylsilane (VBM) in the presence of some new cross-linking agents.The monomers and polymers were characterized by FT-IR and 1H-NM...

Water distribution networks are one of the important and costly infrastructures of cities and many meta-heuristic algorithms in standard or hybrid forms were used for optimizing water distribution networks. These algorithms require a large amount of computational cost. Therefore, the converging speed of algorithms toward the optimization goal is as important as the goal itself. In this paper, a...

Entity Linking is to link a name string from plain-text documents to the corresponding entry in given knowledge base. In this paper we demonstrate our entity linking system for TAC KBP 2011 Track. Our system implements pairwise and listwise learning to rank methods to create a ranking list of candidates with several kinds of features, including context similarity, term frequency, key entity ext...

Psychological problems play a critical role in development of cardiovascular disease. Several mechanisms were suggested to explain the association and mechanism of this effect, recently. Knowledge of the mechanisms mediating the association between psychological status and heart disease could help in developing treatments. The effects of mind and mood on the cardiovascular system can be due to ...