Categorial mirror symmetry for K3 surfaces

We study the structure of a modified Fukaya category ${\frak F}(X)$ associated with a K3 surface $X$, and prove that whenever $X$ is an elliptic K3 surface with a section, the derived category of \fF(X) is equivalent to a subcategory of the derived category ${\bold D}(\hat X)$ of coherent sheaves on the mirror K3 surface $\hat X$.Comment: 11 pages, AmsLatex. Exposition (hopefully) improved, one argument simplifie

Multiple verification in computational modeling of bone pathologies

We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting characterization of osteoporosis as a defective bone remodeling dynamics with respect to other bone pathologies. Our approach allows to derive three types of model checking-based diagnostic estimators. The first diagnostic measure focuses on the level of bone mineral density, which is currently used in medical practice. In addition, we have introduced a novel diagnostic estimator which uses the full patient clinical record, here simulated using the modeling framework. This estimator detects rapid (months) negative changes in bone mineral density. Independently of the actual bone mineral density, when the decrease occurs rapidly it is important to alarm the patient and monitor him/her more closely to detect insurgence of other bone co-morbidities. A third estimator takes into account the variance of the bone density, which could address the investigation of metabolic syndromes, diabetes and cancer. Our implementation could make use of different logical combinations of these statistical estimators and could incorporate other biomarkers for other systemic co-morbidities (for example diabetes and thalassemia). We are delighted to report that the combination of stochastic modeling with formal methods motivate new diagnostic framework for complex pathologies. In particular our approach takes into consideration important properties of biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could be further expanded, inching towards the complexity of human diseases. Finally, we briefly introduce self-adaptiveness in formal methods which is a key property in the regulative mechanisms of biological systems and well known in other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104

A Fourier transform for sheaves on Lagrangian families of real tori

We systematically develop a transform of the Fourier-Mukai type for sheaves on symplectic manifolds $X$ of any dimension fibred in Lagrangian tori. One obtains a bijective correspondence between unitary local systems supported on Lagrangian submanifolds of $X$ and holomorphic vector bundles with compatible unitary connections supported on complex submanifolds of the relative Jacobian of $X$ (suitable conditions being verified on both sides).Comment: Latex, 30 pages (in a4wide format), no figures. v2: Minor expository changes, typos corrected. v3: Final version to appear in two parts in J. Geom. Phy

BISM: Bytecode-Level Instrumentation for Software Monitoring

BISM (Bytecode-Level Instrumentation for Software Monitoring) is a lightweight bytecode instrumentation tool that features an expressive high-level control-flow-aware instrumentation language. The language follows the aspect-oriented programming paradigm by adopting the joinpoint model, advice inlining, and separate instrumentation mechanisms. BISM provides joinpoints ranging from bytecode instruction to method execution, access to comprehensive static and dynamic context information, and instrumentation methods. BISM runs in two instrumentation modes: build-time and load-time. We demonstrate BISM effectiveness using two experiments: a security scenario and a general runtime verification case. The results show that BISM instrumentation incurs low runtime and memory overheads

A Quantitative Methodology to Measure Injector Fouling Through Image Analysis

Abstract The use of vegetables oils in a compression ignited internal combustion engine presents some critical issues as the large amount of carbon deposits on the tip of injectors, which significantly influence emissions and engine performance. A previous draft methodology was developed by the authors, based on images capture and post-processing. The carbon deposit was correlated with the number of pixels in the gray scale, so it was possible to determine a Fouling Index. First results showed interesting perspectives and some limits: the aim of the present work is the optimization of the test bench and methodology. At first an improvement of image acquisition, increasing sampling frequency and image resolution, is performed, replacing the old camera with a digital microscope and improving both injector and microscope positioning. The test bench prototype has been realized with the aid of 3D printing, obtaining fundamental mechanical components. Also an alternative methodology is proposed to evaluate carbon deposits volume through a Volumetric Index. The new methodology validation was done using images sampled with the previous test bench. The performances of the Fouling index and of the new Volumetric Index were compared and fouling was examined in the real case of a diesel engine, fed with diesel and sunflower oil. Results show a greater reliability of the new Volumetric Index

