×

Found 5,192 Documents (Results 1–100)

100
MathJax

Heterogeneous heuristic optimisation and scheduling for first-order theorem proving. (English) Zbl 1485.68282

Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 107-123 (2021).
MSC:  68V15 68T05 68T20
PDF BibTeX XML Cite
Full Text: DOI

Designing of fractional-order PI/PID controller by meta-heuristic algorithm using PSO for PEM fuel cell. (English) Zbl 1485.93178

Kumar, Rajesh (ed.) et al., Intelligent algorithms for analysis and control of dynamical systems. Selected papers based on the presentations at the the international conference on advances in systems, control and computing, AISCC-2020, Jaipur, India, February 27–28, 2020. Singapore: Springer. Algorithms Intell. Syst., 125-131 (2021).
MSC:  93B52 26A33 90C59
PDF BibTeX XML Cite
Full Text: DOI

An incremental search heuristic for coloring vertices of a graph. (English) Zbl 07440727

Gentile, Claudio (ed.) et al., Graphs and combinatorial optimization: from theory to applications. Proceedings of the 18th Cologne-Twente workshop on graphs and combinatorial optimization (CTW2020), online, September 14–16, 2020. Cham: Springer. AIRO Springer Ser. 5, 39-52 (2021).
MSC:  05C15 05C42
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

all top 3

Software