Catalog footprint

What is connected

35works
22topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

35 published item(s)

preprint2026arXiv

ADMM-Based Training for Spiking Neural Networks

In recent years, spiking neural networks (SNNs) have gained momentum due to their high potential in time-series processing combined with minimal energy consumption. However, they still lack a dedicated and efficient training algorithm. The popular backpropagation with surrogate gradients, adapted from stochastic gradient descent (SGD)-derived algorithms, has several drawbacks when used as an optimizer for SNNs. Specifically, the approximation introduced by the use of surrogate gradients leads to numerical imprecision, poor tracking of SNN firing times at training time, and, in turn, poor scalability. In this paper, we propose a novel SNN training method based on the alternating direction method of multipliers (ADMM). Our ADMM-based training aims to solve the problem of the SNN step function's non-differentiability by taking an entirely new approach with respect to gradient backpropagation. For the first time, we formulate the SNN training problem as an ADMM-based iterative optimization, derive closed-form updates, and empirically show the optimizer's convergence, its great potential, and discuss future and promising research directions to improve the method to different layer types and deeper architectures.

preprint2026arXiv

AsyMov: Integrated Sensing and Communications with Asynchronous Moving Devices

Estimating the Doppler frequency shift caused by moving targets is one of the key objectives of Integrated Sensing And Communication (ISAC) systems, as it enables applications such as target classification, human activity recognition, and gait analysis. In practical scenarios, Doppler estimation is hindered by the movement of transmitter and receiver devices, and by the phase offsets caused by their clock asynchrony. Existing approaches have separately addressed these two aspects, either assuming clock-synchronous moving devices or asynchronous static ones. In fact, jointly tackling device motion and clock asynchrony is extremely challenging, as the Doppler shift from device movement differs for each propagation path and the phase offsets are time-varying. In this work, we present AsyMov, a method to estimate the bistatic Doppler frequency of a target and its velocity in ISAC setups featuring mobile and asynchronous devices. It leverages the channel impulse response at the receiver, by originally exploiting the invariance of phase offsets across propagation paths and the bistatic geometry, where the target Doppler and the device velocity are jointly estimated by a newly proposed alternating minimization algorithm. Moreover, it can be seamlessly integrated with device velocity measurements obtained from onboard sensors (if available), for enhanced reliability. Here, AsyMov is thoroughly characterized by way of theory (Cramér-Rao bound), simulation, and experiments, implementing it on an IEEE 802.11ay testbed and testing it on multiple setups in the 60 GHz and 28 GHz bands, including moving human subjects. Numerical and experimental results show superior performance against state-of-the-art methods and are on par with scenarios featuring static ISAC devices.

preprint2026arXiv

Machine Learning on the Edge for Sustainable IoT Networks: A Systematic Literature Review

The Internet of Things (IoT) has become integral to modern technology, enhancing daily life and industrial processes through seamless connectivity. However, the rapid expansion of IoT systems presents significant sustainability challenges, such as high energy consumption and inefficient resource management. Addressing these issues is critical for the long-term viability of IoT networks. Machine learning (ML), with its proven success across various domains, offers promising solutions for optimizing IoT operations. ML algorithms can learn directly from raw data, uncovering hidden patterns and optimizing processes in dynamic environments. Executing ML at the edge of IoT networks can further enhance sustainability by reducing bandwidth usage, enabling real-time decision-making, and improving data privacy. Additionally, testing ML models on actual hardware is essential to ensure satisfactory performance under real-world conditions, as it captures the complexities and constraints of real-world IoT deployments. Combining ML at the edge and actual hardware testing, therefore, increases the reliability of ML models to effectively improve the sustainability of IoT systems. The present systematic literature review explores how ML can be utilized to enhance the sustainability of IoT networks, examining current methodologies, benefits, challenges, and future opportunities. Through our analysis, we aim to provide insights that will drive future innovations in making IoT networks more sustainable.

preprint2024arXiv

Decentralized LLM Inference over Edge Networks with Energy Harvesting

