Results for "Lorenzo Di Pietro"

total 13674took 0.19s
Operator mixing in $\boldsymbolε$-expansion: scheme and evanescent (in)dependenceAug 12 2017We consider theories with fermionic degrees of freedom that have a fixed point of Wilson-Fisher type in non-integer dimension $d = 4-2\epsilon$. Due to the presence of evanescent operators, i.e., operators that vanish in integer dimensions, these theories ... More
Cardy Formulae for SUSY Theories in d=4 and d=6Jul 22 2014Oct 14 2014We consider supersymmetric theories on a space with compact space-like slices. One can count BPS representations weighted by (-1)^F, or, equivalently, study supersymmetric partition functions by compactifying the time direction. A special case of this ... More
(Non-)Decoupled Supersymmetric Field TheoriesFeb 14 2014We study some consequences of coupling supersymmetric theories to (super)gravity. To linear order, the couplings are determined by the energy-momentum supermultiplet. At higher orders, the couplings are determined by contact terms in correlation functions ... More
't Hooft anomalies and the holomorphy of supersymmetric partition functionsMay 14 2019We study the dependence of supersymmetric partition functions on continuous parameters for the flavor symmetry group, $G_F$, for 2d $\mathcal{N} = (0,2)$ and 4d $\mathcal{N}=1$ supersymmetric quantum field theories. In any diffeomorphism-invariant scheme ... More
Programmable interactions with biomimetic DNA linkers at fluid membranes and interfacesMar 31 2019At the heart of the structured architecture and complex dynamics of biological systems are specific and timely interactions operated by biomolecules. In many instances, biomolecular agents are spatially confined to flexible lipid membranes where, among ... More
A Hybrid High-Order method for the incompressible Navier--Stokes equations based on Temam's deviceJul 19 2018Oct 10 2018In this work we propose a novel Hybrid High-Order method for the incompressible Navier--Stokes equations based on a formulation of the convective term including Temam's device for stability. The proposed method has several advantageous features: it supports ... More
A Hybrid High-Order discretisation of the Brinkman problem robust in the Darcy and Stokes limitsMar 29 2018Jul 23 2018In this work, we develop and analyse a novel Hybrid High-Order discretisation of the Brinkman problem. The method hinges on hybrid discrete velocity unknowns at faces and elements and on discontinuous pressures. Based on the discrete unknowns, we reconstruct ... More
3d Abelian Gauge Theories at the BoundaryFeb 25 2019Jun 02 2019A four-dimensional Abelian gauge field can be coupled to a 3d CFT with a $U(1)$ symmetry living on a boundary. This coupling gives rise to a continuous family of boundary conformal field theories (BCFT) parametrized by the gauge coupling $\tau$ in the ... More
Quantum Electrodynamics in d=3 from the epsilon-expansionAug 25 2015Sep 25 2015We study Quantum Electrodynamics in d=3 (QED_3) coupled to N_f flavors of fermions. The theory flows to an IR fixed point for N_f larger than some critical number N_f^c. For N_f<= N_f^c, chiral-symmetry breaking is believed to take place. In analogy with ... More
Simulated Epidemics in 3D Protein Structures to Detect Functional PropertiesJun 12 2019The outcome of an epidemic is closely related to the network of interactions between the individuals. Likewise, protein functions depend on the 3D arrangement of their residues and on the underlying energetic interaction network. Borrowing ideas from ... More
The Casimir Energy in Curved Space and its Supersymmetric CounterpartMar 18 2015Jul 20 2015We study $d$-dimensional Conformal Field Theories (CFTs) on the cylinder, $S^{d-1}\times \mathbb{R}$, and its deformations. In $d=2$ the Casimir energy (i.e. the vacuum energy) is universal and is related to the central charge $c$. In $d=4$ the vacuum ... More
Scale factor duality in quintessence models ?May 16 2001We consider several kinds of quintessence models in the framework of scale factor duality. We show that this symmetry exists only for a very small number of quintessence potentials. We then apply the duality transformations found to several analytical ... More
Pluricanonical systems for 3-folds and 4-folds of general typeJan 19 2010Sep 28 2011We explicitly find lower bounds on the volume of threefolds and fourfolds of general type in order to have nonvanishing of pluricanonical systems and birationality of pluricanonical maps. In the case of threefolds of large volume, we also give necessary ... More
The Chow ring of the stack of hyperelliptic curves of odd genusFeb 13 2018Apr 06 2018We find a new presentation of the stack of hyperelliptic curves of odd genus as a quotient stack and we use it to compute its integral Chow ring by means of equivariant intersection theory.
A constant equation of state for quintessence ?Aug 27 1999Sep 05 2000Quintessence is often invoked to explain the universe acceleration suggested by the type Ia supernovae observations. The aim of this letter is to study the validity of using a constant equation of state for quintessence models. We shall show that this ... More
A Spark is Enough in a Straw World: a Study of Websites Password Management in the WildApr 19 2018Apr 24 2018The widespread usage of password authentication in online websites leads to an ever-increasing concern, especially when considering the possibility for an attacker to recover the user password by leveraging the loopholes in the password recovery mechanisms. ... More
Cohomological invariants of the stack of hyperelliptic curves of odd genusApr 06 2018Dec 05 2018We compute the cohomological invariants of $\mathcal{H}_g$, the moduli stack of smooth hyperelliptic curves, for every odd $g$.
Picard group of moduli of curves of low genus in positive characteristicDec 05 2018We compute the Picard group of the moduli stack of smooth curves of genus $g$ for $3\leq g\leq 5$, using methods of equivariant intersection theory. We base our proof on the computation of some relations in the integral Chow ring of certain moduli stacks ... More
Virtualization Technologies and Cloud Security: advantages, issues, and perspectivesJul 29 2018Aug 02 2018Virtualization technologies allow multiple tenants to share physical resources with a degree of security and isolation that cannot be guaranteed by mere containerization. Further, virtualization allows protected transparent introspection of Virtual Machine ... More
$W^{s,p}$-approximation properties of elliptic projectors on polynomial spaces, with application to the error analysis of a Hybrid High-Order discretisation of Leray-Lions problemsJun 09 2016Jan 30 2017In this work we prove optimal $W^{s,p}$-approximation estimates (with $p\in[1,+\infty]$) for elliptic projectors on local polynomial spaces. The proof hinges on the classical Dupont--Scott approximation theory together with two novel abstract lemmas: ... More
Diffusion Adaptation Strategies for Distributed Estimation over Gaussian Markov Random FieldsJul 14 2014The aim of this paper is to propose diffusion strategies for distributed estimation over adaptive networks, assuming the presence of spatially correlated measurements distributed according to a Gaussian Markov random field (GMRF) model. The proposed methods ... More
Scale-factor duality in string Bianchi cosmologiesMar 17 1999Jul 13 1999We apply the scale factor duality transformations introduced in the context of the effective string theory to the anisotropic Bianchi-type models. We find dual models for all the Bianchi-types [except for types $VIII$ and $IX$] and construct for each ... More
O(d,d)-invariance in inhomogeneous string cosmologies with perfect fluidNov 19 1998Nov 20 1998In the first part of the present paper, we show that O(d,d)-invariance usually known in a homogeneous cosmological background written in terms of proper time can be extended to backgrounds depending on one or several coordinates (which may be any space-like ... More
SOS - Securing Open SkiesSep 24 2018Nov 27 2018Automatic Dependent Surveillance - Broadcast (ADS-B) is the next generation communication technology selected for allowing commercial and military aircraft to deliver flight information to both ground base stations and other airplanes. Today, it is already ... More
Reproducing entanglement through local classical resources with no communicationJul 01 2011Entanglement is one of the most intriguing features of quantum mechanics. It gives rise to peculiar correlations which cannot be reproduced by a large class of alternative theories, the so-called hidden-variable models, that use parameters in addition ... More
Determination of hidden variable models reproducing the spin-singletMay 06 2011Oct 19 2012The experimental violation of Bell inequality establishes necessary but not sufficient conditions that any theory must obey. Namely, a theory compatible with the experimental observations can satisfy at most two of the three hypotheses at the basis of ... More
Hidden-variable models for the spin singlet. II. Local theories violating Bell and Leggett inequalitiesApr 21 2011Three classes of local hidden-variable models that violate both Bell and Leggett inequalities are presented. The models, however, do not reproduce the quantum mechanical predictions, hence they are experimentally testable. It is concluded that on one ... More
Measurement of a spin-1 systemSep 09 2013Sep 06 2015We derive exact formulas describing an indirect von Neumann measurement of a spin-1 system. The results hold for any interaction strength and for an arbitrary output variable $\Hat{O}$.
Are quantum correlations genuinely quantum?May 04 2012Nov 24 2012It is shown that the probabilities for the spin singlet can be reproduced through classical resources, with no communication between the distant parties, by using merely shared (pseudo-)randomness. If the parties are conscious beings aware of both the ... More
Euler pseudoprimes for half of the basesSep 16 2011We prove that an odd number is an Euler pseudoprime for exactly one half of the admissible bases if and only if it is a special Carmichael number.
Echo State Networks with Self-Normalizing Activations on the Hyper-SphereMar 27 2019Among the various architectures of Recurrent Neural Networks, Echo State Networks (ESNs) emerged due to their simplified and inexpensive training procedure. These networks are known to be sensitive to the setting of hyper-parameters, which critically ... More
A characterization of the Edge of Criticality in Binary Echo State NetworksOct 03 2018Echo State Networks (ESNs) are simplified recurrent neural network models composed of a reservoir and a linear, trainable readout layer. The reservoir is tunable by some hyper-parameters that control the network behaviour. ESNs are known to be effective ... More
Klein-Gordon-Maxwell System in a bounded domainFeb 29 2008This paper is concerned with the Klein-Gordon-Maxwell system in a bounded spatial domain. We discuss the existence of standing waves $\psi=u(x)e^{-i\omega t}$ in equilibrium with a purely electrostatic field $\mathbf{E}=-\nabla\phi(x)$. We assume an homogeneous ... More
Stochastic Training of Neural Networks via Successive Convex ApproximationsJun 15 2017This paper proposes a new family of algorithms for training neural networks (NNs). These are based on recent developments in the field of non-convex optimization, going under the general name of successive convex approximation (SCA) techniques. The basic ... More
Restricted volumes of effective divisorsJul 05 2012We study the restricted volume of effective divisors, its properties and the relationship with the related notion of reduced volume, defined via multiplier ideals, and with the asymptotic intersection number. We build upon the fundamental work of Lazarsfeld ... More
Apolarity, Hessian and Macaulay polynomialsJul 28 2010Oct 08 2012A result by Macaulay states that an Artinian graded Gorenstein ring R of socle dimension one and socle degree b can be realized as the apolar ring of a homogeneous polynomial f of degree b. If R is the Jacobian ring of a smooth hypersurface g=0, then ... More
NEXT: In-Network Nonconvex OptimizationFeb 01 2016We study nonconvex distributed optimization in multi-agent networks with time-varying (nonsymmetric) connectivity. We introduce the first algorithmic framework for the distributed minimization of the sum of a smooth (possibly nonconvex and nonseparable) ... More
Distributed Estimation and Control of Algebraic Connectivity over Random GraphsSep 12 2013Sep 03 2014In this paper we propose a distributed algorithm for the estimation and control of the connectivity of ad-hoc networks in the presence of a random topology. First, given a generic random graph, we introduce a novel stochastic power iteration method that ... More
Asymptotic base loci on singular varietiesMay 06 2011Oct 18 2012We prove that the non-nef locus and the restricted base locus of a pseudoeffective divisor coincide on KLT pairs. We also extend to KLT pairs F. Russo's characterization of nef and abundant divisors by means of asymptotic multiplier ideals.
Small noise asymptotic of the Gallavotti-Cohen functional for diffusion processesApr 14 2010We consider, for a diffusion process in R^n, the Gallavotti-Cohen functional, defined as the empirical power dissipated in a time interval by the non-conservative part of the drift. We prove a large deviation principle in the limit in which the noise ... More
A Framework for Parallel and Distributed Training of Neural NetworksOct 24 2016The aim of this paper is to develop a general framework for training neural networks (NNs) in a distributed environment, where training data is partitioned over a set of agents that communicate with each other through a sparse, possibly time-varying, ... More
A Framework for Parallel and Distributed Training of Neural NetworksOct 24 2016Apr 20 2017The aim of this paper is to develop a general framework for training neural networks (NNs) in a distributed environment, where training data is partitioned over a set of agents that communicate with each other through a sparse, possibly time-varying, ... More
Spectral sequence associated with a symplectic manifoldNov 06 2006A method of computation of its terms is presented together with some stabilization results. As an application a characterization of symplectic harmonic manifolds is given and a relationship with the C-spectral sequence is indicated.
Leech Constellations of Construction-A LatticesNov 14 2016Aug 02 2017The problem of communicating over the additive white Gaussian noise (AWGN) channel with lattice codes is addressed in this paper. Theoretically, Voronoi constellations have proved to yield very powerful lattice codes when the fine/coding lattice is AWGN-good ... More
A third Strang lemma and an Aubin-Nitsche trick for schemes in fully discrete formulationApr 25 2018Nov 13 2018In this work, we present an abstract error analysis framework for the approximation of linear partial differential equation (PDE) problems in weak formulation. We consider approximation methods in fully discrete formulation, where the discrete and continuous ... More
A Hybrid High-Order method for the steady incompressible Navier--Stokes problemJul 27 2016In this work we introduce and analyze a novel Hybrid High-Order method for the steady incompressible Navier-Stokes equations. The proposed method is inf-sup stable on general polyhedral meshes, supports arbitrary approximation orders, and is (relatively) ... More
Flaw effects on square and kagome artificial spin iceOct 18 2016In this work, we study the effect of nanoislands with design flaws on the bilayer-square and in kagome arrays of artificial spin ice. We have introduced disorder as random fluctuations in the length of the magnetic islands using two kinds of distributions: ... More
RPO, Second-order Contexts, and Lambda-calculusJun 15 2009Aug 06 2009First, we extend Leifer-Milner RPO theory, by giving general conditions to obtain IPO labelled transition systems (and bisimilarities) with a reduced set of transitions, and possibly finitely branching. Moreover, we study the weak variant of Leifer-Milner ... More
An Activity-Based Model for Separation of DutyOct 29 2008This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based on business perspective, where SoD constraints are analyzed introducing the ... More
A Hybrid High-Order method for Leray-Lions elliptic equations on general meshesAug 08 2015May 19 2016In this work, we develop and analyze a Hybrid High-Order (HHO) method for steady non-linear Leray-Lions problems. The proposed method has several assets, including the support for arbitrary approximation orders and general polytopal meshes. This is achieved ... More
Chemical organization theory: towards a theory of constructive dynamical systemsJan 12 2005Complex dynamical networks consisting of many components that interact and produce each other are difficult to understand, especially, when new components may appear. In this paper we outline a theory to deal with such systems. The theory consists of ... More
An introduction to Hybrid High-Order methodsMar 15 2017Apr 20 2017This chapter provides an introduction to Hybrid High-Order (HHO) methods. These are new generation numerical methods for PDEs with several advantageous features: the support of arbitrary approximation orders on general polyhedral meshes, the reproduction ... More
Equilibrated tractions for the Hybrid High-Order methodNov 01 2014Dec 01 2014We show how to recover equilibrated face tractions for the hybrid high-order method for linear elasticity recently introduced in [D. A. Di Pietro and A. Ern, A hybrid high-order locking-free method for linear elasticity on general meshes, Comput. Meth. ... More
Future supernovae data and quintessence modelsJul 16 2002Feb 14 2003The possibility to unambiguously determine the equation-of-state of the cosmic dark energy with existing and future supernovae data is investigated. We consider four evolution laws for this equation-of-state corresponding to four quintessential models, ... More
Achieving Convergence and Synchronization in Networks of Piecewise-Smooth Systems via Distributed Discontinuous CouplingMay 14 2019Piecewise-smooth systems are common in applications, ranging from dry friction oscillators in mechanics, to power converters in electrical engineering, to neuron cells in biology. While the properties of stability and the control of such dynamical systems ... More
From diffusion experiments to mean-field theory simulations and backApr 11 2019May 15 2019Using previous experimental data of diffusion in metallic alloys, we obtain real values for an interpolation parameter introduced in a mean-field theory for diffusion with interaction. Values of order 1 were found as expected, finding relevance for this ... More
A Hybrid High-Order method for Leray-Lions elliptic equations on general meshesAug 08 2015Dec 07 2016In this work, we develop and analyze a Hybrid High-Order (HHO) method for steady non-linear Leray-Lions problems. The proposed method has several assets, including the support for arbitrary approximation orders and general polytopal meshes. This is achieved ... More
High-Order method for Darcy flows in fractured porous mediaNov 30 2017We develop a novel Hybrid High-Order method for the simulation of Darcy flows in fractured porous media. The discretization hinges on a mixed formulation in the bulk region and on a primal formulation inside the fracture. Salient features of the method ... More
Towards Affordance Prediction with Vision via Task Oriented Grasp Quality MetricsJul 10 2019While many quality metrics exist to evaluate the quality of a grasp by itself, no clear quantification of the quality of a grasp relatively to the task the grasp is used for has been defined yet. In this paper we propose a framework to extend the concept ... More
An advection-robust Hybrid High-Order method for the Oseen problemDec 07 2017Feb 18 2018In this work, we study advection-robust Hybrid High-Order discretizations of the Oseen equations. For a given integer $k\ge 0$, the discrete velocity unknowns are vector-valued polynomials of total degree $\le k$ on mesh elements and faces, while the ... More
A Hybrid High-Order method for the convective Cahn-Hilliard problem in mixed formFeb 27 2017We propose a novel Hybrid High-Order method for the Cahn-Hilliard problem with convection. The proposed method is valid in two and three space dimensions, and it supports arbitrary approximation orders on general meshes containing polyhedral elements ... More
Diffusion in binary mixtures: an analysis of the dependence on the thermodynamic factorMay 17 2019We study the diffusion process in binary mixtures using transition probabilities that depend on a mean-field potential. This approach reproduces the Darken equation, a relationship between the intrinsic and the tracer diffusion coefficients, $D_A$ and ... More
Sparse Distributed Learning Based on Diffusion AdaptationJun 14 2012Nov 12 2012This article proposes diffusion LMS strategies for distributed estimation over adaptive networks that are able to exploit sparsity in the underlying system model. The approach relies on convex regularization, common in compressive sensing, to enhance ... More
Distributed Detection and Estimation in Wireless Sensor NetworksJul 04 2013Jul 05 2013In this article we consider the problems of distributed detection and estimation in wireless sensor networks. In the first part, we provide a general framework aimed to show how an efficient design of a sensor network requires a joint organization of ... More
Ramsey properties of nonlinear Diophantine equationsJun 07 2016We prove general sufficient and necessary conditions for the partition regularity of Diophantine equations, which extend the classic Rado's Theorem by covering large classes of nonlinear equations. Sufficient conditions are obtained by exploiting algebraic ... More
Vanishing Viscosity Limits of Scalar Equations with Degenerate DiffusivityJan 05 2018We consider a scalar, possibly degenerate parabolic equation with a source term, in several space dimensions. For initial data with bounded variation we prove the existence of solutions to the initial-value problem. Then we show that these solutions converge, ... More
Sharp profiles in models of collective movementsFeb 17 2017We consider a parabolic partial differential equation that can be understood as a simple model for crowds flows. Our main assumption is that the diffusivity and the source/sink term vanish at the same point; the nonhomogeneous term is different from zero ... More
Joint Optimization of Radio Resources and Code Partitioning in Mobile Edge ComputingJul 15 2013Feb 03 2016The aim of this paper is to propose a computation offloading strategy for mobile edge computing. We exploit the concept of call graph, which models a generic computer program as a set of procedures related to each other through a weighted directed graph. ... More
Graph topology inference based on sparsifying transform learningJun 05 2018Graph-based representations play a key role in machine learning. The fundamental step in these representations is the association of a graph structure to a dataset. In this paper, we propose a method that aims at finding a block sparse representation ... More
Confining vacua in SQCD, the Konishi anomaly and the Dijkgraaf-Vafa superpotentialAug 30 2011Sep 05 2011In this paper we revisit the analysis of vacua in N=2 SQCD with generic bare quark masses, softly broken by a mass term for the chiral superfield \Phi in the adjoint representation of the gauge group. These vacua are labelled by an integer r (r vacua) ... More
Cardy Formula for 4d SUSY Theories and LocalizationNov 01 2016We study 4d $\mathcal{N}=1$ supersymmetric theories on a compact Euclidean manifold of the form $S^1 \times\mathcal{M}_3$. Partition functions of gauge theories on this background can be computed using localization, and explicit formulas have been derived ... More
Scaling dimensions in QED$_3$ from the $ε$-expansionAug 12 2017We study the fixed point that controls the IR dynamics of QED in $d = 4 - 2\epsilon$. We derive the scaling dimensions of four-fermion and bilinear operators beyond leading order in $\epsilon$-expansion. For the four-fermion operators, this requires the ... More
Cardy Formula for 4d SUSY Theories and LocalizationNov 01 2016Jan 05 2017We study 4d $\mathcal{N}=1$ supersymmetric theories on a compact Euclidean manifold of the form $S^1 \times\mathcal{M}_3$. Partition functions of gauge theories on this background can be computed using localization, and explicit formulas have been derived ... More
On the Graph Fourier Transform for Directed GraphsJan 22 2016Jul 01 2017The analysis of signals defined over a graph is relevant in many applications, such as social and economic networks, big data or biological networks, and so on. A key tool for analyzing these signals is the so called Graph Fourier Transform (GFT). Alternative ... More
Signals on Graphs: Uncertainty Principle and SamplingJul 31 2015May 17 2016In many applications, the observations can be represented as a signal defined over the vertices of a graph. The analysis of such signals requires the extension of standard signal processing tools. In this work, first, we provide a class of graph signals ... More
Uncertainty Principle and Sampling of Signals Defined on GraphsDec 02 2015In many applications, from sensor to social networks, gene regulatory networks or big data, observations can be represented as a signal defined over the vertices of a graph. Building on the recently introduced Graph Fourier Transform, the first contribution ... More
Mimetic discretization of the Abelian Chern-Simons theory and link invariantsOct 17 2012A mimetic discretization of the Abelian Chern-Simons theory is presented. The study relies on the formulation of a theory of differential forms in the lattice, including a consistent definition of the Hodge duality operation. Explicit expressions for ... More
Loop Equations in Abelian Gauge TheoriesFeb 25 2005Mar 04 2005The equations obeyed by the vacuum expectation value of the Wilson loop of Abelian gauge theories are considered from the point of view of the loop-space. An approximative scheme for studying these loop-equations for lattice Maxwell theory is presented. ... More
Statistics of nondemolition weak measurementNov 12 2012A measurement consists in coupling a system to a probe and reading the output of the probe to gather information about the system. The weaker the coupling, the smaller the back-action on the system, but also the less information conveyed. If the system ... More
Integrable models for confined fermions: applications to metallic grainsMay 28 2001Sep 20 2001We study integrable models for electrons in metals when the single particle spectrum is discrete. The electron-electron interactions are BCS-like pairing, Coulomb repulsion, and spin exchange coupling. These couplings are, in general, nonuniform in the ... More
Full Counting Statistics of Spin CurrentsDec 01 2003We discuss how to detect fluctuating spin currents and derive full counting statistics of electron spin transfers. It is interesting to consider several detectors in series that simultaneously monitor different components of the spins transferred. We ... More
Sampling and Recovery of Graph SignalsDec 26 2017The aim of this chapter is to give an overview of the recent advances related to sampling and recovery of signals defined over graphs. First, we illustrate the conditions for perfect recovery of bandlimited graph signals from samples collected over a ... More
A monoidal representation for linearized gravityDec 16 2016Jan 30 2017We propose an alternative representation for linear quantum gravity. It is based on the use of a structure that bears some resemblance to the Abelian loop representation used in electromagnetism but with the difference that space of extended object on ... More
Stress-testing memcomputing on hard combinatorial optimization problemsJun 30 2018Memcomputing is a novel paradigm of computation that utilizes dynamical elements with memory to both store and process information on the same physical location. Its building blocks can be fabricated in hardware with standard electronic circuits, thus ... More
A high-order discretization of nonlinear poroelasticityJun 03 2019In this work we construct and analyze a nonconforming high-order discretization method for the quasi-static single-phase nonlinear poroelasticity problem describing Darcean flow in a deformable porous medium saturated by a slightly compressible fluid. ... More
A discontinuous-skeletal method for advection-diffusion-reaction on general meshesNov 01 2014May 27 2018We design and analyze an approximation method for advection-diffusion-reaction equations where the (generalized) degrees of freedom are polynomials of order $k\ge0$ at mesh faces. The method hinges on local discrete reconstruction operators for the diffusive ... More
A Hybrid High-Order method for Kirchhoff-Love plate bending problemsJun 21 2017Jan 24 2018We present a novel Hybrid High-Order (HHO) discretization of fourth-order elliptic problems arising from the mechanical modeling of the bending behavior of Kirchhoff-Love plates, including the biharmonic equation as a particular case. The proposed HHO ... More
Resilient Design of 5G Mobile-Edge Computing Over Intermittent mmWave LinksJan 07 2019Mar 28 2019Two enablers of the 5th Generation (5G) of mobile communication systems are the high data rates achievable with millimeter-wave radio signals and the cloudification of the network's mobile edge, made possible also by Multi-access Edge Computing (MEC). ... More
Strong Dependencies between Software ComponentsMay 26 2009Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems?such as free and open source software (FOSS) distributions?in terms of declared dependencies between ... More
A discontinuous-skeletal method for advection-diffusion-reaction on general meshesNov 01 2014We design and analyze an approximation method for advection-diffusion-reaction equations where the (generalized) degrees of freedom are polynomials of order $k\ge0$ at mesh faces. The method hinges on local discrete reconstruction operators for the diffusive ... More
Hölder regularity for non divergence form elliptic equations with discontinuous coefficientsOct 18 2012In this note we study the global regularity in the Morrey spaces for the second derivatives for the strong solutions of non variational elliptic equations.
Picking a Needle in a Haystack: Detecting Drones via Network Traffic AnalysisJan 11 2019We propose PiNcH, a methodology to detect the presence of a drone and its current status leveraging just the communication traffic exchanged between the drone and its Remote Controller (RC). PiNcH is built applying standard classification algorithms to ... More
A nonconforming high-order method for the Biot problem on general meshesJun 11 2015Feb 24 2016In this work, we introduce a novel algorithm for the Biot problem based on a Hybrid High-Order discretization of the mechanics and a Symmetric Weighted Interior Penalty discretization of the flow. The method has several assets, including, in particular, ... More
A low-order nonconforming method for linear elasticity on general meshesFeb 06 2019In this work we construct a low-order nonconforming approximation method for linear elasticity problems supporting general meshes and valid in two and three space dimensions. The method is obtained by hacking the Hybrid High-Order method, that requires ... More
A Hybrid High-Order method for the Cahn-Hilliard problem in mixed formSep 24 2015Apr 08 2016In this work, we develop a fully implicit Hybrid High-Order algorithm for the Cahn-Hilliard problem in mixed form. The space discretization hinges on local reconstruction operators from hybrid polynomial unknowns at elements and faces. The proposed method ... More
Discontinuous Skeletal Gradient Discretisation Methods on polytopal meshesJun 29 2017Dec 06 2017In this work we develop arbitrary-order Discontinuous Skeletal Gradient Discretisations (DSGD) on general polytopal meshes. Discontinuous Skeletal refers to the fact that the globally coupled unknowns are broken polynomial on the mesh skeleton. The key ... More
Evidence of an exponential speed-up in the solution of hard optimization problemsOct 23 2017Optimization problems pervade essentially every scientific discipline and industry. Many such problems require finding a solution that maximizes the number of constraints satisfied. Often, these problems are particularly difficult to solve because they ... More
A prototype-based approach to object reclassificationAug 13 2018We investigate, in the context of functional prototype-based lan- guages, a calculus of objects which might extend themselves upon receiving a message, a capability referred to by Cardelli as a self-inflicted operation. We present a sound type system ... More
On varieties with higher osculating defectApr 19 2012In this paper, using the method of moving frames, we generalise some of Terracini's results on varieties with tangent defect. In particular, we characterise varieties with higher order osculating defect in terms of Jacobians of higher fundamental forms ... More
BAD: Blockchain Anomaly DetectionJul 10 2018Jul 12 2018Anomaly detection tools play a role of paramount importance in protecting networks and systems from unforeseen attacks, usually by automatically recognizing and filtering out anomalous activities. Over the years, different approaches have been designed, ... More