The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- A strongly-coupled immersed-boundary formulation for thin elastic structures (Q1685612) (← links)
- Scalable information inequalities for uncertainty quantification (Q1685620) (← links)
- Computer-aided cluster expansion: an efficient algebraic approach for open quantum many-particle systems (Q1685672) (← links)
- GPU accelerated intensities MPI (GAIN-MPI): a new method of computing Einstein-\(A\) coefficients (Q1685835) (← links)
- A sharp lower bound on the number of non-equivalent colorings of graphs of order \(n\) and maximum degree \(n - 3\) (Q1686044) (← links)
- The connected facility location polytope (Q1686059) (← links)
- Structured proportional representation (Q1686072) (← links)
- Asymptotic normality of quadratic forms with random vectors of increasing dimension (Q1686240) (← links)
- The odd-even invariant and Hamiltonian circuits in tope graphs (Q1686251) (← links)
- Distributed first order logic (Q1686336) (← links)
- A Lagrangian particle method with remeshing for tracer transport on the sphere (Q1686470) (← links)
- Optimal location of RFID reader antennas in a three dimensional space (Q1686531) (← links)
- Convex envelopes for fixed rank approximation (Q1686565) (← links)
- A novel partitioning method for block-structured adaptive meshes (Q1686600) (← links)
- Tight size-degree bounds for sums-of-squares proofs (Q1686838) (← links)
- Parallel 3-dim fast Fourier transforms with load balancing of the plane waves (Q1686966) (← links)
- Improvements on non-equilibrium and transport Green function techniques: the next-generation Transiesta (Q1687073) (← links)
- About improving efficiency of the \(P^3 M\) algorithms when computing the inter-particle forces in beam dynamics (Q1687079) (← links)
- Approximate classification with web ontologies through evidential terminological trees and forests (Q1687300) (← links)
- Computer simulation of noise effects of the neighborhood of stimulus threshold for a mathematical model of homeostatic regulation of sleep-wake cycles (Q1687427) (← links)
- A novel synchronization-based approach for functional connectivity analysis (Q1687449) (← links)
- A hybrid CPU-GPU parallelization scheme of variable neighborhood search for inventory optimization problems (Q1687632) (← links)
- Making PVS accessible to generic services by interpretation in a universal format (Q1687752) (← links)
- Taming reluctant random walks in the positive quadrant (Q1687784) (← links)
- Simplified algorithmic metatheorems beyond MSO: treewidth and neighborhood diversity (Q1687933) (← links)
- Study on triopoly dynamic game model based on different demand forecast methods in the market (Q1688084) (← links)
- Mixed stimulus-induced mode selection in neural activity driven by high and low frequency current under electromagnetic radiation (Q1688112) (← links)
- New techniques for linear arithmetic: cubes and equalities (Q1688532) (← links)
- Propagation based local search for bit-precise reasoning (Q1688546) (← links)
- Michael J. C. Gordon FRS. Professor of computer assisted reasoning (28 February 1948 -- 22 August 2017) (Q1688547) (← links)
- On tree-preserving constraints (Q1688715) (← links)
- A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams (Q1688716) (← links)
- Time-dependent analysis of an \(\mathrm{M}/\mathrm{M}/c\) preemptive priority system with two priority classes (Q1688936) (← links)
- Maximum likelihood estimation of Riemannian metrics from Euclidean data (Q1689101) (← links)
- Logical dialogues with explicit preference profiles and strategy selection (Q1689284) (← links)
- Stability of time-delay systems via Wirtinger-based double integral inequality (Q1689373) (← links)
- Optimal subgradient algorithms for large-scale convex optimization in simple domains (Q1689457) (← links)
- Multi-target regression via input space expansion: treating targets as inputs (Q1689552) (← links)
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras (Q1689561) (← links)
- Enumerating polyominoes with fixed perimeter defect (Q1689885) (← links)
- Characteristic polynomials of production matrices for geometric graphs (Q1689984) (← links)
- Combinatorial entanglement: detecting entanglement in quantum states using grid-labelled graphs (Q1690020) (← links)
- A modular analysis of the Fujisaki-Okamoto transformation (Q1690199) (← links)
- Application of longest common subsequence algorithms to meshing of planar domains with quadrilaterals (Q1690343) (← links)
- Gender and inequality of opportunity in Sweden (Q1690638) (← links)
- Legislative bargaining with heterogeneous disagreement values: theory and experiments (Q1691350) (← links)
- Selected areas in cryptography -- SAC 2016. 23rd international conference, St. John's, NL, Canada, August 10--12, 2016. Revised selected papers (Q1691377) (← links)
- Formal grammar. 22nd international conference, FG 2017, Toulouse, France, July 22--23, 2017. Revised selected papers (Q1691493) (← links)
- Integrating fleet deployment into the liner shipping cargo allocation problem (Q1691681) (← links)
- Dominant poles and tail asymptotics in the critical Gaussian many-sources regime (Q1691904) (← links)