Large language models have significantly transformed multiple fields with their exceptional performance in natural language tasks, but their deployment in resource-constrained environments like edge networks presents an ongoing challenge. Decentralized techniques for inference have emerged, distributing the model blocks among multiple devices to improve flexibility and cost effectiveness. However, energy limitations remain a significant concern for edge devices. We propose a sustainable model for collaborative inference on interconnected, battery-powered edge devices with energy harvesting. A semi-Markov model is developed to describe the states of the devices, considering processing parameters and average green energy arrivals. This informs the design of scheduling algorithms that aim to minimize device downtimes and maximize network throughput. Through empirical evaluations and simulated runs, we validate the effectiveness of our approach, paving the way for energy-efficient decentralized inference over edge networks.

preprint2024arXiv

VREM-FL: Mobility-Aware Computation-Scheduling Co-Design for Vehicular Federated Learning

Assisted and autonomous driving are rapidly gaining momentum and will soon become a reality. Artificial intelligence and machine learning are regarded as key enablers thanks to the massive amount of data that smart vehicles will collect from onboard sensors. Federated learning is one of the most promising techniques for training global machine learning models while preserving data privacy of vehicles and optimizing communications resource usage. In this article, we propose vehicular radio environment map federated learning (VREM-FL), a computation-scheduling co-design for vehicular federated learning that combines mobility of vehicles with 5G radio environment maps. VREM-FL jointly optimizes learning performance of the global model and wisely allocates communication and computation resources. This is achieved by orchestrating local computations at the vehicles in conjunction with transmission of their local models in an adaptive and predictive fashion, by exploiting radio channel maps. The proposed algorithm can be tuned to trade training time for radio resource usage. Experimental results demonstrate that VREM-FL outperforms literature benchmarks for both a linear regression model (learning time reduced by 28%) and a deep neural network for semantic image segmentation (doubling the number of model updates within the same time window).

preprint2023arXiv

Divide and Save: Splitting Workload Among Containers in an Edge Device to Save Energy and Time

The increasing demand for edge computing is leading to a rise in energy consumption from edge devices, which can have significant environmental and financial implications. To address this, in this paper we present a novel method to enhance the energy efficiency while speeding up computations by distributing the workload among multiple containers in an edge device. Experiments are conducted on two Nvidia Jetson edge boards, the TX2 and the AGX Orin, exploring how using a different number of containers can affect the energy consumption and the computational time for an inference task. To demonstrate the effectiveness of our splitting approach, a video object detection task is conducted using an embedded version of the state-of-the-art YOLO algorithm, quantifying the energy and the time savings achieved compared to doing the computations on a single container. The proposed method can help mitigate the environmental and economic consequences of high energy consumption in edge computing, by providing a more sustainable approach to managing the workload of edge devices.

preprint2022arXiv

A Review of Indoor Millimeter Wave Device-based Localization and Device-free Sensing Technologies and Applications

The commercial availability of low-cost millimeter wave (mmWave) communication and radar devices is starting to improve the penetration of such technologies in consumer markets, paving the way for large-scale and dense deployments in fifth-generation (5G)-and-beyond as well as 6G networks. At the same time, pervasive mmWave access will enable device localization and device-free sensing with unprecedented accuracy, especially with respect to sub-6 GHz commercial-grade devices. This paper surveys the state of the art in device-based localization and device-free sensing using mmWave communication and radar devices, with a focus on indoor deployments. We first overview key concepts about mmWave signal propagation and system design. Then, we provide a detailed account of approaches and algorithms for localization and sensing enabled by mmWaves. We consider several dimensions in our analysis, including the main objectives, techniques, and performance of each work, whether each research reached some degree of implementation, and which hardware platforms were used for this purpose. We conclude by discussing that better algorithms for consumer-grade devices, data fusion methods for dense deployments, as well as an educated application of machine learning methods are promising, relevant and timely research directions.

preprint2022arXiv

EASE: Energy-Aware Job Scheduling for Vehicular Edge Networks With Renewable Energy Resources

