Cohen-Boulakia, Sarah
Cohen-Boulakia, Sarah, 1980-...., chercheuse en informatique
Sarah Cohen-Boulakia bioinformaticienne, professeure des universités en informatique
Cohen-Boulakia, Sarah 1980-...
VIAF ID: 35641263 ( Personal )
Permalink: http://viaf.org/viaf/35641263
Preferred Forms
-
-
-
-
- 100 1 _ ‡a Cohen-Boulakia, Sarah
- 100 1 _ ‡a Cohen-Boulakia, Sarah ‡d 1980-...
- 100 1 _ ‡a Cohen-Boulakia, Sarah, ‡d 1980-...., ‡c chercheuse en informatique
- 100 0 _ ‡a Sarah Cohen-Boulakia ‡c bioinformaticienne, professeure des universités en informatique
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Au-delà des frontières entre langages de programmation et bases de données | |
Bibliothèque certifiée en Coq pour la provenance des données | |
Bioinformatics analysis and consensus ranking for biological high throughput data. | |
Bioinformatique et analyse de données multiomiques : principes et applications chez les levures pathogènes Candida glabrata et Candida albicans | |
Breaking boundaries between programming languages and databases. | |
A Coq certified library for data provenance. | |
Data integration in the life sciences, 2007: | |
Dataflow Architecture for Modular and Generic Plant Simulation Systems. | |
Designing Representations for Digital Documents | |
Designing scientific workflow following a structure and provenance-aware strategy | |
Edge partitioning of large graphs | |
Exploring trajectories of patients via medico-economic databases : application to myocardial infarction. | |
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog | |
Gestion d'identité dans des graphes de connaissances | |
Guided composition of services : application to workflow for data analysis in bioinformatics. | |
Identity Management in Knowledge Graphs. | |
Integrating biological data : selecting sources with a user-centric approach. | |
Intégration de données biologiques : sélection de sources centrée sur l'utilisateur | |
Linked Data at university : the LinkedWiki platform. | |
Modélisation, analyse et classification de motifs structuraux d'ARN à partir de leur contexte, par des méthodes d'algorithmique de graphes | |
Partitionnement de grands graphes. | |
Passage à l'échelle, propriétés et qualité des algorithmes de classements consensuels pour les données biologiques massives | |
Pipelines d'Analyse Bioinformatiques : solutions offertes par les Systèmes de Workflows, Cadre de représentation et Étude de la Réutilisation | |
Query Processing in Multistore Systems | |
Rank aggregation with ties : algorithms, user guidance et applications to biologicals data. | |
Recherche top-k pour le contenu du Web | |
Scalability, features and quality aspects of consensus algorithms for big biological data sets. | |
Top-k search over rich web content. | |
Traitement de requêtes dans les systèmes multistores. | |
Transitions interactives pour des applications cartographiques. |