Výsledky vyhľadávania - "algorithm analysis"

Yükseköğretimde Öğrenci Başarısını Şekillendirmek: Erken Tahmin ve Müdahale

Autori: Ali Küsmüş

Zdroj: Volume: 9, Issue: 20124-132
The Journal of Interdisciplinary Educational Research
Disiplinlerarası Eğitim Araştırmaları Dergisi

Predmety: Öğrenci başarı tahmini, makine öğrenmesi, XGBoost, eğitim veri madenciliği, karşılaştırmalı algoritma analizi, Student success prediction, machine learning, educational data mining, comparative algorithm analysis, Instructional Technologies, Öğretim Teknolojileri

Popis súboru: application/pdf

Prístupová URL adresa: https://dergipark.org.tr/tr/pub/jier/issue/91597/1667945

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

Autori: K. J. Dzahini S. M. Wild

Zdroj: SIAM Journal on Matrix Analysis and Applications, vol 46, iss 1

Predmety: Johnson--Lindenstrauss transforms, Numerical and Computational Mathematics, Strong limit theorems, Probability in computer science (algorithm analysis, random structures, phase transitions, etc.), singular values, Applied Mathematics, Probability (math.PR), Numerical & Computational Mathematics, Mathematics - Statistics Theory, Statistics Theory (math.ST), Applied mathematics, random matrices, 01 natural sciences, Mathematical Sciences, Random matrices (probabilistic aspects), Large deviations, sub-Gaussian variables, Johnson-Lindenstrauss transforms, FOS: Mathematics, 0101 mathematics, Mathematics - Probability

Popis súboru: application/xml; application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2212.14858
https://zbmath.org/8005344
https://doi.org/10.1137/23m1605661
https://escholarship.org/uc/item/12z7x7hj
https://escholarship.org/content/qt12z7x7hj/qt12z7x7hj.pdf

A general label setting algorithm and tractability analysis for the multiobjective temporal shortest path problem

Autori: Cristina Bazgan Johannes Kager Clemens Thielen a ďalší

Zdroj: Networks. 85:76-90

Predmety: RESEARCH ARTICLE, algorithm analysis, label setting algorithm, multiobjective optimization, shortest paths, temporal graphs, tractability, ddc

Popis súboru: application/pdf

Prístupová URL adresa: https://mediatum.ub.tum.de/doc/1771005/document.pdf

Normalizing toxicity: the role of recommender algorithms for young people’s mental health and social wellbeing

Autori: Kaitlyn Regehr Caitlin Shaughnessy Minzhu Zhao a ďalší

Zdroj: Frontiers in Psychology, Vol 16 (2025)

Predmety: misogyny, social media, algorithm analysis, mental health, neurodiversity, digital literacy, Psychology, BF1-990

Popis súboru: electronic resource

Relation: https://www.frontiersin.org/articles/10.3389/fpsyg.2025.1523649/full; https://doaj.org/toc/1664-1078

Prístupová URL adresa: https://doaj.org/article/760ba800c3fd4276a0c0853f4f2c5ed9

Greed is slow on sparse graphs of oriented valued constraints

Autori: Kaznatcheev, Artem Vazquez Alferez, Sofia Artem Kaznatcheev and Sofia Vazquez Alferez

Prispievatelia: Kaznatcheev, Artem Vazquez Alferez, Sofia Artem Kaznatcheev and Sofia Vazquez Alferez

Predmety: FOS: Computer and information sciences, Discrete Mathematics (cs.DM), Discrete Mathematics, local search, constraint graphs, valued constraint satisfaction problem, ddc:004, algorithm analysis

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2506.11662
https://research-portal.uu.nl/en/publications/fdcc7d2a-2030-4a84-b4b6-e85c225b359b
https://doi.org/10.4230/LIPIcs.CP.2025.18
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2025.18

Simplified Chernoff bounds with powers-of-two probabilities

Autori: Dillencourt, Michael Goodrich, Michael T

Predmety: Algorithms, Analysis of algorithms, Algorithm analysis, Chernoff bound, Lambert W function, Mathematical Sciences, Information and Computing Sciences, Engineering, Computation Theory & Mathematics

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/0hk7d317
https://escholarship.org/content/qt0hk7d317/qt0hk7d317.pdf

A classification of bisimilarities for general Markov decision processes

Autori: Martín Santiago Moroni Pedro Sánchez Terraf

