Výsledky vyhledávání - Algorithms Keywords Computer-aided theorem proving*

Verification of Clock Synchronization Algorithms: Experiments on a Combination of Deductive Tools

Autoři: Barsotti, Damian Prensa-Nieto, Leonor Tiu, Alwen a další

Přispěvatelé: Barsotti, Damian Prensa-Nieto, Leonor Tiu, Alwen a další

Zdroj: Electronic Notes in Theoretical Computer Science. 145:63-78

Témata: Schneider's generalized clock synchronization protocols, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer aided software engineering, Verification, Algorithms Clock synchronization, 0102 computer and information sciences, 02 engineering and technology, Synchronization, 01 natural sciences, Theoretical Computer Science, Clock synchronization, Combination of deductive tools, Deductive tools, clock synchronization, Keywords: Automation, 0202 electrical engineering, electronic engineering, information engineering, verification, Theorem proving, Computer Science(all)

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.inria.fr/inria-00097383/file/fac07.pdf
https://inria.hal.science/inria-00000638v1
https://hal.inria.fr/inria-00000638
https://core.ac.uk/display/82023702
https://doi.org/10.1016/j.entcs.2005.10.005
https://dblp.uni-trier.de/db/journals/entcs/entcs145.html#BarsottiNT06
https://www.sciencedirect.com/science/article/pii/S1571066105052503
https://link.springer.com/article/10.1007/s00165-007-0027-6
https://hal.inria.fr/inria-00097383
https://openresearch-repository.anu.edu.au/handle/1885/39233
https://link.springer.com/10.1007/s00165-007-0027-6
https://dblp.uni-trier.de/db/journals/fac/fac19.html#BarsottiNT07
https://digitalcollections.anu.edu.au/handle/1885/39233
https://link.springer.com/article/10.1007/s00165-007-0027-6/email/correspondent/c1/new

Coverability in VASS Revisited: Improving Rackoff's Bounds to Obtain Conditional Optimality.

Autoři: Künnemann, Marvin Mazowiecki, Filip Schütze, Lia a další

Zdroj: Journal of the ACM; Oct2025, Vol. 72 Issue 5, p1-27, 27p

Témata: MATHEMATICAL bounds, DETERMINISTIC algorithms, DECIDABILITY (Mathematical logic), HYPOTHESIS

Axiomatization of Compact Initial Value Problems: Open Properties.

Autoři: Platzer, André Qian, Long

Zdroj: Journal of the ACM; Dec2025, Vol. 72 Issue 6, p1-51, 51p

Témata: INITIAL value problems, DIFFERENTIAL equations, COMPLETENESS theorem, AXIOMS, MATHEMATICAL logic, NUMERICAL analysis

Multi-Degree Reduction of Said–Ball Curves and Engineering Design Using Multi-Strategy Enhanced Coati Optimization Algorithm.

Autoři: Zou, Feng Wang, Xia Zhang, Weilin a další

Zdroj: Biomimetics (2313-7673); Jul2025, Vol. 10 Issue 7, p416, 39p

Témata: ENGINEERING design, OPTIMIZATION algorithms, COMPUTER-aided design, MATHEMATICAL optimization, DIMENSION reduction (Statistics)

High Relative Accuracy for Corner Cutting Algorithms.

Autoři: Ballarín, Jorge Delgado, Jorge Peña, Juan Manuel

Zdroj: Axioms (2075-1680); Apr2025, Vol. 14 Issue 4, p248, 13p

Témata: COMPUTER-aided design, FACTORIZATION, ALGORITHMS, OPTIMISM, MATRICES (Mathematics)

Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs.

Autoři: Liu, Junyi Zhou, Li Barthe, Gilles a další

Zdroj: Journal of the ACM; Jun2025, Vol. 72 Issue 3, p1-51, 51p

Témata: RANDOM walks, GENERALIZATION, ALGORITHMS, PHYSICS, FACTORIES

Finding strategyproof social choice functions via SAT solving

Autoři: Felix Brandt Christian Geist The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Felix Brandt Christian Geist The Pennsylvania State University CiteSeerX Archives

Zdroj: http://dss.in.tum.de/files/brandt-research/sp2sat.pdf.

