Results 131 to 140 of about 1,588 (189)
Space Quasi-Periodic Steady Euler Flows Close to the Inviscid Couette Flow. [PDF]
Franzoi L, Masmoudi N, Montalto R.
europepmc +1 more source
Comparative LCMS2 Analysis of Synthetic Ether- and Ester-Linked Polyacids Refines Structural Boundaries for Small Molecules in Dissolved Organic Matter. [PDF]
Flygare AD +3 more
europepmc +1 more source
Spatiotemporal Prediction of COVID-19 Mortality and Risk Assessment
Torres-Signes A +2 more
europepmc +1 more source
Oscillations in Wave Map Systems and Homogenization of the Einstein Equations in Symmetry. [PDF]
Guerra A, Teixeira da Costa R.
europepmc +1 more source
Fast Numerical Solvers for Parameter Identification Problems in Mathematical Biology. [PDF]
Benková K, Pearson JW, Ptashnyk M.
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Fuzzy Sets and Systems, 2008
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DURANTE, FABRIZIO +3 more
openaire +1 more source
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
DURANTE, FABRIZIO +3 more
openaire +1 more source
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity
Archive for Mathematical Logic, 2015The paper is a continuation of [the authors, Arch. Math. Logic 49, No. 4, 417--446 (2010; Zbl 1196.03013)]. An abstract algebraic logic \(L\) with implication \(\Rightarrow\) is semilinear if the following meta-rule holds: \[ \frac{\Gamma,\phi \Rightarrow \psi \vdash_L \chi \quad \Gamma,\psi \Rightarrow \phi \vdash_L \chi}{\Gamma \vdash_L \chi}.
Petr Cintula, Carles Noguera
openaire +5 more sources
Semilinear Program Feasibility
2009We study logical techniques for deciding the computational complexity of infinite-domain constraint satisfaction problems (CSPs). For the fundamental algebraic structure $\Gamma=(\mathbb R; L_1,L_2,\dots)$ where $\mathbb R$ are the real numbers and L 1 ,L 2 ,...
Manuel Bodirsky +2 more
openaire +2 more sources
Semilinearity as a syntactic invariant
1997Mildly context sensitive grammar formalisms such as multi-component TAGs and linear context free rewrite systems have been introduced to capture the full complexity of natural languages. We show that, in a formal sense, Old Georgian can be taken to provide an example of a non-semilinear language.
Michaelis, Jens +2 more
openaire +3 more sources
Semilinear observation systems
Systems & Control Letters, 2013zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mahmoud Baroun +3 more
openaire +2 more sources

