Networks composed from both connectivity and dependency links were found to be more vulnerable compared to classical networks with only connectivity links. Their percolation transition is usually of a first order compared to the second-order transition found in classical networks. We analytically analyze the effect of different distributions of dependencies links on the robustness of networks. ...

Immigration, emigration, migration, and redistribution describe processes that involve movement of individuals. These movements are an essential part of contemporary ecological models, and understanding how movement is affected by biotic and abiotic factors is important for effectively modeling ecological processes that depend on movement. We asked how phenotypic heterogeneity (body size) and e...

the relationship between population structure and violent conflict is complex and heavily dependent on the behavior of other variables like governance, economic prospects, and urbanization. while addressing rapid population growth might be a necessary condition for peace, it is by no means sufficient. concomitant steps must also be taken to foster inclusivity, guarantee broader rights for all, ...

The system AProVE (Automated Program Verification Environment) can be used for automated termination and innermost termination proofs of (conditional) term rewrite systems (TRSs). AProVE currently offers the techniques of recursive path orders possibly with status [3] (Sect. 2), dependency pairs including recent refinements such as narrowing, rewriting, and instantiation of dependency pairs [1,...

objective(s):iron oxide nanoparticles have found prevalent applications in various fields including drug delivery, cell separation and as contrast agents. super paramagnetic iron oxide (spio) nanoparticles allow researchers and clinicians to enhance the tissue contrast of an area of interest by increasing the relaxation rate of water. in this study, we evaluate the dependency of hydrodynamic si...