Episciences.org
Not a member yet
6707 research outputs found
Sort by
SAT-Inspired Higher-Order Eliminations
No full textWe generalize several propositional preprocessing techniques to higher-orderlogic, building on existing first-order generalizations. These techniqueseliminate literals, clauses, or predicate symbols from the problem, with theaim of making it more amenable to automatic proof search. We also introduce anew technique, which we call quasipure literal elimination, that strictlysubsumes pure literal elimination. The new techniques are implemented in theZipperposition theorem prover. Our evaluation shows that they sometimes helpprove problems originating from Isabelle formalizations and the TPTP library
Rainbow vertex pair-pancyclicity of strongly edge-colored graphs
No full textAn edge-colored graph is \emph{rainbow }if no two edges of the graph have thesame color. An edge-colored graph is called \emph{properly colored} ifevery two adjacent edges of receive distinct colors in . A\emph{strongly edge-colored} graph is a proper edge-colored graph such thatevery path of length is rainbow. We call an edge-colored graph \emph{rainbow vertex pair-pancyclic} if any two vertices in are containedin a rainbow cycle of length for each with .In this paper, we show that every strongly edge-colored graph of order with minimum degree is rainbow vertexpair-pancyclicity
On Small Types in Univalent Foundations
No full textWe investigate predicative aspects of constructive univalent foundations. Bypredicative and constructive, we respectively mean that we do not assumeVoevodsky's propositional resizing axioms or excluded middle. Our workcomplements existing work on predicative mathematics by exploring what cannotbe done predicatively in univalent foundations. Our first main result is thatnontrivial (directed or bounded) complete posets are necessarily large. Thatis, if such a nontrivial poset is small, then weak propositional resizingholds. It is possible to derive full propositional resizing if we strengthennontriviality to positivity. The distinction between nontriviality andpositivity is analogous to the distinction between nonemptiness andinhabitedness. Moreover, we prove that locally small, nontrivial (directed orbounded) complete posets necessarily lack decidable equality. We prove ourresults for a general class of posets, which includes e.g. directed completeposets, bounded complete posets, sup-lattices and frames. Secondly, the factthat these nontrivial posets are necessarily large has the importantconsequence that Tarski's theorem (and similar results) cannot be applied innontrivial instances. Furthermore, we explain that generalizations of Tarski'stheorem that allow for large structures are provably false by showing that theordinal of ordinals in a univalent universe has small suprema in the presenceof set quotients. The latter also leads us to investigate theinter-definability and interaction of type universes of propositionaltruncations and set quotients, as well as a set replacement principle. Thirdly,we clarify, in our predicative setting, the relation between the traditionaldefinition of sup-lattice that requires suprema for all subsets and ourdefinition that asks for suprema of all small families
Le rugby professionnel masculin français sous le choc économique de la Covid-19
No full textThe Covid-19 crisis had an impact on French professional and amateur sport with the suspension of competitions from 12th March 2020 and the premature and definitive closure of the 2019/20 season. This was the case for French men's professional rugby, for which the TOP 14 (1st division) and PRO D2 (2nd division) professional championships were suspended and then definitively closed. On 1st March 2020, the French National Rugby League (LNR) voted for a season without a championship winner or promoted and relegated teams, and with rankings stopped at day 17 for the TOP 14 and day 23 for the PRO D2. Based on academic work carried out on amateur football (Carin & Andreff, 2020) and professional basketball (Carin, Desquennes, Jaworski and Andreff, 2021), this study focuses on the economic models of French professional men's rugby clubs, their evolution over a period from 2008/09 to 2018/19 and the economic effects of the Covid-19 crisis on clubs’ finances. Access to the financial data of professional clubs in the first two divisions and exchanges with the Direction Nationale d'Aide au Contrôle de Gestion (DNACG) allowed us to better understand the distribution of revenues, expenses and financial performance before the Covid crisis and to assess the short-term economic effects of this crisis on the 2019/20 and 2020/21 seasons. In addition to the economic effects on the first two seasons of the Covid- 19, this study helps to highlight the crisis management of French professional rugby sports organisations.La crise de la Covid-19 a impacté le sport professionnel et amateur français avec la suspension des compétitions à partir du 12 mars 2020 puis l’arrêt prématuré et définitif de la saison 2019/20. C’est le cas du rugby professionnel masculin français pour lequel les championnats professionnels du TOP 14 (1re division) et de la PRO D2 (2e division) ont été suspendus puis clôturés définitivement. Le 1er mars 2020, la Ligue Nationale de Rugby (LNR) votait pour une saison sans vainqueur de championnat ni équipes promues et reléguées avec un classement arrêté à la 17ème journée pour le TOP 14 et à la 23ème journée pour la PRO D2. En s’appuyant sur les travaux académiques menés sur le football amateur (Carin & Andreff, 2020), sur le basket professionnel (Carin, Desquennes, Jaworski et Andreff, 2021), cette recherche s’intéresse aux modèles économiques des clubs français professionnels masculins de rugby, à leur évolution sur la période de 2008/09 à 2018/19 et aux effets économiques de la Covid-19 sur les finances des clubs. L’accès aux données financières des clubs professionnels des deux premières divisions et des échanges avec la Direction Nationale d’Aide au Contrôle de Gestion (DNACG) permettent de mieux cerner la répartition des revenus, des charges et la performance financière d’avant la crise liée à la Covid-19 et d’apprécier les effets économiques à court terme de cette crise sur les saisons 2019/20 et 2020/21. Outre les effets économiques sur les deux premières saisons de la Covid-19, cette étude contribue à mettre en évidence la gestion de crise des organisations sportives de rugby professionnel français
Big Picard theorems and algebraic hyperbolicity for varieties admitting a variation of Hodge structures
No full textIn this paper, we study various hyperbolicity properties for a quasi-compactK\"ahler manifold which admits a complex polarized variation of Hodgestructures so that each fiber of the period map is zero-dimensional. In thefirst part, we prove that is algebraically hyperbolic and that thegeneralized big Picard theorem holds for . In the second part, we prove thatthere is a finite \'etale cover of from a quasi-projectivemanifold such that any projective compactification of is Picard hyperbolic modulo the boundary , and anyirreducible subvariety of not contained in is of generaltype. This result coarsely incorporates previous works by Nadel, Rousseau,Brunebarbe and Cadorel on the hyperbolicity of compactifications of quotientsof bounded symmetric domains by torsion-free lattices.Comment: 31 pages. Final version, to appear in \'Epijournal de G\'eom\'etrie Alg\'ebriqu
Bounding the Number of Minimal Transversals in Tripartite 3-Uniform Hypergraphs
No full textWe focus on the maximum number of minimal transversals in 3-partite 3-uniform hypergraphs on n vertices. Those hypergraphs (and their minimal transversals) are commonly found in database applications. In this paper we prove that this number grows at least like 1.4977^n and at most like 1.5012^n
Dispositifs gouvernementaux visant la réduction des émissions CO2 dans le transport de fret : quels impacts sur les PME ?
No full textThis article explores the behaviour of small- and medium-sized enterprises (SMEs) regarding mandatory and voluntary measures established by the French government to reduce carbon dioxide (CO2) emissions generated by freight transport operations. Through semi-structured interviews with fourteen SMEs (five shippers, eight carriers and a consultant) located throughout France, this research examines the integration of sustainable development into organizational and decision-making practices since the introduction of these programmes on the French territory. Our qualitative study suggests that active environmental implications stem mainly from the company's internal dynamics, driven by its management, as well as end customers’ expectations. The voluntary policies seem to appeal more to SMEs than the mandatory measures implemented since 2013. This research shows that the carriers surveyed are highly environmentally proactive, regardless of their size. It also sheds light on techniques that could increase the efficiency and widespread adoption of governmental measures, in particular through the increasing use of on-board telematics.Cet article explore le comportement des petites et moyennes entreprises (PME) suite aux dispositifs obligatoires et volontaires mis en place par le gouvernement français pour réduire les émissions de CO2 générées par le transport de marchandises. Grâce à des entretiens semi-directifs réalisés auprès de quatorze entreprises réparties sur le territoire français (cinq chargeurs, huit transporteurs et un consultant), nous examinons la prise en compte du développement durable dans les pratiques organisationnelles et décisionnelles des PME depuis l’apparition de ces dispositifs. Notre étude qualitative suggère que les implications environnementales actives découlent principalement de la dynamique interne de l'entreprise, pilotée par sa direction, ainsi que des attentes des clients finaux. Ce sont les démarches volontaires qui semblent séduire davantage les PME par rapport aux dispositifs obligatoires mis en place depuis 2013. Nous identifions une forte proactivité environnementale des transporteurs interrogés, quelle que soit leur taille. Notre travail apporte également un éclairage sur les techniques qui permettraient d’accroître l’efficacité et l’adoption des dispositifs gouvernementaux, notamment via une utilisation croissante de la télématique embarquée
Artificial colorization of digitized microfilms: a preliminary study
No full textA lot of available digitized manuscripts online are actually digitized microfilms, a technology dating back from the 1930s. With the progress of artificial colorization, we make the hypothesis that microfilms could be colored with these recent technologies, testing InstColorization. We train a model over an ad-hoc dataset of 18 788 color images that are artificially gray-scaled for this purpose. With promising results in terms of colorization but clear limitations due to the difference between artificially grayscaled images and "naturaly" greyscaled microfilms, we evaluate the impact of this artificial colorization on two downstream tasks using Kraken: layout analysis and text recognition. Unfortunately, the results show little to no improvements which limits the interest of artificial colorization on manuscripts in the computer vision domain
Structural Liveness of Immediate Observation Petri Nets
No full textWe look in detail at the structural liveness problem (SLP) for subclasses ofPetri nets, namely immediate observation nets (IO nets) and their generalizedvariant called branching immediate multi-observation nets (BIMO nets), thatwere recently introduced by Esparza, Raskin, and Weil-Kennedy. We show that SLPis PSPACE-hard for IO nets and in PSPACE for BIMO nets. In particular, wediscuss the (small) bounds on the token numbers in net places that are decisivefor a marking to be (non)live.Comment: Final versio
Trace formalism for motivic cohomology
No full textThe goal of this paper is to construct trace maps for the six functorformalism of motivic cohomology after Voevodsky, Ayoub, andCisinski-D\'{e}glise. We also construct an -enhancement of such a traceformalism. In the course of the -enhancement, we need to reinterpretthe trace formalism in a more functorial manner. This is done by usingSuslin-Voevodsky's relative cycle groups