Journal of Gender Equality Disability Social Inclusion and Children
Not a member yet
25069 research outputs found
Sort by
Termination of Ethereum's Smart Contracts
No full textEthereum is a decentralized blockchain technology equipped with so-called Smart Contracts. A contract is a program whose code is public, which can be triggered by any user, and whose actual execution is performed by miners participating in Ethereum. Miners execute the contract on the Ethereum Virtual Machine (EVM) and apply its effect by adding new blocks to the blockchain. A contract that takes too much time to be processed by the miners of the network may result into delays or a denial of service in the Ethereum system. To prevent this scenario, termination of Ethereum's Smart Contracts is ensured using a gas mechanism. Roughly, the EVM consumes gas to process each instruction of a contract and the gas provided to run a contract is limited. This technique could make termination of contracts easy to prove but the way the official definition of the EVM specifies gas usage makes the proof of this property non-trivial. EVM implementations and formal analysis techniques of EVM's Smart Contracts use termination of contracts as an assumption, so having a formal proof of termination of contracts is crucial. This paper presents a mechanized, formal, and general proof of termination of Smart Contracts based on a measure of EVM call stacks
: COVID-19 prediction model based on a 10 day series of observations
No full textThis report describe and test a model for predicting COVID-19. One computes the parameters of a linear model (case = a + b.time), an exponential model (ln (case) = a + b.time) and a semi-log (asymptotic) model (case = a + ln (time)) over the last 10 days of a series of observations. We compare their r2 and use the best model (the one with the largest r2) to predict the number of cases on the Jth day after the end of the series.The code (rmarkdown) is made available on GitHub: https://github.com/pgiraudoux/COVID-19/releasesCe rapport décrit et teste un modèle de prévision COVID-19. On calcule les paramètres d’un modèle linéaire (cas=a+b.temps), d’un modèle exponentiel (ln(cas)=a+b.temps) et d’un modèle semi-log (asymptotique) (cas=a+ln(temps)) sur les 10 jours d’une série d’observation. On compare leurs r2 et on utilise le meilleur modèle (celui qui a le plus grand r2) pour prédire le nombre de cas au Jtième jour après la fin de la série.Le code (rmarkdown) est disponible sur GitHub: https://github.com/pgiraudoux/COVID-1
Cartographie paysagère de zones humides du bassin Seine amont de l'AESN. Morvan, année 2019
No full textLa Chevrolière (Loire-Atlantique) Parc d’activités de Tournebride ; Les Huguetières. Une occupation rurale pluriséculaire (2500 av. n.è - 1000 ap. n.è). Rapport de fouilles
No full textImpact économique de l'octroi de mer dans les Départements d'Outre-mer français.
No full textL’octroi de mer (OM) est un impôt propre aux départements et régions d’outre-mer dont l’origine est très ancienne puisqu’il était perçu dès 1670 dans la colonie de Martinique. Il constitue aujourd’hui la principale source de revenu des collectivités locales. Depuis 1992, l’OM ne s’applique plus uniquement sur les importations, mais frappe également les produits locaux au titre de la non-discrimination imposée par l’Union européenne. Celle-ci a toutefois autorisé, en raison des contraintes spécifiques de ces territoires, que l’OM puisse être utilisé comme un outil pour protéger la production locale de la concurrence des importations. Ce mécanisme, souvent très critiqué en raison de sa complexité et de son impact sur le niveau des prix, est autorisé jusqu’au 31 décembre 2020. D’ici cette date, il doit être reconsidéré et des pistes de réforme identifiées. Cette étude évalue l’impact budgétaire et économique de l’OM tel qu’il est appliqué aujourd’hui, et à partir de ce diagnostic, envisage différents scénarii pour réformer en profondeur ce système
Projet collectif de recherche : Au fil du plomb de la Seine. Origine, circulation et techniques de fabrication des objets en plomb d’époque romaine dans l’estuaire (2020-...)
No full textPeu étudié par le passé, le mobilier en plomb romain découvert dans l’estuaire de la Seine possède un vaste potentiel de recherche. Les problématiques liées à la compréhension des pratiques artisanales, de la circulation du métal dans la région et des pratiques funéraires calètes et véliocasses touchent ici des collections archéologiques anciennes et récentes. Une approche pluridisciplinaire mêlant archéologie et archéométallurgie est susceptible de répondre à ces questions, qui s’inscrivent dans une dynamique de recherche commune à plusieurs laboratoires français et allemands.Coordination du PCR : Malina Robert (Université de Nantes & Caux Seine Agglo)
Documentation of RISIS datasets: RISIS CIB2 DATABASE
No full textThe Corporate Invention Board (CIB2) database is designed for the analysis of technological knowledge creation of the worldwide top corporate R&D performers, using patents as a proxy. It includes 3992 companies. It focuses on the ‘priority patents’ applied by the parent companies and the subsidiaries they control. For patents, it relies on the patent data included in the RISIS Patent Database (RPD) . The list of companies was elaborated using several editions of the EU Industrial R&D Investment Scoreboard and the lists of WIPO top applicants. CIB2 also gives basic data on the companies (locations, sectors, size, financial data)
