Results 21 to 30 of about 21,799 (256)
Model-theoretic Forcing in Transition Algebra
CoRRWe study Löwenheim-Skolem and Omitting Types theorems in Transition Algebra, a logical system obtained by enhancing many sorted first-order logic with features from dynamic logic. The sentences we consider include compositions, unions, and transitive closures of transition relations, which are treated similarly to actions in dynamic logics to define ...
Hashimoto Go, Daniel Gaina
openaire +3 more sources
Algebraic and model-theoretic properties of tilings
Theoretical Computer Science, 2004 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Algebraic and model theoretic methods in constraint satisfaction
CoRR, 2015 This text is related to the tutorials I gave at the Banff International Research Station and within a "Doc-course" at Charles University Prague in the fall of 2014. It describes my current research and some of the most important open questions related to it.
openaire +2 more sources
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA [PDF]
, 2006 This paper examines the influence of the Raf Kinase Inhibitor Protein (RKIP) on the Extracellular signal Regulated Kinase (ERK) signalling pathway [5] through modelling in a Markovian process algebra, PEPA [11].
Calder, M. +8 more
core +1 more source
Topos-Theoretic Approaches to Quantum Theory [PDF]
, 2012 Starting from a naive investigation into the nature of experiments on a physical system one can argue that states of the system should pair non-degenerately with physical observables. This duality is closely related to that between space and quantity, or,
Vákár, Matthijs, Matthijs Vakar
core
Homological Algebra for Superalgebras of Differentiable Functions
, 2012 This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra to define, in
Sub Algebra,Geometry&Mathem. Logic begr. +2 more
core +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This article proposes a convergent adaptive observer for a damped wave PDE and an infinite‐dimensional ODE coupled in cascade using sampled‐in‐space ODE state measurements. The proposed observer estimates the distributed states of the PDE and ODE along with unknown PDE parameters and spatial input.
Zehor Belkhatir +2 more
wiley +1 more source
No categorial support for radical ontic structural realism [PDF]
, 2013 Radical ontic structural realism (ROSR) asserts an ontological commitment to 'free-standing' physical structures understood solely in terms of fundamental relations, without any recourse to relata which stand in these relations.
Lam, Vincent, Wuthrich, Christian
core +1 more source
Advanced Engineering Materials, EarlyView.A numerical model resulting from irreversible thermodynamics for describing transport processes is introduced, focusing on thermodynamic activity gradients as the actual driving force for diffusion. Implemented in CUDA C++ and using CalPhaD methods for determining the necessary activity data, the model accurately simulates interdiffusion in aluminum ...
Ulrich Holländer +3 more
wiley +1 more source
Homogeneous Structures: Model Theory meets Universal Algebra (online meeting)
, 2021 The workshop "Homogeneous Structures: Model Theory meets Universal Algebra'' was centred around transferring recently obtained advances in universal algebra from the finite to the infinite.
core +1 more source