Search Results - 2012 ACM Subject Classification Computing methodologies → Distributed algorithms

Holistic Verification of Blockchain Consensus

Authors: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Contributors: Bertrand, Nathalie Gramoli, Vincent Konnov, Igor et al.

Source: DISC 2022 - 36th International Symposium on Distributed Computing ; https://inria.hal.science/hal-03819724 ; DISC 2022 - 36th International Symposium on Distributed Computing, Oct 2022, Augusta, United States. pp.1-24, ⟨10.4230/LIPIcs.DISC.2022.10⟩

Subject Terms: 2012 ACM Subject Classification Computing methodologies → Distributed algorithms, Theory of computation → Logic and verification phrases Model checking, automata, logic, byzantine failure, [INFO]Computer Science [cs]

Subject Geographic: Augusta, United States

Availability: https://inria.hal.science/hal-03819724
https://inria.hal.science/hal-03819724v1/document
https://inria.hal.science/hal-03819724v1/file/BGKLTW-disc22.pdf
https://doi.org/10.4230/LIPIcs.DISC.2022.10

Blockchain Performance Benchmarking: a VCG Auction Smart Contract Use Case for Ethereum and Tezos (Short Paper)

Authors: Massoni Sguerra, Lucas Jouvelot, Pierre Gallego Arias, Emilio Jesús et al.

Contributors: Massoni Sguerra, Lucas Jouvelot, Pierre Gallego Arias, Emilio Jesús et al.

Source: FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain ; https://minesparis-psl.hal.science/hal-03210222 ; FAB 2021 - Fourth International Symposium on Foundations and Applications of Blockchain, University of California, Davis, May 2021, Davis / Virtual, United States ; https://scfab.github.io/2021/

Subject Terms: Phrases Blockchain, Smart contracts, Ethereum, Tezos, Vickrey-Clarke-Groves (VCG) auction, 2012 ACM Subject Classification: Computing methodologies -- > Distributed computing methodologies, [INFO]Computer Science [cs], [INFO.INFO-CE]Computer Science [cs]/Computational Engineering, Finance, and Science [cs.CE], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [SPI]Engineering Sciences [physics]

Subject Geographic: Davis / Virtual, United States

Availability: https://minesparis-psl.hal.science/hal-03210222
https://minesparis-psl.hal.science/hal-03210222v1/document
https://minesparis-psl.hal.science/hal-03210222v1/file/A-748.pdf

Research on the classification of EEG signals for dementia and its interpretability using the GWOCS agorithm.

Authors: Wang, Ruofan Xu, Haojie Ma, Yijia et al.

Source: Cognitive Neurodynamics; 11/10/2025, Vol. 20 Issue 1, p1-30, 30p

Application of Artificial Intelligence Technologies as an Intervention for Promoting Healthy Eating and Nutrition in Older Adults: A Systematic Literature Review.

Authors: Kalu, Kingsley Ataguba, Grace Onifade, Oyepeju et al.

Source: Nutrients. Oct2025, Vol. 17 Issue 20, p3223. 33p.

Deep reinforcement learning-based scheduling in distributed systems: a critical review.

Authors: Jalali Khalil Abadi, Zahra Mansouri, Najme Javidi, Mohammad Masoud

Source: Knowledge & Information Systems; Oct2024, Vol. 66 Issue 10, p5709-5782, 74p

Subject Terms: DEEP reinforcement learning, ARTIFICIAL intelligence, VIRTUAL machine systems, DISTRIBUTED algorithms

Trustworthy Distributed AI Systems: Robustness, Privacy, and Governance.

Authors: Wei, Wenqi Liu, Ling

Source: ACM Computing Surveys; Jun2025, Vol. 57 Issue 6, p1-42, 42p

Subject Terms: ARTIFICIAL neural networks, MACHINE learning, ARTIFICIAL intelligence, HEALTH Insurance Portability & Accountability Act, LANGUAGE models, DISTRIBUTED algorithms, DEEP learning

The Use of Selected Machine Learning Methods in Dairy Cattle Farming: A Review.

Authors: Grzesiak, Wilhelm Zaborski, Daniel Pluciński, Marcin et al.

Source: Animals (2076-2615); Jul2025, Vol. 15 Issue 14, p2033, 38p

Subject Terms: MACHINE learning, DAIRY cattle, AGRICULTURE, DATA analysis, CLASSIFICATION algorithms, REGRESSION analysis, ANIMAL culture, AGRICULTURAL technology

Hybrid EEG Feature Learning Method for Cross-Session Human Mental Attention State Classification.

Authors: Chen, Xu Bao, Xingtong Jitian, Kailun et al.

Source: Brain Sciences (2076-3425); Aug2025, Vol. 15 Issue 8, p805, 23p

Subject Terms: ELECTROENCEPHALOGRAPHY, ATTENTION, SUPPORT vector machines, FEATURE extraction, PATTERN perception, BRAIN-computer interfaces, CLASSIFICATION

Leveraging productivity indicators for anomaly detection in swine breeding herds with unsupervised learning.

Authors: Pedro Mil-Homens, Mafalda Wang, Chong Trevisan, Giovani et al.