The energy sustainability of multi-access edge computing (MEC) platforms is here addressed by developing Energy-Aware job Scheduling at the Edge (EASE), a computing resource scheduler for edge servers co-powered by renewable energy resources and the power grid. The scenario under study involves the optimal allocation and migration of time-sensitive computing tasks in a resource-constrained internet of vehicles (IoV) context. This is achieved by tackling, as the main objective, the minimization of the carbon footprint of the edge network, whilst delivering adequate quality of service (QoS) to the end users (e.g., meeting task execution deadlines). EASE integrates i) a centralized optimization step, solved through model predictive control (MPC), to manage the renewable energy that is locally collected at the edge servers and their local computing resources, estimating their future availability, and ii) a distributed consensus step, solved via dual ascent in closed form, to reach agreement on service migrations. EASE is compared with four existing migration strategies. Quantitative results demonstrate its greater energy efficiency, which often gets close to complete carbon neutrality, while also improving the QoS.

preprint2022arXiv

Human Tracking with mmWave Radars: a Deep Learning Approach with Uncertainty Estimation

mmWave radars have recently gathered significant attention as a means to track human movement within indoor environments. Widely adopted Kalman filter tracking methods experience performance degradation when the underlying movement is highly non-linear or presents long-term temporal dependencies. As a solution, in this article we design a convolutional-recurrent Neural Network (NN) that learns to accurately estimate the position and the velocity of the monitored subjects from high dimensional radar data. The NN is trained as a probabilistic model, utilizing a Gaussian negative log-likelihood loss function, obtaining explicit uncertainty estimates at its output, in the form of time-varying error covariance matrices. A thorough experimental assessment is conducted using a 77 GHz FMCW radar. The proposed architecture, besides allowing one to gauge the uncertainty in the tracking process, also leads to greatly improved performance against the best approaches from the literature, i.e., Kalman filtering, lowering the average error against the ground truth from 32.8 to 7.59 cm and from 56.8 to 14 cm/s in terms of position and velocity tracking, respectively.

preprint2022arXiv

SHED: A Newton-type algorithm for federated learning based on incremental Hessian eigenvector sharing

There is a growing interest in the distributed optimization framework that goes under the name of Federated Learning (FL). In particular, much attention is being turned to FL scenarios where the network is strongly heterogeneous in terms of communication resources (e.g., bandwidth) and data distribution. In these cases, communication between local machines (agents) and the central server (Master) is a main consideration. In this work, we present SHED, an original communication-constrained Newton-type (NT) algorithm designed to accelerate FL in such heterogeneous scenarios. SHED is by design robust to non i.i.d. data distributions, handles heterogeneity of agents' communication resources (CRs), only requires sporadic Hessian computations, and achieves super-linear convergence. This is possible thanks to an incremental strategy, based on eigendecomposition of the local Hessian matrices, which exploits (possibly) outdated second-order information. The proposed solution is thoroughly validated on real datasets by assessing (i) the number of communication rounds required for convergence, (ii) the overall amount of data transmitted and (iii) the number of local Hessian computations. For all these metrics, the proposed approach shows superior performance against state-of-the art techniques like GIANT and FedNL.

preprint2022arXiv

SPARCS: A Sparse Recovery Approach for Integrated Communication and Human Sensing in mmWave Systems

A well established method to detect and classify human movements using Millimeter-Wave ( mmWave) devices is the time-frequency analysis of the small-scale Doppler effect (termed micro-Doppler) of the different body parts, which requires a regularly spaced and dense sampling of the Channel Impulse Response ( CIR). This is currently done in the literature either using special-purpose radar sensors, or interrupting communications to transmit dedicated sensing waveforms, entailing high overhead and channel utilization. In this work we present SPARCS, an integrated human sensing and communication solution for mmWave systems. SPARCS is the first method that reconstructs high quality signatures of human movement from irregular and sparse CIR samples, such as the ones obtained during communication traffic patterns. To accomplish this, we formulate the micro-Doppler extraction as a sparse recovery problem, which is critical to enable a smooth integration between communication and sensing. Moreover, if needed, our system can seamlessly inject short CIR estimation fields into the channel whenever communication traffic is absent or insufficient for the micro-Doppler extraction. SPARCS effectively leverages the intrinsic sparsity of the mmWave channel, thus drastically reducing the sensing overhead with respect to available approaches. We implemented SPARCS on an IEEE 802.11ay Software Defined Radio (SDR) platform working in the 60 GHz band, collecting standard-compliant CIR traces matching the traffic patterns of real WiFi access points. Our results show that the micro-Doppler signatures obtained by SPARCS enable a typical downstream application such as human activity recognition with more than 7 times lower overhead with respect to existing methods, while achieving better recognition performance.

