Publications associées à Division

Dense Packings via Lifts of Codes to Division Rings

obtain algorithmically effective versions of the dense lattice sphere packings constructed from orders in Q-division rings by the first author. The lattices in question are lifts of suitable codes from prime characteristic to orders O in Q-division rings a ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Lattice packings through division algebras

Nihar Prakash Gargava

In this text, we will show the existence of lattice packings in a family of dimensions by employing division algebras. This construction is a generalization of Venkatesh's lattice packing result Venkatesh (Int Math Res Notices 2013(7): 1628-1642, 2013). In ...

SPRINGER HEIDELBERG2023

A Novel Decomposition Solution Approach for the Restoration Problem in Distribution Networks

Hossein Sekhavatmanesh

The distribution network restoration problem is by nature a mixed integer and non-linear optimization problem due to the switching decisions and Optimal Power Flow (OPF) constraints, respectively. The link between these two parts involves logical implicati ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Real-time control of an electric vehicle charging station while tracking an aggregated power-setpoint

Jean-Yves Le Boudec, Mario Paolone, Lorenzo Enrique Reyes Chamorro, Cong Wang, Roman Rudnik, Jagdish Prasad Achara

An electric vehicle (EV) charging method which considers the EVs heterogeneity, taking into account the absence of any information about future arrivals and departures, and of the amount of time any charging will take. The method further considers both swi ...

2020

Swinging jets

Philippe Renaud, François Gallaire, Arnaud Bertsch, Eunok Yim

This paper is associated with a video winner of a 2019 American Physical Society's Division of Fluid Dynamics (DFD) Gallery of Fluid Motion Award for work presented at the DFD Gallery of Fluid Motion. The original video is available online at the Gallery o ...

2020

Analytical Approach for Active Distribution Network Restoration Including Optimal Voltage Regulation

Hossein Sekhavatmanesh

The ever-increasing utilization of sensitive loads in the industrial, commercial, and residential areas in distribution networks requires enhanced reliability and quality of supply. This can be achieved, thanks to self-healing features of smart grids that ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

Multi-objective optimization of utility systems and heat exchanger networks: method and application to the solar assisted hydrothermal gasification case

François Maréchal, Adriano Viana Ensinas, Alberto Mian, Emanuele Martelli

This work presents a novel framework for the multi-objective synthesis of utility systems and Heat Exchanger Networks (HEN) under single or multi-period operations. In order to solve the resulting Mixed Integer Non Linear (MINLP) programming problem, a bi- ...

Elsevier Science Bv2017

20-300 MHz Frequency Generator with-70 dBc Reference Spur for Low Jitter Serial Applications

Catherine Dehollain, Gürkan Yilmaz

This paper presents a frequency synthesizer based on a phase locked loop (PLL) targeting low jitter applications. The frequency generator covers a range wider than a decade, more explicitly from 20 to 300 MHz. Thanks to a 4-stage ring oscillator, it can pr ...

Ieee2016

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis William Blanc

We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...

ACM Press2015

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.

Division

Dense Packings via Lifts of Codes to Division Rings

Lattice packings through division algebras

A Novel Decomposition Solution Approach for the Restoration Problem in Distribution Networks

A p-weighted limiter for the discontinuous Galerkin method on one-dimensional and two-dimensional triangular grids

Real-time control of an electric vehicle charging station while tracking an aggregated power-setpoint

Swinging jets

Analytical Approach for Active Distribution Network Restoration Including Optimal Voltage Regulation

Multi-objective optimization of utility systems and heat exchanger networks: method and application to the solar assisted hydrothermal gasification case

20-300 MHz Frequency Generator with-70 dBc Reference Spur for Low Jitter Serial Applications

Sound reasoning about integral data types with a reusable SMT solver interface

Graph Chatbot

Chattez avec Graph Search

Lattice packings through division algebras

Dense Packings via Lifts of Codes to Division Rings

Multi-objective optimization of utility systems and heat exchanger networks: method and application to the solar assisted hydrothermal gasification case

20-300 MHz Frequency Generator with-70 dBc Reference Spur for Low Jitter Serial Applications

Real-time control of an electric vehicle charging station while tracking an aggregated power-setpoint

A Novel Decomposition Solution Approach for the Restoration Problem in Distribution Networks

A p-weighted limiter for the discontinuous Galerkin method on one-dimensional and two-dimensional triangular grids

Swinging jets

Analytical Approach for Active Distribution Network Restoration Including Optimal Voltage Regulation

Sound reasoning about integral data types with a reusable SMT solver interface