Výsledky vyhľadávania - analysis of algorithms AND problems complexity general terms~

Distributed consensus algorithms for wireless sensor networks: convergence analysis and optimization

Autori: Silva Pereira, Silvana

Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Departament de Teoria del Senyal i Comunicacions

Thesis Advisors: Pagès Zamora, Alba Maria

Zdroj: TDX (Tesis Doctorals en Xarxa)

Time: 621.3

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/131997
https://dx.doi.org/10.5821/dissertation-2117-95184

Position analysis based on multi-affine formulations

Autori: Shabani, Arya

Thesis Advisors: Thomas, Federico, Porta Pleite, Josep Maria, Institut de Robòtica i Informàtica Industrial

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: Àrees temàtiques de la UPC::Informàtica

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/674371
https://dx.doi.org/10.5821/dissertation-2117-368008

Unveiling Dietary Complexity: A Scoping Review and Reporting Guidance for Network Analysis in Dietary Pattern Research.

Autori: Taylor, Rebecca M. J. Moore, Jack A. Griffiths, Amy R. a ďalší

Zdroj: Nutrients. Oct2025, Vol. 17 Issue 20, p3261. 25p.

Body Weight Estimation in Holstein × Zebu Crossbred Heifers: Comparative Analysis of XGBoost and LightGBM Algorithms.

Autori: Herrera‐Camacho, Jose Tırınk, Cem Parra‐Cortés, Rosa Inés a ďalší

Zdroj: Veterinary Medicine & Science. Jul2025, Vol. 11 Issue 4, p1-10. 10p.

Predmet: Machine learning, Milk yield, Body weight, Heifers, Rural geography

Precise Complexity Analysis for Efficient Datalog Queries

Autori: K. Tuncay Tekle Yanhong A. Liu The Pennsylvania State University CiteSeerX Archives

Prispievatelia: K. Tuncay Tekle Yanhong A. Liu The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.sunysb.edu/%7Eliu/papers/RuleQuery-PPDP10.pdf.

