Dans le cadre de mon travail j'ai été amené à écrire un petit texte qui explique mon quotidien fait de "recherche (scientifique) en langages de programmation". Je me permets de le diffuser ici au cas où ça intéresse des gens.
Je travaille à l'INRIA, un institut public français de recherche en informatique. Je fais de la programmation et de la recherche sur les langages de programmation.
Mon rôle est d’étudier ces langages, de mieux les comprendre (…)
Je fais de la recherche en langages de programmation. Dans le journal ci-dessus, j'explique pourquoi et comment, en essayant d'être accessible pour des gens qui connaissent peu (ou mal) la programmation et/ou la recherche.
Les programmeurs et programmeuses ont inventé de nombreuses représentations symboliques des programmes qui sont exécutés par un ordinateur, représentations que l'on appelle langages de programmation. On peut les voir comme des langages utilisés pour parler avec l'ordinateur, un programme (…)
Les ontologies formelles sont un moyen de modéliser des connaissances. Elles sont de plus en plus utilisées en intelligence artificielle. Cependant, bien qu’elles partagent de nombreux aspects avec les modèles objet, elles restent peu connues des programmeurs.
Owlready est un module sous licence LGPL permettant de faire de la programmation orientée ontologie en Python, c’est‐à‐dire de manipuler les entités d’une ontologie formelle comme s’il s’agissait d’objets Python classiques. La version 2 - 0.4 intègre un quadstore RDF optimisé et une syntaxe de haut niveau pour manipuler les ontologies, qui a fait l’objet d’un article récent de la revue Artificial Intelligence In Medicine (AIM).
Dans la suite de cet article de la série « que peut‐on faire dans le Libre quand on est maître de conférence ? », les ontologies seront rapidement présentées, puis je décrirai Owlready et la programmation orientée ontologie. Enfin, j’en profiterai pour donner mon point de vue personnel sur le libre accès aux articles scientifiques.
L’AP‐HP propose aux personnes étant atteintes de maladies chroniques de participer à la recherche de deux façons intéressantes et complémentaires :
ComPaRe, est un projet scientifique collaboratif qui vise à faire avancer la recherche sur les maladies chroniques en impliquant largement les patients.
L’objectif est de fonder une communauté de 200 000 participants atteints d’une ou plusieurs maladies chroniques qui peuvent, quelle que soit leur maladie, partager leurs expériences directement avec les chercheurs, grâce à Internet ; une fois inscrit à (…)
Je trouve formidable l'engagement des motards pour faire reculer le cancer à l'occasion de l'opération Une rose un espoir. Mais 2 questions me taraudent.
1) Pourquoi faire une campagne aussi intrusive ? J'entends par là le bruit des motos dans tous les villages pendant tout un week-end, le porte-à-porte et les signes tracés à la craie sur les trottoirs. Si toutes les associations se comportaient ainsi, cela deviendrait invivable. Pourquoi ne pas plutôt demander des dons par courrier postal, par (…)
Il y a une discussion intéressante sur la liste de développement de LLVM ce mois-ci, partie du constat que les temps de compilation de LLVM augmentent au fil du temps—avec l'évolution du code. En particulier j'ai trouvé ce message de Daniel Berlin très intéressant: il parle du rapport entre les compilateurs industriels et la recherche en compilation, et de l'effet que ça peut avoir sur la maintenabilité du code. Traduction à la rache (le début est la citation d'un autre (…)
Bonjour à tous.
Actuellement en 2ème année d'école d'ingénieur aux Mines de Nantes, je dois effectuer un stage "international" d'une durée de 2 à 3 mois à partir de Juin 2017. Bien évidemment et vous l'aurez compris, si je poste ici, c'est que je souhaiterais l'effectuer le plus possible dans le libre. Bon, si vous avez des contacts hors de ce champ, je suis preneur quand même :)
Ce stage doit s'effectuer dans ma spécialité, c'est à dire dans le (…)
OCaml est un langage de programmation généraliste, fonctionnel et statiquement typé.
MetaOCaml est une extension, un dialecte non-standard du langage qui a une longue histoire. Dérivée de MetaML il y a environ 15 ans, c'est toujours resté un prototype de recherche, avec une base d'utilisateur petite mais active au fil des années—au contraire de la plupart des prototypes de recherche qui meurent de mort naturelle assez vite. Le "Meta" dans le nom fait référence à la méta-programmation, l'écriture de programmes (…)
BtrPlace est un algorithme de placement de machines virtuelles pour infrastructure IaaS développé par l'équipe de recherche Scale (I3S, Université Nice Sophia Antipolis). Il est distribué sous LGPL depuis 2013 et sa version 1.0 aura été publiée le 6 juillet 2016.
L'utilisateur interagit avec BtrPlace suivant une approche déclarative. Il décrit l'état courant de l'infrastructure et des contraintes de placement qu'il souhaite satisfaire (affinités, allocation des ressources, états, …). BtrPlace calcul alors, s'il existe, un plan de reconfigurations permettant de (…)
Bonsoir Forum,
Utilisateur quotidien de Gnome, il y a, à nouveau, quelque chose qui m'agace au quotidien. Je dois devenir perfectionniste…
Lorsque j'utilise Thunar, j'ai pour habitude de taper les premières lettres du fichier/répertoire que je veux atteindre pour arriver directement sur le fichier/répertoire en question.
Depuis ma mise à jour sur Jessie, au lieu de naviguer dans le répertoire courant, appuyer sur une lettre o un chiffre lance directement une recherche dans tous les sous-répertoires. Et c'est lent, beaucoup (…)
Stephen Dolan (github, vielle page perso) est un étudiant en thèse d'informatique à Cambridge, UK, et il a de nombreux talents et des centres d'intérêt variés au sein de la discipline. D'un côté il a un goût pour l'élégance mathématique assez visible dans ses travaux (en particulier son travail de thèse très intéressant sur le sous-typage, avec une forte inspiration algébrique), de l'autre c'est aussi un hacker qui s'intéresse à l'implémentation, et a par exemple fait une (…)
Bonjour,
j'ai un petit blog en local, je note pas mal de choses, et l'idée c'est de pouvoir récupérer et retrouver des anciennes infos/article assez facilement. Je me suis basé sur un blog en mode texte (qui n'utilise aucune base de donnée), et donc met tout nouveau post dans un répertoire, et à chaque fois dans un fichier.
L'idée serait d'avoir un moteur de recherche qui me faciliterait pour retrouver des articles basé sur le full-text (et de continuer avec (…)
Bonjour à tous.
Sous (GNU/)linux depuis 1 an, je cherche une distribution qui m'obligerait à "en apprendre plus" à la manière de crunch bang (plus maintenu…) mais en moins poussé que arch.
merci d'avance !
PS:(Si la distribs est légère et/ou en rolling release ce serait un plus non négligeable)
Bonjour à tous !
La psychologie, j'ai souvent trouvé que c'était tiré par les cheveux, et bien il semble que c'est tout sauf de la science.
Il semblerait, en effet, qu'un groupement de 270 chercheurs se soit créé pour essayer de reproduire une centaine de « découvertes » issues d'études scientifiques.
Résultat : plus de la moitié n'ont pas pu être reproduite.
Jusque là, c'est le cours normal de la science (même si les médias oublient souvent qu'une étude unique n'est (…)