Artykuł poświęcony jest zagadnieniu efektywnego wykorzystania minerałów towarzyszących przy zagospodarowaniu złóż rud tytanowo-cyrkonowych. Ponieważ złoża osadowych tytanowo-cyrkonowych mają duże powierzchnie, setki milionów ton masy wydobywczej podczas ich eksploatacji przekształcane są w formacje antropogeniczne. Z całej zaledwie 1% po wzbogacaniu wykorzystywane do produkcji tytanu metaliczne...

Abstract In a human-dominated world, access to sustainable water resources has led complex management policies that affect hydrological droughts. Applying the best approach assess contribution of these human-made changes droughts is still underexplored. this study, individual and joint impacts dam inter-basin transfer projects are quantified for characteristic drought using developed data-based...

We examine if and to what extent choice dispositions can allow dependence on contexts and maintain consistency over time, in a dynamic environment under uncertainty. We focus on a ‘minimal’ case of context dependence, opportunity dependence due to being affected by anticipated regret. There are two sources of potential inconsistency, one is arrival of information and the other is changing oppor...

Abstract: Commonly, for being done a numerical modeling of any natural phenomenon, like as water flow pattern, need to an exquisite and modify calculated mesh. For gaining this standard calculated mesh, different calculated meshes must be analyzed sensitively. Thus, the optimum calculated mesh could be selected. At the present paper, the first, a powerful two dimensional numerical model which i...

ABSTRACT We des ribe a formal approa h for nding bugs in se urityrelevant software and verifying their absen e. The idea is as follows: we identify rules of safe programming pra ti e, enode them as safety properties, and verify whether these properties are obeyed. Be ause manual veri ation is too expensive, we have built a program analysis tool to automate this pro ess. Our program analysis mod...

We introduce a novel solid modeling framework taking advantage of the architecture of parallel computing onmodern graphics hardware. Solidmodels in this framework are represented by an extension of the ray representation — Layered Depth-Normal Images (LDNI), which inherits the good properties of Boolean simplicity, localization and domain decoupling. The defect of ray representation in computat...