![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter
Technical Efficiency in Agriculture
Resource limitations in the agricultural sector for achieving food production is one of the most critical challenges for planners and policymakers in many countries including Iran. Optimal use of available res...
-
Chapter and Conference Paper
Run-Time Verification for Observational Determinism Using Dynamic Program Slicing
Information flow security states that secret information should not affect what is publicly observable. Such a requirement is usually expressed as a noninterference policy, which in general stipulates that th...
-
Chapter
Heat Treating of High Pressure Die Cast Components: Challenges and Possibilities
Improving the mechanical properties of high pressure die-cast (HPDC) components through T6 heat treatment is still a challenge due to surface blistering. In the current study, theoretical formulation of porosi...