Search results for "COMPUTER SCIENCE"
showing 7 items of 22367 documents
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
Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.
Теоретические вопросы программирования
1988
Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.
On-Demand Security Framework for 5GB Vehicular Networks
2023
Building accurate Machine Learning (ML) at-tack detection models for 5G and Beyond (5GB) vehicular networks requires collaboration between Vehicle-to-Everything (V2X) nodes. However, while operating collaboratively, ensuring the ML model’s security and data privacy is challenging. To this end, this article proposes a secure and privacy-preservation on-demand framework for building attack-detection ML models for 5GB vehicular networks. The proposed framework emerged from combining 5GB technologies, namely, Federated Learning (FL), blockchain, and smart contracts to ensure fair and trustedinteractions between FL servers (edge nodes) with FL workers (vehicles). Moreover, it also provides an ef…