Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 of  22,457 نتائج ل ""theory""

فلترة النتائج

Language : english Subject : 0202 electrical engineering, electronic engineering, information engineering Subject : 020901 industrial engineering & automation فلترة بواسطة : موضوع
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Similarity in metaheuristics

Subjects: Optimization; Decision support system; Comparison methodology

  • Source: Natural Computing, 21, 265-287. Springer

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Planar L-Drawings of Bimodal Graphs

Subjects: Computational Geometry (cs.CG); FOS: Computer and information sciences; Vertex (graph theory)

  • Source: Lecture Notes in Computer Science ISBN: 9783030687656Graph DrawingMaastricht UniversityGraph Drawing and Network Visualization. GD 2020, 12590, 205-219Journal of Graph

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

A Comprehensive Framework for Saturation Theorem Proving

Subjects: Computer science; Prover architectures; 02 engineering and technology

  • Source: Journal of Automated Reasoning, 66(4), 499-539. Springer NetherlandsIJCAR 2020 (Part I) International Joint Conference on Automated ReasoningIJCAR 2020 (Part I) International Joint

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Making Higher-Order Superposition Work

Subjects: Higher-order theorem proving; Theoretical computer science; Computer science

  • Source: Journal of Automated ReasoningJournal of Automated Reasoning, 2022, 66 (4), pp.541-564. ⟨10.1007/s10817-021-09613-z⟩Automated Deduction – CADE 28 ISBN: 9783030798758CADE

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Ranking of optimal stock portfolios determined on the basis of expected utility maximization criterion

Subjects: 021103 operations research; expected rate of return on the portfolio; Basis (linear algebra)

  • Source: Journal of Economics and Management, Vol 43, Pp 154-178 (2021)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Manoeuvring speed estimation of a lane-change system using geometric hermite interpolation

Subjects: Hermite polynomials; Curvature; Computer science

  • Source: Ain Shams Engineering Journal, Vol 12, Iss 4, Pp 4015-4021 (2021)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Prediction of golden time for recovering SISs using deep fuzzy neural networks with rule-dropout

Subjects: Fuzzy rule; Artificial neural network; Computer science

  • Source: Nuclear Engineering and Technology, Vol 53, Iss 12, Pp 4014-4021 (2021)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

A unique solution of the iterative boundary value problem for a second-order differential equation approached by fixed point results

Subjects: Mathematics::Functional Analysis; Iterative differential equations; Mathematical sciences

  • Source: Alexandria Engineering Journal, Vol 60, Iss 6, Pp 5797-5802 (2021)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Measurement of sustainable development index in China’s manufacturing industry based on Er-xiang Dual theory

Subjects: Sustainable development; Index (economics); Process (engineering)

  • Source: Alexandria Engineering Journal, Vol 60, Iss 6, Pp 5897-5908 (2021)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×

Experimental research and performance analysis of a free piston expander–linear generator coupled with a driving motor

Subjects: Test bench; Bar (music); 020209 energy

  • Source: Energy Reports, Vol 7, Iss, Pp 1349-1359 (2021)

تفاصيل العنوان

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-10 of  22,457 نتائج ل ""theory""