The following pages link to title (P159):
Displaying 50 items.
- The complexity of synchronous notions of information flow security (Q278742) (← links)
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- Completeness for recursive procedures in separation logic (Q278747) (← links)
- Topological abstraction of higher-dimensional automata (Q278749) (← links)
- Foundations of Boolean stream runtime verification (Q278752) (← links)
- Expected reachability-time games (Q278757) (← links)
- Undecidability through Fourier series (Q278759) (← links)
- Almost structural completeness; an algebraic approach (Q278762) (← links)
- Propositional logics of dependence (Q278765) (← links)
- Canonical forking in AECs (Q278766) (← links)
- An \(hp\)-spectral collocation method for nonlinear Volterra functional integro-differential equations with delays (Q278769) (← links)
- An NFFT based approach to the efficient computation of dipole-dipole interactions under various periodic boundary conditions (Q278771) (← links)
- A path-conservative Osher-type scheme for axially symmetric compressible flows in flexible visco-elastic tubes (Q278776) (← links)
- An adaptive algorithm based on the shifted inverse iteration for the Steklov eigenvalue problem (Q278780) (← links)
- The linear sampling method for inhomogeneous medium and buried objects from far field measurements (Q278783) (← links)
- On a local Fourier analysis for overlapping block smoothers on triangular grids (Q278784) (← links)
- Series expansion method for weakly singular Volterra integral equations (Q278787) (← links)
- Unilateral problem for the Stokes equations: the well-posedness and finite element approximation (Q278791) (← links)
- Bas van Fraassen's approach to representation and models in science (Q278792) (← links)
- Toward a restriction-centered theory of truth and meaning (RCT) (Q278794) (← links)
- Weighted fuzzy interpolative reasoning systems based on interval type-2 fuzzy sets (Q278798) (← links)
- Fuzzy rough sets based on generalized residuated lattices (Q278801) (← links)
- Hukuhara differentiability of interval-valued functions and interval differential equations on time scales (Q278803) (← links)
- Interval-valued intuitionistic fuzzy implications -- construction, properties and representability (Q278806) (← links)
- Local analysis of continuous-time Takagi-Sugeno fuzzy system with disturbances bounded by magnitude or energy: a Lagrange multiplier method (Q278809) (← links)
- A study of rough sets based on 1-neighborhood systems (Q278813) (← links)
- Nested structure in parameterized rough reduction (Q278817) (← links)
- \(\mathrm{REQUEST}^{+}\): a framework for efficient processing of region-based queries in sensor networks (Q278819) (← links)
- Structured content-aware discovery for improving XML data consistency (Q278824) (← links)
- Enhancing the scalability of multi-objective optimization via restricted Boltzmann machine-based estimation of distribution algorithm (Q278828) (← links)
- Some new topological properties of the triangular pyramid networks (Q278831) (← links)
- Adaptive neighborhood granularity selection and combination based on margin distribution optimization (Q278833) (← links)
- The strong convergence of visual classification method and its applications (Q278834) (← links)
- Rényi divergence measures for commonly used univariate continuous distributions (Q278835) (← links)
- Asynchronously switched control of discrete impulsive switched systems with time delays (Q278838) (← links)
- Divisible difference sets, relative difference sets and sequences with ideal autocorrelation (Q278839) (← links)
- New results on overlap and grouping functions (Q278841) (← links)
- Biharmonic equations under Dirichlet boundary conditions with supercritical growth (Q278846) (← links)
- A continuation approach to the periodic boundary value problem for a class of nonlinear coupled oscillators with potential depending on time (Q278847) (← links)
- Limit cycles coming from some uniform isochronous centers (Q278849) (← links)
- A note on a multiplicity result for the mean field equation on compact surfaces (Q278851) (← links)
- Multi-peak positive solutions for nonlinear fractional Schrödinger systems in \(\mathbb{R}^N\) (Q278853) (← links)
- Dynamics for generalized incompressible Navier-Stokes equations in \(\mathbb{R}^2\) (Q278857) (← links)
- Multiplicity of radial solutions of quasilinear problems with minimum and maximum (Q278859) (← links)
- Infinitely many nodal solutions for nonlinear nonhomogeneous Robin problems (Q278860) (← links)
- A proposed model in which solitons exhibit electron and proton-like behavior (Q278862) (← links)
- Dynamics of the third exotic contact form on the sphere along a vector field in its kernel (Q278863) (← links)
- Ground states for a nonlinear elliptic equation involving multiple Hardy-Sobolev critical exponents (Q278864) (← links)
- Multiple results of damped systems with general nonlinearities (Q278867) (← links)
- Obstacle problems and maximal operators (Q278869) (← links)
