Search results for " Computer"
showing 10 items of 6910 documents
Interprétation littéraire et sciences cognitives (ed. Françoise Lavocat, 2016)
2022
Review of the collective volume Interprétation littéraire et sciences cognitives (ed. François Lavocat, Hermann, 2016).
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
Сборник посвящен исследованию различных типов вычислительных устройств, таких как альтернирующие вероятностные машины, а также проблемам индуктивного синтеза программ.
Теория алгоритмов и программ. Выпуск 3
1977
Статьи сборника посвящены в основном теории индуктивного вывода. Рассмотрены также вопросы семантики программ (аппарат формального доказательства свойств программ) и теории сводимости.
Теоретические вопросы программирования
1988
Сборник посвящен исследованию сложности различных типов вычислительных устройств, таких как альтернирующие и вероятностные машины, а также проблемам индуктивного синтеза программ.
Проблемы научного управления социалистическим обществом. Выпуск 4
1977
Информация является центральной категорией управления. Научное управление на современном этапе невозможно без создания автоматизированных систем управления - АСУ, которые могут эффективно функционировать только при наличии четких информационно-поисковых языков или четкой классификации информации.
ЭВМ в образовании. Педагогические программные средства
1989
Cборник содержит 18 статей, отражавших результаты исследований по общим и прикладным вопросам применения компьютера в образовании. Рассматривается научные, методические и практические аспекты разработки программно- методического обеспечения для обучения информатике, педагогических программных средств (ППС) для предметов естественно-научного цикла, а также базового и инструментального программного обеспечения.
ЭВМ в образовании. Программное обеспечение
1988
Сборник посвящен научным и методическим проблемам адаптации, разработки и стандартизации педагогических программных средств (ППС) для применения при изучении информатики и вычислительной техники, предметов естественно-научного цыкла, а также разработке некоторых инструментальных средств создания ППС.
Информатика: ЭВМ в образовании
1991
Cборник содержит 16 статей, отражавших результаты исследований по общим и прикладным вопросам применения компьютера в образовании. Рассматривается научные, методические и практические аспекты разработки содержания образовани в условиях компьютеризации, программно-методического обеспечения для обучения информатике.
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…