Source: Frontiers in Veterinary Science. 2025, p1-16. 16p.

Distributed Computing Optimization in Unmanned Aerial Vehicle Swarm Cooperative Networks.

Authors: Wangchun Luo Xinghua Zhang Fu Zhang et al.

Source: Journal of Computing & Information Technology; Dec2023, Vol. 31 Issue 4, p203-217, 16p

Subject Terms: DRONE aircraft, DISTRIBUTED algorithms, DISTRIBUTED computing, PARTICLE swarm optimization, MULTIAGENT systems, PREDICTION models

A temporal-spectral graph convolutional neural network model for EEG emotion recognition within and across subjects.

Authors: Li, Rui Yang, Xuanwen Lou, Jun et al.

Source: Brain Informatics; 12/18/2024, Vol. 11 Issue 1, p1-18, 18p

Subject Terms: ARTIFICIAL neural networks, GRAPH neural networks, CONVOLUTIONAL neural networks, AFFECTIVE computing, EMOTION recognition

A survey on novel approach to semantic computing for domain specific multi-lingual man-machine interaction.

Authors: Bohra, Anjali Barwar, Nemi Chand

Source: International Journal of Informatics & Communication Technology (IJ-ICT); Apr2025, Vol. 15 Issue 1, p1-10, 10p

Subject Terms: NATURAL language processing, SEMANTIC computing, MACHINE translating, QUESTION answering systems, MACHINE learning

A comprehensive survey on RGB-D-based human action recognition: algorithms, datasets, and popular applications.

Authors: Zhang, Yumin Wang, Yanyong

Source: EURASIP Journal on Image & Video Processing; 8/13/2025, Vol. 2025 Issue 1, p1-65, 65p

Subject Terms: HUMAN activity recognition, COMPUTER vision, DEPTH maps (Digital image processing), ALGORITHMS, TRANSFORMER models, RECURRENT neural networks, DEEP learning, CONVOLUTIONAL neural networks

VAE deep learning model with domain adaptation, transfer learning and harmonization for diagnostic classification from multi-site neuroimaging data.

Authors: Deshpande, Gopikrishna Lu, Bonian Huynh, Nguyen et al.

Source: Frontiers in Neuroinformatics; 2025, p1-19, 19p

Subject Terms: AUTISM, DEEP learning, FUNCTIONAL magnetic resonance imaging, BRAIN imaging, DIAGNOSTIC examinations, TRANSFER of training, DATA harmonization

Distributed Cooperative Automatic Modulation Classification Using DWA-ADMM in Wireless Communication Networks.

Authors: Zhang, Qin Guan, Yutong Li, Hai et al.

Source: Electronics (2079-9292); Jul2023, Vol. 12 Issue 14, p3002, 22p

Subject Terms: AUTOMATIC classification, WIRELESS communications, K-nearest neighbor classification, MACHINE learning, DISTRIBUTED algorithms

A Distributed N-FINDR Cloud Computing-Based Solution for Endmembers Extraction on Large-Scale Hyperspectral Remote Sensing Data.

Authors: Ayma Quirita, Victor Andres da Costa, Gilson Alexandre Ostwald Pedro Beltrán, César

Source: Remote Sensing; May2022, Vol. 14 Issue 9, p2153-2153, 22p

Subject Terms: REMOTE sensing, CLOUD computing, DATA extraction, COMPUTER workstation clusters, DISTRIBUTED algorithms, COMPUTER performance

Application of Graph-Theoretic Methods Using ERP Components and Wavelet Coherence on Emotional and Cognitive EEG Data.

Authors: Deniz, Sencer Melih Ademoglu, Ahmet Duru, Adil Deniz et al.

Source: Brain Sciences (2076-3425); Jul2025, Vol. 15 Issue 7, p714, 24p

Subject Terms: EMOTIONS, COGNITION, WAVELETS (Mathematics), ELECTROENCEPHALOGRAPHY, SUPERVISED learning, EVOKED potentials (Electrophysiology), ELECTROPHYSIOLOGY, GRAPH theory

Development and validation of a machine learning model for clinical wellness visit classification in cats and dogs.

Authors: Szlosek, Donald Coyne, Michael Riggott, Julia et al.

Source: Frontiers in Veterinary Science. 2024, p1-6. 6p.

DCPat-XFE: an explainable EEG model for psychogenic nonepileptic seizure detection.

Authors: Unal, Deren Almiyra Tanko, Dahiru Sercek, Ilknur et al.

Source: Cognitive Neurodynamics; 12/9/2025, Vol. 20 Issue 1, p1-21, 21p

Stack Coupling Machine Learning Model Could Enhance the Accuracy in Short-Term Water Quality Prediction.

Authors: Zhang, Kai Xia, Rui Wang, Yao et al.

Source: Water (20734441); Oct2025, Vol. 17 Issue 19, p2868, 29p

Subject Terms: WATER quality, MACHINE learning, PREDICTION models, NONPOINT source pollution, LONG short-term memory, BOOSTING algorithms, WATERSHEDS, RUNOFF

Geographic Terms: SOUTHEAST China