Vertaling van "Software based on structural induction " (Engels → Frans) :

TERMINOLOGIE

software based on structural induction
logiciel raisonnant par induction structurelle

IN-CONTEXT TRANSLATIONS

Indeed, given IMS Health’ leading position in sales tracking data in the EEA, pharmaceutical companies typically expect that also providers of other data and services, such as doctors’ contact details and software products, are able to deliver their data based on the same structure or to use it in their software solutions.
En effet, vu la position de premier plan qu'occupe IMS Health sur le marché des données de suivi des ventes dans l'EEE, les firmes pharmaceutiques s'attendent généralement à ce que les fournisseurs d'autres données et services (coordonnées de médecins, logiciels, par exemple) utilisent la même structure pour la fourniture de données ou dans leurs logiciels.

‘research infrastructure’ means facilities, resources and related services that are used by the scientific community to conduct research in their respective fields and covers scientific equipment or sets of instruments, knowledge-based resources such as collections, archives or structured scientific information, enabling information and communication technology-based infrastructures such as grid, computing, software and communication, or any other entity of a unique nature essential to conduct research.
91. «infrastructure de recherche»: les installations, les ressources et les services associés utilisés par la communauté scientifique pour mener des recherches dans ses domaines de compétence. Cette définition englobe les équipements scientifiques et le matériel de recherche, les ressources cognitives comme les collections, les archives et les informations scientifiques structurées, les infrastructures habilitantes fondées sur les technologies de l'information et de la communication telles que le GRID, les infrastructures de calcul, les logiciels et les systèmes de communication, ainsi que tous les autres moyens nécessaires pour mener les recherches.

‘research infrastructure’ means facilities, resources and related services that are used by the scientific community to conduct research in their respective fields and covers scientific equipment or set of instruments, knowledge-based resources such as collections, archives or structured scientific information, enabling information and communication technology-based infrastructures such as grid, computing, software and communication, or any other entity of a unique nature essential to conduct research.
«infrastructure de recherche»: les installations, les ressources et les services associés utilisés par la communauté scientifique pour mener des recherches dans ses domaines de compétence. Cette définition englobe les équipements scientifiques et le matériel de recherche, les ressources cognitives comme les collections, les archives et les informations scientifiques structurées, les infrastructures habilitantes fondées sur les technologies de l’information et de la communication, telles que le GRID, les infrastructures de calcul, les logiciels et les systèmes de communication, ainsi que tous les autres moyens nécessaires pour mener les recherches.

‘research infrastructure’ means facilities, resources and related services that are used by the scientific community to conduct top-level research in their respective fields and covers major scientific equipment or sets of instruments; knowledge-based resources such as collections, archives or structures for scientific information; enabling Information and Communications Technology-based infrastructures such as Grid, computing, software and communication, or any other entity of a unique nature essential to achieve excellence in research.
«infrastructure de recherche», les installations, les ressources et les services associés utilisés par la communauté scientifique pour mener des recherches de haut niveau dans tous les domaines. Cette définition englobe les équipements scientifiques de base et le matériel de recherche, les ressources cognitives comme les collections, les archives et les informations scientifiques structurées, les infrastructures fondées sur la technologie de l’information et de la communication, comme les réseaux de type GRID, le matériel informatique, les logiciels et les outils de communication, ainsi que tous les autres moyens nécessaires pour atteindre un niveau d’excellence.

(a)‘research infrastructure’ means facilities, resources and related services that are used by the scientific community to conduct top-level research in their respective fields and covers major scientific equipment or sets of instruments; knowledge-based resources such as collections, archives or structures for scientific information; enabling Information and Communications Technology-based infrastructures such as Grid, computing, software and communication, or any other entity of a unique nature essential to achieve excellence in research.
a)«infrastructure de recherche», les installations, les ressources et les services associés utilisés par la communauté scientifique pour mener des recherches de haut niveau dans tous les domaines. Cette définition englobe les équipements scientifiques de base et le matériel de recherche, les ressources cognitives comme les collections, les archives et les informations scientifiques structurées, les infrastructures fondées sur la technologie de l’information et de la communication, comme les réseaux de type GRID, le matériel informatique, les logiciels et les outils de communication, ainsi que tous les autres moyens nécessaires pour atteindre un niveau d’excellence.

This definition covers major scientific equipment or sets of instruments; knowledge-based resources such as collections, archives or structured scientific information; enabling ICT-based infrastructures such as grid, computing, software and communications; any other entity of a unique nature essential to achieve excellence in research.
Cette définition englobe les équipements scientifiques ou ensembles d'instruments de base, les ressources cognitives comme les collections, les archives et les informations scientifiques structurées, les infrastructures TIC telles que les réseaux de type GRID, le matériel informatique, les logiciels et les outils de communication, ainsi que tous les autres moyens nécessaires pour atteindre un niveau d'excellence dans la recherche.

This definition covers major scientific equipment or sets of instruments; knowledge-based resources such as collections, archives or structured scientific information; enabling ICT-based infrastructures such as grid, computing, software and communications; any other entity of a unique nature essential to achieve excellence in research.
Cette définition englobe les équipements scientifiques ou ensembles d'instruments de base; les ressources cognitives comme les collections, les archives et les informations scientifiques structurées, les infrastructures TIC telles que les réseaux de type GRID, le matériel informatique, les logiciels et les outils de communication, ainsi que tous les autres moyens nécessaires pour atteindre un niveau d'excellence dans la recherche.

The evaluators also highlighted the need for the Commission services to compare the performance of the projects on a more structured basis and suggest the introduction of a software/internet-based monitoring system.
Les évaluateurs soulignent également la nécessité pour les services de la Commission de comparer la performance des projets sur une base plus structurée et suggèrent l’introduction d’un système de suivi basé sur un logiciel ou sur l’internet.