Explaining the undecidability of first-order logic by Timm Lampert, Anderson Nakano

“…Turing proved the unsolvability of the decision problem for first-order logic (Entscheidungsproblem) in his famous paper On Computable Numbers, with an Application to the Entscheidungsproblem. …”
Get full text

La correspondance de motifs, un outil pour l’analyse du discours ? by Marine Riguet, Mohamed Amine Boukhaled

“…To do so, our study is based on a computational method, using extraction and correspondence analysis (CA) for syntactic patterns. …”
Get full text

The role of feedback in the formation of morphogen territories by David Iron, Adeela Syed, Heidi Theisen, Tamas Lukacsovich, Mehrangiz Naghibi, Lawrence J. Marsh, Frederic Y. M. Wan, Qing Nie

Get full text

ARMC-RL: Adaptive Caching With Reinforcement Learning for Efficient 360° Video Streaming in Edge Networks by Minji Choi, Somin Park, Jin-Hyun Ahn, Dong Ho Kim, Cheolwoo You

“…The growing demand for high-capacity content such as 3D and 360° videos highlights the need for efficient data delivery in B5G/6G networks. Multi-access edge computing (MEC) has emerged as a promising solution, but its limited memory capacity makes cache replacement strategies essential. …”
Get full text

IG-FIQA: Improving Classifiability-Based Face Image Quality Assessment Through Intra-Class Variance Guidance by Minsoo Kim, Gi Pyo Nam, Haksub Kim, Haesol Park, Ig-Jae Kim

Get full text

Comparative tribological and drainage performance of additively manufactured outsoles tread designs by Shuo Xu, Shuvodeep De, Meysam Khaleghian, Anahita Emami

“…The research involves analyzing frictional performance and deformation characteristics through dry and wet friction testing. Computer-aided design (CAD) software was used to create digital models of various tread patterns, and two different additive manufacturing (AM) techniques, fused filament fabrication (FFF) and stereolithography (SLA) printing, were used for three-dimensional (3D) print block samples with tread patterns, and the materials used were thermoplastic rubber (TPR) filament and photocurable elastomeric resin. …”
Get full text

STID-Net: Optimizing Intrusion Detection in IoT with Gradient Descent by James Deva Koresh Hezekiah, Usha Nandini Duraisamy, Kalaichelvi Nallusamy, Avudaiammal Ramalingam, Saranya Chandran, Murugesan Rajeswari Thiyagupriyadharsan, Periasamy Selvaraju, Rajagopal Maheswar

Get full text

Convergence of Limiting Cases of Continuous-Time, Discrete-Space Jump Processes to Diffusion Processes for Bayesian Inference by Aaron Lanterman

Get full text

A Direct Gait Kinematic Model to Estimate Forward Progression and Spatial Stepping Features in Cartesian Space by Julio S. Lora-Millan, Jaime Ramos-Rojas, Juan Carballeira, Juan A. Castano, Antonio J. del-Ama

Get full text

Investigation of the dependences of the Vivaldi antenna with two curve radii in the electrodynamic modeling software package by S. A. Ibragimov

“…The aim of the study is to build and optimize a computer model of the antenna using software packages for electrodynamic modeling.Method. …”
Get full text

Leveraging time-based spectral data from UAV imagery for enhanced detection of broomrape in sunflower by Guy Atsmon, Anna Brook, Tom Avikasis Cohen, Fadi Kizel, Hanan Eizenberg, Ran Nisim Lati

“…This study investigates the use of unmanned aerial vehicle (UAV)-based multispectral imaging to detect broomrape-infected sunflowers by analyzing temporal patterns in spectral vegetation indices (VIs). Over four imaging campaigns conducted during early subsoil parasitic stages, multispectral data were collected and processed to compute ten VIs. …”
Get full text

Supervisory Configuration of Deep Learning Networks for Plant Stress Detection and Synthetic Dataset Generation by J. Renan Velazquez-Gonzalez, Madain Perez-Patricio, J. A. de Jesus Osuna-Coutino, Jorge Luis Camas-Anzueto, Abiel Aguilar-Gonzalez, N. A. Morales-Navarro, Carlos A. Hernandez-Gutierrez

Get full text

Fracture of Wedge-Shaped Body Under Compression by Leonid Yu. Stupishin, Konstantin E. Nikitin, Alexander V. Masalov

“…The differences between the obtained fracture patterns and the classical results known from the theory of elasticity obtained for infinite wedge-shaped bodies are shown. …”
Get full text

Species-independent analysis and identification of emotional animal vocalizations by Stavros Ntalampiras

Get full text

Non-parametric correlation structures and their respective embeddings in predictive analysis by Adam Dudáš

Get full text

Development of an Indian Dietary Risk Score Tool (IDRST) for Early Diagnosis of Gestational Diabetes Mellitus: A Cross Sectional Study by Asma Shaheen, V. Premala Priyadarshini, Latha Sashi

Get full text

Plant Stress Detection Using a Three-Dimensional Analysis from a Single RGB Image by Madaín Pérez-Patricio, J. A. de Jesús Osuna-Coutiño, German Ríos-Toledo, Abiel Aguilar-González, J. L. Camas-Anzueto, N. A. Morales-Navarro, J. Renán Velázquez-González, Luis Ángel Cundapí-López

Get full text

An efficient method for predicting the morphology of proppant packs based on a surrogate model by Tao ZHANG, Hangyu ZHOU, Yifan ZHANG, Jianchun GUO, Haoran GOU, Tang TANG

“…Currently, experimental and numerical methods are the main approaches for reproducing the proppant accumulation process and placement patterns in fractures. These methods are still confined by limited simulation scales, time-consuming computations, and high-cost operations. …”
Get full text

ADDAEIL: Anomaly Detection with Drift-Aware Ensemble-Based Incremental Learning by Danlei Li, Nirmal-Kumar C. Nair, Kevin I-Kai Wang

Get full text

Cloud Telescope: An Ephemeral, Distributed, and Cloud-Native Architecture for Collecting Internet Background Radiation by Fabricio Bortoluzzi, Barry Irwin, Carla Merkle Westphall

“…In addition, what malicious traffic patterns would emerge if we could sample the unsolicited traffic - termed Internet Background Radiation (IBR) - arriving at devices directly connected to the Internet? …”
Get full text