Search results for "computer"
showing 10 items of 30657 documents
Évaluation ergonomique : étude des viewers Xview, Dayna Text et InfoExplorer
1997
Rapport de contrat Bull INRIA; Évaluation par inspection des viewers : Xview, Dayna Text et InfoExplorer
Évaluation ergonomique du logiciel WatchWare
1996
Rapport de contrat Bull INRIA; Évaluation par inspection du logiciel d'administration de systèmes informatiques WatchWare de l'entreprise Bull
Ergonomic Evaluation of the On-Line Documentation running on Windows NT for the Pegakid Platform
1996
Rapport de contrat Bull INRIA; Évaluation par inspection de la documentation en ligne de la plate-forme Pegakid de l'entreprise Bull
Évaluation ergonomique du serveur intranet Bull
1997
Rapport de contrat Bull INRIA; Évaluation par inspection du serveur intranet Bull
Vers un environnement informatisé d'évaluation de la qualité ergonomique d'interfaces multimédia : Étude exploratoire
2000
Our objective is to encourage the human-computer interface designers to be more interested in the uses made of their product by taking into account to a higher degree the human-factor in the testing phase which often is too focused on technical aspects. We want to facilitate the integration of the user as a source of evaluation during the testing phase. Our aim is to offer the designer a software environment of practical tests that allow them to have their own products evaluated by their users. We undertook an experiment to explore the feasibility of this project.
Vers un environnement informatisé d'évaluation de la qualité ergonomique d'interfaces multimédia : Étude exploratoire
2000
Our objective is to encourage the human-computer interface designers to be more interested in the uses made of their product by taking into account to a higher degree the human-factor in the testing phase which often is too focused on technical aspects. We want to facilitate the integration of the user as a source of evaluation during the testing phase. Our aim is to offer the designer a software environment of practical tests that allow them to have their own products evaluated by their users. We undertook an experiment to explore the feasibility of this project.
On the Amount of Nonconstructivity in Learning Recursive Functions
2011
Nonconstructive proofs are a powerful mechanism in mathematics. Furthermore, nonconstructive computations by various types of machines and automata have been considered by e.g., Karp and Lipton [17] and Freivalds [11]. They allow to regard more complicated algorithms from the viewpoint of much more primitive computational devices. The amount of nonconstructivity is a quantitative characterization of the distance between types of computational devices with respect to solving a specific problem. In the present paper, the amount of nonconstructivity in learning of recursive functions is studied. Different learning types are compared with respect to the amount of nonconstructivity needed to lea…
Теория алгоритмов и программ
1986
Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.
Search for the Decay of the Higgs Boson to Charm Quarks with the ATLAS Experiment
2018
A direct search for the standard model Higgs boson decaying to a pair of charm quarks is presented. Associated production of the Higgs and Z bosons, in the decay mode ZH→ℓ+ℓ−c¯c is studied. A data set with an integrated luminosity of 36.1 fb−1 of pp collisions at √s=13TeV recorded by the ATLAS experiment at the LHC is used. The H→c¯c signature is identified using charm-tagging algorithms. The observed (expected) upper limit on σ(pp→ZH)×B(H→c¯c) is 2.7 (3.9+2.1−1.1) pb at the 95% confidence level for a Higgs boson mass of 125 GeV, while the standard model value is 26 fb.
Теория алгоритмов и программ. Выпуск 3
1977
Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.