Results 101 to 110 of about 156,766 (287)
AbstractLinear temporal logic (LTL) is widely used in industrial verification. LTL formulae can be learned from traces. Scaling LTL formula learning is an open problem. We implement the first GPU-based LTL learner using a novel form of enumerative program synthesis. The learner is sound and complete.
Mojtaba Valizadeh +2 more
openaire +4 more sources
MIGS-GPU: Microarray Image Gridding and Segmentation on the GPU
IEEE Journal of Biomedical and Health Informatics, 2017 Complementary DNA (cDNA) microarray is a powerful tool for simultaneously studying the expression level of thousands of genes. Nevertheless, the analysis of microarray images remains an arduous and challenging task due to the poor quality of the images that often suffer from noise, artifacts, and uneven background.
Stamos Katsigiannis +2 more
openaire +4 more sources
Advanced Robotics Research, EarlyView.A magnetic donut‐like millirobot is developed for label‐free pick‐and‐place of a tumor spheroid wirelessly controlled by a magnetic trap. Spheroids are important 3D multicellular culture systems that recapitulate key structural and functional features of native tissues.
Yue Gao +8 more
wiley +1 more source
Advanced Robotics Research, EarlyView.Sparse active‐infrared proximity sensing is coupled to an adaptive thigmotactic controller for camera‐inaccessible object retrieval. After grasping, receptor‐informed encoding transforms force, temperature, and wrist force–torque signals into spike trains for spiking neural network recognition.
Fengyi Wang, Nitish Thakor, Gordon Cheng
wiley +1 more source
TacVerse: A Multisensor Dataset and Benchmark for Cross‐Sensor Vision‐Based Tactile Perception
Advanced Robotics Research, EarlyView.TacVerse provides a controlled benchmark of 106 800 tactile images from seven vision‐based tactile sensors across shape classification, grating classification, and force regression. Direct cross‐sensor transfer reveals substantial sensor‐shift degradation, with grating and force perception more affected than shape recognition.
Lan Wei +8 more
wiley +1 more source
Empowering Local Image Generation: Harnessing Stable Diffusion for Machine Learning and AI [PDF]
Informatică economicăThis paper examines the ability to use Stable Diffusion's diffusion models to get state-of-the-art synthesis results on image data and other types of data.
Ahmed Imran KABIR +3 more
doaj +1 more source
GPU-Acceleration of Sequence Homology Searches with Database Subsequence Clustering. [PDF]
, 2016 Sequence homology searches are used in various fields and require large amounts of computation time, especially for metagenomic analysis, owing to the large number of queries and the database size.
Yutaka Akiyama (323798) +7 more
core +1 more source
Advanced Robotics Research, EarlyView.A balanced multimodal food‐waste dataset and a novel Split Spatial‐Spectral Attention fusion framework are presented for robotic contaminant detection. Separate processing of RGB, thermal, and multispectral inputs preserves subtle material signatures before feature integration, reducing modality interference and improving classification and ...
Matthew Vestal +5 more
wiley +1 more source
Estrategia evolutiva basada en gpu para la detección del disco óptico en imágenes de retina
Revista Ingenierías Universidad de Medellín, 2016 La ejecución paralela de aplicaciones usando unidades de procesamiento gráfico (gpu) ha ganado gran interés en la comunidad académica en los años recientes.
Germán Sánchez-Torres +1 more
doaj +1 more source
GPU acceleration for statistical gene classification [PDF]
, 2010 The use of Bioinformatic tools in routine clinical diagnostics is still facing a number of issues. The more complex and advanced bioinformatic tools become, the more performance is required by the computing platforms.
Stefano Di Carlo +7 more
core +1 more source