Petaflop biofluidics simulations on a two million-core system

We present a computational framework for multi-scale simulations of real-life biofluidic problems. The framework allows to simulate suspensions composed by hundreds of millions of bodies interacting with each other and with a surrounding fluid in complex geometries. We apply the methodology to the simulation of blood flow through the human coronary arteries with a spatial resolution comparable with the size of red blood cells, and physiological levels of hematocrit (the red blood cell volume fraction).

Thwarting Obfuscated Malware via Differential Fault Analysis

Detecting malware in mobile applications has become increasingly complex as malware developers turn to advanced techniques to hide or obfuscate malicious components. Alterdroid is a dynamic-analysis tool that compares the behavioral differences between an original app and numerous automatically generated versions of it containing carefully injected modifications.

Numerical validation of the conjecture of a subglacial lake at Amundsenisen, Svalbard

The likelihood of a subglacial lake beneath Amundsenisen Plateau at Southern Spitzbergen, Svalbard, pointed out by the flat signal within the Ground Penetrating Radar (GPR) remote survey of the area, is justified, here, via numerical simulation.This investigation has been developed under the assumption that the icefield thickness does not change on average, as it is confirmed by recently published physical measurements taken over the past 40 years.

Integration of InSAR Analysis and Numerical Modeling for the Assessment of Ground Subsidence in the City of Lisbon, Portugal

In this work, we exploit the integration of an advanced synthetic aperture radar (SAR) interferometry technique and the application of the finite-element method for the assessment and the interpretation of a localized subsidence phenomenon that took place within a specific area of Lisbon, Portugal. SAR images over the Lisbon city, covering different time intervals in the period of 1995-2010, were acquired and processed by means of the persistent scatterers (PSs) technique.

Analysis of free-surface flows through energy considerations: Single-phase versus two-phase modeling

The study of energetic free-surface flows is challenging because of the large range of interface scales involved due to multiple fragmentations and reconnections of the air-water interface with the formation of drops and bubbles. Because of their complexity the investigation of such phenomena through numerical simulation largely increased during recent years. Actually, in the last decades different numerical models have been developed to study these flows, especially in the context of particle methods.

Long-range hydrodynamic effect due to a single vesicle in linear flow

Vesicles are involved in a vast variety of transport processes in living organisms. Additionally, they serve as a model for the dynamics of cell suspensions. Predicting the rheological properties of their suspensions is still an open question, as even the interaction of pairs is yet to be fully understood. Here we analyse the effect of a single vesicle, undergoing tank-treading motion, on its surrounding shear flow by studying the induced disturbance field delta(V) over right arrow, the difference between the velocity field in its presence and absence.

Sequential quadrature methods for RDO

This paper presents a comparative study between a large number of different existing sequential quadrature schemes suitable for Robust Design Optimization (RDO), with the inclusion of two partly original approaches. Efficiency of the different integration strategies is evaluated in terms of accuracy and computational effort: main goal of this paper is the identification of an integration strategy able to provide the integral value with a prescribed accuracy using a limited number of function samples.

A Fast Algorithm to Solve Nonlinear Hypersingular Integral Equations Arising in a Crack Problem

A fast algorithm related to the generalized minimal residual algorithm (GMRES) is proposed to approximate solution of a nonlinear hypersingular integral equation arising in a crack problem. At first, a collocation method is proposed and developed in weighted Sobolev space. Then, the Newton-Kantorovjch method is used for solving the obtained system of nonlinear equations.