Search results for "Suite"
showing 10 items of 184 documents
"Le verrou de Bercy n’a pas sauté !"
2016
National audience; Le Conseil constitutionnel a reconnu la conformité à la Constitution de l’article L. 228 du Livre des procédures fiscales en tant qu’il pose le principe dit du “verrou de Bercy”, c’est-à-dire en tant qu’il subordonne la mise en mouvement de l’action publique en matière d’infractions fiscales à une plainte de l’administration fiscale. La délimitation très stricte par le Conseil du champ de la QPC posée aboutit à une reconnaissance de la constitutionnalité de cette disposition législative quelque peu virtuelle car elle déconnecte la question du principe du “verrou de Bercy” de celle des conditions dans lesquelles il s’exerce. Par ailleurs, le Conseil rétrograde le principe …
A Feature Rich Distance-Based Many-Objective Visualisable Test Problem Generator
2019
In optimiser analysis and design it is informative to visualise how a search point/population moves through the design space over time. Visualisable distance-based many-objective optimisation problems have been developed whose design space is in two-dimensions with arbitrarily many objective dimensions. Previous work has shown how disconnected Pareto sets may be formed, how problems can be projected to and from arbitrarily many design dimensions, and how dominance resistant regions of design space may be defined. Most recently, a test suite has been proposed using distances to lines rather than points. However, active use of visualisable problems has been limited. This may be because the ty…
Article 40. Emoluments du liquidateur, Bénéfice du privilège général des frais de justice (non), Priorité de paiement de l'art. 40 (oui)
1998
International audience; (Com. 31 mars 1998, Mahieux ès qual. c/ Banque de Polynésie)
Du censeur des moeurs dans la Rome républicaine à la théologie morale des jésuites au XVIIe siècle : vingt-deux siècles de développements du droit en…
2013
Cette section envisage certainement l’histoire du droit sous l’angle de la longue durée : la première contribution traite de développements qui commencent au ve siècle avant notre ère et la dernière se situe au xviie siècle. Cette constatation comporte sa part de réconfort, mais également d’inquiétude. On doit se féliciter qu’à travers les travaux d’une nouvelle génération de chercheurs, parmi lesquels, comme en témoigne ce recueil, l’époque contemporaine se taille la part du lion, la poursui...
Towards Model-Based Reinforcement Learning for Industry-Near Environments
2019
Deep reinforcement learning has over the past few years shown great potential in learning near-optimal control in complex simulated environments with little visible information. Rainbow (Q-Learning) and PPO (Policy Optimisation) have shown outstanding performance in a variety of tasks, including Atari 2600, MuJoCo, and Roboschool test suite. Although these algorithms are fundamentally different, both suffer from high variance, low sample efficiency, and hyperparameter sensitivity that, in practice, make these algorithms a no-go for critical operations in the industry.
"Tea for two": the Archive of the Italian Latinity of the Middle Ages meets the CLARIN infrastructure
2020
This paper aims at showing how integrating the Archive of the Italian Latinity of the Middle Ages (ALIM) into the ILC4CLARIN repository can provide mutual benefits. Making ALIM available to a large community of scholars and researchers, on the one side, represents the first step to reduce the lack of resources for Medieval Latin in CLARIN and, on the other side, constitutes an unprecedented contribution to not only linguistic investigations, but also to the studies of the culture and science at the basis of the Western European society. The paper describes the adopted approach aiming to keep intact the structure of the archive and its metadata, which are both accurately mirrored into the IL…
Interdiction des poursuites individuelles. Déclaration notariée d'insaisissabilité inopposable au liquidateur. Insaisissabilité reportée sur le prix …
2018
International audience; (Com. 25 oct. 2017, n° 16-22.249, arrêt n° 1314 F-D, M. Thierry R. c/ Sté Véronique T., ès qual. et a.)
Arrêt des poursuites individuelles. Notion d'instance en cours. Instance introduite après le jugement d'ouverture (non)
2013
International audience; (Com., 7 février 2012, n° 11-15.528, Rev. proc. coll. 2012, n° 3, p. 32, note O. Staes)
Caution. Liquidation judiciaire clôturée pour insuffisance d'actif, Art. 169 de la loi de 1985, Subsistance du droit de poursuite des créanciers cont…
1993
International audience; (Com. 8 juin 1993, Bonneau c/ Banque Nationale de Paris)
Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol
2012
Author's version of an article published in the journal: Computer Standards & Interfaces. Also available from the publisher at: http://dx.doi.org/10.1016/j.csi.2011.12.001 Cooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and energy efficiency. A Cooperative Automatic Repeat reQuest (C-ARQ) MAC protocol has been recently proposed to exploit cooperative diversity at the MAC layer. in this paper, we validate the integrity and the validity of the C-ARQ protocol using formal methods. The protocol logic is modeled in SDL and implem…