Model Checking Using Large Language Models—Evaluation and Future Directions.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 401, doi. 10.3390/electronics14020401
- By:
- Publication type:
- Article
Works matching IS 20799292 AND DT 2025 AND VI 14 AND IP 2
Results: 188
1
2
An Evolutionary Deep Learning Framework for Accurate Remaining Capacity Prediction in Lithium-Ion Batteries.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 400, doi. 10.3390/electronics14020400
- By:
- Publication type:
- Article
3
Optimizing 3D Point Cloud Reconstruction Through Integrating Deep Learning and Clustering Models.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 399, doi. 10.3390/electronics14020399
- By:
- Publication type:
- Article
4
Scaling Nuclear Magnetic Resonance with Integrated Planar Coil and Transceiver Front-End: Co-Design Considerations.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 398, doi. 10.3390/electronics14020398
- By:
- Publication type:
- Article
5
EOS: Edge-Based Operation Skip Scheme for Real-Time Object Detection Using Viola-Jones Classifier.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 397, doi. 10.3390/electronics14020397
- By:
- Publication type:
- Article
6
Multiplex Graph Contrastive Learning with Soft Negatives.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 396, doi. 10.3390/electronics14020396
- By:
- Publication type:
- Article
7
A Digital Twin Approach for Soil Moisture Measurement with Physically Based Rendering Simulations and Machine Learning.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 395, doi. 10.3390/electronics14020395
- By:
- Publication type:
- Article
8
Internet of Things Ontologies for Well-Being, Aging and Health: A Scoping Literature Review.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 394, doi. 10.3390/electronics14020394
- By:
- Publication type:
- Article
9
A Reliable Routing Algorithm Based on Path Satisfaction in the Energy Internet.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 393, doi. 10.3390/electronics14020393
- By:
- Publication type:
- Article
10
Statistical Analysis of the Sum of Double Random Variables for Security Applications in RIS-Assisted NOMA Networks with a Direct Link.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 392, doi. 10.3390/electronics14020392
- By:
- Publication type:
- Article
11
Evaluation Method and Modeling Analysis of the Common Mode Noise Suppression Capability of Full-Bridge Transformers.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 391, doi. 10.3390/electronics14020391
- By:
- Publication type:
- Article
12
Optimized Design and Experimental Study of an Axis-Encircling Beam with Gently Varying Cusp Magnetic Field.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 390, doi. 10.3390/electronics14020390
- By:
- Publication type:
- Article
13
Recent Developments in Bidirectional DC-DC Converter Topologies, Control Strategies, and Applications in Photovoltaic Power Generation Systems: A Comparative Review and Analysis.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 389, doi. 10.3390/electronics14020389
- By:
- Publication type:
- Article
14
Power Grid Faults Diagnosis Based on Improved Synchrosqueezing Wavelet Transform and ConvNeXt-v2 Network.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 388, doi. 10.3390/electronics14020388
- By:
- Publication type:
- Article
15
Dual-Band Dual-Circularly Polarized Shared-Aperture Phased Array for S-/C-Band Satellite Communications.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 387, doi. 10.3390/electronics14020387
- By:
- Publication type:
- Article
16
Using the Retrieval-Augmented Generation to Improve the Question-Answering System in Human Health Risk Assessment: The Development and Application.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 386, doi. 10.3390/electronics14020386
- By:
- Publication type:
- Article
17
Role of Virtual Reality in Improving Home Cancer Care: A Systematic Literature Review.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 385, doi. 10.3390/electronics14020385
- By:
- Publication type:
- Article
18
Low-Delay AES Key Expansion Units Based on DDBT Structure †.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 384, doi. 10.3390/electronics14020384
- By:
- Publication type:
- Article
19
Study on Robust Path-Tracking Control for an Unmanned Articulated Road Roller Under Low-Adhesion Conditions.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 383, doi. 10.3390/electronics14020383
- By:
- Publication type:
- Article
20
Mutation-Based Approach to Supporting Human–Machine Pair Inspection.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 382, doi. 10.3390/electronics14020382
- By:
- Publication type:
- Article
21
Towards Failure-Aware Inference in Harsh Operating Conditions: Robust Mobile Offloading of Pre-Trained Neural Networks.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 381, doi. 10.3390/electronics14020381
- By:
- Publication type:
- Article
22
Cooperative Service Caching and Task Offloading in Mobile Edge Computing: A Novel Hierarchical Reinforcement Learning Approach.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 380, doi. 10.3390/electronics14020380
- By:
- Publication type:
- Article
23
Intelligent Gas Risk Assessment and Report Generation for Coal Mines: An Innovative Framework Based on GLM Fine-Tuning.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 379, doi. 10.3390/electronics14020379
- By:
- Publication type:
- Article
24
AI on Wheels: Bibliometric Approach to Mapping of Research on Machine Learning and Deep Learning in Electric Vehicles.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 378, doi. 10.3390/electronics14020378
- By:
- Publication type:
- Article
25
Channel-Wise Attention-Enhanced Feature Mutual Reconstruction for Few-Shot Fine-Grained Image Classification.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 377, doi. 10.3390/electronics14020377
- By:
- Publication type:
- Article
26
Improved Sage–Husa Unscented Kalman Filter for Harmonic State Estimation in Distribution Grid.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 376, doi. 10.3390/electronics14020376
- By:
- Publication type:
- Article
27
Control and Applications of Intelligent Unmanned Aerial Vehicles.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 375, doi. 10.3390/electronics14020375
- By:
- Publication type:
- Article
28
A Novel Data Sanitization Method Based on Dynamic Dataset Partition and Inspection Against Data Poisoning Attacks.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 374, doi. 10.3390/electronics14020374
- By:
- Publication type:
- Article
29
Research on Transformer Temperature Early Warning Method Based on Adaptive Sliding Window and Stacking.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 373, doi. 10.3390/electronics14020373
- By:
- Publication type:
- Article
30
A Comparative Study of Incremental ΔΣ Analog-to-Digital Converter Architectures with Extended Order and Resolution.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 372, doi. 10.3390/electronics14020372
- By:
- Publication type:
- Article
31
Millimeter-Wave Radar Point Cloud Gesture Recognition Based on Multiscale Feature Extraction.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 371, doi. 10.3390/electronics14020371
- By:
- Publication type:
- Article
32
A Crop Growth Information Collection System Based on a Solar Insecticidal Lamp.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 370, doi. 10.3390/electronics14020370
- By:
- Publication type:
- Article
33
Evaluation of Velocity Signals Measured by Laser in Hydrophone Calibration Based on a Normalized Dynamic Time-Warping Algorithm.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 369, doi. 10.3390/electronics14020369
- By:
- Publication type:
- Article
34
Redefining 6G Network Slicing: AI-Driven Solutions for Future Use Cases.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 368, doi. 10.3390/electronics14020368
- By:
- Publication type:
- Article
35
Machine Learning-Driven Approaches for Advanced Microwave Filter Design.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 367, doi. 10.3390/electronics14020367
- By:
- Publication type:
- Article
36
Federated Learning for Extreme Label Noise: Enhanced Knowledge Distillation and Particle Swarm Optimization.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 366, doi. 10.3390/electronics14020366
- By:
- Publication type:
- Article
37
Estimating Word Lengths for Fixed-Point DSP Implementations Using Polynomial Chaos Expansions.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 365, doi. 10.3390/electronics14020365
- By:
- Publication type:
- Article
38
Single-Phase Transformerless Three-Level PV Inverter in CHB Configuration.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 364, doi. 10.3390/electronics14020364
- By:
- Publication type:
- Article
39
In-Depth Collaboratively Supervised Video Instance Segmentation.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 363, doi. 10.3390/electronics14020363
- By:
- Publication type:
- Article
40
MixCFormer: A CNN–Transformer Hybrid with Mixup Augmentation for Enhanced Finger Vein Attack Detection.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 362, doi. 10.3390/electronics14020362
- By:
- Publication type:
- Article
41
Privacy-Preserving Approach to Edge Federated Learning Based on Blockchain and Fully Homomorphic Encryption.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 361, doi. 10.3390/electronics14020361
- By:
- Publication type:
- Article
42
Strengthening Road Safety and Mobility at the Urban Level with the Aim of Digitizing and Shaping Smart Cities Through Emerging Vehicular Communications C-V2X, DSRC, and VLC.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 360, doi. 10.3390/electronics14020360
- By:
- Publication type:
- Article
43
The Creation of Virtual Stands in the Metaverse: Applications for the Textile Sector.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 359, doi. 10.3390/electronics14020359
- By:
- Publication type:
- Article
44
Innovative Machine Learning and Image Processing Methodology for Enhanced Detection of Aleurothrixus Floccosus.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 358, doi. 10.3390/electronics14020358
- By:
- Publication type:
- Article
45
Package Positioning Based on Point Registration Network DCDNet-Att.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 352, doi. 10.3390/electronics14020352
- By:
- Publication type:
- Article
46
Research on Lightweight Scenic Area Detection Algorithm Based on Small Targets.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 356, doi. 10.3390/electronics14020356
- By:
- Publication type:
- Article
47
Wideband ASK-OOK Data Recovery Circuit for Data Transmission in Over-Coupled Mode of SWPDT System.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 355, doi. 10.3390/electronics14020355
- By:
- Publication type:
- Article
48
Eco-Evo-Devo in the Adaptive Evolution of Artificial Creatures Within a 3D Physical Environment.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 354, doi. 10.3390/electronics14020354
- By:
- Publication type:
- Article
49
Generalized Non-Convex Non-Smooth Group-Sparse Residual Prior for Image Denoising.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 353, doi. 10.3390/electronics14020353
- By:
- Publication type:
- Article
50
Electrical Modeling and Control of a Synchronous Non-Ideal Step-Down Converter Using a Proportional–Integral–Derivative Neural Network Controller.
- Published in:
- Electronics (2079-9292), 2025, v. 14, n. 2, p. 357, doi. 10.3390/electronics14020357
- By:
- Publication type:
- Article