Showing 1 - 20 of 2,135

1

Revisited Convergence of a Self-stabilizing BFS Spanning Tree Algorithm
Altisen, Karine ; Bozga, Marius ; VERIMAG (VERIMAG - IMAG) ; et al.
Formal Techniques for Distributed Objects. :154-170

Lille, France spanning tree algorithm... Rocq spanning tree algorithm Coq proof assistant
Conference
Save to List
2

A State-of-the-Art Karp-Miller Algorithm Certified in Coq
Hilaire, Thibault ; Ilcinkas, David ; Leroux, Jérôme ; et al.
30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024). :370-389

Luxembourg, Luxembourg Petri net Karp-Miller tree algorit... Minimal coverability set Coq Certified decision proce...
Conference
Save to List
3

IncSignFeas.jl (isf): Julia functions for the enumeration of the chambers of hyperplane arrangements
Dussault, Jean-Pierre ; Gilbert, Jean, Charles ; Plaquevent-Jourdain, Baptiste ; et al.
Inria Paris; Université de Sherbrooke (Québec, Canada). 2025

Duality Hyperplane arrangement Matroid circuit Motzkin's alternative Strict affine inequality... Tree algorithm
Report
Save to List
4

Primal and dual approaches for the chamber enumeration of real hyperplane arrangements - The full report
Approches primales et duales pour l'énumération des chambres d'un arrangement d'hyperplans réel - Le rapport complet

Dussault, Jean-Pierre ; Gilbert, Jean Charles ; Plaquevent-Jourdain, Baptiste ; et al.
Inria - Paris; Université de Sherbrooke (Québec. :79-79

Tree algorithm Buck's bound Winder's formula System of strict linear... Stem vector Schläfli's bound
Report
Save to List
5

A hybrid approach to wind power intensity classification using decision trees and large language models
Akinci, Tahir Cetin ; Nogay, H Selcuk ; Penchev, Miroslav ; et al.

Engineering Machine Learning and Art... Affordable and Clean Ene... Climate Action Wind power density class... Decision tree algorithm
Academic journal
Save to List
6

Crop Monitoring System Using IoT, Solar Energy and Decision Tree Algorithm
Ricardo Yauri ; Luis Cuyubamba ; Stefano Nuñez
Emerging Science Journal, Vol 9, Iss 2, Pp 603-614 (2025)

Social sciences (General... H1-99 solar energy T1-995 crop monitoring system
Academic journal
Save to List
7

Innovative feature extraction and selection for wireless sensor networks: enhancing cybersecurity and data transmission using WKPCA-SVD and RWS-ARO algorithms
Shanmugasundaram, G. ; Iyappan, P. ; Ramachandiran, R.
International Journal of Machine Learning and Cybernetics. :1-31

Academic journal
Save to List
8

IRIS: A Smart Irrigation Controller Based on Limited Climatic Data
Nikolaou, Georgios ; Neocleous, Damianos ; Manes, Antonio ; et al.
National Academy Science Letters. :1-7

Academic journal
Save to List
9

Optimized rank-based key management for energy-efficient routing in wireless sensor networks for IoT applications
Hussain, Muzammil ; Hussain, Mudassar ; Aamer, Najmuddin ; et al.
Discover Internet of Things. 5(1)

Academic journal
Save to List
10

Predicting postpartum female sexual interest/arousal disorder via adiponectin and biopsychosocial factors: a cohort-based decision tree study
Hajimirzaie, Saiedeh Sadat ; Tehranian, Najmeh ; Golabpour, Amin ; et al.
Scientific Reports. 15(1)

Academic journal
Save to List
11

Decision tree-based fault diagnosis system for distribution network fault indicators
Tian, Qingsheng ; Zheng, Bowen ; Yang, Hui ; et al.
Journal of Engineering and Applied Science. 72(1)

Academic journal
Save to List
12

Assessing psychological resilience and its influencing factors in the MSM population by machine learning
Zhou, Yiwei ; Zhang, Zejie ; Xiang, Fanglv ; et al.
Scientific Reports. 15(1)

Academic journal
Save to List
13

The data analysis of sports training by ID3 decision tree algorithm and deep learning
Wang, Kaigong ; Wang, Lei ; Sun, Jiduo
Scientific Reports. 15(1)

Academic journal
Save to List
14

Comparing the Approach of Machine Learning Algorithms in Predicting the Maintenance Costs of Trading Strategies
Ali Lalbar ; Sepideh Mirzaei ; Amirhossein Panahifard ; et al.
راهبرد مدیریت مالی, Vol 13, Iss 4, Pp 173-200 (2025)

holding costs of trading... machine learning algorit... decision tree algorithm Finance HG1-9999
Academic journal
Save to List
15

Perioperative blood transfusion in hepatectomy: a decision tree analysis of influencing factors
LUO Chengcen ; HONG Linou ; HE Chunyu ; et al.
Zhongguo shuxue zazhi, Vol 38, Iss 10, Pp 1334-1339 (2025)

hepatectomy perioperative blood tran... logistic regression decision tree algorithm Diseases of the blood an... RC633-647.5
Academic journal
Save to List
16

Application of Decision Tree Algorithms for Predicting Trip Purposes in Makurdi, Nigeria
Emmanuel Okechukwu Nwafor ; Folake Olubunmi Akintayo
Volume: 12, Issue: 1332-346
Gazi University Journal of Science Part A: Engineering and Innovation

Decision Tree Algorithm Trip Purpose Intelligent Transport Sustainable Transport Transportation Engineeri... Ulaştırma Mühendisliği...
Academic journal
Save to List
17

Diagnosis of bipolar disorder based on extracted significant biomarkers using bioinformatics and machine learning algorithms
Hamid Mohseni ; Massoud Sokouti ; Akram Nezhadi ; et al.
مجله پزشکی دانشگاه علوم پزشکی تبریز, Vol 47, Iss 1, Pp 86-99 (2025)

bipolar disorder machine learning algorit... biomarker Medicine artificial neural networ... tree algorithm
Academic journal
Save to List
18

Business Optimization of Financial Centers in Pharmaceutical Enterprises Based on Robotic Process Automation Technology
Yali Wang ; Weiwei Zhou ; Yingji Li ; et al.
IEEE Access, Vol 13, Pp 51012-51026 (2025)

decision tree algorithm pharmaceutical companies business optimization financial center Robotic process automati... Electrical engineering....
Academic journal
Save to List
19

Fault Detection in Blowfish Algorithm Using FPGA-Based Modified Decision Tree Approach
Joseph Anthony Prathap ; Mithileysh Sathiyanarayanan
IEEE Access, Vol 13, Pp 90591-90600 (2025)

field programmable gate... decision tree algorithm system-on-chip design fault identification Electrical engineering.... Blowfish cryptography al...
Academic journal
Save to List
20

Research on the Causal Forest Algorithm Based on Factor Space Theory
Zeng, Fanhui ; Lin, Kaile ; Liu, Xiaotong ; et al.
6th International Conference on Intelligence Science (ICIS). :95-109

Nanjing, China Factor space Causal tree algorithm Factor importance Causal forest algorithm [INFO]Computer Science [...
Conference
Save to List

Filter