preprint2021arXiv

MilliTRACE-IR: Contact Tracing and Temperature Screening via mm-Wave and Infrared Sensing

Social distancing and temperature screening have been widely employed to counteract the COVID-19 pandemic, sparking great interest from academia, industry and public administrations worldwide. While most solutions have dealt with these aspects separately, their combination would greatly benefit the continuous monitoring of public spaces and help trigger effective countermeasures. This work presents milliTRACE-IR, a joint mmWave radar and infrared imaging sensing system performing unobtrusive and privacy preserving human body temperature screening and contact tracing in indoor spaces. milliTRACE-IR combines, via a robust sensor fusion approach, mmWave radars and infrared thermal cameras. It achieves fully automated measurement of distancing and body temperature, by jointly tracking the subjects's faces in the thermal camera image plane and the human motion in the radar reference system. Moreover, milliTRACE-IR performs contact tracing: a person with high body temperature is reliably detected by the thermal camera sensor and subsequently traced across a large indoor area in a non-invasive way by the radars. When entering a new room, a subject is re-identified among several other individuals by computing gait-related features from the radar reflections through a deep neural network and using a weighted extreme learning machine as the final re-identification tool. Experimental results, obtained from a real implementation of milliTRACE-IR, demonstrate decimeter-level accuracy in distance/trajectory estimation, inter-personal distance estimation (effective for subjects getting as close as 0.2 m), and accurate temperature monitoring (max. errors of 0.5°C). Furthermore, milliTRACE-IR provides contact tracing through highly accurate (95%) person re-identification, in less than 20 seconds.

preprint2021arXiv

Multi-Person Continuous Tracking and Identification from mm-Wave micro-Doppler Signatures

In this work, we investigate the use of backscattered mm-wave radio signals for the joint tracking and recognition of identities of humans as they move within indoor environments. We build a system that effectively works with multiple persons concurrently sharing and freely moving within the same indoor space. This leads to a complicated setting, which requires one to deal with the randomness and complexity of the resulting (composite) backscattered signal. The proposed system combines several processing steps: at first, the signal is filtered to remove artifacts, reflections and random noise that do not originate from humans. Hence, a density-based classification algorithm is executed to separate the Doppler signatures of different users. The final blocks are trajectory tracking and user identification, respectively based on Kalman filters and deep neural networks. Our results demonstrate that the integration of the last-mentioned processing stages is critical towards achieving robustness and accuracy in multi-user settings. Our technique is tested both on a single-target public dataset, for which it outperforms state-of-the-art methods, and on our own measurements, obtained with a 77 GHz radar on multiple subjects simultaneously moving in two different indoor environments. The system works in an online fashion, permitting the continuous identification of multiple subjects with accuracies up to 98%, e.g., with four subjects sharing the same physical space, and with a small accuracy reduction when tested with unseen data from a challenging real-life scenario that was not part of the model learning phase.

preprint2020arXiv

Adaptive Millimeter-Wave Communications Exploiting Mobility and Blockage Dynamics

Mobility may degrade the performance of next-generation vehicular networks operating at the millimeter-wave spectrum: frequent loss of alignment and blockages require repeated beam training and handover, thus incurring huge overhead. In this paper, an adaptive and joint design of beam training, data transmission and handover is proposed, that exploits the mobility process of mobile users and the dynamics of blockages to optimally trade-off throughput and power consumption. At each time slot, the serving base station decides to perform either beam training, data communication, or handover when blockage is detected. The problem is cast as a partially observable Markov decision process, and solved via an approximate dynamic programming algorithm based on PERSEUS [2]. Numerical results show that the PERSEUS-based policy performs near-optimally, and achieves a 55% gain in spectral efficiency compared to a baseline scheme with periodic beam training. Inspired by its structure, an adaptive heuristic policy is proposed with low computational complexity and small performance degradation.

preprint2020arXiv

Fibration and classification of smooth projective toric varieties of low Picard number

