Epistémologie de l'informatique et applications
Aujourd'hui, le computer est au coeur des techniques de conception comme de représentation et de formalisation dans les sciences et dans les techniques contemporaines. L'informatique passe à la
Mon compte
Pas encore inscrit ?
Aujourd'hui, le computer est au coeur des techniques de conception comme de représentation et de formalisation dans les sciences et dans les techniques contemporaines. L'informatique passe à la
La séquence de caractères est un des objets que les informaticiens connaissent bien et pour lequel ils ont développé de très nombreux algorithmes. C’est donc très naturellement que l’informatique et
Une très grande diversité, on l'a vu, d'algorithmes en bio-informatique, motivé par la résolution de problèmes différents. Ces algorithmes, ces recherches en bio-informatique, s'appuient sur des
Pourquoi y a-t-il tant de personnes sans emploi alors qu’au même moment un grand nombre de postes sont disponibles ? La théorie de l’appariement analyse ces problèmes où un certain nombre de
Alors dans cette séquence on va revisiter la syntaxe Pharo, c'est-à-dire qu'on va la revoir quasiment entièrement sur un exemple concret, l'exemple d'une l'application toute simple: http donc issue du
Optimal transport (OT) has become a fundamental mathematical theoretical tool at the interface between calculus of variations, partial differential equations and probability. It took however
Bioinformatics relies on many domains of mathematics and computer science. Of course, algorithms themselves on character strings are important in bioinformatics, we have seen them. Algorithms and
Donc on va voir dans cette séquence le Framework web Seaside, qui est un Framework innovant pour construire des applications Web, en Pharo. Donc il est extrêmement puissant et permet de construire des
Dans la séquence précédente nous avons vu le modèle environnemental decompensation et ces deux grands principes maintenant nous allons avoir quelques applications. Et de manière concrète. En effet
Random spanning forests, which are efficiently sampled by Wilson's algorithm, enjoy both abelian...
In this video we want to apply the observability rank criterion to understand the observability properties of the system that we saw in the previous videos.
Ludovic Courtès est ingénieur de recherche au sein du service expérimentation et développement du centre Inria de l’université de Bordeaux. Il consacre son travail à la reproductibilité des logiciels