The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- Dynamic logic of power and immunity (Q1679751) (← links)
- Reason to believe (Q1679820) (← links)
- A MIP based local search heuristic for a stochastic maritime inventory routing problem (Q1680065) (← links)
- Solving the robust container pre-marshalling problem (Q1680086) (← links)
- Shortening QBF proofs with dependency schemes (Q1680258) (← links)
- Theory refinement for program verification (Q1680264) (← links)
- Asymptotic existence of fair divisions for groups (Q1680744) (← links)
- Universal probability-free prediction (Q1680844) (← links)
- Conformal decision-tree approach to instance transfer (Q1680847) (← links)
- Two-stage stochastic variational inequalities: an ERM-solution procedure (Q1680962) (← links)
- Special issue SOCO14-JAL (Q1681041) (← links)
- Development and implementation of a real time statistical control method to identify the start and end of the winter surge in demand for paediatric intensive care (Q1681394) (← links)
- Quasi-analytical root-finding for non-polynomial functions (Q1681771) (← links)
- Error analysis for discretizations of parabolic problems using continuous finite elements in time and mixed finite elements in space (Q1681787) (← links)
- A posteriori error estimates for the virtual element method (Q1681790) (← links)
- Katětov functors (Q1681846) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Web and internet economics. 13th international conference, WINE 2017, Bangalore, India, December 17--20, 2017. Proceedings (Q1682319) (← links)
- Nektar++: an open-source spectral/\(hp\) element framework (Q1682423) (← links)
- An adaptable parallel algorithm for the direct numerical simulation of incompressible turbulent flows using a Fourier spectral/\textit{hp} element method and MPI virtual topologies (Q1682623) (← links)
- HYPERDIRE -- hypergeometric functions differential reduction: Mathematica-based packages for the differential reduction of generalized hypergeometric functions: Lauricella function \(F_C\) of three variables (Q1682631) (← links)
- Bilateral trading and incomplete information: price convergence in a small market (Q1682710) (← links)
- Finite generating sets for reversible gate sets under general conservation laws (Q1682853) (← links)
- Denotational semantics of membrane systems by using complete metric spaces (Q1682859) (← links)
- The digital computer as a metaphor for the perfect laboratory experiment: loophole-free Bell experiments (Q1682943) (← links)
- An efficient algorithm for time propagation as applied to linearized augmented plane wave method (Q1682948) (← links)
- QCDLoop: a comprehensive framework for one-loop scalar integrals (Q1682949) (← links)
- Spare parts classification in industrial manufacturing using the dominance-based rough set approach (Q1683158) (← links)
- Hermite subdivision on manifolds via parallel transport (Q1683223) (← links)
- Recent advances on the interval distance geometry problem (Q1683318) (← links)
- On parallel branch and bound frameworks for global optimization (Q1683320) (← links)
- On a smoothed penalty-based algorithm for global optimization (Q1683321) (← links)
- Semi-formal cycle-accurate temporal execution traces reconstruction (Q1683467) (← links)
- Approximating the Basset force by optimizing the method of van Hinsberg et al. (Q1683829) (← links)
- Model checking the evolution of gene regulatory networks (Q1683930) (← links)
- Approaches to four types of bilevel programming problems with nonconvex nonsmooth lower level programs and their applications to newsvendor problems (Q1683936) (← links)
- A non-cooperative foundation for the continuous Raiffa solution (Q1684133) (← links)
- Efficient arithmetic operations for rank-structured matrices based on hierarchical low-rank updates (Q1684462) (← links)
- Complex dynamics and synchronization in a system of magnetically coupled Colpitts oscillators (Q1684476) (← links)
- Convergence of goal-oriented adaptive finite element methods for semilinear problems (Q1685047) (← links)
- A new weak Galerkin finite element method for elliptic interface problems (Q1685090) (← links)
- A representation theorem for frequently irrational agents (Q1685154) (← links)
- Two-dimensional simulation by regularization of free surface viscoplastic flows with Drucker-Prager yield stress and application to granular collapse (Q1685190) (← links)
- Newmark local time stepping on high-performance computing architectures (Q1685257) (← links)
- Modeling and simulation of surfactant-polymer flooding using a new hybrid method (Q1685431) (← links)
- An asymptotic-preserving method for a relaxation of the Navier-Stokes-Korteweg equations (Q1685439) (← links)
- A physics-motivated centroidal Voronoi particle domain decomposition method (Q1685464) (← links)
- Connecting actions and states in deontic logic (Q1685480) (← links)
- Spectral method for vorticity-stream function form of Navier-Stokes equations in an infinite channel with slip boundary conditions (Q1685512) (← links)
- On the convergence rate issues of general Markov search for global minimum (Q1685583) (← links)