In this paper we show that a smooth toric variety $X$ of Picard number $r\leq 3$ always admits a nef primitive collection supported on a hyperplane admitting non-trivial intersection with the cone $\Nef(X)$ of numerically effective divisors and cutting a facet of the pseudo-effective cone $\Eff(X)$, that is $\Nef(X)\cap\partial\overline{\Eff}(X)\neq\{0\}$. In particular this means that $X$ admits non-trivial and non-big numerically effective divisors. Geometrically this guarantees the existence of a fiber type contraction morphism over a smooth toric variety of dimension and Picard number lower than those of $X$, so giving rise to a classification of smooth and complete toric varieties with $r\leq 3$. Moreover we revise and improve results of Oda-Miyake by exhibiting an extension of the above result to projective, toric, varieties of dimension $n=3$ and Picard number $r=4$, allowing us to classifying all these threefolds. We then improve results of Fujino-Sato, by presenting sharp (counter)examples of smooth, projective, toric varieties of any dimension $n\geq4$ and Picard number $r=4$ whose non-trivial nef divisors are big, that is $\Nef(X)\cap\partial\overline{\Eff}(X)=\{0\}$. Producing those examples represents an important goal of computational techniques in definitely setting an open geometric problem. In particular, for $n=4$, the given example turns out to be a weak Fano toric fourfold of Picard number 4.

preprint2020arXiv

Mobile Traffic Classification through Physical Channel Fingerprinting: a Deep Learning Approach

The automatic classification of applications and services is an invaluable feature for new generation mobile networks. Here, we propose and validate algorithms to perform this task, at runtime, from the raw physical channel of an operative mobile network, without having to decode and/or decrypt the transmitted flows. Towards this, we decode Downlink Control Information (DCI) messages carried within the LTE Physical Downlink Control CHannel (PDCCH). DCI messages are sent by the radio cell in clear text and, in this paper, are utilized to classify the applications and services executed at the connected mobile terminals. Two datasets are collected through a large measurement campaign: one labeled, used to train the classification algorithms, and one unlabeled, collected from four radio cells in the metropolitan area of Barcelona, in Spain. Among other approaches, our Convolutional Neural Network (CNN) classifier provides the highest classification accuracy of 99%. The CNN classifier is then augmented with the capability of rejecting sessions whose patterns do not conform to those learned during the training phase, and is subsequently utilized to attain a fine grained decomposition of the traffic for the four monitored radio cells, in an online and unsupervised fashion.

preprint2020arXiv

Mobility and Blockage-aware Communications in Millimeter-Wave Vehicular Networks

Mobility may degrade the performance of next-generation vehicular networks operating at the millimeter-wave spectrum: frequent mis-alignment and blockages require repeated beam training and handover, and incur enormous overhead. Nevertheless, mobility induces temporal correlations in the communication beams and in blockage events. In this paper, an adaptive design of beam training, data transmission and handover is proposed, that learns and exploits these temporal correlations to reduce the beam training overhead and optimally trade-off throughput and power consumption. At each time-slot, the serving base station (BS) decides to perform either beam training, data communication, or handover when blockage is detected, under uncertainty in the system state. The decision problem is cast as a partially observable Markov decision process, and the goal is to maximize the throughput delivered to the UE, under an average power constraint. To address the high dimensional optimization, an approximate constrained point-based value iteration (C-PBVI) method is developed, which simultaneously optimizes the primal and dual functions to meet the power constraint. Numerical results demonstrate a good match between the analysis and a simulation based on 2D mobility and 3D analog beamforming via uniform planar arrays at both BSs and UE, and reveal that C-PBVI performs near-optimally, and outperforms a baseline scheme with periodic beam training by 38% in spectral efficiency. Motivated by the structure of the C-PBVI policy, two heuristics are proposed, that trade complexity with sub-optimality, and achieve only 4% and 15% loss in spectral efficiency.

preprint2020arXiv

Toric varieties and Gröbner bases: the complete Q-factorial case

