The following pages link to DBLP publication ID (P1635):
Displaying 50 items.
- On the quasi-balanceable class of linear quantum stochastic systems (Q2347835) (← links)
- Locally triangular graphs and rectagraphs with symmetry (Q2347873) (← links)
- Approximate analysis of biological systems by hybrid switching jump diffusion (Q2348027) (← links)
- On critical behaviour in systems of Hamiltonian partial differential equations (Q2348241) (← links)
- On Martin-Löf (non-)convergence of Solomonoff's universal mixture (Q2348255) (← links)
- On maximum independent set of categorical product and ultimate categorical ratios of graphs (Q2348262) (← links)
- Minimal type inference for linked data consumers (Q2348796) (← links)
- Quartic spectrahedra (Q2349137) (← links)
- Cutting planes for RLT relaxations of mixed 0-1 polynomial programs (Q2349139) (← links)
- Rank of divisors on tropical curves (Q2349185) (← links)
- Locally \(s\)-distance transitive graphs and pairwise transitive designs (Q2349209) (← links)
- A new multivariate spline based on mixed partial derivatives and its finite element approximation (Q2349292) (← links)
- Roughly weighted hierarchical simple games (Q2349411) (← links)
- The Uzawa-HSS method for saddle-point problems (Q2349447) (← links)
- A simplified binary artificial fish swarm algorithm for 0-1 quadratic knapsack problems (Q2349685) (← links)
- Possibility theory, probability theory and multiple-valued logics: a clarification (Q2349793) (← links)
- Construction of an optimal rest-to-rest control of a rotating beam (Q2349851) (← links)
- Sampling, conditionalizing, counting, merging, searching regular vines (Q2350035) (← links)
- The random matrix regime of Maronna's M-estimator with elliptically distributed samples (Q2350052) (← links)
- GLODS: global and local optimization using direct search (Q2350072) (← links)
- Closing reciprocal relations w.r.t. stochastic transitivity (Q2350477) (← links)
- Fitness levels with tail bounds for the analysis of randomized search heuristics (Q2350596) (← links)
- Boundary observers for linear and quasi-linear hyperbolic systems with application to flow control (Q2350779) (← links)
- Delayed static output feedback control of a network of double integrator agents (Q2350824) (← links)
- Efficient Bayesian spatial prediction with mobile sensor networks using Gaussian Markov random fields (Q2350829) (← links)
- On exact quantum query complexity (Q2350895) (← links)
- Fast distance multiplication of unit-Monge matrices (Q2350900) (← links)
- Quantum codes from affine variety codes and their subfield-subcodes (Q2350928) (← links)
- Lossy gossip and composition of metrics (Q2351025) (← links)
- On the doubt about margin explanation of boosting (Q2351036) (← links)
- Automata for infinite argumentation structures (Q2351042) (← links)
- A parallel repetition theorem for entangled projection games (Q2351389) (← links)
- Unifying known lower bounds via geometric complexity theory (Q2351393) (← links)
- Machine learning for first-order theorem proving (Q2351414) (← links)
- Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
- HermiT: an OWL 2 reasoner (Q2351420) (← links)
- Lobatto IIIA methods, direct transcription, and DAEs with delays (Q2351483) (← links)
- Heuristic rating estimation: geometric approach (Q2351529) (← links)
- Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13--17, 2015, Proceedings (Q2351555) (← links)
- An amendment to ``Distributed synchronization under uncertainty: a fuzzy approach'' (Q2351564) (← links)
- Using \(L\)-fuzzy sets to introduce information theory into qualitative reasoning (Q2351582) (← links)
- On the role of acyclicity in the study of rationality of fuzzy choice functions (Q2351606) (← links)
- Universality, optimality, and randomness deficiency (Q2352258) (← links)
- Logic, language, information, and computation. 22nd international workshop, WoLLIC 2015, Bloomington, IN, USA, July 20--23, 2015. Proceedings (Q2352292) (← links)
- A model for non-isothermal flow and mineral precipitation and dissolution in a thin strip (Q2352324) (← links)
- Group irregularity strength of connected graphs (Q2352344) (← links)
- An optimal randomized online algorithm for the \(k\)-Canadian traveller problem on node-disjoint paths (Q2352354) (← links)
- Cross-conformal predictors (Q2352364) (← links)
- Inductive Venn prediction (Q2352379) (← links)
- CUTEst: a constrained and unconstrained testing environment with safe threads for mathematical optimization (Q2352415) (← links)
