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

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  94 نتائج ل ""Existential quantification""

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

Publisher : springer international publishing
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Complexity of Limit-Cycle Problems in Boolean Networks

Subjects: Polynomial hierarchy; Discrete mathematics; Schedule

  • Source: SOFSEM 2021: Theory and Practice of Computer Science ISBN: 9783030677305SOFSEM

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

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

Conflict-Free Coloring: Graphs of Bounded Clique Width and Intersection Graphs

Subjects: Existential quantification; ComputingMethodologies_IMAGEPROCESSINGANDCOMPUTERVISION; Graph

  • Source: Lecture Notes in Computer Science ISBN: 9783030799861IWOCA

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

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

Properties of Graphs Specified by a Regular Language

Subjects: Discrete mathematics; Property (philosophy); Regular language

  • Source: Developments in Language Theory ISBN: 9783030815073DLT

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

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

Empirically Explaining SGD from a Line Search Perspective

Subjects: Line search; Computer science; business.industry

  • Source: Lecture Notes in Computer Science ISBN: 9783030863395ICANN (2)

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

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

Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP

Subjects: Discrete mathematics; Existential quantification; 0102 computer and information sciences

  • Source: Lecture Notes in Computer Science ISBN: 9783030719944FoSSaCS

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

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

Asymptotic Approximation by Regular Languages

Subjects: Discrete mathematics; Class (set theory); Mathematics::Commutative Algebra

  • Source: SOFSEM 2021: Theory and Practice of Computer Science ISBN: 9783030677305SOFSEM

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

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

The Graphs of Stably Matchable Pairs

Subjects: Combinatorics; Polynomial; Matching (graph theory)

  • Source: Graph-Theoretic Concepts in Computer Science ISBN: 9783030868376WG

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

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

Active Learning of Sequential Transducers with Side Information About the Domain

Subjects: Subsequential limit; Theoretical computer science; Active learning (machine learning)

  • Source: Developments in Language Theory ISBN: 9783030815073DLT

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

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

Abstract Models for Systems Identification

Subjects: Algebra; Pure mathematics; Functor

  • Source: Fuzzy Approaches for Soft Computing and Approximate Reasoning: Theories and Applications ISBN: 9783030543402

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

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

Specification and Efficient Monitoring Beyond STL

Subjects: Constructed language; Signal temporal logic; Theoretical computer science

  • Source: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783030174644TACAS (2)

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

اقرأ على الانترنت اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  94 نتائج ل ""Existential quantification""