We present two algorithms determining all the complete and simplicial fans admitting a fixed non-degenerate set of vectors $V$ as generators of their 1-skeleton. The interplay of the two algorithms allows us to discerning if the associated toric varieties admit a projective embedding, in principle for any values of dimension and Picard number. The first algorithm is slower than the second one, but it computes all complete and simplicial fans supported by $V$ and lead us to formulate a topological-combinatoric conjecture about the definition of a fan. On the other hand, we adapt the Sturmfels' arguments on the Gröbner fan of toric ideals to our complete case; we give a characterization of the Gröbner region and show an explicit correspondence between Gröbner cones and chambers of the secondary fan. A homogenization procedure of the toric ideal associated to $V$ allows us to employing GFAN and related software in producing our second algorithm. The latter turns out to be much faster than the former, although it can compute only the projective fans supported by $V$. We provide examples and a list of open problems. In particular we give examples of rationally parametrized families of $\Q$-factorial complete toric varieties behaving in opposite way with respect to the dimensional jump of the nef cone over a special fibre.

preprint2019arXiv

Deep Learning Techniques for Improving Digital Gait Segmentation

Wearable technology for the automatic detection of gait events has recently gained growing interest, enabling advanced analyses that were previously limited to specialist centres and equipment (e.g., instrumented walkway). In this study, we present a novel method based on dilated convolutions for an accurate detection of gait events (initial and final foot contacts) from wearable inertial sensors. A rich dataset has been used to validate the method, featuring 71 people with Parkinson's disease (PD) and 67 healthy control subjects. Multiple sensors have been considered, one located on the fifth lumbar vertebrae and two on the ankles. The aims of this study were: (i) to apply deep learning (DL) techniques on wearable sensor data for gait segmentation and quantification in older adults and in people with PD; (ii) to validate the proposed technique for measuring gait against traditional gold standard laboratory reference and a widely used algorithm based on wavelet transforms (WT); (iii) to assess the performance of DL methods in assessing high-level gait characteristics, with focus on stride, stance and swing related features. The results showed a high reliability of the proposed approach, which achieves temporal errors considerably smaller than WT, in particular for the detection of final contacts, with an inter-quartile range below 70 ms in the worst case. This study showes encouraging results, and paves the road for further research, addressing the effectiveness and the generalization of data-driven learning systems for accurate event detection in challenging conditions.

preprint2019arXiv

Embedding non-projective Mori Dream Spaces

This paper is devoted to extend some Hu-Keel results on Mori dream spaces (MDS) beyond the projective setup. Namely, $\Q$-factorial algebraic varieties with finitely generated class group and Cox ring, here called \emph{weak} Mori dream spaces (wMDS), are considered. Conditions guaranteeing the existence of a neat embedding of a (completion of a) wMDS into a complete toric variety are studied, showing that, on the one hand, those which are complete and admitting low Picard number are always projective, hence Mori dream spaces in the sense of Hu-Keel. On the other hand, an example of a wMDS does not admitting any neat embedded \emph{sharp} completion (i.e. Picard number preserving) into a complete toric variety is given, on the contrary of what Hu and Keel exhibited for a MDS. Moreover, termination of the Mori minimal model program (MMP) for every divisor and a classification of rational contractions for a complete wMDS are studied, obtaining analogous conclusions as for a MDS. Finally, we give a characterization of a wMDS arising from a small $\Q$-factorial modification of a projective weak $\Q$-Fano variety.

preprint2018arXiv

Embedding the Picard group inside the class group: the case of $\Q$-factorial complete toric varieties

Let $X$ be a $\Q$-factorial complete toric variety over an algebraic closed field of characteristic $0$. There is a canonical injection of the Picard group ${\rm Pic}(X)$ in the group ${\rm Cl}(X)$ of classes of Weil divisors. These two groups are finitely generated abelian groups; whilst the first one is a free group, the second one may have torsion. We investigate algebraic and geometrical conditions under which the image of ${\rm Pic}(X)$ in ${\rm Cl}(X)$ is contained in a free part of the latter group.

preprint2017arXiv

A small and non-simple geometric transition

Following notation introduced in the recent paper \cite{Rdef}, this paper is aimed to present in detail an example of a "small" geometric transition which is not a "simple" one i.e. a deformation of a conifold transition. This is realized by means of a detailed analysis of the Kuranishi space of a Namikawa cuspidal fiber product, which in particular improves the conclusion of Y.~Namikawa in Remark 2.8 and Example 1.11 of \cite{N}. The physical interest of this example is presenting a geometric transition which can't be immediately explained as a massive black hole condensation to a massless one, as described by A.~Strominger \cite{Strominger95}.