Témata: Categories and Subject Descriptors [Applied computing, Economics, Computing methodologies, Artificial intelligence General Terms Economics, Theory, Verification, Algorithms Keywords Computer-aided theorem proving, strategyproofness, tour- nament solutions, set extensions

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9629
http://dss.in.tum.de/files/brandt-research/sp2sat.pdf

A smoothing interval neural networks-based Caputo fractional-order gradient learning algorithm.

Autoři: Shao, Qiang Liu, Yuanquan Wang, Rui a další

Zdroj: International Journal of Machine Learning & Cybernetics; Apr2025, Vol. 16 Issue 4, p2469-2485, 17p

Fashion Designer Algorithm: A Human-creativity Inspired Parameter-free Metaheuristic for Optimization Tasks.

Autoři: Bektemyssova, Gulnara Montazeri, Zeinab Dehghani, Mohammad a další

Zdroj: International Journal of Intelligent Engineering & Systems; 2025, Vol. 18 Issue 10, p778-793, 16p

Témata: METAHEURISTIC algorithms, OPTIMIZATION algorithms, ALGORITHMS, MATHEMATICAL optimization, BENCHMARK problems (Computer science), STATISTICAL accuracy, CREATIVE ability

Detective Algorithm: A Novel Human-inspired Metaheuristic for Solving Real-world Constrained Optimization Problems.

Autoři: Zraiqat, Amjed Batiha, Belal Al Soudi, Maha a další

Zdroj: International Journal of Intelligent Engineering & Systems; 2025, Vol. 18 Issue 10, p33-46, 14p

Témata: CONSTRAINED optimization, METAHEURISTIC algorithms, MATHEMATICAL optimization, COMPARATIVE studies, MATHEMATICAL functions, PROBLEM solving, INVENTIONS

Black-breasted Lapwing Algorithm (BBLA): A Novel Nature-inspired Metaheuristic for Solving Constrained Engineering Optimization.

Autoři: Qawaqneh, Haitham Alomari, Khaled Mohammad Alomari, Saleh a další

Zdroj: International Journal of Intelligent Engineering & Systems; 2025, Vol. 18 Issue 11, p581-597, 17p

Témata: METAHEURISTIC algorithms, ENGINEERING design, NONLINEAR programming, MATHEMATICAL optimization, MATHEMATICAL functions, BENCHMARK problems (Computer science)

Adaptive Gazelle optimization algorithm: a novel solution for complex optimization problems.

Autoři: Huang, Haidong Fu, Youfa Liu, Dan a další

Zdroj: Cluster Computing; Oct2025, Vol. 28 Issue 7, p1-55, 55p

Témata: MATHEMATICAL optimization, METAHEURISTIC algorithms, HEURISTIC, OPTIMIZATION algorithms, ENGINEERING firms, STATISTICAL accuracy, LEVY processes

Clinical outcome prediction in pediatric respiratory infections using hybrid feature selection and a genetic algorithm-optimized machine learning.

Autoři: Madhalaimuthu, Sarlinraj Radhakrishnan, Sujatha

Zdroj: Scientific Reports; 10/21/2025, Vol. 15 Issue 1, p1-18, 18p

Témata: RESPIRATORY infections, MACHINE learning, PEDIATRICS, MEDICAL informatics, GENETIC algorithms, CLINICAL prediction rules, FEATURE selection, DATA quality

An Augmented Slime Mold Algorithm Based on Spiral Sensing Search Mechanism and Its Engineering Application for Photovoltaic Cell Parameter Identification Problem.

Autoři: Qian, Qian Li, Hongyu Wang, Anbo a další

Zdroj: International Journal of Intelligent Systems; 10/13/2025, Vol. 2025, p1-52, 52p

Témata: PHOTOVOLTAIC cells, OPTIMIZATION algorithms, PARAMETER estimation, ENGINEERING firms, METAHEURISTIC algorithms, FORAGING behavior, MATHEMATICAL optimization

An effective method for solving feature selection problems based on multi-strategy Hippo optimization algorithm Open Access.

Autoři: Yuan, Xiaoyang Yao, Liguo Zhang, Taihua a další

Zdroj: Journal of Computational Design & Engineering; Aug2025, Vol. 12 Issue 8, p193-251, 59p

A quantum-optimized approach for breast cancer detection using SqueezeNet-SVM.

Autoři: Bilal, Anas Alkhathlan, Ali Kateb, Faris A. a další

Zdroj: Scientific Reports; 1/25/2025, Vol. 15 Issue 1, p1-32, 32p

Témata: GREY Wolf Optimizer algorithm, COMPUTER-aided diagnosis, MEDICAL sciences, IMAGE analysis, SUPPORT vector machines

Enhanced sine cosine algorithm for multi-threshold image segmentation: a breast cancer pathology image study.

Autoři: Bai, Yihong Zhao, Dong Yu, Helong a další

Zdroj: Cluster Computing; Dec2025, Vol. 28 Issue 15, p1-59, 59p

Témata: BREAST cancer, IMAGE segmentation, GLOBAL optimization, DIAGNOSTIC services, DIAGNOSTIC imaging, THRESHOLDING algorithms, OPTIMIZATION algorithms

SPPsolver: a SAT-based algorithm for solving any stable paths problem correctly.

Autoři: Yan, Wenwu Hu, Bo Huang, Weiqing a další

Zdroj: Cybersecurity (2523-3246); 11/25/2025, Vol. 8 Issue 1, p1-16, 16p

Témata: SATISFIABILITY (Computer science), ALGORITHMS, DATA structures, CONSTRAINT satisfaction, MATHEMATICAL optimization, BGP (Computer network protocol)

Attention-Enhanced Lightweight Architecture with Hybrid Loss for Colposcopic Image Segmentation.

Autoři: Chatterjee, Priyadarshini Siddiqui, Shadab Kareem, Razia Sulthana Abdul a další

Zdroj: Cancers; Mar2025, Vol. 17 Issue 5, p781, 33p

Témata: STATISTICAL models, CANCER treatment, CERVIX uteri tumors, RESEARCH evaluation, DESCRIPTIVE statistics, COLPOSCOPY, ATTENTION, COMPUTER-aided diagnosis, DEEP learning, DIGITAL image processing, ALGORITHMS, SENSITIVITY & specificity (Statistics), SPECIALTY hospitals

An in-place Quickhull algorithm.

Autoři: Park, Kyuseo Schneider, Markus

Zdroj: GeoInformatica; Jul2025, Vol. 29 Issue 3, p517-545, 29p

Témata: GEOGRAPHIC information systems, COMPUTATIONAL geometry, GEOSPATIAL data, GEODATABASES, ALGORITHMS, GEOMETRIC approach