an evolutionary structural optimization (eso) method is used for plastic design of frames. based on safe theorems some criteria are derived and made an effort to satisfy them during the optimization process. in this regard, equilibrium is checked and yield condition is gradually satisfied during the optimization process. in this method, the amount of used material and the stiffness for each ele...

In the paper by Oscar Estrada et al. it is introduced the concept of “Possibilistic Intuitionistic Logic (PIL)”; In that paper, the authors present results analogous to those of the well-known intuitionistic logic, such as a Deduction Theorem, a Generalized version of the Deduction Theorem, a Cut Rule, a weak version of a Refutation Theorem, a Substitution Theorem and Glivenko’s Theorem. The co...

This paper compares the expressiveness of different fragments of ambient calculi via leader election problems. We consider Mobile Ambients (MA), Safe Ambients (SA) and the Push and Pull Ambient Calculus (PAC). Cardelli and Gordon encoded the asynchronous pi-calculus into MA. Zimmer has shown that the synchronous pi-calculus without choice can be encoded in pure (no communication) SA. We show th...

Secondary pulsations are an example of di usive turn-o transients that can limit the performance of VCSELs in optical communication systems. Secondary pulsations are rstly analysed by using a model where a modal expansion of the electric eld is performed. The maximum power of the secondary pulsations and the time at which they appear uctuate when the spontaneous emission noise is present. A lin...

This paper presents a concept of automatic needle placement for brachytherapy. For the success of this minimally invasive treatment, a precise and safe placement of needles inside soft tissue is fundamental. The presented concept incorporates information about the needle as well as the tissue to find a suitable needle trajectory. A patientspecific tissue model is derived from different imaging ...

We explain how asymptotic safety arises in four-dimensional supersymmetric gauge theories. We provide asymptotically safe supersymmetric gauge theories together with their superconformal fixed points, R charges, phase diagrams, and UV-IR connecting trajectories. Strict perturbative control is achieved in a Veneziano limit. Consistency with unitarity and the a theorem is established. We find tha...

the membrane separation technology by relying on microfiltration ultrafiltration, and reverse osmosis methods are becoming more important among consulting engineers, designers of environmental pollution control system, and industrial factories. the advantages of this technology together with its emphasis on recycling the fluid to the system and reusing the membranes have caused the membranes to...

We propose and analyze a heterogeneous, multigroup, susceptible-infectivesusceptible (SIS) sexually transmitted disease (STD) model where the desirability and acceptability in partnership formations are functions of the infected individuals. We derive explicit formulas for the epidemic thresholds, prove the existence and uniqueness of the equilibrium states for the two-group model and provide a...