preprint2015arXiv

Deforming Geometric Transitions

After a quick review of the wild structure of the complex moduli space of Calabi-Yau threefolds and the role of geometric transitions in this context (the Calabi-Yau web) the concept of "deformation equivalence" for geometric transitions is introduced to understand the arrows of the Gross-Reid Calabi-Yau web as deformation-equivalence classes of geometric transitions. Then the focus will be on some results and suitable examples to understand under which conditions it is possible to get "simple" geometric transitions, which are almost the only well-understood geometric transitions both in mathematics and in physics.

preprint2014arXiv

Analytic equivalence of geometric transitions

In this paper \emph{analytic equivalence} of geometric transition is defined in such a way that equivalence classes of geometric transitions turn out to be the \emph{arrows} of the \cy web. Then it seems natural and useful, both from the mathematical and physical point of view, look for privileged arrows' representatives, called \emph{canonical models}, laying the foundations of an \emph{analytic} classification of geometric transitions. At this purpose a numerical invariant, called \emph{bi--degree}, summarizing the topological, geometric and physical changing properties of a geometric transition, is defined for a large class of geometric transitions.

preprint2014arXiv

On a remark by Y. Namikawa

The aim of the present paper is on the one hand to produce examples supporting the conclusion of Y. Namikawa in Remark 2.8 of \cite{N} and improving considerations of Example 1.11 of the same paper. On the other hand, it is intended to give a geometric interpretation of the rigidity properties of some trees of exceptional rational curves, as observed by Namikawa, which can be obtained by factorizing small resolutions through nodal threefolds.

preprint2014arXiv

Staying Alive: System Design for Self-Sufficient Sensor Networks

Self-sustainability is a crucial step for modern sensor networks. Here, we offer an original and comprehensive framework for autonomous sensor networks powered by renewable energy sources. We decompose our design into two nested optimization steps: the inner step characterizes the optimal network operating point subject to an average energy consumption constraint, while the outer step provides online energy management policies making the system energetically self-sufficient in the presence of unpredictable and intermittent energy sources. Our framework sheds new light into the design of pragmatic schemes for the control of energy harvesting sensor networks} and permits to gauge the impact of key sensor network parameters, such as the battery capacity, the harvester size, the information transmission rate and the radio duty cycle. We analyze the robustness of the obtained energy management policies in the cases where the nodes have differing energy inflow statistics and where topology changes may occur, devising effective heuristics. Our energy management policies are finally evaluated considering real solar radiation traces, validating them against state of the art solutions and describing the impact of relevant design choices in terms of achievable network throughput and battery level dynamics.

preprint2013arXiv

Distributed Power Loss Minimization in Residential Micro Grids: a Communications Perspective

The constantly increasing number of power generation devices based on renewables is calling for a transition from the centralized control of electrical distribution grids to a distributed control scenario. In this context, distributed generators (DGs) are exploited to achieve other objectives beyond supporting loads, such as the minimization of the power losses along the distribution lines. The aim of this work is that of designing a full-fledged system that extends existing state of the art algorithms for the distributed minimization of power losses. We take into account practical aspects such as the design of a communication and coordination protocol that is resilient to link failures and manages channel access, message delivery and DG coordination. Thus, we analyze the performance of the resulting optimization and communication scheme in terms of power loss reduction, reduction of aggregate power demand, convergence rate and resilience to communication link failures. After that, we discuss the results of a thorough simulation campaign, obtained using topologies generated through a statistical approach that has been validated in previous research, by also assessing the performance deviation with respect to localized schemes, where the DGs are operated independently. Our results reveal that the convergence and stability performance of the selected algorithms vary greatly. However, configurations exist for which convergence is possible within five to ten communication steps and, when just 30% of the nodes are DGs, the aggregate power demand is roughly halved. Also, some of the considered approaches are quite robust against link failures as they still provide gains with respect to the localized solutions for failure rates as high as 50%.

preprint2013arXiv

SolarStat: Modeling Photovoltaic Sources through Stochastic Markov Processes