A Martini coarse-grained model of the calcein fluorescent dye

Calcein leakage assays are a standard experimental set-up for probing the extent of damage induced by external agents on synthetic lipid vesicles. The fluorescence signal associated with calcein release from liposomes is the signature of vesicle disruption, transient pore formation or vesicle fusion. This type of assay is widely used to test the membrane disruptive effect of biological macromolecules, such as proteins, antimicrobial peptides and RNA and is also used on synthetic nanoparticles with a polymer, metal or oxide core. Little is known about the effect that calcein and other fluorescent dyes may have on the properties of lipid bilayers, potentially altering their structure and permeability. Here we develop a coarse-grained model of calcein that is compatible with the Martini force field for lipids. We validate the model by comparing its dimerization free energy, aggregation behavior at different concentrations and interaction with a 1-palmitoyl-2-oleoyl-sn-glycero-3-phosphocholine (POPC) membrane to those obtained at atomistic resolution. Our coarse-grained description of calcein makes it suitable for the simulation of large calcein-filled liposomes and of their interactions with external agents, allowing for a direct comparison between simulations and experimental liposome leakage assays

Pyrolysis of Olive Stone for Energy Purposes

Abstract Pyrolysis of biomass is a promising technology for the production of distributed and renewable energy on small and micro-scale since it produces a gas with relatively high calorific value, which can be burned in an internal combustion engine or in a microturbine; pyrolysis also generates by products (char and tar) which can be used to provide energy to the process or for cogeneration purposes. This research is aimed at the exploitation of waste from agricultural production processes, in particular olive mill wastes whose management has critical environmental and disposal costs; the yields of pyrogas, tar and char obtained from the pyrolysis of olive stone in a batch reactor was measured. Pyrogas produced is sampled through a line for the sampling of condensable substances in accordance with existing regulations, CEN/TS 15439, and once purified from water vapor and tars is analyzed with micro-GC. The data collected is used to perform mass and energy balances and to determine the content of tars and the Low Heating Value (LHV) of the gas produced

i rexfo life an innovative business model to reduce food waste

Abstract Every year the food produced and wasted consumes a volume of water equal to 250 km3, requires around 30% of the world agricultural land, and it is responsible for the emission of 3,3 billion tons of greenhouse gases. The direct economic consequences of food waste are ranging around 750 billion dollars per year (FAO source). i-REXFO designs an innovative business model with the objective of reducing significantly the amount of landfilled food waste. The actions are economically sustained by public incentives, tax reductions and private revenues from energy valorization of residual food waste. Uptaking the good practices from other EU countries (Denmark) the project will develop a tool to design the integrated model, optimize it from a technical, economic and environmental point of view and transfer it to other EU regions. i-REXFO will increase consumer awareness on food waste reduction in retail malls and HORECA while facilitating the sale and donation to charities and food banks of close to expiration and aesthetically not adequate food; it will also remove the barriers that hamper the use of food residues in biogas plants. The actions are economically sustained from energy valorization of food waste in biogas plant that use the digestate as fertilizer, closing the cycle. I-REXFO will achieve an overall reduction of 17000 tons/year of food waste landfilled during the project duration and in the after life phase. This will correspond to an overall reduction of 41000 tons of CO2 equivalent emissions

The Fuzzy Supersphere

We introduce the fuzzy supersphere as sequence of finite-dimensional, noncommutative $Z_{2}$-graded algebras tending in a suitable limit to a dense subalgebra of the $Z_{2}$-graded algebra of ${\cal H}^{\infty}$-functions on the $(2| 2)$-dimensional supersphere. Noncommutative analogues of the body map (to the (fuzzy) sphere) and the super-deRham complex are introduced. In particular we reproduce the equality of the super-deRham cohomology of the supersphere and the ordinary deRham cohomology of its body on the "fuzzy level".Comment: 33 pages, LaTeX, some typos correcte