Predmety: F.2.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems—Computations on discrete structures, H.2.3 [Information Systems, Database Management— Query languages, H.2.4 [Information Systems, Systems—Query processing, Rule-based databases General Terms Languages, Performance Keywords Complexity analysis, Datalog, demand-driven evaluation, program transformation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.4887

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.183.4887
http://www.cs.sunysb.edu/%7Eliu/papers/RuleQuery-PPDP10.pdf

Smoothed analysis of algorithms: why the simplex algorithm usually takes polynomial time

Autori: Daniel A. Spielman Shang-hua Teng The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Daniel A. Spielman Shang-hua Teng The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.duke.edu/courses/spring07/cps296.2/papers/p385-a_spielman.pdf.

Predmety: Categories and Subject Descriptors, F.2.1 [Analysis of Algorithms and Problems Complexity, Numerical Algorithms and Problems, G.1.6 [Numerical Analysis, Optimization—linear programming General Terms, Algorithms, Theory Additional Key Words and Phrases, Simplex method, smoothed analysis, complexity, perturbation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.4665

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.86.4665
http://www.cs.duke.edu/courses/spring07/cps296.2/papers/p385-a_spielman.pdf

Markov Bases: Their Complexity and Applications to Network Analysis

Autori: Almendra Hernandez, Felix

Predmety: Mathematics, Statistics, Applied mathematics

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/2pq6k753
https://escholarship.org/content/qt2pq6k753/qt2pq6k753.pdf

Satisfiability algorithms for conjunctive queries over trees

Autori: James Cheney The Pennsylvania State University CiteSeerX Archives

Prispievatelia: James Cheney The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.edbt.org/Proceedings/2011-Uppsala/papers/icdt/a15-cheney.pdf.

Predmety: Categories and Subject Descriptors H.2.3 [Database management systems, Languages— query languages, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems— Complexity of proof procedures General Terms Algorithms, Theory Keywords XPath, trees, satisfiability

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.429.3064

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.429.3064
http://www.edbt.org/Proceedings/2011-Uppsala/papers/icdt/a15-cheney.pdf

Parameterized complexity of DPLL search procedures

Autori: Olaf Beyersdorff, Nicola Galesi, Massimo Lauria The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Olaf Beyersdorff, Nicola Galesi, Massimo Lauria The Pennsylvania State University CiteSeerX Archives

Zdroj: http://tocl.acm.org/accepted/beyersdorff-galesi_parameterized.pdf.

Predmety: Categories and Subject Descriptors, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms, Algorithms, Theory Additional Key Words and Phrases, Proof complexity, parameterized complexity, Resolution, Prover-Delayer games ACM Reference Format

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.3540

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.3540
http://tocl.acm.org/accepted/beyersdorff-galesi_parameterized.pdf

Enhancing computational efficiency in solving Knapsack problem: insights from algorithmic parallelization and optimization

Autori: Bashar Bin Usman Okeyinka Aderemi Elisha Ibrahim Abdullahi a ďalší

Zdroj: Advances in Computing and Engineering, Vol 4, Iss 2, Pp 52-65 (2024)

Predmety: combinatorial, knapsack, heuristics, halstead metrics, time complexity, random number generation., Electronic computers. Computer science, QA75.5-76.95, Technology (General), T1-995, Computer engineering. Computer hardware, TK7885-7895

Popis súboru: electronic resource

Relation: http://apc.aast.edu/ojs/index.php/ACE/article/view/885; https://doaj.org/toc/2735-5977; https://doaj.org/toc/2735-5985

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

A conditional gradient algorithm for distributed online optimization in networks

Autori: Xiuyu Shen Dequan Li Runyue Fang a ďalší

Zdroj: IET Control Theory & Applications, Vol 15, Iss 4, Pp 570-579 (2021)

Predmety: Optimisation techniques, Interpolation and function approximation (numerical analysis), Computational complexity, Parallel programming and algorithm theory, Combinatorial mathematics, Control engineering systems. Automatic machinery (General), TJ212-225

Popis súboru: electronic resource

Relation: https://doaj.org/toc/1751-8644; https://doaj.org/toc/1751-8652

Prístupová URL adresa: https://doaj.org/article/155a0f04378e472bb7654129f68ca62f

Beyond proof-of-compliance: security analysis in trust management

Autori: Ninghui Li John C. Mitchell William H. Winsborough a ďalší

Prispievatelia: Ninghui Li John C. Mitchell William H. Winsborough a ďalší

Zdroj: http://www.cs.utsa.edu/~winsboro/index_files/Papers/Safety_JACM_AcceptedVersion.pdf.

Predmety: and Protection, D.4.6 [Operating Systems, Security and Protection—Access controls, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—Complexity of proof procedures General Terms, Security, Theory, Languages Additional Key Words and Phrases, access control, trust management, distributed system security, logic

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.4238; http://www.cs.utsa.edu/~winsboro/index_files/Papers/Safety_JACM_AcceptedVersion.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.119.4238
http://www.cs.utsa.edu/~winsboro/index_files/Papers/Safety_JACM_AcceptedVersion.pdf

Solving Satisfiability and Implication Problems in Database Systems

Autori: Sha Guo Wei Sun Mark A. Weiss a ďalší

Prispievatelia: Sha Guo Wei Sun Mark A. Weiss a ďalší

Zdroj: http://www.cs.fiu.edu/~weiss/tods.pdf.

Predmety: I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—deduction, I.1.2. [Algebraic Manipulation, Algorithms—analysis of algorithms, F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems—complexity of proof procedure General Terms, Algorithms, Theory, Language Additional Key Words and Phrases, Deduction, reasoning, satisfiabilty, implication, equivalence

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.17; http://www.cs.fiu.edu/~weiss/tods.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.17
http://www.cs.fiu.edu/~weiss/tods.pdf

Hybrid black widow optimization with iterated greedy algorithm for gene selection problems

Autori: Mohammed Alweshah Yasmeen Aldabbas Bilal Abu-Salih a ďalší

Zdroj: Heliyon, Vol 9, Iss 9, Pp e20133- (2023)

Predmety: Gene selection, Feature selection, Medical diagnosis, Iterated greedy algorithm, Black widow optimization, Metaheuristic hybridization, Science (General), Q1-390, Social sciences (General), H1-99

Popis súboru: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2405844023073413; https://doaj.org/toc/2405-8440

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

Small Target Detection Algorithm for UAV Aerial Images Based on Improved YOLOv7-tiny

Autori: ZHANG Guanghua LI Congfa LI Gangying a ďalší

Zdroj: 工程科学与技术, Vol 57, Pp 235-246 (2025)

Predmety: UAV aerial images, small target detection, SiLU, ConvMixer, efficient decoupled head, Engineering (General). Civil engineering (General), TA1-2040, Hydraulic engineering, TC1-978

Popis súboru: electronic resource

Relation: http://jsuese.scu.edu.cn/thesisDetails#10.15961/j.jsuese.202300593; https://doaj.org/toc/2096-3246

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

Optimising the selection of welfare indicators in farm animals.

Autori: Day, Jon Ben Haddou, Mohamed Kylling, Rita a ďalší

Zdroj: Frontiers in Veterinary Science. 2025, p1-19. 19p.

Inverse modelling in wildfire spread forecasting: towards a data-driven system

Autori: Rios Rubiras, Oriol

Prispievatelia: University/Department: Universitat Politècnica de Catalunya. Departament d'Enginyeria Química

Thesis Advisors: Pastor Ferrer, Elsa, Planas Cuchi, Eulàlia

Zdroj: TDX (Tesis Doctorals en Xarxa)

Predmety: Àrees temàtiques de la UPC::Enginyeria química

Popis súboru: application/pdf

Prístupová URL adresa: http://hdl.handle.net/10803/666189
https://dx.doi.org/10.5821/dissertation-2117-131415

The state of the late Quaternary megafauna extinction debate: a systematic review and analysis.

Autori: Stewart, Mathew Peters, Carli Ziegler, Michael J. a ďalší

Zdroj: Frontiers in Mammal Science. 2025, p1-27. 27p.

Metatranscriptome analysis to unveil the molecular signatures of transcriptionally active pathogens associated with bovine mastitis.

Autori: Naveenprasath, T. Ummat, Badeer Hassan Tarique, Farha a ďalší

Zdroj: Frontiers in Veterinary Science. 2025, p1-16. 16p.

Computing rational solutions of linear matrix inequalities

Autori: Qingdong Guo Mohab Safey El Din Lihong Zhi a ďalší

Prispievatelia: Qingdong Guo Mohab Safey El Din Lihong Zhi a ďalší

Zdroj: http://www-spiral.lip6.fr/~safey/Articles/rationalpoints-LMI.pdf.

Predmety: Categories and Subject Descriptors I.1.2 [Symbolic and Algebraic Manipulation, Algorithms—algebraic algorithms, F.2.2 [Analysis of Algorithms and Problem Complexity, Non numerical algorithms and problems—complexity of proof procedures General Terms

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.625

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.625
http://www-spiral.lip6.fr/~safey/Articles/rationalpoints-LMI.pdf