AI accelerates elucidation of nuclear forces with explosive neutron star data

A research team is using astrophysical explosions to understand the mysterious forces at work in some of the smallest ...

Neel Somani Investigates How Artificial Intelligence May Help Verify Mathematical Research

Erdos, explores what researchers call autoformalization, the process of converting traditional mathematical proofs into formats machines can verify using tools such as Lean and Coq.
Scientific Research Publishing

Cybersecurity and Forensic Audio Analysis: Deepfake Detection Based on Mfcc, Audio-Text Disconsistency, and Prosodic Features ()

1 Department of Computer and Instructional Technologies Education, Gazi Faculty of Education, Gazi University, Ankara, Türkiye. 2 Department of Forensic Informatics, Institute of Informatics, Gazi ...
IEEE

Machine-Learning-Assisted Swarm Intelligence Algorithm for Antenna Optimization With Mixed Continuous and Binary Variables

Abstract: Many existing surrogate-assisted optimization algorithms are limited to designing antennas with continuous variables only. However, numerous challenges emerge when tackling antenna ...
IEEE

A Comparison of Accuracy: KNN, TabNet, and Wide & Deep Learning for DDoS Attack Detection in Software Defined Network

Abstract: This study focuses on comparing the performance of K-Nearest Neighbors (KNN), TabNet, and Wide & deep learning methods in classifying Distributed Denial of Service (DDoS) attacks on Software ...