Zdroj: Mathematical Structures in Computer Science. 35

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Probability in computer science (algorithm analysis, random structures, phase transitions, etc.), labelled Markov process, 68Q85 (Primary), 60Jxx, 03E15, 28A05 (Secondary), Mathematics - Logic, probabilistic bisimilarity, Logic in Computer Science (cs.LO), Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.), bisimulation, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), FOS: Mathematics, F.4.1, Logic (math.LO)

Popis súboru: application/xml

Prístupová URL adresa: http://arxiv.org/abs/2401.09273

Decalf: A Directed, Effectful Cost-Aware Logical Framework

Autori: Grodin, Harrison Niu, Yue Sterling, Jonathan a ďalší

Prispievatelia: Grodin, Harrison Niu, Yue Sterling, Jonathan a ďalší

Zdroj: (Under Review)

Predmety: FOS: Computer and information sciences, recurrence relations, Computer Science - Programming Languages, behavioral verification, amortized analysis, parallel algorithms, 0102 computer and information sciences, 02 engineering and technology, phase distinction, equational reasoning, cost models, intensional property, 01 natural sciences, noninterference, modal type theory, proof assistants, mechanized proof, 0202 electrical engineering, electronic engineering, information engineering, algorithm analysis, Programming Languages (cs.PL)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2307.05938
https://www.repository.cam.ac.uk/handle/1810/363223
https://doi.org/10.1145/3632852

Alk: A Formal-Methods-based Educational Platform for Enhancing Algorithmic Thinking

Autori: Alexandru-Ioan Lungu Vlad Teodorescu Andrei Zaborila a ďalší

Zdroj: Scientific Annals of Computer Science, Vol XXXIV, Iss 1, Pp 39-66 (2024)

Predmety: Electronic computers. Computer science, 4. Education, algorithmic language, algorithmic thinking, QA75.5-76.95, algorithm analysis, algorithm design

Prístupová URL adresa: https://doaj.org/article/02bf4a52969744819f00c24e062c12bf

Unplugged Activities in the Development of Computational Thinking with Poly-Universe

Autori: Aldemir Malveira de Oliveira Piedade Vaz-Rebelo Maria da Graça Bidarra

Zdroj: Multimodal Technologies and Interaction, Vol 9, Iss 9, p 95 (2025)

Predmety: Poly-Universe, computational thinking, unplugged activity, algorithm analysis, Technology, Science

Popis súboru: electronic resource

Relation: https://www.mdpi.com/2414-4088/9/9/95; https://doaj.org/toc/2414-4088

Prístupová URL adresa: https://doaj.org/article/0883854af1934bb6a4ef48a0dbef4d29

NBL-RD-2025-08-03-H: Formal System for Structural Analysis of Numerical Sequences

Autori: Young, Michael Kelly, Ashley

Predmety: formal methods, numerical analysis, computer science, algorithm analysis, data structures, systems engineering, information theory

Relation: https://zenodo.org/communities/novelbytelabs/; https://zenodo.org/records/16741210; oai:zenodo.org:16741210; https://doi.org/10.5281/zenodo.16741210

Dostupnosť: https://doi.org/10.5281/zenodo.16741210
https://zenodo.org/records/16741210

NBL-RD-2025-08-03-I: Rule-Based System Simulation Benchmark

Autori: Young, Michael Kelly, Ashley

Predmety: computer simulation, algorithm analysis, systems engineering, benchmarking, data processing

Relation: https://zenodo.org/communities/novelbytelabs/; https://zenodo.org/records/16740053; oai:zenodo.org:16740053; https://doi.org/10.5281/zenodo.16740053

Dostupnosť: https://doi.org/10.5281/zenodo.16740053
https://zenodo.org/records/16740053

NBL-RD-2025-08-03-G: Substrate Computation Model Validation

Autori: Young, Michael Kelly, Ashley

Predmety: computer simulation, computational model, systems engineering, validation, benchmarking, data analysis, numerical methods, algorithm analysis

Relation: https://zenodo.org/communities/novelbytelabs/; https://zenodo.org/records/16740034; oai:zenodo.org:16740034; https://doi.org/10.5281/zenodo.16740034

Dostupnosť: https://doi.org/10.5281/zenodo.16740034
https://zenodo.org/records/16740034

NBL-RD-2025-08-03-E: Numerical Method Validation Data

Autori: Young, Michael Kelly, Ashley

Predmety: computer simulation, numerical analysis, benchmarking, data processing, algorithm analysis, scientific computing, performance evaluation, computational science

Relation: https://zenodo.org/communities/novelbytelabs/; https://zenodo.org/records/16740017; oai:zenodo.org:16740017; https://doi.org/10.5281/zenodo.16740017

