Project EASI is the first implemented Complementary Experiment within the AlpArray program (http://www.alparray.ethz.ch) and stands for Eastern Alpine Seismic Investigation. The seismological field experiment ran with 55 broadband stations deployed in zigzag in a ca. 15 km-wide band along longitude 13.35◦E, spanning 540 km from the Czech-German border to the Adriatic Sea, for a duration of one ...

VeriFast is a symbolic-execution-based verifier, based on separation logic specifications. Chalice is a verifier based on verification condition generation, which employs specifications in implicit dynamic frames. Recently, theoretical work has shown how the cores of these two verification logics can be formally related. However, the mechanisms for abstraction in the two tools are not obviously...

By using binary ethanol/water mixtures, the separation performance of two improved commercial pervaporation embranes (PERVAPTM) are presented. Separation performance data are analyzed and compared as a function of operating conditions. The effect of initial feed concentration on the separation performance and the effect of feed concentration on apparent activation energy are presented. For memb...

Abstract Liposomes are used widely as drug delivery systems in different forms including nanosuspensions, osmotic pumps, infusion pumps and IV injections. Some of these systems (e.g. infusion or osmotic pumps) might stay stagnant for a long time during or before administration, and therefore, might face phase separation. In spite of these, there is no data available about the behavior of lipos...

Abstract Liposomes are used widely as drug delivery systems in different forms including nanosuspensions, osmotic pumps, infusion pumps and IV injections. Some of these systems (e.g. infusion or osmotic pumps) might stay stagnant for a long time during or before administration, and therefore, might face phase separation. In spite of these, there is no data available about the behavior of lipos...

A numerical dynamic-aerodynamic interface for simulating the separation dy­n­a­m­ic­s of co­n­­s­t­r­a­i­ned strap-on boosters jettisoned in the atmosphere is presented. A 6-DOF multi body dynamic solver ،using Constraint For­ce Equation Methodology is coupled with a numerical time dependent Euler flow solver. An automatic dyna­m­i­­c mesh updating proc­e­d­ure is employed using smoothing and l...

The separations of alcohols with hydrophilic and hydrophobic parts, and the separation of aromatic mixtures, are extremely important processes in gas and petroleum industries. Choosing an adsorbent for performing this separation is the most important part of the process. Silica gel is used as an adsorbent is various techniques such as pressure swing adsorption (PSA) and gas and liquid chromatog...

Introduction:Owing to its favorable radionuclidic characteristics, such as tl/2 = 6.73 day and Eβ (max) = 497 keV and ease of its large-scale production using medium flux research reactors, lutetium-177 (177Lu) is an attractive radionuclide for various therapeutic applications. No carrier added (NCA) 177Lu was obtained by thermal neut...