Zoekresultaten - finite model theory

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice o...

Link to Metadata

Advanced Sensing, Fault Diagnostics, and Structural Health Management

Onderwerpen: “…Floquet theory…”
DOAB: download the publication
DOAB: description of the publication

Piezoelectric Transducers Materials, Devices and Applications

Onderwerpen: “…Bouc-Wen model…”
DOAB: download the publication
DOAB: description of the publication

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...

Inhoudsopgave: “…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

RANCANG BANGUN MULTIMEDIA PEMBELAJARAN INTERAKTIF GAME LABIRIN BERBASIS MODEL PROBLEM BASED LEARNING PADA MATA PELAJARAN JARINGAN KOMPUTER door Hartianti, Retno Dewi

Link Metadata

Innovative Methods and Materials in Structural Health Monitoring of Civil Infrastructures

Onderwerpen: “…finite element model updating…”
DOAB: download the publication
DOAB: description of the publication

Sex Differences in Reading and Math Test Scores of Children A Heterodoxical Model / door Thomas, Hoben

Link to Metadata

Branes and DAHA Representations door Gukov, Sergei

DOAB: download the publication
DOAB: description of the publication

Branes and DAHA Representations door Gukov, Sergei

OAPEN Library: download the publication
OAPEN Library: description of the publication

Physical (A)Causality Determinism, Randomness and Uncaused Events / door Svozil, Karl

Link to Metadata

Nonlinear Systems Dynamics, Control, Optimization and Applications to the Science and Engineering

Onderwerpen: “…linear approximation theory…”
DOAB: download the publication
DOAB: description of the publication

Advanced Underground Space Technology

Onderwerpen: “…rough set theory…”
DOAB: download the publication
DOAB: description of the publication

Multibody Systems with Flexible Elements

DOAB: download the publication
DOAB: description of the publication

Mathematical Logic and Its Applications 2020

Onderwerpen: “…generic models…”
DOAB: download the publication
DOAB: description of the publication

Design of Alloy Metals for Low-Mass Structures

Onderwerpen: “…mathematical model…”
DOAB: download the publication
DOAB: description of the publication

Human Health Engineering door Aerts, Jean Marie

Onderwerpen: “…personalized model…”
DOAB: download the publication
DOAB: description of the publication

Novel Approaches for Structural Health Monitoring

Onderwerpen: “…Bouc-Wen model…”
DOAB: download the publication
DOAB: description of the publication

Novel Hybrid Intelligence Techniques in Engineering

DOAB: download the publication
DOAB: description of the publication

Sustainable Industrial Engineering along Product-Service Life Cycle/Supply Chain

Onderwerpen: “…game model…”
DOAB: download the publication
DOAB: description of the publication

Probability and Stochastic Processes with Applications to Communications, Systems and Networks

DOAB: download the publication
DOAB: description of the publication