Results 51 to 60 of about 78,918 (241)

SmartDetectAI: An AI‐Powered Web App for Real‐Time Colorimetric Detection of Heavy Metals in Water

Advanced Intelligent Systems, EarlyView.
SmartDetectAI integrates silver nanoparticle‐based colorimetric sensing with an AI‐powered web app for rapid, on‐site detection of toxic heavy metals in water. By combining aggregation‐driven optical changes with machine learning analysis of red ‐ green ‐ blue values, the platform achieves portable, low‐cost, and accurate monitoring of Hg‐ and Cd‐based
Nishat Tasnim, Mirza M. A. Tunur, Fahad Arefin, Shahad Saroar, Md. Wahadoszamen, Taslim Ur Rashid, Aminul I. Talukder, Md. Nurul Amin, Mahmudur Rahman, Ahsan Habib   +9 more
wiley   +1 more source

Planning and Control Framework for a Quadruped Robot With Changeable Configuration

Advanced Intelligent Systems, EarlyView.
Multiconfiguration quadruped robots enhance adaptability by switching between mammal‐like and reptile‐like morphologies. This study presents a nonlinear constraint‐based motion planner integrated with a hierarchical whole‐body controller, enabling robust configuration switching and locomotion on complex terrains. Experiments on slopes, irregular bricks,
Guanglin Lu, Yifan Zhang, Teng Chen, Xuewen Rong, Guoteng Zhang, Yibin Li   +5 more
wiley   +1 more source

H-KPP: Hypervisor-Assisted Kernel Patch Protection

Applied Sciences, 2022
We present H-KPP, hypervisor-based protection for kernel code and data structures. H-KPP prevents the execution of unauthorized code in kernel mode. In addition, H-KPP protects certain object fields from malicious modifications.
Michael Kiperberg, Nezer Jacob Zaidenberg   +1 more
doaj   +1 more source

ControlIt: A Universal Framework for Translational, Adaptive, and Online Brain–Computer Interfaces

Advanced Intelligent Systems, EarlyView.
Brain–computer interfaces (BCIs) lack a unified platform that works across signals and algorithms. ControlIt, an open‐source, modular ROS2‐based BCI framework supporting electroencephalography (EEG), electrocorticography (ECoG), and spike‐based decoding across both classification and regression tasks is presented.
Wanlin Yang, Chenyang Li, Xinxiu Xu, Xindong Wang, Yongcheng Guo, Xiaoke Chai, Tianqin Cao, Jiuxiang Song, Nan Wang, Xueming Zhang, Yi Yang, Cong Zheng, He Cui   +12 more
wiley   +1 more source

Statistical Test Coverage for Linux-Based Next-Generation Autonomous Safety-Related Systems

IEEE Access, 2021
Autonomous systems represent a significant leap forward in the ongoing technological evolution of dependable and safety-related systems, integrating features such as artificial intelligence, high-performance computing devices, General Purpose Operating ...
Imanol Allende, Nicholas Mc Guire, Jon Perez-Cerrolaza, Lisandro G. Monsalve, Jens Petersohn, Roman Obermaisser   +5 more
doaj   +1 more source

Proceedings of Seminar on Network Protocols in Operating Systems [PDF]

, 2013
The Linux networking stack tends to evolve rapidly, and while there are some excellent documentation written in the past, most of the past documentation gotten (at least partially) outdated over time. The seminar on Network Protocols in Operating Systems
Arianfar, Somaya, Boye, Magnus, Budigere, Karthik, Jaakkola, Antti, Kalliola, Aapo, Khattak, Fida Ullah, Korhonen, Jouni, Kurnikov, Arseny, Sarolahti, Pasi (editor), Soininen, Jonne, Varis, Nuutti   +10 more
core  

A deep learning‐enabled toolkit for the 3D segmentation of ventricular cardiomyocytes

The Journal of Physiology, EarlyView.
Abstract figure legend 3D cardiomyocyte segmentation enables comprehensive analyses of myocardial microstructure in health and disease; however, it is technically demanding. We present an open‐source toolkit for this task, which reduces challenges associated with sample preparation, image restoration, segmentation and proofreading.
Joachim Greiner, Fabio Frangiamore, Frédéric Sonak, Josef Madl, Thomas Seidel, Peter Kohl, Eva A. Rog‐Zielinska   +6 more
wiley   +1 more source

Formal Verification of Linux Kernel Library Functions

Труды Института системного программирования РАН, 2018
The paper presents result of a study on deductive verification of 26 Linux kernel library functions with AstraVer toolset. The code includes primarily string-manipulating functions and is verified against contract specifications formalizing its ...
D. V. Efremov, M. U. Mandrykin
doaj   +1 more source

STUN: Reinforcement-Learning-Based Optimization of Kernel Scheduler Parameters for Static Workload Performance

Applied Sciences, 2022
Modern Linux operating systems are being used in a wide range of fields, from small IoT embedded devices to supercomputers. However, most machines use the default Linux scheduler parameters implemented for general-purpose environments.
Hyeonmyeong Lee, Sungmin Jung, Heeseung Jo   +2 more
doaj   +1 more source

Securing the Unseen: A Comprehensive Exploration Review of AI‐Powered Models for Zero‐Day Attack Detection

Expert Systems, Volume 43, Issue 3, March 2026.
ABSTRACT Zero‐day exploits remain challenging to detect because they often appear in unknown distributions of signatures and rules. The article entails a systematic review and cross‐sectional synthesis of four fundamental model families for identifying zero‐day intrusions, namely, convolutional neural networks (CNN), deep neural networks (DNN ...
Abdullah Al Siam, Nuruzzaman Faruqui, Akm Azad, Mohammad Ali Moni   +3 more
wiley   +1 more source