Literatura científica selecionada sobre o tema "Inférence de contrats"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Inférence de contrats".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Inférence de contrats"
Noël-Gaudreault, Monique, e Claire Le Brun. "La littérature de jeunesse : le lecteur, l’oeuvre, les passeurs et le passage". Revue des sciences de l’éducation 39, n.º 1 (15 de abril de 2014): 25–32. http://dx.doi.org/10.7202/1024531ar.
Texto completo da fonteTeses / dissertações sobre o assunto "Inférence de contrats"
Menguy, Grégoire. "Black-box code analysis for reverse engineering through constraint acquisition and program synthesis". Electronic Thesis or Diss., université Paris-Saclay, 2023. http://www.theses.fr/2023UPASG023.
Texto completo da fonteSoftware always becomes larger and more complex, making crucial tasks like code testing, verification, or code understanding highly difficult for humans. Hence the need for methods to reason about code automatically. These are usually white-box, and use the code syntax to deduce its properties. While they have proven very powerful, they also show limitations: they need the source code, the code size and the data structures' complexity degrade their efficiency, they are highly impacted by syntactic code complexity amplified by optimizations obfuscations. This thesis explores how black-box code analysis can infer valuable properties for reverse engineering through data-driven learning. First, we consider the function contracts inference problem, which aims to infer over which inputs a code function can be executed to get good behaviors only. We extend the constraint acquisition learning framework, notably solving one of its major flaws: the dependency on a human user. It leads to PreCA, the first black-box approach enjoying clear theoretical guarantees. It makes PreCA especially suitable for development uses. Second, we consider the deobfuscation problem, which aims to simplify obfuscated code. Our proposal, Xyntia, synthesizes code block semantics through S-metaheuristics to offer an understandable version of the code. Xyntia significantly improves the state-of-the-art in terms of robustness and speed. In addition, we propose the two first protections efficient against black-box deobfuscation
Lepage, Guillaume. "Inférence statistique des modèles conditionnellement hétéroscédastiques avec innovations stables, contraste non gaussien et volatilité mal spécifiée". Phd thesis, Université Charles de Gaulle - Lille III, 2012. http://tel.archives-ouvertes.fr/tel-00881518.
Texto completo da fonteMonnet, François. "Speciation dynamics : contrasts between plants and animals". Electronic Thesis or Diss., Université de Lille (2022-....), 2023. http://www.theses.fr/2023ULILR080.
Texto completo da fonteSpeciation, the process leading to the emergence of reproductively isolated species through the accumulation of genetic reproductive barriers, has been a subject of study since textit{the origin of species} and remains an active topic of research. One primary goal of these studies is to elucidate which microevolutionary processes shape the dynamics of speciation. In this thesis, we introduced a novel comparative approach aimed at disentangling the effect of several speciation-related factors. This approach is illustrated by an investigation tackling an historical assumption: the supposed faster speciation of animals in contrast to plants. When comparing the dynamics of speciation between plants and animals, we observed that complete reproductive isolation occurred, on average, at a lower level of divergence for plants. We further analysed the dynamics of speciation in plants using linear modelling but did not find any significant effects for the two factors tested: selfing rate and life form. Overall, these results highlight the potential of our novel comparative approach to conduct easy, rapid and flexible comparisons of speciation dynamics in future research
Kortbi, Othmane. "Sur l'estimation d'un vecteur moyen sous symétrie sphérique et sous contrainte". Thèse, Université de Sherbrooke, 2011. http://savoirs.usherbrooke.ca/handle/11143/5158.
Texto completo da fonte