Machine Space I: Weak exponentials and quantification over compact spaces

Get full text

Prime Factorization in Models of PV$_1$

Get full text

Homemaker: software for adaptive domestic design

Get full text

PyTurbo_SF: An Adaptive Bootstrap Framework for Efficient Structure Function Analysis in Turbulent Flows

Get full text

One is all you need: Second-order Unification without First-order Variables

Get full text

Mastodon.py: A Python library for the Mastodon API

Get full text

MFGLib: A Library for Mean-Field Games

Get full text

GEFF: Graph Exchange File Format

Get full text

Quantitative Verification with Neural Networks

Get full text

An embedded vision-based system for cyclist detection and counting

Get full text

A scheme based on Proof-of-Download blockchain for Digital Rights Management and Traitor Detection

Get full text

Brazilian Portuguese Image Captioning with Transformers: A Study on Cross-Native-Translated Dataset

Get full text

Advancing Biodiversity Monitoring by Integrating Multimodal AI Models into Camera Trap Workflow

Get full text

Salience prediction methods for video cropping in sidewalk footage

Get full text

FastTanhSinhQuadrature.jl: High-performance Tanh-Sinh numerical integration in Julia

Get full text

bw_timex: A Python Package for Time-Explicit Life Cycle Assessment

Get full text

Comprehensive Evaluation of Hybrid and XAI-Based Feature Selection for Intrusion Detection: A Smart City Perspective

Get full text

FLIM-based Salient Object Detection Networks with Adaptive Decoders

Get full text

A Machine Learning Classification Model for Identifying College Students with Depression Based on Digital Phenotyping

Get full text

Expressivity of AuDaLa: Turing Completeness and Possible Extensions

Get full text