Concept
Division (mathematics)
Related publications (33)
Dense Packings via Lifts of Codes to Division Rings
Nihar Prakash Gargava, Vlad Serban
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 INC2023Lattice packings through division algebras
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 HEIDELBERG2023A Novel Decomposition Solution Approach for the Restoration Problem in Distribution Networks
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 INC2020A p-weighted limiter for the discontinuous Galerkin method on one-dimensional and two-dimensional triangular grids
This paper presents an accuracy-preserving p-weighted limiter for discontinuous Galerkin methods on one-dimensional and two-dimensional triangular grids. The p-weighted limiter is the extension of the second-order WENO limiter by Li et al. [W. Li, J. Pan a ...
2020Swinging 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 ...
2020Multi-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 Bv201720-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 ...
Ieee2016Sound 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