Dostupnosť: https://doi.org/10.5281/zenodo.16740017
https://zenodo.org/records/16740017

FAR-1: A Fast Integer Reduction Algorithm Compared to Collatz and Half-Collatz

Autori: Ali, Faizan

Predmety: FAR-1, Integer Reduction, Collatz Conjecture, Half-Collatz, Algorithm Analysis, Computational Mathematics

Relation: https://zenodo.org/records/15851417; oai:zenodo.org:15851417; https://doi.org/10.5281/zenodo.15851417

Dostupnosť: https://doi.org/10.5281/zenodo.15851417
https://zenodo.org/records/15851417
https://github.com/Faizanali412/FAR-1-Integer-Reduction

Analysis of the Performance of the Damerau Levenshtein Distance and Peter Norvig Algorithms in Indonesian Spelling Correction ; Analisis Kinerja Algoritma Damerau Levenshtein Distance dan Peter Norvig dalam Koreksi Ejaan Bahasa Indonesia

Autori: Ar Rafi, Mohammad Hafiz Al-Ayyubi, Iqbal Fahlefi, Muhammad Reza a ďalší

Zdroj: Jurnal Informatika, Komputer dan Bisnis (JIKOBIS); Vol. 5 No. 1 (2025): Vol. 5 No 1 April 2025 ; 2807-5587 ; 10.29040/eec37c63

Predmety: Damerau Levenshtein Distance, Peter Norvig, spelling correction, Indonesian text, Algorithm Analysis

Popis súboru: application/pdf

Relation: https://jurnal.itbaas.ac.id/index.php/jikobis/article/view/89/32; https://jurnal.itbaas.ac.id/index.php/jikobis/article/view/89

Dostupnosť: https://jurnal.itbaas.ac.id/index.php/jikobis/article/view/89
https://doi.org/10.29040/gtjjwm78

Exploring Connections Between Topological Invariants and Computational Complexity: A Modest Investigation

Autori: SÉRGIO DE ANDRADE, PAULO orcid:0009-0004-2555-

Predmety: Knot theory, Computational complexity, Fundamental groups, Algorithm analysis

Relation: https://zenodo.org/records/17217609; oai:zenodo.org:17217609; https://doi.org/10.5281/zenodo.17217609

Dostupnosť: https://doi.org/10.5281/zenodo.17217609
https://zenodo.org/records/17217609

A Complete Analysis of the BKZ Lattice Reduction Algorithm

Autori: Li, Jianwei Nguyen, Phong Q.

Prispievatelia: Li, Jianwei Nguyen, Phong Q.

Zdroj: Journal of Cryptology

Predmety: Enumeration, Lattice Reduction, [MATH] Mathematics [math], [INFO] Computer Science [cs], BKZ, Algorithm Analysis, Dynamical Systems

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-04728596v1/document
https://doi.org/10.1007/s00145-024-09527-0
https://hal.science/hal-04728596v1

Testing network correlation efficiently via counting trees

Autori: Mao, Cheng Wu, Yihong Xu, Jiaming a ďalší

Zdroj: The Annals of Statistics. 52

Predmety: correlated Erdős-Rényi graphs, FOS: Computer and information sciences, Probability in computer science (algorithm analysis, random structures, phase transitions, etc.), graph matching, Random graphs (graph-theoretic aspects), detecting network correlation, low-degree polynomials, Mathematics - Statistics Theory, Machine Learning (stat.ML), counting signed trees, 02 engineering and technology, Statistics Theory (math.ST), 01 natural sciences, Statistics - Machine Learning, Graph algorithms (graph-theoretic aspects), 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, 0101 mathematics, Hypothesis testing in multivariate analysis

Popis súboru: application/xml

Prístupová URL adresa: http://arxiv.org/abs/2110.11816
https://zbmath.org/7976232
https://doi.org/10.1214/23-aos2261

Analysis based on statistical distributions: A practical approach for stochastic solvers using discrete and continuous problems

Autori: Jana Herzog Janez Brest Borko Bošković

Zdroj: Information Sciences. 633:469-490

Predmety: predictive model, statistical distribution, target approach, stohastični algoritmi, statistična distribucija, stochastic algorithm analysis

Popis súboru: application/pdf; text/url

Prístupová URL adresa: https://dk.um.si/IzpisGradiva.php?id=89099
https://hdl.handle.net/20.500.12556/DKUM-89099
https://doi.org/10.1016/j.ins.2023.03.081