In this paper, we present a methodology and a tool to derive simple but yet accurate stochastic Markov processes for the description of the energy scavenged by outdoor solar sources. In particular, we target photovoltaic panels with small form factors, as those exploited by embedded communication devices such as wireless sensor nodes or, concerning modern cellular system technology, by small-cells. Our models are especially useful for the theoretical investigation and the simulation of energetically self-sufficient communication systems including these devices. The Markov models that we derive in this paper are obtained from extensive solar radiation databases, that are widely available online. Basically, from hourly radiance patterns, we derive the corresponding amount of energy (current and voltage) that is accumulated over time, and we finally use it to represent the scavenged energy in terms of its relevant statistics. Toward this end, two clustering approaches for the raw radiance data are described and the resulting Markov models are compared against the empirical distributions. Our results indicate that Markov models with just two states provide a rough characterization of the real data traces. While these could be sufficiently accurate for certain applications, slightly increasing the number of states to, e.g., eight, allows the representation of the real energy inflow process with an excellent level of accuracy in terms of first and second order statistics. Our tool has been developed using Matlab(TM) and is available under the GPL license at[1].

preprint2013arXiv

Weighted Projective Spaces from the toric point of view with computational applications

The purpose of the present paper is threefold. First: giving a treatise on weighted projective spaces by the toric point of view. Second: providing characterizations of fans and polytopes giving weighted projective spaces, with particular focus on a kind of \emph{recognition process} of toric data like fans and polytopes. Third: building a mathematical framework for the algorithmic and computational approach to wps's realized in [23,24].

preprint2012arXiv

Dynamic Compression-Transmission for Energy-Harvesting Multihop Networks with Correlated Sources

Energy-harvesting wireless sensor networking is an emerging technology with applications to various fields such as environmental and structural health monitoring. A distinguishing feature of wireless sensors is the need to perform both source coding tasks, such as measurement and compression, and transmission tasks. It is known that the overall energy consumption for source coding is generally comparable to that of transmission, and that a joint design of the two classes of tasks can lead to relevant performance gains. Moreover, the efficiency of source coding in a sensor network can be potentially improved via distributed techniques by leveraging the fact that signals measured by different nodes are correlated. In this paper, a data gathering protocol for multihop wireless sensor networks with energy harvesting capabilities is studied whereby the sources measured by the sensors are correlated. Both the energy consumptions of source coding and transmission are modeled, and distributed source coding is assumed. The problem of dynamically and jointly optimizing the source coding and transmission strategies is formulated for time-varying channels and sources. The problem consists in the minimization of a cost function of the distortions in the source reconstructions at the sink under queue stability constraints. By adopting perturbation-based Lyapunov techniques, a close-to-optimal online scheme is proposed that has an explicit and controllable trade-off between optimality gap and queue sizes. The role of side information available at the sink is also discussed under the assumption that acquiring the side information entails an energy cost. It is shown that the presence of side information can improve the network performance both in terms of overall network cost function and queue sizes.

preprint2011arXiv

Computational procedures for weighted projective spaces

This is a pdf print of the homonymous Maple file, freely available at http://www.maplesoft.com/applications/view.aspx?SID=127621, providing procedures which are able to produce the toric data associated with a (polarized) weighted projective space i.e. fans, polytopes and their equivalences. More originally it provides procedures which are able to detect a weights vector Q starting from either a fan or a polytope: we will call this process the recognition of a (polarized) weighted projective space. Moreover it gives procedures connecting polytopes of a polarized weighted projective space with an associated fan and viceversa.

preprint2002arXiv

Large N dualities and transitions in geometry

The focus of these lectures is the Gopakumar-Vafa's insight that ``Large N dualities'' (relating gauge theories and closed strings) are realized, in certain cases, by "transition in geometry". In their pivotal 1998 example, the gauge theory is SU(N) Chern-Simons theory on S^3, for large N, and the transition is the "conifold" transition between two Calabi--Yau varieties. Much progress has been made to support Gopakumar and Vafa's conjecture, including the lift of the transition to a transformation between 7-manifolds with G_2 holonomy. In another direction, this set up brings us to consider the uncharted territory of "open Gromov-Witten invariants". The lectures, hence the notes, were prepared for an audience of beginning graduate students, in mathematics and physics, whom we hope to get interested in this subject. Because most of the material presented in these lectures comes from the physics literature, we aimed to build a bridge for the mathematicians towards the physics papers on the subject.