The following pages link to (Q3499247):
Displayed 50 items.
- Stony Brook (Q17180) (← links)
- Weak bisimulations for fuzzy automata (Q279375) (← links)
- An obstruction to solvability of the reach control problem using affine feedback (Q313222) (← links)
- On implementing the symbolic preprocessing function over Boolean polynomial rings in Gröbner basis algorithms using linear algebra (Q328226) (← links)
- Bisimulations for fuzzy automata (Q423147) (← links)
- A note on testing axioms of revealed preference (Q495751) (← links)
- Gray codes and lexicographical combinatorial generation for nonnesting and sparse nonnesting set partitions (Q500971) (← links)
- Replacing conjectures by positive knowledge: inferring proven precise worst-case execution time bounds using symbolic execution (Q507359) (← links)
- Monte Carlo solution of combinatorial optimization problems (Q521436) (← links)
- A localized approach for the method of approximate particular solutions (Q639043) (← links)
- Polynomial approximations of electronic wave functions (Q645167) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms (Q832310) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Sequencing surgical cases in a day-care environment: an exact branch-and-price approach (Q1010278) (← links)
- A distributed Kalman filtering algorithm with fast finite-time convergence for sensor networks (Q1626857) (← links)
- Localized method of approximate particular solutions with polynomial basis functions (Q1634532) (← links)
- Approximations of arbitrary relations by partial orders (Q1644912) (← links)
- How difficult is nonlinear optimization? A practical solver tuning approach, with illustrative results (Q1657404) (← links)
- Model reduction of distributed nonstationary LPV systems (Q1663015) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Decomposition methods based on articulation vertices for degree-dependent spanning tree problems (Q1694405) (← links)
- Median filtering: a new insight (Q1707996) (← links)
- Global search algorithms using a combinatorial unranking-based problem representation for the critical node detection problem (Q1761226) (← links)
- Anytime coalition structure generation in multi-agent systems with positive or negative externalities (Q1761282) (← links)
- Quality analysis in acyclic production networks (Q2009806) (← links)
- Confluence up to garbage in graph transformation (Q2049983) (← links)
- Safety in \(s\)-\(t\) paths, trails and walks (Q2118205) (← links)
- Explicit physics-informed neural networks for nonlinear closure: the case of transport in tissues (Q2136464) (← links)
- Fast three-valued abstract bit-vector arithmetic (Q2152654) (← links)
- Optimal design of electromagnetic devices: development of an efficient optimization tool based on smart mutation operations implemented in a genetic algorithm (Q2227388) (← links)
- A simplified algorithm computing all \(s-t\) bridges and articulation points (Q2235263) (← links)
- Linear-space data structures for range mode query in arrays (Q2254510) (← links)
- \textsc{QualityCover}: efficient binary relation coverage guided by induced knowledge quality (Q2279533) (← links)
- A constant-time algorithm for middle levels Gray codes (Q2309469) (← links)
- Properties of the \(d\)-dimensional Earth mover's problem (Q2312655) (← links)
- Numerical solution of two-dimensional nonlinear sine-Gordon equation using localized method of approximate particular solutions (Q2334225) (← links)
- Using basis dependence distance vectors in the modified Floyd-Warshall algorithm (Q2355984) (← links)
- On kernelization and approximation for the vector connectivity problem (Q2408198) (← links)
- Identifying codes on directed de Bruijn graphs (Q2416416) (← links)
- A quantum algorithm for Viterbi decoding of classical convolutional codes (Q2516136) (← links)
- Practical distribution-sensitive point location in triangulations (Q2637075) (← links)
- Robust fixed-lag smoothing under model perturbations (Q2680282) (← links)
- Shapley-Folkman-Lyapunov theorem and asymmetric first price auctions (Q2690844) (← links)
- A Markov chain on the solution space of edge colorings of bipartite graphs (Q2696608) (← links)
- Range Majority in Constant Time and Linear Space (Q3012810) (← links)
- An Event-Driven Algorithm for Agents on the Web (Q3627855) (← links)
- Об одном методе поиска глобального экстремума непрерывной функции на симплексе (Q4961579) (← links)
- Low dimensional manifolds in reservoir computers (Q4989097) (← links)
- Some problems and algorithms related to the weight order relation on the n-dimensional Boolean cube (Q5013468) (← links)