Energy-efficient Broadcasting in All-wireless Networks

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Implanted medical devices (IMDs) have been widely developed to support the monitoring and recording of biological data inside the body or brain. Wirelessly powered IMDs, a subset of implantable electronics, have been proposed to eliminate the limitations r ...

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

In this thesis, we concentrate on advancing high-level behavioral control policies for robotic systems within the framework of Dynamical Systems (DS). Throughout the course of this research, a unifying thread weaving through diverse fields emerges, and tha ...

A modular multiple frequency coils inductive link system to wirelessly provide power for at least a medical implant at an output of a receiving coil, whereby the receiving coil is configured to be implanted in an organism. The modular multiple frequency co ...

We discuss two extensions to a recently introduced theory of arrays, which are based on considerations coming from the model theory of power structures. First, we discuss how the ordering relation on the index set can be expressed succinctly by referring t ...

We introduce an algorithm to reconstruct a mesh from discrete samples of a shape's Signed Distance Function (SDF). A simple geometric reinterpretation of the SDF lets us formulate the problem through a point cloud, from which a surface can be extracted wit ...

For the sustainable development of the renewable hydrogen sector, alkaline electrolysis appears to be a technology of choice. Nevertheless, despite its long history that showed its reliability in the industrial field and despite the traditional belief from ...

Hyperbolic lattices are a new type of synthetic materials based on regular tessellations in non-Euclidean spaces with constant negative curvature. While so far, there has been several theoretical investigations of hyperbolic topological media, experimental ...

A user’s benefit from the energy stored in a battery over its lifetime depends on the time-varying characteristics of the battery, which are in turn affected by the chosen usage behavior. Both the capacity shrinkage and the number of lifetime cycles are st ...

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

In the development of implantable bioelectronics, the establishment of efficient wireless RF links between implants and external nodes is crucial, providing substantial contributions to the advancement of medical diagnosis, therapies, and basic science. Im ...

Advanced battery electrodes require a cautious design of microscale particles with built-in nanoscale features to exploit the advantages of both micro- and nano-particles relative to their performance attributes. Herein, the dynamic behavior of nanosized S ...

Operators from various industries have been pushing the adoption of wireless sensing nodes for industrial monitoring, and such efforts have produced sizeable condition monitoring datasets that can be used to build diagnosis algorithms capable of warning ma ...

An integer linear program is a problem of the form max{c^T x : Ax=b, x >= 0, x integer}, where A is in Z^(n x m), b in Z^m, and c in Z^n. Solving an integer linear program is NP-hard in general, but there are several assumptions for which it becomes fixed ...

This paper introduces Wireless IoT-based Noise Cancellation (WINC) which defines a framework for leveraging a wireless network of IoT microphones to enhance active noise cancellation in noise-canceling headphones. The IoT microphones forward ambient noise ...

In this thesis, we give new approximation algorithms for some NP-hard problems arising in resource allocation and network design. As a resource allocation problem, we study the Santa Claus problem (also known as the MaxMin Fair Allocation problem) in which ...

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

Minimising the longest travel distance for a group of mobile robots with interchangeable goals requires knowledge of the shortest length paths between all robots and goal destinations. Determining the exact length of the shortest paths in an environment wi ...

Energy-efficient Broadcasting in All-wireless Networks

Chattez avec Graph Search

Integrated Wireless Power, Data Communication, and Thermal Sensing System for Autonomous Multisite Brain Implants

Orthologic with Axioms

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Geometric Learning: Leveraging differential geometry for learning and control

A modular multiple frequency inductive link to wirelessly power multiple miniaturized implants

Succinct ordering and aggregation constraints in algebraic array theories

Reach For the Arcs: Reconstructing Surfaces from SDFs via Tangent Points

Perspective Alkaline electrolyzers: Powering industries and overcoming fundamental challenges

Anomalous and Chern topological waves in hyperbolic networks

Optimal Depth of Discharge for Electric Batteries with Robust Capacity-Shrinkage Estimator

Non-planarity of Markoff graphs mod p

Electromagnetic Radiation of Implantable Antennas

Dynamic Behavior of Spatially Confined Sn Clusters and Its Application in Highly Efficient Sodium Storage with High Initial Coulombic Efficiency

Federated learning with uncertainty-based client clustering for fleet-wide fault diagnosis

Results on Sparse Integer Programming and Geometric Independent Sets

WINC: A Wireless IoT Network for Multi-Noise Source Cancellation

Approximation Algorithms for Allocation and Network Design

LISA – A Modern Proof System

Certification of Bottleneck Task Assignment With Shortest Path Criteria