E-commerce websites are important to implement in small business processes. To facilitate the transaction process, this research was carried out so that process between sellers and buyers became more effective efficient. The purpose of is attract consumers with an attractive user-friendly website buy products from KawanKita bicycle shop it has impact on increasing sales, analytical method appli...

Separation logic is a Hoare-style logic for reasoning about programs withheap-allocated mutable data structures. As a step toward extending separation logic tohigh-level languages with ML-style general (higher-order) storage, we investigate the com-patibility of nested Hoare triples with several variations of higher-order frame rules.The interaction of nested triples and frame r...

Despite its shaping influence on the interactive structures of desktop computing, humancentered design has yet to be seriously applied to the filesystem. GNOME Storage is an evolving design and implementation for a document store that addresses many problems stemming from traditional filesystems. Some of the problems are: document folders are overflowing with hundreds of files, there's a strong...

this field study was conducted on 60 women who working in related centers of universities of medical sciences in tehran. data gathering tool was maternal separation anxiety questionnaire that designated by hock & et al. (1982).  findings revealed that majority of the research units (71.7%), have high degree of maternal separation anxiety. mean degree of maternal separation anxiety was (21.22±3....

â a model is developed for separation of multicomponent gas mixtures in a countercurrent hollow fiber membrane module. while the model’s solution in countercurrent module usually involves in a time consuming iterative procedure, a proper initial guess is proposed for beginning the calculation and a simple procedure is introduced for correcting the guesses, hereby the cpu time is decreased ess...