Showing 1 - 20 of 8,243

1

Random generation of combinatorial objects: Hadamard product under Boltzmann distributions
Génération aléatoire des objets combinatoire : produit de Hadamard sous loi de Boltzmann

Hitar, Nasr-Allah ; Laboratoire Bordelais de Recherche en Informatique (LaBRI) ; Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS) ; et al.
Laboratoire bordelais de recherche en informatique (LaBRI), Domaine universitaire, 351 cours de la Libération, 33405 Talence. 2025

Hadamard Product Boltzmann samplers Combinatorics Computer S... Probabilistic algorithm... Black box Approach Random generation
Report
Save to List
2

Decision/objective space trajectory networks for multi-objective combinatorial optimisation
Ochoa, Gabriela ; Liefooghe, Arnaud ; Lavinas, Yuri ; et al.
EvoCOP 2023 - 23rd European Conference on Evolutionary Computation in Combinatorial Optimization. :211-226

Brno, Czech Republic algorithm analysis search trajectory networ... combinatorial optimisati... multi-objective optimisa... visualisation
Conference
Save to List
4

Yükseköğretimde Öğrenci Başarısını Şekillendirmek: Erken Tahmin ve Müdahale
Ali Küsmüş
Volume: 9, Issue: 20124-132
The Journal of Interdisciplinary Educational Research
Disiplinlerarası Eğitim Araştırmaları Dergisi

Öğrenci başarı tahmini... makine öğrenmesi XGBoost eğitim veri madenciliği... karşılaştırmalı algoritm... Student success predicti...
Academic journal
Save to List
5

A Class of Sparse Johnson–Lindenstrauss Transforms and Analysis of their Extreme Singular Values: A class of sparse Johnson-Lindenstrauss transforms and analysis of their extreme singular values
K. J. Dzahini ; S. M. Wild
SIAM Journal on Matrix Analysis and Applications, vol 46, iss 1

Johnson--Lindenstrauss t... Numerical and Computatio... Strong limit theorems Probability in computer... singular values Applied Mathematics
Academic journal
Save to List
6

A Complete Analysis of the BKZ Lattice Reduction Algorithm
Li, Jianwei ; Nguyen, Phong, Q ; Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities (CASCADE) ; et al.
Journal of Cryptology, In press, ⟨10.1007/s00145-024-09527-0⟩

BKZ Dynamical Systems Enumeration Lattice Reduction Algorithm Analysis [INFO]Computer Science [...
Journal
Save to List
7

A general label setting algorithm and tractability analysis for the multiobjective temporal shortest path problem
Cristina Bazgan ; Johannes Kager ; Clemens Thielen ; et al.
Networks. 85:76-90

RESEARCH ARTICLE algorithm analysis label setting algorithm multiobjective optimizat... shortest paths temporal graphs
Academic journal
Save to List
8

Normalizing toxicity: the role of recommender algorithms for young people’s mental health and social wellbeing
Kaitlyn Regehr ; Caitlin Shaughnessy ; Minzhu Zhao ; et al.
Frontiers in Psychology, Vol 16 (2025)

misogyny social media algorithm analysis mental health neurodiversity digital literacy
Academic journal
Save to List
9

Automating approximation analysis for Nash equilibria algorithms in two-player games
Deng, Xiaotie ; Li, Dongchen ; Li, Hanyu
In Information and Computation November 2025 307

Academic journal
Save to List
10

Greed is slow on sparse graphs of oriented valued constraints
Kaznatcheev, Artem ; Vazquez Alferez, Sofia ; Artem Kaznatcheev and Sofia Vazquez Alferez

FOS: Computer and inform... Discrete Mathematics (cs... Discrete Mathematics local search constraint graphs valued constraint satisf...
Academic journal
Save to List
11

Simplified Chernoff bounds with powers-of-two probabilities
Dillencourt, Michael ; Goodrich, Michael T

Algorithms Analysis of algorithms Algorithm analysis Chernoff bound Lambert W function Mathematical Sciences
Academic journal
Save to List
12

Chemical Discrimination of Benzene Series and Molecular Recognition of the Sensing Process over Ti-Doped Co3O4
Cao, Zhengmao ; Ge, Yingzhu ; Wang, Wu ; et al.
ACS Sensors. 7(6):1757-1765

Academic journal
Save to List
13

A classification of bisimilarities for general Markov decision processes
Martín Santiago Moroni ; Pedro Sánchez Terraf
Mathematical Structures in Computer Science. 35

FOS: Computer and inform... Computer Science - Logic... Probability in computer... labelled Markov process 68Q85 (Primary), 60Jxx,... Mathematics - Logic
Academic journal
Save to List
14

Decalf: A Directed, Effectful Cost-Aware Logical Framework
Grodin, Harrison ; Niu, Yue ; Sterling, Jonathan ; et al.
(Under Review)

FOS: Computer and inform... recurrence relations Computer Science - Progr... behavioral verification amortized analysis parallel algorithms
Academic journal
Save to List
15

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking
Alexandru-Ioan Lungu ; Vlad Teodorescu ; Andrei Zaborila ; et al.
Scientific Annals of Computer Science, Vol XXXIV, Iss 1, Pp 39-66 (2024)

Electronic computers. Co... 4. Education algorithmic language algorithmic thinking QA75.5-76.95 algorithm analysis
Academic journal
Save to List
16

Multiobjective Evolutionary Component Effect on Algorithm Behaviour
Lavinas, Yuri ; Ladeira, Marcelo ; Ochoa, Gabriela ; et al.
ACM Transactions on Evolutionary Learning and Optimization. 4(2):1-24

algorithm analysis continuous optimization automatic algorithm conf... multiobjective optimizat... [INFO]Computer Science [...
Journal
Save to List
17

An adaptive helper and equivalent objective evolution strategy for constrained optimization
Xu, Tao ; Chen, Hongyang ; He, Jun
In Information Sciences February 2025 690

Academic journal
Save to List
18

Unplugged Activities in the Development of Computational Thinking with Poly-Universe
Aldemir Malveira de Oliveira ; Piedade Vaz-Rebelo ; Maria da Graça Bidarra
Multimodal Technologies and Interaction, Vol 9, Iss 9, p 95 (2025)

Poly-Universe computational thinking unplugged activity algorithm analysis Technology Science
Academic journal
Save to List
19

NBL-RD-2025-08-03-H: Formal System for Structural Analysis of Numerical Sequences
Young, Michael ; Kelly, Ashley

formal methods numerical analysis computer science algorithm analysis data structures systems engineering
Academic journal
Save to List
20

NBL-RD-2025-08-03-I: Rule-Based System Simulation Benchmark
Young, Michael ; Kelly, Ashley

computer simulation algorithm analysis systems engineering benchmarking data processing
Academic journal
Save to List

Filter