in this paper, single, bi-layered and three-layered tube hydroforming processes were numerically simulated using the finite element method. it was found that the final bulges heights resulted from the models were in good agreement with the experimental results. three types of modeling were kept with the same geometry, tube material and process parameters to be compared between the obtained hydr...

in spite of the technologies developed during the last decade, the level of food loss is still high and is reported in many countries. according to the united nations, more than 30 per cent of the mortality rate world-wide is caused by alimentary diseases. the desire of most countries to make food safer for consumption requires better food preservation and production techniques. in this regard,...

Propositional dynamic logic (PDL for short) [5] is an expressive, powerful and convenient logical tool to reason about programs or actions. It has found applications in various fields of computer science, which range from program verification to multi-agent systems. In computer science applications, the modal logic S5 is generally accepted as an adequate representation of the notion of knowledg...

Preserving information systems is one of the greatest challenges in digital preservation. In this paper we outline the existing strengths and shortcomings of a record-centric driven preservation approach for relational databases by lining up a state-of-the art industry database archiving tool CHRONOS against SIARD one of the most popular products in the GLAM (galleries libraries archives museum...

The animal health risks associated with the movement of wildlife products are infinitely less than those associated with the movement of live animals. Very few pathogens are sufficiently robust to survive the significant changes in temperature, pH, moisture content and osmolality which occur post mortem, or which are associated with preservation processes such as pickling, smoking or drying. Ce...