The following pages link to full work available at URL (P205):
Displaying 50 items.
- Games for query inseparability of description logic knowledge bases (Q253977) (← links)
- On the expressivity of inconsistency measures (Q253979) (← links)
- Parameterised verification for multi-agent systems (Q253980) (← links)
- The co-occurrence test for non-monotonic inference (Q253982) (← links)
- Broken triangles: from value merging to a tractable class of general-arity constraint satisfaction problems (Q253988) (← links)
- Semi-equilibrium models for paracoherent answer set programs (Q253992) (← links)
- Argument graphs and assumption-based argumentation (Q253995) (← links)
- The scope and limits of simulation in automated reasoning (Q253998) (← links)
- On the query complexity of selecting minimal sets for monotone predicates (Q253999) (← links)
- Domain expansion for ASP-programs with external sources (Q254002) (← links)
- Construction of system of spheres-based transitively relational partial meet multiple contractions: an impossibility result (Q254004) (← links)
- Conservation laws, differential identities, and constraints of partial differential equations (Q254006) (← links)
- Notion of blowup of the solution set of differential equations and averaging of random semigroups (Q254007) (← links)
- Cauchy-Jost function and hierarchy of integrable equations (Q254008) (← links)
- The extended \(Z_N\)-Toda hierarchy (Q254009) (← links)
- The differential geometry of blow-ups (Q254010) (← links)
- Gepner approach to space-time supersymmetry in ten-dimensional string theory (Q254012) (← links)
- Ultrametricity in the theory of complex systems (Q254014) (← links)
- Physics of the \(\mathrm{so}_q(4)\) hydrogen atom (Q254017) (← links)
- Aggregate data and the Prohorov metric framework: efficient gradient computation (Q254019) (← links)
- Remarks on chaotic and fractal patterns based on variable separation solutions of (2+1)-dimensional general KdV equation (Q254021) (← links)
- Blow-up phenomena for some nonlinear pseudo-parabolic equations (Q254025) (← links)
- Variants of the empirical interpolation method: symmetric formulation, choice of norms and rectangular extension (Q254027) (← links)
- On the maximum and antimaximum principles for the beam equation (Q254028) (← links)
- Augmented block splitting preconditioner for singular saddle point problems (Q254031) (← links)
- Symmetry analysis and rogue wave solutions for the \((2+1)\)-dimensional nonlinear Schrödinger equation with variable coefficients (Q254039) (← links)
- A benchmark for the surface Cahn-Hilliard equation (Q254041) (← links)
- Breathers and rogue waves for a third order nonlocal partial differential equation by a bilinear transformation (Q254042) (← links)
- Boundedness and persistence of some cyclic-type systems of difference equations (Q254043) (← links)
- Ring class invariants over imaginary quadratic fields (Q254047) (← links)
- The structure of \(p\)-local compact groups of rank 1 (Q254049) (← links)
- Sampling and interpolation on some nilpotent Lie groups (Q254050) (← links)
- Topology of moduli spaces of free group representations in real reductive groups (Q254053) (← links)
- Finite symmetries of \(S^4\) (Q254055) (← links)
- Variations of Minkowski's theorem on successive minima (Q254059) (← links)
- A one-relator group with long lower central series. (Q254061) (← links)
- On transfinite nilpotence of the Vogel-Levine localization (Q254062) (← links)
- Time inhomogeneous generalized Mehler semigroups and skew convolution equations (Q254064) (← links)
- Specifying the Auslander-Reiten translation for complexes of modules (Q254067) (← links)
- Second order elliptic operators with diffusion coefficients growing as \(|x|^\alpha\) at infinity (Q254070) (← links)
- On the fourth derivative test for exponential sums (Q254072) (← links)
- Pattern formation in discrete cell tissues under long range filopodia-based direct cell to cell contact (Q254075) (← links)
- Incorporating stochasticity in the study of exploited fish population dynamics: implications for the study of post-recruitment harvest strategies (Q254077) (← links)
- Biological control via ``ecological'' damping: an approach that attenuates non-target effects (Q254081) (← links)
- Robustness analysis of elementary flux modes generated by column generation (Q254086) (← links)
- Variability and degradation of homeostasis in self-sustained oscillators (Q254091) (← links)
- Determination of critical nucleation number for a single nucleation amyloid-\(\beta\) aggregation model (Q254095) (← links)
- On a Fitzhugh-Nagumo type model for the pulse-like jasmonate defense response in plants (Q254098) (← links)
- Sharing a resource with randomly arriving foragers (Q254101) (← links)
- Modeling a dynamic bi-layer contact network of injection drug users and the spread of blood-borne infections (Q254104) (← links)