Хайлтын үр дүнгүүд - proof complexity

  1. 81

    Multiple Functions of MSCA-1/TNAP in Adult Mesenchymal Progenitor/Stromal Cells David Estève, Jean Galitzky, Anne Bouloumié, Caroline Fonta, René Buchet, David Magne

    Хэвлэсэн 2016
    Connect to this object online.
    Ном
  2. 82

    Research biopsies in the context of early phase oncology studies: clinical and ethical considerations Matilde Saggese, Divyanshu Dua, Emily Simmons, Charlotte Lemech, Hendrik-Tobias Arkenau

    Хэвлэсэн 2013
    Connect to this object online.
    Ном
  3. 83

    PENDEKATAN RULE OF REASON DALAM PRAKTEK JUAL RUGI YANG MENGAKIBATKAN KERUGIAN PELAKU USAHA PESAING (Studi Kasus Putusan KPPU Nomor 03/KPPU-L/2020) Putriani Rizki Anggraeni,

    Хэвлэсэн 2022
    Link Metadata
    Ном
  4. 84

    Public-private partnerships for hospitals Martin McKee, Nigel Edwards, Rifat Atun

    Хэвлэсэн 2006
    Connect to this object online.
    Ном
  5. 85

    Modern Cryptography Volume 2 A Classical Introduction to Informational and Mathematical Principle Zheng, Zhiyong

    Хэвлэсэн 2023
    DOAB: download the publication
    DOAB: description of the publication
    Цахим Номын бүлэг
  6. 86

    Small Molecule Inhibitors of CRM1 Bibiana I. Ferreira, Bibiana I. Ferreira, Bibiana I. Ferreira, Bastien Cautain, Bastien Cautain, Inês Grenho, Inês Grenho, Inês Grenho, Wolfgang Link

    Хэвлэсэн 2020
    Connect to this object online.
    Ном
  7. 87

    Enhancement of channel coding technique for mobile system in 5G network / N. M. Salih ... [et al.] Salih, N. M., Saleh, M. Z, Radzi, H. M., Johor, H., Sulong, S. M., M. Said, M. S.

    Хэвлэсэн 2020
    Link Metadata
    Ном
  8. 88

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Хэвлэсэн 2021
    Агуулга: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
    Link to Metadata
    Цахим Цахим ном
  9. 89

    Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Хэвлэсэн 2020
    Link to Metadata
    Цахим Цахим ном
  10. 90
  11. 91
  12. 92
  13. 93
  14. 94

    Modern Cryptography Volume 2 A Classical Introduction to Informational and Mathematical Principle Zheng, Zhiyong

    Хэвлэсэн 2023
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Цахим Номын бүлэг
  15. 95

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

    Хэвлэсэн 2021
    Агуулга: “…Complexity and Termination -- Learning Probabilistic Termination Proofs -- Ghost Signals: Verifying Termination of Busy Waiting -- Reflections on Termination of Linear Loops -- Decision Tree Learning in CEGIS-Based Termination Analysis -- ATLAS: Automated Amortised Complexity Analysis of Self-Adjusting Data Structures -- Decision Procedures and Solvers -- Theory Exploration Powered by Deductive Synthesis -- CoqQFBV: A Scalable Certified SMT Quantifier-Free Bit-Vector Solver -- Porous Invariants -- JavaSMT 3: Interacting with SMT Solvers in Java -- Efficient SMT-based Analysis of Failure Propagation -- ToolX : Better Delta Debugging for the SMT-LIBv2 Language and Friends -- Learning Union of Integer Hypercubes with Queries (with applications to monadic decomposition) -- Interpolation and Model Checking for Nonlinear Arithmetic -- An SMT Solver for Regular Expressions and Linear Arithmetic over String Length -- Counting Minimal Unsatisfiable Subsets -- Sound Verification Procedures for Temporal Properties of Infinite-State Systems -- Hardware and Model Checking -- Progress in Certifying Hardware Model Checking Results -- Model-Checking Structured Context-Free Languages -- Model Checking ! …”
    Link to Metadata
    Цахим Цахим ном
  16. 96

    Modern Cryptography Volume 2 A Classical Introduction to Informational and Mathematical Principle / Zheng, Zhiyong, Tian, Kun, Liu, Fengxia

    Хэвлэсэн 2023
    Link to Metadata
    Цахим Цахим ном
  17. 97
  18. 98

    Airborne infections related to virus aerosol contamination at indoor cultural venues: Recommendations on how to minimize Tunga Salthammer, Heinz‐Jörn Moriske

    Хэвлэсэн 2023
    Connect to this object online.
    Ном
  19. 99

    Gene therapy for cystic fibrosis: Challenges and prospects Hongshu Sui, Xinghua Xu, Yanping Su, Zhaoqing Gong, Minhua Yao, Xiaocui Liu, Ting Zhang, Ziyao Jiang, Tianhao Bai, Junzuo Wang, Jingjun Zhang, Changlong Xu, Changlong Xu, Mingjiu Luo

    Хэвлэсэн 2022
    Connect to this object online.
    Ном
  20. 100

    The Linguistic Origin of the Hori-Buryat Pagan Name Odo / Odoy / Otoy Raisa G. Zhamsaranova

    Хэвлэсэн 2021
    Connect to this object online.
    Ном