Results 141 to 150 of about 5,309 (287)

Hi‐LabSpermTracking: A Novel and High‐Quality Sperm Tracking Dataset with an Advanced Ensemble Detection and Tracking Approach for Real‐World Clinical Scenarios

Advanced Intelligent Systems, EarlyView.
This study presents Hi‐LabSpermTracking, a long‐duration, expert‐annotated sperm motility dataset for detection and tracking. It evaluates You Only Look Once version 8, Real‐Time Detection Transformer, and Simple Online and Realtime Tracking with a Deep Association Metric in three scenarios. The mean ensemble method improves tracking performance. Sperm
Abdulsamet Aktas, Gorkem Serbes, Hakkı Uzun, Merve Huner Yigit, Nizamettin Aydin, Hamza Osman Ilhan   +5 more
wiley   +1 more source

Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations

, 2001
Agostino Cortesi, Sabina Rossi, Baudouin Le Charleir   +2 more
openalex   +1 more source

An Operational Semantics for Yul

We present a big-step and small-step operational semantics for Yul -- the intermediate language used by the Solidity compiler to produce EVM bytecode -- in a mathematical notation that is congruous with the literature of programming languages, lends itself to language proofs, and can serve as a precise, widely accessible specification for the language.
Koutavas, Vasileios, Lin, Yu-Yang, Tzevelekos, Nikos   +2 more
openaire   +2 more sources

Empowering Biomedical Research with Foundation Models in Computational Microscopy: A Systematic Review

Advanced Intelligent Systems, EarlyView.
The integration of foundation models into computational microscopy revolutionizes biomedical research by enhancing imaging resolution, accelerating data analysis, and enabling real‐time biological interpretation. This systematic review critically examines recent advancements, highlights translational challenges, and discusses the transformative ...
Di Ding, Tianliang Yao, Genyi Feng, Xueqing Gao, Xusen Sun, Rong Luo   +5 more
wiley   +1 more source

Linear Concurrent Constraint Programming: Operational and Phase Semantics

, 2001
François Fages, Paul Ruet, Sylvain Soliman   +2 more
openalex   +1 more source

Flexible Strain Sensor Enabled by Back Propagation Neural Network for Gesture Recognition

Advanced Intelligent Systems, EarlyView.
By combining 3D printing with microfluidics, a flexible strain sensor has been developed in a convenient, safe, and effective way. Consisting of a conductive microfiber with a polyurethane shell and a liquid metal core, the sensor exhibits excellent conductivity and stretchability.
Yikai Wu, Jinpeng Wang, Can Wang, Linlin Xia, Jie Wang   +4 more
wiley   +1 more source

Well-behaved Translations between Structural Operational Semantics

, 2002
Hiroshi Watanabe
openalex   +1 more source

High-level small-step operational semantics for transactions [PDF]

, 2008
Katherine F. Moore, Dan Grossman
openalex   +1 more source

Improving Long‐Term Glucose Prediction Accuracy with Uncertainty‐Estimated ProbSparse‐Transformer

Advanced Intelligent Systems, EarlyView.
Wearable devices collect blood glucose and other physiological data, which serve as inputs to the prediction model. After data embedding, a structure utilizing ProbSparse self‐attention and a one‐step generative head within a Transformer‐based model is introduced, which is concurrently designed for deployment on edge devices, enabling real‐time ...
Wei Huang, Ni Fan, Weiping Wang, Jinqiang Wang, Xiaojuan Qi, Shiming Zhang   +5 more
wiley   +1 more source

Optimized DeepLabV3+ for Clinical Data Analysis through Advanced Particle Swarm Optimization‐Based Channel Selection

Advanced Intelligent Systems, EarlyView.
A novel medical image segmentation framework that integrates an enhanced Particle Swarm Optimization (EE‐PSO) into DeepLabV3+ to optimize feature selection. By dynamically identifying key channels in the atrous spatial pyramid pooling module, the method improves segmentation performance, achieving mIoU gains of 2.7% on Alzheimer's and 2.8% on brain ...
Alireza Norouziazad, Behrouz Homam, Ariel Feygin, Mahan Najafpour Ghazvini Fardshad, Shahak Rozenblat, Abed Matinpour, Arman Laly, Fatemeh Esmaeildoost, Razieh Salahandish   +8 more
wiley   +1 more source